Overcrowded Cages

Intro to Proofs · Axiom Academy

A simple but powerful principle: when you have more items than containers, something must double up. Some of the most powerful proofs in mathematics don't build the thing they promise — they just prove it has to exist. The pigeonhole principle is the first and friendliest of these. You don't have to take it on faith: watch one happen. You have 5 pigeons and only 4 cages . Watch each pigeon fly down and pick an empty cage. Four of them find a home of their own — but the fifth has nowhere empty left to land, so it is forced to share. No matter how you arrange them, some cage must hold at least two. Five into four leaves no escape — the doubling-up isn't bad luck, it's guaranteed. When does overcrowding become inevitable, and how crowded must it get? Set the number of pigeons and cages, then place them as evenly as you possibly can. Even spreading them out perfectly, the fullest cage can never dip below — that is the pigeonhole principle . With more pigeons than cages, the fullest cage always meets the guarantee — try to beat it and you can't. It was never really about birds The principle fires the moment you distribute items into categories — birthdays, socks, test scores, even hair. Click a scenario to see what plays the role of the pigeons, what plays the role of the cages, and why a match is unavoidable. Same principle, different costume: more items than categories means some category holds more than one. From a puzzle to a proof technique

This is the written version of the interactive lesson above. See the full Intro to Proofs course.