海伦（Ἥρων / Heron of Alexandria）

古代世界最杰出的应用数学家与机械师——以"海伦公式"闻名，把几何变成了可直接用于测量与工程的算法手册，还造出了人类第一台蒸汽驱动的旋转装置；但他究竟有多"原创"、哪些书真出自他手，至今仍是文献学难题。

一、生平与时代背景

海伦（又译希罗，Hero）生活在罗马统治下的亚历山大城，是一位重要的几何学家与机械技师。"海伦"在当时是常见名字，这给史料甄别带来了第一层困难：哪些"海伦"指的是这位数学家，哪些是同名他人，需要仔细辨析。

更大的困难是定年。学界长期有两派：一派认为他生活在约公元前 150 年（依据是他的著作不引用阿基米德之后的任何作品）；另一派认为他生活在约公元 250 年（依据是一条意在证明他晚于托勒密、而帕普斯又引用他的论证）。后来证明这两种论证都站不住脚。第三种意见认为他与罗马农学家科卢梅拉（Columella，约公元 62 年著书）同时代——科卢梅拉书中的平面图形测量公式与海伦一致。1938 年，诺伊格鲍尔（Neugebauer）在海伦的一部著作中发现他提到一次"新近发生的日食"，据其描述可比对为公元 62 年 3 月 13 日 23 时发生在亚历山大的日食，从而把海伦的活跃期锁定在公元 1 世纪中叶。这一发现奠定了今本定年：约公元 10 年生、约公元 75 年卒。

从他的著作看，他很可能在亚历山大的缪斯宫（Museum）任教——这些著作读起来像是他讲授数学、物理、气体力学和机械学课程的讲义，有些是成型教材，有些似乎还是未定稿的课堂笔记。

二、学术生涯年表

生平几乎无载，下表主要依据著作内容与定年证据重建。

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

1. 海伦公式——已知三边求三角形面积

问题背景：给定三角形三边长 $a,b,c$，能否不求高就直接算出面积？

关键思想：在《度量论》第一卷命题 8 中证明。设半周长（semiperimeter）$s = \frac{a+b+c}{2}$，则面积 $A$ 满足 $$A^2 = s(s-a)(s-b)(s-c), \quad A = \sqrt{s(s-a)(s-b)(s-c)}.$$

精确表述：海伦给出了完整的几何证明（利用内切圆与相似三角形）。例如边长为 $13,14,15$ 的三角形（他的经典例子），$s=21$，$A = \sqrt{21\cdot 8\cdot 7\cdot 6} = \sqrt{7056} = 84$。

与前人关系： - 公式冠以海伦之名，因其证明首见于他的《度量论》（约公元 60 年）。 - 但有人推测阿基米德早在两个多世纪前就已知此公式——《度量论》是一部汇集当时数学知识的手册，公式可能早于书中记录。Taisbak（1980）甚至"重建"了一个阿基米德式的证明。此推测无直接一手证据，属学界有争议、存疑。 - 中国南宋秦九韶（约公元 1247 年）在《数书九章》中独立给出等价的"三斜求积术"，与海伦公式异曲同工。

局限性：公式要求三边长已知；数值计算需开方，海伦为此配套了平方根近似算法（见下）。

2. 《度量论》：系统的实用度量手册

问题背景：把几何成果整理成可供测量员、工程师直接套用的计算方法。

关键思想：《度量论》（Metrica，三卷）是一部实用度量百科，1896 年才由舍内重新发现希腊文抄本，此前仅靠他人引用为人知。

精确表述： - 第一卷：面积——三角形（海伦公式）、四边形、正三至正十二边形、圆锥/圆柱/棱柱/棱锥/球的表面积等。 - 第二卷：体积——球、圆柱、圆锥、棱柱、棱锥等。序言透露出一个有趣信息：阿基米德关于体积的成果在当时"似乎不如人们想象的那么广为人知"，海伦要"不论属于阿基米德还是他人，都给出一个概述"。 - 第三卷：按给定比例分割面积与体积（与欧几里得失传的《论图形分割》有渊源），并给出求立方根的方法。

