〔問題〕
a^4 +b^4 +c^4 - p(aaab+bbbc+ccca) - p'(abbb+bccc+caaa) + {(pp+pp'+p'p')/3 -1}(aabb+bbcc+ccaa) + {p+p'-(pp+pp'+p'p')/3}abc(a+b+c)≧0,
を示せ。

x=aa+p'bc-cc-pbc, y=bb+p'ca-aa-pbc, z=cc+p'ab-bb-pca とおくと…

（参考）
安藤：「不等式」数学書房 (2012) p.59-61 §2.3.2 定理2.3.3(1)