Let and be positive integers such that , , , and . Which of the following must be a divisor of ?
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Exponents of 2 and 3 through the gcd chain force gcd(d,a) = 6k with k coprime to 6; between 70 and 100 only 78 = 6 * 13 fits.
Solution
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 .
Why this works
A gcd is computed prime by prime using minimum exponents, so a chain of gcd conditions is really a set of inequalities on exponents. Whenever two consecutive gcds show different exponents for the same prime, the shared variable must carry the larger one and the other variable is pinned exactly. The numerical window to then leaves exactly one candidate once the forbidden extra factors of and are ruled out.
The trap
Assuming gcd(d,a) is just some multiple of 6 and picking 72, 84, 90 or 96, which would force extra factors of 2 or 3 that contradict the given gcds.
Common mistakes
- Assuming gcd(d,a) is just some multiple of 6 and picking 72, 84, 90 or 96, which would force extra factors of 2 or 3 that contradict the given gcds.
- Concluding only that is divisible by (true) without pinning the exponents exactly, so that is wrongly left as a candidate.
Techniques
Use the answer choices (mod checks, size, form) to eliminate or select · Bound the quantity above/below or estimate to pin it down