Maths Olympiad Prep

Library / /39 of 91

, 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
minj=1najaj+1andmaxj=1najaj+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 n1n-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
1b2+b2b3++bk1n1n=n1. |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 n1n-1. Hence we see that
j=1naj+1aj2(n1). \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 1jn1 \le j \le n.

Maximum: We have
j=1naj+1aj=j=1n±(aj+1aj). \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,(n1),(n2),,[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,(n1),3,(n2),,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,(n1),3,(n2),,[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, n212 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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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