Maths Olympiad Prep

Library / /490 of 520

Algebra Difficulty 6.3 National olympiad Prove it

Example 7 Let nN,x0=0,xi>0,i=1,2,,nn \in \mathbf{N}, x_{0}=0, x_{i}>0, i=1,2, \cdots, n, and i=1nxi=1\sum_{i=1}^{n} x_{i}=1. Prove:
1i=1nxi1+x0+x1++xi1xi+xi+1++xn<π2. 1 \leqslant \sum_{i=1}^{n} \frac{x_{i}}{\sqrt{1+x_{0}+x_{1}+\cdots+x_{i-1}} \cdot \sqrt{x_{i}+x_{i+1}+\cdots+x_{n}}}<\frac{\pi}{2} .

Solution

Prove that because i=1nxi=1\sum_{i=1}^{n} x_{i}=1,
so, by the AM-GM inequality, we have
(1+x0+x1++xi1)(xi+xi+1++xn)1+x0+x1++xn2=1. \begin{array}{l} \sqrt{\left(1+x_{0}+x_{1}+\cdots+x_{i-1}\right)\left(x_{i}+x_{i+1}+\cdots+x_{n}\right)} \\ \leqslant \frac{1+x_{0}+x_{1}+\cdots+x_{n}}{2}=1 . \end{array}

Thus, i=1nxi1+x0+x1++xi1xi+xi+1++xni=1nxi=1\sum_{i=1}^{n} \frac{x_{i}}{\sqrt{1+x_{0}+x_{1}+\cdots+x_{i-1}} \cdot \sqrt{x_{i}+x_{i+1}+\cdots+x_{n}}} \geqslant \sum_{i=1}^{n} x_{i}=1.
That is, the left inequality we need to prove holds.
Since 0x0+x1++xi1,i=1,2,,n0 \leqslant x_{0}+x_{1}+\cdots+x_{i} \leqslant 1, i=1,2, \cdots, n,
we can let θi=arcsin(x0+x1++xi),i=1,2,,n\theta_{i}=\arcsin \left(x_{0}+x_{1}+\cdots+x_{i}\right), i=1,2, \cdots, n.
Then, θi[0,π2]\theta_{i} \in\left[0, \frac{\pi}{2}\right], and we have 0=θ0<θ1<<θn=π20=\theta_{0}<\theta_{1}<\cdots<\theta_{n}=\frac{\pi}{2},
thus, we have xi=sinθisinθi1=2cosθi+θi12sinθiθi12<2cosθi1sinθiθi12x_{i}=\sin \theta_{i}-\sin \theta_{i-1}=2 \cos \frac{\theta_{i}+\theta_{i-1}}{2} \cdot \sin \frac{\theta_{i}-\theta_{i-1}}{2}<2 \cos \theta_{i-1} \cdot \sin \frac{\theta_{i}-\theta_{i-1}}{2}.
Since, for x[0,π2]x \in\left[0, \frac{\pi}{2}\right], we have sinx<x\sin x<x, so we have
xi<2cosθi1θiθi12=(θiθi1)cosθi1 x_{i}<2 \cos \theta_{i-1} \cdot \frac{\theta_{i}-\theta_{i-1}}{2}=\left(\theta_{i}-\theta_{i-1}\right) \cdot \cos \theta_{i-1} \text {, }

Therefore, xicosθi1<θiθi1,i=1,2,,n\frac{x_{i}}{\cos \theta_{i-1}}<\theta_{i}-\theta_{i-1}, i=1,2, \cdots, n.
Summing both sides of the above inequality from i=1i=1 to nn, we get
i=1nxicosθi1<θnθ0=π2 \sum_{i=1}^{n} \frac{x_{i}}{\cos \theta_{i-1}}<\theta_{n}-\theta_{0}=\frac{\pi}{2} \text {. }

By the definition of θi\theta_{i}, we know sinθi=x1+x2++xi\sin \theta_{i}=x_{1}+x_{2}+\cdots+x_{i},
so cosθi1=1sin2θi1=1(x0+x1+x2++xi1)2\cos \theta_{i-1}=\sqrt{1-\sin ^{2} \theta_{i-1}}=\sqrt{1-\left(x_{0}+x_{1}+x_{2}+\cdots+x_{i-1}\right)^{2}}
=(1+x0+x1++xi1)(xi+xi+1++xn) =\sqrt{\left(1+x_{0}+x_{1}+\cdots+x_{i-1}\right)\left(x_{i}+x_{i+1}+\cdots+x_{n}\right)} \text {. }

Substituting (2) into (1), we obtain the right inequality we need to prove.

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.