AMC 10 · 2019 · #24

Grade 8 arithmetic
recursive-sequencesequences-geometricexponentspolynomial-factoringestimation pattern-recognitionidentify-subproblems ↑ Prerequisites: recursive-sequencesequences-geometricexponents
📏 Long solution 💡 4 insights
Problem
Define x₀ = 5 and x_n+1 = xn2+5xn+4xn+6\frac{x_n² + 5 x_n + 4}{x_n + 6}. Let m be the smallest positive integer with x_m ≤ 4 + 1220\frac{1}{2²⁰}. In which interval does m lie?

Pick an answer.

(A)
[9,26]
(B)
[27,80]
(C)
[81,242]
(D)
[243,728]
(E)
$[729,\infty)$

AMC 10 2019 problem © Mathematical Association of America (MAA AMC). Reproduced for educational use.

How to solve
Strategy Solve an Easier Related Problem

Tool #13 (Algebra): factor the numerator to expose the fixed point x = 4, then substitute y_n = x_n - 4 to move the equilibrium to 0. Tool #9 (Easier Problem): near y = 0 the recursion becomes nearly linear (y_n+1 ≈ 910\frac{9}{10} y_n) — a geometric sequence we can solve in closed form. Tool #5 (Pattern): the ratio 910\frac{9}{10} together with the wide answer-choice intervals lets us estimate m by m ≈ 20log2log(109)\frac{20 log 2}{log(\frac{10}{9})}. Tool #6 (Guess and Check): plug m ≈ 130 into the answer-choice intervals. Tool #3 (Eliminate): the wide intervals are robust to crude estimates.

1STEP 1

Factor: x_n² + 5 x_n + 4 = (x_n + 1)(x_n + 4). Testing x = 4 gives 5810\frac{5 · 8}{10} = 4, so 4 is a fixed point.

x_n+1 = (xn+1)(xn+4)xn+6\frac{(x_n+1)(x_n+4)}{x_n+6}; x = 4 is fixed
2STEP 2

Substitute y_n = x_n - 4 (distance to the fixed point); the recursion collapses to y_n+1 = yn(yn+9)yn+10\frac{y_n(y_n + 9)}{y_n + 10}, equilibrium now at 0.

y_n+1 = yn(yn+9)yn+10\frac{y_n (y_n + 9)}{y_n + 10}
3STEP 3

With y₀ = 1 and y_n decreasing, the ratio yn+9yn+10\frac{y_n + 9}{y_n + 10} tends to 910\frac{9}{10}, so y_n ≈ (910\frac{9}{10})ⁿ once y is small.

y_n+1 ≈ 910\frac{9}{10} y_n → y_n ≈ (910\frac{9}{10})ⁿ
4STEP 4

Need y_m ≤ 1220\frac{1}{2²⁰}, so solve (910\frac{9}{10})^m = 1220\frac{1}{2²⁰}; taking logs gives m = 20log2log(109)\frac{20 log 2}{log(\frac{10}{9})}.

m ≈ 20log102log10(109)\frac{20 log₁0 2}{log₁0(\frac{10}{9})}
5STEP 5

Plug log 2 ≈ 0.301 and log(109\frac{10}{9}) ≈ 0.046: m ≈ 200.3010.046\frac{20 · 0.301}{0.046}131.

m ≈ 6.020.046\frac{6.02}{0.046} ≈ 131
6STEP 6

Among the answer intervals, m ≈ 131 lands cleanly inside [81, 242].

131 ∈ [81, 242]
7STEP 7

The answer is (C).

[81, 242]
Answer
[81,242]
Two sanity checks. (1) The actual ratio yn+9yn+10\frac{y_n + 9}{y_n + 10} starts at 1011\frac{10}{11} ≈ 0.909 (when y₀ = 1) and tends to 910\frac{9}{10} = 0.9. So in the early phase the decay is slightly slower than 910\frac{9}{10} per step, meaning the true m is a touch larger than the (910\frac{9}{10})^m = 2⁻²⁰ estimate — still in [81, 242] with room. (2) The bounds: if we replaced the ratio with 1011\frac{10}{11} throughout, we would need m log(1110\frac{11}{10}) ≥ 20 log 2, i.e. m ≥ 200.3010.0414\frac{20 · 0.301}{0.0414} ≈ 145 — still in [81, 242]. The lower bound on m would be at least 200.3010.046\frac{20 · 0.301}{0.046} ≈ 131 once we are deep in the small-y regime. The intervals are wide enough that any reasonable estimate lands in (C).
💡Key takeaway

This AMC 10 problem only needs Grade 8 logs and geometric sequences — shift coordinates with y_n = x_n - 4 to expose the ratio 910\frac{9}{10}, then (910\frac{9}{10})^m ≈ 1220\frac{1}{2²⁰} gives m ≈ 131, which lands in [81, 242].