九条思想主线巡礼

本书怎么读：一章二十五页

全书按「章」前进，每章恰好二十五页。理论章的节奏是：第 1 页溯源（这个概念在人类文明里是怎么长出来的）、第 2–9 页讲义（定义、定理与法则，一条一条立起来）、第 10–13 页研讨（四个思辨问题，像小型读书会）、第 14–17 页例题（例 1–例 4，带完整解答）、第 18 页思想卡（一页只说一个数学思想）、第 19–22 页研究（四页研究任务单：建模、探究、写作、答辩）、第 23–25 页挑战·复盘·迁移。游戏与实践册的节奏是：导入→操作×4→专题×5→研讨×4→项目×5→思想卡→深读×3→复盘→展示。

写法约定（TEX 标准）：分数写成上下两层的 12；绝对值写成 |−3| ＝ 3；未知数用字母 x，方程写作 3x ＋ 5 ＝ 20；不等号 ＞ ＜ ≥ ≤ ≠ 各就各位；平方根写作 √2，平方与立方用小肩数字 x²、a³；点坐标写作 (2, −1)；函数写作 y ＝ 2x − 1；圆周率 π ≈ 3.14。中括号写成 ［　］，比例号 ∶。

万物皆可量：方田开篇

《九章算术》的第一卷叫「方田」。方田，就是正方形的田地；这一卷讲的正是各种形状土地的面积计算。它开篇第一问朴素得像一道劳作记录：

「广」是宽，「从」（zòng）是长。宽十五步、长十六步的地，就是二百四十平方步，正好一亩。一句朴素的话，却包含了本卷后来所有的生长点：长度有了单位（步），面积由长度相乘得到，而面积单位与长度的换算（一亩等于二百四十平方步）需要被规定。丈量土地这件极实际的事，就这样把「数」与「形」绑在了一起。

本章的行走方式：一章一线。您会先读一段《九章》原文，再动手做四次操作（测量、整理面积体系、体验分数、今解古题），然后走过五个专题（度量的本质、出入相补、分数源头、从度量到测度、十五年回顾），再完成一次研讨与一个课题项目，最后以一场成果展收尾。

冬季巡礼的目的不是复古，而是看清您现在学的每一样东西，最初是为了回答什么问题而诞生的。面积公式您从小学就会用，但您可能从未想过：为什么三角形面积要「半广以乘正从」？为什么面积单位是长度单位的平方？为什么「割下来补过去」可以证明公式？——这些「为什么」，才是这一章真正的内容。

度量史实验：从身到尺

步、尺、寸、分——这些单位最早都来自人体：一步是一个人的跨步，一尺是一个前臂的长度，「寸」是手腕处的寸口。本页动手做一次「以身为尺」的实验，体会标准单位为什么必须被规定。

做完这三个实验，您就亲手重演了度量史上最关键的一步：从「以身为尺」到「以物为尺」，再到「以自然常数为尺」。今天「米」的定义甚至已经不再依赖任何实物，而是写成了一个物理常数——度量史的终点，是数学与物理共同给出的一个数。

面积体系梳理

方田卷用一组定理式的「术」覆盖了当时能遇到的全部地块形状。本页把它们整理成一张表，并逐条译为现代公式。

这张表里最值得注意的一条是环田术：它把环形「拉直」成梯形来处理。这个动作说明古人已经掌握了「形状可以变，面积不变」这条原理——而与之相对的圆田术则暴露出一个重要事实：曲线围成的图形无法只靠割补解决，必须借助极限。这正是方田卷通向刘徽割圆术的门。

分数的诞生体验

方田卷的后半部分几乎是一部分数运算手册。原因很直接：土地的长宽常常不是整数步，面积就必然出现分数；而要把分数计算做成「人人可执行的算法」，就必须建立完整的规则。

把这一页的六条术文与现代分数法则对照，您会发现几乎完全一致。差别只在一处：中算把一切都写成「术」（可执行的步骤），而现代教材把其中一部分升格为「性质」（如分数的基本性质、约分的依据）。「术」与「理」的关系，正是这一章末尾要用研讨去追问的问题。

古算题今解：方田章选读

本页精读四道方田章原题，逐题给出今天的解法与检验。请先自己算一遍，再对照答案。

四题的共同结构：原题给出数据与结果，术文给出算法，而我们今天补上的是理由（为什么半广、为什么并踵舌）。这道「补理由」的工作，在中国数学史上由刘徽完成——他注解《九章算术》的最大贡献，就是给「术」配上「理」。

请完成一张四行表：每一行写上「术文」、「现代公式」、「理由（一句话）」、「检验（一个数）」。这张表是您参与下一节研讨与项目的原材料。

有一个细节值得注意：原题 4 的「周三十步、径十步」并不是任意给的——它恰好使 C/d ＝ 3，与术文所隐含的 π 完全吻合。这说明古人知道术文中的 π 是取 3 的近似：编题时特意配了一组「算得正好」的数据。经典文本中的数字很少是随便写的。

专题① 度量的本质：单位与标准

「度量」这件事看起来简单：拿一把尺子去比。但它包含两个必须分开的动作——选定一个标准（单位），再数出被测对象含有多少个这样的标准。分开之后，很多困惑就清楚了。

为什么面积单位是长度单位的平方：若 1 丈 ＝ 10 尺，那么一个边长 1 丈的正方形被网格分割成了 10 × 10 ＝ 100 个边长 1 尺的小正方形。所以

这条规律不依赖任何具体单位，它是维度的产物。同理体积按 k³ 放大。理解了这一点，所有单位的换算都变成一次判断维度的操作，而不需要背表。

方田卷之所以从「广从相乘」讲起，是因为面积是第一个真正意义上的「复合量」——它不是直接量出来的，而是由两个长度算出来的。数学在这里完成了一次关键的跳跃：从「测量得到的量」到「运算生成的量」。之后的体积、速度、密度、概率，都沿着这条路上路。

专题② 出入相补原理

刘徽在注《九章算术》时反复使用一条原理，后世称之为出入相补原理（又称「以盈补虚」）：

用今天的话说：面积在「刚性分割重拼」下不变。这条原理朴素得几乎无需证明，但它能推导出方田卷里几乎所有的面积公式。

出入相补原理的意义远超面积计算。它是中国古代几何的方法论核心：不追问「图形是什么」，只关心「怎么把它变成已知的图形」。而这条「把未知化为已知」的思路，正是数学最普遍的方法——今天您在解析几何中把曲线问题化为方程问题，在导数中把单调性问题化为导数问题，用的都是同一个动作。

专题③ 分数运算的方田源头

为什么分数运算最早、最系统地出现在一部讲土地面积的书里？因为丈量的结果天然是分数：宽一步半、长两步又三分之一。要让面积公式对一切田都有效，就必须先让分数可以自由地加、减、乘、除。

方田卷与今天的分数单元相比，少了一样东西、多了一样东西。少的是「为什么可以这样算」的论证（由刘徽的注补上）；多的是强烈的算法意识——每一条规则都写成可以照做、可以传授、可以检验的步骤。这两点合起来，恰好是数学的两副面孔：一副是「理」（为什么对），一副是「术」（怎么做到）。缺了任何一副，数学都不完整。

专题④ 从度量到测度一瞥

方田卷关心的是「怎么算面积」。两千年后，数学家问了一个更根本的问题：面积到底是什么？——这个问题的答案叫「测度」。

本专题的用意是让您看到：方田卷提出的问题（怎么算面积）在两千多年后被抽象成了一套公理（测度），而这套公理又反过来照亮了概率、积分与实分析。这就是数学的生长方式——实际问题催生方法，方法被抽象成结构，结构再被用到新的地方。

专题⑤ 十五年方田之旅回顾

「方田」这条线索从小学一直延伸到高三。本页把它整理成一张时间表，让您看清自己走过的路。

十五年方田之旅的真正主题是「工具升级」：从数格子到公式、从公式到坐标、从坐标到极限。而每一级工具的出现，都不是因为旧的错了，而是因为旧的不够用了——当边界从直线变成曲线，割补就失效了，于是必须发明极限。这与您在数系扩张章学到的规律完全一致：新工具总是被「做不下去」的问题逼出来的。

研讨① 单位统一的意义

「统一度量衡」在教科书上常被写成一件行政大事（秦并天下，书同文、车同轨、统一度量衡）。但对数学来说，它是一次更根本的事件：它使「比较」成为可能。

讨论题（小组讨论 15 分钟，每组写出一页结论）

研讨的落点是一句话：统一单位不是把事物变得一样，而是让不同的事物变得可比。数学中所有「把对象放到同一个坐标系里」的动作——把分数化成同分母、把方程化为标准形、把矩阵化成行最简形——都在做同一件事。

研讨② 出入相补的现代应用

「割下来、补过去」听起来像是一千八百年前的老办法。但它在现代数学中有三个重要的后代。

讨论题

一个方法能活两千年，说明它触到了某条更深的结构。出入相补触到的是「可加性」与「不变性」——这两条原则后来构成了测度论、积分论与不变量理论的共同地基。您今天的复习里，凡是遇到「等积变形」、「祖暅原理」、「换元后积分值不变」，背后都是这同一条思路。

