(a + b + c)^2 の最小値を求めれば良いのであるが
(a + b + c)^2 = a^2 + b^2 + c^2 + 2(ab +bc + ca) = a^2 + b^2 + c^2 + 2
なので、
a^2 + b^2 + c^2 の最小値を求めれば良いことになる。
0 ≦(a -b)^2 + (b-c)^2 + (c-a)^2 より
ab + bc + ca ≦a^2 + b^2 + c^2 なので、
a^2 + b^2 + c^2 の最小値は1である。
また、それが成立する時は、a = b = c であるから、
a = b = c = 1/sqrt(3) であることがわかる。