代入三个 Ravi 表达式并展开,得到所显示的恒等式。因此只需证明 xy3+yz3+zx3≥xyz(x+y+z)xy^3+yz^3+zx^3\ge xyz(x+y+z)xy3+yz3+zx3≥xyz(x+y+z)。