小学数学 第4讲 分数

导读

先问一个问题。你现在就可以问身边任何一个学过分数的人，包括成年人：

1/2 和 2/4，是同一个数，还是两个数？

多数人愣一下，然后说："大小相等啊。"

但"大小相等"不是回答，它是把问题换了个说法。 我问的是"同一个还是两个"，你答的是"它们的值一样"。

这两个答案会通向完全不同的地方：

如果答"两个数，只是大小相等"——那么 1/2 + 1/3 里的那个 1/2，和 3/6 + 2/6 里的那个 3/6，就是两个不同的东西。凭什么这两次运算必须给出同一个结果？

如果答"同一个数"——那它为什么有两个名字？"3"只有一个名字。"3456"也只有一个名字：第 1 讲讲过，按位值展开只有一种展法。一个数有无穷多个名字，这件事在孩子此前四年的数学经验里从未发生过。

这个问题没有标准答案，因为它问的不是知识，是立场。而你站哪一边，会决定你怎么算。

有一个孩子，用行动回答了这个问题。

他算 1/2 + 1/3，写下 2/5。分子加分子，分母加分母。

老师打叉，写了"要通分"。孩子记住了"不能这样算"。

但没有人告诉他：他这个答案里藏着一个立场——他把 1/2 和 2/4 当成了两个数。 因为他写的那条运算，认的是写法，不是数。

也没有人告诉他：他的直觉不是乱来的。 他捕捉到了一个真实的数学性质，只是把它放错了格子——而这条性质站得比"算错"两个字牢得多。

孩子会学到一串规则：分子分母同乘同除大小不变、异分母相加先通分、结果要化成最简分数、分母不能为零。条条都对，背熟了题也做得出来。

但每一条规则的背后，都压着同一个没人停下来问的问题：

1/2 = 2/4。等号两边明明是两个不同的写法，凭什么说它们是同一个数？

这个问题看起来像抬杠。它不是。因为答案会分岔，而分岔的两条路通向完全不同的数学——这一讲要做的，就是把这个被跳过的问题正面问一次。 一旦问了，会掉出一个整数世界里根本不存在的义务。

这一讲的六根柱子：

① 一个数第一次有了无穷多个名字。 在此之前，3 只有一个写法，3456 也只有一种展开。分数把"一个数一个名字"这条四年来从未动摇过的直觉，一句话推翻了

② 于是多出一道整数世界里不存在的审查。 你写的每一条运算规则，都必须证明它认数、不认写法。这道审查有个名字，叫良定义性

③ 孩子那个 2/5，错得比"算错"深四层。 最深的一层是：他算的其实是"两杯糖水倒一起的浓度"——那个运算完全合法，只是被放进了加法的格子

④ 分数世界里同时运行着三套代数。 量用加法合并，率用 ⊕ 合并，量与率之间用乘除。四道著名错题，全是"走错了行"

⑤ 同一条公式，在加法位置上是废物，在一位法国钟表匠手里是生成全部正分数的发动机。 差别只有一个：在树里，每个分数只以一种写法出现

⑥ 一千八百年前，刘徽用六个字写下了这一讲的核心定理：势不可失本数也

如果只读一章，读第四章。

一、引言：等号两边，凭什么说是同一个数

1. 一堵墙，和一次正面穿越

先从一道一年级就能看懂的题说起。

3 ÷ 4 等于多少？

在整数范围内，这道题没有答案。3 除以 4，商 0，余 3，你得不到一个整数。

你可以说"除不尽"。但"除不尽"不是答案，那是一句认输的话。

现在把题目换个说法：

3 块饼，平均分给 4 个人，每人分多少？

这道题在现实里有答案。每个人都实实在在拿到了饼，没有谁空着手。

现实有答案，数学没有答案。

第 3 讲讲过，运算律是有条件的：加法和乘法兑现了承诺，减法、除法、乘方一条都不兑现。这一讲要往前一步："兑现承诺"这件事，恰恰规定了什么东西才有资格叫"数"。

于是每次数系扩张走的都是同一条路：不是发明新规则，而是让旧规则把新规则逼出来。 这里是第二次扩张的现场——除法在整数里算不出来，于是人类必须造一种新数，让 3÷4 有答案。

这个新数，我们叫它 3/4。

人类在这堵墙前站了很久。古埃及人有相当发达的数学，但他们的处理方式是绕开：他们倾向于把分数拆成分子为 1 的"单位分数"之和。《莱因德纸草书》（约公元前 1650 年，书记官阿默斯抄录，现藏大英博物馆）开篇整整一张表，就在解决"怎么把 2/n 拆开"这一个问题。

而在中国，这堵墙被正面穿过去了。《九章算术》卷一《方田》章，给出了世界上最早、也最完整的分数四则运算法则——约分术、合分术（加）、减分术、乘分术、经分术（除），五术齐备。公元 263 年，刘徽为它作注。

刘徽那段注里，藏着这一讲最深的东西——六个字，"势不可失本数也"。这一讲会回到它。

2. 那些规则都对，但没人问它们凭什么对

把分数这一章的规则摊开来看：

• 分子分母同乘同除，分数大小不变
• 异分母分数相加，先通分
• 计算结果要化成最简分数
• 分母不能为零
• 比较大小，先通分（或者交叉相乘）

五条，条条都对。孩子背熟了，题也做得出来，考试能拿分。

而这一讲不打算重复它们。这一讲要问的是它们共同依赖、却从来没人停下来问的那件事：

1/2 = 2/4。等号两边明明是两个不同的写法，凭什么说它们是同一个数？

请注意这个问题的分量。它不是在挑刺，它是在问地基。因为答案会分岔，而两条岔路通向完全不同的数学：

如果答"两个数，只是大小相等"——那么 1/2 + 1/3 里的那个 1/2，和 3/6 + 2/6 里的那个 3/6，就是两个不同的东西。凭什么这两次运算必须给出同一个结果？ 没有任何理由。它只能是巧合。而巧合撑不起一整套算术：孩子此后做的每一道分数题，都建立在"随便换写法都不会变"这个从未被证明的假设上。

如果答"同一个数"——那它为什么有两个名字？

"3"只有一个名字。"3456"也只有一个名字：第 1 讲讲过，按位值展开只有一种展法，3×1000+4×100+5×10+6，写不出第二种。

一个数，一个名字。这是孩子四年来建立的全部直觉。

然后分数来了：一个数，可以有无穷多个名字。

½ = 1/2 = 2/4 = 3/6 = 4/8 = 50/100 = 500000/1000000 = ……

这个等式可以永远写下去，而它们全都是同一个数。

所以这一讲真正要处理的，不是"分数怎么算"，是"分数是什么"。

而这个问题有一个非常具体的、可以让孩子当场踩进去的入口——就是那个写下 2/5 的孩子。他没有用嘴回答"1/2 和 2/4 是不是同一个数"，他用他的算法回答了。

这一讲会证明：他答的是"不是"。

3. 等号先用起来，账在初中结

孩子学分数，第一件事就是接受 1/2 = 2/4 = 4/8，理由四个字：大小不变。这个说法完全正确，而且是唯一可行的说法。

为什么？因为如果孩子追问"既然是同一个数，为什么有两个写法"，你要么回答"因为写法只是代表，数是那一整堆写法"（这是等价类，五年级孩子接不住），要么回答"它们其实是两个数，只是值一样"（这是错的，而且会把后面所有的运算规则都变成需要逐条验证的巧合）。

所以它不追问，把等号当成不言自明的东西直接用。这是对的。

但这个回避有一笔账要付，而且付账的时间点很明确：初中，分式方程，那四个字——"检验增根"。

初中会解这样的方程：

(x+1)/(x−2) = 3

两边同乘 (x−2)，得 x+1 = 3(x−2)，解出 x = 7/2。老师打叉，写四个字：要检验增根。 然后孩子被要求背一条规则：解分式方程最后必须代回原方程，让分母为零的要舍去。

为什么？ 因为"两边同乘 (x−2)"依据的是等式性质：两边同乘一个非零数，等式仍成立。如果 x−2 = 0，那一步就是两边同乘 0，而乘 0 之后任何等式都成立：

5 = 7　→　两边乘 0　→　0 = 0　√

一个假命题变成了真命题。 所以这一步不是等价变形，它可能凭空制造出解来。

而更深一层：约分本身就在偷偷吃掉条件。 (x²−1)/(x−1) 和 x+1 是同一个函数吗？在 x≠1 的所有点上取值完全相同，但 x=1 时前者无定义、后者等于 2。定义域不同，就不是同一个函数。 约分把"x≠1"这个条件吃掉了。

这恰恰就是"1/2 和 2/4 是不是同一个数"这个问题的后果。 在纯分数里，1/2 换成 2/4 不会丢任何东西，因为分母永远不为零。但一旦分子分母含字母，"换代表"这个动作就可能把"分母不为零"这个隐含条件一起换掉。

小学五年级那道化简练习，和初中那四个字，是同一件事的两种说法。

二、本体论：分数是"一堆写法"，不是"一个写法"

孩子学到的分数定义是这样的：把单位"1"平均分成若干份，表示这样一份或几份的数。

这个定义是对的，而且对三年级孩子来说是唯一能接受的定义。但它是一个模型，不是一个自足的定义。差别在哪？这一章说清楚。

1. 两个候选答案，都不够

候选一：分数是"切蛋糕"。

把单位 1 平均分成若干份，取其中几份。这就是那个定义。

它不是错的，但它不完整，而且不完整得有害。三个缺陷：

缺陷一：它解释不了 7/4。 把一个蛋糕平均分成 4 份，取其中 7 份？你得再拿一个蛋糕。可这时候"单位 1"就不再是一个蛋糕了，它是"一个蛋糕"这个抽象概念——而这个抽象，切蛋糕的比喻本身给不出来。

怎么处理这件事？用假分数和带分数，教互化。这是操作层面的解决办法，够用。但"单位 1"到底是什么，不会被展开——因为展开了就是集合论。

缺陷二：它解释不了 3/4 作为一个数。 "取了 3 份"是一个动作的结果，不是一个数。但 3/4 必须是一个数，因为它要参与运算：3/4 + 1/8 = 7/8。你不能拿"一个动作"去加"另一个动作"。

缺陷三，最致命：它解释不了负分数。 −3/4 是什么？切掉负三份？

