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,x_1, x2,x_2, …\ldots be defined such that x1=2511x_1 = \frac{25}{11} and xk+1=13(xk+1xk−1)x_{k+1} = \frac{1}{3}\left(x_k + \frac{1}{x_k} - 1\right) for all k≥1.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
Small Hint:

The substitution yk=2xk−1xk+1y_k = \frac{2x_k - 1}{x_k + 1} turns the recurrence into yk+1=yk2−yk,y_{k+1} = y_k^2 - y_k, with y1=1312y_1 = \frac{13}{12}

Big Hint:

Writing yk=ck122k−1,y_k = \frac{c_k}{12^{2^{k-1}}}, show xk=d+c2d−cx_k = \frac{d + c}{2d - c} is already in lowest terms, so m+n=3dm + n = 3d

Solution:

Let yk=2xk−1xk+1.y_k = \frac{2x_k - 1}{x_k + 1}. From the recurrence, 2xk+1−1=(2xk−1)(xk−2)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=(2xk−1)(xk−2)(xk+1)2=yk(yk−1)=yk2−yk, \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 yk−1=xk−2xk+1.y_k - 1 = \frac{x_k - 2}{x_k + 1}. Here y1=39113611=1312.y_1 = \frac{\frac{39}{11}}{\frac{36}{11}} = \frac{13}{12}. By induction yk=ck122k−1y_k = \frac{c_k}{12^{2^{k-1}}} where c1=13c_1 = 13 and ck+1=ck(ck−122k−1);c_{k+1} = c_k\bigl(c_k - 12^{2^{k-1}}\bigr); since 122k−112^{2^{k-1}} is divisible by 6,6, every ckc_k stays coprime to 6.6.

Inverting the substitution, xk=1+yk2−yk=d+c2d−cx_k = \frac{1 + y_k}{2 - y_k} = \frac{d + c}{2d - c} with d=122k−1d = 12^{2^{k-1}} and c=ck.c = c_k. All xkx_k are positive (for x>0,x \gt 0, x+1x−1≥1x + \frac{1}{x} - 1 \ge 1), so yk=2xk−1xk+1∈(−1,2),y_k = \frac{2x_k - 1}{x_k + 1} \in (-1, 2), making both d+cd + c and 2d−c2d - c positive. Any common divisor of d+cd + c and 2d−c2d - c divides their combinations 3d3d and 3c;3c; as gcd⁡(c,d)=1,\gcd(c, d) = 1, it divides 3,3, but dd is divisible by 33 while cc is not, so d+cd + c is not divisible by 3.3. Hence the fraction is in lowest terms and m+n=3d=3⋅1222024.m + n = 3d = 3 \cdot 12^{2^{2024}}.

Modulo 8,8, 1222024≡0.12^{2^{2024}} \equiv 0. Modulo 125,125, the multiplicative order of 1212 divides λ(125)=100,\lambda(125) = 100, and 22024≡16(mod100)2^{2024} \equiv 16 \pmod{100} (it is 00 mod 4,4, and 220≡12^{20} \equiv 1 mod 2525 with 2024≡42024 \equiv 4 mod 2020), so 1222024≡1216≡41(mod125).12^{2^{2024}} \equiv 12^{16} \equiv 41 \pmod{125}. The Chinese remainder theorem gives 1222024≡416(mod1000),12^{2^{2024}} \equiv 416 \pmod{1000}, so m+n≡3⋅416m + n \equiv 3 \cdot 416 =1248≡248(mod1000).= 1248 \equiv 248 \pmod{1000}.

Problem 12#12
Full Exam

Problem 13 in Other Years