第二讲：希腊几何的基础

回顾与引言

大家好！在上一讲中，我们探讨了勾股定理的悠久历史，以及它如何揭示了数与形之间的深刻联系。我们还谈到了 $\sqrt{2}$ 这类无理数的发现，是如何对毕达哥拉斯学派”万物皆数”（此处的”数”指有理数）的信念造成了巨大冲击，并一度导致了古希腊数学中”数”与”形”的分离。

这场”数学危机”在某种程度上促使古希腊数学家们更加倚重几何学。因为几何图形可以直观地表示那些无法用简单整数比来精确描述的”量”，几何论证也似乎能提供更为普适和稳固的基础。正是在这样的背景下，古希腊几何学取得了辉煌的成就，其严谨的逻辑体系和深刻的几何洞察，塑造了西方科学思维的根基。今天，我们将一同走进古希腊几何的殿堂，探索其核心内容和不朽遗产。

欧几里得《几何原本》：公理化方法与演绎逻辑

谈到希腊几何，就不能不提欧几里得（Euclid，约公元前 325 年 — 约公元前 265 年）及其不朽巨著《几何原本》（Elements）。

《几何原本》的核心价值： 这部著作的伟大之处并不仅仅在于它收集和整理了当时已知的几何知识，更在于它建立了一个前所未有的、严谨的公理化演绎体系。

基本构成要素：

定义（Definitions）： 对基本术语（如点、线、面、圆等）给出明确的描述。
公设（Postulates）： 是一些不证自明的基本几何命题。其中，著名的第五公设（平行公设）尤为引人注目，并引发了后世两千多年的研究和争议。
公理（Common Notions）： 是一些普遍适用的、不证自明的逻辑真理。例如，“等于同量的量彼此相等”。
命题（Propositions）： 即定理，是从公设、公理和已被证明的命题推导出来的几何结论。

演绎的威力： 《几何原本》从少数几个基本假设出发，通过一步步无懈可击的逻辑推理，构建起宏伟的几何理论体系。这种公理化方法是数学乃至整个科学思想的重大进步。

正多面体：从柏拉图哲学到开普勒的天文学模型

在希腊几何中，正多面体（Regular Polyhedra），也常被称为柏拉图多面体（Platonic Solids），占有特殊的地位。

五种正多面体： 通过几何约束可以证明，宇宙中只存在五种正多面体：正四面体、正六面体（立方体）、正八面体、正十二面体和正二十面体。

柏拉图的宇宙观： 哲学家柏拉图（Plato）在其著作《蒂迈欧篇》（Timaeus）中，将这五种完美的几何体与宇宙的四种基本元素（火、土、气、水）以及宇宙本身联系起来，赋予了它们深刻的哲学意义。

对后世天文学的影响：开普勒的模型： 16 世纪，天文学家开普勒（Kepler）提出了一个著名的宇宙模型，试图用这五种正多面体来解释当时已知的六大行星轨道之间的距离关系。他设想了一个”俄罗斯套娃”式的宇宙结构：将五种正多面体按特定顺序依次内切、外接于六个代表行星轨道的球面。

圆规直尺作图：技艺、极限与最终的解答

“圆规直尺作图”是古希腊几何研究的一个核心组成部分。

三大古典作图难题：

化圆为方（Squaring the circle）： 作一个正方形，使其面积等于一个已知圆的面积。
三等分任意角（Trisecting an arbitrary angle）： 将任意给定角三等分。
倍立方（Doubling the cube）： 作一个立方体，使其体积等于一个已知立方体体积的两倍（即作出长度为 $\sqrt[3]{2}$ 的边长）。

千年挑战与最终解决： 直到 19 世纪，随着代数理论的发展，它们才最终被证明在严格的尺规作图限制下是不可能完成的。

Wantzel 的证明（1837）： 证明了”倍立方”和”三等分任意角”的不可能性。
Lindemann 的证明（1882）： 通过证明 $\pi$ 是一个超越数（即 $\pi$ 不是任何整系数代数方程的根），证明了”化圆为方”的不可能性。

圆锥曲线：从纯粹几何到牛顿的行星轨道

古希腊人将圆锥曲线定义为用一个平面去切割圆锥面所得到的截线，从而得到椭圆、抛物线和双曲线。

天文学上的辉煌应用：

开普勒的发现（1609）： 行星并非在正圆轨道上运行，而是在以太阳为一个焦点的椭圆轨道上运行。
牛顿的解释（1687）： 在一个遵循平方反比定律的引力场中，天体的运行轨道必然是圆锥曲线的一种（椭圆、抛物线或双曲线）。

对更高阶曲线的探索

尽管缺少系统的代数工具，古希腊数学家仍然研究了许多比圆锥曲线更复杂的曲线。

迪奥克勒斯蔓叶线（The Cissoid of Diocles，约公元前 100 年）： 为解决”倍立方”问题而构造的一条三次曲线。
佩尔修斯螺线（The Spiric Sections of Perseus，约公元前 150 年）： 通过平面切割环面得到的四次曲线。
托勒密本轮（The Epicycles of Ptolemy）： 一种”轮上轮”的复杂曲线构造方法，用以解释行星的视运动。

留给同学们探索的问题

在欧几里得的《几何原本》中，定义、公设、公理和命题各自扮演着什么角色？为什么这个公理化演绎体系在数学乃至科学史上具有如此重要的意义？
从几何上解释为什么正多面体只有五种。任选其中一种（如正十二面体或正二十面体），描述其关键的数学性质（例如，它有多少个面、多少条边、多少个顶点？），并讨论它在希腊哲学（如柏拉图的《蒂迈欧篇》）或后世数学思想（如开普勒的模型）中的意义。
请定义古希腊传统中的”尺规作图法”有哪些基本规则。然后，从三大作图难题（化圆为方、三等分任意角、倍立方）中任选其一，阐述其内容和历史重要性。最后，请展示并解释一个虽然复杂但可实现的尺规作图过程（例如，作正五边形）。
在牛顿之后，我们知道行星的轨迹是椭圆。一个更深刻的问题是：为什么？请观看关于”Feynman’s Lost Lecture”的视频，并尝试用几何方法（而非微积分）来理解，为何平方反比定律会导致椭圆轨道。
古希腊天文学家，特别是托勒密，是在怎样的观测数据基础上，发展出复杂的本轮 — 均轮模型的？他们是如何利用这些模型来预测行星位置的？