AMC 10 · 2024 · #21

Grade 9 algebra
recursive-sequencetelescoping-sumsum-of-squares-formulafloor-functionestimation convert-to-algebrapattern-recognitionestimation ↑ Prerequisites: recursive-sequencesequences-arithmeticfraction-arithmetic
📏 Long solution 💡 5 insights
Problem
A sequence starts at a₁ = 2, and every later term is tied to the one before it by (a_n - 1)/(n-1) = (a_n-1 + 1)/n for all n ≥ 2. Square the first 100 terms, add those 100 squares, and report the greatest integer that is less than or equal to that total.

Pick an answer.

(A)
$338{,}550$
(B)
$338{,}551$
(C)
$338{,}552$
(D)
$338{,}553$
(E)
$338{,}554$
How to solve
Strategy Introduce a Variable

The recurrence is hostile in its printed form: the coefficients change with n, so none of the standard "constant coefficient" tricks apply. Tool #15 (Organize Information in More Ways) fixes the surface by clearing both denominators, which turns the proportion into na_n - (n-1)a_n-1 = 2n - 1. That rearranged line is the hint: the same expression (index) × (term) shows up at n and at n-1. Tool #4 (Introduce a Variable) acts on the hint by naming that expression b_n = na_n, and the recurrence collapses to b_n - b_n-1 = 2n-1 — consecutive differences, which telescope in one line. Tool #5 (Look for a Pattern) runs alongside as a cheap safety net: computing a₂, a₃, a₄ by hand takes under a minute and predicts the closed form before any algebra, so the algebra has something to agree with. Once a_n = n + 1/n is in hand the sum splits into three pieces, two of which are exact; the third, Σ 1/n², has no elementary closed form, so tool #9 (Solve an Easier Related Problem) swaps it for a slightly larger series that telescopes and traps it strictly between 1 and 2. Tool #3 (Eliminate Possibilities) closes the problem: the choices are consecutive integers, and a bracket of width 1 knocks out four of them.

1STEP 1

Generate the first few terms

The pattern looks like n plus one over n.

a₁ = 2/1, a₂ = 5/2, a₃ = 10/3, a₄ = 17/4 ⟹ a_n ?= (n²+1)/n
2STEP 2

Clear both denominators

It becomes a step of two n minus one.

n(a_n-1) = (n-1)(a_n-1+1) ⟹ na_n - n = (n-1)a_n-1 + n - 1 ⟹ na_n - (n-1)a_n-1 = 2n-1
3STEP 3

Name the product

The new sequence adds odd numbers.

b_n = na_n, b_n - b_n-1 = 2n-1, b₁ = 2 ⟹ b_n = 2 + Σ_k=2ⁿ(2k-1) = 2 + (n²-1) = n²+1
4STEP 4

Read off the closed form

The guess holds: n plus one over n.

a_n = (n²+1)/n = n + 1/n, a₁ = 1 + 1/1 = 2 ✓
5STEP 5

Square and split the sum

The sum splits into three pieces.

a_n² = n² + 2 + 1/n² ⟹ Σ_n=1¹⁰⁰ a_n² = Σ_n=1¹⁰⁰ n² + Σ_n=1¹⁰⁰ 2 + Σ_n=1¹⁰⁰ 1/n²
6STEP 6

Evaluate the two exact pieces

Those two give 338,550.

Σ_n=1¹⁰⁰ n² = (100 · 101 · 201)/6 = 50 · 101 · 67 = 338,350, Σ_n=1¹⁰⁰ 2 = 200, 338,350 + 200 = 338,550
7STEP 7

Trap the leftover tail

The tail is trapped between 1 and 2.

1/n² < 1/((n-1)n) = 1/(n-1) - 1/n ⟹ S < 1 + (1 - 1/100) = 199/100, 1 < S < 2
8STEP 8

Take the floor

So the floor is 338,551.

338,551 < 338,550 + S < 338,552 ⟹ ⌊ Σ_n=1¹⁰⁰ a_n² ⌋ = 338,551 (B)
Answer
338,551
The closed form survives a direct substitution into the original recurrence rather than just the first few terms: with a_n = n + 1/n, the left side is (a_n - 1)/(n-1) = (n - 1 + 1/n)/(n-1) = (n² - n + 1)/(n(n-1)), and the right side is (a_n-1+1)/n = (n - 1 + 1/(n-1) + 1)/n = (n² - n + 1)/(n(n-1)). They agree for every n ≥ 2, and a₁ = 2 matches, so the formula is correct for all 100 terms. Iterating the recurrence in exact fractions and squaring confirms the total is 338,550 + Σ_n=1¹⁰⁰1/n² = 338,551.6349839…, comfortably inside the bracket (338,551, 338,552). The size is also plausible from a distance: since a_n ≈ n, the sum should sit a little above Σ n² = 338,350, and the extra 200 from the cross terms lands it right where the choices cluster. The wrong answers are the two natural slips — (A) 338,550 comes from dropping the Σ 1/n² tail entirely, and (C) 338,552 comes from rounding that tail up to 2 instead of noticing it stays strictly below 2.
💡Key takeaway

Multiply the recurrence out and it says na_n - (n-1)a_n-1 = 2n-1, so the product na_n telescopes to n²+1 and a_n = n + 1/n; squaring gives n² + 2 + 1/n², and since the leftover Σ 1/n² is stuck strictly between 1 and 2, the floor is 338,551.

  • Generate the first few terms
  • Clear both denominators
  • Name the product na_n
  • Read off the closed form
  • Square and split the sum
  • Evaluate the two exact pieces
  • Trap the leftover tail
  • Take the floor