Maths Olympiad Prep

Library / NMO Selection Tests for BMO and IMO /31 of 47

NMO Selection Tests for BMO and IMO

Combinatorics Difficulty 8.4 Shortlist Prove it Romania

Fix an integer n≥2n \ge 2. Consider nn real numbers a1,a2,…,ana_1, a_2, \dots, a_n, not all equal, and let
d=d(a1,a2,…,an)=max⁡1≤i<j≤n∣ai−aj∣ d = d(a_1, a_2, \dots, a_n) = \max_{1 \le i < j \le n} |a_i - a_j|
and
s=s(a1,a2,…,an)=∑1≤i<j≤n∣ai−aj∣. s = s(a_1, a_2, \dots, a_n) = \sum_{1 \le i < j \le n} |a_i - a_j|.

Determine, in terms of nn, the smallest and the largest values the quotient s/ds/d may achieve.

Solution

The required minimum is n−1n-1 and is achieved, for instance, by a1<a2=⋯=ana_1 < a_2 = \dots = a_n. The maximum is ⌊12n⌋⌊12(n+1)⌋\lfloor \frac{1}{2}n \rfloor \lfloor \frac{1}{2}(n+1) \rfloor and is achieved, for instance, by
a1=⋯=a⌊n/2⌋<a⌊n/2⌋+1=⋯=an. a_1 = \dots = a_{\lfloor n/2 \rfloor} < a_{\lfloor n/2 \rfloor+1} = \dots = a_n.
In each case, verification is routine and is hence omitted.

We now show that (n−1)d≤s≤⌊12n⌋⌊12(n+1)⌋d(n-1)d \le s \le \lfloor \frac{1}{2}n \rfloor \lfloor \frac{1}{2}(n+1) \rfloor d. Clearly, we may and will assume a1≤a2≤⋯≤ana_1 \le a_2 \le \dots \le a_n, so s=∑1≤i<j≤n(aj−ai)s = \sum_{1 \le i < j \le n} (a_j - a_i). Let dk=ak+1−akd_k = a_{k+1} - a_k, k=1,…,n−1k = 1, \dots, n-1, so d=d1+⋯+dn−1d = d_1 + \dots + d_{n-1}.

Express every aj−aia_j - a_i, 1≤i<j≤n1 \le i < j \le n, and hence ss, in terms of the dkd_k: As dkd_k occurs as a summand in every aj−aia_j - a_i, 1≤i≤k<k+1≤j≤n1 \le i \le k < k + 1 \le j \le n, and in no other aj−aia_j - a_i, 1≤i<j≤n1 \le i < j \le n, it follows that s=∑k=1n−1k(n−k)dks = \sum_{k=1}^{n-1} k(n-k)d_k.

Finally, as min⁡1≤k≤n−1k(n−k)=n−1\min_{1 \le k \le n-1} k(n-k) = n-1 and max⁡1≤k≤n−1k(n−k)=⌊12n⌋⌊12(n+1)⌋\max_{1 \le k \le n-1} k(n-k) = \lfloor \frac{1}{2}n \rfloor \lfloor \frac{1}{2}(n+1) \rfloor, it follows that
(n−1)d=∑k=1n−1(n−1)dk≤∑k=1n−1k(n−k)dk⏟=s≤∑k=1n−1⌊12n⌋⌊12(n+1)⌋dk==⌊12n⌋⌊12(n+1)⌋d, (n-1)d = \sum_{k=1}^{n-1} (n-1)d_k \le \underbrace{\sum_{k=1}^{n-1} k(n-k)d_k}_{=s} \le \sum_{k=1}^{n-1} \lfloor \frac{1}{2}n \rfloor \lfloor \frac{1}{2}(n+1) \rfloor d_k = \\ = \lfloor \frac{1}{2}n \rfloor \lfloor \frac{1}{2}(n+1) \rfloor d,
as desired. This ends 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.