2000 USAMO Problems/Problem 6
Problem
Let be nonnegative real numbers. Prove that
Solution
Credit for this solution goes to Ravi Boppana.
Lemma 1: If are non-negative reals and are reals, then
Proof: Without loss of generality assume that the sequence is increasing. For convenience, define . The LHS of our inequality becomes
This expression is equivalent to the sum
Each term in the summation is non-negative, so the sum itself is non-negative.
We now define . If , then let be any non-negative number. Define .
Lemma 2:
Proof: Switching the signs of and preserves inequality, so we may assume that . Similarly, we can assume that . If , then both sides are zero, so we may assume that and are positive. We then have from the definitions of and that
This means that
This concludes the proof of Lemma 2.
We can then apply Lemma 2 and Lemma 1 in order to get that
This implies the desired inequality.
See Also
2000 USAMO (Problems • Resources) | ||
Preceded by Problem 5 |
Followed by Last Question | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.