**Reference: Discrete Mathematics and its Applications by Kenneth H. Rosen, Seventh Edition.**

In many interesting applications of the pigeonhole principle, the objects to be placed in boxes must be chosen in a clever way. A few such applications will be described here.

**Example 1:**

During a month with 30 days, a baseball team plays at least one game a day, but no more than 45 games. Show that there must be a period of some number of consecutive days during which the team must play exactly 14 games.

**Solution 1:**

Let be the number of games played on or before the jth day of the month. Then, is an increasing sequence of distinct positive integers, with . Moreover, is also an increasing sequence of distinct positive integers, with .

The 60 positive integers are all less than or equal to 59. Hence, by the pigeonhole principle two of these integers are equal. Because the integers , are all distinct, there must be indices i and j with . This means that exactly 14 games were played from day to i.

**Example 2:**

Show that among any positive integers not exceeding 2n there must be an integer that divides one of the other integers.

**Solution 2:**

Write each of the integers as a power of 2 times an odd integer. In other words, let for , where is a nonnegative integer and is odd. The integers are all odd positive integers less than 2n. Because there are only n odd positive integers less than , it follows from the pigeonhole principle that two of the integers must be equal. Therefore, there are integers i and j such that . Let q be the common value of and . Then, and . It follows that if then divides . QED.

*A clever application of the pigeonhole principle shows the existence of an increasing or a decreasing subsequence of a certain length in a sequence of distinct integers. Some definitions will be reviewed before this application is presented. Suppose that * is a sequence of real numbers. A **subsequence** of this sequence is a sequence of the form , where . Hence, a subsequence is a sequence obtained from the original sequence by including some of the original sequence in their original order, and perhaps, not including other terms. A sequence is called strictly increasing if each term is larger than the one that precedes it, and it is called strictly decreasing if each term is smaller than the one that precedes it.

**Theorem:**

Every sequence of distinct real numbers contains a subsequence of length that is either strictly increasing or strictly decreasing.

*An example is presented below (before the proof) of the above:*

*Example:*

The sequence contains 10 terms. Note that . There are four increasing subsequence of length four, namely, . There is also a decreasing subsequence of length four, namely, .

*The proof of the theorem is presented below:*

Let be a sequence of distinct real numbers. Associate an ordered pair with each term of the sequence, namely, associate to the term , where is the length of the longest increasing subsequence starting at , and is the length of the longest decreasing subsequence starting at .

Suppose that there are no increasing or decreasing subsequences of length . Then, and are both positive integers less than or equal to n, for . Hence, by the product rule there are possible ordered pairs for . By the pigeonhole principle, two of these ordered pairs are equal. In other words, there exist terms and , with such that and . We will show that this is impossible. Because the terms of the sequence are distinct, either or . If , then, because , an increasing subsequence of length , can be built starting at , by taking followed by an increasing subsequence of length beginning at . This is a contradiction. Similarly, if , the same reasoning shows that must be greater than , which is a contradiction. QED.

**Quiz based on generalized pigeonhole principle:**

Assume that in a group of six people, each pair of individuals consists of two friends or two enemies. Show that there are either three mutual friends or three mutual enemies in the group.

*Note: This little quiz is a motivation for Ramsey theory. This theory deals with the distribution of of subsets of elements of sets.*

More later,

Nalin Pithwa