Maths Olympiad Prep

Library / /9 of 19

, 2002

Number theory Difficulty 7.8 National Olympiad, round 2 Prove it Germany

Problem:

Prove that there is no positive integer nn with the following property: For k=1,2,,9k=1,2, \ldots, 9, the leftmost digit - in decimal notation - of (n+k)!(n+k)! is equal to kk.

Solution

Solution:

We assume that there exists a number nn with the required property. Then none of the factorials can be a power of ten, because from 3!3! onward all factorials are divisible by 33 and the first few factorials obviously do not have the required property. Also, none of the numbers n+2,,n+9n+2, \ldots, n+9 can be a power of ten, because otherwise the leading digit of two consecutive factorials in the sequence under consideration would be the same. Thus there is a jj such that 10j<n+2<<n+9<10j+110^{j} < n+2 < \ldots < n+9 < 10^{j+1} (1).

Because (n+8)!(n+8)! begins with an 88 and (n+9)!(n+9)! begins with a 99, there are natural numbers aa and bb with 910a<(n+9)!<10a+19 \cdot 10^{a} < (n+9)! < 10^{a+1} and 810b<(n+8)!<910b8 \cdot 10^{b} < (n+8)! < 9 \cdot 10^{b}, which leads to 10ab<n+9<5410ab10^{a-b} < n+9 < \frac{5}{4} \cdot 10^{a-b}.

With (1) it follows that j=abj = a-b and 10j<n+2<<n+9<5410j10^{j} < n+2 < \ldots < n+9 < \frac{5}{4} \cdot 10^{j} (2).

Since (n+1)!(n+1)! begins with 11, there is an mm such that 10m<(n+1)!<210m10^{m} < (n+1)! < 2 \cdot 10^{m}, while from (2) it follows that: 103j<(n+2)(n+3)(n+4)<(54)3103j10^{3j} < (n+2)(n+3)(n+4) < \left(\frac{5}{4}\right)^{3} \cdot 10^{3j}.

Multiplying the last two inequalities gives 103j+m<(n+4)!<212564103j+m10^{3j+m} < (n+4)! < 2 \cdot \frac{125}{64} \cdot 10^{3j+m}, which, because 25064<4\frac{250}{64} < 4, can be weakened to 103j+m<(n+4)!<4103j+m10^{3j+m} < (n+4)! < 4 \cdot 10^{3j+m}. From this it follows that the number (n+4)!(n+4)! would not begin with 44, but with 11, 22 or 33 - contradicting the assumption.

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 translated into English from de; metadata (topic, difficulty) added by this project.