阿波罗尼奥斯（Ἀπολλώνιος / Apollonius of Perga）

「伟大几何学家」——以一部《圆锥曲线论》把圆锥曲线研究推到古代世界的天花板，三曲线的现代名称由他定名，其成果沉睡 1800 年后被开普勒与牛顿唤醒，成为天体力学的几何骨架。

一、生平与时代背景

阿波罗尼奥斯约公元前 262 年生于小亚细亚南岸的佩尔格（Perga，潘菲利亚，今土耳其安塔利亚省穆尔蒂纳），当时该城是希腊化世界的文化中心之一，供奉自然女神阿尔忒弥斯。青年时他前往亚历山大城，在欧几里得后继者的门下学习，后来也在那里执教。他是希腊化时代（亚历山大继业者诸国）全盛期的学者，与阿基米德（前 287—前 212）、埃拉托色尼（约前 276—前 194）大致同时而略晚。

他的生平细节几乎全部来自《圆锥曲线论》各卷的序言。他曾到访帕加马（Pergamum，今土耳其贝尔加马）——那里建有堪比亚历山大的大学与图书馆——并结识了帕加马的欧德摩斯（Eudemus of Pergamum，注意不要与写《几何学史》的罗得岛的欧德摩斯混淆）以及阿塔罗斯（Attalus，多数学者认为即帕加马国王阿塔罗斯一世）。《圆锥曲线论》第二卷的修订版就是由他的儿子（也叫阿波罗尼奥斯）从亚历山大送到帕加马交给欧德摩斯的；序言还提到他在以弗所把几何学家菲洛尼德斯（Philonides）引荐给欧德摩斯。他约于公元前 190 年卒于亚历山大城。

需要注意，"阿波罗尼奥斯"是当时常见的名字，史料中至少有：罗德岛的阿波罗尼奥斯（诗人，卡利马科斯的学生、埃拉托色尼的老师）、特拉勒斯的阿波罗尼奥斯（雕塑家）、提亚纳的阿波罗尼奥斯（新毕达哥拉斯派哲人）等，需严加区分，不可混淆。

二、学术生涯年表

三、核心成果（逐条技术解析）

1. 《圆锥曲线论》：定义、命名与基本性质

问题背景：圆锥曲线（平面截圆锥所得曲线）此前由梅内克缪斯（Menaechmus，约前 4 世纪中叶）发现，欧几里得、阿里斯泰俄斯（Aristaeus）已有专论，但体系零散，且多从直角/锐角/钝角三种圆锥分别得到。

关键思想：阿波罗尼奥斯首次统一地从同一个（任意斜）圆锥出发，用不同倾角的平面截得三种曲线，并以截线所满足的"特征关系"（symptoma）为其命名。

精确表述：取圆锥的一条直径为参考线，过曲线上一点作平行于某切线的线段（纵标线 ordinate）。记直径上截得的线段为 $x$、纵标线长为 $y$，则三种曲线满足： - 抛物线：$y^2 = px$（"正好等于"——παραβολή，parabole，"应用/比拟"）； - 椭圆：$y^2 = px - \frac{p}{d}x^2$（"亏缺"——ἔλλειψις，elleipsis）； - 双曲线：$y^2 = px + \frac{p}{d}x^2$（"过剩"——ὑπερβολή，hyperbole）。

这三个名称（parabola/ellipse/hyperbola，中译抛物线/椭圆/双曲线）即由阿波罗尼奥斯定名，沿用至今。

与前人关系：他在前四卷坦言许多基本结果欧几里得、阿里斯泰俄斯已知，但自己"更完整、更一般地"处理了它们；命名与统一处理是其独创。

局限性：他的"坐标"是依附于曲线本身的直径与纵标，没有现代直角坐标系，也没有负数概念，故不能像笛卡尔那样用统一方程研究任意曲线。

2. 第三卷：三线与四线轨迹（new & crucial）

问题背景：到三条或四条定直线的距离之比满足给定条件的点的轨迹，是古希腊几何的经典难题（"三线/四线轨迹问题"）。

关键思想：阿波罗尼奥斯在第三卷中自豪地宣称，其中"最多也最漂亮的定理是新的"，正是这些新定理使他意识到——欧几里得并未完成三线四线轨迹的综合（synthesis），只完成了其中一小部分且不成功；没有他发现的附加定理，该轨迹的综合不可能完成。