与前人关系：许多公式源自更古老的巴比伦传统（诺伊格鲍尔指出，"海伦型"希腊数学很大程度上是延续了 1800 年的巴比伦数学传统的最后阶段），海伦的贡献在于系统整理、给出证明与统一表述。

3. 平方根与立方根的迭代近似

问题背景：实际度量中大量需要开方，但多数数不是完全平方/立方。

关键思想：海伦给出了一种迭代逼近法，与现代"牛顿法"求平方根同构（巴比伦人两千年前已知此法，海伦重新表述并应用）。

精确表述（平方根，以求 $\sqrt{720}$ 为例）：取最近的完全平方数 $729$，其根 $27$；计算 $720/27 = 26\frac{2}{3}$，取平均 $\frac{27 + 26\frac{2}{3}}{2} = 26\frac{5}{6} \approx 26.833$（真实值 $26.833$，已极准）；再以 $26\frac{5}{6}$ 为新近似重复，可进一步提高精度。一般式：若 $x_n$ 是 $\sqrt{N}$ 的近似，则 $x_{n+1} = \frac{1}{2}\left(x_n + \frac{N}{x_n}\right)$。

立方根：他给出求 $\sqrt[3]{N}$ 的近似公式（设 $a^3 < N < b^3$，$d = N - a^3$，$D = b^3 - N$，则近似根为 $a + \frac{b\,d}{b\,d + a\,D}$ 之类的形式——MacTutor 引用的 Deslauriers & Dubuc 1996 给出了重构的一般公式），精度很高，但有学者怀疑他可能借用了这一精确公式却未必完全理解其一般用法（除非是拜占庭抄手有误），存疑。

地位：这是数值分析中迭代逼近思想的早期典范，与现代牛顿迭代在平方根情形完全等价。

4. 机械学与百余种机械——蒸汽球（aeolipile）

问题背景：把物理原理付诸实用机械与教学演示。

关键思想： - 《气体力学》（Pneumatica，两卷，共 80 章）：先讨论流体压力理论（部分正确、部分错误），然后描述了 100 余种装置，被现代学者戏称为"儿童机械玩具"——会分别流出酒或水或恒定比例的魔术罐、唱歌的鸟、吹响的号、祭坛点火就动的木偶、喂水就喝的动物……看似 trivial，但很可能是海伦用来向学生讲解物理的教具。 - aeolipile（蒸汽球/汽转球）：一个空心球架在一对通汽管上，蒸汽从赤道处的弯管喷出，使球旋转。这是已知最早把蒸汽转化为旋转运动的装置，原理与喷气发动机相通，常被视为蒸汽机的远古雏形。 - 其他装置：灭火泵、风力管风琴、投币自动售货机等。 - 《机械学》（Mechanica，三卷）：紧密基于阿基米德的思想，讨论杠杆、滑轮、楔、螺旋起重，重心理论，以及运输、起重机、榨酒机等。

历史评价：这部分让他在古代就以"奇技淫巧"闻名，但也使一些现代学者一度低估他——认为他是不懂原理的工匠。现在的共识（Mahony）是：他是受过良好教育、常有巧思的应用数学家，也是从巴比伦经阿拉伯到文艺复兴欧洲的实用数学传统中的关键一环。

四、代表著作与文献

海伦著作的真伪与归属是一大文献学难题，下表标注存疑处。

