Maths Olympiad Prep

Library / /275 of 520

Algebra Difficulty 6.7 National olympiad Prove it

Example 1.5.5. Let a,b,ca, b, c be non-negative real numbers. Prove that
9F(a2,b2,c2)8F((ab)2,(bc)2,(ca)2)9 F\left(a^{2}, b^{2}, c^{2}\right) \geq 8 F\left((a-b)^{2},(b-c)^{2},(c-a)^{2}\right)

Solution

SOLution. We use the mixing all variables method, similarly as in the preceding problem. We can assume that abc=0a \geq b \geq c=0. In this case, we obtain
F((ab)2,(bc)2,(ca)2)=a6+b6+(ab)6+3a2b2(ab)2(a2+b2)(ab)4a2b2(a2+b2)(ab)2(a4+b4)=(ab)2(4ab(a2+b2)(a2b2)2+(ab)4+a2b2)=8a2b2(ab)2 \begin{aligned} F\left((a-b)^{2},(b-c)^{2},(c-a)^{2}\right) & =a^{6}+b^{6}+(a-b)^{6}+3 a^{2} b^{2}(a-b)^{2}-\left(a^{2}+b^{2}\right)(a-b)^{4} \\ & -a^{2} b^{2}\left(a^{2}+b^{2}\right)-(a-b)^{2}\left(a^{4}+b^{4}\right) \\ & =(a-b)^{2}\left(4 a b\left(a^{2}+b^{2}\right)-\left(a^{2}-b^{2}\right)^{2}+(a-b)^{4}+a^{2} b^{2}\right) \\ & =8 a^{2} b^{2}(a-b)^{2} \end{aligned}

Moreover, because F(a2,b2,c2)=9(ab)2(a2+b2)(a+b)2F\left(a^{2}, b^{2}, c^{2}\right)=9(a-b)^{2}\left(a^{2}+b^{2}\right)(a+b)^{2}, it remains to prove that
9(a2+b2)(a+b)272a2b2 9\left(a^{2}+b^{2}\right)(a+b)^{2} \geq 72 a^{2} b^{2}
which is obvious because a2+b22aba^{2}+b^{2} \geq 2 a b and (a+b)24ab(a+b)^{2} \geq 4 a b. The proof is finished and the equality holds for a=b=ca=b=c and a=b,c=0a=b, c=0 up to permutation.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.