Prove b+ca+c+ab+a+bc+ab2+bc2+ca2a2b+b2c+c2a⩾25
⇔∑cyc (b+ca−21)⩾∑cyc a2c∑cyc (a2c−a2b)⇔∑cyc 2(b+c)a−b−(c−a)⩾a2c+b2a+c2b(a−b)(b−c)(c−a)⇔∑cyc 2a−b(b+c1−a+c1)⩾a2c+b2a+c2b(a−b)(b−c)(c−a)⇔∑cyc (a+c)(b+c)(a−b)2⩾a2c+b2a+c2b2(a−b)(b−c)(c−a)
If (a−b)(b−c)(c−a)⩽0, then the original inequality is obviously true. Now assume (a−b)(b−c)(c−a)>0, and
a2b+b2c+c2aa2c+b2a+c2b=t
Then t>1. By the Arithmetic Mean-Geometric Mean Inequality, we have
c yc ∑(a+c)(b+c)(a−b)2⩾33(a+b)2(a+c)2(b+c)2(a−b)2(b−c)2(c−a)2
Therefore, it suffices to prove
27(a2c+b2a+c2b)3⩾8(a+b)2(a+c)2(b+c)2(a−b)(b−c)(c−a)
Since
(a+b)(a+c)(b+c)=cyc ∑(a2b+a2c)+2abc⩽34cyc ∑(a2b+a2c)
It suffices to prove the following inequality:
27t3⩾8⋅916(t+1)2(t−1)
The above inequality is obviously true, hence the original inequality holds.