Maths Olympiad Prep

Library / /26 of 104

Algebra Difficulty 5.4 AIME, harder Prove it Bulgaria

Problem:
Let a1,a2,,a2005,b1,b2,,b2005a_{1}, a_{2}, \ldots, a_{2005}, b_{1}, b_{2}, \ldots, b_{2005} be real numbers such that the inequality
(aixbi)2j=1,ji2005(ajxbj) \left(a_{i} x-b_{i}\right)^{2} \geq \sum_{j=1, j \neq i}^{2005}\left(a_{j} x-b_{j}\right)
holds true for every real number xx and all i=1,2,,2005i=1,2, \ldots, 2005. Find the maximum possible number of the positive numbers amongst aia_{i} and bi,i=1,2,,2005b_{i}, i=1,2, \ldots, 2005.

Solution

Solution:
We first prove that at least one of the numbers a1,a2,,a2005a_{1}, a_{2}, \ldots, a_{2005} is not positive. To do this we assume the contrary and choose ii such that
biai=M=max1j2005(bjaj) \frac{b_{i}}{a_{i}}=M=\max _{1 \leq j \leq 2005}\left(\frac{b_{j}}{a_{j}}\right)
Then we can find ε>0\varepsilon>0 such that
(aixbi)2<j=1,ji2005(ajxbj) \left(a_{i} x-b_{i}\right)^{2}<\sum_{j=1, j \neq i}^{2005}\left(a_{j} x-b_{j}\right)
for every x(M,M+ε)x \in(M, M+\varepsilon), a contradiction.

On the other hand, it is easy to see that if a1=a2==a2004=a2005=1a_{1}=a_{2}=\cdots=a_{2004}=-a_{2005}=1 and b1=b2==b2004=b2005100122b_{1}=b_{2}=\cdots=b_{2004}=b_{2005} \geq \frac{1001^{2}}{2} the given inequality is satisfied. Therefore the answer is 4009.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.