Olympiad Maths Prep

Track / Stage 7 / 144 of 300 #1544 of 2000

Problem 1544

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

Example 5.1.5 Let x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n} be real numbers, satisfying x1x2xnxn+1=0x_{1} \geq x_{2} \geq \cdots \geq x_{n} \geq x_{n+1}=0, prove the following inequality x1+x2++xni=1ni(xixi+1)\sqrt{x_{1}+x_{2}+\cdots+x_{n}} \leq \sum_{i=1}^{n} \sqrt{i}\left(\sqrt{x_{i}}-\sqrt{x_{i+1}}\right)
(Romania MO and Singapore MO)

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

Prove: Let ci=ii1,ai=xic_{i}=\sqrt{i}-\sqrt{i-1}, a_{i}=\sqrt{x_{i}}, then the inequality becomes
(a1c1+a2c2++ancn)2a12+a22++an2\left(a_{1} c_{1}+a_{2} c_{2}+\cdots+a_{n} c_{n}\right)^{2} \geq a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}

Assume b1,b2,,bnb_{1}, b_{2}, \cdots, b_{n} are positive numbers, and satisfy b12+b22++bn2=1b_{1}^{2}+b_{2}^{2}+\cdots+b_{n}^{2}=1 and (i=1nai2)(i=1nbi2)=(i=1naibi)2\left(\sum_{i=1}^{n} a_{i}^{2}\right)\left(\sum_{i=1}^{n} b_{i}^{2}\right)=\left(\sum_{i=1}^{n} a_{i} b_{i}\right)^{2} (sequences (a1,a2,,an)\left(a_{1}, a_{2}, \cdots, a_{n}\right) and (b1,b2,,bn)\left(b_{1}, b_{2}, \cdots, b_{n}\right) are proportional). We only need to prove
a1c1+a2c2++ancna1b1+a2b2++anbna_{1} c_{1}+a_{2} c_{2}+\cdots+a_{n} c_{n} \geq a_{1} b_{1}+a_{2} b_{2}+\cdots+a_{n} b_{n}

By Abel's formula, the above inequality can be transformed into
i=1nai(cibi)0(a1a2)(c1b1)+(a2a3)(c1+c2b1b2)++(an1an)(i=1n1aii=1n1bi)+an(i=1naii=1nbi)0\begin{array}{l} \sum_{i=1}^{n} a_{i}\left(c_{i}-b_{i}\right) \geq 0 \Leftrightarrow\left(a_{1}-a_{2}\right)\left(c_{1}-b_{1}\right)+\left(a_{2}-a_{3}\right)\left(c_{1}+c_{2}-b_{1}-b_{2}\right)+\cdots \\ +\left(a_{n-1}-a_{n}\right)\left(\sum_{i=1}^{n-1} a_{i}-\sum_{i=1}^{n-1} b_{i}\right)+a_{n}\left(\sum_{i=1}^{n} a_{i}-\sum_{i=1}^{n} b_{i}\right) \geq 0 \end{array}

This is valid, because for k=1,2,,nk=1,2, \cdots, n, we have
i=1kcii=1kbi=ki=1kbikk(i=1kbi2)0\sum_{i=1}^{k} c_{i}-\sum_{i=1}^{k} b_{i}=\sqrt{k}-\sum_{i=1}^{k} b_{i} \geq \sqrt{k}-\sqrt{k\left(\sum_{i=1}^{k} b_{i}^{2}\right)} \geq 0

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