几何基础 · 从《几何原本》到黎曼几何

本书怎么读：一门关于「空间与不变性」的学问

这不是一本教材，而是一册入门书：全书只讲一件事——几何学，即「研究空间形式、并在变换之下寻找不变量」的学问。它回答的问题朴素而深刻：为什么《几何原本》要用公理与证明来组织知识，而它又悄悄漏掉了哪些假设？为什么同一条勾股定理，在希腊以「证明链」的方式给出（I.47），而在中国古代以「拼补」的方式给出（赵爽弦图、刘徽青朱出入图）？为什么第五公设像一条定理却始终证不出来，而把它的否定当作公理，竟能得到一门同样自洽的新几何？为什么希尔伯特要把「点、线、面」背后隐含的假设一条条写出，而公理系统的相容性、独立性、完备性又各意味着什么？为什么射影几何用一个变换群就能统一欧氏、仿射与射影三种几何，克莱因圆盘与庞加莱圆盘又如何成为罗巴切夫斯基几何的模型？为什么黎曼要把几何建立在「内蕴的度量」而非「外部的空间」之上？全书按「编」组织：绪论交代这门学问从哪里来、要往哪里去；第一编细读《几何原本》——从公理体系到第一、二卷的命题，并专章对观勾股定理的中西古典证明；第二编从第五公设讲到希尔伯特公理系统与元数学三问题，建立「公理系统的模型」概念；第三编以截圆锥、截圆柱为线索，讲仿射与射影的变换几何及三种几何的现代模型；第四编架起通往微分几何与黎曼几何的桥；综合站用年表、人物谱、概念总图、实验与自查收束全书。

写作的三条约束（本书的自我要求）。① 直觉与图形先行：每一个概念都从一张图、一个具体的小例子讲起——先看见《原本》第一卷的证明链、赵爽弦图如何「环而共盘」、第五公设如何在萨凯里四边形上「差一点」被证出、丹德林球如何把截圆锥的截口认成椭圆、克莱因圆盘里的「直线」为何是弦，再抽成公理；每一个定理先有「为什么它是对的」的直觉，再有完整的证明。② 一步一图：凡能画的都画——全等三角形的对应、面积拼补的移动、剖分证明的密铺、非欧三角形的角亏、仿射变换把椭圆变成圆、射影平面上的无穷远线、球极投影把球面摊平。几何最漂亮的地方正藏在「图形—变换—不变量」的对照图里：一条公理、一个构造，画出来便一目了然。③ 自给自足：所需工具在书内随用随补（必要的高等代数、群与群作用、以及一点实数的构造与拓扑，都在用到处补上），不假设手边另有教材；个别关键结论（如 I.47 的证明链、第五公设的等价形式族、希尔伯特公理的相容性与独立性、交比的射影不变性）给出精确陈述与完整论证，数值与动态对拍在实验页随附。

页型节奏。每编以 导引 开篇（一页说清这一编要解决什么）；主体是 讲义 页（概念、定理、证明，一步一图）；每编配 例题 与 习题（末附提示）；每编收在 地图（依赖关系）＋小结＋思想卡（把技术升成观念）＋挑战与实验（动手核验）；另有 〖札记〗格物札记做中西数学传统的对照。每页右上角标页码，页眉灰色小字标出所属编与小节。

难度标记。讲义页首行用 ★–★★★★★ 标出阅读难度：★ 高中基础即可，★★ 需要平面几何与初等代数的熟练经验（书内自给），★★★ 需要线性代数与群作用、实数的入门（书内自给），★★★★ 需要公理化方法与模型论的一点观点（第二编与第三编，书内自给），★★★★★ 需要微分几何与黎曼几何的观点（第四编与综合站余韵）。若只求理解主线，读绪论、第一编的《原本》结构、第二编的第五公设与希尔伯特公理、第三编的截圆锥与射影变换即可；若求完整掌握，按编顺序逐页推进，并把每编习题做完。

三条线索贯穿全书：

① 明线——从直观到公理，再到算术：起点是「看图形、量长度、证全等」的直观几何（第一编《原本》），中途经历公理法把直观的隐含假设一条条显式化（第二编希尔伯特），终点是几何被翻译成代数与算术——坐标、齐次坐标、变换群，直到黎曼度量把几何完全写进解析的框架（第三、四编）。这正是几何学从欧几里得到黎曼的成长轨迹。

② 暗线——公理与不变性的双主题。全书有两条并行的追问：一条问「哪些假设被默认了」——从第五公设到帕施公理再到相容性与独立性，是公理化的历史；另一条问「哪些量在变换下不变」——从全等、相似到单比、交比再到群作用下的不变量，是不变性的历史。两条线在克莱因的埃尔朗根纲领处交汇：每一种几何，就是某一个变换群下的不变量理论；而每一套公理，就界定了一个可能的「世界」。找出「什么样的命题该由公理保证、什么样的量该由变换群刻画」，是全书反复演练的招式。

③ 接口——通往四个邻域。几何学是现代数学的中心枢纽：与代数（群与群作用、坐标与线性代数、多项式与二次型）、数学分析（实数系的构造与极限、曲线与曲面）、数理逻辑（公理系统、模型与元数学）、以及物理学（时空的度量、广义相对论的几何语言）四条战线直接相通，并在计算机辅助证明与机器定理证明处与计算科学合流，第四编与综合站余韵两页逐条架桥。相邻领域已把曲线与曲面的内蕴几何备好，本册第四编正是它最自然的前奏；相邻领域已把度量与曲率的一般理论备好，本册所讲的三种几何正是它最简单的模型。

写法约定（TEX 标准）：平面与空间的点记 A, B, C，直线记 AB 或 l，角记 ∠ABC；《几何原本》的命题按「卷.命题」记，如 I.47、II.4、V.5；希尔伯特的五组公理按「组名.序号」记，如 I.1（关联）、II.1（顺序）、III.1（合同）、IV（平行）、V.1（阿基米德）；变换与群作用记 φ : X → X、G × X → X；交比记 (A, B; C, D)。变量与映射名用斜体，函数名与群名（dim、sin、GL、PSL、Isom 等）用正体；关键一步配图，图形与命题逐编对照。

绪论 从《几何原本》出发本册导引：从《几何原本》到黎曼几何

公元前三百年左右，地中海边的亚历山大城，一位名叫欧几里得的学者把当时已知的图形知识整理成十三卷书。这部书没有留下多少华丽的辞藻，却做了一件前所未有的事：它从少数几条不加证明的公设与公理出发，用严密的逻辑一步一步推出数百条定理。在此之前，人类关于图形的知识多以经验与口诀的形式零散流传；在此之后，人们第一次相信——知识可以被组织成一个有起点、有链条、可检验的体系。这部书就是《几何原本》。

几乎在同一时代，东方的《周髀算经》《九章算术》也在处理着同一批图形问题：勾股、方圆、体积。它们走的是另一条路——不追求从公理推出的证明链，而是把方法与算法写进「术」里，用「算」来验证「理」。同一条勾股定理，希腊人用「证明链」（《原本》I.47）给出，中国人用「拼补」（赵爽弦图、刘徽青朱出入图）给出。两部传统各自把图形知识推向了极致，却给出了两种不同的数学相貌。本册的两千年之旅，就从这个对照出发。

从《几何原本》往后，几何学又经历了三次大的跃迁。笛卡尔在十七世纪把图形搬进坐标系，图形由此变成方程，几何与代数开始互相翻译；十九世纪，高斯、罗巴切夫斯基与鲍耶发现，把第五公设换成它的否定，竟能得到一门同样自洽的新几何，从此「公理」不再被看作「显然的真理」，而被看作「构造一个世界的规则」；几乎同时，克莱因与希尔伯特把几何学重新组织成「变换群的不变量理论」与「公理系统的模型理论」，几何学由此完成了从直观技艺到现代结构的转变。最后，黎曼把几何建立在内蕴的度量之上，为微分几何与广义相对论打开了大门。

这是一部几何学的成长史，也是一部数学思维方式的演变史。全书的主线可以用一句话概括：几何学如何从「看图形、量长度、证全等」的直观技艺，变成「由公理推出定理」的演绎体系，再变成「由公理走向算术、由群作用定义空间」的现代结构。

四编的推进，就是这条主线一次次的深入：

第一编（《几何原本》）回到起点，细读这部古希腊的数学书：它的体例、第一卷的逻辑链、面积的拼补理论，以及勾股定理在东西方各自的古典证明。

第二编（从第五公设到希尔伯特）讲公理法如何走向成熟：第五公设两千年的证明失败，非欧几何的诞生，希尔伯特五组二十条公理，以及相容性、独立性、完备性三个元数学问题。

第三编（仿射与射影）换一副眼镜看几何：用刀切圆柱与圆锥，切出仿射与射影变换，进而引出变换群与埃尔朗根纲领，以及三种几何的现代模型。

第四编（通往现代几何）架桥：从射影度量到黎曼度量，从曲率到流形，把送到微分几何与黎曼几何的门口。

绪论 从《几何原本》出发什么是几何学：对象、方法与观点的演变

★ 先从最朴素的问题开始：几何学是什么？这个问题看似简单，答案却随时代不断改写。把两千年间的主要回答排成一排，就能看清这门学问的性格。

三种回答并不互相否定，而是层层递进。第一层关心「有什么图形」，第二层关心「如何推出结论」，第三层关心「在什么变换下什么保持」。本册的写法是让这三层依次登场：先看图形与证明（第一编），再看公理与系统（第二编），最后看变换与结构（第三、四编）。

把这三个层次对照起来，可以看到一条清晰的口诀。第一层的问题是「这个图形是什么样」；第二层的问题是「这个结论凭什么成立」；第三层的问题是「换了眼镜之后，什么还看得见」。几何学的成长，正是问题从第一层升到第三层的过程。

绪论 从《几何原本》出发数学的「几何化」与数学—哲学的连结

★★ 数学为什么会长成今天这个样子？一个关键的历史事实是：数学的第一次「严格化」，是以几何为蓝本完成的。这件事深刻到可以用一个词概括——数学的几何化。

在古希腊人眼中，「数」与「形」本是两件事：数是离散的（1、2、3……），形是连续的（线段的长度、图形的面积）。当毕达哥拉斯学派发现正方形的对角线与边长之比不能写成两个整数之比（即 √2 不是有理数）时，他们对「一切皆数」的信念动摇了。应对这场危机的不是代数，而是几何：欧多克索斯用「量」与「比」的理论（《原本》第五卷）绕开了无理数的直接处理，把比例关系建立在几何图形之上。于是，连续量的严格基础被放在了几何里，而不是算术里。

这一选择的后果是深远的。此后两千年间，几何被视为最可靠的知识，代数与算术反而要借几何来证明自己合法。笛卡尔把曲线变成方程，是第一次反攻；直到十九世纪，分析的算术化（柯西、魏尔斯特拉斯、戴德金）才最终把「连续」从几何手中交还给算术。本册第一编细读的《几何原本》，正是这段历史的第一幕。

数学与哲学的连结，也在这一段历史里结下。柏拉图学园的门楣上据说刻着「不懂几何者不得入内」，这不是夸耀技巧，而是因为柏拉图认为：几何研究的对象——点、线、圆——是超越感官的「理念」，通过研究几何，灵魂得以练习从可见世界转向可知世界。亚里士多德则把几何的推理方式提炼成三段论，为逻辑学奠基。几何学第一次让「推理」本身成为研究对象，这正是数学与哲学共同的起点。

因此在本书的开头要特别强调一句话：《几何原本》不是一本「现代意义的几何书」，而是一部古希腊的数学—哲学著作。它讨论的是「如何获得可靠的真理」，几何只是它的战场。理解了这一点，才能读懂它的体例，也才能读懂它留下的裂缝。

绪论 从《几何原本》出发东西方数学的起源：两种文化传统的对照

★★ 把目光从地中海转向黄河与长江流域，会看到另一幅同样辉煌的图景。中国的《周髀算经》（约公元前一世纪成书，含更早的材料）与《九章算术》（约公元一世纪）成书时间与《几何原本》相近，处理的也多是图形与数量问题——勾股、方圆、面积、体积。但它们与《原本》的写法几乎处处相反。

这两种传统没有高下之分，只有取向之别。希腊人关心「一个结论是否必然成立」，为此愿意停下计算，去追问起点；中国人关心「一类问题是否总能用一套术解决」，为此愿意积累算法，让方法自己说话。前者发展出演绎体系，后者发展出算法体系。今天看，这两条路最终汇流进现代数学：希尔伯特的公理化是希腊传统的延续，而算学传统则在数值方法、计算数学与算法思想上结出果实。

本册在讲到勾股定理（第一编第 3 章）、开方术（第 4 章）与比例论（第 6 章）时，会反复回到这个对照。这样安排的用意是：让人看到，几何学的根不止一条，而现代几何正是多条根共同生长的结果。

绪论 从《几何原本》出发几何学的几次跃迁：综合、解析、变换、公理化

★★ 把两千年压缩成一句话：几何学经历了四次大的跃迁。看清这四次跃迁，就拿到了本书的骨节。

四次跃迁里有两条规律值得记住。其一，每一次跃迁都是「把直观的一部分换成形式」——欧几里得把作图经验换成公理，笛卡尔把图形换成方程，非欧几何把空间直观换成公理选择，希尔伯特把「点线面是什么」换成「它们满足哪些关系」。其二，每一次形式化都不曾抛弃直观，而是把直观安置到更深的地基上：解析几何里的曲线仍能画出来，非欧几何有克莱因圆盘与庞加莱圆盘可看，希尔伯特的公理仍能由笛卡尔模型解释。形式与直观的这场拉锯，是全书最耐读的地方。

本册的第三编专讲变换与群，第四编专讲黎曼的内蕴度量，正对应第三次和第四次跃迁；而第二次跃迁（坐标）会贯穿在第一编（《原本》几何代数）与第三编（齐次坐标）中。

绪论 从《几何原本》出发本册的路线图：一条主线的四个阶段

★★ 下面是本书的四编如何衔接成一条完整的思想路线。建议先通读这一页，再进入正文——它像一张旅行地图，能让后面的每一页找到自己的位置。

四个阶段之间不是并列的四块，而是一条因果链：正因为《原本》把几何组织成公理体系（阶段一），人们才会追问公理能否改动（阶段二）；正因为公理可以被选择，几何才分化出许多分支，需要用「变换群」来整理（阶段三）；而群作用下的度量结构一旦被抽象出来，就自然通向内蕴几何（阶段四）。前一步留下的问题，正是后一步的出发点。

绪论 从《几何原本》出发读法与约定：本书的三条线索

★ 本书有一条明线、一条暗线与若干接口。先说线索，再说读法。

明线——从直观到公理，再到算术。这是全书的时间轴与逻辑轴：起点是直观几何（图形、度量、拼补），中途是公理法（把直观的隐含假设显式化），终点是算术与结构（坐标、变换、度量张量）。每一编都在这条轴上占据一段。

暗线——公理与不变性的双主题。一条追问「哪些假设被默认了」（公理化的历史），另一条追问「哪些量在变换下不变」（不变性的历史）。两条线在克莱因的埃尔朗根纲领处交汇：每一种几何是一个变换群的不变量理论，而每一套公理界定一个可能的「世界」。

接口——通往四个邻域。几何学与代数（群作用、坐标与线性代数）、分析（实数系、极限、曲线曲面）、数理逻辑（公理系统与模型）、物理（时空度量与广义相对论）四条战线相通；相邻领域是本书第四编的最近邻。

读法建议。只求把握主线者，可读绪论、第一编的《原本》结构与勾股专题、第二编的第五公设与希尔伯特公理、第三编的截圆锥与射影变换；求完整掌握者，按编顺序逐页推进，并把每编习题做完。讲义页首行的 ★ 号标出难度，可据此调节。

体例小提示。页眉灰色小字标出所属编与章节；页右上角是页码；〖札记〗页做中西数学传统的对照；实验页给出可上机核验的数值与动态验证；思想卡页把技术升成观念；速查页汇总本编概念与公式。全书正文中的数学符号一律遵循 TeX 标准：变量用斜体，函数名与群名用正体，上下标用真标签。

绪论 从《几何原本》出发绪论小结：几何学的两次飞跃

把绪论收束成一句话：几何学的两千年，是两次飞跃。

第一次飞跃：从直观到公理。《几何原本》把零散的图形经验组织成公理演绎体系，让「证明」成为获取知识的方式。这一步的意义不在于它证出了多少条定理，而在于它建立了「知识可以被组织成体系」这一信念。但从今天的眼光看，欧几里得的公理并不完备——顺序、连续、运动这些假设被他默默使用而未明说。

第二次飞跃：从公理到算术与结构。希尔伯特把隐含假设一条条显式化，并证明几何的无矛盾性可以归结为实数系统的无矛盾性；克莱因用一个变换群统一了各种几何；黎曼把几何建立在内蕴度量之上。这一步的意义在于：几何学不再依赖「空间直观」，而成为一门关于结构与算术的学问。

两次飞跃之间隔着两千年，中间串起的关键节点是：不可公度危机与比例论、第五公设的证明失败、非欧几何的诞生。本册的第一、二编讲第一次飞跃，第三、四编讲第二次飞跃；两者之间用「第五公设」这座桥相连。

绪论 从《几何原本》出发思想卡：为什么从《几何原本》出发

绪论 从《几何原本》出发绪论速查：人物、年代与关键词

三个高频关键词。① 公理化——把知识组织成「公理 → 定理」的演绎体系；② 不变量——在某个变换群下保持不变的量（全等、相似、单比、交比、长度……）；③ 模型——满足一套公理的具体数学对象，用来检验公理的相容性与独立性。

下一编预告。第一编将回到起点，逐页细读《几何原本》：先看它如何组织知识（体例），再看第一卷如何从五条公设推出勾股定理（证明链），并以整整一章（第 3 章）对观这条定理在东西方的古典证明。读完第一编，将真正理解为什么「证明」是数学的灵魂。

第一编 古典几何的巅峰：《几何原本》导引：凭什么从一本书讲起

讲几何学，最自然的起点是《几何原本》。它成书于两千三百年前，却规定了此后一切数学著作的写法；它只用了十条左右的起点（五条公设、五条共同概念），却推出了数百条定理；它被翻译成各种文字，流传之广仅次于《圣经》。更关键的是，它同时展示了公理法的力量与裂缝——二十世纪几何学的几乎全部主题，都能在这部古书里找到源头。

但正因为它太有名，人们往往误读它。最常见的误读是把它当成一本「现代几何教材」的早期版本，以为它讲的就是我们今天在中学里学的那套结论。事实恰恰相反：《几何原本》是一部古希腊的数学—哲学著作。它没有「实数」，没有「坐标」，没有「连续」的现代概念；它用「量」与「比」处理连续，用「拼补」处理面积，用「作图」处理存在性。理解这些差别，才能真正读懂它为何伟大，也才能读懂它为何必须被改写。

本编分六章细读这部书，并从它引申出中西数学的第一次大对照：

第一编 古典几何的巅峰：《几何原本》第1章·1　一部古希腊的数学书：其书、十三卷与流传

★ 先弄清这部书到底写了什么。所谓「十三卷」（相当于今天的十三章），并不是十三本独立的书，而是一部有内在结构的整体：前六卷讲平面几何，后三卷讲数论，最后三卷讲立体几何。它们的排列大有讲究。

这张表透露出《原本》的编排智慧：它并非把结论随意堆砌，而是按「依赖关系」组织——先用不到的部分讲基础，再用前面的结论去推后面的。第五卷的比例论被安排在平面几何（前四卷）之后、相似理论（第六卷）之前，正是因为它要用前四卷建立「量」的一般观念，才能统一处理可公度量与不可公度量。一部两千年前的书，已经懂得「概念的准备顺序」是数学的一部分。

