第一部分 · 数从哪里来

算术的两道裂缝：负数与分数

自然数对加法、乘法封闭，是个安稳的小世界。可它的两个"反着问"——减法和除法——各踹开一道门：3 − 5 和 3 ÷ 2 都跑出了这个世界。这一课我们连补两层数（负数、分数），并抓住一条贯穿始终的引擎：新数的运算规则不是谁规定的，而是被"保住旧规律"逼出来的。

第一道裂缝：减法把我们踹出自然数

上一课我们夸自然数"慷慨"：任意两个相加、相乘，结果还是自然数，从不跑出去——这叫封闭。可减法是加法的"反着问"：3 − 5 等于"几加上 5 才得 3"。在自然数里，加上 5 只会越走越大，永远回不到 3。于是：

3 − 5 = ?　在 ℕ 里：无解（找不到任何自然数填进这个空）

你有两个选择——要么宣布"3 − 5 非法、禁止去问"，要么把数轴向左延长，造出新的数来接住它。数学史一次次证明：每当工具撞墙，"造新东西"才是出路。今天小学生都用的负数，当年却被欧洲最聪明的头脑斥为"荒谬"：帕斯卡说"0 减 4 等于 0，因为没有什么能比无更少"；解出负根的方程常被直接当作"无意义"丢掉。反倒是更早的印度和中国数学家用得自如——因为他们把负数接到了现实：正数记盈余，负数记欠债；正数记零上，负数记零下。−5 不是鬼怪，是"欠了 5 块钱"。

负数难被接受，不是因为它不真实，而是因为当时缺一张能"看见"它的图——数轴。取一点记作 0，向右一步步是 1, 2, 3…，再把这条线向左也延长，对称地标上 −1, −2, −3…。这一笔下去，减法立刻变成一个干脆的动作——向左走：从 3 出发向左走 5 步，落在 −2。数轴还顺手澄清了一个糊涂账：比大小看谁更靠右，不是数字"长得大不大"——−2 在 −5 右边，所以 −2 > −5。把自然数、它们的负数、再加上 0 凑起来，就是整数：

ℤ = { …, −3, −2, −1, 0, 1, 2, 3, … }　（对加、减、乘全都封闭）

规则不是规定：负负得正是被逼的

很多人把"负负得正"当成一条天降的法令。其实它根本不是谁规定的——它是被一条我们舍不得放弃的老规律逼出来的必然结果。这条老规律就是分配律：

a × (b + c) = a × b + a × c　（乘法可以"分着"作用到加法的每一项上）

分配律在自然数里天经地义。扩张到负数时有一条底线：原来的运算规律必须继续成立，否则新数系就和旧世界对不上。守住分配律，(−1)×(−1) 的值就由不得我们挑了：

1 + (−1) = 0　⟹　(−1)×[1 + (−1)] = (−1)×0 = 0

分配律拆开：　(−1)×1 + (−1)×(−1) = 0　⟹　(−1) + (−1)×(−1) = 0

式子说"−1 加上某个东西等于 0"，那个东西只能是 +1。所以 (−1)×(−1) = +1——这是被分配律逼出来的，不是约定。

第二道裂缝：除法把我们踹出整数

ℤ 的封闭名单里独缺除法。除法是乘法的"反着问"：3 ÷ 2 等于"几乘以 2 才得 3"。乘以 2 只会得到偶数 …,2,4,6,…，永远砸不中夹在中间的 3：

3 ÷ 2 = ?　在 ℤ 里：无解（没有整数乘 2 等于 3）

同样的剧本，同样的出路：造新的数填缝。一个分数 p/q（q 分之 p）有三副面孔说的是同一件事——等分（把 1 切成 q 份取 p 份）、比（p 比 q）、除法的结果（把 p ÷ q 干脆定义成 p/q）。把它们收集起来就是有理数（rational，词根就是 ratio "比"）：

ℚ = { p/q ｜ p、q 都是整数，且 q ≠ 0 }

为什么钉死 q ≠ 0？因为"除以 0"问的是"几乘以 0 等于 3"，而任何数乘 0 都是 0，永远得不到 3——这道缝根本补不上，只能划为禁区。注意这依然是同一条引擎在起作用：是"乘法"这条旧规律，替我们判定了除以 0 无解。除掉这唯一禁区，ℚ 对加、减、乘、除全都封闭。从 ℕ 到 ℤ 到 ℚ，三级台阶，四则运算终于一个不缺地处处可行了。

稠密性：缝里永远还能再塞一个

整数在数轴上是孤零零的点，1 和 2 之间空荡荡。分数补进来后彻底变了。随便拿两个不相等的有理数 a、b，取它们的中点：

中点 = (a + b) / 2　（因为 ℚ 对加法、除法封闭，中点仍是有理数）

这个中点严严实实落在 a、b 之间；你还能对 a 和它再取中点，如此下去永远塞得进下一个。所以：任意两个不同的有理数之间，都夹着无穷多个有理数——有理数里没有"紧挨着的下一个"（你说不出 1/2 的"下一个分数"是谁）。这个性质叫稠密。下面的小实验让你亲手体验这两道裂缝，以及那种"缝再小也总能再塞"的稠密感。

陷阱：稠密，不等于无缝

稠密带来一种强烈的错觉：把有理数点上数轴，无论放大到哪一小段，里面都密密麻麻、找不到一处空白。几千年里人们顺理成章地相信"数轴上每个位置都对应某个分数"——毕达哥拉斯学派甚至奉为信条："万物皆数（比）"。这个信念安稳、优美，而且——错了。

这里要格外当心一个直觉陷阱。"密密麻麻、处处有点"（稠密）和"一个不漏地填满整条线"（连续、无缝），听起来是一回事，其实是两回事。稠密只保证"任意两点间还有点"，它并不保证"每个位置都被占住"。

常见误解

• "负负得正只是老师的规定，背下来就行。"
  恰恰相反，它是被分配律逼出来的唯一结果。想保留 a×(b+c)=ab+ac，(−1)×(−1) 就只能等于 +1，换任何别的值都会让算术自相矛盾。
• "−5 比 −2 大，因为 5 比 2 大。"
  比大小看数轴上谁更靠右。−5 在 −2 左边，所以 −5 < −2。欠 5 块比欠 2 块更穷，对应的数也更小。
• "稠密就等于填满了、没有缝。"
  这正是本课要拆穿的陷阱。稠密只说"任意两点间还有点"，不说"每个位置都被占"。下一课会现场抓出一个有理数够不着的位置（√2），证明稠密 ≠ 无缝。
• "有限小数和无限循环小数不是分数。"
  都是。0.75 = 3/4；0.333… = 1/3；连 0.142857… 也等于 1/7。凡是有限或循环的小数都能写成分数——都是有理数。真正不是分数的，是无限不循环的小数（下一课登场）。