Let be an odd positive integer not divisible by . Show that is divisible by .
Problem 935
Official solution
Solution:
We will show it is divisible by and . Since the least common multiple of and is , this implies the result.
We factor .
To show divisibility by , note that and are two consecutive even integers. Among any two consecutive even integers, one of them must be divisible by ; the other one is divisible by by definition, so their product is divisible by .
To show divisibility by , note that form three consecutive integers. Thus at least one of them is divisible by . We assumed was not divisible by , so it must be either or , hence their product is divisible by as well.