所以：切蛋糕是一个好的入口，但它是一个模型，不是定义。模型的作用是帮助想象，定义的作用是确定"这个东西是什么"。

候选二：分数就是小数。

那说 3/4 = 0.75，分数就是小数，行不行？不行。两个理由，一个比一个硬。

理由一：循环。 0.75 是什么？它是 75/100。你用一个分数去定义分数。 这叫循环定义，什么都没说。

理由二：不覆盖。 1/3 = 0.3333……永远写不完。如果分数被定义为小数，那 1/3 这个分数就不存在——因为你永远写不出它的小数形式。

但 1/3 显然存在。它就在数轴上，就在"1 块饼分给 3 个人"这个问题里。分数与小数的互化也是学过的，但互化的前提是两者都已经存在，不能拿一个定义另一个。

所以分数不能是小数。反过来才对：小数是分数的一种特殊表示。

2. 唯一的自足定义

排除掉前两个，剩下的那个，就是数学真正采用的定义。我们一步一步搭，每一步只用已经有的东西。

第一步：分数由什么组成？

3/4 里有两个整数：3 和 4。而且顺序很重要——3/4 和 4/3 是完全不同的两个数。

在数学里，"两个东西 + 顺序重要"，这个结构有个准确的名字：有序对（Ordered Pair），记作 (3, 4)。

所以，一个分数首先是一个有序对：(分子, 分母)。

第二步：分母能不能是 0？

不能。如果允许分母为 0，整个结构会崩塌——这一讲会把这件事推导到底。这里先记下结论：

分数 = 有序对 (a, b)，其中 a 是任意整数，b 是非零整数。

第三步，最关键：什么时候两个分数是同一个？

看这个：1/2 和 2/4，是同一个数吗？

是。这是所有人都同意的，也是那个等号写下来的。

但如果分数就是有序对，那么 (1, 2) 和 (2, 4) 是两个不同的有序对——第一个分量不同，第二个分量也不同。

矛盾出现了：两个不同的有序对，必须是同一个数。

这就是分数定义的核心难题，也是导读里那个问题真正的分量所在。

解决办法只有一个：承认分数不是"一个有序对"，而是"一堆有序对"。

具体地说，我们规定：

(a, b) 和 (c, d) 算作同一个分数，当且仅当 a × d = b × c

验证一下：

(1,2) 和 (2,4)：1×4 = 4，2×2 = 4，相等 √ 

(1,2) 和 (3,6)：1×6 = 6，2×3 = 6，相等 √

 (4,6) 和 (6,9)：4×9 = 36，6×6 = 36，相等 √ 

(1,2) 和 (3,5)：1×5 = 5，2×3 = 6，不等 ×

这就是所谓的"交叉相乘"。

请注意它在这里的身份，和它在练习册里的身份完全不同：

• 在练习册里，交叉相乘是"比较分数大小的快捷技巧"（课堂上正式教的方法是先通分再比较）
• 在这里，交叉相乘是"什么叫同一个分数"的定义本身

孩子天天在用这个技巧，却不知道自己在运用一个定义。

第四步：把"一堆"变成"一个"。

现在，所有满足 ad = bc 的有序对，被归成了一堆。这一堆里的每一个有序对，都是同一个分数的一个"写法"。

数学上，这样的"一堆"有个名字：等价类（Equivalence Class）。

于是，完整的定义是：

分数（有理数）就是有序对 (a, b)（b ≠ 0）在关系 ad = bc 下的等价类。

写成集合的样子：

½ = { (1,2), (2,4), (3,6), (4,8), (5,10), …, (n, 2n), … }

这个集合本身，就是"二分之一"这个数。

不是集合里的某个成员是这个数。是这整堆东西，才是这个数。

3. 这个定义为什么是对的：必须证明三件事

上面那个"当且仅当 ad = bc"的规定，不是随便下的。

因为"同一个"这三个字，在数学里对应一个严格要求：它必须是一个等价关系（Equivalence Relation）。而等价关系必须满足三条，缺一条，整个结构就废了。

（1）自反性：任何分数和它自己是同一个。

要证 (a,b) ~ (a,b)，即 a×b = b×a。这是乘法交换律。成立。

（2）对称性：如果 A 和 B 是同一个，那么 B 和 A 也是同一个。

要证：若 ad = bc，则 cb = da。同样由乘法交换律。成立。

（3）传递性：如果 A 和 B 是同一个，B 和 C 是同一个，那么 A 和 C 也是同一个。

这一条不显然，必须认真证。 而且它最要命。因为如果传递性不成立，就会出现这种荒谬局面：

1/2 = 2/4，2/4 = 4/8，但 1/2 ≠ 4/8

那"同一个"这个词就彻底没有意义了，分数这个概念当场崩塌。

证明如下。 设 a/b = c/d，且 c/d = e/f（b、d、f 都是非零整数）。由定义：

ad = bc　……（1） 

cf = de　……（2） 

要证：af = be　（这就是 a/b = e/f 的定义）

把（1）式两边同乘 f：adf = bcf　……（3）

把（2）式两边同乘 b：bcf = bde　……（4）

（3）和（4）的中间项都是 bcf，所以 adf = bde。

现在两边同时除以 d。这一步合法吗？ 合法，因为我们在第一步就规定了分母不能为零，d ≠ 0，所以可以除：

af = be　　证毕。

（这个结论我们也用程序穷举验证过：1~6 的全部有序对，共 36 个，自反、对称、传递三条全部成立，36 个有序对塌缩成 23 个分数。）

请注意这个证明里用到的东西：乘法交换律、等量代换、以及"非零数可以约掉"。

没有一样是凭空的。 每一条都踩在第 3 讲讲过的运算律上。

而"分母不为零"这个规定，在这里第一次显出了它的必要性——如果没有它，最后那一步除法就是非法的，传递性证不出来，分数这个概念就立不住。

零不是被随意排除的。它是这套结构的地基条件。

4. 于是：一个数第一次有了无穷多种写法

现在回答导读里那个问题。1/2 和 2/4 是同一个数还是两个数？

是同一个数。而"数"这个东西，不是任何一个写法，是那一整堆写法。

这个结论的分量，值得停下来体会：

½ = 1/2 = 2/4 = 3/6 = 4/8 = 50/100 = 500000/1000000 = ……

这个等式可以永远写下去。而它们全都是同一个数——因为它们在同一堆里。

在此之前，小学数学里：

• "3"就是 3。它只有一个写法
• 第 1 讲说的"3456 = 3×10³ + 4×10² + 5×10 + 6"，看着像多种写法，其实展开结果是唯一的——按位值展开，只有一种展法

一个数，一个名字。这是孩子四年来建立的全部直觉。

然后分数来了，一句话推翻它：一个数，可以有无穷多个名字。

启蒙篇的核心命题是"数是关系而非标签"。第 1 讲讲位值制，只把这句话兑现了一半——因为 3456 的展开式唯一，孩子仍可以偷偷把符号当成一个"长一点的名字"。

分数才是这句话的真正兑现。一个有无穷多种写法的数，无论如何都不可能是标签。

这也回答了那个"回避"为什么是必要的。 说"大小不变"，孩子听到的是一个可以操作的性质，他能拿它去约分、去通分、去做题。而如果说"它们是同一个数"，孩子立刻会问"那为什么写起来不一样"——这个问题需要等价类才能回答，而等价类需要集合论。"大小不变"这四个字，把一个五年级孩子接不住的问题，稳稳地推迟了。

这一讲做的是把它接住。但接住的方式是讲给家长听，不是灌给孩子。

5. 但这件事，孩子其实早就干过一次了

这里有一件很漂亮的事。

第 3 讲第五章那个"时钟王国"：钟表上 10 点再过 4 小时是 2 点，所以 10+4=2。

现在换个角度看它。在时钟王国里，哪些数是"同一个"？

2 点 = 14 点 = 26 点 = 38 点 = … 

（因为 14−2=12，26−2=24，38−2=36，都是 12 的倍数）

这不就是一个等价类吗？

时钟王国里的"2 点"，是这一整堆数：{…, −10, 2, 14, 26, 38, …}。它们全都是同一个东西，因为它们相差 12 的倍数。

所以孩子三年级看钟表的时候，已经在用等价类了。

把两件事并排放：

同一个手法：定义一个"算同一个"的标准 → 按它把对象分堆 → 用整堆代替其中一个。

这就是等价类。它不是分数专有的怪事，它是数学处理"表示不唯一"的标准动作。往后它还会一次又一次出现：初中同余、高中的自由向量（一个向量对应无穷多条有向线段）、大学的商结构与商群。

而分数，是孩子第一次在作业本上正面遇到它。 钟表那次是偷偷遇到的，作业本这次是明着遇到的。

图 1　分数不是一个有序对，是一族有序对。

三、认识论：写法一旦不唯一，就多出一道审查

上一章定义清楚了"分数是什么"。这一章要回答一个更关键的问题：分数能算吗？怎么算才算得对？

而这里有一件事，是整个分数体系的生死线。

1. 先把"分数乘法法则"从规定变成必然

分数乘法有一个很好的解释，叫面积模型：画一个矩形，横向切 2 份取 1 份，纵向切 3 份取 1 份，重叠区域就是 1/6。这个解释是对的，而且很好。

这里补一个纯代数的版本，它显示这条法则不是"规定"，是被逼出来的。

为什么 1/2 × 1/3 必须等于 1/6？

分数的定义是：a/b 是"那个乘以 b 等于 a 的数"。所以：

(1/2 × 1/3) × (2 × 3) 

= 1/2 × 1/3 × 2 × 3　　【结合律：括号可省】 

= 1/2 × 2 × 1/3 × 3　　【交换律：重排因子】 

= 1 × 1 = 1

所以 1/2 × 1/3 就是"那个乘以 6 等于 1 的数"，也就是 1/6。没有第二种可能。

一般地，a/b × c/d = ac/bd，这个法则不是数学家拍的脑袋，是交换律和结合律联手推出来的。（我们用程序抽查了 25 组分数，全部符合。）

请注意这个手法：不是发明新规则，是让旧规则把新规则逼出来。

到这里为止，一切都好。

但现在，问题出现了。

2. 一个整数世界里从来不存在的问题

我们规定分数加法：

a/b + c/d = (ad + bc) / (bd)

