2003 AMC 10B Problem 18
What is the largest integer that is a divisor of
for all positive even integers ?
Show solution without answering
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.
Concise solution
A shorter write-up, the way contest solutions are usually written. It may take a different route from the solution above.
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)
Similar problems
Problem © Mathematical Association of America (MAA), American Mathematics Competitions. Reproduced for non-commercial educational use. Solution and commentary are original to this site. Also appeared as 2003 12B #12.