Maths Olympiad Prep

Library / /1144 of 1394

, 2024

Algebra Difficulty 5.7 AIME, harder Prove it United States

Problem:
Let a1,a2,a3,,a100a_{1}, a_{2}, a_{3}, \ldots, a_{100} be integers such that
a12+a22+a32++a1002a1+a2+a3++a100=100. \frac{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+\cdots+a_{100}^{2}}{a_{1}+a_{2}+a_{3}+\cdots+a_{100}}=100 .
Determine, with proof, the maximum possible value of a1a_{1}.

Solutions — 2

Solution 1

Solution:
We can rearrange the equation as follows:
a12+a22++a992+a1002=100(a1+a2++a99+a100)(a12100a1)+(a22100a2)+(a32100a3)++(a1002100a100)=0(a150)2+(a250)2+(a350)2++(a10050)2=100502=5002 \begin{gathered} a_{1}^{2}+a_{2}^{2}+\cdots+a_{99}^{2}+a_{100}^{2}=100\left(a_{1}+a_{2}+\cdots+a_{99}+a_{100}\right) \\ \left(a_{1}^{2}-100 a_{1}\right)+\left(a_{2}^{2}-100 a_{2}\right)+\left(a_{3}^{2}-100 a_{3}\right)+\cdots+\left(a_{100}^{2}-100 a_{100}\right)=0 \\ \left(a_{1}-50\right)^{2}+\left(a_{2}-50\right)^{2}+\left(a_{3}-50\right)^{2}+\cdots+\left(a_{100}-50\right)^{2}=100 \cdot 50^{2}=500^{2} \end{gathered}
Thus (a150)25002\left(a_{1}-50\right)^{2} \leq 500^{2} and so a1550a_{1} \leq 550. Equality holds when a1=550a_{1}=550 and ai=50a_{i}=50 for all i>1i>1. Therefore, the maximum possible value of a1a_{1} is 550 .

Solution 2

Solution:
Let k=199(a2+a3++a100)k=\frac{1}{99}\left(a_{2}+a_{3}+\cdots+a_{100}\right). Note, that by the Cauchy-Schwarz inequality, we have:
99(a22+a32++a1002)(a2+a3++a100)2=(99k)2 99 \cdot\left(a_{2}^{2}+a_{3}^{2}+\cdots+a_{100}^{2}\right) \geq\left(a_{2}+a_{3}+\cdots+a_{100}\right)^{2}=(99 k)^{2}
and so:
100=a12+a22+a32++a1002a1+a2+a3++a100a12+99k2a1+99k 100=\frac{a_{1}^{2}+a_{2}^{2}+a_{3}^{2}+\cdots+a_{100}^{2}}{a_{1}+a_{2}+a_{3}+\cdots+a_{100}} \geq \frac{a_{1}^{2}+99 k^{2}}{a_{1}+99 k}
Now consider the function:
ft(x)=99x2+t299x+t f_{t}(x)=\frac{99 x^{2}+t^{2}}{99 x+t}
for all reals tt. Note that for t=a1t=a_{1}, we have that ft(k)100f_{t}(k) \leq 100 for some real kk. Furthermore, because a12+a22++a1002>0a_{1}^{2}+a_{2}^{2}+\cdots+a_{100}^{2}>0, we have a1+a2++a100>0a_{1}+a_{2}+\cdots+a_{100}>0, and so ft(x)>0f_{t}(x)>0 for all valid xx.
We assume a1>0a_{1}>0, since we are trying to maximize this element and some positive solution exists (i.e. (100,100,,100)(100,100, \ldots, 100) ). Hence, the minimum point of ft(x)f_{t}(x) over x>0x>0 needs to be less than 100 . To compute this, set the derivative to be zero as follows:
ft(x)=1100t2(t+99x)2=0 f_{t}^{\prime}(x)=1-\frac{100 t^{2}}{(t+99 x)^{2}}=0
which has solutions at x=t11x=\frac{t}{11} and x=t9x=-\frac{t}{9}. Taking a second derivative shows that the point (t11,2t11)\left(\frac{t}{11}, \frac{2 t}{11}\right) is the only valid minimum point in the first quadrant. Hence, we must have 2t11100\frac{2 t}{11} \leq 100 and so a1=t550a_{1}=t \leq 550, as desired. Equality holds at (550,50,,50)(550,50, \ldots, 50).

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.