Maths Olympiad Prep

Library / /415 of 520

Algebra Difficulty 7.3 National olympiad, round 2 Prove it

56. (1996 47th Polish Olympiad) Real numbers a,b,ca, b, c satisfy a=1,a,b,c34\sum a=1, a, b, c \geqslant-\frac{3}{4}, then
aa2+1910\sum \frac{a}{a^{2}+1} \leqslant \frac{9}{10}

Solution

56. Hint: aa2+13101825(a13)(3a1)2(4a+3)0\frac{a}{a^{2}+1}-\frac{3}{10} \leqslant \frac{18}{25}\left(a-\frac{1}{3}\right) \Leftrightarrow(3 a-1)^{2}(4 a+3) \geqslant 0.

Generalization: Let real numbers a1,a2,,ana_{1}, a_{2}, \cdots, a_{n} satisfy a1+a2++an=1a_{1}+a_{2}+\cdots+a_{n}=1, and a1,a2,,an2nn21(n>1)a_{1}, a_{2}, \cdots, a_{n} \geqslant -\frac{2 n}{n^{2}-1}(n>1), then
a1a12+1n2n2+1\sum \frac{a_{1}}{a_{1}^{2}+1} \leqslant \frac{n^{2}}{n^{2}+1}

Equality holds if and only if a1=a2==an=1na_{1}=a_{2}=\cdots=a_{n}=\frac{1}{n}.
Brief proof: By the method of undetermined coefficients, we can find that
aiai2+1nn2+1λ(a1n)i=1,2,,n\frac{a_{i}}{a_{i}^{2}+1}-\frac{n}{n^{2}+1} \leqslant \lambda\left(a-\frac{1}{n}\right) \quad i=1,2, \cdots, n

holds for
λ=n2(n21)(n2+1)2\lambda=\frac{n^{2}\left(n^{2}-1\right)}{\left(n^{2}+1\right)^{2}}

Thus, we can obtain

that is
a1a12+1nn2+10a1a12+1n2n2+1\begin{array}{c} \sum \frac{a_{1}}{a_{1}^{2}+1}-\sum \frac{n}{n^{2}+1} \leqslant 0 \\ \sum \frac{a_{1}}{a_{1}^{2}+1} \leqslant \frac{n^{2}}{n^{2}+1} \end{array}

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.