Maths Olympiad Prep

Library / /8 of 155

Algebra Difficulty 4.8 AIME Prove it Saudi Arabia

Let nn be a positive integer and let a1,a2,,ana_{1}, a_{2}, \ldots, a_{n} be any real numbers. Prove that there exists m,k{1,2,,n}m, k \in \{1,2, \ldots, n\} such that
i=1maii=m+1naiak. \left|\sum_{i=1}^{m} a_{i}-\sum_{i=m+1}^{n} a_{i}\right| \leq\left|a_{k}\right| .

Solution

Denote
Sx=i=1xaii=x+1nai. S_{x}=\left|\sum_{i=1}^{x} a_{i}-\sum_{i=x+1}^{n} a_{i}\right| .
Obviously S0=SnS_{0}=-S_{n} and Sx+1Sx=2ax+1S_{x+1}-S_{x}=2 a_{x+1}. We may assume that Sn0S_{n} \geq 0 and consider mm for which Sm0S_{m} \leq 0 and Sm+10S_{m+1} \geq 0. Then
Sm+Sm+1=SmSm+1=2am+1 \left|S_{m}\right|+\left|S_{m+1}\right|=\left|S_{m}-S_{m+1}\right|=2\left|a_{m+1}\right|
so either Sm\left|S_{m}\right| or Sm+1\left|S_{m+1}\right| is at most am+1a_{m+1} which is at mostmaxiai=ak\operatorname{most}_{\max _{i}}\left|a_{i}\right|=a_{k}. This completes the proof.

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 and solution reproduced as published; topic and difficulty added by this site.