Maths Olympiad Prep

Library / /362 of 520

Algebra Difficulty 7.1 National olympiad, round 2 Prove it

3. a1,a2,,an;b1,b2,,bna_{1}, a_{2}, \cdots, a_{n} ; b_{1}, b_{2}, \cdots, b_{n} are real numbers. Prove that the necessary and sufficient condition for the inequality i=1naixii=1nbixi\sum_{i=1}^{n} a_{i} x_{i} \leqslant \sum_{i=1}^{n} b_{i} x_{i} to hold for any real numbers satisfying x1x2xnx_{1} \leqslant x_{2} \leqslant \cdots \leqslant x_{n} is i=1naii=1nbi,(k=1\sum_{i=1}^{n} a_{i} \geqslant \sum_{i=1}^{n} b_{i},(k=1, 2,,n1)2, \cdots, n-1) and i=1nai=i=1nbi\sum_{i=1}^{n} a_{i}=\sum_{i=1}^{n} b_{i} \cdot (1986 National Training Team Selection Examination Question)

Solution

3. First, prove the necessity:

Let x1=x2==xn=1x_{1}=x_{2}=\cdots=x_{n}=1, we get i=1naii=1nbi\sum_{i=1}^{n} a_{i} \leqslant \sum_{i=1}^{n} b_{i}. Let x1=x2==xn=1x_{1}=x_{2}=\cdots=x_{n}=-1, we get i=1naii=1nbi-\sum_{i=1}^{n} a_{i} \leqslant-\sum_{i=1}^{n} b_{i}. Therefore, i=1nai=i=1nbi\sum_{i=1}^{n} a_{i}=\sum_{i=1}^{n} b_{i}.
Let x1=x2==xk=0,xk+1=xk+2==xn=1x_{1}=x_{2}=\cdots=x_{k}=0, x_{k+1}=x_{k+2}=\cdots=x_{n}=1 we get i=k+1naii=k+1nbi\sum_{i=k+1}^{n} a_{i} \leqslant \sum_{i=k+1}^{n} b_{i}.
By i=1nai=i=1nbi\sum_{i=1}^{n} a_{i}=\sum_{i=1}^{n} b_{i}, we get i=1kaii=1kbi,(i=1,2,,n1)\sum_{i=1}^{k} a_{i} \geqslant \sum_{i=1}^{k} b_{i},(i=1,2, \cdots, n-1).
Next, prove the sufficiency: Let Sk=i=1k(aibi),(i=1,2,,n,S0=0)S_{k}=\sum_{i=1}^{k}\left(a_{i}-b_{i}\right),\left(i=1,2, \cdots, n, S_{0}=0\right), then akbk=Ska_{k}-b_{k}=S_{k}- Sk1(k=1,2,,n)S_{k-1} \cdot(k=1,2, \cdots, n) and Sk0.(k=1,2,,n1,Sn=0)S_{k} \geqslant 0 .\left(k=1,2, \cdots, n-1, S_{n}=0\right). For any real numbers x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n} satisfying x1x_{1} \leqslant x2xnx_{2} \leqslant \cdots \leqslant x_{n}, we have
i=1naixii=1nbixi=i=1n(aibi)xi=i=1n(SiSi1)xi=i=1nSixii=1nSi1xi=i=1n1Sixii=1n1Sixi+1=i=1n1Si(xixi+1)0\begin{aligned} \sum_{i=1}^{n} a_{i} x_{i}-\sum_{i=1}^{n} b_{i} x_{i}= & \sum_{i=1}^{n}\left(a_{i}-b_{i}\right) x_{i}=\sum_{i=1}^{n}\left(S_{i}-S_{i-1}\right) x_{i}= \\ & \sum_{i=1}^{n} S_{i} x_{i}-\sum_{i=1}^{n} S_{i-1} x_{i}= \\ & \sum_{i=1}^{n-1} S_{i} x_{i}-\sum_{i=1}^{n-1} S_{i} x_{i+1}= \\ & \sum_{i=1}^{n-1} S_{i}\left(x_{i}-x_{i+1}\right) \leqslant 0 \end{aligned}

That is
i=1naixii=1nbixi\sum_{i=1}^{n} a_{i} x_{i} \leqslant \sum_{i=1}^{n} b_{i} x_{i}

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.