\(a^2+b^2+c^2\ge ab+bc+ca\)
\(\Leftrightarrow2a^2+2b^2+2c^2\ge2ab+2bc+2ca\)
\(\Leftrightarrow\left(a^2-2ab+b^2\right)+\left(b^2-2bc+c^2\right)+\left(c^2-2ca+a^2\right)\ge0\)
\(\Leftrightarrow\left(a-b\right)^2+\left(b-c\right)^2+\left(c-a\right)^2\ge0\)
Vì bđt cuối luôn đúng mà các phép biến đổi trên là tương đương nên bđt ban đầu luôn đúng
Dấu "=" xảy ra \(\Leftrightarrow\left\{{}\begin{matrix}\left(a-b\right)^2=0\\\left(b-c\right)^2=0\\\left(c-a\right)^2=0\end{matrix}\right.\Leftrightarrow a=b=c\)