2003 USAMO Problems/Problem 5
Let , , be positive real numbers. Prove that
Since all terms are homogeneous, we may assume WLOG that .
Then the LHS becomes .
Notice , so .
So , as desired.
Note that Setting and yields Thus, we have and its analogous forms. Thus, the desired inequality is equivalent to Because , we have and its analogous forms. It suffices to show that or, Multiplying this out the left-hand side of the last inequality gives . Therefore the inequality is equivalent to , which is evident because Equality holds when .
Given a function of three variables, define the cyclic sum We first convert the inequality into Splitting the 5 among the three terms yields the equivalent form The numerator of the term shown factors as , where . We will show that Indeed, is equivalent to which reduces to evident. We proved that hence follows. Equality holds if and only if , i.e., when .
Given a function of variables, we define the symmetric sum where runs over all permutations of (for a total of terms).
We combine the terms in the desired inequality over a common denominator and use symmetric sum notation to simplify the algebra. The numerator of the difference between the two sides is Recalling Schur's Inequality, we have or Hence, and by repeated AM-GM inequality, and Adding these three inequalities yields the desired result.
Since, the inequality is homogeneous we may assume that and .
The first time on the LHS is the inequality will be: Note that equality holds when . A simple sketch of on shows that the curve lies below the tangent line at .
Which has the equation of the form .
So we claim that
Upon clearing the denominators, it is equivalent to:
Note that since the curve and the line intersect at would be a factor.
Adding the similar inequalities for and gives:
Alternate solutions are always welcome. If you have a different, elegant solution to this problem, please add it to this page.
|2003 USAMO (Problems • Resources)|
|1 • 2 • 3 • 4 • 5 • 6|
|All USAMO Problems and Solutions|