SOLUTION. The inequality can be rewritten in the following form
ab4(a−b)2+ac4(c−a)(c−b)≥(a2+c2)(c2+b2)(a2−b2)2+(a2+b2)(a2+c2)(c2−a2)(c2−b2)
WLOG, we may assume c=min(a,b,c). Then it's not too difficult to show that
ac1≥(a2+b2)(c2+b2)(c+a)(c+b)ab4≥(a2+c2)(b2+c2)(a+b)2
and the proof is completed. Equality holds for a=b=c.