Maths Olympiad Prep

Library / /8 of 10

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!=12345=1205! = 1 \cdot 2 \cdot 3 \cdot 4 \cdot 5 = 120.

a. Determine all integers nn with 1n1001 \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 1n1001 \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)21(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,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.