>>141
一応、aの6次式を書いておく。
-------------------------------------------------------
対称性から a を最小数として、b = a+p、c = a+q (p, q ≧0)とおくと、

{(a+b)(b+c)(c+a)}^2 - 4(a^2+bc)(b^2+ca)(c^2+ab)
= 32a^6 + 64(p+q)a^5
　+ 40(p^2 + 3pq + q^2)a^4
　+ 4(2p^3 + 17p^2q + 17pq^2 + 2q^3)a^3
　+ 4pq(3p^2 + 8pq + 3q^2)a^2
　+ 4p^2q^2(p+q)a + p^2q^2(p-q)^2
≧0
-------------------------------------------------------