研讨③ 度量与数学化

「数学化」这个词听起来抽象，但它的第一次发生非常具体：把一块地的宽，换成一个数。这个动作看似平凡，却包含了数学的全部秘密——把对象替换成关于对象的计算。

讨论题

研讨③的落点：数学化是一种「翻译」——把世界翻译成可运算的结构。翻译的成功与否取决于两件事：结构是否抓住了对象的实质（第 ① 步），以及结论能否有意义地回到对象（第 ④ 步）。方田卷的「术」之所以能活两千年，正是因为它在这两步上都站得住。

研讨④ 方田与生活

方田卷的问题都是「真问题」：一块地有多少亩？一间房子要用多少瓦？本页把这条线索接到您的生活里，做一次「估算与误差」的研讨。

小组任务：完成一次真实估算（30 分钟）

研讨④的落点：数学题的答案是一个数，生活的答案是一个「带误差与余量的区间」。能意识到这个差别，并且能估计误差有多大，是一个人数学素养真正成熟的标志。这也是为什么本书每一章都安排「动手操作」——纸上算对很容易，量准一件东西却很难。

项目① 度量史课题立项

本章的项目是一次度量史专题研究。以四人小组为单位，从下列五个方向中选择一个立项，最终产出一份研究报告、一张巡礼海报与一次成果展示。

立项是整个项目中最容易被轻视、却最决定成败的一步。一份好的立项书会让后续的研究变轻松；一份坏的立项书会让后面全部的工作都白做。宁可花一整节课打磨问题，也不要急着去找材料。

项目② 研究实施

本页给出研究实施的三条方法线，以及一份可直接使用的记录表。请按周推进，每周留下痕迹。

研究实施阶段最需要的品质不是聪明，而是「留下痕迹」：每一次摘录、每一次测量、每一次争论都记下来。到最后写报告时，您会发现真正支撑您的不是记在脑子里的印象，而是那些留在纸上的痕迹。研究不是回忆，研究是记录。

项目③ 论证成文

研究的成果要写成一份 1500–2000 字的报告。本页给出结构模板与三条写作纪律。

写作是研究的最后一公里，也是最容易露馅的一公里。一份报告的质量，往往不取决于您读了多少资料，而取决于您有没有把「论点—证据—结论」这条链条走完整。写完请对照三条纪律自检一遍，再交给同伴批评一遍。

项目④ 巡礼海报

本项目的第二个产出是一张巡礼海报：把各位读者的研究浓缩成一张能让路过的人停下三秒的图。它也是六章巡礼结束时成果展的主要展品。

海报训练的价值在于「被迫取舍」。研究报告中您可以详尽论述，海报上您必须决定哪一句话最重要。这个决定过程会让您真正想清楚：我们这项研究，最值得说的是什么？能回答这个问题，才算真正完成了研究。

项目⑤ 展示准备

巡礼的最后一站是成果展。本页给出 6 分钟展示的标准结构与准备清单。

展示的意义不只是「汇报成果」，它是一次把研究变成可交流的知识的练习。研究只有被讲清楚、被质疑、被理解，才算真正完成。能承受追问的研究，才是真的研究。

深读① 刘徽的方田注

刘徽（约公元 225 — 295 年）为《九章算术》作注，其序言中有一句极著名的话：「析理以辞，解体用图。」——用文辞来分析道理，用图形来解剖形体。这八个字，几乎概括了数学工作的两种基本方法。

刘徽的伟大之处不在于他算出了 3.14（在他之前已有更精确的值），而在于他说清了为什么可以这样算。从「术」到「理」这一步，是数学史上最关键的跨越之一。您今天在课本上读到的每一条「定理」，都是某个人做过这一步的结果。

深读② 度量衡史话

度量衡的历史有两个主题：标准如何统一，以及标准如何从实物走向自然常数。本页按这两条线梳理关键节点。

度量衡史读到最后会得到一个略显意外的结论：单位最终不是「找到」的，而是「规定」的。人类做的事情是不断选择更稳定、更可复现的参照物——从脚到合金棒，从合金棒到光速。而每一次选择，都是在把「偶然」换成「必然」。这与数学本身的历史完全呼应：把偶然的观察，换成必然的推理。

深读③ 一轮复习联动清单

巡礼不是独立于复习的另一件事。每一条思想线索都应当直接转化为一轮复习的具体动作。本页给出方田线索的联动清单。

这条清单体现的是本书一贯的主张：思想线索必须落到具体动作上。「我理解了出入相补的重要性」不算收获；「我用面积法独立做出了三道证明题」才算。请在清单上写下日期与题号，一周后回看——那就是您真正走过的路。

方田巡礼档案

本章的复盘以一份巡礼档案的形式呈现。四条线索、六道自检、五个自评问题，逐项落笔。

本章必查的六条自检

自评五问：① 我能不看资料说出方田卷的基本内容与它在《九章》中的地位吗？② 我能在两分钟内讲清「为什么面积单位是长度单位的平方」吗？③ 我能用出入相补证明一个自己没学过的面积公式吗？④ 我能说清「度量」与「测度」的区别与联系吗？⑤ 我能说出本章与前两册的哪几章直接相关，并指出具体联系吗？

复盘的最后一步是归档：把本页与前面的操作记录、报告初稿、海报一起装进「巡礼档案夹」。六章结束时，您会有六份这样的档案——它们本身就是您这一个冬季段真正的学习成果，比任何分数都更能说明您做过什么。

方田成果展

本章的收尾是一场成果展：海报上墙、实物上桌、报告就位，四人小组依次展示并接受质询。以下给出流程与评分标准。

方田站到此结束。您读了一段两千年前的原文，量了三次同一件东西，剪拼过一块梯形，算过一道古题并发现了它的误差，还完成了一个课题。这一站真正要留下的不是面积公式（您早就会了），而是一种眼光：当您在复习中再次遇到「面积」时，您会想起它从哪里来、为什么必须那样算、以及它会长成什么样子。这就是「巡礼」与「复习」合一的意思。

换算与分配：古算的经济头脑

《九章算术》的第二卷「粟米」与第三卷「衰分」，处理的都是「分」的问题——但分的方式不同：粟米卷分的是「换算」，衰分卷分的是「按比例」。这两件事构成了古代经济生活的数学骨架。

粟（带壳的谷）一斗能舂出多少粝米（粗米）？答案由一条「率」决定：粟率五十、粝米率三十。于是 所求 ＝ 1 斗 × 30/50 ＝ 6 升。这条算法在《九章》中被称为今有术，是全书使用最广的一条术——它是所有比例计算的原型：

而衰分卷把「分」推进了一步：把 5 头鹿按爵位高低分给五位官员，比例是 5 : 4 : 3 : 2 : 1。这里没有「换算」，只有「按给定的比分配」。同一条今有术仍然管用，只是被用得更加灵活。

本站将走过一条从「换算」到「公平」的路：先用今有术做几次谷物换算与税率计算，再动手做一次按比例分配的实验，然后讨论「公平能不能被数学化」这个至今仍无定论的问题。比例是最朴素也最深刻的数学思想之一——它让不同的事物可以放在同一把尺子上比。

粟米互换今解

粟米卷列出了二十种谷物的「率」。本页用今有术逐一换算，并检验这些率的内部一致性。

今有术之所以能成为全书使用最广的术，是因为它抓住了一类问题的共同结构：「按同一比例缩放」。凡是可以回答「每个单位对应多少」的问题，都是它的领地——米饭换算、货币兑换、税率计算、浓度配比、比例尺换算、相似图形。您在中学阶段学过的所有「比例」知识，都可以看作是今有术的具体化。

衰分问题实验

衰分卷的原题几乎都是「按等级分配」。本页动手完成一次完整的按比例分配，并尝试用不同的「分配依据」重做一遍，体会结果如何依赖于「依据」。

实验记录表（每次实验都填一行）：

衰分卷教给我们两件事：一是按比例分配的算法（总份—每份—各自），二是「分配依据」与「分配算法」必须分开。数学只能保证「按您给的比例分得公平」，它不能替您决定「应该按什么比例分」。后者是伦理与制度问题。把能算的算清楚，把不能算的说清楚——这是数学的诚实。

比例应用盘点

「比例」这一思想在中学数学中的出现频率远高于大多数人的印象。本页系统地盘点一遍，并整理成一张对照表。

盘点之后应该形成一个清晰的判断：比例不是某一个知识点，而是一种贯穿中学数学的「关系语言」。您的一轮复习如果能把「哪些地方在用比例」标出来，会发现它的出现密度远超想象——这本身就是一条组织知识的线索（正是本站存在的意义）。

公平分配方案设计

本页是一次综合动手：为一个真实的分配问题设计三种方案，比较它们的结果，并讨论「哪种更公平」。

比较与讨论

