2011 AIME I 第 11 题

先试着解答 2011 AIME I 第 11 题,然后核对你的答案与精心整理的解答,解答来自 LIVE by Po-Shen Loh。你也可以参加完整限时模拟考试、查看全部 2011 AIME I 解答,或核对答案

所有题目均经美国数学协会(MAA)官方合法授权使用。

11.

RR 是形如 2n2^n 的数除以 10001000 后所有可能余数组成的集合,其中 nn 是非负整数。设 SSRR 中元素之和。求 SS 除以 10001000 的余数。

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.

答案:7
知识点:模运算乘法阶配对与分组
难度评级:2990
解答:

余数 20=12^0 = 121=22^1 = 222=42^2 = 4 会出现,而对 n3n \ge 3,每个 2n2^n 都能被 88 整除。模 125125 时,n3n \ge 322 的幂以周期 100100 重复,所以 RR112244,以及 23,24,,21022^3, 2^4, \ldots, 2^{102}100100 个不同余数组成。

关键事实是 2501(mod125)2^{50} \equiv -1 \pmod{125}:事实上 250+1=(210+1)2^{50} + 1 = (2^{10} + 1) (240230+220210+1)\cdot (2^{40} - 2^{30} + 2^{20} - 2^{10} + 1),其中 210+1=10252^{10} + 1 = 1025 能被 2525 整除,第二个因子 1+1+1+1+1\equiv 1 + 1 + 1 + 1 + 1 0(mod5)\equiv 0 \pmod 5,因为 2101(mod5)2^{10} \equiv -1 \pmod 5。因此对 n3n \ge 3,和 2n+50+2n2^{n+50} + 2^n 同时能被 12512588 整除,所以能被 10001000 整除。

把循环中的每个余数与 5050 项后的余数配对,得到 5050 对不同余数,每对之和恰好为 10001000,所以这 100100 个余数对 SS 的贡献是 10001000 的倍数。因此 S1+2+4=7(mod1000)S \equiv 1 + 2 + 4 = 7 \pmod{1000}

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)2^{50} + 1 = (2^{10} + 1) (240230+220210+1),\cdot (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+1\equiv 1 + 1 + 1 + 1 + 1 0(mod5)\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}.

← 第 10 题#10
完整试卷

其他年份的第 11 题