Proof Let
a=yx,b=zy,c=xz(x,y,z∈R+).
Then the original inequality
⇔∑y(x+y+z)(x−y)(z+x)⩾0⇔∑yzx+x2−yz−xy⩾0⇔∑(yzx+yx2)⩾2∑x,
where, “ ∑ ” denotes the cyclic sum.
By the AM-GM inequality, we have
∑yzx=21∑(yzx+zxy)⩾∑x,∑xz2=∑(xz2+x)−∑x⩾x+y+z.
Adding equations (2) and (3) yields equation (1).
Thus, the original inequality holds.