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\ge0\)
\(\Leftrightarrow2x^2+2y^2+2z^2-2xy-2yz-2zx\ge0\)
\(\Leftrightarrow2x^2+2y^2+2z^2\ge2xy+2yz+2zx\)
\(\Leftrightarrow3x^2+3y^2+3z^2\ge x^2+y^2+z^2+2xy+2yz+2zx\)
\(\Leftrightarrow3\left(x^2+y^2+z^2\right)\ge\left(x+y+z\right)^2\) (đpcm)