AMC 10 · 2021 · #20

Grade 9 number-theory
divisor-countfunction-compositionprime-factorizationrecursive-sequence pattern-recognitionsystematic-enumeration ↑ Prerequisites: divisor-countfunction-composition
📏 Long solution 💡 4 insights
Problem
A rule turns a number into twice its count of positive divisors, and the same rule is applied over and over. Starting from each positive integer up to 50, apply the rule fifty times and count how many starting values end on 12.

Pick an answer.

(A)
7
(B)
8
(C)
9
(D)
10
(E)
11
How to solve
Strategy Look for a Pattern

Nobody applies a rule 50 times by hand, so the exponent 50 has to be a bluff. Tool #5 (Look for a Pattern) is what calls it: repeated application of a rule on a small set of numbers has to settle into values that repeat, and once a chain reaches a value the rule sends to itself, all remaining steps do nothing. Tool #15 (Organize Information in More Ways) reads the two-line recursive definition as one machine run many times, which is what makes settling visible. Tool #9 (Solve an Easier Related Problem) cuts the work down: one application already forces the chain into ten possible values, so the hard-looking 50-step question becomes a question about ten small numbers. Tool #2 (Make a Systematic List) does the two pieces of bookkeeping — the table of the rule on those ten numbers, and the final enumeration of n by divisor count. Tool #3 (Eliminate Possibilities) throws out every chain that settles on the wrong value. Tool #11 (Work Backwards) then undoes the first step to translate the surviving condition into a plain statement about n.

1STEP 1

Name the one repeated rule

Name the one repeated rule.

g(m) = 2d(m), f₅₀(n) = g(g(… g(n)…))₅₀ times, g(m) is always even
2STEP 2

Bound where the first step lands

The first step shrinks it in one move.

n ≤ 50 ⟹ d(n) ≤ 10 ⟹ f₁(n) ∈ {2, 4, 6, 8, 10, 12, 14, 16, 18, 20}
3STEP 3

Find the values that stick

Find the values that stick.

g(8) = 2d(8) = 2 · 4 = 8, g(12) = 2d(12) = 2 · 6 = 12
4STEP 4

Tabulate the rule on ten numbers

Tabulate the rule on ten numbers.

2 → 4, 4 → 6, 6 → 8, 8 → 8, 10 → 8, 12 → 12, 14 → 8, 16 → 10, 18 → 12, 20 → 12
5STEP 5

Trace each chain to its home

Trace each chain to its home.

f₅₀(n) = 12 ⇔ f₁(n) ∈ {12, 18, 20}
6STEP 6

Work backwards to divisor counts

Work backwards to divisor counts.

2d(n) ∈ {12, 18, 20} ⇔ d(n) ∈ {6, 9, 10}
7STEP 7

Count the numbers with six divisors

Count the numbers with six divisors.

d(n) = 6: 32 = 2⁵ and 12, 18, 20, 28, 44, 45, 50 = p² q (8 numbers)
8STEP 8

Count nine and ten, then total

Adding them all gives 10.

d(n) = 9: 36 d(n) = 10: 48 8 + 1 + 1 = 10 ⟹ (D)
Answer
10
Check the ten survivors directly: 12, 18, 20, 28, 32, 36, 44, 45, 48, 50. Their divisor counts are 6, 6, 6, 6, 6, 9, 6, 6, 10, 6, so their first outputs are 12, 12, 12, 12, 12, 18, 12, 12, 20, 12. Eight of them already read 12 and are parked; 18 → 12 and 20 → 12 after one more step. So all ten sit on 12 by step 3 at the latest, and certainly at step 50. Now check a number that was thrown out: n = 30 has d(30) = 8, so its chain is 30 → 16 → 10 → 8 → 8 → …, resting on 8 and correctly excluded. A boundary case confirms the size cutoff too: 52 = 2² · 13 has exactly 6 divisors and would have qualified, but it is above 50, which is why the p = 2 branch stopped at q = 11. Finally the size of the count is sane against the choices: the d(n) = 6 case alone already supplies 8 numbers, so 7 was impossible, and the other two cases contribute exactly one each, landing on 10 rather than 9 or 11.
💡Key takeaway

Doubling the divisor count sends every start below 51 into a chain that parks on either 8 or 12 within three steps, so the fifty-step question is really just "which n ≤ 50 have exactly 6, 9, or 10 divisors?" — and there are 10 of them.

  • Name the one repeated rule
  • Bound where the first step lands
  • Find the values that stick
  • Tabulate the rule on ten numbers
  • Trace each chain to its home
  • Work backwards to divisor counts
  • Count the numbers with six divisors
  • Count nine and ten, then total