Let , be real numbers. Show there exists such that
Irish Mathematical Olympiad
Solution
We prove a stronger statement, that for one of . Let us write:
We compare to the linear interpolation of and , which is:
Subtracting one from each side:
Now each side of these equations is either non-negative, or negative.
If the left hand side is non-negative, then:
This implies one of the terms in the average is non-negative, and so at least one of or .
If on the other hand the right hand side is negative, then .
In either case, we have found with as we were required to prove.
Remark: This inequality is best possible. Suppose we take and . Then, for :
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.