关于流传，有几件事值得知道。《原本》并非欧几里得的原创汇编——其中许多结论在更早的学派（毕达哥拉斯学派、柏拉图学园）中已被发现，欧几里得的功绩在于把它们组织成一个严密的演绎体系。它经受住了两千年的考验：在中世纪经由阿拉伯学者保存与注释，文艺复兴时被重新译成拉丁文，成为近代科学的范本。牛顿的《自然哲学的数学原理》连书名与体例都在模仿它。

一个提醒。今天常见的《原本》版本（如希思 Heath 的英译本、兰纪正与朱恩宽的汉译）都在正文之外附有大量注释；阅读时要分清「欧几里得本人的命题」与「后世注释者的补充」。本册引用命题时，用「卷.命题」的记号，例如 I.47 表示第一卷第四十七命题。

第一编 古典几何的巅峰：《几何原本》第1章·2　中译简史与「几何」一词的由来

★ 《几何原本》与中国的关系，本身就是一段中西文化交流的佳话，也解释了今天汉语数学词汇的许多来历。

一六〇七年，意大利传教士利玛窦与中国学者徐光启在北京合作，译出了《几何原本》的前六卷。利玛窦口译，徐光启笔受。这次翻译创造了「几何」这个译名，而它的来历颇堪玩味：一方面，「几何」二字的读音与拉丁语 geometria 的开头相近（当时读作 gi-ho），是音译；另一方面，「几何」在汉语中本有「多少、若干」之义（如「所剩几何」），恰与几何学「研究大小、形状、位置」的内容相合，是义译。音义双关，一个绝妙的译名就此诞生。

此后，《原本》其余各卷的汉译历经波折，直到十九世纪才由伟烈亚力与李善兰译出后九卷，凑成完璧。今天通行的现代汉语译本，主要依据希思（T. L. Heath）校订的英译本与希腊文原文，用现代数学术语重新表述。

从「几何」这个词，能牵出一连串今天仍在使用的译名：点、线、面、平行、直角、钝角、锐角、三角形、四边形、对角线……其中许多都由徐光启与利玛窦在这次翻译中首创，沿用至今四百年。可以说，中国人今天学习几何所用的整套语汇，源头就在这一次翻译里。

延伸阅读。想了解中译史，可看徐光启《刻几何原本序》；想读原典，推荐兰纪正、朱恩宽译《欧几里得·几何原本》，或希思英译本的注疏版。

第一编 古典几何的巅峰：《几何原本》第1章·3　徐光启的评价与《原本》的历史地位

★★ 徐光启在《几何原本》译序里写下一段著名的评价，值得逐句细读，因为它精准地说出了公理法的价值。

这段话有三层意思。第一层，「祛其浮气，练其精心」说的是训练思维：公理演绎要求每一步都站得住脚，容不得含糊与跳步，长期练习能培养严谨。第二层，「资其定法，发其巧思」说的是方法的迁移：一旦掌握了「从公理推出结论」的定法，就能把它用到别的领域去发明创造。第三层，「举世无一人不当学」说的是普遍性：这套方法不属于任何专门学科，而属于一切理性思考。

徐光启还给出一句更凝练的总结。他说这部书的特点是「由显入微」——从最明白的起点（显）出发，推到最精微的结论（微）。这四个字，道尽了公理法的全部秘密：它不要求一开始就相信结论，只要求接受起点，然后跟着逻辑走到结论。结论的新奇与深刻，恰恰来自起点的平凡。

从历史地位看，《几何原本》做了一件从未有人做过的事：它证明了「知识可以被组织成有序的体系」。在此之前，几何是工匠的技艺，散落在测量、建筑、天文之中；在此之后，几何成了一门有「起点」和「链条」的科学。这个范式随后被一切成熟学科仿效——力学、光学、伦理学，甚至斯宾诺莎的哲学著作。可以说，《几何原本》是「体系化知识」这一理念的第一部范本。

第一编 古典几何的巅峰：《几何原本》第1章·4　《原本》的体例：定义—公设—公理—命题

★★ 《原本》的写法有严格的格式，读懂这个格式，就拿到了进门的钥匙。第一卷开篇依次列出三类起点，然后是命题。

这三类起点各有分工：定义告诉我们谈论什么，公设告诉我们被允许做什么（作什么图），共同概念告诉我们允许怎样推理。三者合起来，就是演绎的起点。此后的一切命题，都只能靠这些起点与前已证明的命题推出，不得再借助图形直观或其他经验。

命题（Propositions）又分两类：作图命题（要求作出某个图形，如 I.1 作等边三角形）与定理命题（要求证明某个结论，如 I.47 勾股定理）。欧几里得对每个命题都给出「证明」（proof），结尾常以「这就是所要作的／所要证的」收束——这正是汉语「证毕」一词的祖先。

读《原本》的一个诀窍。每读一条命题，先问三件事：它用到哪些前面的命题？它的证明里有没有偷偷借用图形直观？它的结论属于哪一类（作图／定理）？把这三件事弄清，《原本》的逻辑结构就会在眼前立起来。

第一编 古典几何的巅峰：《几何原本》第2章·1　第一卷的逻辑结构：开端的命题（I.1–I.3）

★★ 第一卷是全书的地基。它的前几个命题看似琐碎，实则是整座大厦的第一批砖石——它们把「公设」变成「可用的工具」，为后面的一切铺路。

这条证明只有四步，却已经暴露出一个后世才会注意到的问题：欧几里得默认「两圆必相交于一点 C」，而这一「显然」之外的事实，其实需要连续公理才能保证。两千两百年后，希尔伯特正是补上了这条假设（第二编）。

I.1–I.3 的共同作用，是把公设转化为可自由使用的工具：把「作直线」「作圆」「延长」的公设，变成「可以搬运长度」「可以截取长度」的顺手操作。此后，欧几里得才敢于进行真正的论证。这种「先造工具、再用工具」的组织方式，是《原本》最值得学习的写作技巧之一。

第一编 古典几何的巅峰：《几何原本》第2章·2　I.4（SAS）：全等作为信息传递器

★★ 命题 I.4 是整部《原本》里最特殊的一条：它是唯一一条用「叠合」方法证明的全等命题，也是后续几乎所有论证的枢纽。

这条证明依赖「把三角形搬起来叠合」这一动作。可是「运动」在《原本》的公设中并没有被明文许可——这是一个被默默使用的假设。希尔伯特后来把「运动」排除在公理之外，改用「合同公理」直接规定边与角可以「搬移」（第二编）。所以 I.4 既是《原本》力量的体现，也是它裂缝的显影。

I.4 的重要性在于它是一台信息传递器：只要知道「两边夹一角」，就能把「第三边、另两角」的全部信息免费拿到手。这条性质像一把万能钥匙，后面几乎所有通过「构造全等三角形」来证明的命题，都要回到它。

顺带一提，I.8（边边边，SSS）与 I.26（角边角，ASA／角角边，AAS）是另外两条全等判据。三条判据（SAS、SSS、ASA）合起来，构成了三角形全等的完整工具箱；而「两边及非夹角对应相等」不能判定全等（SSA 失效），这一点在 I.7 与后续命题中被小心地排除。

第一编 古典几何的巅峰：《几何原本》第2章·3　等腰三角形与「驴桥」（I.5–I.6）

★★ 命题 I.5 在历史上有个诨名——「驴桥」（拉丁语 pons asinorum，直译「驴子之桥」）。这个名字有两种解释：一是说这条命题的证明图形像一座桥；二是说它是一道分水岭，学不动的学生到此为止，像驴子过不了桥。无论哪种，都说明它在《原本》中的地位。

欧几里得的证明相当繁复：他要在两腰上分别截取等长线段，构造出两对全等三角形，再用「等量减等量」推出底角相等。后世有人（包括帕普斯）发现了更简洁的证明——只需把三角形「翻过来和自己比」：把 △ABC 与 △ACB 看作两个三角形，因 AB = AC、AC = AB、∠A = ∠A，由 SAS 立得两三角形全等，从而 ∠B = ∠C。这个「自我叠合」的证明虽巧妙，却依赖 I.4 中「运动」的隐含假设，因此欧几里得宁愿选择更长的路。

I.5 与 I.6 构成一对「判定—性质」的命题：前者是「边等 ⇒ 角等」（性质），后者是「角等 ⇒ 边等」（判定）。《原本》里大量出现这种「互逆成对」的结构，后面讲到平行线（I.27 判定 vs I.29 性质）时会再次遇到。养成「每见一条命题，就问它的逆是否成立、是否被证」的习惯，是读《原本》的一大乐趣。

历史注记。「驴桥」这个诨名在中世纪欧洲的学校里广为流传，后来泛指「一切入门的分水岭」。英语里 pons asinorum 至今还在使用。一条几何命题能进入日常语言，足见《原本》在西方教育中的分量。

第一编 古典几何的巅峰：《几何原本》第2章·4　作图命题与工具箱的积累（I.9–I.12）

★★ 从 I.9 起，欧几里得开始批量制造工具。这些命题本身平淡，却像零件一样，被后面的证明反复调用。理解了它们，就理解了《原本》「层层递进」的组织方式。

把 I.9–I.12 连起来看，是一台精巧的「工具箱流水线」：I.1 造等边三角形 → I.9 平分角 → I.10 平分线段 → I.11／I.12 作垂线。每一步都只用到前面已造好的零件。这正是《原本》最了不起的写作策略——它从不跳步，也从不浪费：一个新命题要么是旧命题的直接推论，要么为后面的论证准备零件。

第一编 古典几何的巅峰：《几何原本》第2章·5　外角、平行与第五公设的首次登场（I.16–I.32）

★★★ 第一卷的中段（I.16–I.32）是全书的一个转折点：从这里开始，欧几里得不得不动用第五公设。也是在这里，两条看似无关的线索——「外角定理」与「平行理论」——被一条隐含的假设拴在了一起。

I.16 的分量在于它的「节制」：欧几里得小心地只用前四条公设证明了它。为什么？因为一旦用上第五公设，这条命题就变得平凡（那时外角恰等于两内角之和）。欧几里得似乎早就意识到第五公设的「特殊」，于是尽量把它推迟、尽量少用它——这份直觉，正是两千年后非欧几何的伏笔。

I.27 与 I.29 的对照极有教益：判定方向（由角推平行）不需要第五公设，而性质方向（由平行推角）却非要它不可。这说明第五公设不是「锦上添花」，而是一条真正携带信息的结构性假设——删掉它，整个平行理论就会瘫掉一半。

I.30（平行线的传递性）、I.31（过线外一点作平行线）、I.32（三角形内角和）紧随其后。其中 I.32 用第五公设一举推出「三角形内角和等于两直角」，并为后面「外角等于两内对角之和」打开通路。至此，第一卷的平行理论成型；也正是从这一条起，「两千年难题」正式上路。

第一编 古典几何的巅峰：《几何原本》第2章·6　面积不用数：拼补与「等于」（I.35–I.45）

★★★ 第一卷后半（I.35–I.45）处理面积。这里有一个现代极难适应、却极其深刻的思想：欧几里得谈论面积时，从不使用「数」。他不说「面积等于 6」，只说「等于这个图形」。

I.35 是全书最有代表性的「拼补证明」：它根本不算面积，只是把一个平行四边形「剪开、挪走、补上」，让它变成另一个形状。这种「割补法」有两个深远后果：一是它使面积理论完全不依赖数值、不依赖实数；二是它引出后世关于「剖分等价」与「拼补等价」的一整套问题（本编第 3 章详述）。

第一编 古典几何的巅峰：《几何原本》第2章·7　I.47 勾股定理：一条证明链，而不是一幅图

★★★ 命题 I.47 是《几何原本》第一卷的压轴戏，也是全书最有名的定理。有趣的是：它的证明里没有任何一幅「拼图」——欧几里得既不画弦图，也不做割补，而是用「面积等于」的链条一步步推出来。

欧几里得的证明分四步，靠 I.41、I.14、I.4、I.36 等命题搭桥：以斜边正方形为参照，把它拆成两个矩形（由直角顶点向斜边作垂线，I.12），再分别证明每个矩形与一条直角边上的正方形「相等」。核心桥梁是 I.41——「三角形是等底同高平行四边形的一半」——它把「正方形」与「三角形」之间的面积关系接通。

为什么说这是「一条证明链」而非「一幅图」？因为整个推理依赖前 46 条命题的积累：作图工具（I.1–I.12）、全等（I.4）、平行性质（I.29）、面积割补（I.35–I.45）。少任何一环，证明就断了。《原本》的勾股定理证明，是它「体系性」的最强宣言——定理不是孤立发现的奇珍，而是整座大厦里一块被牢牢嵌好的砖。

第一编 古典几何的巅峰：《几何原本》第2章·8　I.48 逆定理与第一卷留下的现代问题

★★ 第一卷最后一条命题 I.48 是 I.47 的逆定理。它看似附属，却揭示了「判定」与「性质」的又一对照，也为第一卷画上一个意味深长的句号。

I.48 的证明范式值得记住：「造一个辅助图形，用已证的定理得到它的性质，再与待证图形比对」。这种「构造—比较」的套路，在后面的命题里反复出现，是古典几何最常用的技巧之一。

回头看，第一卷 48 条命题构成了一条完整的逻辑链：公设与共同概念 → 工具（I.1–I.12）→ 全等理论（I.4, I.8, I.26）→ 三角形基本性质（I.5, I.16, I.32）→ 平行理论（I.27–I.31）→ 面积割补（I.35–I.45）→ 勾股定理及其逆（I.47, I.48）。每一步都建立在前面所有积累之上，没有一条命题是被凭空塞进来的。

一个观察。《原本》的「完美」与「不完美」在同一页上并存：它严密到能经受两千年考验，又留下了三处需要后人补缀的缝隙。恰恰是这些缝隙，而不是那些完美之处，推动了现代几何学的诞生。读古典著作的一大收获，就是学会欣赏它的裂缝。

第一编 古典几何的巅峰：《几何原本》第3章·1　勾股定理的世界：Loomis 汇编与剖分证明

★★ 勾股定理大概是全世界被「重新证明」次数最多的数学命题。它简单到人人能懂，又深刻到牵动数学的根基。本章专读它的古典证明，尤其是中西方两条截然不同的路线。

先看它有多「热闹」。一九二七年，美国数学家 E. S. Loomis 编成一部奇书《毕达哥拉斯命题》（The Pythagorean Proposition），收录了三百七十种不同的证明，按类型分成四部：代数证明、几何证明、动态证明、四元数证明。后来有人继续增补，数目早已逾五百。一部作品能激起如此密集的再证明，在数学史上绝无仅有。

为什么它这么吸引人？因为这个定理站在几何与代数、直观与严格、东方与西方的交汇口上：

本章的重点是剖分型证明，因为它最能体现中国古代数学的精神，也最能揭示「一条定理、两种传统」的深层差异。西方传统把证明当作「逻辑链条」，图形只是辅助；中国传统把图形当作证明本身，「拼一拼」就是论证。这不是谁高谁低，而是两种关于「什么算作证明」的哲学。

第一编 古典几何的巅峰：《几何原本》第3章·2　中国古算的出场：《周髀算经》与商高

★★ 中国古代最早的勾股定理记录，出现在《周髀算经》里，时间可上溯到公元前一世纪以前，其中托名商高与周公的一段对话尤为重要。

这段话里藏着三个关键术语。「句」（即后世的「勾」）指短的直角边，「股」指长的直角边，「径隅」（即「弦」）指斜边。所谓「句广三，股修四，径隅五」，就是最早的「3-4-5 直角三角形」——勾三、股四、弦五。它是世界上关于勾股关系的最早特例之一。

最耐人寻味的是「既方其外，半之一矩，环而共盘」这句。「矩」是曲尺（直角工具）；「半之一矩」是取半个矩形，即一个直角三角形；「环而共盘」意为把四个这样的直角三角形环绕地拼在一个盘（方形）上。这句话描述的正是——把四个「勾三股四」的直角三角形首尾相接、绕着拼成一圈，中间围出的方形与外围的方形恰好凑成「三四五」的关系。这是中国最早的、用拼补说明勾股关系的文字证据。

《周髀算经》还有更宏观的一面。它以「勾股测量」贯穿全篇：立表测影、量天度地，把勾股关系当作天文测量的基本工具。书中的名句「数之法出于圆方」——数的方法来源于圆和方——更把几何图形看作一切数量知识的源头。这与《原本》把「数」建立在「量」之上的思路，恰好遥相呼应，又各有侧重。

第一编 古典几何的巅峰：《几何原本》第3章·3　赵爽弦图：「环而共盘」的证明

★★★ 把「环而共盘」真正变成一个严格证明的，是三国时期的赵爽（约公元三世纪）。他为《周髀算经》作注，绘出著名的「勾股圆方图」，后人称之为「赵爽弦图」。这是中国数学史上最著名的一幅图。

弦图的做法是：以斜边 c 为边长作一个大正方形，在它内部按「环而共盘」的方式放入四个全等的直角三角形（两直角边为 a, b）。四个三角形占去四角，中间自然空出一个小正方形，其边长为两直角边之差 b − a（设 b > a）。

赵爽的原文极简，却精准：「案弦图，又可以勾股相乘为朱实二，倍之为朱实四，以勾股之差自相乘为中黄实，加差实亦成弦实。」意思是：以勾股相乘为两个「朱色」三角形面积；加倍为四个朱实（即四个直角三角形）；以勾股之差自乘为「中黄实」（中央黄色小正方形）；把四朱实加中黄实，恰好凑成「弦实」（斜边正方形）。一句古文，就是一条完整的面积恒等式。

弦图的妙处，在于它同时容纳了两种传统：它用图形说话（中国的拼补精神），又用一个代数恒等式收尾（(b−a)² 的展开）。可以说，赵爽弦图是中国古代「几何—代数不分家」的绝佳样本。它也说明：中国古代的「证明」并不缺少严密性——只是这份严密，建立在图形关系的直观确凿之上，而非公理演绎之上。

第一编 古典几何的巅峰：《几何原本》第3章·4　刘徽青朱出入图：最直接的拼补证明

★★★ 如果说赵爽弦图是「围绕式」的拼补，那么刘徽的「青朱出入图」就是「出入式」的拼补——它更直接、更简单，把「割补」二字演绎到了极致。

刘徽（约公元 263 年）在《九章算术注》中，为「勾股」一章作注，给出了这幅图。他的方法叫「出入相补」：把图形切成几块，把切下的部分「出」到别处「入」进来，使总面积不变。「青朱」是两色的代称——青色和红色的两块，代表被切下、被挪动的部分。

与赵爽弦图相比，刘徽的方法有三个特点。其一，更直接：赵爽要用到「中黄实」这个小正方形，还要计算 (b−a)² 的展开；刘徽只靠切割重拼，不需要任何代数展开。其二，更普适：「出入相补」不挑图形，对任何可剖分的直线形都适用，是处理面积问题的通用原理。其三，更纯粹：它把「面积」这件事最核心的不变量——切割重拼下的不变性——提到了前台，其余一切（公式、数值）都是附庸。

刘徽的这条原理，其地位堪比《原本》中的「共同概念 4」（能重合的量相等）与「共同概念 5」（整体大于部分）的组合，但走得更远——它主动地「制造重合」，而不只是被动地「承认重合」。这是一种把「相等」当成可以『搬运』的东西来使用的思维，极具中国古算的特色。

第一编 古典几何的巅峰：《几何原本》第3章·5　吴文俊与「割补原理」

★★★ 一千七百年后，数学家吴文俊（1919–2017）重新发掘了这条古老的思想，把它命名为「出入相补原理」（亦称割补原理），并提升为中国古代数学的方法论总纲。