这一页训练的是「把现实问题翻译成比例问题」的能力，以及「为自己的翻译负责」的意识。请特别注意：数学能算出结果，但不能证明结果公平。当您说「按总分分更公平」时，您已经在做价值判断，而不是数学推导。分清这两件事，是数学素养中很重要的一环。

专题① 今有术：比例的普适

今有术的原文只有一句：「以所有数乘所求率为实，以所有率为法，实如法而一。」把它写成今天的语言，就是一次乘除。但它能解决的问题范围大得惊人——因为「按比例变化」几乎无处不在。

今有术的普适性来自它对「比例」这一关系的抽象：它不关心对象是什么（粟、货币、长度、人数），只关心「两者按固定比率对应」。「不关心对象、只关心关系」——这正是抽象的定义。您在数系章见过的「函数」、在导数章见过的「变化率」，都是同一种抽象的不同层次。

专题② 衰分：加权分配

衰分术的现代名字叫加权分配，或者换一个角度叫加权平均。这两件事是同一件事的两面，本页把它说透。

把公式变形一下：T_i/T ＝ w_i/∑w——每个个体得到的「份额」等于它的权重占总权重的比例。这就是「加权」的含义。

衰分术的现代生命比它在《九章》中的样子强得多：只要涉及「多个依据、不同重要程度」的合成，就会用到加权。您在高三复习中遇到的加权平均、期望、方差公式、评分表，都是它的后代。一个两千年前的分鹿问题，长成了现代统计学的一根主干。

专题③ 均输与公平

《九章》第六卷「均输」讲的是国家的运输与赋税调度。它的核心问题比衰分更复杂：不同县的人口不同、距离远近不同，如何公平地分摊运输任务？

均输章的价值在于它展示了数学与治理的结合方式：先确定公平的原则（谁该多负担），再把原则写成权重公式，最后用比例分配算出具体数字。三步中只有第二步和第三步是数学；第一步是价值判断。而现实中出问题的，往往不是第二步与第三步（算错了），而是第一步（原则没想清楚）。

专题④ 比例的现代表达

今天的数学用三种更强大的语言来表达「比例」：函数、向量、线性变换。它们都比「三率法」抽象，但因此能处理更复杂的情形。

从今有术到线性代数，走的是同一条路：不断把「具体关系」抽象为「结构」，再用结构统一处理大量具体问题。您在高三只会用到它的初级形态（比例、函数、向量），但理解这条线索的存在，会让您在复习时知道自己在哪个位置——这比记住任何单个公式都更重要。

专题⑤ 十五年比例之旅回顾

「比例」这条线索贯穿基础教育全程，而且每一次出现都带来一种新的工具。本页整理成一张升级路线表。

比例这条线索的回顾会给人一个安慰性的发现：您并不是一直在学新东西，而是一直在用同一种思想处理越来越复杂的问题。三率法、函数、向量、线性变换——它们的名字不同，但都在做一件事：保持某种关系不变，让量可以互相推算。复习之所以有效，正是因为它让您看见这些「同一件事的不同外衣」。

研讨① 公平的数学化

「公平」是数学能碰到的最棘手的对象之一：它看起来不可量化，但人类历史上最成功的公平实践（按比例分配）却完全是数学的。本页讨论这个张力。

讨论题

研讨①的落点是一句话：数学不解决价值问题，但能把价值问题讨论得更清楚。当您说「我认为应该按贡献分」时，数学能立刻告诉您：按贡献分意味着什么？会产生什么结果？有没有漏洞？会不会在某些情形下失效？让模糊的判断变得可检验——这就是数学对伦理讨论的贡献。

研讨② 按劳分配的数学

「按劳分配」是一个被反复讨论的原则。本页从数学角度分析它：它需要什么条件才能被执行？会遇到哪些困难？

研讨②的落点：「按劳分配」的难题不在数学，而在度量的端。而数学能做的是：把「如何度量」这个问题明确地摆出来，并证明在某些公理下分配的唯一性。当您以后听到关于分配方案的争论时，请先问一句：各位读者的「劳」是怎么度量的？这个度量能不能验证？——这一问，往往能让讨论立刻变得清晰。

研讨③ 比例与社会

比例不仅出现在分配中，它还以更隐蔽的方式塑造着社会运行的规则。本页讨论三个「比例的身影」。

讨论题

研讨③想让您看到的是：比例是社会的语法之一。从税率到代表席位，从资源配额到班级值日，凡是「按什么分」的地方，都有比例的影子。而您学过的每一件比例工具——化简、加权、分段、取整——都会在这些地方再次出现。数学之所以有用，是因为它命中了社会运行中反复出现的结构。

研讨④ 从衰分到统计学

「加权」这条线索从衰分术出发，最终长成了统计学的一根主干。本页梳理这条路线，并做一次计算实践。

研讨④的落点：加权是「比例」在统计中的化身，而统计是现代世界最通用的「比较语言」。当您在复习中遇到加权平均、期望、方差、综合评分时，请把它们看成同一条线的不同位置——这条线的起点在《九章》的衰分章，终点在您此刻的复习资料里。

项目① 公平分配课题

本站的项目是一次公平分配课题研究。要求以四人小组为单位，选定一个真实的分配问题，设计至少三种方案，用数据比较它们，并给出各位读者的推荐与理由。

这个项目训练的不是「算」（衰分术的计算很简单），而是三件更难的事：把模糊的公平诉求翻译成明确的权重；用数据检验自己的方案；诚实地承认方案的价值前提与缺陷。这三件事合起来，就是「用数学思考现实问题」的完整动作。

项目② 方案比较

本页给出方案比较的标准方法：用四条指标把「公平」拆成可比较的维度，然后写成一张比较表。

方案比较训练的是「把主观判断放在桌面上」的能力。多数人在做选择时不愿承认自己的价值前提，于是争论就变成了「我觉得」对「我觉得」。而这个项目要求您把价值取向写出来，并接受数据检验——这是把讨论从情绪推向理性的唯一方法。

项目③ 成文

本站的报告篇幅 1500–2000 字，结构比上一站更偏「决策型」，因此写作格式有所不同。

决策型报告的写作目标只有一个：让读者能够不同意您的结论，但必须承认您的推理过程是清楚的。这是所有科学写作的共同标准——它不要求您说服所有人，只要求您的推理经得起检查。

项目④ 海报

本站海报的主题是「一张图看懂一次公平设计」。比起上一站（度量史），本站海报更强调对比——用视觉呈现「同一总量、不同规则、不同结果」。

海报训练至此第三次出现（本站是第二次、下一站还有一次）。您会发现要求一次比一次严：上一站要求「六项元素」，本站要求「对比图 ＋ 更紧的字数限制」，下一站会要求「一图一结论」。这种收紧是刻意的——限制越紧，您越必须真正想清楚什么是最重要的。

项目⑤ 展示准备

本站展示与上一站结构相同（6 分钟），但重点不同：上一站重「史料与实物」，本站重「方案与取舍」。因此展示的重心应放在「为什么这样设计」上。

本站展示最重要的一课是：面对「凭什么这样分」的追问，不要用「因为这样更公平」来回答，而要给出「因为在我们选定的指标下它得分最高，我们的价值取向是……」这样的答法。把前提摆在明面上，判断才有讨论的价值。这是数学素养中「诚实」的一面。

深读① 《九章》的经济数学

把「粟米」「衰分」「均输」三卷连起来读，会发现《九章算术》里藏着一套完整的古代经济数学。本页梳理它的结构。

《九章》的经济数学告诉我们：数学最初不是在书房里被发明的，而是在账房与工地上被需要的。但这不等于数学只能是工具——正因为有真实的需求，才有了对「率」的抽象，而「率」最终变成了比例、函数与线性结构。读这段历史，可以消除一种常见的误会：「实用」与「抽象」不是敌人，前者常常是后者的母亲。

深读② 现代分配问题一瞥

分配问题从未过时。现代数学为它发展出了一整套理论。本页介绍四个著名的现代结果，感受一下「分东西」这件事能有多深。

现代分配理论的一个共同特征值得记住：它们研究的都不是「绝对公平」，而是「在信息有限、要求冲突的情况下能做到什么」。这是一种成熟的数学态度——不追求理想化的完美方案，而是精确地划出可行的边界。您在数系章见过的「不可测集」「不能比较大小」，都属于同一种诚实。

深读③ 一轮复习联动清单

把粟米·衰分线索与您的一轮复习内容挂钩。本页给出六条联动，请在其中挑选 2–3 条落实。

巡礼的每一站都配这样一张清单，用意是明确的：思想线索如果不落到具体动作上，就只是好听的话。请在清单上写下日期与题号，一周后回看——那些被真正做过的条目，才是您这一站真正的收获。

粟米衰分档案

本站复盘仍以档案形式完成：四条线、六道自检、五个自评问题。

本章六条自检

自评五问：① 我能不看资料说出粟米卷与衰分卷各自解决什么问题吗？② 我能在三分钟内把一种谷物换算成另一种，并复核算式吗？③ 我能为一个真实的分配问题设计三种方案并比较吗？④ 我能说清「加权」在概率与统计中的两次变身吗？⑤ 我能指出本站与上一站（方田）、与 H3-1 统计章的各一处联系吗？

