残差の和は非負、平方根部分は 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 で成立する。