吴文俊的贡献有两层。第一层是史的洞见：他指出，中国古代数学不是「零散的算法集合」，而是有统一原理的体系——这个原理就是割补。从面积、体积的求法，到勾股定理的证明，到「开方术」「方程术」的几何背景，都可以从割补原理出发去理解。他给了中国古算一个「骨架」。

第二层是方法论的洞见：吴文俊敏锐地看到，割补原理背后是一种与西方公理演绎平行而不同的数学思维方式——他称之为「机械化的数学」或「寓理于算」。西方数学以「公理—推理—定理」为主干，追求逻辑的自洽；中国数学以「问题—算法—验证」为主干，追求方法的有效。两者不是优劣之别，而是两条通向真理的不同道路。

吴文俊进一步提出：中国古代的「几何代数化」倾向，其实预示了笛卡尔解析几何的方向。笛卡尔用坐标把几何变成代数，中国古代用割补把几何变成「可算的面积关系」——一个是「以数驭形」，一个是「以形算数」，殊途而同归。他甚至认为，沿着中国算法传统，发展出一套「机器证明」的理论是可能的——这正是他后来创立「吴方法」（几何定理机器证明）的思想源头。

第一编 古典几何的巅峰：《几何原本》第3章·6　正方形密铺：一条证明如何「一变为无穷」

★★★ 上一章我们看到一条、两条勾股定理的拼补证明。现在换一个视角：把三个正方形放进同一张「方格纸」（正方形密铺）里，会看到什么？答案是——无穷多条证明，从同一张网格里长出来。

设想整张平面被单位小方格铺满。任取一个直角三角形，它的三条边上各立一个正方形。关键观察是：这三个正方形都可以被网格线切成整块的小方格与半块的小三角形（只要网格够密、够合适）。于是「面积相等」这件事，就变成了「数一数各自占了多少小方格」。

这解释了一个现象：为什么勾股定理的「拼图式」证明多到数不清。它们并不是彼此抄袭的变体，而是同一张网格在不同参数下的不同「读法」。参数（网格的密、正、斜、偏）千变万化，证明便无穷无尽。Loomis 汇集的三百多种证明，相当一部分正是这张网格的「不同切片」。

第一编 古典几何的巅峰：《几何原本》第3章·7　剖分等价与拼补等价：从 Bolyai 到希尔伯特第三问题

★★★ 上面所有的「拼补证明」，其实都在使用同一个隐藏的定理。把这个定理讲清楚，就能理解「割补」这件事在数学上的分量。

平面上的情形如此圆满，人们自然要问：三维呢？两个体积相等的多面体，是否一定剖分等价？直觉上似乎「应该」可以——毕竟平面里都能做到。一八三三年波约父子已经把平面情形解决，三维问题却悬了七十年，直到一九〇〇年。

那一年，希尔伯特在巴黎国际数学家大会上提出二十三个问题，其中第三问题就是：两个等底等高的四面体，是否总能剖分等价？（等价于：等体积的多面体是否一定剖分等价？）同年，他的学生 Max Dehn 给出了否定的答案——

这个结果震撼了数学界：「等体积」这条在平面里万能的判据，到了三维就失效了。决定剖分等价的，不只是「量」（体积），还有「形」（二面角的算术性质）。Dehn 不变量由此成为现代数学中「用代数刻画几何」的经典范例之一——它也预告了本册第三编的主题：几何的性质，最终由代数结构（这里是二面角构成的向量空间）来决定。

第一编 古典几何的巅峰：《几何原本》第3章·8　小结：一条定理，两种传统

★★ 本章把勾股定理当作一面镜子，照出了中西方数学传统的两种面貌。回顾一下这两条路线各自的形状。

两条路线并非「一个正确、一个粗糙」。它们都在各自的意义上完成了「证明」的全部职责：给出不容置疑的理由，让结论变得可信且可重复。区别只在于「什么算作不容置疑」——西方认逻辑链条，中国认图形显明。这正是「证明观」的分野。

更值得注意的是，两条路线最终汇流。赵爽弦图里出现了代数展开 (b−a)²；刘徽的割补被吴文俊改造为「机器证明」的算法；而西方的「剖分等价」在希尔伯特第三问题里又长成了「用代数不变量刻画几何」的现代思想。两种传统在深层是相通的：都在寻求「把几何的直觉安置到可靠的基础上」，只是所用的「可靠」标准不同。

下一章，我们从勾股定理走向《原本》第二卷——那里有一个更惊人的「会合」：完全平方公式 (a + b)² = a² + 2ab + b² 的几何图形（II.4），竟与中国古算的「开方术」是孪生兄弟。「几何代数化」的种子，在东西方各自埋下，又在两千年后于笛卡尔的坐标系里合流。

第一编 古典几何的巅峰：《几何原本》第4章·1　第二卷总览：两个定义与十四个命题

★★ 《几何原本》第二卷只有短短十四命题，却是全书最「像代数」的一卷。它用几何图形来表达和证明乘法的公式，因此被数学史家称为「几何代数」（geometric algebra）。

第二卷有两个关键定义，理解它们是读本卷的钥匙：

有了这两个翻译，第二卷的命题就变成了一串「几何版的代数恒等式」。十四命题可以分成三组：

一个提醒。第二卷的命题在表述上极为繁琐（动辄说「以某线段为边的正方形」），但一旦翻译成符号，就变得一目了然。读这一卷的正确方法，是先把它当作代数公式来读，再看《原本》如何用图形「证明」这些公式。这是全书最适合「对照现代代数」的一卷。

第一编 古典几何的巅峰：《几何原本》第4章·2　II.4 完全平方公式的图形

★★★ 命题 II.4 是第二卷的枢纽，也是全书「几何代数」精神最有代表性的一条：它用一张图，证明了中学里人人背过的完全平方公式。

《原本》的证明方法是「算两次」——同一块面积，用两种方式去数，结果必相等。一方面，这块面积是一个边长为 (a+b) 的大正方形，面积即 (a+b)²。另一方面，它被两条线（分别过分割点、平行于两边）切成四块：两个小正方形（边 a、边 b）与两个相同的矩形（边长 a 与 b），面积即 a² + b² + 2ab。「算两次」的结果相同，命题得证。

第一编 古典几何的巅峰：《几何原本》第4章·3　从 II.4 到开方术：中国古算中的完形

★★★ 完全平方公式 (a+b)² = a²+2ab+b² 在中国古算里有一个几乎一模一样的孪生形态——《九章算术》的「开方术」，也就是古代的开平方算法。

《九章算术》「少广」章的开方术，讲的是给定一个数 N，如何求它的平方根。算法是逐位进行的：先估出平方根的高位部分，称为「初商」；再从被开方数中减去初商的平方，剩下「定实」；然后借助一根「借算」（一根小算筹，代表下一步的位数）继续估下一位「次商」。用现代符号说，若 N = (a+b)²，其中 a 是已求出的部分、b 是待求的下一位，那么每一步的「减去」动作，减去的正是 2ab + b²——而这恰恰是完全平方公式里多出来的那两项！

于是我们看到一幅奇妙的对照图景：在希腊，完全平方公式被「画」出来（II.4），作为一条几何定理；在中国，同一个公式被「算」出来（开方术），作为一套计算程序。希腊人问「这个图形为什么相等」，中国人问「怎么把 b 一步步求出来」。一个重在「是什么」，一个重在「怎么做」。

一句话对照。II.4 与开方术是同一枚硬币的两面：希腊用「证」，中国用「算」；希腊求「真」，中国求「用」。但两者的内核——那个 2ab + b² 的「补全」结构——完全一致。这说明：在最基本的数学结构面前，不同的文化传统会「殊途同归」。

第一编 古典几何的巅峰：《几何原本》第4章·4　二次方程的几何解法（II.5、II.6）

★★ 第二卷的 II.5 与 II.6 常被数学史家称为「几何代数的巅峰」。它们用图形求解二次方程，是「用几何解代数」的最早范式。

II.5 的威力在求解方程时显现。考虑方程 x² + bx = c（b, c > 0）。把它改写为「矩形面积 bx 加上正方形 x² 等于已知面积 c」，就可以用 II.5 的图形直接作出 x 来。整个过程不用任何象徵符号，全靠作线段、作正方形、割补面积。古希腊人就是这样解二次方程的。

II.5 与 II.6 合起来，覆盖了二次方程「两根一正一负」的几何情形——因为《原本》不承认负线段，所以要把根的正负拆成两种图形分别处理。这又一次显示了「几何代数」的局限：它必须为每一个代数情形画一张图，无法用统一的符号一次说清。

第一编 古典几何的巅峰：《几何原本》第4章·5　II.11 黄金分割与正五边形

★★ 命题 II.11 是第二卷里最著名的一条，它给出了「黄金分割」的作法——一条线段被分成两段，使整段与较长段的比，等于较长段与较短段的比。

这个比值的数值是 φ = (1+√5)⁄2 ≈ 1.618，后世称为「黄金比」或「黄金数」。它最迷人的性质是「自相似」：φ = 1 + 1⁄φ——把它减去 1，再取倒数，又回到自己。换言之，黄金分割点把线段分成两段后，较长段与原线段的比，等于较短段与较长段的比，可以无限嵌套下去。

《原本》引入黄金分割，直接的目的是作正五边形。第四卷 IV.10 证明：一个「黄金三角形」（顶角 36°、底角 72° 的等腰三角形）可以通过把底角再作黄金分割，得到更小的黄金三角形，如此迭代；而正五边形的对角线恰好构成一个五角星，其每条对角线都按黄金比互相分割。黄金分割是正五边形的几何密码。

第一编 古典几何的巅峰：《几何原本》第4章·6　II.12–II.13 余弦定理与「算两次」

★★★ 第二卷最后两条命题（II.12、II.13）把平方关系推广到任意三角形，它们合起来就是今天的「余弦定理」——只是《原本》为钝角与锐角分别写了两条。

把两条命题合并，就是现代形式的余弦定理：c² = a² + b² − 2ab cos C。它是勾股定理的推广：当 C = 90° 时 cos C = 0，余弦定理退化为 c² = a² + b²，正是 I.47。因此，《原本》第一卷与第二卷其实是同一条定理的「特例—一般」两层：I.47 处理直角，II.12/II.13 处理任意角。

两条命题的证明都用了同一个技巧：「算两次」。以 II.12 为例：作高线，把钝角三角形补成一个直角三角形，然后用 I.47 的勾股定理两次——一次算大直角三角形，一次算小直角三角形，再把两次的结果相减消元，即得结论。这种「同一长度用两种方式表达，然后令其相等」的方法，是《原本》里最有力的代数式技巧。

一个注记。II.12/II.13 只给出「平方的和差」关系，尚未出现「角的正弦、余弦」这些函数名。角度与边长的定量联系，要等到天文学（托勒密《天文学大成》）与后世三角学才建立。下一章第 5 节将专门讨论「三角函数概念的逻辑基础」。

第一编 古典几何的巅峰：《几何原本》第4章·7　三角函数概念的逻辑基础

★★★ 一个有趣的事实：《几何原本》里从头到尾没有出现「正弦」「余弦」这些词。然而三角函数之所以成为可能，其逻辑地基恰恰是《原本》打下的。这一页说明这层关系。

三角函数的核心，是「角的大小」与「边长之比」之间的对应。要让这个对应有意义，必须先保证：角一旦给定，某个边长之比就是确定的，与三角形的大小无关。这句话，正是「相似三角形」理论的推论——而相似理论属于第六卷（比例论的应用）。

换言之：《原本》虽无「正弦」二字，却准备好了正弦函数存在所需的一切前提。后来的数学家（希帕克斯、托勒密）正是站在这些前提上，才敢于去「计算」角与比的关系。第五卷的比例论，尤其是那个精妙的定义 5，是其中最深的一环——它使「比值」在无理数（不可公度量）出现时仍然站得住。

从这条线索往远看，三角函数的逻辑基础问题一直延伸到现代：在严格的数学分析里，「sin」最终被定义为幂级数或微分方程的解，几何直观被彻底「算术化」。但无论定义怎么变，它最初的问题意识——「角与比的对应」——仍然来自几何。这一点，是理解「几何如何哺育分析」的最好入口。

第一编 古典几何的巅峰：《几何原本》第5章·1　第三卷总览：圆幂定理

★★ 第三卷（11 个定义、37 条命题）专论圆。它是《原本》里规格最整齐的一卷，也是后世投影几何与变换几何的原始矿藏。本页先讲它的核心工具——「圆幂」。

圆的定义（I.定义 15）是「同一平面内，到一定点的距离都相等的一群点所成的曲线」。围绕这个定义，第三卷展开了弦、割线、切线的整套理论。其中最有力的一组命题，后世统称为「圆幂定理」。

把这几条命题统一起来，就得到「圆幂」概念：对于定点 P 与定圆，根号下的 PA · PB（有向距离之积）是一个只依赖于 P 与圆的量，称为 P 关于该圆的幂。若圆半径为 R、圆心到 P 的距离为 d，则幂为 d² − R²。点在圆内时幂为负，圆上为零，圆外为正——一个数，就把点与圆的三种位置关系说尽了。

为什么圆幂重要。它是「投影」思想的第一次露面：两条不同方向、不同长短的割线，之所以能「相乘相等」，是因为存在一个把一条割线投影到另一条上的对应。这种「不同位置、同一乘幂」的现象，日后被系统化为投影几何的核心工具（第三编）。圆幂定理是投影几何在古典几何里的第一颗种子。

第一编 古典几何的巅峰：《几何原本》第5章·2　圆周角、正弦定理与托勒密定理

★★★ 第三卷最重要的命题是「圆周角定理」，它牵出了正弦定理与托勒密定理——三角学真正的起点。

「同弧上的圆周角相等」这条结论看似平常，威力却极大。它说明：只要 A, B 固定在一段弦上，动点 C 在对应弧上运动时，∠ACB 恒定。换句话说，圆周角把「角」与「弦」绑定成了一个不变量。正是这个不变量，使「以弦长定角」成为可能，进而催生正弦定理。

再接一步，就得到托勒密定理——古代三角学的「乘法表」：

托勒密（约公元二世纪）在《天文学大成》里用它来「造表」：把圆的弦长按角度列成表，就是最早的三角函数表。他的方法很巧妙——把一个角 (α+β) 对应的弦，拆成两个角 α、β 的弦，用托勒密定理建立递推关系，从而算出一个又一个角度对应的弦长。托勒密定理是古代「算三角」的发动机。

一条历史线。圆周角（III.20）→ 正弦定理（外接圆直径）→ 托勒密定理（弦长的乘法结构）→ 三角函数表 → 天文学。古典几何就这样，从「研究圆的性质」一路走向「计算天体位置」。数学史上，纯几何常常是应用科学的「预备队」。

第一编 古典几何的巅峰：《几何原本》第5章·3　和角公式的古典来源

★★★ 中学里背的「和角公式」 sin(α+β) = sin α cos β + cos α sin β，其实早在《原本》时代的几何里就有了「图形版」。这一页说明：三角恒等式不是从天而降的符号游戏，而是圆内接四边形里的边长关系。

做法是这样的。在一个圆里取一条直径 AC（长为 1，即取单位圆直径），在直径的两侧各取一点 B、D，使 ∠BAC = α、∠CAD = β。于是四边形 ABCD 内接于圆，而由 III.31（半圆上的圆周角是直角）知 ∠ABC = ∠ADC = 90°。

一图一算，和角公式便「掉」了出来。更妙的是，只要把点 B、D 的取法稍作调整（取在直径同侧），同样的推理就给出差角公式 sin(α−β)；把「弦」换成「切」或「割」，还能得到正切、余切的相应公式。整个三角学的加法定理，都藏在一条托勒密定理里。

第一编 古典几何的巅峰：《几何原本》第5章·4　第四卷：正多边形的尺规作图

★★ 第四卷（16 条命题）专题研究「圆的内接与外切正多边形」。它的成果看似朴素，却开启了一个延续两千年的问题：哪些正多边形能用尺规作出来？

第四卷的命题按「边数」排列：正三角形（IV.2、IV.3）、正方形（IV.6、IV.7）、正五边形（IV.11）、正六边形（IV.15）、正十五边形（IV.16）。每条命题都包含「内接」（顶点在圆上）与「外切」（边与圆相切）两个方向。

IV.16 的证明里藏着一个惊人的思想：它用「角度的加减」来造新的可作角。正三角形给出 120°，正五边形给出 72°，两者之差 48°，再平分得 24°——恰好是正十五边形的圆心角。这种「已知可作角 → 加减平分 → 新的可作角」的思路，正是现代「可作图的多边形」理论的雏形。

尺规作图的本质问题。「一个图形能否用尺规作出」这个问题，看似几何，实则代数：尺规能作的运算，只包括加、减、乘、除与开平方。于是「能否作图」被翻译成「对应的数能否由已知数经这五种运算得到」——这是「几何问题代数化」的最早范例之一，也是第三编「变换群」思想的先驱。

第一编 古典几何的巅峰：《几何原本》第5章·5　尺规作图的边界：三大古典难题

★★★ 希腊人把「尺规作图」当作几何的基本语言，于是自然而然地提出：用直尺（不刻度量）与圆规，能做多少事？三个「做不出」的问题，困扰了数学界两千余年，直到十九世纪才被彻底解决。

两千年来，无数人尝试，都归于失败。转机出现在十九世纪——随着代数（尤其是域论与伽罗瓦理论）的成熟，人们终于能证明这些作图根本不可能：

这三条证明的共同结构值得深思：它们都把「几何的作图问题」翻译成了「代数方程的次数问题」。「能否作图」——一个纯粹的几何问句——的答案，最终由「某个数是不是有限个二次根式的组合」决定。这是「几何真理变成算术真理」的一个壮丽先例，也是第二编「公理与模型」、第三编「变换与群」思想的远祖。

一个回响。尺规作图问题的结局告诉我们：古典几何的问题，往往要借现代代数才能回答。当几何走到自己的边界时，「代数化」就成了唯一的出路。这正预告了本册后面两编的核心命题：几何的前进，靠的是与代数、与逻辑的联姻。

第一编 古典几何的巅峰：《几何原本》第6章·1　第五卷比例论：定义 5 的精读

★★★ 第五卷是整个《几何原本》里逻辑上最深刻的一卷。它只有 18 个定义与 25 条命题，却包含了一个两千两百年后才被完全理解的伟大思想——欧多克索斯的「比」的定义。

问题是这样来的。在第五卷之前，「两个量之比」只在可公度的情形下能被说清：若 a 是 b 的 m⁄n 倍（m, n 是整数），比值就是 m⁄n。但当量不可公度时（如正方形的对角线与边），比值是什么？它不能用任何分数表示。《原本》必须回答这个难题。

这个定义的妙处，在于它完全不提「比值是多少」，只谈论「倍数比较的大小关系」。它巧妙地绕开了「不能写成分数」的困难：即便比值是无理数，我们仍可以说清两个比值是否相等——只要它们在一切倍数的比较中「同步」。这就是现代「实数」定义的雏形。

V.5 立刻解决了「不可公度量之比」的问题：两条不可公度线段的比例仍可精确讨论、精确比较。于是第五卷之后，相似理论（第六卷）、三角函数（依托相似）、面积与体积的极限（第十二卷穷竭法）才全部成为可能。没有 V.5，就没有《原本》后半的一切。

一个耐人寻味的对比。《原本》用「几何的量」处理无理数，中国古算用「算法」逼近无理数（如开方术逐位求根、圆周率的分数逼近）。两条路：一条是「逻辑地把无理数安置在比的理论里」，一条是「计算地把无理数逼出来」。又一次，东方与西方在同一难题前，走了不同的路。

第一编 古典几何的巅峰：《几何原本》第6章·2　可公度与不可公度：第一次数学危机

★★★ 第五卷比例论之所以必要，是因为一场危机——「第一次数学危机」。它的触发点，是一条正方形的对角线。

