Với mọi a;b;c ta luôn có:
\(\left(a-b\right)^2+\left(b-c\right)^2+\left(c-a\right)^2\ge0\)
\(\Leftrightarrow a^2-2ab+b^2+b^2-2bc+c^2+c^2-2ca+a^2\ge0\)
\(\Leftrightarrow2a^2+2b^2+2c^2\ge2ab+2bc+2ca\)
\(\Leftrightarrow3a^2+3b^2+3c^2\ge a^2+b^2+c^2+2ab+2bc+2ca\)
\(\Leftrightarrow3\left(a^2+b^2+c^2\right)\ge\left(a+b+c\right)^2\)
\(\Leftrightarrow\dfrac{1}{3}\left(a+b+c\right)^2\le a^2+b^2+c^2\) (đpcm)
Dấu "='" xảy ra khi \(a=b=c\)