>>952
a^2+b^2+c^2-ab-bc-ca=((a-b)^2+(b-c)^2+(c-a)^2)/2≧0

因数分解のほうはわからん