毕达哥拉斯学派相信「万物皆数」，而他们所说的「数」是整数及其比（分数）。他们发现：音乐的和声、天体的运行、几何的比例，似乎都服从整数的规律。在他们看来，宇宙的本原就是「数」。然而，学派内部有人发现了一个使信条崩塌的事实：正方形的对角线与边，不可公度。

这个故事在数学史上分量极重。第一，它第一次表明：几何量与「数」（有理数）之间存在鸿沟。长度可以「存在」（对角线的长度明明白白），却不能「被数表达」。这个悖论迫使数学家区分「连续量」与「离散数」——而这正是分析学诞生的前奏。第二，它动摇了「万物皆数」的哲学。如果连一条线段都容纳不下「数」，那么世界的本原还能是数吗？学派据说因此陷入危机，甚至有传说发现者被投入大海。

为什么叫「第一次」。数学史上有三次著名的「危机」：第一次是不可公度量（无理数），第二次是微积分的无穷小（牛顿—莱布尼茨时代的逻辑不严），第三次是集合论悖论（罗素悖论）。三次危机的共同点都是——「无限」或「连续」的概念超出了原有框架。《原本》第五卷，是人类第一次正面应对『连续』的挑战。

第一编 古典几何的巅峰：《几何原本》第6章·3　两个无穷递降：正方形与正五边形

★★★ 证明 √2 无理性，除了上一页的代数反证法，还有一种更「几何」的证明——无穷递降法。它由正方形的对角线出发，反复构造出「更小的同类图形」，从而陷入无限循环，导出矛盾。

这条证明用了一个极其精巧的构造（后称「翻转」或「anthyphairesis，即反复相减／辗转相除的几何版」）：从大正方形的对角线与边，能生出一个更小的正方形，其对角线与边之差又构成更小的一对。于是「可公度」这个假设，会强迫我们造出无穷多个越来越小的「公度单位」——这在正整数的世界是不可能的（任何正整数集合必有最小值）。

第一编 古典几何的巅峰：《几何原本》第6章·4　欧多克索斯与穷竭法

★★★ 面对「不可公度」与「曲边图形」两大难题，古希腊人发明了一件强大的工具——穷竭法。它是微积分「极限」思想的直接祖先。

穷竭法由欧多克索斯（Eudoxus，约公元前 370 年）创立，用于第十二卷计算曲边图形的面积与体积。它的思想是：

注意穷竭法的论证风格：它从不「取极限」，而是反复使用「反证＋任意小」。它不假设「多边形面积最终等于圆面积」，只证明「若不等，则必有一个固定的偏差；而多边形的逼近可以做得小于任何偏差」——于是只能相等。这种「双重归谬」的手法，避免了「无限过程」的直接使用，因而完全符合《原本》的严格标准（那里还没有极限概念）。

第十二卷用穷竭法做的精彩工作还有：棱锥体积（XII.7）、圆锥体积（XII.10）、球体积（XII.18，由阿基米德完成发挥）。阿基米德后来用它求抛物线弓形面积、球的表面积与体积，几乎走到了微积分的门口。但他缺一件东西：极限与导数的符号语言。所以他只能一次次「从头穷竭」，而不能有一个通用的算法。

一件趣事。阿基米德在《方法论》里透露，他其实是先用「不可分量」（把面积切成无数细条）猜出答案，再用穷竭法严格补证。「先用直觉猜、再用严格证」——这一科研范式，至今仍是数学研究的标准流程。

第一编 古典几何的巅峰：《几何原本》第6章·5　第七至九卷：数论概览

★★ 《原本》不只有几何。第七、八、九卷是纯粹的数论——研究整数的性质。把这三卷读一遍，会让人吃惊：两千三百年前，人类已经把数论推到了何等高度。

首先要澄清一个概念：在《原本》里，「数」（arithmos）指的是正整数，而不是现代意义的实数。所以「数论」就是关于 1, 2, 3, … 的理论。第七卷定义「单位」「素数」「互素」「成比例」等，然后展开：

IX.20 是数学史上最著名的证明之一，两千三百年后仍原封不动地出现在每一本数论教材里。它的力量在于「构造」：不是空谈，而是用一个具体的数 N 把矛盾逼出来。这种「构造性反证」，是中国古算与西方数学共有的智慧。

数论在《原本》中的地位。数论三卷（七、八、九）夹在比例论（五、六）与不可公度量（十）之间，位置绝非偶然。它是「离散量」理论的样板，衬托出「连续量」理论的困难（第十卷全书最难，正是处理不可公度量的分类）。《原本》的结构顺序本身，就是一部「量论」的教科书。

第一编 古典几何的巅峰：《几何原本》本编地图：《原本》的逻辑网络

★★ 把本编读过的六章收成一张网络图：命题之间如何依赖，中西传统如何对照。

两条线索须并置记住：

西方线：公设 → 命题 → 定理 → 依赖链（严密、普遍、可推广）；
中国线：图形 → 切割重拼 → 面积不变（直观、简洁、可执行）。

两条线索在第4章「几何代数」处显出了惊人的会合：II.4 用「画」证明完全平方公式，开方术用「算」执行同一个公式。同一个 2ab + b² 的「补全」结构，在两种传统里各有一副面孔。这就是本编留下的最大伏笔——几何与代数的分合，将在此后两编里成为主线。

第一编 古典几何的巅峰：《几何原本》小结：《原本》教给我们什么

★★★ 读完第一编，应当带走四件东西。

其一，公理法的范式。《原本》第一次证明：知识可以被组织成「起点—推理—结论」的体系。这个范式的力量，不在于它多推了几条定理，而在于它让「可靠」有了可传递的标准——只要接受起点并遵守推理，结论就自动可靠。此后一切成熟学科都在模仿它。

其二，严密与直观的张力。《原本》的每个证明都号称「只用公设与前证命题」，却在三处悄悄借用了「直观」（两圆相交、图形可搬移、第五公设）。这不是疏漏，而是任何公理系统都无法避免的「隐形前提」。学会发现这种隐形前提，是读《原本》最大的收获。

其三，两种数学传统的对观。西方以「证」为骨、以「普遍」为志，中国以「算」为骨、以「有效」为志。勾股定理一节把两者的差异与共通讲得淋漓尽致：证明观不同，但「用可靠的方式抵达真理」的追求一致。

其四，三条未竟的线。第一编留下三处伏笔，正好预告后续三编：①「两圆相交」隐含的连续性，指向第二编的希尔伯特公理体系；②「图形可搬移」隐含的运动，指向第三编的变换与群；③「平行与第五公设」的疑难，指向第二编的非欧几何与第三编的射影几何。

一句话带走。《原本》不是一本「结论汇编」，而是一台「生产可靠知识的机器」。读懂它，不是记住定理，而是学会它的两个动作：把起点说清楚，把推理写完整。这两个动作，是一切数学工作的地基。

第一编 古典几何的巅峰：《几何原本》思想卡：知识可以被公理化地组织

★★★ 一张卡说清《原本》最深的遗产。

问题。人类的知识本是零散的：工匠知道怎么量地，水手知道怎么看星，商人知道怎么算账。它们为什么后来能成为「科学」？

《原本》的回答。因为知识可以被公理化地组织——先选定一批不需要证明的起点，再规定推理的规则，然后把其余结论一步步推出来。这样组织起来的知识有三个好处：可检验（每步都能核对）、可传承（不必亲眼看见也能学会）、可扩展（新结论只需按同一规则推）。这是人类第一次把「可靠」变成一种可以传授的技术。

代价与限度。公理化不是万能的。其一，起点的选择带有约定性——换一套起点，可能得到另一套同样自洽的体系（这正是非欧几何的启示）；其二，公理体系无法自己证明自己的相容性（哥德尔不完备定理的预演）；其三，「哪些结论值得推出」是审美与直觉的问题，不属公理法管辖。公理法保证「不出错」，但不保证「有发现」。

一句话。《原本》留给后世最深的，不是某条定理，而是这个信念：哪怕是最靠经验的知识，也可能被整理成不依赖经验的体系。这个信念，是「数学为什么是科学」的终极答案，也是现代科学方法论的雏形。

第一编 古典几何的巅峰：《几何原本》挑战：从命题到证明链

★★★ 五道题，检验《原本》的「依赖结构」是否真的被读懂。

(a)　写出命题 I.1（作等边三角形）的证明，并标出它用到的每一条公设。

(b)　说明 I.4（SAS）为何是「唯一用叠合法证明」的命题，以及它隐含了哪一条未明言的假设。

(c)　用赵爽弦图证明勾股定理，写出每一步对应的代数恒等式。

(d)　用托勒密定理推导和角公式 sin(α+β)，画出所用的圆内接四边形。

(e)　解释「剖分等价」与「拼补等价」的区别，以及为什么平面与三维的结果不同。

参考答案要点。(a) 用到公设 1（过两点作直线）与公设 3（以任意心、任意半径作圆），核心步骤是「两圆交于 C」与「同圆半径相等」。(b) 它把两个三角形「搬起来叠合」，依赖共同概念 4；隐含假设是「图形可以自由运动」——希尔伯特后来用合同公理取代之。(c) c² = 2ab + (b−a)² = 2ab + a² − 2ab + b² = a² + b²。(d) 取直径 AC = 1，∠BAC = α、∠CAD = β，由 III.31 得两个直角，代入托勒密定理即得 sin(α+β) = sinαcosβ + cosαsinβ。(e) 剖分＝直接剪拼；拼补＝各自补上相等部分后再剪拼，后者更弱。平面上两者都等价于面积相等（Bolyai–Gerwien）；三维中等体积不能保证剖分等价（Dehn 不变量），故两者分道扬镳。

延伸思考。若把 I.47 的证明（面积链）与赵爽弦图（拼补）并置，能否说「有一个比另一个更『本质』」？试着从「依赖的前提数量」与「可推广的广度」两个角度分别评估——两条路各有所长，而这正是本编「一条定理、两种传统」的真意。

第一编 古典几何的巅峰：《几何原本》实验：用动态几何验证拼补证明

★★★ 把本编的拼补证明「动」起来——用可执行脚本模拟切割与重拼，观察面积守恒。

实验分四步：用坐标构造 3-4-5 直角三角形与其三边正方形；把两个直角边正方形的格子切分；模拟沿网格平移重拼；核对「重拼后是否铺满斜边正方形」。

# 实验 1-A：构造 3-4-5 直角三角形与三边正方形
import numpy as np
a, b, c = 3.0, 4.0, 5.0          # 勾股数
print('校验勾股关系:', a**2 + b**2, '==', c**2)
S_a, S_b, S_c = a*a, b*b, c*c     # 三个正方形面积
print('直角边正方形面积:', S_a, S_b, '合计', S_a + S_b)
print('斜边正方形面积:', S_c)

# 实验 1-B：把直角边正方形切成单位格，模拟「数格子」
unit = 1.0
n_a = round(S_a / (unit*unit))    # 9 格
n_b = round(S_b / (unit*unit))    # 16 格
n_c = round(S_c / (unit*unit))    # 25 格
print('小正方形格子数:', n_a, '+', n_b, '=', n_a + n_b)
print('斜边正方形格子数:', n_c, '→ 相等：', n_a + n_b == n_c)

# 实验 1-C：赵爽弦图的面积恒等式
zhaoshuang = 2*a*b + (b - a)**2
print('四朱实 + 中黄实 =', zhaoshuang, '   弦实 =', c*c)
print('两者相等（弦图证明）:', abs(zhaoshuang - c*c) < 1e-9)

# 实验 1-D：换网格密度，验证「一变为无穷」
for unit in [1.0, 0.5, 0.25, 0.1]:
    ratio = (S_a + S_b) / S_c     # 与网格无关，恒为 1
    print('网格边长 =', unit, '→ (a**2+b**2)/c**2 =', round(ratio, 6))

观察要点。① 拼补证明的核心是「面积守恒」，代码里体现为「格子数相加相等」；② 换网格密度不改变结论，这正是「无穷多种拼补证明」的数值版本；③ 赵爽弦图与欧几里得 I.47 的数值结果一致，说明两种传统的证明「殊途同归」。把抽象的「拼补」变成可运行的计数，是理解它的最快方式。

第一编 古典几何的巅峰：《几何原本》格物札记：东方「寓理于算」与西方「寓算于理」

★★★ 一条定理，照出两种文明的数学性格。

读过勾股定理的中西方证明，会感到一种奇妙的对称：西方把「算法」包在「推理」里——开方术的每一步，都要问「为什么可以这样做」，答案必须回到公设与命题；中国把「推理」包在「算法」里——II.4 的图形，本身就是一套可执行的「补全」程序，证明只在「拼一拼、看一看」中完成。吴文俊先生把前者概括为「寓算于理」，把后者概括为「寓理于算」。这八个字，是本编最深的一层收获。

两条传统并非对立，而是同一数学本能的两种投影：都要求「结论必须能被可靠地复现」。西方选择「逻辑复现」，中国选择「算法复现」。近代数学的辉煌，恰恰来自两者的合流——笛卡尔的坐标系把「形」与「数」焊接在一起，牛顿—莱布尼茨的微积分把「几何的极限」变成「代数的运算」，而二十世纪的公理化运动又把一切算法重新放进严格的逻辑框架。「寓算于理」与「寓理于算」的界限，就这样在近代数学里一次次被打破。

对今天的而言，这一层对照有现实的意义：既要像古希腊人那样追问「为什么」，也要像中国古代那样追问「怎么做」。只会证明不会计算，失之迂；只会计算不会证明，失之浅。数学的力量，正在这「理」与「算」的往返之间。

第一编 古典几何的巅峰：《几何原本》速查：第一编命题与概念

易错点。①「几何」是音义双关的译名，由徐光启与利玛窦创制；② I.47 的证明是面积命题链，不是弦图；③〈原本〉的「数」指正整数，「相等」对面积而言指面积相等；④ 第五公设与其余四条不在同一层次，它是非欧几何的引信；⑤ 尺规作图的两千难题，最终靠代数（域论与伽罗瓦理论）判定为「不可能」。

第二编 公理法的成熟：从第五公设到希尔伯特第二编导引：一条公理，如何长成一门学问

第一编读完《几何原本》，留下了一个悬而未决的角色：第五公设。它在第一卷第 21 页才被真正启用，语句冗长、不像公理，两千年来一直被人怀疑是「可以证明的定理」。本编的故事，就从这个怀疑开始。

但本编要讲的，远不止一条公理的沉浮。它是一场持续两千年的思想运动，其终点是「公理法」本身的成熟：第五公设的两千年证明史（第7章）逼出了非欧几何的诞生（第8章）；非欧几何的震动迫使数学家追问「公理到底是什么」，希尔伯特 1899 年的《几何基础》给出现代的回答——公理是隐定义，几何学是公理体系的演绎游戏（第9章）；欧氏、罗氏、球面三种几何并立，公理体系的比较成为研究方法（第10章）；最后，模型的概念把「几何真理」改写成「公理体系的相容性」，再经由解析几何与塔斯基系统，几何的真最终安放在算术之中（第11章）。

读法提示：本编的叙事是双线的。明线是第五公设的历史；暗线是「公理」这个词的含义不断加深——从「自明之理」到「任意约定」，从「关于世界的真理」到「体系的起点」。读到第12章时回头再看第7章的两千年挣扎，会看到那不是徒劳：正是每一代人的失败，把「公理」逼到了它真正的位置上。

第二编 公理法的成熟：从第五公设到希尔伯特第7章·1　第五公设：一条「不像公理」的公理

★★ 《原本》第一卷的五条公设，前四条都简洁得近乎直觉：两点连线、线段可任意延长、以任意心与距作圆、凡直角皆相等。唯独第五条，读起来像一条小型定理：

它为什么「不像公理」？第一，太长：前四条各占一行，它占了五行；第二，太具体：它不是「什么能作」「什么相等」，而是关于无穷延长后的相交——一个永远无法在有限时间内验证的判断；第三，它的逆命题太容易：三角形内角和等于两直角，与它是等价命题，看起来「显然该证明」。欧几里得本人似乎也不喜欢它：第一卷前 28 个命题全部绕开了它，直到命题 I.29 才第一次使用。

等价命题如此之多，说明公设 5 触及的是欧氏几何的整体结构——平面的「平」就藏在这条公理里。任何一个等价命题都和它一样难以直接证明；而每一次「证明」的尝试，都在不知不觉中引入了别的新假设。

第二编 公理法的成熟：从第五公设到希尔伯特第7章·2　两千年的证明尝试：从托勒密到萨凯里

证明公设 5 的努力几乎与《原本》同龄。这条两千年名单本身就是一部微缩的几何学史：

这份名单的规律值得咀嚼：两千年的每一次「证明」，要么循环（把等价命题当已知），要么引入新假设（把想要的结果藏进前提）。这不是后人的愚蠢——萨凯里与兰伯特都是一流数学家——而是问题本身的性质：公设 5 独立于其余公理，任何「证明」都必须引入一条与其等价的新原则。逻辑的地基没有松动，但人们开始隐约感到：也许它根本不可证明。

第二编 公理法的成熟：从第五公设到希尔伯特第7章·3　萨凯里的《欧几里得无懈可击》：离革命一步之遥

1733 年，耶稣会士萨凯里出版《欧几里得无懈可击》。他的策略是归谬法：以等腰双直角四边形（后称萨凯里四边形——底角为直角，两侧边等长）为舞台，顶角只有三种可能：

他成功了前一半：在承认直线可无限延长的前提下，钝角假说导出矛盾（直线的无限性与之相悖）。但锐角假说——他一路推出四十多条命题，从「同一直线的垂线与斜线可以不相交」到「三角形内角和小于两直角」——没有一条自相矛盾。命题 33 推出的其实已经是一门新几何的定理。萨凯里的原话是：锐角假说「与直线的本性绝对矛盾」。他凭直觉、而非逻辑，否定了自己的全部成果。

兰伯特 1766 年的《平行线理论》走得更远：他注意到锐角假说下「面积可用角亏度量」，并敏锐地对比了球面几何——球面上三角形内角和大于两直角，超出部分随面积增大。钝角假说不自洽于平面，却恰好是球面几何；那么锐角假说会不会也有自己的舞台？这颗思想已触到答案，只差一位敢于承认「平行公理可以选择」的人。

第二编 公理法的成熟：从第五公设到希尔伯特第7章·4　高斯、鲍耶、罗巴切夫斯基：革命的三位当事人

非欧几何的诞生由三个人分享，时间集中在十九世纪前三十年。三人互不谋面（高斯除外——他读了另两位的工作却几乎不给回音），却在同一处岔路口做了同一个选择：

三人的共同点在于立场的第一步不是数学，是勇气：承认「三角形内角和小于两直角」的系统不含矛盾、值得当作几何来发展。罗巴切夫斯基把这系统称为「泛几何」（пангеометрия），从平行线定义出发系统重建了三角学——他的 cosine 公式在极限情形退化为球面公式，这件事本身就是「新几何真实存在」的强烈暗示。高斯更进一步：他主持汉诺威大地测量，实测过三座山峰构成的三角形（边长约一百公里级），寻找角亏——测量在误差内为零，他如实报告了零结果。这段插曲常被讲成「高斯检验了空间是否弯曲」，更准确的说法是：他第一次把「几何」与「物理测量」分开来想。

革命完成于 1868 年：贝尔特拉米给出罗氏几何的欧氏模型（伪球面上的局部实现），顽固的「物理直觉」反对意见被模型釜底抽薪——如果罗氏几何有矛盾，矛盾也会出现在欧氏几何里。相容性从此成为几何学的核心词，这正是第11章的主题。

第二编 公理法的成熟：从第五公设到希尔伯特第7章·5　两千年尝试的教训：公理不是自明之理

