实数 · 数轴上的每一个点是什么数

数从「数数」开始，一路扩张到能填满整条数轴。本页沿着 ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ 的顺序，把四种数系摊开看清：哪些数是有理数（能写成分数 p/q）、哪些是无理数（写不成分数），以及实数如何把两者合起来、恰好填满数轴不留缝隙。全文分四段递进：先看数系嵌套，再用长除法理解有理数与小数展开，接着以反证法证明 $\sqrt 2$ 无理，最后回到实数的完备性。

1 · 数系嵌套：每个数都有自己最靠里的「家」

数系是层层包含的：自然数 ℕ 在整数 ℤ 里，整数在有理数 ℚ 里，有理数又在实数 ℝ 里；而无理数是 ℝ 里去掉 ℚ 剩下的那部分。判断一个数「是什么数」，就是找它能落进的最靠里的一层。点下面的数试试——注意 $\sqrt 9$ 与 22/7 这两个容易看走眼的。

2 · 有理数：能写成分数，小数展开必然「有限或循环」

有理数就是能写成 p/q（p、q 为整数、$q \ne 0$）的数。把分数按长除法展开成小数，会发现一个必然规律：每一步的余数只能取 ${0, 1, \dots , q-1}$ 这有限个值——要么某步余数变成 0（除尽，有限小数），要么某个余数重复出现，此后整段循环（无限循环小数）。绝不可能无限不循环。

反过来，任何有限小数或循环小数都是有理数——都能还原成分数。有限小数如 0.75 = 75/100 = 3/4；循环小数用「错位相减」消掉循环节，例如设 $x = 0.333\dots$，则 ${10x = 3.333\dots}$，相减得 9x = 3，故 x = 1/3。同理可得 ${0.999\dots = 1}$（并非「无限接近」，而是严格相等）。

3 · 无理数：写不成分数，小数无限不循环

既然「能写成分数」等价于「小数有限或循环」，那么小数无限不循环的数就写不成分数——这就是无理数：$\sqrt 2 = 1.41421356\dots$、$\pi = 3.14159265\dots$、$e = 2.71828182\dots$，小数位永远排下去、永不进入循环。它们真实存在于数轴上，却落在有理数 ℚ 之外。

为什么能断定 $\sqrt 2$ 写不成分数？下面是经典的反证法：先假设它能，再推出一个自相矛盾的结论，从而否定假设。逐步展开看这条推理链如何收口。

4 · 实数：把两者合起来，恰好填满数轴

实数 ℝ = 有理数 ∪ 无理数，它对应数轴上的每一个点，不多不少、没有缝隙——这叫实数的完备性。有理数虽然在数轴上稠密（任意两个有理数之间还挤着无穷多个有理数），却仍留有「缝」：比如平方等于 2 的那个点确实在数轴上，但没有任何有理数正好落在它上面。无理数正是用来填满这些缝的。