余项和非负且根式部分至少为 111,相加即得 x2+yz2x2(y+z)+y2+zx2y2(z+x)+z2+xy2z2(x+y)≥1\frac{x^2+yz}{\sqrt{2x^2(y+z)}}+\frac{y^2+zx}{\sqrt{2y^2(z+x)}}+\frac{z^2+xy}{\sqrt{2z^2(x+y)}}\ge12x2(y+z)x2+yz+2y2(z+x)y2+zx+2z2(x+y)z2+xy≥1,等号在 x=y=z=13x=y=z=\frac13x=y=z=31 时成立。