What is the largest integer that is a divisor of
for all positive even integers ?
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Five odd numbers in a row always include a multiple of 3 and a multiple of 5, but not always a multiple of 11.
Solution
This question has two halves: show that always divides the product, then show that nothing bigger in the choices always does.
Part 1: always divides.
- When is even, are five odd numbers in a row.
- Look at odd numbers and mark the multiples of : . Every third odd number is a multiple of (they are apart, and is three steps of ). So any three odd numbers in a row contain a multiple of , and five in a row certainly do.
- The same with : the odd multiples of are , which are apart, and is five steps of . So any five odd numbers in a row contain exactly one multiple of .
- The product therefore has a factor and a factor (from different or the same number), so always divides it.
Part 2: does not always divide.
- The only larger choice is . To rule it out, find one even where no factor is a multiple of .
- Try : the factors are . None is a multiple of , so , and hence , does not divide this product.
- Watch out: gives and gives , which both contain . That is why testing only small is dangerous.
The answer is .
Why this works
When you step through numbers by , the multiples of an odd number come up exactly once every steps. So a run of five odd numbers must hit a multiple of and of , but it can skip or . For "divides for every " questions, prove the divisor always works, then find one example that breaks any bigger candidate.
The trap
Trying only n = 2 (where 11 happens to be a factor) and picking 165, without testing another even n such as n = 12.
Concise 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 .
Review in the AoPS books
- Introduction to Number Theory, Chapter 1: Integers: The Basics (§1.4, §1.5)
- Introduction to Number Theory, Chapter 5: Divisor Problems (§5.2, §5.3)
- Introduction to Algebra, Chapter 20: Special Functions (§20.3)
- Introduction to Number Theory, Chapter 13: Divisibility Rules (§13.2)
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