Solution. Notice that
a3+b32a4−a−23(a−b)=(a−b)(a3+b3a(a2+ab+b2)−23)=3(a3+b3)2b2+ab−b2(a−b)2
Therefore the inequality can be transformed to
Sa(b−c)2+Sb(a−c)2+Sc(a−b)2≥0
in which the coefficients Sa,Sb,Sc are
Sa=b3+c33c2+bc−b2;Sb=c3+a33a2+ca−c2;Sc=a3+b33b2+ab−a2
The first case. If a≥b≥c, then clearly Sb≥0 and
Sb+2Sca2Sb+2b2Sa=c3+a33a2+ca−c2+a3+b32(3b2+ab−a2)≥c3+a33a2−a3+b32a2≥0=c3+a3a2(3a2+ca−c2)+b3+c32b2(3c2+bc−b2)≥c3+a33a4−c3+b32b4≥0
So we conclude that
2cyc∑Sa(b−c)2≥(Sb+2Sc)(a−b)2+(b−c)2(2Sa+b2a2Sb)≥0
The second case. If c≥b≥a, then clearly Sa,Sc≥0 and
Sa+2Sb=b3+c33c2+bc−b2+c3+a32(3a2+ca−c2)≥b3+c33c2+bc−a3+c32c2≥0Sc+2Sb=a3+b33b2+ab−a2+c3+a32(3a2+ca−c2)≥a3+b33b2−c3+a32c2≥0
We conclude that
2cyc∑Sa(b−c)2≥(Sa+2Sb)(b−c)2+(2Sb+Sc)(a−b)2≥0
The proof is finished and the equality holds for a=b=c.