去分母,简化,再用AG不等式即得。比较重要的AG不等式用法是: x^2y + x^2z + yz + x^2 >= 4xsqrt(xyz) = 4x x^2z + xy >= 2xsqrt(xyz) = 2x