Maths Olympiad Prep

Track / Stage 7 / 28 of 300 #1428 of 1964

Problem 1428

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

Inference 2 Given ai(i=1,2,n)a_{i}(i=1,2, \cdots n) are positive numbers, xix_{i} \in R(i=1,2,n)\mathbf{R}(i=1,2, \cdots n), and i=1nai=1\sum_{i=1}^{n} a_{i}=1,

then i=1nxi2ai(i=1nxi)2\sum_{i=1}^{n} \frac{x_{i}^{2}}{a_{i}} \geqslant\left(\sum_{i=1}^{n} x_{i}\right)^{2}.

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

Given aiR+(i=1,2,n)\because a_{i} \in \mathrm{R}^{+}(i=1,2, \cdots n), and i=1nai=1\sum_{i=1}^{n} a_{i}=1,
i=1nxi2ai=(i=1nai)(i=1nxi2ai)=[i=1n(ai)2][i=1n(xiai)2][i=1naixiai]2=(i=1nxi)2\begin{aligned} \therefore \sum_{i=1}^{n} \frac{x_{i}^{2}}{a_{i}} & =\left(\sum_{i=1}^{n} a_{i}\right) \cdot\left(\sum_{i=1}^{n} \frac{x_{i}^{2}}{a_{i}}\right) \\ & =\left[\sum_{i=1}^{n}\left(\sqrt{a_{i}}\right)^{2}\right] \cdot\left[\sum_{i=1}^{n}\left(\frac{x_{i}}{\sqrt{a_{i}}}\right)^{2}\right] \\ & \geqslant\left[\sum_{i=1}^{n} \sqrt{a_{i}} \cdot \frac{x_{i}}{\sqrt{a_{i}}}\right]^{2} \\ & =\left(\sum_{i=1}^{n} x_{i}\right)^{2} \end{aligned}

Equality holds if and only if x1a1a1=x2a2a2==xnanan\frac{\frac{x_{1}}{\sqrt{a_{1}}}}{\sqrt{a_{1}}}=\frac{\frac{x_{2}}{\sqrt{a_{2}}}}{\sqrt{a_{2}}}=\cdots=\frac{\frac{x_{n}}{\sqrt{a_{n}}}}{\sqrt{a_{n}}}, i.e., x1a1=x2a2==xnan\frac{x_{1}}{a_{1}}=\frac{x_{2}}{a_{2}}=\cdots=\frac{x_{n}}{a_{n}}.

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