MathLabs

Problem 4

Let x,y,zx,y,z be positive real numbers such that x+y+z=1x+y+z=1. Prove that 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)}}\ge1.
Step 5 of 5: Combine the estimates
Previous stepNext step
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)}}\ge1
Detailed analysis

The residual sum is nonnegative and the square-root part is at least 11. Adding them proves 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)}}\ge1, with equality at x=y=z=13x=y=z=\frac13.