Maths Olympiad Prep

Library / India — Team Selection Test /36 of 77

India — Team Selection Test, 2007

Algebra Difficulty 5.9 AIME, harder Prove it India

Let a1,a2,…,ana_1, a_2, \dots, a_n be an arbitrary arrangement of numbers 1,2,…,n1, 2, \dots, n on a circle. Find
min⁡∑j=1n∣aj−aj+1∣andmax⁡∑j=1n∣aj−aj+1∣, \min \sum_{j=1}^{n} |a_j - a_{j+1}| \quad \text{and} \quad \max \sum_{j=1}^{n} |a_j - a_{j+1}|,
where an+1=a1a_{n+1} = a_1 and the extrema are taken over all possible arrangements of 1,2,…,n1, 2, \dots, n.

Solution

Minimum: Consider 11 and nn on the circle. They divide the circle into two arcs. The sum of the numbers on either of the arc is at least n−1n-1. Suppose for example the numbers 1=b1,b2,…,bk=n1 = b_1, b_2, \dots, b_k = n appear on one of the arcs between 11 and nn, in that order. Then the sum of absolute differences of adjacent numbers on this arc is
∣1−b2∣+∣b2−b3∣+⋯+∣bk−1−n∣≥∣1−n∣=n−1. |1 - b_2| + |b_2 - b_3| + \dots + |b_{k-1} - n| \geq |1 - n| = n - 1.
Similarly, the least sum of absolute differences on the other arc is also n−1n-1. Hence we see that
∑j=1n∣aj+1−aj∣≥2(n−1). \sum_{j=1}^{n} |a_{j+1} - a_{j}| \geq 2(n-1).
This is achieved by the permutation (a1,a2,…,an)(a_1, a_2, \dots, a_n), where aj=ja_j = j for 1≤j≤n1 \le j \le n.

Maximum: We have
∑j=1n∣aj+1−aj∣=∑j=1n±(aj+1−aj). \sum_{j=1}^{n} |a_{j+1} - a_{j}| = \sum_{j=1}^{n} \pm (a_{j+1} - a_{j}).
Each of the numbers 1,2,…,n1, 2, \dots, n appear in the right side sum twice. Hence to get a maximum sum we should have positive sign to larger numbers in both occurrences and smaller number should go with negative sign. Thus n,(n−1),(n−2),…,[n/2]n, (n-1), (n-2), \dots, [n/2] should get positive signs and 1,2,3,…,[n/2]−11, 2, 3, \dots, [n/2] - 1 should get negative signs. This happens when:
for even nn, the arrangement is 1,n,2,(n−1),3,(n−2),…,n/2,(n/2)+11, n, 2, (n-1), 3, (n-2), \dots, n/2, (n/2) + 1;
for odd nn, the arrangement is 1,n,2,(n−1),3,(n−2),…,[n/2]+2,[n/2]+11, n, 2, (n-1), 3, (n-2), \dots, [n/2] + 2, [n/2] + 1.
The corresponding sums are:
n22 when n is even, n2−12 when n is odd. \frac{n^2}{2} \text{ when } n \text{ is even, } \quad \frac{n^2-1}{2} \text{ when } n \text{ is odd.}

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.