Maths Olympiad Prep

Track / Stage 6 / 267 of 400 #1267 of 1964

Problem 1267

National olympiad, first round
Number theory Difficulty 6.5 Find the answer

Let RR be the set of all possible remainders when a number of the form 2n2^n, nn a nonnegative integer, is divided by 10001000. Let SS be the sum of all elements in RR. Find the remainder when SS is divided by 10001000.

A number or a short expression. Spacing and $ signs are ignored.

Official solution

1. Identify the problem and decompose the modulus:
We need to find the remainder when the sum of all possible remainders of 2nmod10002^n \mod 1000 (where nn is a nonnegative integer) is divided by 1000. We start by decomposing 1000 into its prime factors:
1000=2353 1000 = 2^3 \cdot 5^3
We will compute the sum modulo 23=82^3 = 8 and 53=1255^3 = 125 separately and then combine the results using the Chinese Remainder Theorem.

2. Compute the sum modulo 8:
The powers of 2 modulo 8 cycle every 3 terms:
201(mod8),212(mod8),224(mod8),230(mod8),and so on. 2^0 \equiv 1 \pmod{8}, \quad 2^1 \equiv 2 \pmod{8}, \quad 2^2 \equiv 4 \pmod{8}, \quad 2^3 \equiv 0 \pmod{8}, \quad \text{and so on.}
Therefore, the sum of all possible remainders modulo 8 is:
S8=1+2+4+0+0+0+=1+2+4=7 S_8 = 1 + 2 + 4 + 0 + 0 + 0 + \cdots = 1 + 2 + 4 = 7
Hence,
S7(mod8) S \equiv 7 \pmod{8}

3. Compute the sum modulo 125:
We need to find the order of 2 modulo 125, denoted as ord125(2)\text{ord}_{125}(2). This is the smallest positive integer dd such that:
2d1(mod125) 2^d \equiv 1 \pmod{125}
By Euler's theorem, since ϕ(125)=100\phi(125) = 100, we know:
21001(mod125) 2^{100} \equiv 1 \pmod{125}
We need to check if there is a smaller dd that satisfies this condition. We test the divisors of 100:
2416(mod125)(not 1) 2^4 \equiv 16 \pmod{125} \quad (\text{not } 1)
220=(210)2=10242242=576(mod125)(not 1) 2^{20} = (2^{10})^2 = 1024^2 \equiv 24^2 = 576 \pmod{125} \quad (\text{not } 1)
Therefore, the order is indeed 100. The sequence of remainders modulo 125 will repeat every 100 terms. The sum of the first 100 terms is:
20+21+22++299 2^0 + 2^1 + 2^2 + \cdots + 2^{99}
This is a geometric series with the sum:
S125=2100121=21001 S_{125} = \frac{2^{100} - 1}{2 - 1} = 2^{100} - 1
Since 21001(mod125)2^{100} \equiv 1 \pmod{125}, we have:
210010(mod125) 2^{100} - 1 \equiv 0 \pmod{125}
Therefore,
S0(mod125) S \equiv 0 \pmod{125}

4. Combine results using the Chinese Remainder Theorem:
We have:
S7(mod8) S \equiv 7 \pmod{8}
S0(mod125) S \equiv 0 \pmod{125}
We need to find SS such that:
S7(mod8) S \equiv 7 \pmod{8}
S0(mod125) S \equiv 0 \pmod{125}
Let S=125kS = 125k. Then:
125k7(mod8) 125k \equiv 7 \pmod{8}
Since 1255(mod8)125 \equiv 5 \pmod{8}, we have:
5k7(mod8) 5k \equiv 7 \pmod{8}
Multiplying both sides by the modular inverse of 5 modulo 8, which is 5 (since 551(mod8)5 \cdot 5 \equiv 1 \pmod{8}), we get:
k75353(mod8) k \equiv 7 \cdot 5 \equiv 35 \equiv 3 \pmod{8}
Therefore,
k=8m+3for some integer m k = 8m + 3 \quad \text{for some integer } m
Substituting back, we get:
S=125k=125(8m+3)=1000m+375 S = 125k = 125(8m + 3) = 1000m + 375
Hence,
S375(mod1000) S \equiv 375 \pmod{1000}

The final answer is 375\boxed{375}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.