Maths Olympiad Prep

Library / /415 of 520

Algebra Difficulty 6.0 National olympiad Prove it

Example 7 Let a1,a2,,an(n>1)a_{1}, a_{2}, \cdots, a_{n}(n>1) be real numbers, and A+i=1nai2<1n1(i=1nai)2A+\sum_{i=1}^{n} a_{i}^{2}<\frac{1}{n-1}\left(\sum_{i=1}^{n} a_{i}\right)^{2}, prove that: A<2aiaj(1i<jn)A<2 a_{i} a_{j}(1 \leqslant i<j \leqslant n).

Solution

Considering the constant coefficient n1n-1 appearing in the problem, we apply the Cauchy-Schwarz inequality as follows:
(i=1nai)2=[(a1+a2)+a3+a4++an]2(1+1++1)n1[(a1+a2)2+a32+a42++an2]=(n1)(i=1nai2+2a1a2). \begin{aligned} \left(\sum_{i=1}^{n} a_{i}\right)^{2} & =\left[\left(a_{1}+a_{2}\right)+a_{3}+a_{4}+\cdots+a_{n}\right]^{2} \\ & \leqslant \underbrace{(1+1+\cdots+1)}_{n-1}\left[\left(a_{1}+a_{2}\right)^{2}+a_{3}^{2}+a_{4}^{2}+\cdots+a_{n}^{2}\right] \\ & =(n-1)\left(\sum_{i=1}^{n} a_{i}^{2}+2 a_{1} a_{2}\right) . \end{aligned}

From the problem statement, we have A<(i=1nai2)+1n1(i=1nai)2 A < -\left(\sum_{i=1}^{n} a_{i}^{2}\right) + \frac{1}{n-1}\left(\sum_{i=1}^{n} a_{i}\right)^{2}
(i=1nai2)+(i=1nai2+2a1a2)=2a1a2, \leqslant -\left(\sum_{i=1}^{n} a_{i}^{2}\right) + \left(\sum_{i=1}^{n} a_{i}^{2} + 2 a_{1} a_{2}\right) = 2 a_{1} a_{2},

Thus, A<2a1a2 A < 2 a_{1} a_{2} .
Similarly, for 1i<jn 1 \leqslant i < j \leqslant n , we have A<2aiaj A < 2 a_{i} a_{j} .

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.