2018 AMC 10A Problem 22
Let and be positive integers such that , , , and . Which of the following must be a divisor of ?
Show solution without answering
Key insight
Follow the 2s and 3s along the chain. The gcd of d and a has exactly one 2 and one 3, which forces it to be 78.
Solution
The greatest common divisor (gcd) of two numbers takes each prime as many times as the number with fewer copies of it has. So follow the primes and around the chain .
1. Break the gcds into primes.
2. Follow the s.
- has three s, so and each have at least three s.
- has only two s. Since has at least three, must have exactly two.
- has only one . Since has two, must have exactly one.
- So has exactly one and has at least three. Their gcd has exactly one .
3. Follow the s.
- has two s, so has at least two.
- has only one . Since has at least two, must have exactly one.
- has three s, so has at least three.
- So has exactly one and has at least three. Their gcd has exactly one .
4. So . Check the multiples of between and :
| divided by | |||||
| has a or ? | yes | no | yes | yes | yes |
Only is allowed.
5. Conclude. divides , so divides .
Such numbers really exist, for example , , , .
The answer is .
Why this works
A gcd works one prime at a time: it keeps the smaller count of each prime. When two gcds next to each other in the chain disagree about how many s (or s) there are, the number they share has the larger count and the other number is pinned down exactly. Once the counts of and are fixed, the range to leaves only one choice.
Concise solution
A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.
Factor the given gcds: , , . The gcd's exponent of a prime is the smaller of the two exponents, so track and through the chain .
Powers of has but has only , so has at least and has exactly . Then having forces to have exactly . Meanwhile has at least . So has exactly .
Powers of has but has only , so has at least and has exactly . Also means has at least . So has exactly .
Hence with coprime to . The multiples of strictly between and are , and dividing by gives . Only is coprime to , so , and divides .
(Such numbers exist, e.g. , , , .)
The answer is .
Review in the AoPS books
- Introduction to Number Theory, Chapter 3: Multiples and Divisors (§3.3, §3.4, §3.7)
- Introduction to Number Theory, Chapter 2: Primes and Composites
- Introduction to Number Theory, Chapter 1: Integers: The Basics (§1.4, §1.5)
- Introduction to Number Theory, Chapter 4: Prime Factorization (§4.7)
Similar problems
Problem © Mathematical Association of America (MAA), American Mathematics Competitions. Reproduced for non-commercial educational use. Solution and commentary are original to this site.