Play ProofQuest

Pigeonhole Perch

THE PIGEONHOLE PRINCIPLE

Loading audio…

Press play to listen along. The line being read lights up as you go.

Show full transcript

Loading transcript…

01 Opening
Pigeonhole Perch beat 1 of 5

Pigeonhole Perch worked, for forty years, at the central post office in the capital city.

(Yes, the central post office is the same one that figured in Queen Vesper's bad-winter story — although that was in the GambitTales kingdom, which is, as far as ProofQuest's documents are concerned, a related-but-distinct mathematical neighbourhood. Names sometimes coincide across kingdoms. The capital post office, in any kingdom, is the kind of place that takes a long time to develop the kind of careful person Perch became.)

Perch's job at the post office was sorting letters. The post office had, for as long as anybody could remember, a wall of pigeonholes — actual wooden pigeonholes, labelled with destinations, into which incoming mail was sorted before being sent out for delivery. There were two hundred and forty pigeonholes. Perch sorted, by careful estimate, about three thousand letters per day.

This is a lot of sorting. Perch did not get tired of it. Perch was, in a way Perch's colleagues found mildly mysterious, content.

02 Pigeonhole Perch
Pigeonhole Perch beat 2 of 5

Then one morning, when Perch had been at the post office for thirty-two years, something happened that turned Perch into a kind of detective.

A letter went missing.

This is, by post office standards, not unusual. Letters go missing. Most of the time they are eventually found — usually behind a desk, or in the wrong pigeonhole, or tucked into a colleague's stack. The lost-letter procedure was a standard one. Perch had run it many times.

This particular lost letter, however, was unusual — it had been deposited in the morning collection by a customer who swore she had put it into Perch's hands personally. Perch had no memory of receiving it. The customer was certain. The post office searched. The letter did not turn up. The customer was unhappy. The customer's letter contained important information for her sister, who lived in the eastern province. The matter was, in post-office terms, a bit of a thing.

Perch sat down that evening to think about it.

What Perch noticed was this: the post office had two hundred and forty pigeonholes. The morning collection had contained about two thousand seven hundred letters, by the daily log. The pigeonholes had been sorted twice that day. After the second sort, every pigeonhole should have contained either zero or some small number of letters depending on its destination.

03 Pigeonhole Perch
Pigeonhole Perch beat 3 of 5

Perch counted, by going through the log carefully, the total number of letters that had been delivered that day from those pigeonholes. The number was 2,699.

The morning collection had been 2,700.

There was one missing letter.

Perch thought about this. Two hundred and forty pigeonholes. 2,700 letters sorted in. Average: a little over 11 letters per pigeonhole. But the average is, Perch knew, just the average. Some pigeonholes had more letters than the average. Some had fewer.

The customer's letter had been addressed to the eastern province. Which pigeonhole was that? It was pigeonhole 113. Perch went to the post office that night, opened pigeonhole 113, and looked carefully.

Pigeonhole 113 had thirteen letters in it.

04 Pigeonhole Perch
Pigeonhole Perch beat 4 of 5

Perch counted them.

There were thirteen. The log said there had been twelve.

Perch held up the thirteenth letter to the light. It was the customer's lost letter. It had been folded inside another letter — pinched between two pages of a larger envelope — and had therefore been counted as one piece of mail instead of two.

Perch had used the pigeonhole principle to find a lost letter.

(The pigeonhole principle, in case you have not yet met it: if you put more items into a set of boxes than there are boxes, at least one box has more than one item. Perch had used a slight extension — if the count of items in a box is one more than the official log says it should be, then there is an extra item hidden in the box. This is, properly speaking, an extension of the principle. Perch developed it on the job.)

The customer was thrilled. The letter reached the sister. The post office sent Perch a formal commendation. Perch put the commendation in a drawer and went back to sorting.

05 Closing
Pigeonhole Perch beat 5 of 5

But word got out.

A mathematician at the central university — who had been looking for someone to teach the pigeonhole principle at the ProofQuest academy — heard about the lost-letter story from a friend. She wrote to Perch. She invited Perch to teach.

Perch was sixty-three years old. Perch had been sorting letters for forty years. Perch was, Perch admitted, a little ready for a change. Perch accepted.

Perch has been teaching at the academy for seven years now. The classroom has, at the back, a small wooden replica of a wall of pigeonholes. Twelve pigeonholes. (Perch did not need the full two hundred and forty for teaching.) Perch uses the pigeonholes to show, over and over, the principle that if you have more things than holes, something has to double up.

Perch is quiet. Perch is methodical. Perch is, on the rare occasions Perch tells the lost-letter story, slightly proud.

The customer, by the way, still writes Perch a letter once a year. And every time one arrives, Perch feels a small, quiet warmth — the good kind, the kind that settles in your chest and stays. Forty years of sorting, and it turned out the thing Perch loved most was not being clever. It was being trusted, and calm, and glad to still be here doing careful work.

Hear it as an audio drama

A short play starring Pigeonhole Perch, from ProofQuest. Different voices, same idea. Listen any time after you read.

Loading audio…

