x5+y2+z2x5−x2⩾x5+(y2+z2)xyzx5−x2xyz=x4+(y2+z2)yzx4−x2yz and x4+(y2+z2)yzx4−x2yz=2[x4+(y2+z2)yz]2(x4−x2yz)⩾2x4+(y2+z2)22x4−x2(y2+z2)
Therefore, to prove the original inequality, it suffices to prove
∑2x4+(y2+z2)22x4−x2(y2+z2)⩾0
Make the substitution (x2,y2,z2)→(x,y,z).
Thus, (1) ⇔∑2x2+(y+z)22x2−x(y+z)⩾0
⇔f(x,y,z)=∑{[2x2−x(y+z)][2y2+(x+z)2][2z2+(x+y)2]}⩾0
First, calculate f(1,0,0),f(1,1,0),f(1,1,1), to get a=2,d=24,n=0.
Second, calculate f(0,−1,1),f(0,1,i)i, to get the system of equations
{0=4×2−4b+4c−248=2×2−2b−2c+24
Solving, we get b=3,c=7.
Finally, calculate f(−1,1,1),f(−1,1,i), to get the system of equations
{64=80+4e−8m,−48=−28−6e+8m. Solving, we get e=18,m=11,. Hence f(x,y,z)=2g6,1+3g6,2+7g6,3+24g6,4+18g6,5+11g6,6⩾0.
Therefore, the original inequality is proved.