Maths Olympiad Prep

Library / Round 3 /5 of 9

Round 3

Algebra Difficulty 6.5 National Olympiad Prove it Mongolia

Let n≥3n \ge 3 be fixed. A sequence a1,a2,…,ana_1, a_2, \dots, a_n of real numbers is nice if
0≤a1+⋯+ak−1+ak+1+⋯+an≤1 0 \le a_1 + \dots + a_{k-1} + a_{k+1} + \dots + a_n \le 1
for all 1≤k≤n1 \le k \le n. Let m=min⁡{a1,a2,…,an}m = \min\{a_1, a_2, \dots, a_n\} denote the minimum and let M=max⁡{a1,a2,…,an}M = \max\{a_1, a_2, \dots, a_n\} denote the maximum of the sequence a1,a2,…,ana_1, a_2, \dots, a_n.
(i) Find the maximum of MM over all nice sequences.
(ii) Find the minimum of mm over all nice sequences.

Solution

Answer: (i) max⁡M=1\max M = 1, (ii) min⁡m=−n−2n−1\min m = -\frac{n-2}{n-1}.

i. For (a1,a2,…,an)=(0,…,0,1)(a_1, a_2, \dots, a_n) = (0, \dots, 0, 1), we have M=1M = 1.
Now we show M≤1M \le 1 holds always. Suppose, on the contrary, that for some nice sequence a1,a2,…,ana_1, a_2, \dots, a_n, we have M>1M > 1. Let T=(a1+⋯+an)−m−MT = (a_1 + \dots + a_n) - m - M, then we have T+M≤1T + M \le 1 by the niceness condition, hence T≤1−M<0T \le 1 - M < 0. Then m≤Tn−2<0m \le \frac{T}{n-2} < 0 and thus m+T<0m + T < 0, which contradicts niceness. Thus the maximum possible value for MM is 1.

ii. If a1,a2,…,ana_1, a_2, \dots, a_n is nice, then so is b1,b2,…,bnb_1, b_2, \dots, b_n for
b1=1n−1−a1,b2=1n−1−a2,…,bn=1n−1−an. b_1 = \frac{1}{n-1} - a_1, \quad b_2 = \frac{1}{n-1} - a_2, \quad \dots, \quad b_n = \frac{1}{n-1} - a_n.
From (i), we have 1n−1−m≤1\frac{1}{n-1} - m \le 1, thus m≥1n−1−1m \ge \frac{1}{n-1} - 1. The minimum of mm is achieved on the sequence (1n−1−1,1n−1,…,1n−1)\left( \frac{1}{n-1} - 1, \frac{1}{n-1}, \dots, \frac{1}{n-1} \right).

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.