Maths Olympiad Prep

Track / Stage 6 / 326 of 400 #1326 of 1964

Problem 1326

National olympiad, first round
Algebra Difficulty 6.6 Prove it

27. Let a,b,ca, b, c be real numbers, and a+b+c=0a+b+c=0, prove: a2b2+b2c2+c2a2+36abca^{2} b^{2}+b^{2} c^{2}+c^{2} a^{2}+3 \geqslant 6 a b c.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

27. Since a+b+c=0a+b+c=0, the inequality to be proved is symmetric with respect to a,b,ca, b, c, so we can assume abca \geqslant b \geqslant c, hence c0c \leqslant 0,
a2b2+b2c2+c2a2+36abc=a2b2+c2[(a+b)22ab]+36abc=a2b2+c2(c22ab)+36cab=a2b2+2(c2+3c)ab+c4+3\begin{aligned} a^{2} b^{2}+b^{2} c^{2}+c^{2} a^{2}+3-6 a b c= & a^{2} b^{2}+c^{2}\left[(a+b)^{2}-2 a b\right]+3-6 a b c= \\ & a^{2} b^{2}+c^{2}\left(c^{2}-2 a b\right)+3-6 c a b= \\ & a^{2} b^{2}+2\left(c^{2}+3 c\right) a b+c^{4}+3 \end{aligned}

Let f(x)=x2+2(c2+3c)x+c4+3f(x)=x^{2}+2\left(c^{2}+3 c\right) x+c^{4}+3, where x=abx=a b, to prove f(x)0f(x) \geqslant 0, it suffices to prove the discriminant Δ=4[(c2+3c)2(c4+3)]0\Delta=4\left[\left(c^{2}+3 c\right)^{2}-\left(c^{4}+3\right)\right] \leqslant 0, and since c0c \leqslant 0, we have (c2+3c)2(c4+\left(c^{2}+3 c\right)^{2}-\left(c^{4}+\right. 3) =3(c+1)2(2c1)0=3(c+1)^{2}(2 c-1) \leqslant 0. The inequality is proved.

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