Maths Olympiad Prep

Library / Saudi Arabian Mathematical Competitions /45 of 395

Saudi Arabian Mathematical Competitions

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=1mai−∑i=m+1nai∣≤∣ak∣. \left|\sum_{i=1}^{m} a_{i}-\sum_{i=m+1}^{n} a_{i}\right| \leq\left|a_{k}\right| .

Solution

Denote
Sx=∣∑i=1xai−∑i=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+1−Sx=2ax+1S_{x+1}-S_{x}=2 a_{x+1}. We may assume that Sn≥0S_{n} \geq 0 and consider mm for which Sm≤0S_{m} \leq 0 and Sm+1≥0S_{m+1} \geq 0. Then
∣Sm∣+∣Sm+1∣=∣Sm−Sm+1∣=2∣am+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 most⁡max⁡i∣ai∣=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,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.