AMC 10 · 2023 · #15

Grade 8 number-theory
gcdprime-factorizationdivisibility-ruleslogical-deduction caseworkconvert-to-algebralogical-deduction ↑ Prerequisites: gcdprime-factorization
📏 Long solution 💡 3 insights
Problem
Three positive integers satisfy a certain fractional equation. Decide which of three statements about their greatest common divisors are necessarily true, and pick the choice naming exactly that set.

Pick an answer.

(A)
I, II, and III
(B)
I only
(C)
I and II only
(D)
III only
(E)
II and III only
How to solve
Strategy Identify Subproblems

Three independent yes/no questions live in one problem — perfect setup for Tool #7 (Identify Subproblems). Clear denominators first: multiplying by 210 gives c = 15a + 14b. Then test each statement separately. Tool #3 (Eliminate Possibilities) supplies a single counterexample to kill Statement I. Tool #13 (Convert to Algebra) — specifically modular reduction mod 2, 3, 5, 7 — settles Statement III, and Statement II follows immediately because "and" implies "or".

1STEP 1

Clear the denominators

Clearing gives an integer relation.

210·a/14 + 210·b/15 = 210·c/210 ⟹ c = 15a + 14b
2STEP 2

Find a counterexample

A single counterexample kills one statement.

a=1, b=3 → c=57, gcd(57,210)=3
3STEP 3

Check prime by prime

Check the remainder at each prime.

c ≢ 0 (mod 2,3,5,7) ⟹ gcd(c,210)=1
4STEP 4

Prove the other two

The relation guarantees the other two.

gcd(c,14)=gcd(a,14), gcd(c,15)=gcd(b,15)
5STEP 5

Pick the choice

The answer is the second and third only.

(II AND III true, I false) → (E) II and III only
Answer
II and III only
Cross-check Statement III on a clean example: a=1, b=1 gives c = 15 + 14 = 29 — prime, so gcd(29, 210) = 1, matching gcd(1, 14) = gcd(1, 15) = 1. Cross-check the reverse: any c coprime to 210 comes from (a, b) where a is coprime to 14 and b to 15. Counterexample to I: a=1, b=3 gives c = 57, gcd(57, 210) = 3 ≠ 1 despite gcd(1, 14)=1. So I is false, III is true (both directions), II is true (weaker than III's reverse). The right choice is (E) II and III only.
💡Key takeaway

Multiplying through by 210 turns the equation into c = 15a + 14b. Mod each prime in {2, 3, 5, 7}, one of the two terms vanishes, so gcd(c, 210) = 1 is equivalent to gcd(a, 14) = gcd(b, 15) = 1 (Statement III). That "and" automatically implies the "or" in Statement II, but Statement I fails because a = 1, b = 3 gives c = 57 — divisible by 3. Answer: (E) II and III only.