档案归档时请特别注意敏感性分析的那张表——它是本站唯一「超出古代数学」的技术，也是最有现代气息的一步。真正让一个方案可靠的，不是算得漂亮，而是它对参数的微小变化不敏感。这个认识，您在未来做任何决策时都会用到。

成果展

粟米·衰分站走到最后一步：把各位读者的方案、数据与判断摆到桌面上，接受同伴的质询。

粟米与衰分站到此结束。您换算过谷物，分过鹿，设计过奖学金方案，比较过三种规则的结果，还做了一次敏感性分析。这一站真正要留下的不是分配公式（那只是除法），而是一种意识：凡是「按什么分」的地方，都可以问一句「按什么权重分」，并且可以拿数据检验。当您以后遇到关于公平的争论时，您会比别人多一件武器——把模糊的争论变成可计算的比较。这就是数学给一个公民的最实用的能力之一。

开方与求逆：数系长大的引擎

《九章算术》第四卷叫「少广」。「少」是减少，「广」是宽度——已知一块田的面积，反过来求它的边长，这就是「少广」。它的核心动作只有一个字：开方。

方田卷告诉您「广从相乘得积步」——乘。少广卷要您做的是反过来：由积求边。这个「反过来」的动作，正是数学史上一台永不停歇的引擎。回忆您在 H3-1 第五章学到的那条扩张链：

把这张表连起来读，您会看到一个惊人的规律：每一次数系扩张，都不是因为有人想「发明新数」，而是因为某一种逆运算在那个数系里做不下去了。少广章的「开方」，正是这条链中最关键的一环——它第一次把数学逼到了「有理数不够用」的墙上。

本站要走的四步：先用《九章》的开方术亲手算出几个平方根与立方根，看清它的算法结构；再把「数系扩张」这条链完整走一遍，每一站都用「哪个方程解不了」来标记；接着做一次无理数的逼近实验，体会「算不尽但可以无限逼近」是什么意思；最后围绕「三次数学危机」展开研讨——危机从来不是数学的失败，而是数学长大的方式。

「逆运算」这条线索的价值不止在数系。您在函数里见过反函数、在三角里见过反三角、在导数里见过反导数（积分）、在概率里见过逆概（贝叶斯）。凡是正向操作有了，人就会追问反向操作。而每一次「反过来做不到」的地方，都会长出一个新世界。这一章就是这条规律最纯粹的展示。

开方术今解

少广章的开方术是世界上最早的「逐位求平方根」算法之一。本页先复原它的原文，再用现代步骤重做一遍，看清二者的对应。

把开方术与今天的长除式对照，您会发现它们是同一种东西：都是「逐位试、逐步减」的机械化算法。这类算法的宝贵之处在于：它不需要灵感，只需要按步骤执行——任何人都能得到同样的结果。「可机械执行」正是古代中国数学最鲜明的特色，也是现代计算机算法的精神祖先。

数系扩张路线重走

本页用「哪种运算做不下去」这把尺子，把数系扩张链完整重走一遍。请亲手填写每一个空格。

这条路线表本身就是一件思想艺术品：五次扩张、四种逆运算、一次纯粹的完备性追求。请把它抄在复习笔记的第一页。以后每当您在复习中遇到「这个方程无解」、「这个数不存在」的说法时，请追问一句：在哪个数系里不存在？换一个数系呢？——这一问，就是数学家的思维习惯。

方程与数系匹配实验

本页做一次「方程—数系」配对实验：给出若干方程，判断它在哪个数系中最先有解。这是上一条扩张链的具体化，也是最有效的记忆方式。

这个「方程—数系」配对实验的价值在于：它把一个抽象的哲学问题（数系为什么扩张）变成了一个可以逐题检验的技术问题（这个方程在哪儿有解）。当您把八道题全部配对完毕后，那条扩张链对您来说就不再是需要背诵的结论，而是一个「自己算出来」的事实。

无理数逼近实验

「√2 算不尽」——这句话到底是什么意思？本页做三次逼近实验，亲手体会「无限逼近一个算不尽的数」是怎么回事。

这一页的实验回答了一个困惑了很多初学者的疑问：一个算不尽的数，凭什么算「存在」？答案是：它存在的意义不在于「能写尽」，而在于「能被唯一确定」。√2 被「平方等于 2 且为正」这句话唯一确定——定义一个好对象，比写全一个对象更重要。这个观念上的转变，正是从有理数走向实数的关键一步。

专题① 少广章的开方术

少广章的价值不止在「会开方」。它的术文里隐藏着一个更重要的东西：一个可被机械执行的算法，如何用算筹一步步实现。本页把它拆解清楚。

少广章教给我们的是「算法思维」的第一次完整体验：给定输入、明确步骤、保证终止、输出结果。这四个特征与今天的程序完全一致。所以中国古代数学被数学史家称为「算法数学」传统——它的伟大不在于证明了什么定理，而在于把大量问题变成了可以照做的手册。

专题② 逆运算的哲学

「逆运算」是一个数学概念，但它同时也是一种思维方法。本页把它从数学讲到方法论。

「逆运算」这条线索给我们的最大启发是：数学的进步常常表现为「追问反向」。当一个正向操作被掌握之后，真正的深度来自于追问「反过来呢」。而反过来做不到的地方，就是数学需要改造自己的地方。请把这句话记下来——它是您理解数学发展史的一把钥匙，也是您解决难题时最有用的一问：「如果反过来呢？」

专题③ 三次数学危机回望

数学史上有三次著名的「危机」。它们有一个共同的结构：某个原本被认为理所当然的东西被发现有漏洞。而每一次危机的解决，都让数学变得更强。

读危机史最重要的收获，是获得一种对「不确定性」的健康态度：数学并没有一个绝对稳固的地基，它的稳固性是历史上不断修补出来的。而每一次修补都让数学更精确、更强大。「发现漏洞」不是丢脸的事，而是专业能力的体现。当您在做题时发现「这道题的条件好像不够」，请不要急着怀疑自己——有可能您发现了一个真问题。

专题④ 完备化与抽象化

数系扩张的最后两步（ℚ → ℝ 与 ℝ → ℂ）分别代表两种不同的扩张动机。看清这两种动机，您就能理解现代数学的两条主干。

本专题想让您记住一个区分：「解不了方程」和「极限不存在」是两种不同的困难，对应两种不同的扩张。前者是代数问题，后者是分析问题。您在一轮复习中会分别遇到它们的影子：导数与积分属于分析（依赖完备性），方程与多项式属于代数（依赖代数封闭）。知道自己在哪个世界里工作，是理解数学地图的第一步。

专题⑤ 十五年少广之旅回顾

「逆运算」与「数系扩张」这条线索，也是从小学一路延伸到高三。本页整理成一张升级路线表。

十五年少广之旅的真正主题是「追问反向」：从「加减互逆」到「函数求反」再到「数系扩张」，您一直在做同一件事——追问「反过来行不行」。而每一次「不行」都带来一次升级。请把这条线索记住：当您面对一个陌生的数学概念时，最有效的问题永远是「它的逆是什么？逆存在吗？不唯一吗？在哪个范围内存在？」

研讨① 危机即机遇

三次数学危机都以「修补」告终，而每一次修补都让数学更强大。本页讨论这个模式的普遍性——它不只属于数学。

讨论题

研讨①的落点：危机不是数学（或人生）的例外状态，而是它的常态。一个体系越是成熟，越会定期遭遇「原来的说法不够用了」的时刻。区别只在于：有人把这种时刻当成失败，有人把它当成升级的入口。数学史提供了大量「把危机变成升级」的成功范例——这是它最值得学习的地方之一。

研讨② 逆的思想推广

「求逆」这条思路不只属于数系。本页讨论它在各个数学分支中的形态，以及它如何成为一种普遍的解题策略。

研讨②的落点：「求逆」是数学的统一线索之一，它贯穿几何、代数、分析、概率与算法。而「逆做不到」的两种原因（信息丢失、信息不足）给了我们一个通用的分析框架。您在高三的复习中会遇到大量「求逆」型问题——从解方程到求通项到解三角形，全都是它。当您觉得某道题难时，不妨问一句：这里我在求什么？正向操作是什么？为什么反向这么难？

研讨③ 数系与结构

本站的最后一个研讨把「数系扩张」提升到「结构」的高度。这正是 H3-1 第五章埋下的伏笔，现在把它接上。

研讨③是本站（乃至整套巡礼）的「最高一级台阶」：从「数」走到「结构」，就是从中学数学走到大学数学。您不需要现在就掌握这些结构，但您需要知道它们存在，并知道「您现在学的每一个数系，都是一个有名字的结构」。知道自己在哪儿，是走得更远的前提。

研讨④ 少广与函数

少广章讲「由面积求边长」，这在今天的语言里就是「由函数值求自变量」——也就是反函数。本页把少广与函数接起来。

