Problem:
Determine, with proof, the smallest positive integer with the following property: For every choice of integers, there exist at least two whose sum or difference is divisible by .
Solution
Solution:
We show that the least integer with the desired property is . We write .
Consider the set , which contains integers. The sum of every pair of distinct numbers from this set lies between and , none of which is divisible by . On the other hand, the (absolute) difference between two distinct integers from this set lies between and , none of which again is divisible by . It follows that the smallest integer with the desired property is at least .
Let be a set of integers. If there are two numbers in that have the same remainder when divided by , then we are done.
Suppose, on the contrary, that all the remainders of the integers in modulo are all different. Thus, the set of remainders is a -element subset of the set . One can also consider the remainders as forming a -element subset of the set . Every -element subset of contains two elements whose sum is zero. Thus, contains two numbers whose sum is divisible by . Since , we deduce that is the least integer with the desired property.