Let , and be real numbers with . Prove that
When does equality hold?
Solution
We order the variables by size:
For , all three factors are positive and we have .
For and , two of the factors are negative and one factor is positive, so we have again .
For all the other orderings of variables, we have either three negative factors or one negative and two positive factors. This implies , so the inequality holds for these cases and there is no case of equality.
Let us now consider .
With the AM-GM-inequality, we get
So we obtain
The two remaining cases of orderings can be treated analogously.
We see that equality holds for and , which implies , and . Taking into account the analogous cases, we see that equality holds exactly for the triples , and .
(Karl Czakler) □
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.