AMC 10 · 2011 · #15

Grade 8 number-theorycounting
prime-factorizationdifference-of-squaresdivisor-count systematic-enumeration ↑ Prerequisites: prime-factorization
📏 Long solution 💡 3 insights
Problem
Two-digit numbers must divide one huge number exactly. Count them.

Pick an answer.

(A)
4
(B)
8
(C)
10
(D)
12
(E)
14
How to solve
Strategy Make a Systematic List

The question is a "how many" count, and the count is only trustworthy if the list behind it is exhaustive and repeat-free, so Tool #2 (Make a Systematic List) is the tool that actually produces the answer. It needs raw material first: Tool #7 (Identify Subproblems) splits the eight-digit 2²⁴-1 into pieces small enough to factor, using a difference of squares and then a sum of cubes. Tool #3 (Eliminate Possibilities) then trims the search — the prime 241 is already larger than any two-digit number, so no divisor containing it can qualify. The final sweep is organized by the power of 3, because every divisor has exactly one such description and that uniqueness is what rules out both gaps and double counting.

1STEP 1

Reduce to a factoring problem

It is really a factoring problem.

N = 2²⁴-1 = 16777215
2STEP 2

Split with a difference of squares

A difference of squares does most of the work.

2²⁴-1 = (2¹²-1)(2¹²+1) = (2⁶-1)(2⁶+1)(2¹²+1) = 63 · 65 · 4097
3STEP 3

Finish factoring every piece

The last piece splits into two more primes.

4097 = 17 · 241, so 2²⁴-1 = 3² · 5 · 7 · 13 · 17 · 241
4STEP 4

Prove 241 is prime

One of them is genuinely prime and too large.

a ≤ 15 because 16² = 256 > 241; none of 2, 3, 5, 7, 11, 13 divide 241
5STEP 5

Discard the oversized prime

Dropping it leaves a much smaller number.

M = 3² · 5 · 7 · 13 · 17 = 69615, with (2+1) · 2⁴ = 48 divisors
6STEP 6

Sweep by power of three

Sweeping its divisors gives 12, choice (C).

{13, 17, 35, 65, 85, 91} ∪ {15, 21, 39, 51} ∪ {45, 63}, so 6 + 4 + 2 = 12
Answer
12
The twelve numbers are 13, 15, 17, 21, 35, 39, 45, 51, 63, 65, 85, 91. Each divides 16777215 with no remainder, and each is odd, exactly as a factor of an odd number must be. The wrong choices are all boundary slips. N also has the one-digit divisors 1, 3, 5, 7, 9, and letting any of them leak into the tally inflates the count toward 14; dropping the whole 3² row leaves 10, which is choice (C). The near misses crowd the top edge — 3 · 35 = 105, 9 · 13 = 117, 7 · 17 = 119 — so an unorganized scan can easily gain or lose one. Sweeping row by row keeps the boundary honest and lands on 12, choice (D).
💡Key takeaway

Break the big number down to primes first, then sweep its divisors in a fixed order, so no two-digit factor is missed and none is counted twice.

  • Reduce to a factoring problem
  • Split with a difference of squares
  • Finish factoring every piece
  • Prove 241 is prime
  • Discard the oversized prime
  • Sweep by power of three