研讨④把《九章》第四卷与现代函数概念焊在了一起：少广的开方术是「求反函数」的具体算法，而数系扩张是「扩大反函数定义域」的历史过程。一轮复习中，请把「反函数」这一节与本站内容一起复习——您会发现「函数与方程」这个模块的很多困惑，都能在「逆运算」这个视角下变得清楚。

项目① 数系史课题

本站的项目与 H3-1 的数系史研究不同：本站要求「算法与实验」的成分——不仅要读史，还要把古算法跑一遍，与今天的算法比一比。

立项的时候请特别注意「可操作性」：一个能用三天做完的小实验，比一个需要一个月查阅的宏大题目更有价值。因为前者您真的会做完，而后者往往只留下一个漂亮的开头。研究的要点是「完成」，不是「伟大」。

项目② 研究实施

本站实施阶段的核心是「做实验、记数据」。本页给出可直接使用的实验记录格式与操作要点。

实验研究有一个容易被忽略的要求：把「不漂亮的」数据也记下来。多数人只记成功的那几次迭代，把混乱的中间过程丢掉——而那些「混乱过程」恰恰是判断算法优劣的关键证据。研究不是展示成果，而是记录过程。

项目③ 成文

本站报告篇幅 1200–1800 字，结构以「问题—方法—数据—分析—结论」为主干，与方田站（史料型）、粟米站（决策型）形成三类不同的写作范式。

三种写作范式（史料型、决策型、实验型）在一个冬季段里各出现一次，是刻意的安排。它们对应三种不同的求知方式：追问过去（史料）、权衡取舍（决策）、动手检验（实验）。三种能力都是数学素养的一部分，而本站训练的正是第三种——也是最少被训练的一种。

项目④ 海报

本站海报的要求是「一图一结论」：用一张图把「两种方法的收敛速度差异」呈现出来。这是三个站中最强调技术表达的一张。

第三张海报的要求逐站收紧，到这里已经相当接近专业的数据可视化标准。请把这三站的海报放在一起回看：您会发现自己的「信息取舍能力」在两次之间进步了多少。这种可比较的成长感，是巡礼这种编排方式最能给人的东西。

项目⑤ 展示准备

本站展示仍然 6 分钟，但重心是「实验与数据」：讲清您做了什么实验、发现了什么规律、为什么会有这个规律。因此展示中必须有「现场演示」或「现场验算」的环节。

本站展示的核心能力是「把实验讲成故事：为什么这样想 → 怎么做 → 结果如何 → 为什么如此」。而最容易被听众记住的，往往是「为什么如此」——那个解释性的环节。数据只能让人相信，解释才能让人理解。两者都要有。

深读① 刘徽开方注的深意

刘徽对少广章开方的注释里，藏着中国古代数学中最深刻的一段思想。本页摘读并解读。

刘徽的注是中国数学文献中最值得反复阅读的部分之一。他做的每一次「补理由」，都是把实用的算法推向一般理论的一步。当您以后读到「某条法则的证明」时，请想一想那些法则当初也是「术」——是先有人用，后来才有人解释。「术」与「理」之间的往返，就是数学成长的方式。

深读② 希帕索斯与无理数

第一次数学危机的故事有名字、有传说，也有严格的数学内容。本页把它讲完整。

希帕索斯的故事有一个值得注意的现代版本：在数学中，推翻直觉的发现往往非常有价值。当您发现一个「不可能」的事实时，您可能已经站在了新理论的门口。√2 是如此，非欧几何是如此，不可测集也是如此。「这不可能」——这四个字在数学史上出现时，通常意味着「这里有个新世界」。

深读③ 一轮复习联动清单

把少广线索与一轮复习内容挂钩。本页六条联动，请挑 2–3 条落实。

少广站的联动清单有一个特点：它与 H3-1 第五章的联动清单高度重合。这不是重复，而是刻意的呼应：同一块内容，从「历史动机」（本站）与「结构结果」（H3-1）两个角度看，会留下两次不同深度的印象。复习中若能同时记住「怎么被逼出来的」与「它长成了什么」，记忆的牢固程度会明显提高。

少广巡礼档案

本站复盘以档案形式完成：四条线、六道自检、五个自评问题。

本章六条自检

自评五问：① 我能不看资料说出开方术的核心公式吗？② 我能默写数系扩张表并解释每一步的动机吗？③ 我能独立证明一个数的无理性吗？④ 我能说清「算不尽但存在」这句话的含义吗？⑤ 我能指出本站与上一站（粟米）、与 H3-1 第五章的各一处深层联系吗？

归档时请把「方程—数系配对表」放在最上面——它是本站最实用的一页：当您复习时忘了某个数系的性质，只要问自己「这个方程在这里有解吗」，答案和理由就会一起回来。把抽象的性质挂在一个具体的例子上，是最省力的记忆方式。

成果展

第三站成果展。本站的展示有一个硬性要求：现场算一次。这是三次展示中最强调「动手」的一次。

少广站到此结束。您亲手算过平方根、走过数系扩张的全链、逼近过无理数、还比较过三种算法的速度。这一站真正要留下的是一句可以随身携带的话：「反过来行不行？」——当您在考场上卡住时，这个问题会提醒您换一个方向；当您面对一个陌生的数学概念时，这个问题会告诉您它为什么存在；当您在生活中遇到「做不到」的时候，这个问题会提醒您：或许不是做不到，只是手里的工具还不够。

筑城与调粮：国家工程中的数学

《九章算术》的第五卷叫「商功」，第六卷叫「均输」。这两卷在整部书里很特别：它们是为国家工程写的。前者算土方——筑城、修堤、开渠、挖沟需要多少土；后者算运输——怎么把粮食从各县公允地运到指定地点。

「商功」的「商」是商量、计算，「功」是工程量。在秦汉的制度里，「功」是一个硬指标：修一段城墙、开一条水渠，要按「人 × 日」计功，也就是劳动量。而劳动量 = 土方数 × 运距。请注意这个乘法里已经藏着两个大主题：土方数是「累加」出来的（把无数薄片体积加起来），劳动量是「优化」出来的（怎么运最省）。

这两条线为什么值得在高三专门走一趟？因为它们体现了一个常被忽略的事实：数学不是从公理出发的，很多时候是从「要把活干完」出发的。《九章》里的每一个公式背后，站着一个工地、一支运粮的队伍、一册户籍。数学在两千年前就已经是治理与工程的通用语言——而今天，它依然是。

本站要走的四步：① 先动手算——把商功卷的体积问题与均输卷的分配问题各做几道，看清古人的算法结构；② 做一次「累加」演练，把垛积术（Σk、Σk²）与锥体的 1/3 之谜连起来；③ 用一个真实现代问题走完建模流程，亲手做一次「最小费用」的计算；④ 研讨「累加与优化」这两条线为什么贯穿整个应用数学——最后收在「数学与国家治理」这个题目上。

一句话概括本站的野心：让您在高考的立体几何、数列、导数、积分四个板块里，看到同一个古老的动作。那个动作有两个方向——把小的加起来（累加），在限制下选最好的（优化）。《九章》的第五、六卷，就是这两个方向最早的、最实用的展示。

商功题今解：体积总表

商功卷的题目几乎都长一个样子：给出几个尺寸，问「积几何」。我们先把最经典的一道原文完整做一遍，再整理一张公式总表。

第 1 步｜统一单位。古算最大的陷阱就是单位。「丈」与「尺」混用，必须先把全部尺寸化成同一单位。4 丈 ＝ 40 尺，2 丈 ＝ 20 尺，5 丈 ＝ 50 尺，126 丈 5 尺 ＝ 1265 尺。结果的单位是立方尺。

第 2 步｜看形体。「城」的截面是一个梯形（上窄下宽），沿长度方向尺寸不变——所以它是一个梯形柱（棱柱）。这类形体在商功卷里统一叫「城、垣、堤、沟、堑、渠」，它们共用一个公式。

第 3 步｜代入。截面面积 ＝ (20 ＋ 40)/2 × 50 ＝ 30 × 50 ＝ 1500（平方尺）。总体积 ＝ 1500 × 1265 ＝ 1897500（立方尺）。与原文答案「一百八十九万七千五百尺」完全一致。

公式总表。商功卷的二十多个公式可以按「截面随高度怎么变」分成四类。下面这张表按现代名整理，注意第 4 列写出了它与现代公式的差别。

把这张表抄下来时，请务必在每一行后面写一句「它是怎么被 切 出来的」——因为商功卷真正的技术不在公式，而在剖分。古人面对一个陌生形体，第一反应不是找新公式，而是问：「它能切成哪些我已经会算的东西？」

均输题今解：优化实验

均输卷的核心是一个「公平分配」问题。我们先看清它的分配原则，再做一次真正的优化实验。

为什么要「户数 × 日数」相乘？因为这两件事的性质不同：户数是「分钱的人」，日数是「花钱的代价」。若甲县户多但路近、乙县户少但路远，两边究竟谁该多出？古人的答案是：把两个因素乘起来当权重——谁的总劳动负担能力大，谁就多出。写成公式：设权重 w_i ＝ 户数_i × 行道日_i，总赋额 T，则