验证一下：1/2 + 1/3 = (1×3 + 2×1)/(2×3) = 5/6。对。

但等一下。

还记得吗？一个分数有无穷多种写法。1/2 可以写成 3/6，1/3 可以写成 2/6。

那么问题来了：我用不同的写法去算，会不会得到不同的答案？

试一下。把 1/2 换成 3/6，把 1/3 换成 2/6：

3/6 + 2/6 = (3×6 + 6×2)/(6×6) = 30/36 

30/36 = 5/6 吗？验证：30×6 = 180，36×5 = 180，相等 √

再换一组。把 1/2 换成 5/10，把 1/3 换成 4/12：

5/10 + 4/12 = (5×12 + 10×4)/(10×12) = 100/120 

100/120 = 5/6 吗？验证：100×6 = 600，120×5 = 600，相等 √

三种不同的写法，三个不同的中间过程，同一个答案。

但这只是三次试验。试验不能代替证明。 万一在第一百万种写法组合上出错了呢？

第 3 讲讲过那个极重要的不对称：举再多例子，也不能证明"永远"；但一个反例，就足以推翻。

所以必须证明：无论选哪种写法，结果都一样。

3. 这个要求有个名字：良定义性

这个要求在数学上叫良定义性（Well-definedness）：

"良定义"的意思是——结果不依赖于你选了哪个代表元。

请注意这件事的分量。它是分数带来的一个全新义务，在整数世界里根本不存在。

为什么不存在？因为整数只有一种写法。3 就是 3，没有第二种写法。所以你在整数上定义任何运算，都不需要问"换个写法会不会变"——根本没有别的写法可换。

而分数一进来，写法不唯一了，这个义务就凭空出现了：

从此以后，你在分数上定义的任何运算，都必须先通过一道审查：它会不会因为"写法"而变卦？

这道审查，在整数世界里根本不存在。整数只有一种写法，所以"运算律成不成立"是唯一要问的事；而分数写法不唯一，于是多出一道审查：这个运算本身站不站得住。它是全新的义务，而且更难。

这里要说清一件事。 孩子学到的通分、约分、四则运算，全都已经通过了这道审查——不是碰巧通过，是几千年前刘徽他们做《九章算术》的时候就通过了。孩子不需要再审一遍，因为他用的是现成的、已经被验证过的工具。

这道审查是给"自己发明运算的人"准备的。 而第四章那个孩子，恰好就是自己发明了一个。

我们用程序做了穷举验证：在 1~5 的全部有序对上，加法与乘法都通过了良定义性检验，零反例。所以那两个法则是合法的。

而下面这个证明，是它为什么合法的全部理由。

命题：若 a/b = a₂/b₂ 且 c/d = c₂/d₂，则 (ad+bc)/(bd) = (a₂d₂+b₂c₂)/(b₂d₂)

已知（由相等定义）：ab₂ = a₂b　……（1）　　cd₂ = c₂d　……（2）

要证：(ad+bc)·(b₂d₂) = (bd)·(a₂d₂+b₂c₂)

证明。左边展开：

(ad + bc)·b₂d₂ = ad·b₂d₂ + bc·b₂d₂               

               = (ab₂)·(dd₂) + (b·b₂)·(c·d₂)　　【交换律、结合律重排】

右边展开：

(bd)·(a₂d₂ + b₂c₂) = bd·a₂d₂ + bd·b₂c₂                   

                   = (a₂b)·(dd₂) + (b·b₂)·(d·c₂)

逐项比对：

• 第一项：左边是 (ab₂)·(dd₂)，右边是 (a₂b)·(dd₂)。由（1），ab₂ = a₂b，两项相等 √
• 第二项：左边是 (b·b₂)·(c·d₂)，右边是 (b·b₂)·(d·c₂)。由（2），cd₂ = c₂d，即 c·d₂ = d·c₂，两项相等 √

两项分别相等，故左边 = 右边。 证毕。

乘法同理，证明更短：

左：(ac)·(b₂d₂) = (ab₂)·(cd₂) 

右：(bd)·(a₂c₂) = (a₂b)·(c₂d) 

由（1）（2），ab₂ = a₂b 且 cd₂ = c₂d，故左 = 右　证毕

这两个证明说的是什么？

它们说的是：无论你用 1/2 还是 3/6 还是 500/1000 来表示"二分之一"，算出来的和与积，永远是同一个数。

分数加法和乘法是真正的运算。 而"是真正的运算"这句话，需要证明才能说出口。

而"分母不为零"这个规定，在这里第二次显出必要性：如果 b、d 可以是 0，那么 bd = 0，(ad+bc)/(bd) 这个写法本身就非法了。

4. 通分也不是规定——但它只回答了一半

有了良定义性，"通分"这个动作的身份就清楚了。

通分通常给的理由是：分母就是分数单位，单位不同不能直接相加。 1/2 的单位是"半个"，1/3 的单位是"三分之一"，所以要先统一成"六分之一"，1/2 是 3 个 1/6，1/3 是 2 个 1/6，一共 5 个 1/6。

这个理由完全正确，而且是深刻的。 它和第 1 讲"3 个百不能加 4 个十"、第 2 讲"加法是同维相加"是同一条线——加法的本质是同维相加，而分母就是维度标签。

这一讲要补的是另一半：凭什么可以随便换单位？

把通分拆成四步，每步都标得出用了哪条条款：

目标：1/2 + 1/3  

第1步　3/3 = 1，2/2 = 1　　　　　【乘法单位元】 

第2步　1/2 = 1/2 × 3/3，1/3 = 1/3 × 2/2　　【乘 1 不改变值】 

第3步　1/2 × 3/3 = 3/6，1/3 × 2/2 = 2/6　　【分数乘法法则】 

第4步　3/6 + 2/6 = (3+2)/6 = 5/6　　【分配律的逆用】

全程没有一步是"规定通分"。

而第 2 步那个"乘 1 不改变值"，正是良定义性在保证的：1/2 换成 3/6，还是同一个数，所以后面算出来的结果不会变。 如果良定义性不成立，这一步就是非法的——你换了一个写法，结果可能就变了。

"为什么要统一单位"，和"为什么统一单位的动作是安全的"，是两个不同的问题。前者已经有答案了，这一讲补的是后者。

一句可以让孩子记住的话："分数加法，加的是分数单位的个数。单位不一样，就不能直接加。"

而"只能在同一个等价类里换代表，不能跳到别的类去"——这件事，一千八百年前有人用六个字说过。

图 2　通分不是规则。分母就是计数单位。

四、核心思想：2/5 不是一道错题，是一个立场

现在，我们可以处理小学数学里最著名的那个错误了。

1/2 + 1/3 = 2/5

分子加分子，分母加分母。

通常的处理是："这是错的，异分母分数相加要先通分。"并且给了理由：分数单位不同，不能直接相加。

这个处理是对的。 但它只说了"错"，没说这个错误是什么。而现在我们手里有了良定义性这把刀。用它切下去，你会看到这个错误比所有人以为的都深——它有四层，一层比一层深。

第一层：它连"函数"都不是

先给孩子的算法一个名字。定义一个新运算 ⊕：

a/b ⊕ c/d = (a+c)/(b+d)

这就是孩子在做的事。它是不是一个合法的运算？

按第三章那个标准检验：结果会不会依赖于代表元的选取？

用 1/2 和 1/3：　　1/2 ⊕ 1/3 = (1+1)/(2+3) = 2/5 

换写法 3/6 和 2/6：3/6 ⊕ 2/6 = (3+2)/(6+6) = 5/12  

但 1/2 = 3/6 且 1/3 = 2/6（已验证） 

2/5 = 0.400000，5/12 = 0.416667　→　不相等

同样的两个分数，换一种写法，⊕ 就给出不同的答案。

我们用程序穷举了 1~5 的全部有序对，找出所有"同数不同写法却导致 ⊕ 结果不同"的组合：共 1132 组违反。最小的反例是：

1/1 ⊕ 1/2 = 2/3　　vs　　1/1 ⊕ 2/4 = 3/5 

（1/2 = 2/4 是同一个数，但结果不同）

结论：⊕ 通不过良定义性检验。它根本不是一个运算。

请注意这个诊断的严格程度。我们不是说"这个答案算错了"。我们是说：这个操作在数学上没有定义。

它不满足成为"运算"的最低资格——给定输入，必须有唯一确定的输出。而 ⊕ 对同一个输入，会给出多个互相矛盾的输出。

现在看这一层最深的那个含义。

那 1132 组反例，每一组都在说同一句话。拿最小那组看：

1/1 ⊕ 1/2 = 2/3 

1/1 ⊕ 2/4 = 3/5

1/2 和 2/4 是同一个数。但 ⊕ 给出了两个不同的结果。

这说明 ⊕ 认的是写法，不是数。

也就是说——用 ⊕ 的人，实际上把 1/2 和 2/4 当成了两个不同的数。

这就是导读那个问题的答案。孩子没有用嘴回答"1/2 和 2/4 是不是同一个数"，他用他的算法回答了。他答的是"不是"。

而他学过的每一条规则——约分、通分、四则——都在无声地回答"是"。所以孩子的 2/5 和正确的 5/6 之间的分歧，根子上不是计算分歧，是本体论分歧：他们对"什么是一个数"的看法不一样。

一道三年级的错题，底下压着一个哲学立场。

第二层：就算修好了，它依然不是加法

故事到这里还没完。

有人会说：那好办，我们规定每个分数只能用一种写法——只准用最简分数。1/2 只能写 1/2，不许写 2/4。这样代表元唯一了，⊕ 不就成了合法函数吗？

对，它确实成了一个合法函数。但它依然不是加法。

加法兑现了四条条款：交换律、结合律、单位元、分配律。我们拿 ⊕ 去逐条检验这四条（全部经程序穷举，23 个最简分数）：

四条条款，废了三条。

具体看：

单位元被毁。 a/b ⊕ 0/1 = (a+0)/(b+1) = a/(b+1)，这不等于 a/b：

1/2 ⊕ 0 = 1/3　　（应该是 1/2） 

3/4 ⊕ 0 = 3/5　　（应该是 3/4） 

2/3 ⊕ 0 = 1/2　　（应该是 2/3）

穷举 23 个分数，23 个全部被破坏。

