AMC 10 · 2016 · #24

Grade 9 number-theory
gcdlcmprime-factorizationp-adic-valuation identify-subproblemscomplementary-counting ↑ Prerequisites: gcdlcm
📏 Long solution 💡 4 insights
Problem
Quadruples with a fixed greatest common divisor and least common multiple are counted. Find the smallest multiple giving a target count.

Pick an answer.

(A)
13,860
(B)
20,790
(C)
21,560
(D)
27,720
(E)
41,580
How to solve
Strategy Identify Subproblems

Both conditions in this problem are about divisibility, and divisibility is decided prime by prime: the exponent of p in a gcd is the smallest of the four exponents, and in an lcm it is the largest. That makes tool #7 (Identify Subproblems) the engine — one prime becomes one self-contained counting question, and because no condition ever links two different primes, the answers multiply. Tool #9 first strips the common factor 77 so the gcd condition becomes the cleaner 'gcd is 1'. Tool #4 names the exponents so 'gcd' and 'lcm' turn into 'min' and 'max'. Tool #16 counts each prime's quadruples by removing the ones that miss the top value or miss the bottom value instead of building them directly. Then the problem reverses: the count 77,000 is known and the exponents are not, so tool #3 and tool #2 factor 77,000 and rule out every set of exponents but one. Tool #14 finishes by asking which arrangement of those exponents on which primes is smallest.

1STEP 1

Divide out the common 77

Dividing out the shared factor simplifies both conditions.

a=77A, b=77B, c=77C, d=77D ⟹ gcd(a,b,c,d)=77gcd(A,B,C,D), lcm(a,b,c,d)=77lcm(A,B,C,D)
2STEP 2

Look at one prime at a time

Each prime can be handled alone.

gcd(A,B,C,D)=1 ⇔ min(α_p,β_p,γ_p,δ_p)=0 for every p; lcm(A,B,C,D)=N ⇔ max(α_p,β_p,γ_p,δ_p)=k_p for every p
3STEP 3

One factor of the count per prime

So the count is a product over primes.

77000=Π_p ∣ N f(k_p), f(k)=#{(m₁,m₂,m₃,m₄)∈{0,1,…,k}⁴ : max_i m_i=k, min_i m_i=0}
4STEP 4

Count each prime's quadruples by complement

A complement count gives each factor.

f(k)=(k+1)⁴-2k⁴+(k-1)⁴=12k²+2 (k ≥ 1); f(1)=14, f(2)=50, f(3)=110, f(4)=194, f(5)=302
5STEP 5

Every factor is two times odd

Every factor is twice an odd number.

f(k)=2(6k²+1), 6k²+1 odd; 77000=2³ · 5³ · 7 · 11 ⟹ r=3 and Π_i=1³(6k_i²+1)=9625
6STEP 6

Pin down the three exponents

That pins the exponents to three values.

6k²+1∈{7,25,55,385} for k=1,2,3,8; 7 · 25 · 55=9625 is the only triple product ⟹ {k₁,k₂,k₃}={1,2,3}
7STEP 7

Make N as small as possible

The smallest primes go with the biggest exponents.

N=q₁³q₂²q₃¹ (q₁ < q₂ < q₃) ≥ 2³ · 3² · 5=360
8STEP 8

Multiply the 77 back in

Multiplying back gives 27720, choice (A).

n=77N=77 · 360=27720=2³ · 3² · 5 · 7 · 11, f(3)f(2)f(1)=110 · 50 · 14=77000
Answer
27,720
Run every printed choice through the machine. Divide by 77, factor, and multiply the matching f values, using f(1)=14, f(2)=50, f(3)=110. (A) 13,860=77 · 180 and 180=2² · 3² · 5 gives 50 · 50 · 14=35,000. (B) 20,790=77 · 270 and 270=2 · 3³ · 5 gives 14 · 110 · 14=21,560. (C) 21,560=77 · 280 and 280=2³ · 5 · 7 gives 110 · 14 · 14=21,560. (D) 27,720=77 · 360 and 360=2³ · 3² · 5 gives 110 · 50 · 14=77,000. (E) 41,580=77 · 540 and 540=2² · 3³ · 5 gives 50 · 110 · 14=77,000. Two choices hit 77,000, and (D) is the smaller — which is exactly what the problem asks for, and a useful warning that finding one working n is not the same as finding the smallest. The formula itself checks out by hand at k=1: quadruples of 0s and 1s that use both values number 2⁴-2=14, matching f(1)=12+2=14.
💡Key takeaway

gcd and lcm only ever compare exponents one prime at a time, so a count like 77,000 splits into one factor per prime — factor the count and the exponents of the answer fall right out.

  • Divide out the common 77
  • Look at one prime at a time
  • One factor of the count per prime
  • Count each prime's quadruples by complement
  • Every factor is two times odd
  • Pin down the three exponents
  • Make N as small as possible
  • Multiply the 77 back in