2025 AIME II Problem 13

Below is the professionally curated solution for Problem 13 of the 2025 AIME II, 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 of the real AMC 8, AMC 10, AMC 12, and AIME problems in our complete solution collection are used with official legal permission of the Mathematical Association of America (MAA).

Concepts:recursionsubstitutionChinese Remainder Theoremmodular exponentiation

Difficulty rating: 3370

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.

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,y_{k+1} = \frac{(2x_k - 1)(x_k - 2)}{(x_k + 1)^2} = y_k(y_k - 1) = y_k^2 - y_k, 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+n3416=1248248(mod1000).m + n \equiv 3 \cdot 416 = 1248 \equiv 248 \pmod{1000}.

← Problem 12Full ExamProblem 14

Problem 13 in Other Years