0 不再是那个"什么都不做"的数。 而第 2 讲讲过，"存在一个加了等于没加的数"是加法之所以是加法的基本条款。这一条一毁，⊕ 就不可能是在做加法。

结合律被毁。 反例：

(1/6 ⊕ 1/6) ⊕ 1/5 = 2/11 

1/6 ⊕ (1/6 ⊕ 1/5) = 3/17 

2/11 ≠ 3/17

分配律被毁。

2 × (1/2 ⊕ 1/3) = 2 × 2/5 = 4/5 

2×1/2 ⊕ 2×1/3 = 1 ⊕ 2/3 = 3/4 

4/5 ≠ 3/4

而作为对照，真加法在同一批分数上，单位元和分配律全部成立。

请注意这里"最简分数"这个概念的救命作用。 要求"结果约到最简"，理由通常只有一个：规范。但它还有一个没人会讲的用途：最简分数让每个等价类只有一个代表，从而让 ⊕ 这种"认写法"的运算至少能成为一个合法函数。

一条看起来只是格式要求的规范，在这里成了一个结构的前提。

图 3　第一层：1132 组反例。第二层：三条身份条款被废。

第三层：孩子的直觉不是乱来的，他抓到了一个真性质

前两层都在说孩子错了。但第三层要说一件让人不安的事：孩子那个直觉，抓到了一个真实的数学性质。他只是把它放错了格子。

先看两个数：

1/2 = 0.5　　　1/3 ≈ 0.333 

真加法：1/2 + 1/3 = 5/6 ≈ 0.833 

孩子的 ⊕：1/2 ⊕ 1/3 = 2/5 = 0.4

请注意这两个结果的位置：

• 5/6 比两个加数都大
  ——加法在往外扩
• 2/5 恰好落在 1/3 和 1/2 之间
  ——⊕ 在往里收

孩子为什么会写 2/5？因为在他对分数的直觉里，"把两个分数合起来"应该得到一个和它们差不多大的东西。1/2 和 1/3 都是"一半上下"的数，合起来还在"一半上下"，很合理。

而这个直觉，对应一条真定理。

⊕ 有个正式名字：中位数（Mediant）。它满足：

若 a/b < c/d（b、d 为正），则 a/b < (a+c)/(b+d) < c/d

证明。设 a/b < c/d，即 ad < bc（交叉相乘，b、d 为正所以不等号方向不变）。

先证左半 a/b < (a+c)/(b+d)：交叉相乘比较 a(b+d) 与 b(a+c)

左 = ab + ad 

右 = ab + bc 

因为 ad < bc，两边同加 ab，得 ab + ad < ab + bc 

即 a(b+d) < b(a+c)，故 a/b < (a+c)/(b+d)　√

再证右半 (a+c)/(b+d) < c/d：交叉相乘比较 d(a+c) 与 c(b+d)

左 = ad + cd 

右 = bc + cd 

因为 ad < bc，两边同加 cd，得 ad + cd < bc + cd 

即 d(a+c) < c(b+d)，故 (a+c)/(b+d) < c/d　√

证毕。（我们抽查了 28 组满足 a/b < c/d 的分数，定理违反次数为 0。）

所以孩子不是瞎猜。他掌握了一条真定理：⊕ 的输出永远严格落在两个输入之间。

他的错误只有一个，而且非常精确：他把一条"找中间"的定理，放进了"求总和"的格子里。

这两件事在整数世界里从不冲突——3 和 5 的中间是 4，3 和 5 的和是 8，谁都不会搞混。但在分数世界里，"中间"和"和"是两个真实存在的、完全不同的运算，而孩子手上只有一个格子。

这就是为什么 1/2+1/3=2/5 这个错误在全世界通用。 它不是粗心，不是没背熟，不是练得少。它是两个真实运算之间的范畴混淆——而"在两个分数中间找一个分数"这件事，在小学阶段不会被当成一个运算来教，所以孩子手上没有这个格子。

但故事还没完。他手上没有"找中间"这个格子，可他确实算对了某样东西。那样东西是什么，才是这件事最深的一层。

第四层：他其实一直在算另一件东西，而那件事完全合法

前三层说了三件事：⊕ 通不过良定义性检验；就算修好了也不是加法；他抓到的"往里收"是一条真定理。

但还剩一个问题没回答：那他到底在算什么？

"找中间"只是它的几何样子。它还有一个物理样子，而这个样子，孩子可能每天都在算。

先看一道四年级的应用题：

甲班 200 人，答对 100 人；乙班 300 人，答对 100 人。 

两个班合起来，正确率是多少？

没有任何一个孩子会算错这道题。 答案是：

总答对 100 + 100 = 200 

总人数 200 + 300 = 500 

正确率 = 200/500 = 2/5

分子加分子，分母加分母。

而这正是孩子写在 1/2 + 1/3 后面的那个运算。

他把 1/2 读成了"200 人里对 100 人"，把 1/3 读成了"300 人里对 100 人"，然后求合并正确率。 在这个读法下，2/5 不是错的——它是唯一正确的答案。

再看一道：

一杯糖水：200 克溶液里有 100 克糖（浓度 1/2） 

另一杯糖水：300 克溶液里有 100 克糖（浓度 1/3） 

两杯倒在一起，浓度是多少？

糖：100 + 100 = 200 克 

溶液：200 + 300 = 500 克 

浓度 = 200/500 = 2/5

又是分子加分子、分母加分母。

还有平均速度：

前 2 小时走了 100 公里（速度 100/2 = 50 公里/时） 

后 3 小时走了 100 公里（速度 100/3 ≈ 33 公里/时） 

全程平均速度 = 总路程 ÷ 总时间 = (100+100)/(2+3) = 200/5 = 40 公里/时

还是它：分子加分子，分母加分母。

而且请注意那个 40——它恰好落在 33 和 50 之间。这正是第三层那条中位数定理。 平均速度必然介于最快和最慢之间，天经地义；而"天经地义"的背后，是一条可以证明的定理。

所以 ⊕ 有一个准确的身份：它是"合并比率"的运算。

凡是"总量除以总份数"这种结构的量——浓度、正确率、平均速度、单价、密度、命中率——合并两个的时候，用的都是 ⊕，不是加法。

而分数恰恰就是这种结构的记号：a/b 可以是"a 份糖在 b 份溶液里"，可以是"b 个人里对了 a 个"，可以是"b 小时走了 a 公里"。

孩子的错，精确地说是这一句：他把一个"合并比率"的运算，用在了"求总量"的位置上。

1/2 + 1/3 问的是"两个量加起来是多少"，那是加法，答案是 5/6。 但孩子算的是"两个比率合并起来是多少"，那是 ⊕，答案是 2/5。

两个问题都合法。两个答案都正确。它们只是回答了不同的问题。

这里可以给出 ⊕ 的精确数学身份。

设两个分数是 a/b 和 c/d。以分母为权重做加权平均：

[b × (a/b) + d × (c/d)] ÷ (b + d) 

= (a + c) ÷ (b + d)  ← b 和 a/b 约掉，d 和 c/d 约掉 

= a/b ⊕ c/d

⊕ 就是以分母为权重的加权平均数。 我们用程序在 1~11 的全部有序对上穷举了 14641 组，⊕ 与加权平均的结果完全一致，零反例。

一旦知道它是加权平均，前三层里那些"奇怪的性质"立刻全部有了统一解释：

五条性质，全部由"它是加权平均"这一件事决定。

尤其请看幂等性这一条，它是全套诊断里最锋利的一刀：

1/2 ⊕ 1/2 = 2/4 = 1/2　　（浓度不变，天经地义） 

1/2 + 1/2 = 1　　　　　　（量翻倍，天经地义）

一个运算如果满足 x⊕x = x，它就绝不可能是加法。 因为加法的本质是"累积"，累积两次必然翻倍。而平均的本质是"混合"，混合两个相同的东西必然还是它自己。

孩子写下 1/2 ⊕ 1/2 = 1/2 的时候，他不会觉得有任何不对——因为在他的直觉里，分数是率，而率混合起来就该是这样。

他的直觉完全正确。他只是没意识到，自己把率的运算用在了量的位置上。

而这恰好接上了第五章那道错题。

还有一类题会把这件事挑明："用去 1/2 米"和"用去 1/2"的区别——前者是量（名词，有单位，可以相加），后者是率（动词，无单位，不能相加）。

现在这件事有了完整的解释：

• 量相加，用加法。
   1/2 米 + 1/3 米 = 5/6 米。两个长度合并成一个更长的长度。
• 率合并，用 ⊕。
   浓度 1/2 和浓度 1/3 混合，得到浓度 2/5。两个比率合并成一个新的比率。

孩子犯的不是一个错误，是把两套运算混成了一套。 而这两套运算在小学阶段从未被并排讲过——分数加法（量的运算）学过，"求一个数的几分之几"（率的应用）也学过，但没有人告诉孩子：率与率合并时，用的根本不是加法。

这不是谁的疏漏——合并比率涉及加权平均，而加权平均的严格处理需要权重概念，那是初中的事。把"1/2 米"和"1/2"分开教，已经是在尽力防止混淆了。

但家长可以做一件事：当孩子算出 2/5 的时候，不要只说"错了，要通分"。

问他一句："你算的这个 2/5，如果是一道糖水题，它是对的吗？"

他会愣住。然后他会发现：他自己的答案，在另一个问题上完全正确。

这一刻他学到的东西，比二十道通分练习都多：同一个算式，问的是不同的问题时，对错会反过来。所以他必须先看清题目在问什么，再决定用哪套运算。

这就是"量率对应"这件事真正的分量。它常被当成一个解题技巧，其实它是分数世界里两套运算的分界线。

而这条分界线，能把分数世界里几乎所有错题一次讲完。这张完整的地图，值得单独铺开看。

图 4　同一个公式，两道不同的题。问总量它是错的，问合并比率它是对的。

一台发动机，和一个钟表匠

把"永远找得到中间"这件事做到极致，会得到一个惊人的结构。

从一个极端开始：0/1 和 1/0（后者理解为无穷大）。取它们的中位数：(0+1)/(1+0) = 1/1

现在有三个数：0/1、1/1、1/0。再各取相邻两个的中位数：

0/1 与 1/1 → (0+1)/(1+1) = 1/2 

1/1 与 1/0 → (1+1)/(1+0) = 2/1