把第7章收拢成三个教训，它们是理解本编其余内容的底色。

还有一个细节值得留意：第五公设的两千年，几乎没有中国数学家的身影——《原本》 1607 年才进入汉语。但当公理法的接力棒传到二十世纪，吴文俊用「机械化」的传统重新估量了这条公理在几何中的位置（见第一编第3章）：公理体系是「寓理于理」，机器证明是「寓证于算」，两种传统在公理化时代真正会师。东西方数学的对照，从「各自证明勾股」走到「共同面对公理」，这是本册的另一条暗线。

第二编 公理法的成熟：从第五公设到希尔伯特第8章·1　罗氏几何的面貌：锐角假设的世界

在罗巴切夫斯基的几何里，平行公理被替换为：过直线外一点，至少有两条直线与已知直线共面不相交。既然「至少两条」，借对称性可推出「无穷多条」。这一替换像抽掉一根承重柱，整座大厦以新的姿态重建——许多欧氏定理垮了，但更多的定理以「修正版」活了下来。

罗氏几何并不「混乱」——它同样精确。它有自己的三角学（罗巴切夫斯基建立了完整的公式组）、自己的解析几何、自己的微积分。一个锐角世界的「居民」做起这些数学来，与欧氏世界的居民同样熟练。区别只在尺度的选择：当三角形很小，角亏近乎零，罗氏公式退化为欧氏公式——这正是高斯大地测量测不出角亏的原因。两种几何在局部无法区分，分歧只在无穷远处。

第二编 公理法的成熟：从第五公设到希尔伯特第8章·2　黎曼 1854：论几何学基础中的假设

1854 年，27 岁的黎曼为取得哥廷根讲师资格作了题为《论作为几何学基础的假设》的讲演。高斯本人在座——这是他选的题目。这篇讲演（次年才印出八页的讲义，黎曼 1866 年去世，全文 1868 年发表）把几何的地基再往下挖了一层：

黎曼的三步，每一步都改写了「什么是几何」：

第一步：空间不是现成的，是流形。研究的起点不是「欧氏空间」，而是「n 维流形」——对象只需要能被局部坐标刻画，其余性质（包括「平直」与否）都要另行假设。几何学第一次可以讨论「没有整体直线概念」的对象。

第二步：度量可以局部定义。黎曼给出度量的最一般形式（今称黎曼度量）：在每点用一组数（度规系数）定义弧长与角度。所有关于距离、面积、曲率的几何，都从这一小块「度规」里长出来。

第三步：曲率是几何的身份证。黎曼把高斯在曲面上的曲率推广到任意维：曲率处处为零，得欧氏几何；为正常数，得球面几何；为负常数，得罗氏几何。三种几何被统一为一个参数的三种取值。讲演的结尾，黎曼留下那句著名的悬置：「物理空间的真实几何，只能由经验决定。」

第二编 公理法的成熟：从第五公设到希尔伯特第8章·3　曲率：三种几何的统一刻度

黎曼的曲率值得单独一页，因为它是第三编与第四编的接口。高斯在曲面上定义了「高斯曲率」K：一点处两个主曲率之积。球的曲率是 1/R²（正常数），平面是 0，伪球面（把电摇喇叭口理想化）是负常数。高斯惊人地证明了：曲率在等距变形下不变（绝妙定理，Theorema Egregium）——曲率是曲面的内在属性，与它被怎样摆在空间里无关。

这带来一个深刻的结果：在曲面上「住着的二维居民」不离开曲面就能测出曲率——量一个三角形的三内角之和，与两直角的差除以面积即是。黎曼把这推广到任意维：几何不再是「空间的形状」这种外部描述，而是内部可测量的量。这一步把「几何」从直觉形式推向了度量形式，为第四编的微分几何预留了通道。

第二编 公理法的成熟：从第五公设到希尔伯特第8章·4　模型登场：贝尔特拉米、克莱因与庞加莱

非欧几何要被数学共同体真正接受，还差最后一击：证明它不可能有矛盾。直接的办法是推演一万条定理仍无矛盾——做不到。聪明的一步棋由贝尔特拉米（1868）、克莱因（1871）、庞加莱（1882）先后走出：在欧氏几何内部造出罗氏几何的模型。

克莱因模型里，过圆盘内一点确实有无穷多条弦不与给定弦相交——「平行公理失效」变成一句看得见的话。角、距离都有精确公式（保角性在庞加莱模型中最直观）。这些模型同时回答了「独立性」：在欧氏几何中造出罗氏几何的模型，意味着若罗氏几何有矛盾，欧氏几何也有——两门几何的相容性绑在了一起。数学从此有了新的安全策略：一个体系的矛盾问题，转化到另一个体系去回答。

第二编 公理法的成熟：从第五公设到希尔伯特第8章·5　哲学的震动：几何与真理的分离

两千年间，「欧几里得」与「真理」几乎同义：几何学是关于空间的唯一确定的学问，公理是自明之理。非欧几何把这条链条一节节剪断：

第一剪：几何不止一种。同一套其余公理，换掉平行公理，得到三门同样严整的学问。「几何」从单数变复数。康德式的先天直观（空间必然是欧氏的）在数学内部失去了根据。

第二剪：数学的真与物理的真分家。哪种几何描述物理空间，从此是经验问题（高斯的测量、后来的广义相对论给出裁决），不再是数学问题。数学只对「体系的内部无矛盾」负责。这是黎曼「假设」一词的全部分量：几何学的基础是可以自由假设的。

第三剪：证明的对象变了。数学家证明的第一对象不再是「定理关于世界为真」，而是「定理从公理推出」。公元前三百年的公理法说自己「由显入微」，十九世纪的公理法只说「由此及彼」——显与不显，不再担保。

震动也催生了新的责任。既然公理可以选择，那么体系的好坏就要有内在标准：相容（无矛盾）、独立（每条公理都不可省略）、完备（足以决定全部问题）。这三条标准把几何学从「演绎练习」变成「元数学的研究对象」——第12章将正面处理它们。而把它们做成一门精密学问的人，即将在下一章登场：他从一个看似完全不同的方向——不变量理论——走到了几何的门口。

第二编 公理法的成熟：从第五公设到希尔伯特第8章·6　三份定理对照单：同一命题在三个世界的命运

第 7、8 两章讲的是非欧几何的诞生；这一页把镜头拉近，看同一批古典定理在三个世界里各长成什么样。这是「公理不同，世界不同」最直观的证据。

读单子时三类命题的不同命运：

这张单子向预告：第 10 章将把「为什么」追问到底——用完整公理清单解释，究竟哪一条公理的分岔，导致了哪一批定理的存亡。第 7、8 两章给出事实，第 9、10 两章给出机制。

第二编 公理法的成熟：从第五公设到希尔伯特第8章·7　本章小结：一场革命的三重账

把第7、8两章合上，非欧几何的诞生记在三本账上，每本账都直接通向本编的下一站。

这份小结还有一种读法：把三本账倒过来读，就是本编的叙事顺序——先立新公理观（希尔伯特），再比较体系（三种几何），最后用模型与元数学收束（相容性问题）。历史顺序与逻辑顺序相反，这是数学史叙事常有的落差：革命先发生，革命的理论随后补写。希尔伯特的《几何基础》正是补写的理论中最好的一部。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·1　时代的到来：公理化运动与希尔伯特其人

希尔伯特登场前，地基已被前人夯实过一遍。十九世纪下半叶，三股潮流汇成了「公理化运动」：

分析的算术化。魏尔斯特拉斯、戴德金、康托把微积分的地基重建在实数上，实数又建立在有理数与自然数上。到 1889 年皮亚诺给出自然数的五条公理，「数」的公理化完成。至此数学的两大支柱——数与形——只剩「形」还没有一份现代水平的公理清单。

公理化方法的技术化。皮亚诺学派发明了形式符号语言（∃、∈、→）， Pasch（帕施）在 1882 年为射影几何写出严格公理体系，并留下著名的帕施公理：一条直线若穿过三角形一条边（不过顶点），必穿过另一条边。这条公理专门补《原本》在「顺序」上的漏洞——欧几里得从未把「在……之间」列为原始概念，全靠图形默会。

几何基础的专题化。贝尔特拉米的模型暴露了《原本》公理清单的不完整：模型要成立，需要的公理远不止五公设——顺序、连续、合同都欠着账。清单该多长、多精，成了明确的研究课题。

顺带说一句《几何基础》的写作方式：希尔伯特的演讲与书中充斥着具体的「奇奇怪怪」几何（非阿基米德几何、非德沙格几何），公理清单是在对这些反例的反复解剖中提炼的。公理化不是把直觉固化，而是把反例驯化——这是理解第9章的一把钥匙。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·2　五组公理总览：隐定义与「点线面」

《几何基础》的原始概念只有三个：点、直线、平面；它们之间的关系也只有三种：「在……上」「在……之间」「合同于」。除此之外，不预设任何直觉内容。全部内容装在五组、二十条公理里。

与《原本》对照，这份清单多了三样东西：顺序公理（欧几里得完全没写「介于」，I.1–I.34 全靠图上默会）；连续公理（欧几里得从未保证直线上的点「填满」直线，I.1 里两圆「应当」相交，靠的是图形）；合同公理（欧几里得的「叠合」I.4 默默用了运动的不言自明性）。希尔伯特把这三笔隐账全部记在明面上——这正是第一编第2章说过的「《原本》欠下的三笔账」。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·3　关联公理 I.1–I.8：逐条精读

《几何基础》第 I 组共八条，只管一件事：什么东西「在」什么东西之上。点、直线、平面是原始对象，唯一的基础关系是「结合」——「点 A 在直线 a 上」「点 A 在平面 α 上」。八条如下（编号与 1899 年初版一致）：

逐条细读会发现两种「堵漏」手法。第一种是把存在性与唯一性拆开写：I.1 给存在，I.2 给唯一，两条合起来才是「两点确定一条直线」。为何不分家不行？因为存在与唯一的来源不同——存在由作图保证，唯一却是纯粹的接合性质。拆开写，独立性问题才有意义（I.2 可以被推翻，I.1 不能）；I.4 与 I.5 在平面上重复了同一套拆法。

第二种手法是排除退化。I.3 前半句（直线上至少两点）防「直线只有一个点」，后半句（至少三个不共线点）防整个空间塌成一条线；I.8 进一步要求四个不共面的点，把维数钉在「至少三维」。没有 I.8，一个平面几何也满足 I.1–I.7——「三维」是公理说出来的，不是画图看出来的。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·4　顺序公理 II.1–II.4：逐条精读

第 II 组补的是欧几里得从未写下的一笔账：「在……之间」是原始关系，不是靠图形看出来的。四条公理（1899 年初版编号）：

II.1 的后半句最容易被略过，它其实是「线段可以延长」的全部内容：给出延续点 D，「射线」「线段内部」这些词才有落脚点。II.2 宣布直线上没有「空隙」——但它的分寸：稠密不等于连续。有理数坐标的平面满足 II.2（任意两有理点之间有有理点），却仍有「窟窿」（√2 那样的点不在其中）。真正的连续性留给第 V 组，两圆相交的保证也留给第 V 组。

II.3 禁止「三点循环」：直线上任意三点有唯一的「中间」者，直线因此获得内外有别的线性结构。这条公理同时标出球面几何的改造口——球面大圆是闭合的，三点「谁在中间」不唯一（两条弧都可以充当「中间段」），椭圆几何必须换一套顺序公理（第 10 章第 3 节细说）。

II.4 由帕施（M. Pasch）1882 年发现，专补《原本》的「顺序缺口」。它看起来「看图显然」，却做了两件大事：其一，直线把平面分成两个分离的部分（「同侧」「异侧」由此可定义）；其二，三角形有明确的内部与外部（「三角形内部的点」是后续大量定理的前提）。希尔伯特把它列入公理，正因为「显然」的东西一旦省去，推理链会在最不起眼处断掉。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·5　合同公理 III.1–III.6：逐条精读

第 III 组是五组里最精巧的一组：它给「长度相等」「角度相等」立规矩，却不许使用「运动」「叠合」。欧几里得 I.4 靠「把一个三角形搬过去叠在另一个上」证明 SAS，这一步默默假定「图形可以移动而不变形」——希尔伯特认为这是把物理直觉偷运进几何。他的替代方案：把「合同」（≅）当作原始关系，用六条公理规定它的行为。

细读六条，可见三个设计要点。其一，处处带「唯一」与「给定一侧」：III.1、III.4 都要求唯一性，且必须在指定的一侧——否则线段、角可以「搬」到两个位置，构造就不确定，长度比较也会失去意义。其二，III.2 与 III.3 把 ≅ 变成等价关系并允许「拼接」：有了传递性与可加性，「线段相加」「角度相加」才有资格写出不等式（如「AB < CD」在 IV 组里的出现就依赖这一组）。其三，III.5 与 III.6 是三角形全等的两个独立入口：SAS 与 SSS。注意希尔伯特没有把 SAS 当作「显然」，而是当公理——因为若要证它，只能靠叠合，而叠合恰恰是他拒绝的手段。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·6　平行公理 IV 与连续公理 V：逐条精读

组 IV　平行公理（1 条，普莱费尔形式）：过直线外一点，至多有¹一条直线与已知直线共面不相交。把「至多」换成「无穷多」，得到罗氏几何；在球面/椭圆背景下连「至多一条」也不成立——五组公理的其余部分决定骨架，这一条决定「平直」的型号。

组 V　连续公理（2 条）：度量公理（阿基米德公理）——任两线段 AB < CD，将 AB 沿 CD 逐次添加有限次后可超过 CD（没有「无穷小」「无穷大」的线段）；完备性公理——直线上的点不可能再添加新点而保持全部公理成立（点集已「满」，无空隙）。完备性是《原本》完全没有的概念：欧几里得的直线允许有孔，只要孔不破坏可作图性。

至此五组公理各就各位。但一份清单的价值不在罗列，而在它能「顶得住」什么问题——下一页看希尔伯特如何用清单回答两千年的老问题。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·7　公理机器开转：从公理出发的头几步

公理清单列完，该让机器转起来了。下面三条是希尔伯特体系「头几步」的标准动作——每一步背后站着哪条公理，都已注明，这正是「严格」二字的实义：求证不再是诉说「看图即知」，而是指出条文出处。

把这几步并起来看，一条经验浮现：欧几里得省掉的东西，希尔伯特全部标价补齐。省掉「介于」，帕施公理补上；省掉「中点存在」，连续公理补上；省掉「延长不循环」，顺序公理补上。公理化不是把简单变复杂，而是把「默认」改写成「显式」——一旦显式，任何一条都能被单独质问（它独立吗？相容吗？），这正是下一页三问的入场券。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·8　公理体系的三问：相容、独立、完备

《几何基础》的主体不是「由公理推定理」——那部分占了全书不到一半——而是对公理体系本身的审计。希尔伯特为每条公理（及公理组）提出三个问题，这三问从此成为一切公理体系的验收标准：

三问在几何上的兑现令人叹服：希尔伯特造出解析模型（以实数为坐标的笛卡尔几何）证明五组公理相容——「几何的相容性归约到实数的相容性」；造出非阿基米德模型、非帕施模型等，逐条证明连续公理、阿基米德公理、帕施公理等的独立性；用完备性公理证明欧氏几何的范畴性——所有满足五组公理的模型彼此同构，欧氏几何「只有一个」。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·9　从《原本》到《几何基础》：两张清单的对照

把第一编的《原本》与本编的《几何基础》并排放着，公理法的成熟一目了然：

但两张清单的连续性同样值得强调：希尔伯特的定理编号与欧几里得的命题一一衔接——他的前几章就是把《原本》第一卷的重结论在严格地基上重推一遍。公理法的成熟不是对欧几里得的否定，而是欧几里得工程在两千一百年后的竣工。欧几里得欠的三笔账（顺序、叠合、连续），由帕施、希尔伯特在十九世纪末还清；而记账人之所以看得清欠账，恰因为两千年里第五公设逼着所有人重新审读第一卷。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·10　解析模型：几何真理的第一次算术化

《几何基础》最响亮的一步棋，是解析模型：在实数世界里重建整个欧氏几何。「点」是有序实数对 (x,y)，「直线」是方程 ax + by + c = 0（a,b 不同时为零）的解集，「点在直线上」= 代入方程成立，「介于」= 坐标按参数递增排序，「合同」= 距离公式 √((x₁−x₂)²+(y₁−y₂)²) 相等。二十条公理逐条验证为实数的代数事实。

这一验证的含义超出几何：它把「欧氏几何相容」变成「实数系统相容」。几何与算术的地位从此对调——在古希腊，算术（数论）的可靠性靠几何（量的连续性）担保，欧多克索斯的比例论是「几何化的数」；在希尔伯特这里，几何的可靠性靠算术担保，几何成了「算术化的形」。几何真理从直觉形式走向算术形式——本册主线在这枚模型上完成了第一段落。

但模型的双刃性：解析模型证明「若实数相容则欧氏几何相容」，实数的相容又归约到自然数（戴德金、皮亚诺），自然数的相容呢？归约链在这里悬空——希尔伯特清楚这一点，他后来提出「用元数学的有限方法直接证明算术相容」的纲领（希尔伯特纲领）。1928 年波利亚与希尔伯特都相信这条链可以走通；1931 年哥德尔的不完备定理给出出人意料的答案。这条线索本册在综合站收拢。

第二编 公理法的成熟：从第五公设到希尔伯特第9章·11　本章小结：把话说全的代价与回报

本章做了一件事：把《几何原本》式的几何连根拔起，换上一套「不靠眼睛」的地基。五组公理逐条读过，现在把账合上。

按本书记账（1899 年初版）：8 + 4 + 6 + 1 + 2 = 21 条；通行教材把 III.6（SSS）降为定理后计为 20 条，两种记账内容等价。

回报是丰厚的：「显然」被逐出推理链。从此每条定理都能溯源到某组公理，每个「看图即知」都被要求出示条文——I.4 的叠合、I.16 的中点、II.4 的剖分，统统重审。数学第一次拥有了可以「验收」的地基。

代价也是真实的：公理不再「真」。它从「关于世界的自明之理」降格为「一组任意假设，只求相容」。几何的对象不再是物理空间的写照，而是任何满足公理的对象系统——坐标纸上的有序实数对、球面上的大圆，都可以是「点」与「直线」。这一转向把最大的自由交给数学家，也把最大的责任——相容性——压在他们肩上。下一章就去看：换掉一条公理，几何会变成什么模样。

第二编 公理法的成熟：从第五公设到希尔伯特第10章·1　三种几何并立：欧氏、罗氏、球面

有了希尔伯特式的清单，三种几何可以并排放进同一个框架：它们共享第 I、II、III 组公理（绝对几何），只在平行方式与连续性上分岔。把它们各自的「身份证」列在一张桌上：

这张表有两个读法。由下往上读（代数方向）：三种几何是同一个参数——曲率——的三档取值，黎曼框架早已预言了这张表。由上往下读（公理方向）：平行方式的差别逐级放大为角和、面积、周长的差别，公理体系像基因一样决定了全部性状。两个方向在「模型」一栏会合：每种几何都配着一个别的体系里的实现。

三种几何还各自继承了一份「极限行为」：曲率 → 0 时，罗氏与球面的公式都退化为欧氏公式。三种几何不是三个孤立世界，而是一族以平直为极限的连续谱——这正是黎曼讲演里「度规自由」的兑现，也是第四编走向任意曲率几何的邀请函。

第二编 公理法的成熟：从第五公设到希尔伯特第10章·2　双曲几何的完整公理表

双曲几何的公理系统由三块拼成：绝对几何（第 I、II、III 组原封不动）＋ 双曲平行公理（替换第 IV 组）＋ 连续公理（第 V 组原封不动）。完整清单如下：

