USAJMO 2010 Problem 1
|This article has been proposed for deletion. The reason given is: Unnecessary duplicate of 2010 USAJMO Problems/Problem 1.
Sysops: Before deleting this article, please check the article discussion pages and history.
A permutation of the set of positive integers [n] = is a sequence such that each element of [n] appears precisely one time as a term of the sequence. For example, is a permutation of . Let be the number of permutations of [n] for which is a perfect square for all . Find with proof the smallest such that is a multiple of .
Write all positive integers in the form k(n) squared, where n squared is the largest perfect square dividing n, so k is not a perfect square. Obviously, we can let our permutation be ; this is acceptable, as in this sequence.
Lemma 1: We can permute any numbers which, when divided by the largest perfect square that divides them, yield equal quantites, the quanity "k" in this example.
We can obviously permute two numbers which have the same "," the term multiplied by n squared, as if k(w) squared times m is a perfect square and so is k(j) squared times q, then km and kq are perfect squares as are k(j) squared times m and similarly, k(w) squared times q is a perfect square. This proves that we can permute any two, and thus any numbers with the same "".
Lemma 2: We will prove the connverse of Lemma 1: Let one number, have a k-value of and another, , have a k-value of . and are both perfect squares.
and are both perfect squares, so if to be a perfect square and , must be a perfect square, too. Thus, is times a square, but cannot divide any squares besides 1, so . Similarly, if , then for our rules to keep working.
Lemma 3: Getting to the answer
We can permute numbers with the same in ways. We must have at least 67 numbers with a certain "" so our product wil be divisible by 67. Obviously, then it will be divisible by 2, 3, and 5, and thus 2010, as well. Obviously, 67 squared is the smallest such number so that we can get a 67! term; here 67 k terms are "1." To get 67 terms as , in general, we need numbers all the way up to f(67) squared. Thus we need the integers , so is the answer.
Note: We can write .
The smallest such that for some the factorial is divisible by 67 is when .