请问各位谷友，如何证明（或证伪）：

当 $a+b+c$ 为定值时，若他们的值足够平均（既差最小），则 $a^2+b^2+c^2$ 最小

谢谢