Let , and be positive real numbers with . Prove that at least one of the three numbers
is less or equal .
Solution
Since the three expressions are cyclic, we may w. l. o. g. assume that . Consequently we have . We now show that satisfies .
* Case a): For clearly .
* Case b): For the factor is positive. Therefore . Hence it suffices to prove , which is equivalent to , i.e. .
This completes the proof.
(Walther Janous)
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.