Maths Olympiad Prep

Library / /119 of 299

Algebra Difficulty 6.3 National Olympiad Prove it Iran

Let nn be a positive integer such that n4n \ge 4. For every permutation (s1,s2,,sn)(s_1, s_2, \dots, s_n) of the numbers 1,2,,n1, 2, \dots, n, we calculate the following expression and write the result on the board:
1s1+2s2+3s3++nsn 1s_1 + 2s_2 + 3s_3 + \dots + ns_n
In the end, how many distinct values will be written on the board?

Solution

According to the permutation inequality, we always have:
1×n+2×(n1)++n×11×s1+2×s2++n×sn1×1+2×2++n×n 1 \times n + 2 \times (n-1) + \cdots + n \times 1 \le 1 \times s_1 + 2 \times s_2 + \cdots + n \times s_n \le 1 \times 1 + 2 \times 2 + \cdots + n \times n
We want to prove that all numbers in this range are covered. First, note that by induction, it is easily proven that:
1×n+2×(n1)++n=(n+23) 1 \times n + 2 \times (n - 1) + \cdots + n = \binom{n+2}{3}
and
1×1+2×2++n×n=(n+23)+(n+13) 1 \times 1 + 2 \times 2 + \cdots + n \times n = \binom{n+2}{3} + \binom{n+1}{3}
First, let's examine the base case n=4n = 4. We need to show that all numbers from 20 to 30 are covered. It is sufficient to consider the permutations:
4,3,2,1/3,4,2,1/3,4,1,2/4,2,1,3/2,3,4,1/2,4,1,3/1,4,3,2/1,3,4,2/2,1,4,3/2,1,3,4/1,2,3,4. 4, 3, 2, 1/3, 4, 2, 1/3, 4, 1, 2/4, 2, 1, 3/2, 3, 4, 1/2, 4, 1, \\ 3/1, 4, 3, 2/1, 3, 4, 2/2, 1, 4, 3/2, 1, 3, 4/1, 2, 3, 4.
To prove by induction, we first set xn+1=(n+1)2x_{n+1} = (n+1)^2 for all values of nn with:
(n+1)2=1×1+2×2++n×n+(n+1)×(n+1)(1×1+2×2++n×n) (n+1)^2 = 1 \times 1 + 2 \times 2 + \cdots + n \times n + (n+1) \times (n+1) - (1 \times 1 + 2 \times 2 + \cdots + n \times n)
All previous values are obtained by setting xn+1=1x_{n+1} = 1:
n(n+1)2=1×(n+1)+2×n++(n+1)×1(1×n+2×(n1)++n×1) \frac{n(n+1)}{2} = 1 \times (n+1) + 2 \times n + \cdots + (n+1) \times 1 - (1 \times n + 2 \times (n-1) + \cdots + n \times 1)
So, to show that all numbers are covered, it is sufficient to show that:
(n+23)+(n+33)+((n+23)(n+23))+(n+13)>(n+23)+(n+33)+((n+13)(n+23)) \binom{n+2}{3} + \binom{n+3}{3} + \left( \binom{n+2}{3} - \binom{n+2}{3} \right) + \binom{n+1}{3} > \binom{n+2}{3} + \binom{n+3}{3} + \left( \binom{n+1}{3} - \binom{n+2}{3} \right)
which is equivalent to:
(n+23)+1<2×((n+13)+1) \binom{n+2}{3} + 1 < 2 \times \left( \binom{n+1}{3} + 1 \right)
which is obvious.

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.