# Pigeonhole Principle

The Pigeonhole Principle, also known as the Dirichlet Principle (after its inventor, the famous mathematician Peter Gustav Dirichlet, 1805–1859). This simple principle does wonders. It is amazing how easy it is to understand this idea, and how difficult it sometimes is to discover that this idea can be applied! When you look at the problems that are solved by the Pigeonhole Principle, many of

them appear to have nothing in common with each other. That is why, in April 1986, I called my lecture for the participants of the Colorado Springs Mathematical Olympiad “Invisible Pigeonhole Principle”.

**Example 1:**

Also Read:

New York City has 7,500,000 residents. The maximal number of hairs that can grow on a human head is 500,000. Prove that there are at least 15 residents in New York City with the same number of hairs.

*Solution. *

Let us set up 500,001 pigeonholes labeled by integers the 0 to 500,000, and put residents of New York into the holes labeled by the number of hairs on their heads. Since 7,500,000 > 14 ×500,001 +1

we conclude by the Pigeonhole Principle that there is a pigeonhole with at least 14 +1 pigeons, i.e., there are at least 15 residents of New York with the same number of hairs.

**Example 2:**

(*Third Annual Colorado Springs Mathematical Olympiad, 1986*)

Santa Claus and his elves paint the plane in two colours, red and green. Prove that there exist two points of the same color exactly one mile apart.

*Solution. *

Consider an equilateral triangle with each side equal to one mile on the given plane. Since its three vertices (pigeons) are painted in two colors (pigeonholes), we can choose two vertices painted in the same color (at least two pigeons in a single hole).

**Example 3:**

(*Third Annual Colorado Springs Mathematical Olympiad, 1986*)

Given *n *integers, prove that either one of them is a multiple of *n*, or some of them add up to a multiple of *n*.

*Solution. *

Denote the *n *given integers by *a _{1}, a_{2}, …,a_{n}. *Deﬁne:

If one of the numbers *S _{1},S_{2},…,S_{n} *is a multiple of

*n*, we are done. Assume now that none of the numbers S

_{1,}S

_{2}, …,S

_{n}is a multiple of

*n*. Then all possible remainders upon the division of these numbers by

*n*are 1, 2,…,

*n*– 1, i.e., we get more numbers (namely

*n*, our pigeons) than possible remainders (

*n*-1 possible remainders, our pigeonholes). Therefore, among the numbers S

_{1}, S

_{2}, …,S

_{n }there exist two numbers, say

*S*and

_{k}*S*that give the same remainders upon the division by

_{k+t},*n*.

We are done, because

- S
_{k+t}– S_{k}is a multiple of*n* - S
_{k+t}– S_{k}= a_{k+1}+ a_{k+2}+ …+a_{k+t}

In other words, we found some of the given numbers, namely a_{k+1} + a_{k+2} + …+a_{k+t }whose sum is a multiple of *n*.