Olympiad Maths Prep

Track / Stage 7 / 278 of 300 #1678 of 2000

Problem 1678

National olympiad second round; IMO P1/P4
Algebra Difficulty 7.8 Prove it

Let x1,x2,,xnx_1, x_2, \dots ,x_n (n2n\ge 2) be positive real numbers satisfying i=1nxi=1\sum^{n}_{i=1}x_i=1. Prove that:i=1nxi1xii=1nxin1.\sum^{n}_{i=1}\dfrac{x_i}{\sqrt{1-x_i}}\ge \dfrac{\sum_{i=1}^{n}\sqrt{x_i}}{\sqrt{n-1}}.

This one wants a proof. Work it on paper, read the official solution, then mark yourself honestly — the ladder only means something if the record is true.

Official solution

1. Define the function and its properties:
Let f(x)=x1x f(x) = \frac{x}{\sqrt{1-x}} . We need to show that this function is convex. To do this, we compute the second derivative of f(x) f(x) .

2. Compute the first derivative:
f(x)=ddx(x1x)=1xx21x1x=(1x)x2(1x)3/2=2(1x)x2(1x)3/2=23x2(1x)3/2 f'(x) = \frac{d}{dx} \left( \frac{x}{\sqrt{1-x}} \right) = \frac{\sqrt{1-x} - \frac{x}{2\sqrt{1-x}}}{1-x} = \frac{(1-x) - \frac{x}{2}}{(1-x)^{3/2}} = \frac{2(1-x) - x}{2(1-x)^{3/2}} = \frac{2 - 3x}{2(1-x)^{3/2}}

3. Compute the second derivative:
f(x)=ddx(23x2(1x)3/2) f''(x) = \frac{d}{dx} \left( \frac{2 - 3x}{2(1-x)^{3/2}} \right)
Using the quotient rule:
f(x)=(23x)(1x)3/2(23x)((1x)3/2)(1x)3 f''(x) = \frac{(2 - 3x)'(1-x)^{3/2} - (2 - 3x)((1-x)^{3/2})'}{(1-x)^3}
Simplifying each term:
(23x)=3 (2 - 3x)' = -3
((1x)3/2)=32(1x)1/2(1)=32(1x)1/2 ((1-x)^{3/2})' = \frac{3}{2}(1-x)^{1/2}(-1) = -\frac{3}{2}(1-x)^{1/2}
Therefore:
f(x)=3(1x)3/2(23x)(32(1x)1/2)(1x)3=3(1x)3/2+32(23x)(1x)1/2(1x)3 f''(x) = \frac{-3(1-x)^{3/2} - (2 - 3x)(-\frac{3}{2}(1-x)^{1/2})}{(1-x)^3} = \frac{-3(1-x)^{3/2} + \frac{3}{2}(2 - 3x)(1-x)^{1/2}}{(1-x)^3}
Simplifying further:
f(x)=3(1x)+32(23x)(1x)5/2=3(1x)+39x2(1x)5/2=3+3x+39x2(1x)5/2=3x9x2(1x)5/2=6x9x2(1x)5/2=3x2(1x)5/2 f''(x) = \frac{-3(1-x) + \frac{3}{2}(2 - 3x)}{(1-x)^{5/2}} = \frac{-3(1-x) + 3 - \frac{9x}{2}}{(1-x)^{5/2}} = \frac{-3 + 3x + 3 - \frac{9x}{2}}{(1-x)^{5/2}} = \frac{3x - \frac{9x}{2}}{(1-x)^{5/2}} = \frac{6x - 9x}{2(1-x)^{5/2}} = \frac{-3x}{2(1-x)^{5/2}}
Since x(0,1) x \in (0, 1) , f(x)>0 f''(x) > 0 . Thus, f(x) f(x) is convex.

4. Apply Jensen's Inequality:
Since f(x) f(x) is convex and i=1nxi=1 \sum_{i=1}^n x_i = 1 , by Jensen's Inequality:
i=1nf(xi)nf(i=1nxin)=nf(1n) \sum_{i=1}^n f(x_i) \geq n f\left( \frac{\sum_{i=1}^n x_i}{n} \right) = n f\left( \frac{1}{n} \right)
Calculate f(1n) f\left( \frac{1}{n} \right) :
f(1n)=1n11n=1nn1n=1n(n1) f\left( \frac{1}{n} \right) = \frac{\frac{1}{n}}{\sqrt{1 - \frac{1}{n}}} = \frac{1}{n \sqrt{\frac{n-1}{n}}} = \frac{1}{\sqrt{n(n-1)}}
Therefore:
i=1nxi1xinn(n1)=nn1 \sum_{i=1}^n \frac{x_i}{\sqrt{1-x_i}} \geq \frac{n}{\sqrt{n(n-1)}} = \frac{\sqrt{n}}{\sqrt{n-1}}

5. Prove the final inequality using Cauchy-Schwarz:
We need to show:
nn1i=1nxin1 \frac{\sqrt{n}}{\sqrt{n-1}} \geq \frac{\sum_{i=1}^n \sqrt{x_i}}{\sqrt{n-1}}
This simplifies to:
ni=1nxi \sqrt{n} \geq \sum_{i=1}^n \sqrt{x_i}
By the Cauchy-Schwarz inequality:
(i=1nxi)2ni=1nxi=n \left( \sum_{i=1}^n \sqrt{x_i} \right)^2 \leq n \sum_{i=1}^n x_i = n
Taking the square root of both sides:
i=1nxin \sum_{i=1}^n \sqrt{x_i} \leq \sqrt{n}
Thus:
nn1i=1nxin1 \frac{\sqrt{n}}{\sqrt{n-1}} \geq \frac{\sum_{i=1}^n \sqrt{x_i}}{\sqrt{n-1}}

The final answer is i=1nxi1xii=1nxin1 \boxed{ \sum_{i=1}^n \frac{x_i}{\sqrt{1-x_i}} \geq \frac{\sum_{i=1}^n \sqrt{x_i}}{\sqrt{n-1}} }

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.