SolutION. Applying Cauchy-Schwarz, we obtain
(cyc∑b2+c2a)(cyc∑a(b2+c2))≥(a+b+c)2
It remains to prove that
ab(a+b)+bc(b+c)+ca(c+a)(a+b+c)2≥54⋅ab(a+b)+bc(b+c)+ca(c+a)+2abca2+b2+c2+3(ab+bc+ca)
Let S=∑cyc a2,P=∑cyc ab and Q=∑cyc ab(a+b). The above inequality becomes
Q5(S+2P)≥Q+2abc4(S+3P)⇔SQ+10abcS+20abcP≥2PQ
Clearly, we have
PQ=∑syma2b2(a+b)+2abc(S+P)SQ≥∑symab(a+b)(a2+b2)≥2∑sym a2b2(a+b)
This finishes the proof. Equality holds for a=b,c=0 up to permutations.