Suppose , , and are positive integers such that
Which of the following statements are necessarily true?
I. If or or both, then .
II. If , then or or both.
III. if and only if .
- A)
- B)
- C)
- D)
- E)
Answer
E
Key insight
Clear denominators: c = 15a + 14b, so c mod 2, 7 depends only on a and c mod 3, 5 only on b; gcd(c,210)=1 iff both gcds are 1.
Solution
Multiply by : . Since , means none of these four primes divides . Reduce modulo each:
- mod : ; mod : .
- mod : ; mod : .
So or divides exactly when it divides , and or divides exactly when it divides . Therefore
which is statement III. Statement II follows: if then both gcds are , so certainly at least one is.
Statement I fails: take (so ) and . Then and .
The answer is .
Why this works
Clearing denominators turns a fraction identity into a linear relation, and a linear relation can be read prime by prime. Because mod and mod while , the primes of "see" only ; symmetrically the primes of see only . Once that split is visible, the three logical statements are settled by the single biconditional, plus one counterexample.
The trap
Accepting statement I by analogy with II without testing it; a = 1, b = 3 gives c = 57, which is divisible by 3.
Common mistakes
- Accepting statement I by analogy with II without testing it; a = 1, b = 3 gives c = 57, which is divisible by 3.
- Reading II as requiring both gcds to be 1 and rejecting it; "or both" makes II strictly weaker than III, so III true forces II true.
Techniques
Set up the equation/formula and compute; no special trick needed · Test small/specific values or special cases to find or verify the answer