>>542 の類題
a^6 + b^6 + c^6 -2(aa-bc)(bb-ca)(cc-ab) + (abc)^2 ≧0,

(因数分解できるらしい.)