由柯西—施瓦茨不等式，∑cycy+z2≥(y+z)+(z+x)+(x+y)2\sum_{cyc}\sqrt{\frac{y+z}{2}}\ge\sqrt{\frac{(y+z)+(z+x)+(x+y)}2}∑cyc2y+z≥2(y+z)+(z+x)+(x+y)。由于 x+y+z=1x+y+z=1x+y+z=1，右边等于 111。