For any positive real numbers with prove the following inequality:
Solutions — 2
Solution 1
Without loss of generality, assume that . The inequality can be rewritten as
Since , we have that . So, it is sufficient to prove that . From the problem condition , hence, we need to prove the following inequality
Expanding the brackets and multiplying by , we obtain the inequality: , which follows from the AM-GM inequality:
Solution 2
We can rewrite our inequality in the form
We will use the Schur's inequality :
and the AM-GM inequality for two numbers. With , , , we have
\begin{aligned}
x^2 + y^2 + z^2 + 3 &= a^6 + b^6 + c^6 + 3a^2b^2c^2 \
&\ge (a^4b^2 + a^2b^4) + (b^4c^2 + b^2c^4) + (c^4a^2 + c^2a^4) \\
&\ge 2a^3b^3 + 2b^3c^3 + 2c^3a^3 = 2xy + 2yz + 2xz.
\end{aligned}
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.