再一轮：

0/1 与 1/2 → 1/3 

1/2 与 1/1 → 2/3 

1/1 与 2/1 → 3/2 

2/1 与 1/0 → 3/1

再一轮：1/4、2/5、3/5、3/4、4/3、5/3、5/2、4/1……

这棵树有个名字：Stern-Brocot 树。

1858 年，德国数学家莫里茨·斯特恩（Moritz Stern）写下了它。三年后，1861 年，一位法国钟表匠阿希尔·布罗科（Achille Brocot）独立发现了同一棵树——他研究它，是为了设计齿轮的传动比。钟表匠要在有限的齿轮齿数里，找到最接近某个目标比值的组合，而这棵树把全部可能的比值不重复地列了出来。

请注意这个巧合的分量：第 3 讲第五章我们用"时钟王国"讲规则可以换，这一讲发明这棵分数树的人，正是一位钟表匠。 时间、齿轮、分数比——它们在同一个地方相遇，不是偶然。钟表是"比率"最古老的物理化身。

而这棵树有一条惊人的性质：

它把所有正分数（最简形式）不重复、不遗漏地全部列出来，而且严格递增。

我们用程序生成了前 12 层，验证结果：

新插入分数共 4095 个 每个新分数都自动是既约的（无需约分）  √ 

新分数之间从不重复  √ 

每一层严格递增  √ 

分母 ≤5 的 10 个正分数，全部出现  √ 

3/7 出现在第 5 层，5/8 出现在第 5 层  √

请注意"自动既约"这一条——它不是显然的。(1+2)/(2+3) = 3/5 是最简的，但凭什么永远如此？因为这棵树里相邻两项永远满足 bc − ad = 1，而这直接推出互质。

（顺便：这个"相邻两项行列式为 1"的性质，在另一个同源结构里也成立。把分母不超过 n 的最简分数按大小排成一列，叫法里序列（Farey sequence）。我们验算了 n=4、5、6、8，相邻两项的 bc−ad 全部等于 1。法里序列最早由 Charles Haros 在 1802 年给出并证明，John Farey 1816 年独立提到，名字却留在了 Farey 身上——数学史上的命名，常常不公平。）

现在，回到那个最关键的问题。

同一个公式 (a+c)/(b+d)：

• 在分数加法的位置上，它是废的——不良定义，且违反三条身份条款
• 在Stern-Brocot 树里，它是核心引擎——不重复不遗漏地生成全部正分数

差别在哪？

差别只有一个：在树里，每个分数只以一种写法出现。

一旦表示唯一，第一层的良定义性问题当场消失。而树里也根本不需要结合律和单位元——⊕ 在树里只用于相邻两项之间，它唯一需要的性质是"输出落在两个输入之间"，也就是那条中位数定理。

这就是全篇最值得回味的一句话：

同一条规则，在不同的结构里，合法性完全不同。

一条公式合不合法，不取决于公式本身，取决于它所在的系统允许什么。

这正是第 3 讲第五章"三个王国"的延续。第 3 讲说：换一个王国，有些条款被废除（"越加越大"），有些被保留（交换律、分配律）。这一讲我们看到同一件事的另一面：换一种用法，同一条公式可以从废物变成发动机。

脱离系统谈对错，是没有意义的。

而这恰好也是第三、四层那个诊断的完整答案：孩子的直觉（找中间、合并比率）是对的，他放的位置（求总量的加法）是错的。把同一个公式搬到树里，它就成了钟表匠吃饭的家伙。

图 5　孩子的"错误"算法，在这里生成了全部正分数。

五、四道错题，一张地图，和一句一千八百年前的话

第四章把 2/5 这个错误解剖到底了。这一章讲另外三道，然后在最后把它们四个放进同一张地图——那张地图能解释小学阶段几乎所有分数错题的共同病因。

1. 先回到刘徽那六个字

公元 263 年，刘徽注《九章算术》"合分术"（分数加法），写下了一段叫"齐同术"的注文：

"凡母互乘子谓之齐，群母相乘谓之同。同者，相与通同，共一母也；齐者，子与母齐，势不可失本数也。"

前半段是在讲通分：分母互乘对方的分子叫"齐"，所有分母相乘叫"同"；"同"就是让大家共用一个分母，"齐"就是分子跟着变。

这和第三章那四步推导，讲的是同一件事。 一千八百年前，中国的数学家已经把通分的算理写成了操作规程。

但真正惊人的是最后六个字："势不可失本数也。"

变换的时候，不能丢掉它本来的数。

用今天的话说：你只能在等价类内部换代表，绝不能跳到别的等价类去。

1/2 换成 3/6　→ 还在原来那一堆里，合法 

1/2 换成 2/3　→ 跳出去了，那是另一个数

这就是"约分""通分"这两个操作的全部合法性来源，也是良定义性的中国古代表述。

而它恰好就是第四章那个 2/5 的病灶：孩子用 ⊕ 的时候，跳出了等价类。1/2 ⊕ 1/3 = 2/5，而 2/5 既不在 1/2 那一堆里，也不在 1/3 那一堆里，它甚至不等于 1/2+1/3。他把"本数"丢了。

一千八百年前，刘徽用六个字写下了这一讲的核心定理。

刘徽接着还写了一句更大的话："乘以散之，约以聚之，齐同以通之，此其算之纲纪乎。"——乘法把它拆开，约分把它聚拢，齐同把它打通，这就是运算的总纲。

"算之纲纪"，说的就是第 3 讲那三条律——加上"不能丢掉本数"这一条。

2. 第二道："用去 1/2 米"和"用去 1/2"

症状

一根绳子长 6 米，用去 1/2 米，还剩多少米？ 

一根绳子长 6 米，用去它的 1/2，还剩多少米？

孩子给出同一个答案，或者根本看不出这是两道题。

（答案：第一道 6 − 0.5 = 5.5 米；第二道 6 × (1−1/2) = 3 米。）

病灶

"1/2 米"是一个量——它有单位，它就是 0.5 米，和绳子原来多长毫无关系。

"1/2"是一个率——它没有单位，它描述的是"用去的长度和原来长度的关系"，必须先知道原来多长才能算出具体是多少。

一个是数，一个是关系。

用第二章的语言说得更精确："1/2 米"是数轴上一个确定的点。而"1/2"是一个作用——它把任何一个长度变成它的一半。

前者是名词，后者是动词。

这就是为什么"1/2"不能带单位——动词没有单位。

这也解释了"50% 米"为什么错：百分数是率，率是动词，动词不带单位。

而这正是第 2 讲那条主干暗线在分数上的现身：乘法创造新的量。

3 米 ÷ 2 秒 = 3/2 米/秒　（既不是米，也不是秒——一个新单位） 

12 元 ÷ 4 个 = 3 元/个　　（单价，一个新单位） 

1/2 米 × 1/3 米 = 1/6 平方米　（单位从米变成平方米）

乘法造面积，除法造率。两者都是升维。 "率"这个东西，就是除法创造出来的新单位。

孩子分不清"1/2 米"和"1/2"，本质是他不知道除法会创造新种类的量。

顺便说清楚一个词："量率对应"——找到具体的量，对上它占的分率。它的正式说法是"求一个数的几分之几是多少"（乘法模型）和"已知一个数的几分之几是多少，求这个数"（除法模型）。说法不同，讲的是同一件事，而它确实是小学阶段最难的应用题之一。

根治：强制加单位。给孩子立一条规矩：写分数的时候，必须想清楚它后面能不能加单位。然后做配对练习，把下面这些说法分成两堆：

用去 1/2 米　／　用去它的 1/2　／　吃了 3/4 个苹果　／　吃了总数的 3/4 

长 5/8 米　　／　是全长的 5/8　／　重 2/5 千克　　／　是原来的 2/5

能加单位的是量（名词），不能加的是率（动词）。做完再教一句口诀："量带单位，率不带；见到率，先找单位 1。"

3. 第三道：单位 1 找错

症状

一桶油，第一次用去 1/3，第二次用去余下的 1/3，还剩多少？ 

孩子的典型做法：1 − 1/3 − 1/3 = 1/3 

正确答案：第一次剩 2/3；第二次用去 2/3 × 1/3 = 2/9；还剩 2/3 − 2/9 = 4/9

病灶

两个 1/3 的单位 1 不是同一个。

第一个 1/3 的单位 1 是"整桶油"，第二个 1/3 的单位 1 是"第一次用完后剩下的油"。

用本章的语言说：孩子把分数理解成了一个固定的量（"三分之一就是那么多"），而不是一个作用于某个对象的操作（"取这个东西的三分之一"）。

操作必须先有对象。对象变了，结果就变了。

而真相是：这不是两次减法，是两次乘法。

第一次：x → (2/3)x 

第二次：(2/3)x → (2/3) × (2/3)x = (4/9)x

它是复合，不是叠加。

这一点极其重要。因为它通向一个成年人都常犯的错误："先 8 折再 9 折"等于 0.8 × 0.9 = 0.72，是 7.2 折，不是 7 折。

数学根源和五年级那道油桶题一模一样：把复合当成了叠加。

• 叠加
  是线性的：每次减少固定的量，x − a − a − a
• 复合
  是指数的：每次乘以一个固定的比例，x × p × p × p

注意这里又一次出现了第 2 讲那条主干暗线：乘法在升维。 叠加是在同一条线上走，复合是每走一步就乘一次——两次打折不是"打了两折"，是"乘了两个比例"。这个观念会一路跟到初中的增长率、高中的指数函数、大学的复利模型。

根治：画线段图，并且强制标注单位 1。不是画个示意图，是必须在线段旁边写明"单位 1 是什么"。

第一层线段：整桶油，标注"单位 1"。用去 1/3，画出剩下的 2/3。 第二层线段：把剩下的 2/3 单独拿出来，重新标注"新的单位 1"。再分成 3 份，用去 1 份。

"重新标注"这个动作是关键。 它逼着孩子意识到：单位 1 不是固定的，它会随着题意改变。

一句提醒："每出现一个分数，就问一次——它是谁的几分之几？"

4. 四道错题，其实是同一张地图上的四个点

到这里，四道错题都解剖完了：

① 1/2 + 1/3 = 2/5 

② "用去 1/2 米" 与 "用去 1/2" 分不清 

③ 两次用去 1/3，剩 1/3（应为 4/9） 

