>>453
(a-b)^2+(b-c)^2+(c-a)^2>0の恒等式ってどう解けばいいのでしょうか…