梅涅劳斯（Μενέλαος / Menelaus of Alexandria）

希腊化时代晚期的几何学家与天文学家，第一次把「球面上的大圆弧」当作直线的自然类比，用一部《球面学》开创了球面三角学。

一、生平与时代背景

关于梅涅劳斯的生平，可信史料极少，几乎全部来自他人著作中的零星提及。现代学界通常将他的生卒年估为约公元 70—130 年（MacTutor 主说），也有文献将卒年延至约 140 年。其出生地被推定为埃及的亚历山大城，但这只是「可能」：托勒密与普罗克洛斯都称他为「亚历山大城的梅涅劳斯」，说明他与该城关系密切，然而他有记录可查的天文观测却是在罗马完成的。

最确凿的一条信史来自托勒密《天文学大成》：托勒密记录梅涅劳斯于公元 98 年 1 月 14 日在罗马做过观测，其中包括月球掩食天蝎座β星（心宿一）的天象。这说明至少在 98 年前后，梅涅劳斯身处罗马。另一条旁证出自普鲁塔克的《论月面》（De Facie in Orbe Lunae），书中描写了梅涅劳斯与卢基乌斯（Lucius）的一场对话，讨论「反射角等于入射角」这条几何光学（反射光学，catoptrics）命题；卢基乌斯说「当着您的面反驳一条作为反射光学基础的数学命题，我感到羞愧」。这场对话被设定在罗马，时间应在公元 75 年之后相当一段时间。由此学界推断：梅涅劳斯年轻时可能生于并居于亚历山大城，后来移居罗马。

他活跃的时代正值罗马帝国前期（弗拉维王朝至图拉真—哈德良时期），亚历山大城仍是地中海世界的学术中心，托勒密稍后也在此工作。球面几何的发展直接服务于天文学：要计算天体在天球上的位置，就必须处理球面上由大圆弧围成的图形，而此前希帕恰斯、狄奥多西（Theodosius）等人的工作尚未把这一工具系统化。梅涅劳斯正是在这一缺口上作出了关键推进。

除《球面学》外，10 世纪一份阿拉伯数学家名录（常被认为源自伊本·纳迪姆《书目》传统）还记录了他的其他著作：《球面命题书》（即《球面学》）、《论不同物体的重量与分布之知识》（力学，已失传）、三卷本《几何原理》（由塔比特·伊本·库拉译为阿拉伯文，已失传）、《三角形之书》（希腊文与阿拉伯文皆失传，仅有阿拉伯文残片被发现）。这些旁证表明他是一位兴趣横跨几何、天文与力学的学者，但其成就绝大部分未能以原貌传世。

二、学术生涯年表

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

1. 球面三角形的定义与《球面学》第一卷：把平面几何搬到球面上

问题背景：在球面上，「直线」的对应物应是大圆（过球心的平面与球面的交线），但前人往往混用平行小圆（如纬圈），导致天文计算不统一。关键思想：梅涅劳斯在《球面学》卷首首次给出球面三角形的定义——「由大圆弧所围成的球面部分……这些弧总小于半圆」，从而像欧几里得处理平面三角形那样系统处理球面三角形。精确表述：他规定边为大圆弧、且每边小于半圆的封闭图形为球面三角形，并建立起一套与《原本》平行的命题体系。与前人的关系：他刻意避免欧几里得常用的归谬法（reductio ad absurdum），对许多本可直接类比平面情形的定理给出了不同的直接证法；有学者（Heath）评价其处理在某些方面比欧几里得对应的平面情形「更完整」。局限性：他的体系依赖几何直观，缺乏后世三角符号，且因希腊原文失传、仅靠阿拉伯译本传世，原貌难以完全复原。

2. 球面版梅涅劳斯定理（《球面学》第三卷首命题）

问题背景：平面三角形的横截线定理在梅涅劳斯之前已为人知——若一条直线分别交三角形三边（或其延长线）于 $P,Q,R$，则 $\frac{BP}{PC}\cdot\frac{CQ}{QA}\cdot\frac{AR}{RB}=1$（用有向线段记为 $-1$）；反之，若该乘积关系成立，则三点共线。关键思想：梅涅劳斯把它推广到球面，用大圆弧代替直线段，用弧的正弦代替长度。精确表述：球面上，若一大圆分别交球面三角形三边（大圆弧）$BC,CA,AB$ 于 $P,Q,R$，则

$$\frac{\sin BP}{\sin PC}\cdot\frac{\sin CQ}{\sin QA}\cdot\frac{\sin AR}{\sin RB}=1.$$

这是《球面学》第三卷的第一条命题，也是今日所称「球面梅涅劳斯定理」。与前人的关系：平面情形早于梅涅劳斯，球面推广是他的原创，且成为整个球面三角计算的基石——伊斯兰天文学家（如比鲁尼、纳西尔丁·图西）正是以此为出发点发展出完整的球面三角学。局限性：梅涅劳斯的证明是纯几何的，依赖图形构造，不如后世用三角函数推导那样简洁。

3. 《球面学》第二卷：球面几何在天文学中的应用