精确表述（现代视角）：到四条定直线的距离满足 $d_1 d_3 : d_2 d_4 = \text{常数}$ 的点的轨迹是一条圆锥曲线；三线轨迹是四线轨迹的退化情形。这一结果后来被笛卡尔（《几何学》1637）当作检验其解析几何威力的标杆问题——笛卡尔正是用坐标法重新解决了阿波罗尼奥斯的四线轨迹。

与前人关系：此问题可追溯至欧几里得（据说他已部分处理），但完整的圆锥曲线解答属于阿波罗尼奥斯；它直接启发了 17 世纪解析几何的诞生。

3. 第五至七卷：法线、渐屈线（曲率中心）——最具原创性的部分

问题背景：从一点向圆锥曲线能作多少条法线（即最长/最短线段）？这是古代几何最艰深的问题之一。

关键思想：在第五卷中，阿波罗尼奥斯把法线视为从某点到曲线的最长或最短线段，系统讨论了从不同位置的点可作的法线数目，并给出了"分界点"的确定。

精确表述：他的命题等价于求圆锥曲线的渐屈线（evolute）——即曲率中心的轨迹。希思（Heath）评价第五卷"是现存各卷中最卓越的一卷……几乎可以直接推出三种圆锥曲线渐屈线的笛卡尔方程"，并称其"几乎完全原创，是真正的几何绝技"。

与前人关系：这是《圆锥曲线论》最具原创性的部分，远超前人；其深度直到 17 世纪微分几何兴起后才被真正超越。

4. 其他几何著作：阿波罗尼奥斯圆、《切触》等

问题背景：几何作图问题的系统化。

关键思想：除《圆锥曲线论》外，他还有至少六部著作（仅存书名与帕普斯的概述，大部分失传）。

精确表述： - 《切触》（Tangencies）：解决"作一圆与三个给定对象（点、直线或圆）相切"的问题——特例"与三给定圆相切的圆"即著名的阿波罗尼奥斯圆问题（后世有无数推广与解法）。这比欧几里得《原本》第三卷的作图（过三点作圆、作三直线切线）更进一步。 - 《截线成比例》（Cutting of a ratio，两卷）：唯一有阿拉伯译本传世的次要著作，讨论在给定直线上截取满足比例条件的线段。 - 其余《截定面积》《论确定截段》《平面轨迹》《论斜向作图》仅余帕普斯转述；其中《平面轨迹》《论斜向作图》据近代研究（Hogendijk 1991）在 10 世纪伊斯兰几何学家中其实有阿拉伯文痕迹。 - 失传著作还包括：比较同球内接正十二面体与正二十面体（许普西克勒斯引）、论圆柱螺旋线、论无理量（普罗克洛斯引）、以及《速算》（Okytokion，优托克修斯引，其中给出比阿基米德 $223/71 < \pi < 22/7$ 更优的近似——具体值失传，是否真更优存疑）。

5. 应用：聚火镜与日晷、天文学

• 《论聚火镜》（On the Burning Mirror）：他证明平行光不会被球面镜聚焦到一点（前人误信），并讨论抛物面镜的聚焦性质——这是抛物线焦点光学性质的早期应用（抛物线的显式"焦点"概念在同时代的狄俄克勒斯《论聚火镜》与后世帕普斯著作中更明确）。
• 半圆日晷（hemicyclium）：把时刻线刻在圆锥截面上以提高精度。
• 天文学：托勒密在《至大论》中称阿波罗尼奥斯引入了偏心圆（eccentric）与本轮（epicycle）模型来解释行星视运动。现代研究认为本轮理论其实早于阿波罗尼奥斯，但他运用其高超几何技巧做出了实质贡献，尤其是研究行星"留"(stationary points)——顺行逆行转换点——的几何条件。

四、代表著作与文献

• 《圆锥曲线论》（Conica，八卷）：代表作。第 I–IV 卷有希腊文传世；第 V–VII 卷仅存阿拉伯文译本（9 世纪）；第 VIII 卷全佚。全书含 387 个命题，现代标准译本为希思（Heath 1961）与 Fried/Unguru（2001）等。
• 《截线成比例》（Cutting of a ratio）：阿拉伯本传世。
• 《论聚火镜》《切触》等：仅余残篇或后人转述。