未改动的 I、II、III 组合称绝对几何——三种几何共享的公共地基。一个漂亮的推论随之而来：绝对几何里成立的定理，在三种几何里都自动成立，无需分别重证。「三角形两边之和大于第三边」「外角定理」「等腰三角形两底角相等」皆属此类。

第 IV 组一改，双曲世界立刻长出几样欧氏世界没有的东西：

值得强调：第 V 组在双曲几何里不能删。双曲平面虽「无边无孔」，但直线上点的次序仍需阿基米德公理与完备性来钉住「连续」二字——否则会得到各种「非阿基米德的双曲平面」，几何性质随之漂移。

第二编 公理法的成熟：从第五公设到希尔伯特第10章·3　球面与椭圆几何的完整公理表：顺序公理的改造

球面几何照抄希尔伯特清单会遇到硬伤：球面上任意两对径点之间有无穷多条大圆，「两点定一线」（I.1）当场失效；大圆是闭环，三点无所谓「谁在中间」（II.3）也失效。两条修补路线由此分岔：

椭圆几何的完整公理表（以射影平面为底、添上圆度规）：

顺序公理的改造是这套体系里最费周章的一步，值得多看一眼。射影平面上的直线是一条闭环（拓扑上是一个圆），在闭环上「B 介于 A,C 之间」无从谈起——绕一圈可以回到起点。希尔伯特给出的替代是分离四元关系：四点 A,B,C,D 共线，若沿直线从 A 走到 B 必先遇 C 再遇 D（或反之），则记作「C,D 分离 A,B」。这一关系满足与「介于」平行的若干公理，撑起了射影几何的顺序骨架，也把「同侧／异侧」升级为射影不变量（分离在射影变换下保持）。

第二编 公理法的成熟：从第五公设到希尔伯特第10章·4　三系统逐条比较总表

现在用希尔伯特的五组公理作共同语言，把三种几何逐组对照——哪些组共享、哪条公理改写、哪些必须删除：

差异分析的要点有三。其一，改动的位置极其集中：三种几何只在关联的细部与平行公理处分岔，顺序、合同两组几乎原封不动——绝对几何（组 I、II、III）是三者的公共地基，这解释了为什么两千年里无人察觉平行公理的独立性：地基上的建筑太相似了。其二，删除顺序公理的代价：球面几何里「线段 AB」有长短两段、「三角形」有内外之别但无全局的「同侧」，许多欧氏推理在这里失效——这不是球面几何的缺陷，而是它作为紧致空间的本性。其三，连续性在两边自动成立：罗氏几何需要它来保证直线无孔，球面因紧致而白送。

第二编 公理法的成熟：从第五公设到希尔伯特第10章·5　分歧的连锁效应：从一条公理到一批定理

一条公理之差，会沿推理链逐级放大。下面这张表把三种几何里同一个命题的三种命运并排，展示「公理如何决定性状」：

（双曲／椭圆公式取单位曲率。）连锁的机制值得拆开看——起点只有一处：平行方式。

由此得到本章最重要的方法论结论：几何的「样子」不是从现实里看出来的，而是从公理里推出来的。改一条公理，整套定理表就得重算——两千年前的几何学家把欧氏的定理当成「世界的真相」，而今我们知道，它们只是「平行公理取某个值」时的解。

第二编 公理法的成熟：从第五公设到希尔伯特第10章·6　埃尔朗根纲领：三种几何＝三个变换群

1872 年，23 岁的克莱因就任埃尔朗根大学教授，发表就职讲演《新几何研究的比较考察》——后世称《埃尔朗根纲领》。它给纷乱的几何世界一个新的统一视角：

每种几何对应一个变换群，每种几何研究的正是该群的不变量：

群的包含关系排出了几何的层级：刚体运动群 ⊂ 仿射群 ⊂ 射影群，因此欧氏几何的定理 ⊃ 仿射几何 ⊃ 射影几何——研究群越大，不变量越少，几何越「抽象」。非欧几何也在纲领中找到位置：罗氏与欧氏几何的区别，是两个互不包含的刚体运动群的区别。克莱因自己的克莱因圆盘模型，把罗氏几何的「运动群」实现为射影群中保持圆盘的一个子群——公理法与群论从此可以互译。

《埃尔朗根纲领》统治了此后半个世纪的几何观，直到黎曼度规几何（曲率在局部变化、超出单一大群）显出更大疆域。但作为「几何＝结构＋对称」的第一份完整宣言，它至今仍是把几何讲给非数学家听的标准起点。下一章把公理与群两条线合到一处：模型的算术形式。

第二编 公理法的成熟：从第五公设到希尔伯特第10章·7　本章小结：一张表看懂三个世界

第 10 章把三种几何从「三个孤立的世界」还原成「同一套公理的三种取值」。三张表收在这里，供随时对照。

表一：三种几何的身份证（第 1 节）——平行方式、角和、曲率、面积、相似形、圆周关系、标准模型七项并排。记忆钥匙：欧氏＝零曲率，双曲＝负曲率（角亏），椭圆＝正曲率（角盈）。

表二：五组公理的逐组对照（第 4 节）——绝对几何（I、II、III）三者共享；分岔只在第 I 组的细部（球面的对径点）与第 IV 组（平行）；顺序组在球面／椭圆处必须改造，连续组在紧致空间里自动满足。

表三：同一命题的三种命运（第 5 节）——内角和、勾股定理、相似形、面积上界、圆周公式、平行线距离。它示范了一条公理如何沿推理链放大为整批定理。

第二编 公理法的成熟：从第五公设到希尔伯特第11章·1　模型论语义：语言、结构、满足

「模型」是什么，第 2 节才定义；但要让这个念头站得住，先得把「语言」「结构」「满足」三个词讲清楚——它们是一阶逻辑的语法—语义骨架，也是第 12 章塔斯基系统的地基。

三个词的关系可以一句话道破：语言是空公式，结构是填写内容，满足是真假判定。塔斯基（Alfred Tarski, 1933）给出满足的严格归纳定义，第一次让「真」这个概念本身成为可以数学地讨论的对象——这一步在第 12 章会把几何推入一阶逻辑的版图。

：模型论语义把「公理」与「真理」彻底分开——公理是一串字符串，真理是字符串在某个结构里的取值。几何学两千年的问题「公理为真吗」，从此改写为两个更精确的问题：它有模型吗（相容吗）？它的模型都一样吗（范畴吗）？

第二编 公理法的成熟：从第五公设到希尔伯特第11章·2　模型的概念：公理体系的「标本」

「模型」一词在本书出现过多次，现在把它钉牢。直觉地说，公理体系是骨架，模型是骨架的一次「血肉化」——用别的已知对象去扮演原始概念，使公理逐条成真。

模型的三个基本用途，在第二编里都已各显身手：

第二编 公理法的成熟：从第五公设到希尔伯特第11章·3　圆盘模型的一瞥：交比与双曲距离

模型不只是「存在」——它把罗氏几何的全部概念翻译成欧氏可算的量。看庞加莱圆盘的两个核心公式，体会「翻译」的滋味：

距离公式里的量 (QA/QB)·(PB/PA) 正是第一编预告过的交比 (A,B;P,Q) 的倒数结构——射影几何的钥匙已在门上。克莱因模型同样如此：其距离由弦上的交比的对数给出，角度则需另加「辅助圆锥」修正；庞加莱模型保角，交比自动承担了双曲三角学的全部计算。两种模型在射影变换下互相翻译，正应了克莱因的身份：他是在研究射影几何时发现圆盘模型的。

运动群在此也现出真身：保持圆盘的正交圆弧变换构成罗氏几何的「刚体运动群」，它是射影群的一个子群（克莱因视角），也是复分析中单位圆盘的全纯自同构群（庞加莱视角）。同一个几何，射影、双曲、复分析三种语言都说得通——模型是话翻译器，也是思想的中转站。

第二编 公理法的成熟：从第五公设到希尔伯特第11章·4　范畴性与非标准模型

公理体系的「完备性」在希尔伯特那里有一个精确的几何说法——范畴性（categoricity）：任何两个满足全部公理的模型彼此同构。欧氏几何（含完备性公理）是范畴的：实数坐标平面是它唯一的「标本」，无论从分析造、从几何内部造，结果都同构。罗氏几何加上完备性公理同样范畴。

但范畴性是个娇贵的性质。塔斯基的一阶系统（第12章）删去了「完备性」的二阶表述，立刻出现非标准模型——满足全部公理却与标准实数模型不同构的怪标本。这不是缺陷，而是数理逻辑的深刻事实（勒文海姆–斯科伦现象）：一阶语言管不住「多大」，总有「胖」的或「瘦」的意外模型。范畴性依赖二阶公理，而二阶公理的逻辑性质微妙——这两难正是现代逻辑的入口之一。

第二编 公理法的成熟：从第五公设到希尔伯特第11章·5　本章小结：模型的账本

模型方法在第二编登场五次，每次干的是不同的活。收拢成一张账单：

账单的规律：模型每次出现，都是「用一个体系的确定性担保另一个体系的真理性」，或「用一个体系的自由性演示另一个体系的独立性」。它是公理法时代数学的通用货币——第三编的仿射模型、第四编的流形，都是这枚货币的后续发行。读懂了这张账单，就读懂了为什么现代数学家面对一个新体系时，第一句话总是：「造个模型看看。」

第二编 公理法的成熟：从第五公设到希尔伯特第12章·1　几何真理走向算术真理：归约链

把第二编的模型排成一条链，能看清「几何真理」的最终去向：

三条几何支流在「实数」处汇合，再顺流而下到达自然数——链的末端悬空。这既是十九世纪数学基础研究的终点，也是二十世纪的起点。悬空的末端后来由哥德尔定理裁决（有限方法无法自证相容），但「几何真理寄存在算术里」的大方向没有动摇：今天的数学把几何对象（流形、概型、上同调）一律构造在集合与数之上，本册第四编会亲眼看到这条约定如何运转。

值得强调的是归约链的方向感：每一节链条都是一次「用更可靠的东西担保更不清楚的东西」。古希腊的方向相反——欧多克索斯用几何量担保数；笛卡尔的方向开始反转——坐标把曲线变成方程；希尔伯特完成反转——直线上的点被实数彻底接管。反转能完成，靠的正是第二编苦心经营的两件工具：公理体系（把几何拆成可验证的命题清单）与模型（把清单翻译成代数）。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·2　从自然语言到形式语言：一阶语法

希尔伯特把几何说清楚了，但说的是「数学家的语言」——自然语言加一点符号，逻辑规则藏在头脑里。要让逻辑学家与机器接管，必须换一套没有歧义、可机械检查的语言。这就是一阶语言。

以一阶几何为例，符号表只需两个关系符号：三元关系 B(xyz)（「y 介于 x,z 之间」）与四元关系 xy ≅ zw（线段合同）。有意思的是，「三点共线」这样的几何概念不必再设符号，可以直接由原子公式拼出来：

从《几何原本》的「直线」「圆」这样的高阶对象，降到一阶语言里只剩「点」与两个关系——这一步「降维」是塔斯基系统的全部秘密。下一页把它形式化的成果亮出来。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·3　塔斯基语义：结构、满足、真

有了语言，还要有「真」的定义。塔斯基 1933 年的工作给出语义学的奠基性答案：真不是一句话固有的属性，而是「公式＋结构＋赋值」三者共同的结果。

「对象满足关系 R」中的含义由结构 M 自行指定（例如把二元关系 < 解释为实数的「小于」）。由此得到著名的T-模式：

左边是关于「语句」的陈述，右边是关于「世界」的陈述，句式同构。塔斯基要求：任何令人满意的真之定义，必须蕴涵所有这样的 T-模式。这条看似「废话」的要求，是形式语义学的宪法第一条。

把「真」定义清楚，第一个受益者是「相容」：现在「体系 Σ 相容」可以精确表述为「不存在公式 φ 使 Σ 同时推出 φ 与 ¬φ」，并存一条定理把它与模型挂钩——哥德尔完备性定理（1929）：Σ 相容 ⟺ Σ 有模型。语义与语法从此可以互相担保，这也让希尔伯特的「三问」有了严格出处。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·4　希尔伯特公理的一阶化与 V.2 的二阶性

希尔伯特的清单里有内容「越界」了——它们不只对点说话，也对集合说话。要让几何进入一阶逻辑，必须先处理这些越界的条文。

塔斯基的解法彻底：索性不引入「线」，也不引入「集合」。整套几何只用两种关系的「点」表达：

付出与收获：V.2 被删掉（它不能一阶化），代之以一条弱得多的「初等连续性」公理图式（下一节详列）；代价是失去范畴性（出现非标准模型，第 11 章「例 11.5」已见其影），收获是整套系统成为真正的一阶理论，落进哥德尔完备性／不完全性、可判定性这些定理的管辖范围。

几何公理法的这一「降维」，是它从哲学舞台走向数理逻辑舞台的门票。它同时解释了本书的结构安排：第 9 章讲希尔伯特（二阶、范畴、奠基），第 12 章讲塔斯基（一阶、可判定、机械化）——两座大厦面向两个不同的目标。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·5　塔斯基系统（上）：原始概念与顺序公理组

希尔伯特的公理还是「散文」——用自然语言写、逻辑推理规则没有明文化。1948 年起，塔斯基（1901–1983）与学生们把欧氏几何改写为一阶逻辑下的公理体系，让几何真正成为数理逻辑的研究对象。

塔斯基系统与希尔伯特系统的差异很有教益：塔斯基删去了连续性的一阶表述——「完备性」涉及「一切子集」，超出一阶语言的表述力，改用一条弱的连续公理（线段稠密）代替。代价是范畴性失去（存在非标准模型）；收获是系统落入了数理逻辑的管辖：塔斯基证明了这个一阶欧氏几何是可判定的——存在一个算法，对任何一阶几何命题自动判定真假（证明论意义上的「初等几何机械化」，1951）。

归约链至此贯通：「公理」从自明之理（第7章之前）变成任意假设（第8章）、再变成形式符号串（第9、11章）；「几何」从一门学问变成一族体系，最终以算术为家。第二编正门站着欧几里得，后门通向计算机——但归约之路还有两道关卡：希尔伯特纲领的命运与物理空间的裁决，留待本章末页。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·6　塔斯基系统（下）：合同公理组、维数、欧氏公理与连续性

记号照旧：B(xyz) 表示 y 介于 x,z 之间；xy ≅ zw 表示线段合同（即塔斯基原文的 Dxyzw，距离相等）。下列条目即塔斯基 1959 年《什么是初等几何》一文的公理 A4–A13（A1–A3 与帕施公理已见前页）。

合计：12 条公理 ＋ 1 条公理图式。图式之所以不是「一条公理」，因为它是一个无穷的公理族（每个一阶公式 φ, ψ 对应一条实例），逻辑上可整体把握，写下来却写不穷。下一页把两座大厦并排。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·7　两座公理大厦的对照表

希尔伯特 1899 与塔斯基 1959，相隔六十年，各建一座大厦。把它们逐层对照，几何公理法的两条modern路线一目了然：

三处最关键的分歧值得再点一遍：

两座大厦不是竞争关系，而是同一栋楼的剖面与立面：希尔伯特给出了「几何由什么构成」的完整清单，塔斯基给出了「这份清单能被逻辑怎样处理」的最优形式。下一页看后者的收获——一条出人意料的定理：几何的点，在一阶语言里竟然是「不可定义」的。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·8　不可定义性定理：隐形的大多数点

塔斯基系统的「经济」带来一个意外的发现。既然「线」「圆」「角」都只是 B 与 ≅ 造出的可定义集，自然要问：能反过来吗——能不能只用「介于」把「合同」定义出来，或只用「合同」把「介于」定义出来？答案都是「不能」。这便是本节的主角：不可定义性。

证明思路（Padoa 方法）：要证「≅ 不能由 B 定义」，只需造两个模型 M₁, M₂，使它们的点集与 B 关系完全相同，而 ≅ 关系不同。塔斯基的构造：取实平面上的全体点，M₁, M₂ 都把 B 解释为通常的「介于」，但 M₁ 的 ≅ 取通常的欧氏距离、M₂ 的 ≅ 取另一种「距离」。两者都是同一系统的模型，B 一致而 ≅ 不一致——于是任何只用 B 写出的公式在两个模型里真值相同，无法区分两种 ≅。≅ 因此不可由 B 定义。

第二个「不可定义」更震撼，也更反直觉：连「点」本身，在一阶语言里也无法逐个定义。

这不是技术缺陷，而是一阶逻辑的本质：语言是有限字母表造出的可数串，而几何的舞台是不可数的。语言永远比舞台稀薄。能被一句精确公式指认的点，犹如实数轴上稀疏的整数——绝大多数点默默存在，却写不进任何判据。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·9　初等几何完全可判定：量词消去

第 12 章走到这里，可以回答一个连希尔伯特也未必料到的问题：初等几何的命题，能不能用机器判定真假？塔斯基给出肯定答案——而且是他 1930 年代形式化计划的意外收获。

工具是量词消去（quantifier elimination）。关键事实：实数闭域的理论允许量词消去——任何一个一阶公式都等价于一个不含量词的公式（即若干「多项式等于零／大于零」的布尔组合）。把它用到几何：几何语句翻译成实数上的多项式语句，量词逐一消去，最后只剩多项式的符号判定，交给代数（求根、结式）即可完成。

实践注记：塔斯基的算法只证明「存在」，并不保证「快」——最坏情形是双指数级的时间代价，现实中的几何定理机器证明更依赖吴文俊的特征列方法（1977）与格罗布纳基。但理论意义无可替代：它第一次说清，初等几何是一块逻辑上「驯服」的领域，可以整体机器化；而更高层次的几何（流形、拓扑）则不然。这也正是第四编的伏笔——离开初等几何的疆界，驯服便告结束。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·10　几何为什么可以、算术为什么不行：与哥德尔对观

归约链的末端悬在自然数上。希尔伯特的对策是釜底抽薪：不用归约，直接自证。1920 年代他提出纲领：把全部数学形式化为符号系统，再用「有限方法」（不涉及无穷、直观可核查的组合推理）证明该系统自身相容。这要求的不是又一条归约链，而是一枚逻辑上的「永动机」——系统给自己开健康证明。

1931 年，25 岁的哥德尔给出两记重锤：

对几何的直接后果：几何公理体系的「完备」梦在算术处撞了天花板。塔斯基的可判定性（第12章前页）并不矛盾——一阶欧氏几何可判定，恰因为它弱到装不下自然数的全部算术；一旦允许对整数全称量化，不可判定性立即回来（群论的字问题、丢番图方程，先后中弹）。「几何可判定、算术不可判定」的分界线，画在系统表达力上。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·11　物理空间的对账：广义相对论与非欧几何

两千年前悬案的最后一句台词，要由物理学来说。黎曼留下的话——「物理空间的度量关系只能由经验决定」——等了一个甲子，等到爱因斯坦。

1907–1915 年，爱因斯坦构造广义相对论：引力不是力，而是物质与能量造成的时空弯曲。数学工具正是黎曼 1854 年准备好的：四维伪黎曼流形、度规张量、曲率。光线在太阳附近偏折（1919 年爱丁顿日食观测证实）、水星近日点进动、引力波——每一条实验证据都在说同一件事：我们住的空间不是欧氏的，只是曲率小到高斯的三角测量测不出来。当年高斯用光信号测布罗肯山、霍赫哈根、英舍尔斯堡三峰围成的三角形寻找角亏，误差内为零；广义相对论补齐了理论：光沿测地线走，测量的正是时空曲率。

于是「哪种几何是真的」这个问题获得了最终形态：数学几何无真假，物理几何由观测选择。欧氏几何没有失败——它是曲率为零的特例，是曲率很小时的极限近似，是所有情形下最便于计算的坐标系。非欧几何也没有「预言」了弯曲空间——它提供了描述弯曲空间的语言。数学与物理的关系，从此定型为「语言与经验的契约」：数学供给一切可能的几何，物理负责挑选，而挑选随时可以更新。

