2011 AIME I Problem 11

Below is the professionally curated solution for Problem 11 of the 2011 AIME I, from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 2011 AIME I solutions, or check the answer key.

All of the real AMC 8, AMC 10, AMC 12, and AIME problems in our complete solution collection are used with official legal permission of the Mathematical Association of America (MAA).

Concepts:modular arithmeticmultiplicative orderpairing and grouping

Difficulty rating: 2990

11.

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

Solution:

The remainders 20=1,2^0 = 1, 21=2,2^1 = 2, and 22=42^2 = 4 occur, and for n3n \ge 3 every 2n2^n is divisible by 8.8. Modulo 125125 the powers of 22 for n3n \ge 3 repeat with period 100,100, so RR consists of 1,1, 2,2, 4,4, and the 100100 distinct remainders of 23,24,,2102.2^3, 2^4, \ldots, 2^{102}.

The key fact is 2501(mod125):2^{50} \equiv -1 \pmod{125}: indeed 250+1=(210+1)(240230+220210+1),2^{50} + 1 = (2^{10} + 1)(2^{40} - 2^{30} + 2^{20} - 2^{10} + 1), where 210+1=10252^{10} + 1 = 1025 is divisible by 2525 and the second factor is 1+1+1+1+10(mod5)\equiv 1 + 1 + 1 + 1 + 1 \equiv 0 \pmod 5 because 2101(mod5).2^{10} \equiv -1 \pmod 5. Hence for n3,n \ge 3, the sum 2n+50+2n2^{n+50} + 2^n is divisible by 125125 and by 8,8, so by 1000.1000.

Pairing each remainder in the cycle with the one 5050 steps later therefore gives 5050 pairs of distinct remainders, each pair summing to exactly 1000,1000, so those 100100 remainders contribute a multiple of 10001000 to S.S. Thus S1+2+4=7(mod1000).S \equiv 1 + 2 + 4 = 7 \pmod{1000}.

← Problem 10Full ExamProblem 12

Problem 11 in Other Years