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

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