这正是一个加权平均的分配。下面用一个我设计的干净数字例子做一遍（真实史料数字往往不求整数，做起来反而看不清结构）。

优化实验｜仓库该设在哪里？假设三县的负担量分别集中在距起点 5、10、20（单位：日）处，量依次为 20000、30000、40000。现在允许在路线上设一个中转仓，位置 x。要使总运输量（Σ w_i · 距离）最小，x 应该在哪？

请注意这次实验里出现了一个重要分野：如果目标是最小化「平方」距离之和，最优点会是加权「平均数」（也就是加权重心）；如果目标是最小化「绝对」距离之和，最优点会是加权「中位数」。同样是「公平」，目标函数换一个，答案就换一个。这件事我们在专题③与研讨④还要回头看——它说明「最优」从来不是天然的，它取决于您如何定义代价。

累加思想演练

商功卷把「累加」用在体积上，但中国古代还有另一条更纯粹的累加传统——垛积术：把东西按规矩堆成垛，问一共有多少个。这类问题逼出了世界上最古老的一批「有限和公式」。

演练 1｜三个基本和。先把这三条算到滚瓜烂熟，它们是所有垛积问题的零件：

演练 2｜用公式解一道垛积题。酒坛堆垛：底层 8 × 6（长 8、宽 6），每上一层长宽各减 1，共 6 层。求总坛数。

演练 3｜为什么锥体是三分之一？这是商功卷最深的一个「为什么」。刘徽的方法是棋验法：把一个正方体（棱长 a）切开，可以恰好分成 6 个鳖臑；也可以分成 3 个阳马。因此

请把这一页当作「累加」这件事的第一次系统训练：离散的求和公式（垛积）与连续的面积体积（商功）是同一枚硬币的两面。当层数变得越来越薄、越来越多时，垛积公式的极限就变成了积分。这个「离散 → 连续」的过程，就是研讨①的主题。

现代工程问题建模

把商功与均输合起来看，正好是一个现代工程问题的两个阶段：先算量，再选方案。本页用一个最小的「两厂两工地」问题，走完一次完整的建模—求解。

求解｜最小费用法（贪心）。先把最便宜的路走满。运价最低的是「甲→A」（1），但甲只有 12 而 A 只要 10——先把 10 单位给 A。甲余 2，只能走「甲→B」（3）。B 还差 13，全部由乙走「乙→B」（2）。于是 x₁₁ ＝ 10, x₁₂ ＝ 2, x₂₁ ＝ 0, x₂₂ ＝ 13，总运费 Z ＝ 10 ＋ 6 ＋ 0 ＋ 26 ＝ 42。

敏感性分析｜如果运价变了呢？假设道路维修，乙→B 的运价从 2 涨到 5。重新用最小费用法：最低价变成甲→A（1）与甲→B（3），乙→A（4）次之。把甲→A 走满 10，甲余 2 走甲→B；B 差 13，只能乙→B（5）。总运费 ＝ 10 ＋ 6 ＋ 65 ＝ 81。方案没变，代价翻了近一倍。

工程建模的价值往往就在这里：方案对了，但成本可以由外部条件决定。敏感性分析要做的事，就是找出「哪个参数最要紧」。在本例中，答案是「乙→B 的运价」——因为它承担了 13/25 的运量。把您所有的精力放在影响最大的那个参数上，这是从工程与运筹中学到的最实用的一条工作方法。

专题① 商功：体积公式体系

商功卷的二十多个公式不是零散的清单，而是一套有结构的体系。看懂这个结构，您就不需要死记——您只需要记住「截面怎么变」。

刘徽的棋验法：一套「不依赖微积分」的证明。刘徽用一组被称为「棋」的标准块（立方、堑堵、阳马、鳖臑）来证明商功卷的全部体积公式。核心结论只有三条：

与现代公式的完整对照。

商功卷最值得学习的地方不是公式本身，而是刘徽给公式补理由的习惯。在《九章》里，公式叫「术」——只给做法。刘徽注的价值在于他追问「为什么这样做是对的」。「术」与「理」的往返，是中国数学史最动人的一条线；也是您在高三复习中应该反复练习的一件事：每背下一个公式，追问一次它的来源。

专题② 祖暅原理与积分影子

如果说商功卷与均输卷是「累加」与「优化」的实用展示，那么祖暅原理就是这两条线在理论层面的第一次汇合——它是中国古代数学里最接近现代分析的一个命题。

这条原理的力量在于：它把一个「算体积」的问题，转化成一个「比截面」的问题。很多算不出来的体积，只要找一个截面相同、但更容易算的替身就行了。下面用它把球体积完整推一遍——这是中国数学史上最漂亮的一段论证。

目标：求半径 R 的球体积。思路：先算一个「帮忙的形体」——牟合方盖（两个等半径的正交圆柱的公共部分），再把它与球挂钩。

积分影子｜从「截面相加」到定积分。把上面每一步的核心动作抽出来：把一个立体切成许多薄片，算出每片面积，再把它们累加起来。这个动作写成现代算式就是

而祖暅原理说的正是这个积分的一个性质：若 A₁(z) ≡ A₂(z)，则积分相等。换句话说，祖暅原理是「积分的等值判据」。它比牛顿—莱布尼茨公式更基本——它完全不依赖「求原函数」，只需要「比截面」。

这一页想留下的是一句话：「累加」这件事，从垛积术（离散）走到商功的体积（连续），再走到祖暅原理（截面等值），最后的现代名字叫「定积分」。它们不是四个不同的知识点，而是一条线上的四个位置。当您在高考试卷上看到「用定积分求旋转体体积」时，请想起祖暅——他比这套语言早了一千四百年，用的却是同一个想法。

专题③ 均输：统筹与优化

均输卷的「均」字最值得推敲。什么是公平？这个问题没有唯一答案——而不同的答案会给出完全不同的数学。本页把「公平」这件事做一次系统的数学化。

「公平」的四种数学定义。下面这张表是本站最值得记住的一张——因为它说明：「公平」不是道德词汇，而是一个需要选定的目标函数。

从分配走向优化。均输问题还有一个「优化版」：如果不仅要求公平，还要求总消耗最小呢？那就要把问题写成「目标函数 ＋ 约束」的标准形式——这正是现代优化的语言：

「均输」这个词今天仍然活着——它活在任何一次「按权重分配」的场合。试卷分数按权重折算、项目经费按贡献分配、碳排放配额按历史排放分配、投票权按人口分配。每一次，您都要先回答一个非数学的问题：什么算公平？然后才轮到数学登场，把它变成一个可以计算的目标函数。先定义目标，再寻找最优——这个顺序如果颠倒，再漂亮的数学也没有意义。

专题④ 从均输到运筹学

均输卷与运筹学（Operations Research）之间，隔着两千年，但它们的血缘关系清晰可辨：都是在资源有限、约束明确的条件下，寻找「最好」的方案。本页把这条演化线走一遍。

从「一个仓库选址」到「一张网络」。把第 3 页的选址实验推广一步：如果节点不止三个、而且路径构成一个复杂网络呢？那就进入了图论的领域。

复杂性的边界。一个有意思的事实：线性规划是「容易」的，整数规划是「困难」的。若变量允许取分数（连续），问题有多项式时间算法——1979 年哈奇扬的椭球法、1984 年卡马卡的内点法都证明了这一点。但只要要求变量必须是整数（比如「车」不能是 2.5 辆），问题就变成 NP 困难的。

本页的线索只有一句：《九章》第六卷里那个「按路程分摊赋税」的问题，两千年后长成了一门学科。中间没有断裂，只有语言的升级——「衰出之」变成「加权分配」，「均输」变成「运输问题」，「术」变成「算法」，而问题本身几乎没有变。这或许能让您对「古老的应用题」多一分敬意：它们不是过时的习题，而是活的数学的童年。

专题⑤ 十五年商功均输之旅回顾

这一站是 H3-2 的第四站。到这一页，我们已经走过了方田、粟米·衰分、少广，现在走到商功·均输。本页做一件事：把这条思想线拉长到整个 K2C 十五年，看它在每个阶段的样子。

「复习即巡礼」的意思是：您不是在学新东西，而是在把散落在十五年里的同一个思想重新认出来。请看下面这张表——它把「累加」与「优化」两条线在每个学段的形态列了出来。

两条线为什么合起来才完整？因为「算清楚」与「做最好」是所有应用数学的两端：先要能把量算准（累加），才能谈怎么分配得更好（优化）；反过来，优化问题里往往需要对大量的候选方案做累加型评估（比如算总运费），所以两者又互相依赖。这就是本站标题的意思——实干的双翼。

如果您愿意做一件额外的事：在自己的错题本上专门开一页，标题写「累加与优化」，然后把它继续填下去。每当您在任何一册书、任何一张试卷上看到相关的题目，就归到这一页。一年之后，您会有自己的一张「思想地图」——它比任何复习资料都贴合您。

研讨① 累加：连续与离散的桥

第 4 页的垛积术（离散的加）与第 7 页的积分（连续的加），看起来是两个世界。本页把它们之间的桥搭起来——这座桥的名字叫「差分与求和互为逆运算」。