五、师承、学派与同时代交往

• 师承：亚历山大城欧几里得后继者的门生；属亚历山大数学传统。
• 学派归属：无哲学学派归属，是纯几何学家。
• 同时代交往：
• 萨摩斯的科农、亚历山大多西修斯——与阿基米德的通信圈重叠（阿基米德亦寄成果给这几位）。
• 帕加马的欧德摩斯、阿塔罗斯一世——题献与赞助人。
• 埃拉托色尼：同代人，埃拉托色尼的老师之一罗德岛的阿波罗尼奥斯（诗人）恰与他同名，需区分。
• 阿基米德：前一代巨匠，阿波罗尼奥斯在其著作中处理过阿基米德也触及的问题（如 $\pi$ 近似）。

六、争议、公案与历史评价

• 常见误传（需纠正基线）：基线称阿波罗尼奥斯"证明了圆锥曲线的焦点—准线性质"。实际上，"焦点—准线"（directrix）定义作为轨迹，是公元 4 世纪的帕普斯（Pappus）在《数学汇编》中首次明确陈述并证明的；抛物线的显式焦点也主要见于狄俄克勒斯与帕普斯。阿波罗尼奥斯在《圆锥曲线论》中研究的是椭圆/双曲线的两个焦点及焦点弦、切线等性质，但没有提出"准线"概念，也未给出焦点—准线统一定义。把焦点—准线性质归于阿波罗尼奥斯是流传甚广的混淆。
• "解析几何先驱"的分寸：他确实使用了类似坐标的参考系（直径+纵标线），希思称其"实质接近坐标几何"；但他没有独立的坐标轴、没有负数、也没有用方程研究一般曲线，故更准确的说法是"几何代数/坐标思想的先驱"，对笛卡尔有重要启发，但不等同于解析几何。
• 《圆锥曲线论》的阅读难度：希思指出，原书极难读，原因是命题繁多（387 个）、希腊人常把一般命题的特例分开证明、且不用字母标记点来简化陈述。
• 历史评价：被称为 "The Great Geometer"（伟大几何学家）。其著作在古代即被奉为经典，经伊斯兰世界保存了 V–VII 卷；文艺复兴后重新出版，直接成为开普勒行星轨道定律与牛顿《原理》几何证明的知识背景。

七、身后影响与学术谱系

• 圆锥曲线 → 天体力学：1800 年后，开普勒发现行星轨道是椭圆（以太阳为一焦点），牛顿证明在平方反比引力下圆锥曲线是质点的一般轨道——阿波罗尼奥斯的几何理论由此从纯思辨变成物理世界的骨架。
• → 解析几何：笛卡尔（1637）用坐标法重解阿波罗尼奥斯的四线轨迹问题，是解析几何的奠基性应用；费马也从阿波罗尼奥斯出发发展坐标几何。
• → 微分几何：第五卷的法线/渐屈线研究是曲率理论的远古源头。
• → 近现代几何：阿波罗尼奥斯圆问题在 19 世纪被推广为阿波罗尼奥斯圆族、反演几何的基本对象。
• 学术传承链：阿波罗尼奥斯 → 帕普斯（整理并补焦点-准线）→ 伊斯兰数学家（保存与注释，如塔比·伊本·库拉译 V–VII 卷）→ 文艺复兴译本 → 开普勒/笛卡尔/牛顿。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Apollonius of Perga：圣安德鲁斯大学权威传记，本档案主要出处。
• Dictionary of Scientific Biography — Apollonius (PDF)：科学史权威条目（MacTutor 托管）。
• Wikipedia: Apollonius of Perga：交叉核对此人生平与著作流传。
• Wikipedia: Conic section — History：核对焦点-准线性质的归属（帕普斯）。
• Britannica: Apollonius of Perga：百科条目交叉核对。
• T. L. Heath, Apollonius of Perga: Treatise on Conic Sections (Cambridge, 1896; Dover 重印)：圆锥曲线论的标准英文译注。
• M. N. Fried & S. Unguru, Apollonius of Perga's Conica: Text, Context, Subtext (Leiden, 2001)：现代学术研究，强调希腊几何的内在逻辑。