2025 AIME II Problem 13

Attempt Problem 13 of the 2025 AIME II below, then check your answer against the professionally curated solution from LIVE by Po-Shen Loh. You can also try the full timed exam, view all 2025 AIME II solutions, or check the answer key.

All problems are used with official legal permission of the Mathematical Association of America (MAA).

13.

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.

Answer: 248
Concepts:recursionsubstitutionChinese Remainder Theoremmodular exponentiation
Difficulty rating: 3370
Solution:

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}.

← Problem 12#12
Full Exam

Problem 13 in Other Years