2021 AIME II 第 13 题

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

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

13.

求最小正整数 nn,使得 2n+5nn2^n + 5^n - n10001000 的倍数。

Find the least positive integer nn for which 2n+5nn2^n + 5^n - n is a multiple of 1000.1000.

答案:797
知识点:中国剩余定理模幂运算乘法阶
难度评级:3160
解答:

在模 88125125 下考虑。当 n3n \ge 3 时,2n0(mod8)2^n \equiv 0 \pmod 8,所以需要 n5n(mod8)n \equiv 5^n \pmod 8。若 nn 为偶数,则 5n15^n \equiv 1 会迫使偶数 nn 也满足 1(mod8)\equiv 1 \pmod 8,不可能;所以 nn 为奇数,5n55^n \equiv 5,且 n5(mod8)n \equiv 5 \pmod 8。另外 n3n \ge 35n0(mod125)5^n \equiv 0 \pmod{125},所以需要 n2n(mod125)n \equiv 2^n \pmod{125}

2255、模 2525、模 125125 的阶分别为 442020100100。由于 n5(mod8)n \equiv 5 \pmod 8 给出 n1(mod4)n \equiv 1 \pmod 4,所以 2n2(mod5)2^n \equiv 2 \pmod 5,故 n2(mod5)n \equiv 2 \pmod 5,进而 n17(mod20)n \equiv 17 \pmod{20}。于是 2n217=210272^n \equiv 2^{17} = 2^{10} \cdot 2^7 (1)(3)22(mod25)\equiv (-1)(3) \equiv 22 \pmod{25},所以 n22(mod25)n \equiv 22 \pmod{25}n1(mod4)n \equiv 1 \pmod 4 合并,得 n97(mod100)n \equiv 97 \pmod{100}。最后 210242^{10} \equiv 24220762^{20} \equiv 76240262^{40} \equiv 2628051(mod125)2^{80} \equiv 51 \pmod{125},所以即 n47(mod125)n \equiv 47 \pmod{125}2n297=280210275124347(mod125), \begin{aligned} &2^n \equiv 2^{97} = 2^{80} \cdot 2^{10} \cdot 2^7 \\ &\equiv 51 \cdot 24 \cdot 3 \equiv 47 \pmod{125}, \end{aligned}

合并 n47(mod125)n \equiv 47 \pmod{125}n5(mod8)n \equiv 5 \pmod 8,得到 n797(mod1000)n \equiv 797 \pmod{1000},而 n=1,2n = 1, 2 直接检验不满足,所以最小的这样的 nn797797

Work modulo 88 and 125.125. For n3n \ge 3 we have 2n0(mod8),2^n \equiv 0 \pmod 8, so we need n5n(mod8).n \equiv 5^n \pmod 8. If nn is even then 5n1,5^n \equiv 1, forcing the even number nn to be 1(mod8),\equiv 1 \pmod 8, impossible; so nn is odd, 5n5,5^n \equiv 5, and n5(mod8).n \equiv 5 \pmod 8. Also 5n0(mod125)5^n \equiv 0 \pmod{125} for n3,n \ge 3, so we need n2n(mod125).n \equiv 2^n \pmod{125}.

The order of 22 is 44 modulo 5,5, 2020 modulo 25,25, and 100100 modulo 125.125. Since n5(mod8)n \equiv 5 \pmod 8 gives n1(mod4),n \equiv 1 \pmod 4, we get 2n2(mod5),2^n \equiv 2 \pmod 5, so n2(mod5)n \equiv 2 \pmod 5 and hence n17(mod20).n \equiv 17 \pmod{20}. Then 2n217=210272^n \equiv 2^{17} = 2^{10} \cdot 2^7 (1)(3)22(mod25),\equiv (-1)(3) \equiv 22 \pmod{25}, so n22(mod25),n \equiv 22 \pmod{25}, which with n1(mod4)n \equiv 1 \pmod 4 gives n97(mod100).n \equiv 97 \pmod{100}. Finally 21024,2^{10} \equiv 24, 22076,2^{20} \equiv 76, 24026,2^{40} \equiv 26, 28051(mod125),2^{80} \equiv 51 \pmod{125}, so 2n297=280210275124347(mod125), \begin{aligned} &2^n \equiv 2^{97} = 2^{80} \cdot 2^{10} \cdot 2^7 \\ &\equiv 51 \cdot 24 \cdot 3 \equiv 47 \pmod{125}, \end{aligned} giving n47(mod125).n \equiv 47 \pmod{125}.

Combining n47(mod125)n \equiv 47 \pmod{125} with n5(mod8)n \equiv 5 \pmod 8 yields n797(mod1000),n \equiv 797 \pmod{1000}, and n=1,2n = 1, 2 fail by direct check, so the least such nn is 797.797.

← 第 12 题#12
完整试卷

其他年份的第 13 题