桥是怎样搭上的？关键在于「差分是求和的逆运算」，这正对应「导数是积分的逆运算」。而离散基本定理的证明只要一行——因为它只是一次「望远镜式的相消」：

另一个方向：把离散「连续化」。有些离散问题很难直接解，但它的连续版本很容易——那就先解连续版，再回到离散。

研讨①的核心是这张对偶表。建议把它抄在错题本的第一页——因为高三的数列与导数两大板块，几乎所有的技巧（裂项、错位相减、放缩、求和与极限）都能在这张表的框架里找到位置。看清对偶关系，等于同时复习了半个模块。

研讨② 优化的普适

「优化」这件事在数学之外也到处出现：光走最快的路、水找最低处、生物演化的适应度、市场达到的均衡。本页盘点优化的几种面貌，并追问一句：为什么它如此普遍？

回到那个问题：为什么优化如此普遍？一个诚实的回答是：因为我们擅长描述「什么是最好的」。公理、定义、定理告诉您「什么成立」；而目标函数告诉您「什么更好」。当数学想把某个领域纳入自己的疆域时，第一步通常是把那个领域的目标写成函数。所以「优化」不只是一个数学分支，它是一种把现实翻译成数学的通用句法。

研讨③ 工程数学一瞥

本站从「算土方、调粮食」开始。本页把这条线推到当代工程——看看今天工程师手里的数学是哪些，以及它们与《九章》的关系。

建模的循环。工程数学的工作方式不是一个直线流程，而是一个不断回头的循环：

如果要用一句话概括工程数学的气质，那就是：「不追求最好的方法，只追求足够好的方法」。工程师在意的是误差可控、时间可接受、结果可解释。这种「务实的最优」与《九章》「以术为用」的传统一脉相承——它不追求体系的完美，只追求事情办得成。作为一个即将学习现代数学的人，请您同时尊重这两种气质：务实让您把数学用起来，严格让您把数学立起来。

研讨④ 数学与国家治理

《九章》有一个不常被提到的身份：它是一部官学教材，一部治理手册。本页讨论一个稍微超出数学、但每个数学人都该想一次的问题：数学在治理中扮演什么角色？它是中立的吗？

本页想把一件小事种下去：当您日后用数学模型去解释或建议什么的时候（无论是一次课题、一份报告，还是一个决策），请养成开头写「假设」、结尾写「局限」的习惯。这不是形式主义——这是让数学与真实世界之间那道缝隙，被诚实地标出来的方式。《九章》的作者们没有写这些，因为他们的目标是「办事」；而您要做的，是把「办事」与「说清楚」两件事一起完成。

项目① 工程课题立项

本站的项目与前三站不同：它以「工程与运筹」为对象，成果必须包含一次真实的测量或计算。也就是说，您不能只读书、只查资料，您必须动手算出一个属于您自己的数。

下面给出五个方向。每个方向都写清了「核心问题」与「交付物」，请任选一个立项（也可以自己提出方向，但需包含同样的要素）。

提示一条经验：把目标函数写清楚，项目就成功了一半。反过来，绝大多数的项目失败都发生在这一步——问题含糊、目标不明，于是后面的数据与计算都无处安放。写下来，给它一个式子，哪怕它很粗糙。

项目② 建模求解

立项之后进入执行。本页给出一个可照做的流程与记录模板——请严格执行「记录中间结果」这一条，它是本站项目与以往最大的区别。

本页最重要的一句话：做工程研究，要让别人（包括三个月后的您自己）能顺着您的记录重做一遍。请从现在开始养成一个习惯：每算出一个中间量，就问一句「这个数，我以后还能不能复原出来」。如果能，您的记录就合格了。

项目③ 成文

第三站的成果是「实验型报告」，本站的成果是「建模型报告」。两者最大的区别是：建模报告必须显式地写出假设与局限——因为模型永远是对现实的简化。

关于「局限」这一节，再补一句：它是整份报告里最能体现您的数学成熟度的部分。一个能准确说出「我的模型在哪里不成立」的人，比一个声称「我的模型处处有效」的人，可信度高得多——因为前者知道自己在做什么。请把「局限」当成展示而不是交代。

项目④ 海报

海报的任务是：在一分钟内让路人看懂您的问题、您的答案、您的依据。本站的海报有特殊要求——因为工程与优化问题天然适合图示。

海报是一次高强度的「表达训练」。它会迫使您回答一个问题：如果只能保留三样东西，您会保留什么？这个问题的答案，其实就是您项目里真正重要的东西。做一次海报，往往比写一次长报告更能帮您看清自己的研究。

项目⑤ 展示准备

本站的展示有一个前三站都没有的硬性要求：必须包含现场计算或现场演示。因为「优化」这件事，光说结果不够——您必须让观众看见「您是怎么找到那个最好的」。

追问清单｜准备好回答这八个问题。展示后必有提问。下面八条覆盖了绝大多数可能的追问，请逐条准备（每条至少两句）。

展示准备的建议：把八条追问的答案写成 8 张小卡，反复练习到能不看卡说出来。您会发现，准备追问的过程，本身就是对项目的一次彻底复习——因为它逼您从「我做了什么」切换到「别人会怎么质疑」的视角。这个视角的切换，是任何研究成果走向成熟的关键一步。

深读① 《九章》的工程背景

商功与均输两卷不是纸上的练习题，它们对应着秦汉帝国真实的国家工程与财政制度。了解这层背景，能让您更清楚地看到「为什么公式长这样」。

读史料时请留意一件事：《九章》里没有一条公式是「为了数学而数学」。它们全部来自具体的活计——量田、收税、运粮、筑城。这不意味着古代数学「不纯粹」，而是提醒我们：数学的生命力从来来自它要解决的问题。当您在高三觉得某个公式「没意义」时，不妨查一查它的出身——您多半会发现，它曾经是一个非常具体的聪明的办法。

深读② 现代运筹案例

运筹学的名声来自战场，但它的主战场在今天：物流、排班、调度、布点。本页看四个真实案例，看看「均输」这条线在今天长成什么样。

这四个案例有一个共同点：它们都不需要艰深的数学，但都需要把问题「翻译」得非常准确。布莱克特的成功不是因为他的数学高深，而是因为他把「护航编队该多大」精确地翻译成了一个可计算的期望损失比较。翻译质量决定了优化的上限——这句话对您在高三做的每一道应用题同样成立：先看懂题，再动笔算。

深读③ 一轮复习联动清单

本站与一轮复习的接口非常多——因为「体积累加」与「分配优化」几乎贴在高考数学的几个主板块上。下面六条是必须落实的联动。每条都写清了「与本站的接口」与「验收标准」。

这六条清单有一个特点：它们都是「数学内部」的联系。而本站真正想给您的，是一种「能自己造清单」的能力——拿到一个新知识点，能在十分钟内找出它与您已知内容的五到六个接口。这种能力在高考考场上表现为「解题速度快」，在日常学习里表现为「记得牢」，而它的训练方式正是您现在正在做的事：把新东西挂到旧东西上。

商功均输档案

本站复盘以档案形式完成：四张表、六道自检、五个自评问题。

本章六条自检

自评五问：① 我能不看资料算出一道商功体积题吗？② 我能默写体积公式的四类结构并各举一例吗？③ 我能把「祖暅原理」与「定积分」讲成同一件事吗？④ 我能说清四种「公平」的差别，并解释为什么它们不能互相替代吗？⑤ 我能指出本站与前三站（方田、粟米·衰分、少广）各一处深层联系吗？

归档时请把「结论卡片」放在最上面——它只有五行，却是本站最浓缩的产出。当您复习失去方向时，读一遍这五行，就能找回这一站的路。而如果某一行您读起来觉得陌生，那就回到对应的那一页去——这就是档案的意义：它让复习有一个可查的坐标。

成果展

商功均输站收官。本站的成果展以「答辩式展示」进行：先做事，再解释，最后接受质疑。下面是流程与要求。

商功均输站到此结束。您算过土方、分过粮、堆过垛、做过选址、还亲手把一个实际问题变成了「目标函数 ＋ 约束」。这一站真正要留下的是两句话：「先把量算准」（累加），「再把方案选好」（优化）。——当您面对任何一件需要动手的复杂事情时，这两句话就是一条工作路线。

而更深一层的东西藏在祖暅原理里：「缘幂势既同，则积不容异」——如果两个东西在每一层都一样，那它们整体就一样。这句话可以读成一种方法论：要判断两个复杂对象是否相等，不必直接比较整体，只要逐层比较结构。这个思想在数学里叫「截面法」，在生活里叫「看过程不看结果」。《九章》能给您这样一句话，已经不只是一本算术书了。

下一站是「盈不足·方程：逼近与消元」——那是九条思想主线的第五条，讲的是猜错了怎么办与未知太多怎么办。《九章》用两个非常聪明的办法回答了它们，而这两个办法今天分别长成了「数值迭代」与「线性代数」。

二次假设：古人的聪明试探

