Maths Olympiad Prep

Library / /116 of 462

, 2014

Algebra Difficulty 5.2 AIME, harder Prove it Ireland

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.

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.

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.

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