Two New Yorkers, One Hair Count, Zero Tweezers

A pigeonhole argument proves that two people in New York City share an exact hair count, without ever finding them.

The challenge

Here is a party trick that needs no tape measure, no tweezers, and no volunteers. Try it before you read on.

Prove that two New Yorkers have exactly the same number of hairs on their heads, without finding them.

Give yourself a minute. Hint: you do not need to count anything on anyone. You need two numbers, and a very old idea about pigeons.

The core idea

The pigeonhole principle says that if you put n items into m containers and n is larger than m, at least one container holds more than one item. Built In describes it as a counting argument that can prove results that are far from obvious. It does this without locating the collision. It only guarantees that one exists.

The name comes from the picture everyone uses. More pigeons than holes, so some hole gets a roommate. The same logic works for any sorting of things into categories. The only requirement is that the things outnumber the categories.

Setting up the assumptions

Make each New Yorker a pigeon. Make each possible hair count a hole. A person with 91,204 hairs goes in hole 91,204. A bald gentleman goes in hole 0. The job is to show the pigeons outnumber the holes.

Pigeons first. The city had about 8.58 million residents, specifically 8,584,629 in a July 2025 Census-based estimate. Annual estimates are not a decennial count and can be revised, so treat the figure as approximate.

Holes next. No source I had gives a hair count for a human head, so this is an assumption, and I am labeling it as one. Assume nobody in the city has more than 1,000,000 hairs. That is a deliberately silly ceiling. Counts from 0 to 1,000,000 give 1,000,001 holes.

The method is reusable, so here is the full assumption set:

Pigeons: the dated population, 8,584,629 as of July 2025.
Holes: every whole number from 0 up to an assumed ceiling, plus one for zero.
Check: pigeons must exceed holes.

Answer: the proof

Go by contradiction, the standard route for this principle. Suppose every person has a different hair count. Then each count from 0 to 1,000,000 is used by at most one person. The population would be at most 1,000,001. But the population is about 8.58 million. Contradiction. Somebody shares.

Notice what the proof never says. It never names the pair. It never says how many hairs they have, or which borough they live in. The result is pure existence. A pair is out there, and arithmetic says so.

It gets stronger. Divide 8,584,629 by 1,000,001 and you get roughly 8.6. The extended version of the principle then says some hole holds at least 9 people. That is approximate arithmetic on an estimate, but the direction is safe. Nine New Yorkers with the same hair count, and still nobody has to be counted.

How generous is the ceiling?

A million hairs is absurdly high, and that is the point. The argument only needs the ceiling to stay below the population. Any ceiling under about 8.58 million still leaves more people than holes. You could cut the assumption by a factor of eight and the proof would not blink.

Tighten it and the guarantee grows. Suppose you believe nobody tops 150,000 hairs. That is a guess on my part, not a sourced figure. Then there are 150,001 holes, and the average hole holds about 57 people. The proof gets more crowded, not shakier.

The weak spot is the other input. The population figure changes by year and by method. One source in the pile gave 8,260,000 for 2023, and the city lost 12,196 residents between July 2024 and July 2025, according to North American Community Hub. Pick one dated number and say the date. A few thousand residents either way changes nothing here.

What the sources cover

The sources describe the principle and its history. Dirichlet formalized it in the 1800s as the Schubfachprinzip, the drawer principle, and Raphael M. Robinson used the term "pigeonhole principle" in 1940, per Built In. Neither says anything about hair or New York.

The University of Victoria guide came through unreadable, so it supports nothing here. Treat the hair proof as a reasoning exercise built from the stated principle. The logic holds. The hair ceiling is an assumption, and the population is a dated estimate.

Illustration of a wall of pigeonhole cubbies with a crowd of New Yorkers streaming toward it, where one cubby holds two figures instead of one. — Millions of New Yorkers funneled into a far smaller set of possible hair counts, with the overflow piling into shared holes.