a,b,cが実数なら
a^2 + b^2 + c^2 - ab - bc - ca = (a + bω + cω^2)(a + bω^2 + cω)
=|a + bω + cω^2|^2≧0