What is the largest integer that is a divisor of
for all positive even integers ?
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
For even n the factors are five consecutive odd integers, which always include multiples of 3 and 5 but not always 11, so 15.
Solution
When is even, are five consecutive odd integers.
Why always divides. Consecutive odd numbers step through residues mod in the cycle (each step adds ), so any three in a row contain a multiple of . Likewise, adding repeatedly cycles through all residues mod in five steps, so five consecutive odds contain a multiple of . Hence divides the product for every even .
Why nothing larger among the choices. The only larger choice is , so we need one even for which fails. Take : the factors are , none divisible by . (Also gives and gives , both divisible by , which is exactly why is offered as a trap.)
The answer is .
Why this works
A run of consecutive terms of an arithmetic progression with difference coprime to covers every residue mod , so one term is divisible by ; that is why and are guaranteed for five consecutive odds. Primes larger than the run length (here , ) cannot be guaranteed. "For all " problems have two halves: prove the divisor always works, then exhibit a single that kills any bigger candidate.
The trap
Testing only n = 2 (product 10395 = 165 * 63) and concluding 165, without checking a second value such as n = 4 or n = 12.
Common mistakes
- Testing only (product ) and concluding , without checking a second value such as or .
- Reasoning that five consecutive integers contain a multiple of or of and trying to include even factors; the factors here are all odd.
Techniques
Use the answer choices (mod checks, size, form) to eliminate or select · Test small/specific values or special cases to find or verify the answer