④ "50% 米"

它们看起来毫不相干：一个是运算错，一个是单位错，一个是复合错，一个是表述错。

但它们其实是同一个错误的四次现身。而那个错误，是不知道分数世界里同时运行着三套代数。

第一套：量的代数。

量是有单位的东西：3 米、1/2 千克、5/6 平方米。

量之间用加法合并，而且必须同维相加——这正是第 2 讲那条主干：

1/2 米 + 1/3 米 = 5/6 米　　√（还是长度） 

1/2 米 + 1/3 千克　　　　　×（维度不同，不能加）

第二套：率的代数。

率是没有单位的东西：浓度 1/2、正确率 3/4、折扣 0.8、男生占 2/5。

率描述的是关系，不是东西。所以率不能用加法合并——两杯糖水浓度"相加"没有物理意义：

浓度 1/2 + 浓度 1/3 = 5/6　　这个数不对应任何真实浓度

率与率合并，用的是 ⊕：

浓度 1/2 ⊕ 浓度 1/3 = 2/5　　√（两杯倒一起的真实浓度）

第三套：量与率之间的代数。

率作用在量上，用乘法：

6 米 × 1/2 = 3 米　　　　（率作用于量，还是量）

而量除以量，会创造出一个新的率：

3 米 ÷ 2 秒 = 3/2 米每秒　（既不是米也不是秒——一个新单位）

这正是第 2 讲那条主干暗线的又一次现身：乘法在升维。 量乘量升维（1/2 米 × 1/3 米 = 1/6 平方米），量除量造率。率这个东西，就是除法创造出来的新种类的量。

现在把三套代数画成一张表：

四道错题，全部是"把某一行的运算，用在了另一行的位置上"：

四道题，一张地图，四条走错的路。

这张地图还有一个更狠的用处：它能解释孩子为什么"看起来对"。

回到第四章那个 ⊕。它满足幂等（x⊕x=x）、交换，结果永远落在两个输入之间。当时我们说这是"平均数型运算的通病"。

现在可以说得更准确：这是"率的代数"的正常法则。

往一杯浓度 1/2 的糖水里，再倒一杯浓度 1/2 的糖水，浓度还是 1/2——这就是幂等。 往浓糖水里加水（浓度 0），浓度下降——这就是"结果落在两者之间"。

浓度 1/2 ⊕ 水(0/1) = 1/3 < 1/2　　√ 稀释变淡 

浓度 1/2 ⊕ 浓度 1/2 = 1/2　　　　√ 幂等 

浓度 1/3 ⊕ 浓度 1/2 = 2/5　　　　√ 介于两者之间

⊕ 的每条"奇怪性质"，都精确对应一个真实的物理事实。 它不是残缺的加法，它是一套完整的、自洽的、有物理意义的代数。

所以孩子写 2/5 的时候，他的直觉里跑的是率的代数——而那套代数在他做过的糖水题、正确率题、平均速度题里，每一次都是对的。

他不是不会算。他是不知道该先判断自己在哪一套代数里。

这件事的分量，比"少了一道错题"大得多。

因为它给出了一个可以随身带走的判断动作。以后遇到任何分数题，先问一句：

这个分数，是量还是率？

• 是量（能加单位：米、千克、个）→ 用加法合并，注意同维
• 是率（不能加单位：浓度、正确率、折扣、占几分之几）→ 用 ⊕ 合并，或者用乘法作用在量上
• 题目给了率、要求量 → 找单位 1，乘
• 题目给了量、要求率 → 两个量相除（这会造出一个新单位）

一句口诀：见到分数先问"它是谁的几分之几"。答得上来，它是率；答不上来（它自己就是个东西），它是量。

这不是解题技巧。这是三套代数的入口。而它完全在小学范围内——孩子不需要知道"加权平均"这四个字，他只需要知道：糖水混合和绳子接起来，不是同一件事。

图 6　三套代数：四道错题的统一地图。孩子不是不会算，是不知道该先判断自己在哪一套代数里。

5. 小结：分数的规则可以脱离意义独立运行

四道错题，病灶是同一个——孩子把分数当成了一对数字，而不是一个数；把率当成了一个量，而不是一个作用。而这两句话说的，正是上一节那张地图：他不知道自己站在三套代数里的哪一套。

而这一讲到这里，已经给出了最锋利的诊断工具：良定义性。

分数运算的每一步，都有明确规则：

• 通分：找最小公倍数
• 约分：找最大公因数
• 加法：分母不变，分子相加
• 除法：乘以倒数
• 比大小：先通分再比较，或交叉相乘

每一条都可以被完整地执行，而不需要理解任何东西。

一个孩子可以把"交叉相乘"用得炉火纯青，比较任意两个分数的大小从不出错——同时完全不知道交叉相乘是"相等"的定义，完全不知道 3/4 意味着什么。

他可以背"分子分母同乘同除，分数大小不变"，做对一百道题——同时从来没意识到自己刚刚接受了"一个数有无穷多种写法"这件怪事。

他甚至可以把"分子加分子分母加分母"用得极熟练，在某类题上屡试不爽——同时不知道这个操作在分数加法里根本不存在，而在 Stern-Brocot 树里却是核心引擎。

这就是分数教学的陷阱：规则的完备性，掩盖了理解的缺失。

第 2 讲说过，四则运算比位值制更危险，因为它不暴露——卷面全对但一无所知。分数把这个陷阱又加深了一层。 因为分数的规则更纯粹、更可以脱离意义独立运行，而且它多了一个整数世界里没有的负担：每一步都要在无穷多种写法里选一个，而选择本身就可能出错。

古埃及人因为缺少一个概念，绕开了这堵墙；今天的孩子接受了全套记法和规则，却可能同样缺少那个概念，卡在"能算但不懂"上。

一个文明绕了几千年，一个孩子可能卡六年。而同一个原因：把分数当成了操作对象，而不是当成一个数。

所以我们这一讲反复强调折纸、强调数轴上的同一个点、强调"你发现了什么"——不是教学法上的保守，而是在抵抗分数自带的这个陷阱。

图 7　一个是名词，一个是动词。动词没有单位。

六、思想渗透：分数的两次远征

如果分数只是"表示部分的数"，它撑不起这一讲。它的真正分量在于：它是数系扩充的第一步，也是人类第一次被迫承认"现有的数不够用"。

远征一：向密——数轴从一串珠子变成一条线

整数在数轴上是一串孤立的点：1、2、3……点与点之间是空的。

分数一进来，情况完全变了。0 和 1 之间塞进了无穷多个分数，1 和 2 之间也是，任意两点之间都是。

数轴从"一串珠子"变成了"一条线"。

怎么证明"任意两个分数之间还有分数"？

第四章那条中位数定理就够了：设 a/b < c/d，则 (a+c)/(b+d) 严格落在它们中间，而它显然还是个分数（两个整数之比）。

所以：任意两个分数之间至少还有一个分数。反复使用，就有无穷多个。

这叫稠密性（Density）。

请体会这个发现和第 1 讲那个发现的呼应：

• 启蒙篇那个"加 1 游戏"，让孩子发现整数是无限延伸的（往上没有尽头）；第 1 讲又让他看见数位表"往右永远画不完"
• 这一讲，孩子通过"找中间"发现分数是无限稠密的（往里也塞不满）

这是孩子第二次遇见"无限"，而且这次的无限更令人眩晕。

因为整数的无限是"数不完"——但它有明确的走法：每个数都有一个紧接着的下一个。1 的下一个是 2，2 的下一个是 3。你可以一个一个数下去。

分数的无限不是这样。它没有"下一个"。

1/2 的下一个分数是什么？没有答案。你随便说一个，比如 0.6 = 3/5，那么 1/2 和 3/5 之间还夹着 (1+3)/(2+5) = 4/7；换成 4/7，中间又有 (1+4)/(2+7) = 5/9。这个游戏永远没有终点，所以永远不存在"紧接着的那一个"。

启蒙篇里说，无限不是一个数字，而是一个过程。这一讲把"过程"具体化了：无限是可以被反复操作的——你总能再找一次中间。

但这里有一件更微妙的事，值得家长自己想一想。

Stern-Brocot 树把全部正分数排成了一列（一层一层地）。既然分数没有"下一个"，怎么又能排成一列？

因为"排成一列"和"按大小排"是两件事。

树的排列顺序是按层生长的：1/1，然后 1/2、2/1，然后 1/3、2/3、3/2、3/1……每一层内部是递增的，但整体不是按大小排的——第 5 层的 1/4 排在第 4 层的 3 后面，尽管 1/4 比 3 小得多。

我们验算过：树的前 7 层，每层内部都严格递增，但逐层展平后整体并不递增。

所以这一列不是数轴上的顺序，它是一个"清点顺序"。 就像你清点一堆散落的珠子：你可以一颗一颗数完（能排成一列），但数珠子的顺序和珠子在桌上的位置无关。

这个区分很重要，因为它通向一个深刻的结论：分数虽然挤满了数轴，它们却仍然是"可清点"的，而数轴上的点不是。这是大学的内容，此处只留一个印象。

至于稠密和连续，是另外一对概念，也是大多数成年人一辈子都容易混淆的：

• 稠密
  ：任意两点之间还有别的点（分数做到了）
• 连续
  ：没有任何缝隙（分数没做到，见远征二）

一个可以问孩子的具体问题（三年级就能懂）："1/2 和 3/5 之间，能不能找一个分数？"——能，(1+3)/(2+5) = 4/7。再找？(1+4)/(2+7) = 5/9。这个游戏永远玩不腻，也永远玩不完。 这就是稠密。

远征二：向危——第一个不听话的数

分数把数轴填得很密。密到任意两个分数之间都有无穷多个分数。

那它填满了吗？

没有。

公元前 5 世纪，希腊的毕达哥拉斯学派信奉一条信条：万物皆数——这里说的"数"，指整数和整数之比。在他们看来，宇宙的一切都可以用分数表达。这不只是数学观点，近乎信仰。

然后出事了。学派成员发现：边长为 1 的正方形，它的对角线长度是 √2，而这个数无法写成任何两个整数之比。

为什么 √2 写不成分数？这个可以证明，而且证明极其漂亮。家长读懂它就够了，不要讲给孩子。

