Ta có (x3−b3)(x2−y2)≥0⇒x5+y5≥x2y2(x+y) xyx5+y5+xy≤xyx2y2(x+y)+xy×z2z2≤zx+y+z ( vì xyz=1)
Tương tự ta có :yzy5+z5+yz≤yzy2z2(y+z)+yz×x2x2≤xx+y+z
zxz5+y5+zx≤zxz2x2(z+x)+zx×y2y2≤yx+y+z
Cộng 3 đẳng thức trên lại theo từng vế ta được ĐPCM
Đẳng thức xảy ra khi x=y=z=1