第二编 公理法的成熟：从第五公设到希尔伯特第12章·12　本章小结：公理法成熟了，然后呢

第二编走完，把「公理」这个词的履历整理成四行：

四行履历合起来的教训：每一次对「公理」的重新理解，都同时改写了「几何」的疆域。公理法成熟之后，几何学发生了什么？它没有消亡，反而迎来了史上最大的一次扩张——因为公理与模型一旦齐备，数学家就能自由地「立法＋造标本」，几何对象从此可以是一切满足关系网的结构。下一个巨大的助力来自代数：把变换写成矩阵，把公理体系算出来。第三编就从这里开始——从一把剪刀（截圆柱、截圆锥）剪出仿射与射影两门新几何。

第二编 公理法的成熟：从第五公设到希尔伯特编习题课（上）：公理与模型

本节习题对准第 9、11 两章的核心——公理清单的读写与模型的操作。每题只在纸上推演，不许翻图找依据。

第二编 公理法的成熟：从第五公设到希尔伯特编习题课（下）：从非欧到形式化

下半场对准第 7、8、10、12 章：两种新几何的推演与形式化的边界。

第二编 公理法的成熟：从第五公设到希尔伯特本编地图：从一条公理到一门方法论

读图：上半部是历史线（第7–9章，从怀疑到立法）；下半部是方法线（第10–12章，从比较到元数学）。两线在第9章拐弯——五组公理既是历史的终点，又是方法的起点。底部暗条是全编的技术结论：几何真理的归宿在算术，而算术的根基悬空——这个「悬空」不是缺陷，而是通往二十世纪数学的门。

第二编 公理法的成熟：从第五公设到希尔伯特本编小结：公理法成熟了什么

用五个「名词升级」收拢第二编的全部内容，每个升级都是一次不可逆的概念迁移：

五个升级共享一个方向：从对象到结构。欧几里得问「直线是什么」，希尔伯特问「直线必须满足什么关系」；前者把几何锚在直觉上，后者把几何锚在逻辑与代数上。数学史极少有这样的时刻——一个学科的全部基础概念在半个世纪里集体换血，而学科本身愈发强壮。第二编讲的就是这次换血。

第二编 公理法的成熟：从第五公设到希尔伯特思想卡：失败的证明是最好的教材

第五公设的两千年证明史，是一部由失败写成的成功之作。托勒密循环了，普罗克洛斯偷换了，伊本·海赛姆加塞了，萨凯里推到了门前又退了回去。每一次失败都精确地暴露一块逻辑盲区，每一块盲区都被下一位追问者钉在公理清单上。等到希尔伯特交卷时，那份清单上的每一条，都能在两千年的失败里找到出处。

把这张思想卡与第一编的对照着看：第一编说「知识可以被公理化地组织」，说的是公理法的理想；第二编补上后半句——公理的选择本身需要两千年，而这两千年不是弯路，是必经之路。理想加代价，才是完整的公理法。

第二编 公理法的成熟：从第五公设到希尔伯特挑战：亲手审一份公理清单

本编的方法不难，难的是敢对「显然」下手。五道题，全是真实历史情境的翻版：

第二编 公理法的成熟：从第五公设到希尔伯特实验：在克莱因圆盘里算双曲三角

用代码把圆盘模型跑起来：给定点与弦，验证双曲距离公式，并亲眼看「边界无穷远」。

import math

def klein_distance(A, B, P, Q):
    # A,B 盘内两点；P,Q 为弦 AB 的边界端点
    # 双曲距离 = 1/2 * ln[(QA/QB)*(PB/PA)]，长度为欧氏距离
    d = lambda X, Y: math.dist(X, Y)
    return 0.5 * math.log((d(P,A)/d(P,B)) * (d(Q,B)/d(Q,A)))

# 实验 2-A：靠近边界时距离发散
O = (0.0, 0.0)
for t in [0.5, 0.9, 0.99, 0.9999]:
    B = (t, 0.0)
    # 直径弦的端点 P=(-1,0), Q=(1,0)
    print('t =', t, ' 双曲距离 =', round(klein_distance(O, B, (-1,0), (1,0)), 6))

# 实验 2-B：三角形内角和的检验（庞加莱测角）
# 顶点 O=(0,0), A=(0.5,0), B=(0,0.5)；罗氏直线为与单位圆正交的圆弧
# 三角形在 O 为直角；用余弦定理验证角亏 > 0
import math
def hyp_dist_poincare(z1, z2):
    # 复数坐标的庞加莱圆盘距离
    num = abs(z1 - z2)
    den = abs(1 - z1 * z2.conjugate())
    return math.atanh(num / den) * 2

O, A, B = 0j, 0.5+0j, 0.5j
a = hyp_dist_poincare(B, A)   # 对边 AB
b = hyp_dist_poincare(O, B)
c = hyp_dist_poincare(O, A)
cosC = (math.cosh(b)*math.cosh(c) - math.cosh(a)) / (math.sinh(b)*math.sinh(c))
angO = math.degrees(math.acos(cosC))   # O 处角：双曲余弦定理
print('O 处角（应为 90 度，两半径正交且度规保角）:', round(angO, 6))
# 角亏推算：另两角 < 45 度，内角和 < 180

观察要点。① 实验 2-A 中，欧氏距离 t 匀速增长，双曲距离却按对数奔向无穷——「边界即无穷」从口号变成数值；② 实验 2-B 中双曲余弦定理给出 O 处的角，再算 A、B 两角即可得内角和小于两直角——萨凯里四十年推演的定理，如今是几行代码；③ 把顶点整体缩小一半（乘 0.5），角亏骤减——「局部欧氏」的极限行为当场可见。

第二编 公理法的成熟：从第五公设到希尔伯特格物札记：当几何遇上哲学——真理观的两次搬家

几何学的每一次基础危机，都是哲学史的一章。第一次搬家发生在古希腊：毕达哥拉斯学派「万物皆数」，不可公度（√2 无理）击碎了「数与形天然和谐」的信念；柏拉图把几何搬到理念世界，欧几里得《原本》是这次搬家的建筑学成果——几何成为「理念的秩序」在逻辑中的显影。第二编看到第二次搬家：非欧几何击碎了「欧氏空间＝必然空间」的信念，几何的真从「理念的必然」变成「体系的约定」。

两次搬家有一个共同结构：某个被默认为「必然」的东西，被证明只是「一种选择」。第一次是「数与形不可分」；第二次是「平行公理不可换」。而两次搬家后，数学不但没有萎缩，反而各自多出一整个新世界（无理数理论；非欧几何族）。这暗示一个耐人寻味的规律：数学的「必然性」每被剥夺一层，数学的自由与疆域就扩大一圈。

中国思想传统对这一幕有另一种回应方式。《周易》「穷则变，变则通」，庄子「物无非彼，物无非是」——站在罗氏几何与欧氏几何之间，几乎没有谁对谁错、只有「所待者」不同。吴文俊晚年反复强调中国古算「寓理于算」的机械化为几何定理证明开辟新路，其深意或正在此：不在直觉与逻辑之间站队，而在两种传统之间架桥。第二编的公理法与第一编的算法传统，至此完成了各自照亮对方的第一次握手。

第二编 公理法的成熟：从第五公设到希尔伯特速查：第二编的人物、公理与模型

自查三句：能默写普莱费尔公理及其两种替换吗？能说清「相容、独立、完备」各自的模型判据吗？能解释为什么「桌子椅子啤酒杯」不是玩笑而是立场吗？三句都点头，第二编合格。

第三编 变换的观点：仿射与射影第三编导引：一条截线，两种几何

前两编走的是「公理法」这条路：从《几何原本》的实体公理，到希尔伯特的隐定义。本编换一条路——变换法。它的出发点不是公理清单，而是一个动作：把图形挪动、拉伸、投影，看哪些性质在这些动作下保持不变。几何学由此获得全新的定义：一门学科，就是一种变换之下的不变量理论。

本编的入口小得出奇：一刀截圆柱。截面是椭圆——这与解析几何里「到两定点距离之和为定长」的椭圆，说的竟是同一个对象；把它们连起来的是丹德林球，两个内切球与截面的两个切点，恰是椭圆的两个焦点（第13章）。但同一刀还有更深的回响：改变截面的倾角与柱、锥的形状，截线随之变化，而所有「正交投影」的截线构成一族互相之间可以连续变形的图形——于是引出仿射变换与仿射几何（第14章）；把光源移到一点、让投影线成为射线束，截圆锥给出射影变换与射影几何（第15章）。

变换的观点在克莱因 1872 年的埃尔朗根纲领中登峰造极：一种几何＝一个变换群＋该群作用下的不变量。这个定义把欧氏、仿射、射影几何安排成层层包含的等级，也把高等代数中的欧氏空间（作为带内积的向量空间）与作为点空间的欧氏几何重新接通——后者的代数形式，正是可迁的群作用（第16章）。随后两章做「代数化」的收官：齐次坐标把射影平面变成可计算的代数对象（第17章），而圆锥曲线、对偶原理、以及罗氏与球面几何的圆盘模型，都在代数形式中获得统一的安放（第18章）。

读法提示：第13–15章是几何直观最密集的部分，随身带一支铅笔；第16–18章的代数逐渐加重，但每一次抽象都对应着一个能画出来的图。编末的两章把第三编与前两编缝合：仿射几何是《原本》去掉「度量」的骨架，射影几何是它再去掉「平行」的骨架——读到这里，前两编的所有内容都会换一副面孔重新出现。

第三编 变换的观点：仿射与射影第13章·1　一刀截圆柱：圆锥曲线的登场

椭圆、抛物线、双曲线在中学里是三个方程，在更古老的来源里是三个截面。发现这件事的是古希腊人：阿波罗尼奥斯（约公元前 262–190 年）的《圆锥曲线论》八卷，把平面截直圆锥所得的曲线系统研究了一遍，并给它们起了沿用至今的名字——截面与轴的夹角小于半顶角得椭圆（ἔλλειψις，「缺」），相等得抛物线（παραβολή，「恰」），大于得双曲线（ὑπερβολή，「过」）。这三个名字本义就是「不够、正好、过头」，对应面积比较中的三种情形。

《圆锥曲线论》的前四卷属于希腊几何的巅峰之作：从锥面的定义出发，纯综合地推出这三种曲线的全部基本性质——焦点准线性质、切线性质、共轭直径。阿波罗尼奥斯不用坐标、不用无穷远，仅靠辅助平面与辅助圆，把今天解析几何一页纸的内容写成几何的长卷。这份「不用工具的功力」，恰是第一编《原本》精神的延伸。

为什么要从截线开始重讲圆锥曲线？因为截线的观点自带一种变换的眼光：同一条锥面，换一个截面，就换一种曲线；曲线之间不是孤立的方程，而是同一对象在不同视角下的投影。这种「换个角度看同一件事」的习惯，正是本编全部内容的种子。

还差一步：截线观点与中学的「两定点距离之和」如何接通？这要等到十九世纪初的丹麦数学家丹德林——他用两个球，一刀切开两千年的间隔。下一页就来摆这套装置。

第三编 变换的观点：仿射与射影第13章·2　丹德林球：两个切点定两个焦点

装置如下。在圆锥内部上下各放一个球，让它们与锥面相切（各切于一个圆），并且同时与截面相切——截面上、下两侧各得一个切点，记作 F₁ 与 F₂。丹德林 1822 年指出：这两个切点就是截线的两个焦点。证明只需要一条公理式的观察：与同一球相切的诸线段等长。

取截线上任一点 P，过 P 作锥面的母线。这条母线与上球切于 S₁、与下球切于 S₂（两点都在同一条母线上）。切线长定理给出两条等式：PS₁ = PF₁（与上球的切线），PS₂ = PF₂（与下球的切线）。而母线夹在两个切圆之间的整段长度是常数——它不随 P 移动。于是

PF₁ + PF₂ = PS₁ + PS₂ = 常数。

这正是椭圆的「两定点距离之和」定义。注意证明的分工：锥面提供「到两球的切线」，截面把切线长「翻译」成焦距。几何对象没有动，动的只是视角——这种翻译术，第14章将升级成一门学问。

第三编 变换的观点：仿射与射影第13章·3　准线也在球上：截圆柱与截圆锥的谱系

丹德林的装置还能多给一份礼物：每半个锥面配一个「切圆平面」，它与截面的交线就是准线。理由同样只涉及切线长：设过 P 的母线交上切圆平面于 Q，则 PF₁ = PQ；再把 PQ 与 P 到准线的距离在斜截面内作一次三角比较（利用两平面交角为定角），得到 PQ = e·d(P, l)，其中比值 e 只依赖截面与轴的夹角——焦点—准线定义连同离心率一起从装置里掉出来。

椭圆、抛物线、双曲线由此获得统一的表述：e < 1、e = 1、e > 1。三个「方程」回到了同一个来源——一个锥面与一族平面。

李建华《射影几何入门》的开篇路线更进一步：从截圆柱出发。圆柱是「顶点在无穷远」的圆锥，斜截圆柱同样得椭圆，同样可放入一对丹德林球，且證明更简（两球与柱面的切圆互相平行）。这个看似保守的替换有深意：柱面带有一个天然的平移对称——沿母线平移柱面不变。正是这个对称，把截圆柱与「平行投影」绑在一起，成为仿射几何的入口（第14章）；而截锥面带的是「中心投影」，通往射影几何（第15章）。两种投影、两种几何，在最初的两个截面上就已各就各位。

本节要点：丹德林球把「截线的几何」与「解析几何的焦点定义」无缝焊接，而焊接的焊条是切线长定理——一个属于《原本》第三卷的古典工具。古典与现代之间从不需要一座新桥，需要的只是把桥摆对位置。

第三编 变换的观点：仿射与射影第13章·4　截线的家族相册：连续变形与「同族」的直觉

把截面绕一条固定直线连续旋转，截线随之连续变形：椭圆先拉长、再退化成抛物线（截面平行于一条母线的瞬间）、然后裂成双曲线。这个「家族相册」传递一个重要直觉：圆锥曲线不是三种孤立的对象，而是一个连续统的三个区域。区域的边界处发生的事（退化：切线、两条相交直线、两条平行直线），恰恰是射影几何要统一处理的素材——退化与非退化在投影下互相转化，唯有把「无穷远」请进来，这份统一才完整。

「连续变形」在当时只是直觉，到十九世纪末才被两条线索严格化：一是拓扑学（连续形变的研究），二是变换群（可逆变换的集合）。本编走第二条路——用「变换下不变」来给「同族」下定义，这比「连续变形」更有力：它不只是描述变化，还精确指出什么不变。椭圆变圆，变掉的是长短轴之比，不变的是「内接四边形对边交点共线」这类投影性质；这个「不变清单」的长短，就是一门几何的疆域。

第三编 变换的观点：仿射与射影第13章·5　从截圆柱到仿射变换：平行投影与单比

上一页把斜截线认成椭圆，用的动作是「沿轴方向压下来」。这一步的几何身份比它看起来要重——它是一条贯穿全编的基本操作：平行投影。把柱面看成由无数条母线排成的一束平行直线，斜截面上的每一点都恰好落在一条母线上；沿母线方向把这束平行线整体「倒」到垂直于轴的底平面上，就得到从斜截面到底圆的一个一一对应。

把这个动作提纯。设两个平面 π 与 π′，以及一条不平行于二者的方向 d。平行投影 P_d 把 π 上的点 X 送到过 X 沿方向 d 的直线与 π′ 的交点 X′。截圆柱正是这个操作的一个实例：底平面是 π、斜截面是 π′、母线方向是 d。三条性质可以逐一验证：

① 直线映为直线。取 π 上一条直线 l。过 l 与方向 d 可张成一个平面 Π（因 d 不平行于 π，Π 由 l 沿 d 平移扫出），凡始于 l 沿 d 的直线都躺在 Π 里，与 π′ 的交点自然落在 Π 与 π′ 的交线 l′ 上——一条直线。

② 平行的仍平行。设 l₁ ∥ l₂，则对应的两平面 Π₁,Π₂ 都由公共的两个方向（l 的方向与 d）张成，故互相平行；它们与同一平面 π′ 的交线 l₁′,l₂′ 也就平行。注意这一步没有假设 π′ ∥ π：即使两平面相交，平行线的影子依旧平行。

③ 共线三点的单比不变。取 l 上共线三点 A,B,C，把 l 用参数 t 线性标号（B 对应 t）。沿方向 d 找交点这件事，在平面 Π 内是一次「直线与定方向直线的交点」运算，它把 t 变成 t′ 的方式是仿射式的：t′ = p + q·t（q ≠ 0）。线性参数化保持比值，于是带号比 AB/BC 原样传到 A′B′/B′C′。

三条性质合起来，恰好是仿射变换的定义字段：把直线映为直线、保平行、保单比。平行投影于是成了仿射变换的具体样板；反过来，任何仿射变换都能分解成平行投影与相似变换的复合。第 14 章将把这份清单正式立为定义，本页只交待它的出身——它出生在截圆柱的那一刀里。

第三编 变换的观点：仿射与射影第13章·6　从截圆柱到仿射变换（续）：圆如何变成椭圆

把上页的对应算到底，看圆究竟怎样被拉成椭圆。取正圆柱，半径 r，轴竖直。选一个斜截面 π′，它与轴的夹角记作 θ（0 < θ ≤ 90°）。沿竖直母线把 π′ 投到水平底平面 π：截线上每点 X′ 落到底圆上同角度的点 X。这是一一对应，且竖直投影是平行投影，性质①②③全继承。

取底圆平面上的正交坐标：x 轴沿两平面的交线 π ∩ π′，y 轴在底平面内与之垂直。底圆方程为 x² + y² = r²。落在 x 轴上的那段（与交线重合）在投影下不动；垂直于 x 轴的方向则被拉伸。原因是一段沿 y 方向的长度 y，在斜截面上要爬一段高差来「到位」，实际长度变成 y/sinθ。于是斜截面里的坐标满足

x² + (y sinθ)² = r²，即 x²/r² + y²/(r/sinθ)² = 1。

这是一条椭圆：沿 x 轴的半轴 b = r，沿 y 轴的半轴 a = r/sinθ。两个退化端立刻对上：截面垂直轴（θ = 90°）时 a = r，椭圆缩回圆；截面越倾向母线（θ → 0），a 越大，椭圆越扁——扁到极限时截面平行于母线，截线退化为一条母线的「双重像」，即抛物线的先声。

离心率与焦距随之落地：c = √(a²−b²) = r·cotθ，e = c/a = cosθ。这个结果与第 117 页丹德林装置的结论完全吻合：装置的几何（两球心距 2rcotθ）与这里的代数（c = rcotθ）说的是同一件事。一条截线，两条独立的算法，同一个答案——这正是几何对象「实在」的证据。

本页的收束是一句可以带走的话：圆与椭圆的差别，仅仅是某个方向上的一个拉伸倍数。凡是只谈「直线、平行、比例」的圆性质，都自动成为椭圆的性质；凡是要量长度与角度的，都在拉伸中走样。这条分界线就是仿射几何的国境线，第 14 章将把它竖成界碑。

第三编 变换的观点：仿射与射影第13章·7　从截圆锥到射影变换：中心投影与丢线的补籍

把柱面换成锥面，投影线就不再互相平行，而从锥顶出发排成一束射线。相应的操作叫中心投影：固定一点 O（投影中心），把平面 π 上的点 X 送到射线 OX 与平面 π′ 的交点 X′。截圆锥正是它的样板：锥顶是中心，一叶截面映到另一叶截面。

