Maths Olympiad Prep

Library / /471 of 520

Algebra Difficulty 7.5 National olympiad, round 2 Prove it

Example 6.34 (2006 China National Training Team) Let x1,x2,,xn0x_{1}, x_{2}, \cdots, x_{n} \geqslant 0, and i=1nxi=1\sum_{i=1}^{n} x_{i}=1, prove that
i=1nxii=1n11+xin2n+1\sum_{i=1}^{n} \sqrt{x_{i}} \sum_{i=1}^{n} \frac{1}{\sqrt{1+x_{i}}} \leqslant \frac{n^{2}}{\sqrt{n+1}}

Solution

Prove that by Cauchy's inequality,
i=1nxii=1n11+xi=i=1nxi(i=1n1+xii=1nxi1+xi)i=1nxi(i=1n1+xi(i=1nxi)2i=1n1+xi)i=1nxi(n(n+1)(i=1nxi)2n(n+1))\begin{array}{l} \sum_{i=1}^{n} \sqrt{x_{i}} \sum_{i=1}^{n} \frac{1}{\sqrt{1+x_{i}}}=\sum_{i=1}^{n} \sqrt{x_{i}}\left(\sum_{i=1}^{n} \sqrt{1+x_{i}}-\sum_{i=1}^{n} \frac{x_{i}}{\sqrt{1+x_{i}}}\right) \leqslant \\ \sum_{i=1}^{n} \sqrt{x_{i}}\left(\sum_{i=1}^{n} \sqrt{1+x_{i}}-\frac{\left(\sum_{i=1}^{n} \sqrt{x_{i}}\right)^{2}}{\sum_{i=1}^{n} \sqrt{1+x_{i}}}\right) \leqslant \\ \sum_{i=1}^{n} \sqrt{x_{i}}\left(\sqrt{n(n+1)}-\frac{\left(\sum_{i=1}^{n} \sqrt{x_{i}}\right)^{2}}{\sqrt{n(n+1)}}\right) \end{array}

Let i=1nxi=y\sum_{i=1}^{n} \sqrt{x_{i}}=y, then 0<yn0<y \leqslant \sqrt{n}, it suffices to prove
y(n(n+1)y2n(n+1))n2n+1y3(n+1)ny+n2n0(yn)(y2+nyn2)0\begin{array}{l} y\left(\sqrt{n(n+1)}-\frac{y^{2}}{\sqrt{n(n+1)}}\right) \leqslant \frac{n^{2}}{\sqrt{n+1}} \Leftrightarrow \\ y^{3}-(n+1) n y+n^{2} \sqrt{n} \geqslant 0 \\ (y-\sqrt{n})\left(y^{2}+\sqrt{n} y-n^{2}\right) \geqslant 0 \end{array}

The above inequality is obvious, and the proposition is proved! Equality holds if and only if x1=x2==xnx_{1}=x_{2}=\cdots=x_{n}.

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.