When your teacher says the rationals are "dense" and the irrationals "fill the gaps," what does that actually look like? You already know \sqrt{2} \approx 1.41421356\dots sits somewhere near 1.41. But if you zoom in hard enough, shouldn't some rational eventually land exactly on \sqrt{2}? The answer — and the thing this figure makes physical — is never. No matter how far you zoom, rationals only ever crowd around it.

What "dense" means in one picture

Pick any two rationals, however close. Their average is a rational strictly between them. So between any two rationals there is always a third — and between those, a fourth, and so on forever. The rational points are packed into the line with no smallest gap. Why: if p/q and r/s are rationals, then (p/q + r/s)/2 = (ps + qr)/(2qs), which is an integer over an integer, hence rational.

You might expect this packing to leave no room for anything else. It doesn't work that way. Density is not the same thing as completeness. The rationals can be crammed arbitrarily close to a target like \sqrt{2} without any of them ever reaching it, because \sqrt{2} is not rational — no ratio p/q equals it. The rationals can surround the point from both sides, but they cannot occupy it.

Zoom into the gap

The number line below is centred on \sqrt{2}. Click the + on the right to zoom in by a factor of 5; click - to zoom out. The black ticks are rationals at the current resolution — their labels carry more decimal places as you zoom. The red bar marks \sqrt{2}.

A zoomable number line centred on √2Interactive number line centred on the irrational number square root of two. A plus button zooms in by five, a minus button zooms out. Black tick labels gain more decimal places with each zoom, but the red marker for square root of two never coincides with any tick.
Watch the red bar after each click. The rational ticks realign around it, but $\sqrt{2}$ always sits in the gap between two of them. After ten clicks, the ticks are spaced $5^{-10} \approx 10^{-7}$ apart — and the gap is still there.

Now repeat the experiment with a different target. The next figure is centred on \pi, another famous irrational.

A zoomable number line centred on πInteractive number line centred on pi. A plus button zooms in by five, a minus button zooms out. Pi never lands on any rational tick regardless of zoom level.
Same behaviour, different irrational. The ticks approach $\pi$ from both sides but never cover it. That is the universal picture: every irrational sits in a hole that the rationals cannot plug.

For contrast, centre on a rational — say \tfrac{3}{4}. Zoom in, and at enough steps a tick lands squarely on the centre, because 0.75 is itself a rational at every resolution. This is the difference the red bar is showing you: rationals get hit; irrationals do not.

Why no zoom is enough

The zoom shows a limit in action. Each click shrinks the viewing window by a factor of 5, so after n clicks the window has width 2/5^n. There are still rationals inside this window — infinitely many of them — but the distance from \sqrt{2} to the nearest rational tick shrinks by 5 too. It is a race that never ends, because there is nothing for the shrinking gap to collapse onto. The point \sqrt{2} exists on the line; it is just not in \mathbb{Q}.

The formal statement is: for every \varepsilon > 0, there is a rational q with |q - \sqrt{2}| < \varepsilon. Why: take the decimal truncation of \sqrt{2} to enough digits. That truncation is a rational, and its error is less than the place value of the last digit kept. But no rational satisfies q = \sqrt{2} exactly — the proof is the classic assume lowest terms, show both are even, contradiction argument. Arbitrarily close; never equal.

Squeezing √2 with rational intervals

You can box \sqrt{2} into nested intervals whose endpoints are rationals, and make the boxes as small as you like.

  • [1.4,\; 1.5] — width 0.1
  • [1.41,\; 1.42] — width 0.01
  • [1.414,\; 1.415] — width 0.001
  • [1.4142,\; 1.4143] — width 0.0001

Every interval has rational endpoints. Every interval contains \sqrt{2}. The widths shrink to zero. Why: the k-th interval's endpoints are the k-digit decimal below and above \sqrt{2}, which are rationals by construction, and their difference is 10^{-k}.

So \sqrt{2} is "reachable" by rationals in the sense of limits — this is what makes calculus over the reals work at all — but never equal to any single rational. That is exactly the picture the zoom shows.

The denseness of irrationals too

One flip of the same argument: between any two rationals there is also an irrational. Pick rationals a < b. The number a + \tfrac{b - a}{\sqrt{2}} lies strictly between them, and it is irrational. Why: if it were rational, then so would be \sqrt{2}, by solving for \sqrt{2} — contradiction.

So the real line is built from two dense species of numbers tangled together: rationals and irrationals, each crowding into every interval, neither ever exhausting the line on its own. The zoom figure is a hands-on proof that they coexist without collapsing into each other.

This satellite sits inside Number Systems.