Pigeonhole Principle – Proving Sum of 5 Integers from 1 to 8 Equals 9

discrete mathematicspigeonhole-principle

The question is:

Let $A = \{1,2,3,4,5,6,7,8\}$. If five integers are selected from $A$, must at least one pair of the integers have a sum of $9$?

The book explains the solution by dividing the number into $4$ disjoint subsets and pointing out that if the numbers in each set are added together, they result in a sum of $9$: $\{1,8\}, \{2,7\}, \{3,6\}, \{4,5\}$.

Thus, if you pick $5$ numbers, you will inevitably find a pair, whose sum will equal to $9$.

I don't get it. When the book asks to select $5$ numbers from $A$, I can pick $\{1,2,3,4,5\}$. Then from there, I can pick two integers like $1$ and $2$, whose sum does not equal to $9$. What am I not getting here?

Thanks for any help.

Best Answer

Let's play a game:

First, you pick five numbers from among $\{1,2,3,4,5,6,7,8\}$.

Then I get to pick two of the five numbers you picked. If I pick two that add up to $9$, then I win; if the two I pick don't add up to $9$, then you win.

What the problem says is that I can always win, no matter which five numbers you pick during your turn.

In other words, you get to pick the five numbers, but you don't also get to specify which two you want to add up to 9.

Related Question