(2) Use the result from (1) to prove: If real numbers satisfy , prove that all are non-negative (1959 \sim 1966 IMO Shortlist)
Solution
(2) By symmetry, without loss of generality, assume $a_{n}0
\end{array}a_{1}+a_{2}+\cdots+a_{n-1}>a_{1}+a_{2}+\cdots+a_{n} \geqslant \sqrt{(n-1)\left(a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}\right)}\left(a_{1}+a_{2}+\cdots+a_{n-1}\right)^{2}>(n-1)\left(a_{1}^{2}+a_{2}^{2}+\cdots+a_{n}^{2}\right)
Therefore, applying the conclusion of (1) to $n-1$, we have
(n-1)\left(a_{1}^{2}+a_{2}^{2}+\cdots+a_{n-1}^{2}\right) \geqslant\left(a_{1}+a_{2}+\cdots+a_{n-1}\right)^{2}
From (1) and (2), we get , which implies . This is a contradiction, hence . Similarly, .
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.