If n+1 pigeons fly into n holes, at least one hole has 2+ pigeons
The Pigeonhole Principle is one of the simplest yet most powerful proof techniques in mathematics. The basic idea is almost trivial: if you have more pigeons than pigeonholes, at least one hole must contain multiple pigeons. Despite its simplicity, this principle underlies surprising results in combinatorics, number theory, and computer science.
Understand the fundamental counting argument with interactive dragging
Explore the extended principle: kn+1 objects guarantee k+1 in one container
Solve famous problems by identifying the "pigeons" and "holes"
Walk through a formal proof by contradiction step-by-step
Drag the pigeons into the holes. When you have more pigeons than holes, at least one hole must contain 2+ pigeons!
If n+1 objects are placed into n containers, at least one container must hold more than one object. This simple fact is surprisingly powerful in mathematics!
Basic Pigeonhole Principle:
If n+1 objects are distributed among n containers, then at least one container must contain more than one object.
Equivalently: If we map n+1 elements to n elements, the mapping cannot be injective (one-to-one). At least two elements must map to the same target.
If kn+1 objects are placed into n boxes, at least one box contains k+1 or more objects.
If kn+1 objects are distributed among n containers, at least one container must hold at least k+1 objects. This generalizes the basic principle (where k=1).
Practice identifying the "pigeons" and "holes" in famous problems. This skill is key to applying the principle!
A drawer contains socks of 2 different colors (black and white). What is the minimum number of socks you must draw (without looking) to guarantee you have at least 2 socks of the same color?
Follow the step-by-step proof by contradiction. Expand each step to understand the reasoning.
We have n+1 objects (pigeons) and n containers (pigeonholes). We want to prove that at least one container must hold more than one object.
This proof uses proof by contradiction: we assume the opposite of what we want to prove, then show this leads to an impossibility. Since the assumption causes a contradiction, it must be false, proving our original claim.