AMC 10 · 2024 · #11

Grade 8 number-theory
modular-arithmeticdigit-decompositiondivisibility-rulesparity identify-subproblemscaseworkpattern-recognition ↑ Prerequisites: modular-arithmeticplace-valuedivisibility-rules
📏 Long solution 💡 4 insights
Problem
For how many integer bases b with 5 ≤ b ≤ 2024 is the four-digit base-b number 2024_b divisible by 16? Call that count K, then report the sum of the digits of K.

Pick an answer.

(A)
16
(B)
17
(C)
18
(D)
20
(E)
21
How to solve
Strategy Identify Subproblems

The question stacks four jobs on top of each other: (i) translate 2024_b into base ten, (ii) turn "divisible by 16" into a clean congruence on b, (iii) count the bases in [5, 2024] that pass that congruence, (iv) take a digit sum. That stacking is the trigger for Tool #7 (Identify Subproblems) — solve each piece on its own, then stitch. Inside step (ii) we use Tool #9 (Solve an Easier Related Problem): every coefficient in 2b³ + 2b + 4 is even, so divide the whole congruence by 2 to drop the modulus from 16 to 8. Working mod 8 is much friendlier because for any odd b, b² ≡ 1 (mod 8) — that single fact collapses the odd case to a linear congruence.

1STEP 1

Expand the numeral

The numeral is two b cubed plus two b plus four.

2024_b = 2b³ + 2b + 4, 2b³ + 2b + 4 ≡ 0 (mod 16)
2STEP 2

Pull out the 2

The condition lightens to mod 8.

2(b³ + b + 2) ≡ 0 (mod 16) ⟺ b³ + b + 2 ≡ 0 (mod 8)
3STEP 3

Handle odd bases

An odd cube leaves the same remainder as b.

b + b + 2 ≡ 0 (mod 8) → 2(b+1) ≡ 0 (mod 8) → b ≡ 3 (mod 4)
4STEP 4

The surviving odd remainders

Among odds, 3 and 7 pass.

{b odd: b ≡ 3 (mod 4)} = {b ≡ 3 (mod 8)} ∪ {b ≡ 7 (mod 8)}
5STEP 5

Handle even bases

Among evens only 6 passes.

(2k)³ + 2k + 2 ≡ 2k + 2 ≡ 0 (mod 8) → k ≡ 3 (mod 4) → b ≡ 6 (mod 8)
6STEP 6

Read the density

Three out of every eight survive.

Valid b (mod 8) ∈ {3, 6, 7}, density = 3/8
7STEP 7

Count inside the range

Trimming the ends gives K equals 758.

K = 253 · 3 - 1 = 759 - 1 = 758
8STEP 8

Add the digits

Seven plus five plus eight is 20.

7 + 5 + 8 = 20 → (D)
Answer
20
Spot-check the residue list with a small base. Take b = 3 (a claimed solution): 2b³ + 2b + 4 = 2(27) + 6 + 4 = 64 = 4 · 16, divisible by 16. Take b = 6: 2(216) + 12 + 4 = 432 + 16 = 448 = 28 · 16, divisible. Take b = 7: 2(343) + 14 + 4 = 686 + 18 = 704 = 44 · 16, divisible. Now a non-solution: b = 5 gives 2(125) + 10 + 4 = 264 = 16 · 16 + 8, not divisible — correct because 5 ≢ 3, 6, 7 (mod 8). The density 3/8 predicts about 3/8(2020) ≈ 758 solutions in [5, 2024], matching K = 758 exactly. Digit sum 20 is answer (D).
💡Key takeaway

When divisibility hides inside a polynomial in b, split the work: translate the base-b number, shrink the modulus by pulling out common factors, then handle odd b and even b separately. Once you know which residues mod 8 qualify, counting bases in a long range is just 3/8 of the window, adjusted for the edges.