Maths Olympiad Prep

Track / Stage 5 / 161 of 400 #1241 of 2444

Problem 1241

AIME late
Algebra Difficulty 5.2 Prove it Irish Mathematical Olympiad · Ireland · 2014

Suppose n2n \ge 2, and a1,a2,,ana_1, a_2, \dots, a_n are positive numbers that sum to 11. Prove that
nn1i=1nai1ai, \frac{n}{n-1} \le \sum_{i=1}^{n} \frac{a_i}{1-a_i},
with equality iff ai=1/na_i = 1/n, i=1,2,,ni = 1, 2, \dots, n.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

The function f(x)=11xf(x) = \frac{1}{1-x}, 0x<10 \le x < 1, is strictly convex on [0,1)[0, 1), and so, if αi\alpha_i, i=1,2,,ni = 1, 2, \dots, n are non-negative numbers that sum to 11, then
f(i=1nαiai)i=1nαif(ai). f\left(\sum_{i=1}^{n} \alpha_i a_i\right) \le \sum_{i=1}^{n} \alpha_i f(a_i).

Solution 1. In particular, with αi=ai\alpha_i = a_i,
11i=1nai2=f(i=1naiai)i=1naif(ai)=i=1nai1ai. \frac{1}{1 - \sum_{i=1}^{n} a_i^2} = f\left(\sum_{i=1}^{n} a_i a_i\right) \le \sum_{i=1}^{n} a_i f(a_i) = \sum_{i=1}^{n} \frac{a_i}{1 - a_i}.
But, by the Cauchy-Schwarz inequality,
1=(i=1nai)2ni=1nai2, 1 = \left(\sum_{i=1}^{n} a_i\right)^2 \le n \sum_{i=1}^{n} a_i^2,
with equality iff ai=1/na_i = 1/n, i=1,2,,ni = 1, 2, \dots, n. In other words,
nn111i=1nai2i=1nai1ai, \frac{n}{n-1} \le \frac{1}{1 - \sum_{i=1}^{n} a_i^2} \le \sum_{i=1}^{n} \frac{a_i}{1 - a_i},
with equality iff ai=1/na_i = 1/n, i=1,2,,ni = 1, 2, \dots, n.

Solution 2. Using αi=1/n\alpha_i = 1/n, convexity gives
nn1=f(1n)=f(1ni=1nai)1ni=1nf(ai), \frac{n}{n-1} = f\left(\frac{1}{n}\right) = f\left(\frac{1}{n} \sum_{i=1}^{n} a_i\right) \le \frac{1}{n} \sum_{i=1}^{n} f(a_i),
with equality iff the aia_i are equal to each other. Hence
n+nn1=n2n1i=1nf(ai)=i=1n(1+ai1ai)=n+i=1nai1ai n + \frac{n}{n-1} = \frac{n^2}{n-1} \le \sum_{i=1}^{n} f(a_i) = \sum_{i=1}^{n} \left(1 + \frac{a_i}{1-a_i}\right) = n + \sum_{i=1}^{n} \frac{a_i}{1-a_i}
and this is equivalent to the desired inequality. Moreover, the inequality is strict unless the aia_i are equal to each other.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.