MathLabs

第4题

设正实数 x,y,zx,y,z 满足 x+y+z=1x+y+z=1。证明 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。
第 2/5 步：写出三个分解式
上一步下一步
x2+yz2x2(y+z)=y+z2+(x−y)(x−z)2x2(y+z)\frac{x^2+yz}{\sqrt{2x^2(y+z)}}=\sqrt{\frac{y+z}{2}}+\frac{(x-y)(x-z)}{\sqrt{2x^2(y+z)}}
详细分析

例如 x(y+z)2x2(y+z)=y+z2\frac{x(y+z)}{\sqrt{2x^2(y+z)}}=\sqrt{\frac{y+z}{2}}。所以左边等于 ∑cycy+z2\sum_{cyc}\sqrt{\frac{y+z}{2}} 加上该恒等式循环得到的三个余项。