《九章算术》第七卷叫「盈不足」。这一卷的方法极其聪明，聪明到让人有点惊讶：当您算不出来的时候，就先猜两个答案，看各差多少，然后从这两个「差」里把正确答案算出来。

这道题的答案在原文里是「七人，物价五十三」。我们先验证一下：8 × 7 ＝ 56，比 53 多 3 ✓（盈三）；7 × 7 ＝ 49，比 53 少 4 ✓（不足四）。完全吻合。

但真正有意思的不是答案，而是古人的算法。术文说：「置所出率，盈、不足各居其下。令维乘所出率，并以为实；并盈不足为法。实如法而一。」翻译成现代步骤：

为什么这样算就是对的？这是本站第一件要弄清的事。请先注意它的形式：分子是两个偏差的和，分母是两次假设之差。把它画在坐标纸上您会立刻明白——如果我们把「每人出多少」当横轴、「盈亏多少」当纵轴，两次试验给出两个点，而真实答案就在这条直线与横轴的交点处。盈不足术，就是用两个点连一条直线，再求这条直线与横轴的零点。这正是今天所谓的「线性插值」。

本站的另一半是《九章》第八卷「方程」。注意这个「方程」不是今天的「equation」（等式），而是「方的阵列」——刘徽注说得很清楚：「并列为行，故谓之方程。」也就是把算筹按行排列成一个矩形阵，用来处理多个未知量的问题。而它的解法叫「遍乘直除」：用某一行的倍数去减另一行，把某个未知量消掉。这与一千七百年后欧洲的「高斯消元法」在步骤上完全一致。

本站要走的四步：① 先用盈不足术做几道原题，再看它怎样在非线性问题上变成迭代逼近；② 研读方程章的术文，亲手用消元法解一遍「上禾中禾下禾」问题；③ 认识「正负术」——世界上最早的负数运算法则，以及它为什么非有不可；④ 研讨「逼近」与「消元」这两条线怎样长成了今天的数值分析与线性代数。

一句话概括本站的主题：当正面算不出来时，有两个办法——「猜了再修」（逼近），或者「把复杂拆简单」（消元）。《九章》用了两卷的篇幅把这两个办法都做到极致。而它们恰好是当代应用数学的两条主干：数值方法与线性代数。

盈不足术今解

本页把盈不足术的公式完整推一遍，然后用三道原题与一个非线性实验检验它。

第一步｜把问题写成统一的偏差形式。设人数为 n、物价为 p。若每人出 a，总付出 an，与物价的差记作 d(a) ＝ an − p（d > 0 为盈，d < 0 为不足）。做两次假设：

第二步｜解出未知数。由上式立得

三道原题。① 「今有共买鸡：人出九，盈十一；人出六，不足十六。」② 「今有共买金：人出四百，盈三千四百；人出三百，盈一百。」（两盈型）③ 自验一题。

非线性实验｜用盈不足术逼近 √2。现在把同一套方法用在解方程 x² ＝ 2 上。记 f(x) ＝ x² − 2，多次假设并插值：

本页最重要的一句话：盈不足术是「以直代曲」这一整个现代数学策略的第一次出场。它用一条直线代替真实关系，因而简单、快速、可机械执行，而且在足够小的范围里足够准。当您以后学到「线性化」「泰勒展开」「牛顿法」时，请想起这一页——两千年前的那道买物题，就是这条路的起点。

方程章术文研读

「方程」在《九章》里指的不是「等式」，而是「方阵」。本页研读方程章最著名的一道题及其术文，您会看到线性代数最早的样子。

第一步｜写成现代方程组。设上、中、下禾一束分别为 x, y, z（单位：斗）：

第二步｜写成「方阵」。《九章》的做法是把系数按「行」摆成算筹阵——注意古人的摆法与现代矩阵的转置相同（每一行是一组数据，从左到右依次是上禾、中禾、下禾、实）：

第三步｜读术文。术文核心是八个字：「以右行上禾遍乘中行，而以直除」——用右边的「上禾」系数去乘中间那一行，再用右边的行直接相减，把这个系数消掉。如此反复，直到每一行只剩下一个未知量，再逐个回代。

第四步｜动手消元。我们从第二、三行分别减去第一行的倍数，把最左边的 x 消掉：

一个术语的澄清。刘徽注「程，课程也。群物总杂，各列有数，总言其实。令每行为率，二物者再程，三物者三程，皆如物数程之。并列为行，故谓之方程。」——注意最后一句：名称来自「把数据并排成行」这个动作，与「等式」没有关系。

本页的核心收获是：「方程术」＝ 把数据摆成方阵 ＋ 用行变换消元。这两件事合起来，就是线性代数。您在高三「线性规划」与「矩阵」里见到的那些操作，都可以在这里找到原型。而《九章》比欧洲的高斯早了大约一千六百年——它缺的不是思想，只是符号。

消元思想演练

本页把消元练到成为肌肉记忆。请严格按「写增广矩阵 → 做行变换 → 化行阶梯形 → 回代 → 逐条检验」这五步做，每一步都写在纸上。

演练 4｜反面情形（这一题最重要）。看下面两个方程组，它们「看起来」和前面的没有区别：

本页要养成的习惯有三个：① 把方程组写成矩阵再动手；② 每一步行变换都写出来；③ 算完逐条代回检验。前两条让您不容易出错，第三条让您在出错时能立刻发现。消元法是数学里少有的「机械化到可以完全交给机器」的算法——而您今天在纸上做的，正是计算机每分钟做几十亿次的事情。

现代方程模型实验

线性方程组不只是数学题——它是现代科学最常用的建模工具之一。本页做四个实验，看看同一个「方阵 ＋ 消元」怎样出现在完全不同的领域。

实验 5｜当规模太大：迭代法。如果 n 到达百万级，直接消元的 O(n³) 就不可接受了。这时改用迭代法：

本页的收获是：「方阵 ＋ 消元」不是一个数学专题，而是一种通用语言。化学、电路、经济、人口——当一个问题涉及「多个量之间互相制约」时，语言几乎自动就是线性方程组。而当规模变大，就切换到迭代法——于是我们又回到了盈不足术的精神。本站的两条线（消元与逼近）在这里合流了：大问题用迭代，小问题用消元；两者都建立在「能评估、能改进」这一个前提上。

专题① 盈不足：线性逼近的雏形

本专题把盈不足术放到「逼近」这条大线上，说明它在现代数值分析里的位置与后代。

它的后代：三种求根方法。把「解方程 f(x) ＝ 0」当作我们的目标，盈不足术的直接后裔是下面这些方法——它们的区别只在于「用什么代替曲线」。

本专题的一句话结论：盈不足术 ＝ 用两个样本点做线性插值求零点。它简单到可以用算筹执行，却已经包含了现代数值方法的全部核心要素：用简单函数逼近复杂函数、用迭代改进近似、用收敛性保证可靠。而它出现在两千年前的一本算术书里。

专题② 方程术：矩阵思想的源头

「方程」这个词在《九章》里的意思，与我们今天理解的「等式」完全不同。本专题解释这个名字的来历，以及它为什么是矩阵思想的源头。

本专题想让您记住的是：「方程」这个名字本身就是一段数学史。它告诉我们，线性代数最早的形态不是「研究线性映射」，而是「把数据摆成方阵、然后按行列操作」。这个来源至今仍然有效——今天工程软件里解一个大方程组，做的就是「对一个巨大的方阵做行列操作」。当您以后学到「矩阵的初等变换」「行阶梯形」「秩」这些概念时，请想起《九章》的算筹摆法：您就站在那条线的延长线上。

专题③ 正负术：负数的最早使用

《九章》方程章里藏着一条世界纪录：世界上最早的负数运算法则。它叫「正负术」。本专题讲清它的内容、它的动机，以及它与上一站（少广）的深层呼应。

把它翻译成现代规则。设两数为 a 与 b：

本专题最值得带走的一句话：负数不是「比零小」的哲学概念，而是「让算法能继续下去」的技术发明。这一点与上一站（少广）完全一样，也与本站在「逼近」上的思路一致——数学中的许多对象，都是在某个操作「做不下去」的地方被造出来的。理解了这一点，您就理解了数学增长的一个基本机制。

专题④ 从方程术到高斯消元

《九章》方程章的消元法，与十九世纪欧洲的「高斯消元法」在步骤上完全一致。本专题把这条演化线走一遍，并补上现代版本的关键细节。

解的存在性：三种情形。把消元进行到底，您会遇到三种结果，它们分别对应方程组的三种性质：

本专题的结论是双重的：一方面，《九章》方程术在算法思想上与高斯消元完全一致，早了一千六百多年；另一方面，从「能消元」到「可靠的数值代数」，中间还隔着误差分析、主元选取、稳定性理论这一整套现代内容。看清这两点，您就能同时拥有「对传统的敬意」与「对现代性的清醒」——这两者并不冲突，它们是同一条路上的两个阶段。

专题⑤ 十五年方程之旅回顾

方程这条线贯穿了整个 K2C 的十五年。本页把它拉成一张时间表，看看「方程」在每个阶段的样子。