恩格尔形式的柯西–施瓦茨把三个分母合成 2(x+y+z)2(x+y+z)2(x+y+z)。
由柯西–施瓦茨,(y+z+z+x+x+y)E≥(x+y+z)2(y+z+z+x+x+y)E\ge(x+y+z)^2(y+z+z+x+x+y)E≥(x+y+z)2。括号等于 2(x+y+z)2(x+y+z)2(x+y+z),所以 E≥x+y+z2E\ge\frac{x+y+z}{2}E≥2x+y+z。