AMC 10 · 2010 · #20

Grade 6 number-theoryalgebra
sequences-arithmeticgcdprime-factorization systematic-enumerationbound-inequality-then-enumerate ↑ Prerequisites: sequences-arithmetic
📏 Long solution 💡 3 insights
Problem
Two whole-number sequences start together and their matching terms multiply to a fixed product. Find the largest index this can happen at.

Pick an answer.

(A)
2
(B)
3
(C)
8
(D)
288
(E)
2009
How to solve
Strategy Make a Systematic List

Tool #4 (Introduce a Variable): each sequence starts at 1, so naming the two step sizes x and y captures every bit of freedom the problem has, and turns a_n and b_n into 1+(n-1)x and 1+(n-1)y. That form says something sharp: subtract 1 from either nth term and you get a multiple of n-1. Tool #2 (Make a Systematic List): 2010 only splits into a factor pair in a handful of ways, so I can list every split, subtract 1 from both halves, and read off the largest n-1 that could possibly divide both. Tool #14 (Extreme Principle): the question asks for a maximum, so I need two separate things — a ceiling nobody can beat, and one actual pair of sequences that reaches it. Listing gives the ceiling; building the sequences proves the ceiling is reached. Tool #15 (Organize Information in More Ways): the whole problem cracks open by looking at a_n-1 and b_n-1 instead of a_n and b_n. Tool #3 (Eliminate Possibilities): with the seven splits written out, ruling each one out in turn is what makes the ceiling airtight rather than a guess.

1STEP 1

Name the two step sizes

Two step sizes describe both sequences.

a_n=1+(n-1)x, b_n=1+(n-1)y, 1 ≤ x ≤ y
2STEP 2

Subtract 1 to expose multiples

Dropping by one exposes a shared divisor.

a_n-1=(n-1)x, b_n-1=(n-1)y ⟹ (n-1) ∣ gcd(a_n-1, b_n-1)
3STEP 3

Rule out the 1 times 2010 split

The lopsided split is ruled out at once.

x ≥ 1→ a_n ≥ n, b_n ≥ n→ n² ≤ 2010→ n ≤ 44, and a_n ≥ 2
4STEP 4

List every factor pair of 2010

Only seven factor pairs need checking.

(2,1005), (3,670), (5,402), (6,335), (10,201), (15,134), (30,67)
5STEP 5

Take the gcd of each shifted pair

The biggest shared divisor caps the index at 8.

gcd(14,133)=7 is the maximum ⟹ n-1 ≤ 7 ⟹ n ≤ 8
6STEP 6

Build sequences that reach n = 8

A real pair of sequences reaches that index.

a₈=1+7 · 2=15, b₈=1+7 · 19=134, 15 · 134=2010 → n=8 (C)
7STEP 7

Check that no case was skipped

No case was skipped, so 8 stands, choice (C).

n-1∈{1,7} ⟹ n∈{2,8}
Answer
8
The construction verifies directly: 1,3,5,… has a₈=15, 1,20,39,… has b₈=134, and 15 · 134=2010, with 1 < 3 ≤ 20 as required. The large choices die on size alone: a_n ≥ n and b_n ≥ n force n² ≤ 2010, so n ≤ 44, killing 288 and 2009 without any factoring. Choice (A) 2 is genuinely achievable, for instance a₂=2 and b₂=1005, but it is not the largest. Choice (B) 3 is a trap that fails for a reason worth noticing: n-1=2 would need a_n-1 and b_n-1 both even, hence a_n and b_n both odd, but 2010 is even so one factor must be even. The answer 8 sits comfortably below the size ceiling 44 and is the only value the gcd table permits above 2.
💡Key takeaway

Both sequences start at 1, so subtract 1 from each half of a factor pair of 2010 — the biggest common factor you can find among those shifted pairs is exactly how many steps the sequences are allowed to take.

  • Name the two step sizes
  • Subtract 1 to expose multiples
  • Rule out the 1 times 2010 split
  • List every factor pair of 2010
  • Take the gcd of each shifted pair
  • Build sequences that reach n = 8
  • Check that no case was skipped