Maths Olympiad Prep

Library / /38 of 120

, 2012

Algebra Difficulty 4.9 AIME Prove it Saudi Arabia

For every real numbers x1,,xnx_1, \dots, x_n, prove that
x11+x12+x21+x12+x22++xn1+x12++xn2<n. \frac{x_1}{1+x_1^2} + \frac{x_2}{1+x_1^2+x_2^2} + \dots + \frac{x_n}{1+x_1^2+\dots+x_n^2} < \sqrt{n}.

Solution

Using Cauchy-Schwarz inequality we have
(x11+x12++xn1+x12++xn2)n[x12(1+x12)2++xn2(1+x12++xn2)2]n[x121(1+x12)+x22(1+x12)(1+x12+x22)++xn2(1+x12++xn12)(1+x12++xn2)]=n[111+x12+11+x1211+x12+x22++11+x12++xn1211+x12++xn2]=n(111+x12++xn2)<n, \begin{aligned} & \left( \frac{x_1}{1+x_1^2} + \dots + \frac{x_n}{1+x_1^2 + \dots + x_n^2} \right) \\ & \le n \left[ \frac{x_1^2}{(1+x_1^2)^2} + \dots + \frac{x_n^2}{(1+x_1^2 + \dots + x_n^2)^2} \right] \\ & \le n \left[ \frac{x_1^2}{1 \cdot (1+x_1^2)} + \frac{x_2^2}{(1+x_1^2)(1+x_1^2+x_2^2)} + \dots + \frac{x_n^2}{(1+x_1^2+\dots+x_{n-1}^2)(1+x_1^2+\dots+x_n^2)} \right] \\ & = n \left[ 1 - \frac{1}{1+x_1^2} + \frac{1}{1+x_1^2} - \frac{1}{1+x_1^2+x_2^2} + \dots + \frac{1}{1+x_1^2+\dots+x_{n-1}^2} - \frac{1}{1+x_1^2+\dots+x_n^2} \right] \\ & = n \left( 1 - \frac{1}{1+x_1^2+\dots+x_n^2} \right) < n, \end{aligned}
and the inequality follows.

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 and solution reproduced as published; topic and difficulty added by this site.