Prove that for positive numbers x,y,z,
xyz(x−y)2+yzx(y−z)2+zxy(z−x)2⩾0,
By transformation, we can get xyz+yzx+zxy⩾x+y+z
Let x=b+c,y=c+a,z=a+b, substitute into the inequality
(3), we get
b+c(c+a)(a+b)+c+a(a+b)(b+c)+a+b(b+c)(c+a)⩾2(a+b+c), i.e. b+ca2+bc+a(b+c)+c+ab2+ca+b(c+a)+a+bc2+ab+c(a+b)⩾2(a+b+c),
Thus, b+ca2+bc+c+ab2+ca+a+bc2+ab⩾a+b+c.