AMC 10 · 2004 · #21

Grade 6 arithmetic
sequences-arithmeticprinciple-of-inclusion-exclusionchinese-remainder-theorem pattern-recognitionsystematic-enumeration ↑ Prerequisites: sequences-arithmetic
📏 Medium solution 💡 3 insights
Problem
Two lists of numbers are built by always adding the same step. The first list is 1,4,7,… (start at 1, add 3 each time). The second is 9,16,23,… (start at 9, add 7 each time). Take the first 2004 numbers from each list and pool them into one set S. Because some numbers might land on both lists, count how many distinct numbers end up in S.

Pick an answer.

(A)
3722
(B)
3732
(C)
3914
(D)
3924
(E)
4007

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

How to solve
Strategy Draw a Venn Diagram

The set S is the union of two lists that may overlap, so I picture two circles (Tool #12, Draw a Venn Diagram): the size of the union is the two list sizes added, minus the overlap counted twice. So |S|=2004+2004-(number of shared terms), and the whole problem reduces to counting the shared terms. That count is the real work. A number on both lists leaves the same remainders as each list, so the shared numbers form their own steady list that jumps by the least common multiple of the two step sizes (Tool #5, Look for a Pattern). To pin down where that list must stop, I use the smaller of the two final terms as a ceiling (Tool #14, Extreme Principle), which needs each sequence's term rule so I can find those final terms (Tool #4, Introduce a Variable).

1STEP 1

Write a rule and find each last term

Term rules: 3n-2 and 7m+2. Their 2004th terms are 6010 and 14030; first-list terms are 1 mod 3, second-list terms are 2 mod 7.

a_n=3n-2, a₂₀₀₄=6010; b_m=7m+2, b₂₀₀₄=14030
2STEP 2

Shared numbers jump by 21

A shared number is 1 mod 3 and 2 mod 7. The first is 16, and holding both remainders means stepping by lcm(3,7)=21: 16, 37, 58, …

lcm(3,7)=21; shared terms=16+21k, k=0,1,2,…
3STEP 3

Count the shared numbers

Shared numbers stop at the smaller last term 6010: 16+21k ≤ 6010 gives k ≤ 285.4…, so k=0,…,285, that is 286 shared numbers.

16+21k ≤ 6010 → k ≤ 5994/21=285.4… → k=0,…,285 (286 terms)
4STEP 4

Pool the lists with a Venn diagram

Two circles overlap in those 286 numbers, so 2004+2004 double-counts them: |S|=4008-286=3722, choice (A).

|S|=2004+2004-286=4008-286=3722 (A)
Answer
3722
Before removing duplicates the pool holds 4008 numbers, and choice (E) 4007 is only one less, which would mean just a single repeat between two lists that genuinely cross many times, so (E) is far too high. Removing 286 duplicates lands at 3722, comfortably below 4008 and equal to choice (A). Recount the overlap a second way: the shared numbers run 16,37,…,6001, and (6001-16)/21+1=5985/21+1=285+1=286, confirming the count. Every shared value ( ≤ 6001) really does lie within both lists' ranges, so none was miscounted.
💡Key takeaway

Pool two lists by adding their lengths and subtracting the overlap; the overlapping numbers form their own list that jumps by the least common multiple of the two step sizes.

  • Write a rule and find each last term
  • Shared numbers jump by 21
  • Count the shared numbers
  • Pool the lists with a Venn diagram