Maths Olympiad Prep

Library / /14 of 16

Number theory Difficulty 6.3 National Olympiad Prove it Philippines

Problem:
Determine, with proof, the smallest positive integer nn with the following property: For every choice of nn integers, there exist at least two whose sum or difference is divisible by 20092009.

Solution

Solution:
We show that the least integer with the desired property is 10061006. We write 2009=21004+12009 = 2 \cdot 1004 + 1.

Consider the set {1005,1006,,2009}\{1005, 1006, \ldots, 2009\}, which contains 10051005 integers. The sum of every pair of distinct numbers from this set lies between 20112011 and 40174017, none of which is divisible by 20092009. On the other hand, the (absolute) difference between two distinct integers from this set lies between 11 and 10041004, none of which again is divisible by 20092009. It follows that the smallest integer with the desired property is at least 10061006.

Let AA be a set of 10061006 integers. If there are two numbers in AA that have the same remainder when divided by 20092009, then we are done.

Suppose, on the contrary, that all the 10061006 remainders of the integers in AA modulo 20092009 are all different. Thus, the set of remainders is a 10061006-element subset of the set {0,1,,2008}\{0, 1, \ldots, 2008\}. One can also consider the remainders as forming a 10061006-element subset of the set X={1004,1003,,1,0,1,2,,1004}X = \{-1004, -1003, \ldots, -1, 0, 1, 2, \ldots, 1004\}. Every 10061006-element subset of XX contains two elements whose sum is zero. Thus, AA contains two numbers whose sum is divisible by 20092009. Since A=1006|A| = 1006, we deduce that 10061006 is the least integer with the desired property.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.