中心投影保住的与丢掉的，和仿射投影形成鲜明对照：直线仍映为直线（过一条直线与中心 O 张成一个平面，它与 π′ 的交线便是像）；但平行性丢了——原来平行的两条线，投影后一般相交。更准确地说，它们交在「无穷远」处：过 O 作一条平行于这对直线的射线，它刺穿 π′ 的那一点，正是两条影线的交点。这个点叫消隐点（灭点），它只依赖方向，不依赖那对线具体在哪。

中心投影丢掉的还有更根本的东西：它与单比也不相容。共线三点的带号比在仿射投影下侥幸幸存，在中心投影下一般失败——越靠近中心的点被拉得越开。这不是缺陷，而是新几何的入口：射影几何要寻找的，是中心投影真正保住的那把尺。答案是交比（第 135 页起完整建立）：它是四点的函数，在中心投影下原样传递，是射影几何的度量。

最后补上那根「丢线」。中心投影并非处处有定义：射线 OX 若平行于 π′，就永远碰不到它——这些 X 恰好排在 π 内一条直线上（过 O 作平行于 π′ 的平面，与 π 的交线）。这条线的像「在无穷远」。补救的办法极其经济：为每个平面添上一条无穷远直线 l_∞，规定这条丢线的像就是 l_∞ 上的点。补上之后，中心投影变成处处有定义的一一对应，而消隐点也有了正式身份——它就是某个方向对应的无穷远点。

第三编 变换的观点：仿射与射影第13章·8　本章小结：装置、观点与一条双线

本章把三件事钉在一起：① 截线定义（阿波罗尼奥斯）——圆锥曲线的出生地；② 丹德林球（1822）——截线与焦点、准线、离心率定义的焊接点，工具只是切线长定理；③ 家族相册——连续变形的直觉，预告「变换下不变」的严格化。其中第③件是通往后两章的桥：下一章把「平行投影」变成一门几何，再下一章换成「中心投影」。

预习下一章：把「压缩」一般化——允许不同方向不同倍数的均匀拉伸、再加剪切，图形家族会扩大到什么程度？哪些性质在这族变换下全部幸存？这就是仿射几何的清单。

第三编 变换的观点：仿射与射影第14章·1　平行投影：从影子到变换

阳光下的影子是最古老的投影。太阳足够远，光线近似平行——平面图形投到另一平面上，形状改变：圆变椭圆、正方形变平行四边形、高度变宽度。但有些东西在影子中顽固地保持：直线的影子还是直线；平行线的影子还平行（当两平面不平行时也如此）；线段上定比的分点，影子仍在同一定比处。这批「幸存者」列成一个清单，就定义了一类变换。

仿射变换：平面上（或空间中）的到自身的一一变换，把直线映为直线、保持平行性、保持共线三点的单比（即 AB/BC 对共线三点 A,B,C 的带号比值）。平行投影的复合仍是这种变换；反过来，每个仿射变换都能写成若干平行投影与相似变换的复合。旋转、平移、反射、均匀伸缩、剪切、不同方向的压缩——全是仿射变换。

坐标观点一句话说清：仿射变换恰是可逆线性变换＋平移，即形如 x ↦ Ax + b（A 可逆方阵）。线性代数从此接管几何——这正是李建华书第 1 章的路线：仿射变换、仿射坐标系、用矩阵写几何。

第三编 变换的观点：仿射与射影第14章·2　仿射几何的不变量清单

把「仿射变换下保持」与「不保持」两栏并列，边界立刻清楚：

清单的解读法：右栏的全部「阵亡者」都是度量概念——依赖长度与角度。仿射几何就是《原本》撕掉量角器与直尺刻度之后剩下的结构：它只谈「点、线、平行、比例」，不谈「多长、多陡」。回头看第一编：I.1–I.34 里大量命题其实只用到仿射层的结构（如 I.35–I.45 的拼补命题，本质只说「面积相等」，而「面积」在仿射意义下只有比值有意义）。《原本》内部原来埋着层次——这个发现属于十九世纪，而把它讲清楚的语言正是变换群（第16章）。

仿射几何也自带坐标系：任取两条相交直线为轴、任取单位，平面上每点得一对坐标 (x,y)；仿射变换在新旧坐标系下都是线性表达式。笛卡尔的解析几何在这里完成了一次推广——坐标系不必直角、单位不必一致，只要保留「平行与单比」，代数机器照常运转。

第三编 变换的观点：仿射与射影第14章·3　圆的家族：椭圆的仿射出生证

现在兑现第 98 页的预告。圆在仿射变换下的像是什么？单位圆 x²+y²=1 经可逆线性变换 x ↦ Ax，像的方程是 x^T(AA^T)⁻¹x=1——一个正定二次型，恰是椭圆的方程。反过来，任何椭圆都能被某个仿射变换压回圆。于是获得一张出生证：

椭圆就是仿射意义下的圆。

这句话立刻给出椭圆性质的白捡证明。例如：圆的平行弦中点共线（过圆心的直径），仿射变换保持平行与中点，故椭圆的平行弦中点也共线（过中心的共轭直径）；又如圆外切四边形对角线交点与切点弦的共点关系，全部平移到椭圆。凡是不涉及长度与角度的圆性质，都能免费搬进椭圆——搬运用不动脑筋，因为「圆与椭圆的差别」本身就在清单的阵亡栏里。

同法处理双曲线与抛物线：双曲线是「差为定值」的曲线，在仿射变换下仍映为双曲线；但抛物线自成一类——它与无穷远直线相切这件事（下一章讲清「相切于无穷远」的准确含义）在任何仿射变换下不变。二次曲线按「与无穷远直线的交点个数」分三类：椭圆交于一对共轭虚点、抛物线切于一点、双曲线交于两实点。分类的刀口已经伸向无穷远——下一章的舞台就此亮灯。

第三编 变换的观点：仿射与射影第14章·4　空间的仿射几何与《原本》的重新分层

空间仿射几何与平面完全平行：变换 x ↦ Ax+b（A 为 3×3 可逆阵），不变量清单照抄。新的收获是把立体命题「仿射化」：体积之比不变、平行六面体与一般平行六面体的界限消失、任意四面体的重心命题可以搬到正四面体去证。立体几何的「先变简单再证」手法，比平面版更常救命。

此时可以给前三编的内容做一次总分层。把《原本》的命题按「需要哪些结构才能陈述」分档：

分层不是贬低《原本》，而是看清它的建筑：同一部书里住着三种几何。希尔伯特公理体系与这个分层严丝合缝——去掉度量公理组 IV 得仿射公理体系，再去掉平行公理得射影公理体系。公理法（第二编）与变换法（本编）说的是同一个结构世界的两种方言：公理清单从上往下加结构，变换群从大到小收窄。

第三编 变换的观点：仿射与射影第14章·5　仿射变换的代数细看：矩阵、单比与重心坐标

取定仿射坐标系，仿射变换 T: x ↦ Ax+b 的全部几何行为都编码在 (A,b) 里。三个要点：

① 单比的代数形式。共线三点 P=(1−t)A+tB，则像点 P′=(1−t)A′+tB′——线性组合的系数原样保留，这就是「单比不变」的代数本体。② 复合＝矩阵乘法。T₂∘T₁ 对应 (A₂A₁, A₂b₁+b₂)；齐次坐标（第17章）将把这对数压缩成一个矩阵，复合就是纯乘法。③ 行列式＝面积缩放倍数。|det A| 是所有图形面积的公共缩放比，与图形无关——例 14.1 的观察现在有了一般答案。

本页收束第14章：仿射变换＝线性代数中的可逆线性映射＋平移；仿射几何＝这份映射下的不变量理论。下一个台阶只需改变一个字：把「平行投影」换成「中心投影」——平行变相交，无穷远进场。

第三编 变换的观点：仿射与射影第14章·6　本章小结：仿射世界的边界

本章四件套：① 平行投影引出仿射变换（直线映直线、保平行、保单比）；② 不变量清单划出仿射与度量的国境线；③ 椭圆＝仿射的圆，白捡证明法成立；④ 《原本》命题的射影—仿射—度量三层分层。工具箱里躺着矩阵与行列式——几何问题自此可以放心交给代数。

下一章预告：光源从无穷远搬回原点，影子改由一个点发出。平行的世界开始交汇，无穷远点将获得身份证。

第三编 变换的观点：仿射与射影第15章·1　中心投影：平行线交会之处

把光源从无穷远搬回一点：过定点 O（投影中心）向平面 π 上的图形作射线，交到另一平面 π′ 上——这就是中心投影。画家与制图师早就用它（透视法），但数学家立刻发现它有一个令人不安的性质：与 π′ 平行的那些投射线在 π′ 上没有像点——影子里丢了一条直线（灭线）；反之 π′ 上也有一条直线在 π 里没有原像。透视会「丢线」，因为平行线在有限远处不相交。

补救的办法有一个古老的名字：无穷远点。给每个方向配一个无穷远点，让每一族平行线都在那里交会；全部无穷远点凑成一条无穷远直线。添上它们之后，中心投影不再丢任何点——两条平面的像逐点对应，完美无缺。丢线不是投影的缺陷，而是「点的户籍登记表」不全。

中心投影与平行投影的合成称为射影变换。它不保持平行（平行线可以映成相交线），不保持单比，却仍把直线映成直线。一门比仿射几何更瘦、更古老的结构——射影几何——就此登场。

第三编 变换的观点：仿射与射影第15章·2　射影平面的规矩：点、线与接合

添了无穷远点的平面叫射影平面。它的公理骨架只有两条接合性质：任两点恰定一直线；任两直线恰交于一点（第二编的平行公理在这里被「无限远」吸收，不再有例外）。注意对称之美：点与线的地位完全对等——这条对称将在对偶原理中开花。

射影几何的不变量清单比仿射更短：直线映直线、共线与共点、以及一个精巧的量——交比。共线四点 A,B,C,D 的交比定义为两个单比之比：

(AB;CD) = (AC/BC) ÷ (AD/BD)

单比在射影变换下阵亡，四个单比按同一比例变形，比值却幸存——交比是射影几何里「最后的比例」，一切共线四点的射影性质都由它表态。特别地，(AB;CD) = −1 的四点组叫调和点列，它在无穷远点参与时退化为中点关系：C 为 AB 中点 ⟺ (AB;C,P_∞) = −1。中点、平行、对称这些仿射概念，全部能改写成「与无穷远点的交比」——仿射几何被射影几何吞下，作为「给定无穷远直线」的特例。

第三编 变换的观点：仿射与射影第15章·3　笛沙格定理：空间中的完整证明

射影几何有两条比公理更深、比交比更早的定理，它们把「接合」的全部内容装进两个句子。第一条是笛沙格（G. Desargues，1639）：若两个三角形的对应顶点连线交于一点，则对应边的交点共线。确切地，设 △ABC 与 △A′B′C′ 的三条连线 AA′,BB′,CC′ 交于一点 O（称两三角形从点透视），则三对对应边的交点

X = AB ∩ A′B′，　Y = BC ∩ B′C′，　Z = CA ∩ C′A′

必共线（称两三角形从线透视），这条线叫笛沙格轴。这条定理的证法有一种「一步登天」的漂亮：把图形搬到三维空间去证。

证明（空间法）。让两个三角形落在两个不同的平面里：△ABC 在平面 π、△A′B′C′ 在平面 π′，两平面交于直线 l。全部奥妙是一句话：每对对应边都共面，因而必相交。以 AB 与 A′B′ 为例——A′ 落在直线 OA 上、B′ 落在直线 OB 上，于是整条 A′B′ 都落在由 O,A,B 张成的平面 Π_AB 内；而 AB 当然也在这个平面内。两条共面的直线相交，交点记作 X。再查 X 的户籍：X ∈ AB ⊂ π 且 X ∈ A′B′ ⊂ π′，故 X ∈ π ∩ π′ = l。同一推理给出 Y ∈ l、Z ∈ l：三个交点全落在同一条直线 l 上。证毕。

三点提醒。其一，若某对对应边平行（交点跑到无穷远），结论依然成立——在射影平面里「平行」就是「交于无穷远」，笛沙格轴此时可以是一条过无穷远点的直线。其二，证明里唯一动用三维的步骤是「共面两直线必相交」，这正是射影平面比欧氏平面多出来的那份「完备」。其三，定理是自对偶的：把「点」与「线」互换，命题变成自己的逆——所以笛沙格定理的逆定理不必另证（第 139 页讲对偶原理时收紧这句）。

第三编 变换的观点：仿射与射影第15章·4　平面里的笛沙格：非笛沙格平面

上页的证明有一个耐人寻味的特征：它必须离开平面。如果坚持所有对象都躺在一张平面里，只用平面接合公理（两点定一线、两线交一点、每线至少三点）来推，笛沙格定理还成立吗？答案是不能——这正是希尔伯特 1899 年元数学研究中最惊人的发现之一。

要证明「不能」，得造一个反例：一个满足全部平面接合公理、却让笛沙格定理失效的平面。最简单的例子来自 Moulton（1902）：取通常的欧氏平面，把直线重新定义——斜率为非负的直线保持原样，斜率为负的直线在跨过 x 轴处「折断」，下半段的斜率取为原来的两倍（上半段不变）。

逐条核对：任两点仍恰定一条这种「折线」（它的两段由原斜率确定）；任意两条这种直线仍恰交于一点（折线在两半平面内各是一直线，交点要么两段同侧唯一，要么落在轴上唯一）。接合公理全部满足。然而在 Moulton 平面里，笛沙格定理会失效：可以摆出两个从点透视的三角形，而它们的对应边交点并不共线——因为「对应边共面必相交」这条三维捷径在此没有对应物。

这条线索把两编焊在一起：第二编说「公理系统的独立性要靠模型来证」，这里就给出了一个活生生的模型——Moulton 平面证明「笛沙格不是平面接合的定理」。进一步的分层由帕普斯定理接续：帕普斯定理 ⟹ 笛沙格定理（Hessenberg），而帕普斯等价于坐标域可交换（乘法交换律）。于是公理—坐标—代数三者的对应表是：平面接合 ⊂ 笛沙格（斜域，结合律）⊂ 帕普斯（域，交换律）。几何最底层的「接合」，居然对应着代数里最基本的运算律——这是二十世纪「几何即代数」的最早一批证据。

第三编 变换的观点：仿射与射影第15章·5　交比：定义与四种表述

第 130 页把交比作为「射影几何最后的比例」请上了台，却只给了一个算式。这一页把它正式定义清楚，并给出四种互相等价的表述——四种说法各有用处：第一种讲清它「是什么」，第二种让它「算得动」，第三种让它「证得快」，第四种显示它在退化情形下的自然行为。

(A,B;C,D) = (AC / BC) ÷ (AD / BD) = (AC·BD) / (BC·AD)

「有向」二字是要害：线段带号，点的次序立刻有了代数后果。正因如此，交换 A 与 B 会把交比变成它的倒数——下一节细算。

(a,b;c,d) = (c−a)(d−b) / [(c−b)(d−a)]

把有向线段换成坐标差，两行即可互推。这个公式让交比「算得动」。

(A,B;C,D) = [A,C]·[B,D] / ([B,C]·[A,D])

这个形式的全部好处在第 135 页显形：射影变换在齐次坐标下就是某可逆矩阵 M 的乘法，而 [MA,MC] = det(M)·[A,C]——分子分母各出两个 det(M)，恰好抵消。交比的射影不变性，在这个表述里是「一行代数」。

(A,B;C,P_∞) = −1 ⟺ C 是 AB 的中点。

证明一行：设 A = 0, B = 1，中点即 C = 1/2，代入表述二得 (0,1;1/2,∞) = (1/2)(1) / [(−1/2)(1)] = −1。中点本是度量概念（「等距」），却在射影语言里化成一个纯比例 −1——这正是仿射世界「住进」射影世界的入口。

定义有了、公式有了、退化情形也交代了。三个问题随之冒头——换一换四点的次序，交比会变成什么？投影之下它凭什么不变？它何时等于 −1？这正是本页之后三节的内容。

第三编 变换的观点：仿射与射影第15章·6　交比的 24 值定理

四点 A,B,C,D 排成一行，共有 4! = 24 种次序，于是最多有 24 个交比。但交比只取其中 6 个值——这个「24 变 6」是射影几何里最漂亮的小算术之一。

为什么会塌下来？因为有一类「换序」根本不改变交比。

验证第一式：(B,A;D,C) = (BD/AD) ÷ (BC/AC) = (BD·AC)/(AD·BC)，恰是 (A,B;C,D) 本身。这四个置换连同恒等构成一个四阶群 V₄，而 24 ÷ 4 = 6——这就是「6」的来源。

六个值怎么排？把第一点固定为 A，其余三点 B,C,D 作全排列，恰好得到六个代表：

② 的验证（① 同理）。用坐标 a = 0, b = 1（平移与缩放下交比不变），记 c, d 为 C,D 的坐标，则

λ = c(d−1) / [(c−1)d]，　1 − λ = [(c−1)d − c(d−1)] / [(c−1)d] = (d−c) / [(1−c)d]

而由定义 (A,C;B,D) = (AB/CB) ÷ (AD/CD) = [d−c] / [(1−c)d]——与 1−λ 分毫不差。

下一节证明这六个数在投影下原样保留——那才是交比能称为「射影不变量」的正式资格。

第三编 变换的观点：仿射与射影第15章·7　射影不变性：交比的完整证明

本页要证的是本章的立身之本：中心投影保持交比；从而由「射影变换＝中心投影之积」，交比在一切射影变换下不变。给出两个证明——一个几何的（讲清「为什么」），一个代数的（快到一行）。

证明（几何法 · 面积与正弦）。记 ∠XOY 为射线 OX 到 OY 的有向角。对 l 上任意两点 X,Y，三角形 OXY 的面积有两副面孔：一方面它等于 (1/2)·|OX|·|OY|·sin∠XOY；另一方面（以 XY 为底）它等于 (1/2)·XY·h，其中 h 是 O 到 l 的距离。两式相等并取有向版本，得

XY / XZ = sin∠XOY / sin∠XOZ

（两式中 (1/2)h 与 |OX| 各自相约）。把它代入交比：

(A,B;C,D) = [sin∠AOC / sin∠AOD] ÷ [sin∠BOC / sin∠BOD] = (sin∠AOC·sin∠BOD) / (sin∠AOD·sin∠BOC)

关键在于：右边的四个角只依赖从 O 出发的四条射线，与直线 l 选在哪里无关。既然 A′ 等落在那四条同样的射线上（它们是这些射线与 l′ 的交点），把上式里的 l 换成 l′，右端一模一样。故两者相等。证毕。

证明（代数法 · 一行行列式）。用表述三。直线的射影变换来自可逆 2×2 矩阵 M：点 A ↦ MA（视点为列向量）。行列式对每个变量线性，故

[MA, MC] = det(M) · [A, C]。

于是交比 (A,B;C,D) = [A,C][B,D] / ([B,C][A,D]) 的分子、分母各含两个行列式因子，公共的 det(M)² 上下相消，交比原样不变。 ∎

两个证明各说了一半真话。几何证明揭示：不变性的来源是「四条定射线」——投影不过是换了「截面」，真正的对象是过 O 的那束直线。交比本质上是线束的交比，直线上的交比只是它的一次截取。代数证明则揭示：凡写成「成对行列式之比」的量，自动在可逆线性作用下不变——交比正是这类量里最简单的一个。

三问已答两问。剩下的那一问——交比何时等于 −1——是调和点列，它把交比从「度量」正式接进古典几何的主干。

第三编 变换的观点：仿射与射影第15章·8　调和点列与完整四角形

六个值里，−1 最特殊：它「自成一组」，反复用两条基本变换都回到自己（1/(−1) = −1，1−(−1) = 2，而 2 与 1/2 仍在同一循环里）。取这个值的四点组，古典几何给它一个专名。