Read the drama script
  1. Narrator: From Spark and Anvil and ProofQuest — this is Perch, in chapter 1 of the ProofQuest cast.
  2. Narrator: This drama uses an AI-generated voice. Voiced via Gemini 2.5.
  3. Narrator: Pigeonhole Perch is the academy's small-but-sharp teacher. Her method is the most surprising. With one tiny counting argument, she can prove an existence claim that would otherwise require a long search.
  4. Narrator: She is a small pigeon-tween. Quick. Witty. She carries a small wooden rack of pigeonholes — actual pigeon-sized slots stacked in a grid — and a basket of little wooden pigeons to demonstrate the principle.
  5. Perch: I am Pigeonhole Perch. I teach the pigeonhole principle. The principle says: if you have more pigeons than pigeonholes, at least one pigeonhole has more than one pigeon. From that simple counting fact, a remarkable number of existence proofs fall out.
  6. Narrator: The pigeonhole principle is one of the most elegant and surprisingly powerful results in combinatorics. The simple version says: if N pigeons are placed in M pigeonholes and N is greater than M, then at least one pigeonhole contains more than one pigeon. The general version says: if N pigeons are placed in M pigeonholes, then at least one pigeonhole contains at least the ceiling of N divided by M pigeons.
  7. Perch: My method has three steps. One: identify your pigeons — the things you're counting. Two: identify your pigeonholes — the categories the pigeons fall into. Three: count both, and apply the principle.
  8. Perch: My favorite small example. Claim: in any group of 13 people, at least two were born in the same month. Pigeons: the 13 people. Pigeonholes: the 12 months. Thirteen pigeons in twelve holes. At least one hole has more than one pigeon. So at least two people share a birth month. Done.
  9. Perch: A more clever example. Claim: among any five points placed inside a unit square, two of them are within a distance of the square root of two over two of each other. Divide the unit square into four equal smaller squares of side one half. The diagonal of each small square is the square root of two over two. Five points. Four small squares. At least one small square contains at least two of the points. Those two points are within the small square's diagonal of each other. Done. Five points, four boxes, one box has two. That's all it takes.
  10. Narrator: Perch grew up in a small village with a public dovecote. Her family were the dovecote-keepers. Pigeons who watched as the local doves came home each evening and saw which slots filled first.
  11. Perch: By the time I was eight I had noticed something. If the dovecote had a hundred slots and a hundred and one doves came home, at least one slot had two doves. No matter how careful the doves were. It was a counting fact, not an opinion.
  12. Narrator: She flew to the ProofQuest academy at fifteen. The mentor Qed met her at the gate.
  13. Qed: What is the pigeonhole principle?
  14. Perch: More pigeons than pigeonholes. At least one hole has more than one pigeon. From that simple fact, a wide range of existence claims fall out. The art is in choosing the right pigeons and the right pigeonholes. Once you've set those up, the proof is almost automatic.
  15. Qed: You are appointed.
  16. Narrator: Perch has been the academy's pigeonhole teacher for years. She still carries the small dovecote and the wooden pigeons. She begins every first-day lesson the same way.
  17. Perch: I am Pigeonhole Perch. More pigeons than holes. At least one full hole. That is what the pigeonhole principle is. When the claim says "must exist" and the count of possibilities exceeds the count of categories, the pigeonhole principle proves it. Small. Sharp. Very economical.
  18. Perch: Pigeons. Pigeonholes. Excess. At least one repeat. That's the whole technique. That's what makes the pigeonhole principle a proof method.
  19. Narrator: You've been listening to a Spark and Anvil chapter, written by the Spark and Anvil writing team for ages 9 to 14.
  20. Narrator: Apps stay free forever.
  21. Narrator: Curriculum aligned to Common Core math and discrete math.
  22. Narrator: Released under Creative Commons BY-NC-SA 4.0 for educational reuse. Visit Spark and Anvil for the full transcript.

More stories with Pigeonhole Perch

Another short audio story about Pigeonhole Perch. Open one when you are ready.

The pigeonhole principle

Loading audio…

Read the script
  1. Narrator: From Spark and Anvil and ProofQuest — this is Pigeonhole Perch, in chapter 1 of the ProofQuest cast.
  2. Narrator: This drama uses an AI-generated voice. Voiced via Gemini 2.5.
  3. Narrator: Pigeonhole Perch is a quiet mail-sorter. For forty years, Perch worked before a wall of two hundred and forty wooden pigeonholes.
  4. Narrator: Perch was methodical, careful, and content. The job was to sort letters, thousands every day, into their proper boxes.
  5. Pigeonhole Perch: I am Perch. My work was to count, and to sort. A simple, careful task that teaches you things.
  6. Pigeonhole Perch: I knew a simple rule. If you have more pigeons than pigeonholes, at least one hole must contain more than one pigeon.
  7. Pigeonhole Perch: The log said box 113 held twelve letters. I counted thirteen. One more "pigeon" than the log had accounted for.
  8. Narrator: The missing letter was there, folded inside another envelope. It had been counted as one piece of mail, but it was two.
  9. Pigeonhole Perch: By counting the items and the boxes, I proved something extra *must exist*. I just had to look for the doubled-up thing.
  10. Narrator: Word of the mail-sorter detective reached the university. A professor invited Perch to come teach this simple, powerful principle.
  11. Pigeonhole Perch: After forty years of sorting, I was ready. I accepted the appointment.
  12. Narrator: Now Perch teaches with a small wall of twelve wooden boxes, showing students the same small, sharp truth.
  13. Pigeonhole Perch: More pigeons than pigeonholes. That is all. Somewhere, something has to double up.
  14. Narrator: You've been listening to a Spark and Anvil chapter, written by the Spark and Anvil writing team for ages 9 to 14.
  15. Narrator: Apps stay free forever.
  16. Narrator: Curriculum aligned to Common Core math and discrete math.
  17. Narrator: Released under Creative Commons BY-NC-SA 4.0 for educational reuse. Visit Spark and Anvil for the full transcript.

The ProofQuest ensemble

Pigeonhole Perch is one of the friends in ProofQuest. Each friend shows you one idea by how they act; meet them all and you have the whole subject.

Kids also liked