问题背景：需要把球面几何结果用于计算天体的升落、昼夜长短、方位等天文量。关键思想：第二卷大体沿用狄奥多西《球面学》中的命题，但给出了更优、更清晰的证明。与前人的关系：狄奥多西（约公元前 2 世纪）已写过同名著作，梅涅劳斯并非重复而是改进与重组，使几何工具真正能为天文计算所用。局限性：卷二原创性相对较低，主要价值在证明的精炼。

4. 失传著作中的几何贡献：对欧几里得命题的直接证明

普罗克洛斯在其《〈几何原本〉评注》中转引了梅涅劳斯的一个结果——对《原本》中「若两三角形两边对应相等，但第一个底边更大，则其夹角也更大」这一定理给出了一个不依赖归谬法的直接证明。这与梅涅劳斯在《球面学》中一贯回避归谬法的风格一致（学界推测，存疑：此证明可能出自其失传的《几何原理》或《三角形之书》）。此外，阿拉伯文献称他的《几何原理》收录了阿尔希塔斯（Archytas）倍立方问题的解法；保罗·塔内里（Paul Tannery）据此猜测梅涅劳斯曾讨论过一条「双曲率曲线」，可能即后世所谓维维亚尼曲线，但 Bulmer-Thomas 指出这「是一个诱人的猜想，却无法以现有证据证明」，故标为存疑。

5. 力学与比重研究（已失传）

若干阿拉伯作者记载梅涅劳斯写过一部力学著作，研究阿基米德讨论过的天平以及他自己设计的天平，特别关注比重与合金分析。这些内容仅见于转述，无原文存世，其具体成果无法核验（存疑）。

四、代表著作与文献

• 《球面学》(Sphaerica，三卷)：梅涅劳斯唯一传世的著作，希腊文原本已佚，靠阿拉伯语译本及评注传世。卷一建立球面三角形几何，卷二应用于天文，卷三含球面三角与梅涅劳斯定理。阿拉伯世界有大量译本与评注（如图西、亚兹迪的评注），但彼此差异很大，给原貌复原造成困难。
• 《几何原理》(Elements of Geometry，三卷，已失传)：据阿拉伯名录，由塔比特·伊本·库拉译为阿拉伯文；可能含阿尔希塔斯倍立方解法。
• 《三角形之书》(Book on the Triangle，已失传)：阿拉伯译本残片有发现，内容不详。
• 《论不同物体的重量与分布之知识》(已失传)：力学、比重与合金分析。

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

梅涅劳斯的师承无明确记载。可考的交往线索只有两条：(1) 托勒密在《天文学大成》中记录其观测，说明他的工作为后世所引用；(2) 普鲁塔克《论月面》中他与卢基乌斯对话，涉及反射光学。他与稍晚的托勒密同属希腊化天文学传统，上承希帕恰斯、狄奥多西的球面几何与弦表工作，下启托勒密与伊斯兰天文学家。其「亚历山大城人」的称谓来自帕普斯与普罗克洛斯的记述。

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

• 生卒年与出生地均无确证：出生于亚历山大城、约公元 70 年、卒于约 130 年，都是基于间接线索的学界共识性估计，并非确证；亦有将其卒年定为约 140 年者。本文在年表中均标注「约」或「存疑」。
• 著作原貌之争：《球面学》仅靠阿拉伯译本传世，各译本差异显著，部分内容可能经评注者增改，「梅涅劳斯原本到底什么样」至今难有定论。
• 维维亚尼曲线归属为猜想：塔内里认为梅涅劳斯讨论过后世所谓维维亚尼曲线，Bulmer-Thomas 明确指出无法证明，属学界有争议的推测，不应当作事实。
• 历史评价：他被公认为球面三角学的奠基人；Heath 称其《球面学》处理在某些方面比欧几里得平面情形更完整。但其力学与部分几何贡献因著作失传而无法确评。

七、身后影响与学术谱系

梅涅劳斯的《球面学》在希腊世界影响有限（希腊文失传），却通过阿拉伯译本深刻塑造了伊斯兰数学与天文学。9—10 世纪起，塔比特·伊本·库拉等将其译为阿拉伯文；比鲁尼、纳西尔丁·图西（Nasir al-Din al-Tusi）、亚兹迪等为之作评注并发展其方法，球面梅涅劳斯定理成为解球面三角形的核心工具。这些成果后来又经阿拉伯—拉丁翻译运动传回欧洲，汇入近代三角学。月球上有以他命名的环形山（Crater Menelaus）与月溪（Rimae Menelaus）。

八、延伸阅读与权威来源

• MacTutor: Menelaus of Alexandria：圣安德鲁斯大学数学史档案，生平与著作的权威英文综述。
• MacTutor: Menelaus's theorem：平面梅涅劳斯定理的精确陈述。
• Dictionary of Scientific Biography: Menelaus（I. Bulmer-Thomas）：DSB 条目，含失传著作的讨论。
• Biographical Encyclopedia of Astronomers: Menelaus：天文学角度的传记。
• T. L. Heath, A History of Greek Mathematics (2 vols., Oxford, 1921)：经典希腊数学史，对《球面学》有专章评述。
• O. Neugebauer, A History of Ancient Mathematical Astronomy (New York, 1975)：从天文计算角度讨论梅涅劳斯球面三角。