Numbers & Functions · 2 The Hole in the Number Line

2.3 The line is mostly holes

Here’s what makes this story go from “weird curiosity” to “the ground shifts under your feet.”

√ 2 isn’t special. The same kind of argument works for √ 3, √ 5, √ 6, √ 7 — the square root of almost any whole number is irrational. And those are just the square roots. There’s π, the number you get from a circle. There’s e, a number we’ll meet in Chapter 5. There are infinitely many more.

In fact — and this is the part that genuinely keeps mathematicians up at night — if you could somehow scoop up a number at random from the number line, the chance that you’d grab a nice clean fraction is zero. Almost every point on the line is irrational. The fractions, for all their infinite tight packing, are like scattered dust on a line that’s overwhelmingly made of irrationals. Remember in Chapter 1, when it felt like the fractions must fill the whole line because you could always squeeze another one between any two? That feeling was exactly backwards. The fractions leave room for infinitely more holes than the points they actually occupy. The number line is mostly hole.

2.4 Easy to say, hard to prove

I want to stop on π for a moment, because it teaches a lesson that has nothing to do with circles.

We just proved √ 2 is irrational, and the whole proof fit on half a page. You could explain it to a friend over lunch. So you might reasonably expect that proving π is irrational is about the same amount of work.

It is not. The ancient Greeks could prove √ 2 was irrational. Nobody managed to prove it for π for another two thousand years — it wasn’t done until 1761, by a mathematician named Johann Lambert. And his proof needs mathematical machinery we won’t have for several books yet.

The Hole in the Number Line Why is one so much harder than the other? Here’s the heart of it. √ 2 comes with a handle: it’s the answer to a simple equation, x2 = 2. That equation is exactly what our proof grabbed onto. π has no such handle. It is not the answer to any nice equation built from whole numbers. There’s nothing simple to plug it into. So the proof has to come at it sideways, with much heavier tools. How hard a fact is to prove has almost nothing to do with how true it is, or even how simple it is to state.

“π is irrational” is a short, clear sentence a child can understand. The proof is a monster. A huge amount of mathematics lives in exactly that gap — in true things that are easy to say and brutally hard to establish. When we reach calculus, you’ll finally hold tools strong enough to corner π. So we do what we always do. An operation broke — taking square roots — and the rationals couldn’t handle it. So we extend. We declare that the line has no gaps: every single point on it is a number, fraction or not. This complete, gap-free collection — all the rationals together with all the irrationals — is called the real numbers.

This is the number line you’ve secretly been using your whole life. We just never told you it was hiding irrationals in every gap.

All 8 chapters of Numbers & Functions · Foundations · All courses