\(x^2+y^2+z^2\ge xy+yz+zx\\ \Leftrightarrow2x^2+2y^2+2z^2\ge2xy+2yz+2zx\\ \Leftrightarrow\left(x^2-2xy+y^2\right)+\left(y^2-2yz+z^2\right)+\left(x^2-2zx+z^2\right)\ge0\\ \Leftrightarrow\left(x-y\right)^2+\left(y-z\right)^2+\left(x-z\right)^2\ge0\left(luôn.đúng\right)\)
Dấu "=' xảy ra \(\Leftrightarrow\left\{{}\begin{matrix}x-y=0\\y-z=0\\x-z=0\end{matrix}\right.\Leftrightarrow\left\{{}\begin{matrix}x=y\\y=z\\x=z\end{matrix}\right.\Leftrightarrow x=y=z\)
\(\Leftrightarrow2x^2+2y^2+2z^2\ge2xy+2yz+2zx\)
\(\Leftrightarrow\left(x^2-2xy+y^2\right)+\left(y^2-2yz+z^2\right)+\left(z^2-2zx+x^2\right)\ge0\)
\(\Leftrightarrow\left(x-y\right)^2+\left(y-z\right)^2+\left(z-x\right)^2\ge0\) (luôn đúng)
Vậy BĐT đã cho đúng
Dấu "=" xảy ra khi \(x=y=z\)
