Maths Olympiad Prep

Library / /46 of 91

, 2006

Combinatorics Difficulty 6.0 AIME, harder Prove it India

Let nn be a positive integer divisible by 44. Find the number of permutations σ\sigma of (1,2,3,,n)(1, 2, 3, \ldots, n) which satisfy the condition σ(j)+σ1(j)=n+1\sigma(j) + \sigma^{-1}(j) = n + 1, for all j{1,2,3,,n}j \in \{1, 2, 3, \ldots, n\}.

Solution

Let us take n=4kn = 4k. First we observe that such σ\sigma cannot have a fixed point; for if σ(j)=j\sigma(j) = j for some jj, then σ1(j)=j\sigma^{-1}(j) = j and hence n+1=σ(j)+σ1(j)=2jn + 1 = \sigma(j) + \sigma^{-1}(j) = 2j, which is impossible because nn is divisible by 44.

Suppose σ(a)=b\sigma(a) = b, where aba \neq b. Then σ1(a)=n+1b\sigma^{-1}(a) = n + 1 - b; σ(b)=n+1a\sigma(b) = n + 1 - a and σ(n+1a)=n+1b\sigma(n + 1 - a) = n + 1 - b. Thus we obtain a 44-cycle (a,b,n+1a,n+1b)(a, b, n+1-a, n+1-b). It is easy to check that all these are distinct. Thus any such permutation σ\sigma is a product of n/4n/4 disjoint 44-cycles of the above type. Note that bb and n+1bn + 1 - b may be interchanged to get another admissible cycle (a,n+1b,n+1a,b)(a, n+1-b, n+1-a, b).

Thus we need to split the set {1,2,3,,n}\{1, 2, 3, \ldots, n\} into n/2n/2 pairs {j,n+1j}\{j, n+1-j\}, 1jn/21 \leq j \leq n/2 and partition these n/2n/2 pairs into n/4n/4 pairs of pairs. Each such pair of pairs gives 22 admissible 44-cycles. The first splitting can be done in 1k!(2k2)(2k22)(22)=(2k)!2kk!\frac{1}{k!} \binom{2k}{2} \binom{2k-2}{2} \cdots \binom{2}{2} = \frac{(2k)!}{2^k k!} ways and there are 2k2^k further ways of getting 44-cycles. Hence the desired number is
(2k)!2kk!=(2k)!k!=2610(n2). \frac{(2k)!}{2^k k!} = \frac{(2k)!}{k!} = 2 \cdot 6 \cdot 10 \cdots (n-2).

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.