SOLution. We use the mixing all variables method, similarly as in the preceding problem. We can assume that a≥b≥c=0. In this case, we obtain
F((a−b)2,(b−c)2,(c−a)2)=a6+b6+(a−b)6+3a2b2(a−b)2−(a2+b2)(a−b)4−a2b2(a2+b2)−(a−b)2(a4+b4)=(a−b)2(4ab(a2+b2)−(a2−b2)2+(a−b)4+a2b2)=8a2b2(a−b)2
Moreover, because F(a2,b2,c2)=9(a−b)2(a2+b2)(a+b)2, it remains to prove that
9(a2+b2)(a+b)2≥72a2b2
which is obvious because a2+b2≥2ab and (a+b)2≥4ab. The proof is finished and the equality holds for a=b=c and a=b,c=0 up to permutation.