Proof: Let the left side of the inequality be M, and construct the pairing expression
N=yx2z+zy2x+xz2y.
By the Cauchy-Schwarz inequality, we have
M⋅N⩾(x2+y2+z2)2.
Also, M−N.
=======xyz1[x3y2+y3z2+z3x2−(x3z2+y3x2+z3y2).xyz1[(x3y2−y3x2)+(z3x2−z3y2)−(x3z2−y3z2)]xyz1(x−y)(x2y2+z3x+z3y−z2x2−z2xy−z2y2)xyz1(x−y)[(x2y2−z2x2)−(z2xy−z3x)−(z2y2−z3y)]xyz1(x−y)(y−z)(x2y+x2z−z2x−z2y)xyz1(x−y)(y−z)[(x2y−z2y)+(x2z−z2x)]xyz1(x−y)(y−z)(x−z)(xy+yz+zx).
Given x⩾y⩾z>0, we know M−N⩾0, i.e., M⩾N.
Thus, M2⩾M⋅N⩾(x2+y2+z2)2.
Therefore, M⩾x2+y2+z2.