Let d be a positive integer. Show that among any group of d + 1 (not necessarily consecutive) integers there are two with exactly the same remainder when they are divided by d

Let’s start with the following definition.

THE PIGEONHOLE PRINCIPLE: “If k is a positive integer and k + 1 or more objects are placed into k boxes, then there is at least one box containing two or more of the objects.”

Source: Discrete Mathematics and its Applications by Rosen.

Let’s have d boxes numbered 0, 1, 2, …, d-1. In a box, we will put a positive integer that, when divided by d, gives us a reminder equal to the number in the box.

For instance, let’s d=5, and one of the 6 numbers is 7. The reminder of 7 divided by 5 is 2. So, we will put the number 7 in the box labeled 2.

Having d boxes, and d+1 integers, by the pigeonhole principle, at least one box will have two or more integers.

Related exercises: