Proof: Help with Algebra: a^2 (1 + b^4) + b^2(1 + a^4)

[recon]

How can you proof that

a^2 (1 + b^4) + b^2(1 + a^4) \leq (1 + a^4)(1 + b^4)?

I factorised a^2 (1 + b^4) + b^2(1 + a^4) to (a^2 + b^2)(1+a^2b^2), but I don't really know where to go from here.

 

[PBRMEASAP]

Assuming a and b are real, what do you know must be true about the following expression?

(1-a^2)^2(1+b^4)+(1-b^2)^2(1+a^4)

 

[recon]

I get it now. Thanks!

BTW, does anyone know a good site that teaches you factoring 'tricks'?

 

[matt grime]

This isn't a factoring trick, but just a common observation that if you want to show

X > Y

then this is the same as showing

X-Y > 0

and what do we know is always positive?

 

[erraticimpulse]

Assuming a and b are real, what do you know must be true about the following expression?

(1-a^2)^2(1+b^4)+(1-b^2)^2(1+a^4)

I don't see how you got this.

 

[Muzza]

Divine inspiration, perhaps?

 

[PBRMEASAP]

I don't see how you got this.

The general procedure is:

Take the original inequality that you are trying to prove and move everything over to one side, so that you have (stuff) >= 0. Now rearrange (stuff) so that it consists entirely of squares of real numbers, added and multiplied together. Since such an expression is automatically greater than or equal to zero, the original inequality must be true.

If it turns out that such a rearrangement can't be made, then you can't prove the inequality without more information about a and b, such as a > b or something similar. But in this example it was possible.

 

[erraticimpulse]

I think you misundestood me. It's not the concept I don't understand, just the result. I don't see how you got to that expression.

 

[PBRMEASAP]

Oops, sorry about that. Start with the expression that we want to show is greater than or equal to zero.


(1+a^4)(1+b^4)-a^2(1+b^4)-b^2(1+a^4)

Since we are showing this is >= zero, it doesn't change anything to multiply the expression by a positive number, namely 2.

2(1+a^4)(1+b^4)-2a^2(1+b^4)-2b^2(1+a^4)

Split up the first term:

(1+a^4)(1+b^4)-2a^2(1+b^4)+(1+a^4)(1+b^4)-2b^2(1+a^4)

Now collect terms 1 and 2 together, and 3 and 4 together, and you end up with the expression you are looking for.