Maths Olympiad Prep

Library / /12 of 34

Combinatorics Difficulty 6.9 National olympiad Find the answer

A permutation of the set of positive integers [n]={1,2,...,n}[n] = \{1, 2, . . . , n\} is a sequence (a1,a2,,an)(a_1 , a_2 , \ldots, a_n ) such that each element of [n][n] appears precisely one time as a term of the sequence. For example, (3,5,1,2,4)(3, 5, 1, 2, 4) is a permutation of [5][5]. Let P(n)P (n) be the number of permutations of [n][n] for which kakka_k is a perfect square for all 1kn1 \leq k \leq n. Find with proof the smallest nn such that P(n)P (n) is a multiple of 20102010.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

To solve this problem, we will analyze the given condition involving permutations and perfect squares to determine the smallest n n such that P(n) P(n) , the number of permutations of [n]={1,2,,n}[n] = \{1, 2, \ldots, n\} where kak ka_k is a perfect square for all 1kn 1 \leq k \leq n , is a multiple of 2010.

### Step-by-Step Analysis

1. Understanding the Problem:

Given a permutation (a1,a2,,an)(a_1, a_2, \ldots, a_n) of [n][n], we need each product kak ka_k to be a perfect square. This implies kak=mk2 ka_k = m_k^2 for some integer mk m_k .

Therefore, ak=mk2k a_k = \frac{m_k^2}{k} must be an integer. Hence, k k must divide mk2 m_k^2 . Since mk2=kak m_k^2 = ka_k , this implies that ak a_k must also divide k k .

2. Condition Analysis:

The divisibility condition reduces to:
ak=mk2k a_k = \frac{m_k^2}{k}
implying kmk2 k \mid m_k^2 . This is equivalent to saying that k k must be a perfect square itself, because for ak a_k to be a positive integer permutation of 1 to n n , mk=k m_k = \sqrt{k} is the simplest choice, allowing k k to divide mk2=k m_k^2 = k .

3. **Valid n n for a Permutation:**

Next, for which values of n n can we construct permutations meeting the conditions? Each k k must be a perfect square, so 1,4,9,16, 1, 4, 9, 16, \ldots need to be the indices selected for permutation.

4. Counting the Permutations:

First, we need to determine how many perfect squares exist within the set [n][n]. Let this count be denoted as f(n) f(n) , the floor of the square root of n n :
f(n)=n f(n) = \lfloor \sqrt{n} \rfloor

For P(n) P(n) to be non-zero, each k k must be a perfect square up to n n . The constraint on f(n) f(n) determining permutations is that it needs to reach a number such that the product of the factorials of the counts of solution possibilities is a multiple of 2010.

5. **Finding the Minimum n n :**

We need:
P(n)=f(n)!0(mod2010) P(n) = f(n)! \equiv 0 \pmod{2010}

Prime Factorization of 2010:
2010=2×3×5×67 2010 = 2 \times 3 \times 5 \times 67
The smallest factorial f(n)! f(n)! has at least these factors.

6. **Calculating n n :**

Approximate f(n)! f(n)! for increasing n n (especially its factorial incremental):

- The smallest f(n) f(n) where f(n)! f(n)! is divisible by 67 is when f(n)67 f(n) \approx 67 because the smallest factorial value divisible by 67 is 67! 67! .

Finding where the number of perfect squares, f(n) f(n) , equals 67 should give us the smallest n n :
n=(67)2=4489 n = (67)^2 = 4489

Thus, the smallest n n such that P(n) P(n) is a multiple of 2010 is:
4489 \boxed{4489}

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.