• 《度量论》（Metrica，三卷）：数学代表作，1896 年重获希腊文本；含海伦公式、面积体积算法、开方近似。真品。
• 《机械学》（Mechanica，三卷）：力学与起重机械，基于阿基米德。真品。
• 《气体力学》（Pneumatica，两卷）：100 余种气动/蒸汽装置，含 aeolipile。真品。
• 《自动机剧场》（Automaton theatre）：绳、鼓、配重驱动的木偶剧场。
• 《论照准仪》（On the dioptra）：测量仪器（经纬仪前身）与天文测距。其中有一种用两地观测月食时差求亚历山大—罗马距离的方法，因托勒密不知此法，曾被误用来证明海伦晚于托勒密。
• 《制炮术》（Belopoeica）：战争机械，与菲隆、维特鲁威的工作有相似处。
• 《光学反射》（Catoptrica）：论镜子；主张视觉由眼睛发出的光线产生、且光速无限。部分学者把它归于托勒密，但多数现代意见认为真出自海伦，归属存疑。
• 存疑/伪托著作：
• Definitiones（133 条几何定义）：Knorr（1993）有力论证实为丢番图所作，非海伦。
• Geometria、Stereometrica、Mensurae：基于《度量论》相应章节，但经后世编者大量改写，非海伦亲笔。
• cheirobalistra（论投石机）：几乎肯定非海伦所作。
• 失传著作（仅有残篇或引述）：《水钟》（四卷）、《〈原本〉评注》（至少覆盖前八卷）、Camarica（论拱顶，优托克修斯引）、Zygia（论平衡，帕普斯引）；10 世纪阿拉伯《菲赫里斯特》还提到一部论星盘用法的著作。

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

• 师承：无明确名师；其数学明显继承阿基米德（体积公式、重心）与巴比伦实用算学传统。
• 学派归属：亚历山大城的实用—工程数学传统，与缪斯宫教学体系结合。
• 同时代：科卢梅拉（罗马农学家，与其共享测量公式）；略晚于他的是托勒密（约 100—170），帕普斯（约 290—350）则在三百年后引用他。
• 学术传承链：巴比伦实用算学 →（海伦整理）→ 拜占庭/阿拉伯译者保存与传播 → 文艺复兴欧洲（如克拉维乌斯《实用几何》引用海伦公式）→ 现代初等几何课本。

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

• 定年之争（已解决）：从公元前 150 年到公元 250 年，争论了几百年；1938 年诺伊格鲍尔用公元 62 年日食锁定，现基本达成共识（约 10—75 年）。
• 著作真伪：哪些书真出自他手、哪些是后人托名或改写，至今是活跃的文献学问题（见上表）；不能把所有"海伦著作"都视为他的亲笔。
• 海伦公式的归属：冠以他名，但可能早于他、甚至可上溯至阿基米德（推测，无确证），存疑。
• "无知工匠"的污名：有人（尤其针对《气体力学》）认为他只是不懂原理的抄录匠；现代研究（Drachmann、Mahony）倾向认为他精通其主题、是在给内行做速览式讲授，应用数学价值很高。
• 历史评价：他是古代应用数学与工程的集大成者；其度量手册在希腊、拜占庭、罗马、阿拉伯教育中沿用数百年，是连接古代与近代实用数学的关键桥梁。

七、身后影响与学术谱系

• 初等几何：海伦公式是全世界中学几何的标配；中国的"三斜求积术"（秦九韶）与之等价，是两大文明独立发现的经典案例。
• 数值计算：平方根迭代法（海伦法/牛顿法）是数值分析的基础算法，至今用于计算机开方。
• 度量学/测地学：其面积体积算法被测量员沿用千年。
• 工程史：aeolipile 被视为喷气/蒸汽动力的远古先驱；他的机械传统经阿拉伯世界传承，影响了文艺复兴时期的机械专著（如阿戈斯蒂诺·拉梅利等）。
• 学术纽带：诺伊格鲍尔指出他是"巴比伦数学传统的最后阶段"，同时又是阿拉伯与文艺复兴实用数学的源头——在东、西方实用算学之间承上启下。

八、延伸阅读与权威来源

• MacTutor 数学史档案：Heron of Alexandria：圣安德鲁斯大学权威传记，本档案主要出处（含定年、著作真伪的关键考证）。
• Dictionary of Scientific Biography — Heron (PDF)：科学史权威条目（MacTutor 托管），Drachmann/Mahony 执笔。
• Wikipedia: Hero of Alexandria：交叉核对生平与著作。
• Wikipedia: Heron's formula：核对公式历史与阿基米德归属推测。
• Britannica: Heron of Alexandria：百科条目交叉核对。
• O. Neugebauer, A History of Ancient Mathematical Astronomy (1975)：含 1938 年日食定年的论证与"海伦型数学=巴比伦传统末段"的论断。
• T. L. Heath, A History of Greek Mathematics, Vol. II (Oxford, 1921)：海伦数学的经典综述。