Departure question
Find order without counting everythingPort 4 of 16“Through Pigeonhole Principle: How can we find hidden order without counting everything?”
Trace recurring structure through exploding possibilities, divisibility, and the apparent irregularity of primes.
This voyage is an editorial path for understanding, not a claim of direct historical influence or sole invention.
Understand it in one breath
Among 10 million people, two must share an exactly equal hair count — humans have fewer than 1 million hairs. A one-line principle that is a perennial Olympiad weapon and the seed of Ramsey theory: any sufficiently large structure must contain any pattern you specify.
At a glance
Scenario | Pigeonholes | Pigeons | Conclusion |
|---|---|---|---|
A gathering of 367 people in one year | 366 days | 367 people | At least two share a birthday |
10 million residents of Seoul | Fewer than 1 million possible hair counts | 10 million people | At least two people have exactly the same number of hairs |
Five cards drawn from an eight-card hand | 4 suits | 5 cards | At least two cards share a suit |
n+1 pigeons | n pigeonholes | n+1 | Some pigeonhole contains ≥ 2 pigeons |
Compression algorithm | Fewer short outputs than possible inputs | Set of inputs | Universal lossless compression is impossible |
"The least visible principles can become the most powerful tools." Dirichlet first used it to approximate irrational numbers; it is a starting point for Ramsey theory.
Concept
If n+1 pigeons go into n holes, at least one hole has ≥2. A trivial-looking principle that powers Ramsey theory, finite combinatorics, and Dirichlet approximation.
Key formula
Modern applications
Guarantees of hash collisions, proofs of compression limits, and lower bounds for algorithms.
Beyond MathVoyage
Curated sources and problems. Bring one discovery back from OEIS, Project Euler, MathOverflow, or arXiv.
- Wikipedia
- Wolfram MathWorld
- Numberphile
No concept belongs to one person
Follow people who played different roles
These are not inventor credits. They are different ports: opening a problem, sharpening a language, or carrying it into another world.
Number lenses
A concept looks different when its world of numbers changes
These numbers are editorial lenses for the voyage, not required prerequisites.
Natural Numbers
Trace recurring structure through exploding possibilities, divisibility, and the apparent irregularity of primes.
Open the number voyage
Integers
Trace recurring structure through exploding possibilities, divisibility, and the apparent irregularity of primes.
Open the number voyage
Rational Numbers
Trace recurring structure through exploding possibilities, divisibility, and the apparent irregularity of primes.
Open the number voyage
Concept genealogy
What supports it, and what does it open?
Concepts arriving from before
Current port
Pigeonhole Principle
Concepts opened from here
No direct successor port is curated yet.
Only direct editorial links are shown; this is not a complete learning order or historical influence line.