Ta có : \(\hept{\begin{cases}\left(x-y\right)^2\ge0\\\left(y-z\right)^2\ge0\\\left(z-x\right)^2\ge0\end{cases}}\) \(\Leftrightarrow\left(x-y\right)^2+\left(y-z\right)^2+\left(z-x\right)^2\ge0\)
\(\Leftrightarrow2\left(x^2+y^2+z^2\right)\ge2\left(xy+yz+zx\right)\Leftrightarrow x^2+y^2+z^2\ge xy+yz+zx\)
\(\Leftrightarrow x^2+y^2+z^2+2\left(xy+yz+zx\right)\ge2\left(xy+yz+zx\right)+\left(xy+yz+zx\right)\)
\(\Leftrightarrow\left(x+y+z\right)^2\ge3\left(xy+yz+zx\right)\)
Đẳng thức xảy ra khi x = y = z
\(\left(x+y+z\right)^2\ge3\left(xy+yz+zx\right)\)
\(\Leftrightarrow\left(x+y+z\right)^2-3\left(xy+yz+zx\right)\ge0\)
\(\Leftrightarrow x^2+y^2+z^2-xy-yz-zx\ge0\)
\(\Leftrightarrow\frac{1}{2}\left(x-y\right)^2+\frac{1}{2}\left(y-z\right)^2+\frac{1}{2}\left(z-x\right)^2\ge0\)Luôn đúng ( đpcm )
dấu "=" xẩy ra khi và chỉ khi x = y = z