2023 AIME II 第 15 题

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

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

15.

对每个正整数 nn,令 ana_n 为满足 an1(mod2n)a_n \equiv 1 \pmod{2^n} 的最小正整数倍数 2323。 求不超过 10001000 的正整数 nn 的个数,使得 an=an+1a_n = a_{n+1}

For each positive integer nn let ana_n be the least positive integer multiple of 2323 such that an1(mod2n).a_n \equiv 1 \pmod{2^n}. Find the number of positive integers nn less than or equal to 10001000 that satisfy an=an+1.a_n = a_{n+1}.

答案:363
知识点:模运算进制乘法阶
难度评级:3370
解答:

an=23bna_n = 23 b_n,其中 bnb_n 是区间 [1,2n][1, 2^n] 中满足 23bn1(mod2n)23 b_n \equiv 1 \pmod{2^n} 的唯一整数,也就是 2323 在模 2n2^n 下的逆元。 对模 2n2^n 约化可知 bn+1{bn, bn+2n}b_{n+1} \in \{b_n,\ b_n + 2^n\},所以 an=an+1a_n = a_{n+1} 当且仅当 bn+1=bnb_{n+1} = b_n,也就是当且仅当 bn+1b_{n+1} 中权为 2n2^n 的二元位是 00

因为 2389=2047=211123 \cdot 89 = 2047 = 2^{11} - 1,令 Tk=1+211+222T_k = 1 + 2^{11} + 2^{22} ++211(k1){}+ \cdots + 2^{11(k-1)},则 2389Tk=211k123 \cdot 89\,T_k = 2^{11k} - 1,所以 23(211k89Tk)1(mod211k), \begin{gathered} 23\left(2^{11k} - 89\,T_k\right) \\ \equiv 1 \pmod{2^{11k}}, \end{gathered} 且每个 n11kn \le 11kbnb_n 都是 211k89Tk2^{11k} - 89\,T_k 对模 2n2^n 的约化。二元表示中,89=1011001two89 = 1011001_{\text{two}}89Tk89\,T_k 的每个 1111 位区块的第 0,3,4,60, 3, 4, 6 位上为 11。由于 89Tk89\,T_k 是奇数,211k89Tk2^{11k} - 89\,T_k =(211k189Tk)+1= \bigl(2^{11k} - 1 - 89\,T_k\bigr) + 1 会保留第 00 位为 11,并把第一位到第 11k111k - 1 位全部取反。

因此对 n1n \ge 1,权为 2n2^n 的二元位为 00,当且仅当 n0,3,4,6(mod11)n \equiv 0, 3, 4, 6 \pmod{11}。在 1n1000=9011+101 \le n \le 1000 = 90 \cdot 11 + 10 中,余数 00 出现 9090 次,余数 334466 各出现 9191 次,总数为 90+391=36390 + 3 \cdot 91 = 363

Write an=23bn,a_n = 23 b_n, where bnb_n is the unique integer in [1,2n][1, 2^n] with 23bn1(mod2n),23 b_n \equiv 1 \pmod{2^n}, i.e. the inverse of 2323 mod 2n.2^n. Reducing mod 2n2^n shows bn+1{bn, bn+2n},b_{n+1} \in \{b_n,\ b_n + 2^n\}, so an=an+1a_n = a_{n+1} exactly when bn+1=bn,b_{n+1} = b_n, which happens exactly when the binary digit of weight 2n2^n in bn+1b_{n+1} is 0.0.

Since 2389=2047=2111,23 \cdot 89 = 2047 = 2^{11} - 1, setting Tk=1+211+222T_k = 1 + 2^{11} + 2^{22} ++211(k1){}+ \cdots + 2^{11(k-1)} gives 2389Tk=211k1,23 \cdot 89\,T_k = 2^{11k} - 1, so 23(211k89Tk)1(mod211k), \begin{gathered} 23\left(2^{11k} - 89\,T_k\right) \\ \equiv 1 \pmod{2^{11k}}, \end{gathered} and every bnb_n with n11kn \le 11k is the reduction of 211k89Tk2^{11k} - 89\,T_k mod 2n.2^n. In binary, 89=1011001two89 = 1011001_{\text{two}} occupies positions 0,3,4,60, 3, 4, 6 of each 1111-bit block of 89Tk.89\,T_k. Since 89Tk89\,T_k is odd, 211k89Tk2^{11k} - 89\,T_k =(211k189Tk)+1= \bigl(2^{11k} - 1 - 89\,T_k\bigr) + 1 keeps digit 00 equal to 11 and complements every digit in positions 11 through 11k1.11k - 1.

So for n1,n \ge 1, the digit of weight 2n2^n is 00 exactly when n0,3,4,6(mod11).n \equiv 0, 3, 4, 6 \pmod{11}. Among 1n1000=9011+10,1 \le n \le 1000 = 90 \cdot 11 + 10, the residue 00 occurs 9090 times and the residues 3,3, 4,4, 66 occur 9191 times each, for a total of 90+391=363.90 + 3 \cdot 91 = 363.

← 第 14 题#14
完整试卷

其他年份的第 15 题