用反证法。假设 √2 = a/b，其中 a/b 是最简分数（分子分母互质）。那么 2 = a²/b²，即：

a² = 2b²　……（1）

所以 a² 是偶数，因此 a 是偶数（奇数的平方必为奇数）。设 a = 2k，代入（1）：

4k² = 2b²，即 b² = 2k²　……（2）

所以 b² 是偶数，因此 b 也是偶数。

a 和 b 都是偶数——它们有公因子 2。

可我们假设了 a/b 是最简分数，即分子分母互质，它们不能有公因子。

矛盾。 证毕。

请把证明里那一步再看一眼：

"假设 √2 = a/b，其中 a/b 是最简分数"

这一步用到了一个前提：任何分数都能化成最简分数，而且最简分数是唯一的。

这个前提成立吗？它需要证明。 而这正是本章最要紧的一处呼应。

定理：每个分数等价类中，最简分数（分子分母互质）存在且唯一。

存在性：反复约去公因子。因为分子分母是正整数，每次约分都严格变小，不能无限进行下去，所以必然停在互质的状态。（这一步依赖"正整数不能无限递减"。）

唯一性：假设同一个等价类里有两个最简分数 a/b 和 c/d（a与b互质，c与d互质），且 a/b = c/d。由相等定义：ad = bc。

因为 b 整除 ad（ad = bc，右边含因子 b），而 a 与 b 互质——所以 b 必须整除 d。

同理，因为 d 整除 bc，而 c 与 d 互质，所以 d 必须整除 b。

b 整除 d，d 也整除 b，且都是正整数，只能是 b = d。代回 ad = bc，得 ab = cb，即 a = c。

所以 a/b 和 c/d 是同一个分数。证毕。

如果没有这个定理，√2 的反证法就不成立。

因为你无法保证"a/b 已经化到最简"，也就无法从"a、b 都是偶数"推出矛盾。

一个小学五年级的化简练习，是两千四百年前那场数学危机的证明所依赖的地基。

而"最简分数"这件事，正是那棵 Stern-Brocot 树能成立的前提——因为树里每个分数只以最简形式出现一次，⊕ 才成为合法函数。

同一个定理，撑起了三件事：一条两千四百年前的证明，一棵一百六十多年前的树，和一个四年级孩子天天在做的约分练习。"结果要化成最简分数"这句话背后的地基，比练习册上那一格空格深得多。

回到历史。√2 的发现意味着：分数没有填满数轴，数轴上还有洞。

而这些洞，比分数还多得多。事实上，"洞"比分数更多——这是一个严格结论：分数可以排成一列（Stern-Brocot 树就是那个排列），而数轴上的点不能，后者的无穷等级严格高于前者。

所以数轴上绝大部分点，都不是分数。

这个"洞"，人类花了两千多年才真正补上（19 世纪戴德金分割与康托尔基本序列）。

而它的起点，就是小学五年级那个"分数很稠密"的直觉——稠密，但仍然不够。

这一章要留给孩子的，只有一句话：数轴上有些点，分数够不着。 让他对"数不够用"这件事留下一个印象就够了。√2 的严格证明、无理数、实数，都是初中的事。

顺便结一笔账：零的第三份工作

第 1 讲说，零是位值制的灵魂——教皇西尔维斯特二世的算板有九个符号，缺了第十个，整套系统就立不起来。在那里，零是地基。

第 2 讲说，零有两种虚无：a+0=a（透明），a×0=0（抹除）。

这一讲，零的第三份工作出现了：它是除法的边界。

为什么分母不能为 0？ 现在我们有完整的工具，可以推到底。

除法的定义是：a ÷ b = c，当且仅当 c × b = a。分两种情况：

情况一：a ≠ 0（比如 5 ÷ 0）。 若 5 ÷ 0 = c，则必须有 c × 0 = 5。但任何数乘 0 都等于 0，所以 c × 0 = 0，于是 0 = 5。矛盾。 → 没有任何数满足要求，5 ÷ 0 无解。

情况二：a = 0（比如 0 ÷ 0）。 若 0 ÷ 0 = c，则必须有 c × 0 = 0。这个式子 c = 1 成立，c = 2 成立，c = 999 成立，c 取任何数都成立。→ 0 ÷ 0 的解不唯一。

为什么这两种情况都是致命的？ 因为"运算"这个词有严格要求：给定输入，必须有且仅有一个输出。

• "有"——排除情况一（5÷0 根本没答案）
• "仅有一个"——排除情况二（0÷0 有无穷多答案）

所以除以零不是"被禁止了"，它根本构不成一个运算。 禁止一个不存在的东西，是没有意义的说法。

这和第四章那个 ⊕ 是同一类问题：⊕ 因为良定义性失败而不成为运算，除以零因为唯一性失败而不成为运算。

而"任何数乘 0 等于 0"本身也不是规定，它能从分配律推出来，四行：

0 = 0 + 0　　　　　　【加法单位元】 

a × 0 = a × (0 + 0)

      = a×0 + a×0　　【分配律】 

两边减去 a×0：0 = a × 0　　证毕

同一个零，四种身份：在"写"的时候它是地基（占位符），在"加"的时候它是透明的（什么都不改变），在"乘"的时候它是抹除的（一切归零），在"除"的时候它是深渊（运算失效）。

启蒙篇里我们讲：让孩子感知"空也是一种有"。

现在这句话完整了：空不仅是一种有，空还是一条边界。跨过它，一切规则都要重新谈判。

图 8　稠密不等于填满。数轴上绝大部分点，都不是分数。

七、教育者的角色：家长该怎么讲

上面这些推导，不是要求孩子全会。但也不是可以全省。

关键是分清三件事：哪些必须让孩子亲手经历，哪些只需让他感到"这事不平凡"，哪些是留给家长和老师自己理解的。

1. 先分清：哪些不该家长插手

先说一条最重要的原则：学校关于分数的安排是扎实的，家长要做的是补体验，不是抢进度。

分数的定义、分数单位、基本性质、约分通分、最简分数，每一步都有图形支撑，例题量也够；分数乘除法的算理也有解释。这套安排已经把"是什么、怎么算"讲得很完整。

家长真正可以补的，是课堂没时间做的两件事：让孩子亲手撞见"写法不唯一"这件事，和让孩子在数轴上看见分数。这两件事都不跟课堂抢进度，反而是它的延伸。

2. 三级台阶

第一级：亲手制造等价（必须经历）

不要抢着讲"分数的基本性质"这条性质本身——课堂上会讲，而且讲得清楚。你要做的是让孩子先拥有体验，再去上课。

实操 ·「制造一百个 1/2」

准备一叠同样大小的长方形纸条（至少 10 张）。

第一张对折一次，涂一半，写"1/2"。 第二张对折两次，涂 2 格，写"2/4"。 第三张想办法分成 6 格，涂 3 格，写"3/6"。 ……一直做到分不动为止。

然后把所有纸条叠起来，对着光看。

问一句话就够了："你发现了什么？"

他会说："都一样。"

再问："那这些分数呢？"

让他自己说出那句话："它们是同一个数。"

到这一步就够了。不要提"等价类"，不要提"良定义性"。 让他先拥有这个体验，名字可以晚点给——甚至永远不给。等他上到"分数的基本性质"那一课，他会在课本上撞见自己折过的那些纸条，那一刻课本和体验就接上了。

进阶（五六年级）：让他列一张表，把做过的分数都写下来，自己找规律——分母是分子的几倍？他会在某一天突然说："分母永远是分子的两倍！"

那一刻，他自己发现了 ½ 这个等价类的生成规则。

第二级：数轴上的同一个点（必须经历）

在数轴上标出 1/2。然后标 2/4。然后标 3/6。然后标 4/8。

它们全落在同一个点上。

这一张图胜过十句解释。它把"无穷多种写法是同一个数"变成了一件看得见的事。

而且它顺带解决了一个大问题：分数比大小。

3/4 和 4/5 哪个大？用"切蛋糕"的思路很难回答——两块不同的蛋糕怎么比？在数轴上，一眼就看出来了：3/4 在 0.75，4/5 在 0.8，谁靠右谁大。通分比较是程序，数轴是直觉，两个都要有。

图 9　七条标注线，指向同一个点。

第三级：交叉相乘作为判据（可以经历，不强求）

对五六年级、且前两级已扎实的孩子，可以问：

"1/2 和 4/8 是同一个数，你信。那 1/2 和 3/7 呢？你怎么判断？"

让他自己想办法。他可能画图，可能化小数（0.5 和 0.428…）。

这时候再给交叉相乘：1×7 = 7，2×3 = 6，7 ≠ 6，不是同一个数。

关键的一句引导："你刚才用画图判断、用小数判断、用交叉相乘判断——三种方法答案一样。为什么？"

这个问题的答案就是第二章和第三章的全部内容。他不一定答得上来，但这个问题本身值得被他听见。

3. 最重要的一次实操：让他自己撞见"写法"这件事

这是本讲分量最重的亲子活动，因为它让孩子亲手经历第四章那四层错的第一层——而不是听你讲。

实操 ·「换个写法再算一遍」

给他一道分数加法，比如 1/2 + 1/3。让他用任何方法算出 5/6。

然后说："现在不许用 1/2 和 1/3。把它们换成别的写法，再算一遍。"

他会写 2/4 + 2/6，或者 3/6 + 2/6，或者 5/10 + 4/12。让他算完。

问一句："答案一样吗？"

一样。都是 5/6。

再问一句关键的："为什么一样？它们明明长得不一样。"

大多数孩子答不上来。这时候你可以告诉他：

"因为它们其实是同一个数，只是穿了不同的衣服。加法算的是数，不是衣服。"

这十七个字，就是良定义性的全部内容。 孩子现在听不懂术语没关系，但这句话会在他心里留一个位置。等他初中遇到"分式约分要检验"，那个位置会被激活。

进阶（六年级）：现在让他试孩子的老办法——分子加分子、分母加分母。

1/2 ⊕ 1/3 = 2/5 

3/6 ⊕ 2/6 = 5/12

问："这两个答案一样吗？"

不一样。而 1/2 和 3/6 是同一个数，1/3 和 2/6 也是同一个数。

让他自己说出那句话："这个算法不行，因为它看衣服，不看数。"

他自己诊断出了良定义性的失效。 这一刻，比做一百道通分题都值钱。

