Maths Olympiad Prep

Library / /24 of 46

, 2015

Number theory Difficulty 6.1 National Olympiad Prove it Japan

Determine all positive integers nn for which the following quantity is a positive integer:
10nn3+n2+n+1 \frac{10^n}{n^3 + n^2 + n + 1}

Solution

For integers aa and bb and for a positive integer cc, let us write ab(modc)a \equiv b \pmod c if aba-b is divisible by cc. We shall show that n=3,7n=3, 7 are the answer we seek for the problem. Since
10333+32+3+1=25,10773+72+7+1=25000, \frac{10^3}{3^3+3^2+3+1} = 25, \quad \frac{10^7}{7^3+7^2+7+1} = 25000,
we see that n=3,7n=3, 7 satisfy the condition of the problem. We shall show in the sequel that there are no other values of nn satisfying the condition of the problem.
Since n3+n2+n+1=(n+1)(n2+1)n^3 + n^2 + n + 1 = (n+1)(n^2 + 1), n+1n+1 and n2+1n^2 + 1 do not have prime factors other than 2 and 5 if nn satisfies the condition of the problem. Also from the fact that (n2+1)(n+1)(n1)=2(n^2 + 1) - (n+1)(n-1) = 2 it follows that the greatest common divisor (gcd)(\text{gcd}) of n2+1n^2 + 1 and n+1n + 1 is either 1 or 2. If nn is even, then both n+1n+1 and n2+1n^2 + 1 are odd, therefore must be divisible by 5, which contradicts the fact that the (gcd{n+1,n2+1})=1(\text{gcd}\{n+1, n^2+1\}) = 1 or 2. Hence we can assume in the sequel that nn is odd. Then, n+1n+1 and n2+1n^2 + 1 are both even. Furthermore, since n2+12(mod4)n^2 + 1 \equiv 2 \pmod 4, n2+1n^2 + 1 is not divisible by 4. In the sequel, we consider various cases separately.

(1) When n2+1n^2 + 1 is not divisible by 5:
n2+1n^2 + 1 is a power of 2, but since it is not divisible by 4, it must be the case that n2+1=2n^2 + 1 = 2, i.e., n=1n=1. But since 10113+12+1+1=52\frac{10^1}{1^3+1^2+1+1} = \frac{5}{2} is not an integer, we see that n=1n=1 does not satisfy the requirement of the problem.

(2) When n2+1n^2 + 1 is divisible by 5:
Since n>1n > 1 and n2+1n^2 + 1 is not divisible by 4, we can represent n+1=2kn+1 = 2^k, n2+1=25ln^2 + 1 = 2 \cdot 5^l, where k,lk, l are positive integers and k2k \ge 2. If k=2k=2, then we must have n=3n=3. Let us assume in the sequel that k3k \ge 3 holds. From 25l=(2k1)2+12 \cdot 5^l = (2^k - 1)^2 + 1 it follows that 5l1=2k(2k11)5^l - 1 = 2^k(2^{k-1} - 1). Consequently, 5l15^l - 1 is a multiple of 8. If ll is even, we have 5l1(mod8)5^l \equiv 1 \pmod 8, while if ll is odd, 5l5(mod8)5^l \equiv 5 \pmod 8; therefore, ll must be even. If we put l=2ml=2m, where mm is a positive integer, we get (5m1)(5m+1)=2k(2k11)(5^m - 1)(5^m + 1) = 2^k(2^{k-1} - 1). Since 5m+12(mod4)5^m + 1 \equiv 2 \pmod 4, we can write 5m1=2k1a5^m - 1 = 2^{k-1}a, where aa is a positive odd number. Then, from 2k1a(2k1a+2)=2k(2k11)2^{k-1}a(2^{k-1}a + 2) = 2^k(2^{k-1} - 1), it follows that a(2k2a+1)=2k11a(2^{k-2}a + 1) = 2^{k-1} - 1 holds. If we let a3a \ge 3, then we get a(2k2a+1)>2k22+1>2k11a(2^{k-2}a + 1) > 2k - 2 \cdot 2 + 1 > 2^{k-1} - 1, which is a contradiction. Thus, we must have a=1a=1. In this case, we get 2k1(2k1+2)=2k(2k11)2^{k-1}(2^{k-1} + 2) = 2^k(2^{k-1} - 1), which implies that 2k1=42^{k-1} = 4 so that k=3k=3. Consequently, we have n=7n=7.

In summarizing above, we conclude that n=3,7n=3, 7 are the numbers that satisfy the condition of the problem.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.