Prove that
(xy+yz+zx)((x+y)21+(y+z)21+(z+x)21)=(xy+yz+xz)(x+y)2(y+z)2(z+x)2(x+y)2(y+z)2+(y+z)2(z+x)2+(z+x)2(x+y)2
But we have
(xy+yz+zx)((x+y)2(y+z)2+(y+z)2(z+x)2+(z+x)2(x+y)2)=∑(x5y+2x4y2+25x4yz+13x3y2z+4x2y2z2)(x+y)2(y+z)2(z+x)2=∑ym(x4y2+x4yz+x3y3+6x3y2z+35x2y2z2)
Through some calculations, we have
sym∑(4x5y−x4y2−3x3y3+x4yz−2x3y2z+x2y2z2)⩾0
By the 3rd degree Schur's inequality, we have
sym∑(x3−2x2y+xyz)⩾0
Multiplying both sides by xyz, we get
sym∑(x4yz−2x3y2z+x2y2z2)⩾0
By the AM-GM inequality, we have
y>m∑((x5y−x4y2)+3(x5y−x3y3))⩾0
Using (1) and (2), the proposition is proved.