帕普斯（Πάππος / Pappus of Alexandria）
希腊数学落幕之际的集大成者，用一部《数学汇编》为后世保存了大量已失传的古典成果；他自己证明的两条定理——射影几何的「帕普斯定理」与旋转体重心的「帕普斯—古尔丁定理」——分别开启了近代射影几何与积分学的先声。
一、生平与时代背景
帕普斯是希腊晚期（罗马帝国治下）亚历山大城的数学家，生平几乎无考，但他的活动年代有一个难得确凿的锚点。早期文献对他的年代给出过相互矛盾的说法：10 世纪的《苏达辞书》(Suda) 称他与亚历山大城的西翁（活动于 379—395 年）同时；而西翁的一份年表在传抄中被插入了「戴克里先（284—305 年在位）时帕普斯著书」的注记。两者不可能皆对，且《苏达辞书》素以不准确著称，故学者一度倾向于将他放在 284—305 年。
后来 A. Rome 证明，从帕普斯为托勒密《天文学大成》所作的评注中可推出，他于公元 320 年 10 月 18 日在亚历山大城观测到一次日食，从而把这部评注的写作确定在 320 年。由此现代学界把他的活跃期定在约 290—350 年，《苏达辞书》和旧年表的两种说法都被否定。
除这一年代锚点外，所知甚少：他生于并似乎终生居于亚历山大城；把著作献给 Hermodorus（据信是他的儿子）、Pandrosion 和 Megethion（余皆不详）；提到一位也是哲学家的朋友 Hierius；普罗克洛斯的记载说他在亚历山大城执掌过一个学派。
他所处的时代，希腊数学的黄金时代早已过去，原创性工作趋于枯竭，学术活动转向保存、整理与评注。《数学汇编》正是这一「白银时代」的典型产物——它本身原创性不算高，但凭借对前人成果的系统汇总与精辟评注，成为我们了解希腊几何最重要、有时甚至是唯一的资料来源。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约公元 290 年 | 出生于亚历山大城 |
| 公元 320 年 10 月 18 日 | 在亚历山大城观测到日食，据此确定其《大成》评注写作年代 |
| 约公元 320 年 | 撰写托勒密《天文学大成》评注（仅卷五、卷六存世） |
| 约公元 340 年（或更早至 325 年） | 完成八卷《数学汇编》(Synagoge / Collection) |
| 约公元 300—350 年 | 撰写欧几里得《原本》评注、《已知数》评注（已失传或仅存残片） |
| 约公元 300—350 年 | 撰写地理学著作（《苏达辞书》有载，已失传；摩西·霍伦据之改写） |
| 约公元 350 年 | 逝世于亚历山大城 |
三、核心成果（逐条技术解析）
1. 《数学汇编》——希腊几何的百科式宝库
问题背景：许多重要的希腊数学著作在帕普斯时代已开始散佚，需要一部手册把古典几何「复活」并串联起来。关键思想：八卷《汇编》覆盖了当时几何的几乎全部领域，但它是一部供读者配合原典使用的「手册/导读」，而非取代原典的百科全书；每卷有独立引言，常附珍贵的历史说明，尤其是在其他来源不易获得的地方。精确内容：卷一（算术）已佚；卷二残存部分讨论阿波罗尼奥斯的大数记法（以「万」myriad = $10^4$ 为幂基）；卷三分四部分——两比例中项、算术/几何/调和中项的构造、取自 Erycinus（其书已佚）的几何悖论、五种正多面体内接于球；卷四论曲线性质（阿基米德螺线、希比亚斯的割圆曲线）及三等分角方法，并把几何问题分为「平面」（直线与圆可解）、「立体」（需用圆锥曲线）、「线性」（需用更复杂曲线）三类；卷五论等周问题与蜂房；卷六、卷七评介他人著作；卷八论力学。与前人的关系：汇总了泰奥多西乌斯、奥托吕科斯、阿里斯塔克、欧几里得、阿波罗尼奥斯、阿里斯泰乌斯、埃拉托色尼等的成果，是许多失传著作的唯一信息源。局限性：整体原创性不高，部分卷质量参差（如卷三中项构造被后世学者指出有混乱）。
2. 帕普斯六边形定理——射影几何的基石
问题背景：在《汇编》卷七讨论「分析的宝库」时，帕普斯给出一组引理，其中一条成为后世射影几何的基本定理。精确陈述（帕普斯定理）：设 $A,B,C$ 三点在一条直线上，$a,b,c$ 三点在另一条直线上，则三组对边的交点——$Ab$ 与 $aB$、$Ac$ 与 $aC$、$Bc$ 与 $bC$——共线（这条直线称为帕普斯线）。与前人的关系：这是纯粹属于帕普斯的结果。局限性：他是在具体构形中陈述并证明，并未抽象出「射影变换」「关联关系」等一般概念；直到 17 世纪笛沙格、19 世纪彭赛列与施泰纳才认识到其作为射影几何基本定理的地位。它是现代射影几何的基础定理之一（希尔伯特证明，帕普斯定理等价于乘法交换律）。
3. 帕普斯—古尔丁定理——旋转体体积的重心原理
问题背景：需要计算由平面图形绕轴旋转而成的立体体积。精确陈述（《汇编》卷七证明）：一平面图形绕其所在平面内一条不穿过它的轴旋转所得旋转体的体积，等于该图形的面积乘以其重心所经过的圆周长。 即 $V = A \cdot 2\pi d$，其中 $d$ 为重心到轴的距离（更一般地，$V=A\times s$，$s$ 为重心轨迹长）。与前人的关系：这条定理如今以「古尔丁定理」闻名（Guldin 于 1640 年发表），但帕普斯早在 4 世纪就已证明。Bulmer-Thomas 专门讨论过古尔丁是否知道帕普斯的结果（学界有争议），不过优先权显然属于帕普斯，故今多称「帕普斯—古尔丁定理」。局限性：帕普斯的证明是几何式的，缺乏极限/积分的一般语言，但其思想是积分学的先声。
4. 等周问题与「蜜蜂的智慧」（卷五）
问题背景：在周长（或表面积）给定的条件下，哪种图形面积（或体积）最大。精确成果：帕普斯比较等周长的正多边形，证明「边数越多面积越大，圆最大」；又证明等表面积的立体中球体积最大，且边数越多的正多面体体积越大（这些结果归功于 Zenodorus）；他还讨论了阿基米德发现的 13 种半正多面体（阿基米德立体）。著名的是卷五开头的「蜂房」讨论：帕普斯指出蜜蜂「知道六边形比正方形和三角形能在相同材料下装更多蜂蜜」，并由此引出上述等周定理的更广泛研究。这一段是数学史上最著名的科普片段之一（MacTutor 专有《Pappus on the wisdom of bees》页面）。
5. 「分析的宝库」与分析—综合方法论（卷七）
问题背景：在给出命题之前如何找到证明思路。关键思想：帕普斯在卷七系统阐述了分析 (analysis) 与综合 (synthesis) 两种方法，并列出构成「分析的宝库」(Treasury of Analysis) 的 33 部著作（包括欧几里得《已知数》《推论集》、阿波罗尼奥斯的多部、阿里斯泰乌斯《立体轨迹》、埃拉托色尼《论中项》等）。精确表述（他对分析的定义）：「在分析中，我们假设所寻求者已经成立，从它出发追寻其前因，步步回溯，直到撞上某个已知或属于第一原理的东西；在综合中则反其道而行，把分析中最后得到的当作已完成，按自然顺序连接前因，最终抵达所求的构造。」他还区分分析的两类——理论性（求真）与问题性（求作），并讨论了「判定」(diorismos)，即预先说明问题何时、如何、有几解。与前人的关系：分析—综合的实践可追溯至希腊数学早期，但帕普斯给了最清晰的方法论表述，影响了后世（包括笛卡尔的解析几何方法论）。局限性：他描述的是希腊几何解题的既有范式，并非全新发明。
四、代表著作与文献
- 《数学汇编》(Συναγωγή / Synagoge，拉丁名 Collection)：八卷，约成于 340 年，帕普斯的代表作与后世研究希腊几何的基本资料。卷一佚，卷二残，余较完整。1588 年首次印刷出版。
- 托勒密《天文学大成》评注：仅卷五、卷六存世（希腊文），有迹象表明原评注覆盖全部十三卷（卷一、三、四有残迹或被他人转引）。Neugebauer 评价其「平庸而浮夸」，且有若干错误，质量远不如《汇编》。
- 欧几里得《原本》评注：普罗克洛斯与欧托基乌斯均提及；卷十评注的一部分可能有阿拉伯译本传世，但风格与《汇编》差异大，是否为帕普斯所写存疑。
- 欧几里得《已知数》(Data) 评注：据 Marinus 称已写，全文佚。
- 《地理学》(Geography)：《苏达辞书》有载，已佚；5 世纪摩西·霍伦（Moses of Khoren）的著作据称大量基于此书。
- 其他：可能写过音乐与流体静力学著作；有一种测液仪器被归于他。
五、师承、学派与同时代交往
帕普斯的师承无明确记载。他在著作中献给儿子 Hermodorus 及 Pandrosion、Megethion，并提到哲学家朋友 Hierius；普罗克洛斯说他在亚历山大城主持学派。学术上，他系统继承并整理了从欧几里得、阿波罗尼奥斯、阿基米德到托勒密的整个希腊几何传统，其《汇编》成为连接古代与后世的桥梁。他的评注对象（托勒密、欧几里得）表明他与亚历山大城的注释学派同属一个传统。后世的普罗克洛斯、欧托基乌斯、马林努斯（Marinus）都引用过他的工作。
六、争议、公案与历史评价
- 年代之争已尘埃落定：《苏达辞书》（称与西翁同时，4 世纪末）与旧年表插入（称戴克里先时，3 世纪末）两种说法皆被否定；A. Rome 据 320 年日食确定的 290—350 年说现已为学界共识。
- 古尔丁定理优先权：定理的优先权属于帕普斯（4 世纪），古尔丁 1640 年的独立发表是否知晓帕普斯结果，学界仍有争议；今通称为「帕普斯—古尔丁定理」以承认双方。
- 《汇编》部分内容质量参差：如卷三的中项构造被指混乱、《大成》评注被 Neugebauer 评为「平庸且有误」；但整体历史价值极高。
- 阿拉伯文《原本》卷十评注归属存疑：风格与《汇编》迥异，是否确为帕普斯手笔未能定论。
- 历史评价：Heath 称《汇编》「显然意在复兴古典希腊几何，几乎覆盖了整个领域……是希腊几何研究中极有历史价值的著作」；他被公认为「最后一位伟大的希腊几何学家」。
七、身后影响与学术谱系
- 知识保存：在希腊数学衰落、大量著作散佚之际，《汇编》为后世保存了阿波罗尼奥斯、阿里斯泰乌斯、Eratosthenes、Erycinus、Zenodorus 等许多人的成果与书名，是研究希腊数学史不可替代的资料库。
- 射影几何：帕普斯定理被 17 世纪的笛沙格、19 世纪的彭赛列重新发现并奉为基本定理，直接开启了射影几何这门学科；希尔伯特在《几何基础》中证明它等价于数系的乘法交换律。
- 积分学前兆：帕普斯—古尔丁定理（体积=面积×重心轨迹）与等周研究，预示了后来的重心、积分与变分思想，被开普勒、卡瓦列里、古尔丁等近代先驱使用。
- 方法论：卷七的分析—综合论述影响了笛卡尔（其《方法论》与解析几何可视为对希腊分析传统的代数化复兴）。
八、延伸阅读与权威来源
- MacTutor: Pappus of Alexandria：圣安德鲁斯大学数学史档案，生平与著作的权威综述。
- Dictionary of Scientific Biography: Pappus（I. Bulmer-Thomas）：DSB 经典条目。
- I. Bulmer-Thomas, Selections Illustrating the History of Greek Mathematics, vol. II (London, 1941)：含《汇编》重要段落的英译。
- T. L. Heath, A History of Greek Mathematics, vol. II (Oxford, 1921)：对《汇编》有详细评述。
- MacTutor: Pappus on analysis and synthesis in geometry：卷七分析—综合段落原文英译。
- MacTutor: Pappus on the wisdom of bees：卷五蜂房与等周段落。
- I. Bulmer-Thomas, "Guldin's theorem—or Pappus's?", Isis 75 (1984), 348–352：优先权问题的专门讨论。
- Encyclopaedia Britannica: Pappus of Alexandria：权威百科条目。