The Pigeon Hole Principle states that if you have items and containers, where then one hold must contain more than item. Now, this might seem useless, but it's pretty useful in the context of olympiad level problems.
In a more formal way,
For any non-negative integers and if items are distributed into containers and if then at least one container must contain at least items, where denotes the ceiling function, which rounds a number up to the nearest integer.
Here are some basic examples.
Suppose there are people at a party. Prove that there are at least two people who have shaken hands with the same number of people at the party.
In this case, if everyone shakes hands with everyone else, each person can shake hands with to people. However, if someone shakes hands with people, nobody can have handshakes, and vice versa. Thus, the number of possible handshake counts is actually (from to , or from to ), but there are people, so at least two must have shaken hands with the same number of other guests.
Imagine you have a drawer containing pairs of socks, each pair a different color. If you choose socks in the dark, how many socks must you pull out to guarantee you have at least one matching pair?
Since there are different colors, pulling out socks guarantees that at least two of them will be of the same color.
Here's another example.
In a round table with seats, prove that if guests need to be seated, at least one seat must accommodate two guests.
We have seats (pigeonholes) and guests (pigeons) that need to be seated.
According to the Pigeonhole Principle, if there are more pigeons than pigeonholes, at least one pigeonhole must contain more than one pigeon. Applying this to our scenario:
Since we have guests and only seats, at least one seat must accommodate two guests to seat everyone.
Here are some harder problems.
Suppose a soccer team scores at least one goal in consecutive games. If it scores a total of goals in those games, prove that in some sequence of consecutive games it scores exactly goals.
Prove that there exist two powers of whose difference is divisible by