Maths Olympiad Prep

Library / Netherlands — Second Round /8 of 10

Netherlands — Second Round

Number theory Difficulty 6.7 National Olympiad Prove it Netherlands

Given a positive integer nn, we denote by n!n! (‘n factorial’) the number we get if we multiply all integers from 11 to nn. For example: 5!=1⋅2⋅3⋅4⋅5=1205! = 1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 = 120.

a. Determine all integers nn with 1≤n≤1001 \le n \le 100 for which n!⋅(n+1)!n! \cdot (n+1)! is a perfect square. Also, prove that you have found all solutions nn.

b. Prove that no positive integer nn exists such that n!⋅(n+1)!⋅(n+2)!⋅(n+3)!n! \cdot (n+1)! \cdot (n+2)! \cdot (n+3)! is a perfect square.

Solution

a. We observe that (n+1)!=(n+1)⋅n!(n+1)! = (n+1) \cdot n!, and therefore that n!⋅(n+1)!=(n!)2⋅(n+1)n! \cdot (n+1)! = (n!)^2 \cdot (n+1). That product is a perfect square if and only if n+1n+1 is a perfect square, since (n!)2(n!)^2 is a perfect square. For 1≤n≤1001 \le n \le 100 this is the case for n=3,8,15,24,35,48,63,80,99n = 3, 8, 15, 24, 35, 48, 63, 80, 99 (perfect squares minus one that are below 100100). □\square

b. We rewrite the product n!⋅(n+1)!⋅(n+2)!⋅(n+3)!n! \cdot (n+1)! \cdot (n+2)! \cdot (n+3)! as follows:
(n!)2⋅(n+1)⋅(n+2)!⋅(n+3)!=(n!)2⋅(n+1)⋅((n+2)!)2⋅(n+3). (n!)^2 \cdot (n+1) \cdot (n+2)! \cdot (n+3)! = (n!)^2 \cdot (n+1) \cdot ((n+2)!)^2 \cdot (n+3).
Since (n!)2(n!)^2 and ((n+2)!)2((n+2)!)^2 are both perfect squares, the above product is a perfect square if and only if (n+1)(n+3)(n+1)(n+3) is a perfect square. However, (n+1)(n+3)(n+1)(n+3) cannot be a perfect square. Indeed, suppose that (n+1)(n+3)=k2(n+1)(n+3) = k^2 were a perfect square. Since (n+1)2<(n+1)(n+3)<(n+3)2(n+1)^2 < (n+1)(n+3) < (n+3)^2 we would have n+1<k<n+3n+1 < k < n+3, so k=n+2k = n+2. This is impossible because (n+1)(n+3)=(n+2)2−1(n+1)(n+3) = (n+2)^2 - 1, which is not equal to (n+2)2(n+2)^2. □\square

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

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