Prove that using the conditions, equation (7) can be rewritten as
+(a−(abc)31+b(abc)32)(b−(abc)31+c(abc)32)(c−(abc)31a(abc)32)⩽abc
Then set a=x3, b=y3, c=z3, where x,y,z>0. Thus, equation (7) becomes
+(x3−xyz+y3(xyz)2)(y3−xyz+z3(xyz)2)(z3−xyzx3(xyz)2)⩽x3y3z3
By Schur's inequality, we know
that is □
3(x2y)(y2x)(z2x)+cyc ∑(x2y)3⩾sym ∑(x2y)2(y2z),
3x3y3z3+∑cyc x6y3⩾∑cyc x4y4z+∑cyc x5y2z2,(x2y−y2z+z2x)(y2z−z2x+x2y)(z2x−x2y+y2z)⩽x3y3z3.
By equation (9), we know that equation (8) holds, thus equation (7) holds.