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
Multiply by 210 to get c = 15a + 14b. Then 2 and 7 divide c exactly when they divide a, and 3 and 5 exactly when they divide b.
Solution
Fractions with different bottoms are awkward, so first clear them.
1. Clear the fractions. Multiply both sides by :
2. What "" means. , so it means none of divides . In the same way, means neither nor divides , and means neither nor divides .
3. Check and . Both divide . So is divisible by exactly when is, and since has no factor , exactly when is. The same reasoning works for .
So: or divides exactly when it divides .
4. Check and . Both divide . So is divisible by exactly when is, which is exactly when is (since has no factor ). The same for .
So: or divides exactly when it divides .
5. Put it together. avoids all of exactly when avoids and and avoids and . In other words:
Now test the three statements.
- III says exactly this, so III is true.
- II: if , then by step 5 both gcds are , so "one or the other or both" is certainly true. II is true.
- I only asks for one of the two gcds to be , which is not enough. Try and : then , but , so . I is false.
The answer is .
Why this works
After clearing the fractions, check each prime of one at a time. The primes of cannot see , so they only care about ; the primes of only care about . Once you know that, one exact rule settles all three statements, and a single small example knocks out the false one. For "which statements are always true" questions, try small numbers to hunt for a counterexample.
The trap
Accepting statement I without testing it. With a = 1 and b = 3, we get c = 57, which is divisible by 3.
Concise 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 .
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 12: Introduction to Modular Arithmetic
- Intermediate Counting & Probability, Chapter 2: Sets and Logic (§2.4)
- Introduction to Number Theory, Chapter 4: Prime Factorization (§4.7)
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