2025 AIME II 第 13 题

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

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

13.

定义有理数列 x1,x2,x_1, x_2, \ldots,其中 x1=2511x_1 = \frac{25}{11},且 对所有 k1k \ge 1 成立。则 x2025x_{2025} 可表示为 mn\frac{m}{n},其中 mmnn 是互质正整数。求 m+nm + n 除以 10001000 的余数。 xk+1=13(xk+1xk1)x_{k+1} = \frac{1}{3}\left(x_k + \frac{1}{x_k} - 1\right)

Let the sequence of rationals x1,x2,x_1, x_2, \ldots be defined such that x1=2511x_1 = \frac{25}{11} and xk+1=13(xk+1xk1)x_{k+1} = \frac{1}{3}\left(x_k + \frac{1}{x_k} - 1\right) for all k1.k \ge 1. Then x2025x_{2025} can be expressed as mn\frac{m}{n} for relatively prime positive integers mm and n.n. Find the remainder when m+nm + n is divided by 1000.1000.

答案:248
知识点:递推换元法中国剩余定理模幂运算
难度评级:3370
解答:

yk=2xk1xk+1y_k = \frac{2x_k - 1}{x_k + 1}。由递推式,2xk+11=(2xk1)(xk2)3xk2x_{k+1} - 1 = \frac{(2x_k - 1)(x_k - 2)}{3x_k},并且 xk+1+1=(xk+1)23xkx_{k+1} + 1 = \frac{(x_k + 1)^2}{3x_k},所以 因为 yk1=xk2xk+1y_k - 1 = \frac{x_k - 2}{x_k + 1}。这里 y1=39/1136/11=1312y_1 = \frac{39/11}{36/11} = \frac{13}{12}。归纳可得 yk=ck122k1y_k = \frac{c_k}{12^{2^{k-1}}},其中 c1=13c_1 = 13ck+1=ck(ck122k1)c_{k+1} = c_k\bigl(c_k - 12^{2^{k-1}}\bigr);由于 122k112^{2^{k-1}} 可被 66 整除,每个 ckc_k 都与 66 互质。 yk+1=(2xk1)(xk2)(xk+1)2=yk(yk1)=yk2yk, \begin{gathered} y_{k+1} = \frac{(2x_k - 1)(x_k - 2)}{(x_k + 1)^2} \\ = y_k(y_k - 1) = y_k^2 - y_k, \end{gathered}

反解代换,xk=1+yk2yk=d+c2dcx_k = \frac{1 + y_k}{2 - y_k} = \frac{d + c}{2d - c},其中 d=122k1d = 12^{2^{k-1}}c=ckc = c_k。所有 xkx_k 都为正(当 x>0x \gt 0 时, x+1x11x + \frac{1}{x} - 1 \ge 1),所以 yk=2xk1xk+1(1,2)y_k = \frac{2x_k - 1}{x_k + 1} \in (-1, 2),使得 d+cd + c2dc2d - c 均为正。 d+cd + c2dc2d - c 的任何公因数都整除它们的线性组合 3d3d3c3c;由于 gcd(c,d)=1\gcd(c, d) = 1,它只可能整除 33,但 3d3 \mid d3c3 \nmid c,所以 3d+c3 \nmid d + c。因此该分数已经最简,且 m+n=3d=31222024m + n = 3d = 3 \cdot 12^{2^{2024}}

88 时,1222024012^{2^{2024}} \equiv 0。模 125125 时,1212 的乘法阶整除 λ(125)=100\lambda(125) = 100,且 2202416(mod100)2^{2024} \equiv 16 \pmod{100}(它模 4400,并且 22012^{20} \equiv 1 mod 2525,而 202442024 \equiv 4 mod 2020),所以 1222024121641(mod125)12^{2^{2024}} \equiv 12^{16} \equiv 41 \pmod{125}。中国剩余定理给出 1222024416(mod1000)12^{2^{2024}} \equiv 416 \pmod{1000},因此 m+n3416m + n \equiv 3 \cdot 416 =1248248(mod1000)= 1248 \equiv 248 \pmod{1000}

Let yk=2xk1xk+1.y_k = \frac{2x_k - 1}{x_k + 1}. From the recurrence, 2xk+11=(2xk1)(xk2)3xk2x_{k+1} - 1 = \frac{(2x_k - 1)(x_k - 2)}{3x_k} and xk+1+1=(xk+1)23xk,x_{k+1} + 1 = \frac{(x_k + 1)^2}{3x_k}, so yk+1=(2xk1)(xk2)(xk+1)2=yk(yk1)=yk2yk, \begin{gathered} y_{k+1} = \frac{(2x_k - 1)(x_k - 2)}{(x_k + 1)^2} \\ = y_k(y_k - 1) = y_k^2 - y_k, \end{gathered} since yk1=xk2xk+1.y_k - 1 = \frac{x_k - 2}{x_k + 1}. Here y1=39/1136/11=1312.y_1 = \frac{39/11}{36/11} = \frac{13}{12}. By induction yk=ck122k1y_k = \frac{c_k}{12^{2^{k-1}}} where c1=13c_1 = 13 and ck+1=ck(ck122k1);c_{k+1} = c_k\bigl(c_k - 12^{2^{k-1}}\bigr); since 122k112^{2^{k-1}} is divisible by 6,6, every ckc_k stays coprime to 6.6.

Inverting the substitution, xk=1+yk2yk=d+c2dcx_k = \frac{1 + y_k}{2 - y_k} = \frac{d + c}{2d - c} with d=122k1d = 12^{2^{k-1}} and c=ck.c = c_k. All xkx_k are positive (for x>0,x \gt 0, x+1x11x + \frac{1}{x} - 1 \ge 1), so yk=2xk1xk+1(1,2),y_k = \frac{2x_k - 1}{x_k + 1} \in (-1, 2), making both d+cd + c and 2dc2d - c positive. Any common divisor of d+cd + c and 2dc2d - c divides their combinations 3d3d and 3c;3c; as gcd(c,d)=1,\gcd(c, d) = 1, it divides 3,3, but 3d3 \mid d and 3c,3 \nmid c, so 3d+c.3 \nmid d + c. Hence the fraction is in lowest terms and m+n=3d=31222024.m + n = 3d = 3 \cdot 12^{2^{2024}}.

Modulo 8,8, 12220240.12^{2^{2024}} \equiv 0. Modulo 125,125, the multiplicative order of 1212 divides λ(125)=100,\lambda(125) = 100, and 2202416(mod100)2^{2024} \equiv 16 \pmod{100} (it is 00 mod 4,4, and 22012^{20} \equiv 1 mod 2525 with 202442024 \equiv 4 mod 2020), so 1222024121641(mod125).12^{2^{2024}} \equiv 12^{16} \equiv 41 \pmod{125}. The Chinese remainder theorem gives 1222024416(mod1000),12^{2^{2024}} \equiv 416 \pmod{1000}, so m+n3416m + n \equiv 3 \cdot 416 =1248248(mod1000).= 1248 \equiv 248 \pmod{1000}.

← 第 12 题#12
完整试卷

其他年份的第 13 题