試解

先證一個引理：
x^3z + y^3x + z^3y - xyz(x+y+z) >= 0.

實際上，等價的形式是： x^2z(x-y) + y^2x(y-z) + z^2y(z-x) >= 0.
兩種情況。
如果x>=y>=z, 有x^2z>= z^2y,y^2x>=z^2y 代入有

左邊 >= z^2y(x-y) + z^2y(y-z) + z^2y(z-x) = 0.

如果x>=z>=y, 有x^2z >= y^2x, x^2z >= z^2y.

左邊 >= x^2z(x-y) + x^2z(y-z) + x^2z(z-x) = 0.

證原不等式。

由齊次性不妨設:xyz=1. 則，原不等式等價於：

x^5z^2 + y^5x^2 + z^5y^2 >= x^3z + y^3x + z^3y).

由A-G不等式

x^5z^2 + y^5x^2 + z^5y^2 + x + y + z >= 2(x^3z + y^3x + z^3y)

再由引理

x + y + z = xyz(x+y+z)
兩式相減即得。