Maths Olympiad Prep

Library / /449 of 520

Algebra Difficulty 5.8 AIME, harder Prove it

Three. (20 points) Determine whether there exist 2007 real numbers a1,a2,,a2007a_{1}, a_{2}, \cdots, a_{2007}, satisfying:
(1) ai<1,i=1,2,,2007\left|a_{i}\right|<1, i=1,2, \cdots, 2007;
(2) i=12007aii=12007ai=2006\sum_{i=1}^{2007}\left|a_{i}\right|-\left|\sum_{i=1}^{2007} a_{i}\right|=2006.

Solution

Three, if there exist 2007 real numbers a1a_{1}, a2,,a2007a_{2}, \cdots, a_{2007} that satisfy the given conditions, let i=12007ai=t0\left|\sum_{i=1}^{2007} a_{i}\right|=t \geqslant 0.
Removing the absolute value symbol and separating the positive and negative parts, we can write
i=12007ai=i=1kxij=12007kyj=t, \left|\sum_{i=1}^{2007} a_{i}\right|=\sum_{i=1}^{k} x_{i}-\sum_{j=1}^{2007-k} y_{j}=t,

where x1,x2,,xk,y1,y2,,y2007kx_{1}, x_{2}, \cdots, x_{k}, y_{1}, y_{2}, \cdots, y_{2007-k} is a permutation of a1,a2,,a2007\left|a_{1}\right|,\left|a_{2}\right|, \cdots,\left|a_{2007}\right|.
Thus, by condition (2), we get
i=1kxi+j=12007kyj=2006+t\sum_{i=1}^{k} x_{i}+\sum_{j=1}^{2007-k} y_{j}=2006+t.
Hence, i=1kxi=1003+t,j=12007kyj=1003\sum_{i=1}^{k} x_{i}=1003+t, \sum_{j=1}^{2007-k} y_{j}=1003.
Since 0xii=1kxi=1003+t0 \leqslant x_{i}\sum_{i=1}^{k} x_{i}=1003+t,
2007k>j=12007kyj=10032007-k>\sum_{j=1}^{2007-k} y_{j}=1003.
This implies, k1004,2007k1004k \geqslant 1004,2007-k \geqslant 1004.
Adding these, we get 200720082007 \geqslant 2008, a contradiction.
Therefore, 2007 real numbers that satisfy the conditions do not exist.

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.