Maths Olympiad Prep

Library / Danube Mathematical Competition /8 of 28

Danube Mathematical Competition, 2014

Algebra Difficulty 5.0 AIME Prove it Romania

Consider real numbers a1,a2,…,a2na_1, a_2, \dots, a_{2n} whose sum is 00. Prove that among the pairs (ai,aj)(a_i, a_j), i<ji < j, with i,j∈{1,2,…,2n}i, j \in \{1, 2, \dots, 2n\}, there exist at least 2n−12n - 1 pairs such that ai+aj≥0a_i + a_j \ge 0.

Solution

* If an+a2n−1≥0a_n + a_{2n-1} \ge 0, then all the sums ai+a2n−1a_i + a_{2n-1} with i=n‾,2n−2i = \overline{n}, 2n-2 as well as all the sums ai+a2na_i + a_{2n} with i=n‾,2n−1i = \overline{n}, 2n-1 are non-negative. In total, there are at least (n−1)+n=2n−1(n-1)+n = 2n-1 non-negative sums.

* If an+a2n−1<0a_n + a_{2n-1} < 0, then a1+⋯+an−1+an+1+⋯+a2n−2+a2n>0a_1 + \dots + a_{n-1} + a_{n+1} + \dots + a_{2n-2} + a_{2n} > 0. (1)
We have 0>an+a2n−1≥an−1+a2n−2≥⋯≥a2+an+10 > a_n + a_{2n-1} \ge a_{n-1} + a_{2n-2} \ge \dots \ge a_2 + a_{n+1}. It follows that a2+a3+⋯+an−1+an+1+⋯+a2n−3+a2n−2<0a_2 + a_3 + \dots + a_{n-1} + a_{n+1} + \dots + a_{2n-3} + a_{2n-2} < 0. Combining this with (1) gives a1+a2n≥0a_1 + a_{2n} \ge 0, hence all the sums ai+a2na_i + a_{2n} with i=1,2n−1‾i = \overline{1, 2n-1} are non-negative.

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.