Maths Olympiad Prep

Library / /494 of 520

Algebra Difficulty 7.6 National olympiad, round 2 Prove it

41. Given that a,b,ca, b, c are real numbers, prove the inequality: a4(b2+c2)+b4(c2+a2)+c4(a2+a^{4}\left(b^{2}+c^{2}\right)+b^{4}\left(c^{2}+a^{2}\right)+c^{4}\left(a^{2}+\right. b2)+2abc(a2b+a2c+b2a+b2c+c2a+c2ba3b3c33abc)2(a3b3+\left.b^{2}\right)+2 a b c\left(a^{2} b+a^{2} c+b^{2} a+b^{2} c+c^{2} a+c^{2} b-a^{3}-b^{3}-c^{3}-3 a b c\right) \geqslant 2\left(a^{3} b^{3}+\right. b3c3+c3a3)\left.b^{3} c^{3}+c^{3} a^{3}\right) \cdot (2003 USA MOP Problem)

Solution

41. P(a,b,c)=a4(b2+c2)+b4(c2+a2)+c4(a2+b2)+2abc(a2b+a2c+P(a, b, c)=a^{4}\left(b^{2}+c^{2}\right)+b^{4}\left(c^{2}+a^{2}\right)+c^{4}\left(a^{2}+b^{2}\right)+2 a b c\left(a^{2} b+a^{2} c+\right. b2a+b2c+c2a+c2ba3b3c33abc)2(a3b3+b3c3+c3a3)\left.b^{2} a+b^{2} c+c^{2} a+c^{2} b-a^{3}-b^{3}-c^{3}-3 a b c\right)-2\left(a^{3} b^{3}+b^{3} c^{3}+c^{3} a^{3}\right) is symmetric in aa, bb, and cc. When a=ba=b, b=cb=c, or c=ac=a, P(a;b,c)=0P(a; b, c)=0, so P(a,b,c)P(a, b, c) has the factor (ab)(bc)(ca)(a-b)(b-c)(c-a). Thus, P(a,b,c)=(ab)Q(a,b,c)P(a, b, c)=(a-b) Q(a, b, c), where Q(a,b,c)Q(a, b, c) is a fifth-degree polynomial in a,b,ca, b, c. (ab)Q(a,b,c)=P(a,b,c)=P(b,a,c)=(ba)Q(b,a,c)(a-b) Q(a, b, c)=P(a, b, c)=P(b, a, c)=(b-a) Q(b, a, c), so Q(a,b,c)=Q(b,a,c)Q(a, b, c)=-Q(b, a, c), and thus Q(a,a,c)=Q(a,a,c)Q(a, a, c)=-Q(a, a, c), which implies Q(a,a,c)=0Q(a, a, c)=0. Therefore, Q(a,b,c)Q(a, b, c) has the factor (ab)(a-b). Similarly, Q(a,b,c)Q(a, b, c) has the factors (bc)(b-c) and (ca)(c-a). Hence, P(a,b,c)(ab)2(bc)2(ca)2R(a,b,c)P(a, b, c) \equiv (a-b)^{2}(b-c)^{2}(c-a)^{2} R(a, b, c). Since P(a,b,c)P(a, b, c) is a sixth-degree polynomial in a,b,ca, b, c, R(a,b,c)R(a, b, c) is a zero-degree polynomial. Noting that the coefficient of a4b2a^{4} b^{2} is 1, we have R(a,b,c)=1R(a, b, c)=1. Therefore, P(a,b,c)=(ab)2(bc)2(ca)2P(a, b, c)=(a-b)^{2}(b-c)^{2}(c-a)^{2}. Thus, P(a,b,c)0P(a, b, c) \geqslant 0. Hence, the original inequality holds.

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.