4. 分寸：哪个年级，停在哪一级

第二、三、四章的推导写给家长和老师，不是写给孩子的。

三条硬边界：

1. 第二章的传递性证明、第三章的良定义性证明、第四章的四层诊断、第六章的 √2 与最简分数唯一性——这些是写给大人的。
    它们的价值在于让你知道"孩子现在做的这道小题，底下压着什么"，从而不焦虑、不抢跑、也不把数学讲浅。
2. 对孩子，只需要做到两件事：让他亲手折出那叠纸条并自己说出"它们是同一个数"；让他亲手做一次"换个写法再算一遍"。
    这两个体验，比二十道化简题都值钱。
3. 不要对孩子说"等价类""良定义"这些词。
    不是因为它难，而是因为它会让孩子以为自己在学一个新知识点。实际上他在经历的事更根本——他在经历人类第一次放弃"一个数一个名字"的直觉。 这个经历本身，不需要名字。

5. 初中的落点：那四个字，是这一讲的直接延续

第 3 讲讲过，运算律规定了什么东西才有资格叫"数"。这一讲兑现的，就是这句话的后果。 而它会一路通向初中那四个字："检验增根"。

第一章第 3 节已经把这道题摆出来了：

解方程　(x+1)/(x−2) = 3

两边同乘 (x−2)，得 x+1 = 3(x−2)，即 x+1 = 3x−6，解得 x = 7/2。

老师打叉，写四个字：要检验增根。

然后孩子被要求背一条规则：解分式方程，最后必须把答案代回原方程检验，如果让分母为零，就是增根，要舍去。

为什么？答案就在这一讲。

两边同乘 (x−2) 这一步，依据是等式性质：等式两边同乘一个非零数，等式仍然成立。

非零。 这两个字是全部关键。

如果 x−2 = 0，也就是 x = 2，那么"两边同乘 (x−2)"就是两边同乘 0——而乘 0 之后，任何等式都成立：

5 = 7　→　两边乘 0　→　0 = 0　√

一个假命题变成了真命题。

所以这一步变形不是等价变形，它可能凭空制造出解来。这些凭空多出来的解，就叫增根。

我们验算过一个实例：解 x/(x−2) = 2/(x−2)，两边乘 (x−2) 得 x = 2，但代回原式分母为 0，无意义——x=2 是增根，原方程无解。

而更深一层：约分本身就在偷偷吃掉条件。

看这个式子：(x²−1)/(x−1) 和 x+1，是同一个函数吗？

我们验算过：在 x ≠ 1 的所有点上，两者取值完全相同。但 x=1 时，前者无定义（分母为 0），后者等于 2。

定义域不同，不是同一个函数。

约分把"x≠1"这个条件吃掉了。这就是分式方程增根的根源。

而这，正是第二章那句话的直接后果：

分数是一个等价类。而等价类里的每个代表，都带着一个隐含条件——分母不为零。

你在等价类内部换代表（约分、通分）的时候，如果把那个条件丢了，你就跳出了等价类。

刘徽那六个字——"势不可失本数也"——说的就是这件事。

一千八百年前那句话，和初中那四个字"检验增根"，是同一件事的两种说法。

检验增根，不是老师额外加的规矩。它是在补上第二章那个"只能在等价类内部换代表"的动作。

把这条线拉直：

从三年级到高中，是同一个问题的六次出现。

而孩子如果在第三、四章真正理解了"写法与数是两件事"，那么初中那四个字"检验增根"就不是需要背的规则——是他自己会主动去做的事。

因为他已经知道：任何一步变形，都要问一句"我有没有丢掉什么条件"。

图 10　同一个问题，出现了六次。

八、结语：数第一次挣脱了它的名字

我们为什么要花整整一讲，去问"分数是什么"？

因为"怎么用"这件事，孩子已经学得很好了——定义、分数单位、基本性质、约分通分，每一步都有图形和例题。他会用，会做题，考试能拿分。

但没有人停下来问那个问题：1/2 和 2/4，是同一个数，还是两个数？

而这一讲里，我们做了同一件事，做了七次：

七条"规则"，追下去，全都是必然。

这和第 3 讲的结论完全一致：数学里那些看起来像"规定"的东西，绝大多数是被更底层的结构逼出来的必然。

但这一讲比第 3 讲多走了一步，而这一步才是它真正的贡献：

第 3 讲说：新数的规则是被旧律逼出来的（唯一解）。

这一讲说：光被逼出来还不够。因为新数有多种写法，你还必须证明——这条规则不会因为"写法"而变卦。

"表示不唯一"这件事，逼出了一个整数世界里根本不存在的全新义务。

而这个义务，会跟着数学一路走下去：初中的分式、高中的函数定义域、大学的商结构与同构、直到现代数学里那句最普通的话——"这个定义是良定义的吗？"

分数，是孩子第一次遇到"表示与对象的分离"。

在此之前，3 就是 3，符号和它指的东西是一体的。从分数开始，符号只是一个代表，而对象是那一整堆代表。

这是人类抽象能力的一次巨大跃迁，而它发生在小学三年级。

而这一讲还有一件事，比任何一条推导都重要。

第四章，我们严格证明了：孩子的"分子加分子、分母加分母"不是一个运算——它先通不过良定义性检验（1132 组反例），就算修好了也违反单位元、结合律、分配律三条身份条款。

但同一章我们还发现了第三层和第四层：他抓到的"往里收"是一条真定理（中位数定理）；而他真正在算的，是两杯糖水倒在一起的浓度——一个完全合法的"合并比率"运算。他的错不是乱来，是把一套真运算放进了错的格子。

而把这件事说完整，需要的是一张更大的地图：分数世界里同时运行着三套代数——量用加法，率用 ⊕，量与率之间用乘除。四道著名错题，全是走错了行。第五章那张表，是这一讲能交给家长的最实用的一件东西。

而把那个公式搬到 Stern-Brocot 树里，它成了核心引擎，不重复不遗漏地生成全部正分数，一位钟表匠靠它设计齿轮传动比。

同一个公式。一处非法，一处是发动机。

差别只有一个：在树里，每个分数只以一种写法出现。

一个孩子算出 2/5，老师打叉，孩子记住了"不能这样算"。

但如果他能被告诉："你这个算法，在加法这个格子里是错的——但它不是垃圾。它回答的其实是另一个问题：'在这两个数中间找一个数'。那个问题是真问题，你的方法是真方法，而且有整整一套理论，还有一个钟表匠靠它吃饭。"

那么他学到的就不是一条禁令，而是一个观念：

规则不是从天上掉下来的。规则是从结构里长出来的。换一个结构，规则就变了。

这个观念，会陪他走得很远。远到他能自己判断一条规则该不该服从——不是因为它被规定了，而是因为他看清了它长在什么上面。

回到第一章那三次数系扩张的现场：古埃及人选择回避（用单位分数拼），毕达哥拉斯学派选择掩盖（√2 成了不能说的秘密），而《九章算术》选择正面穿过去。

数学真正的进步，发生在有人愿意说这句话的时候：

"好吧，我们的数不够用了。那就构造一种新的——但老规则一条都不能变，而且新东西必须验算它站得住。"

前半句是勇气。中间那句是纪律。最后那句，是数学和其他一切学问的分界线。

从整数到分数，从分数到无理数，从无理数到复数——数系的每一次扩充，都是这三句话的重复。

分数最后教会孩子的，是这样一个观念：

"一半"不只是切蛋糕的一半。

它是一个等价类，一个作用，一种关系，一个可以脱离具体事物而独立存在的结构。

而它有无穷多种写法——1/2、2/4、3/6、50/100——每一种都是它，没有哪一种"更是"它。

一旦他能这样看，他就第一次触摸到了代数的门槛。

因为代数的全部秘密，就是把"关系"从"具体的数"里解放出来。

启蒙篇的标题是"从数到道"，它的落点是"赋予孩子一种理性的自由"。这一讲给了这句话一个最具体的样子：

位值制那一讲讲的是"数怎么被写下来"，运算律那一讲讲的是"写下来的数凭什么能算"，这一讲讲的是——

数怎么第一次挣脱了它的名字。

而在它挣脱名字的那一刻，一条路也同时铺开了：从三年级作业本上那个等号 1/2 = 2/4，到五年级的通分约分，到这一讲的"运算必须良定义"，再到初中那道分式方程、那四个字"检验增根"——

是同一个问题，第六次出现。

这条路还会继续往前伸：伸向高中的函数与定义域，伸向大学里那个叫"商结构"的东西。

这一讲只负责把小学这一段的路基夯实——夯到孩子将来走到初中、高中时，脚下每一块砖都是他自己看着铺下去的。

"数学成神之路"是一条从启蒙一直通到成神的长路。

我们现在，才刚走完小学的第四步。

参考文献

• 克莱因《古今数学思想》（数系的扩充、第一次数学危机）
• 《九章算术》方田章（约分术、合分术、减分术、乘分术、经分术）及刘徽注（齐同术）
• 周向宇《中国古代数学的成就》（中国数学会）
• 弗赖登塔尔《作为教育任务的数学》（数学化、再创造）
• Kieren 关于分数子结构的多重表征理论
• 史宁中关于"数与运算一致性"的论述
• 郑毓信《数学教育哲学》
• MacTutor 数学史档案（Stern-Brocot 树、法里序列、Haros 与 Farey）
• 《义务教育数学课程标准（2022 年版）》第二、三学段"数与运算""数量关系"主题
• 人教版五年级下册第四单元《分数的意义和性质》、六年级上册第一单元《分数乘法》第三单元《分数除法》教师教学用书

互动

孩子算 1/2 + 1/3 = 2/5，你会怎么说？

是"错了，要通分"，还是告诉他——你这个算法在另一个格子里是核心引擎，一位法国钟表匠靠它设计了齿轮？

需要这一讲的练习卡吗？

①「制造一百个 1/2」折纸操作单 ②「换个写法再算一遍」良定义性体验单（含 ⊕ 的四层诊断引导） ③「量率配对练习」（16 组说法，判断哪些是量、哪些是率） ④「永远找得到中间」数轴练习 ⑤「三套代数判别」练习（12 道说法，判断量还是率，该用加法、⊕ 还是乘法） ⑤「糖水题」量率对照练习（同一个算式，问量还是问率）

后台回复 分数卡 领取打印版。