Given positive real numbers satisfying , prove:
Problem 1492
Official solution
Obviously, equation (1)
Lemma: For positive real numbers satisfying , and real numbers satisfying , prove:
Proof of the lemma: Without loss of generality, assume , then
By the rearrangement inequality, we have
\begin{array}{l}
x^{b} y^{a-b} + y^{b} z^{a-b} + z^{b} x^{a-b} \leqslant x^{a} + y^{a} + z^{a}, \\
x^{b} z^{a-b} + y^{b} x^{a-b} + z^{b} y^{a-b} \leqslant x^{a} + y^{a} + z^{a}. \\
\text{Thus, }\left(x^{b} + y^{b} + z^{b}\right)\left(x^{a-b} + y^{a-b} + z^{a-b}\right) \\
= \left(x^{a} + y^{a} + z^{b}\right) + \left(x^{b} y^{a-b} + y^{b} z^{a-b} + \\
\left. z^{b} x^{a-b}\right) + \left(x^{b} z^{a-b} + y^{b} x^{a-b} + z^{b} y^{a-b}\right) \\
\leqslant 3\left(x^{a} + y^{a} + z^{a}\right). \\
\text{Also, }\left(x^{b} + y^{b} + z^{b}\right)\left(x^{a-b} + y^{a-b} + z^{a-b}\right) \\
\geqslant \left(x^{b} + y^{b} + z^{b}\right) 3 \sqrt[3]{x^{a-b} y^{a-b} z^{a-b}} \\
\geqslant 3\left(x^{b} + y^{b} + z^{b}\right), \\
x^{a} + y^{a} + z^{a} \geqslant x^{b} + y^{b} + z^{b}.
\end{array}