Let and be positive integers. Prove that, if are real numbers for , such that
holds, it follows that
Solution
Solution: We can, in fact, show that each of the expressions in the second sum is not greater than the corresponding expression in the first, multiplied by the factor .
Substituting , this means that we wish to show
Since is certainly positive for , this is equivalent to , or . This polynomial is quadratic in , and we have . For the discriminant of the polynomial we have
and we see that the polynomial can only assume positive values, which completes the proof. qed
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.