Với mọi x;y;z ta luôn có:
\(\left(x-y\right)^2+\left(y-z\right)^2+\left(z-x\right)^2+\left(x-1\right)^2+\left(y-1\right)^2+\left(z-1\right)^2\ge0\)
\(\Leftrightarrow3\left(x^2+y^2+z^2\right)\ge2\left(xy+yz+zx+x+y+z\right)-3\)
\(\Leftrightarrow3\left(x^2+y^2+z^2\right)\ge9\)
\(\Leftrightarrow x^2+y^2+z^2\ge3\) (đpcm)
Dấu "=" xảy ra khi \(x=y=z=1\)