题目
已知 x x x, y y y, z z z为非负实数,试证: ( x + y ) ( y + z ) ( y + z ) ⩾ x y z ( 2 x + y + z ) ( x + 2 y + z ) ( x + y + 2 z ) (x+y)(y+z)(y+z) \geqslant \sqrt{x y z(2 x+y+z)(x+2 y+z)(x+y+2 z)} (x+y)(y+z)(y+z)⩾xyz(2x+y+z)(x+2y+z)(x+y+2z)。
思路
此题主要考察3次多项式基本变形能力,难度在高联属于初赛水平。
解答
当 x x x, y y y, z z z中有一个为0时,不等式右边为0,不等式成立。以下考虑 x x x, y y y, z z z均不为0的情况。
换元,令 A = z x + y A=\frac{z}{x+y} A=x+yz, B = y x + z B=\frac{y}{x+z} B=x+zy, C = x y + z C=\frac{x}{y+z} C=y+zx。
首先由柯西不等式有一个简单的结论:
1 x + 1 y ≥ 4 x + y ⇒ 1 x + 1 y + 1 z ⩾ 2