埃拉托色尼(Ἐρατοσθένης / Eratosthenes of Cyrene)
古代世界最伟大的通才之一——以筛法奠定素数研究的基础算法,以一次夏至日影测量丈量了地球,又把已知世界绘制成地图;在每一门学问上都拿"亚军"的他,成果却比许多"冠军"更经得起两千年的检验。
一、生平与时代背景
埃拉托色尼约公元前 276 年生于北非的昔兰尼(Cyrene,今利比亚沙哈特)。他早年在故乡受教于学者吕萨尼亚斯(Lysanias of Cyrene)和斯多亚派哲人希俄斯的阿里斯同(Ariston of Chios,芝诺的学生),又师从同为昔兰尼出生的诗人学者卡利马科斯(Callimachus),随后在雅典游学数年。
亚历山大图书馆由托勒密一世索特规划、其子托勒密二世菲拉德尔福斯建成,以亚里士多德藏书为基础。托勒密二世任命卡利马科斯为第二任馆长。公元前 245 年托勒密三世厄尔格特斯继位后,召埃拉托色尼到亚历山大做其子(后来的托勒密四世菲洛帕特)的老师;约公元前 240 年卡利马科斯去世,埃拉托色尼接任第三任馆长,主持缪斯神庙(Mouseion)的图书馆,据说馆藏有数十万卷纸草与羊皮纸。
尽管是公认的全才,他在当时却被认为"每一行都差一点到顶尖"。希思(Heath)引述:他"在所有知识分支都出类拔萃,但每一科都恰好屈居第二",因此得绰号 "Beta"(希腊字母表第二字母) 和 "Pentathlos"(五项全能选手)——意即每一项都拿第二的全能运动员。这个刻薄的绰号反衬出他贡献之广:筛法至今仍是素数计算的基石,测地结果两千年后仍令人惊叹。
据载他晚年失明,有说法称他因此绝食自杀——此说见于晚期史料,学界有争议,存疑。约公元前 194 年卒于亚历山大。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约前 276 | 生于北非昔兰尼(今利比亚) |
| 约前 256—前 246 | 在故乡及雅典求学,师从吕萨尼亚斯、阿里斯同、卡利马科斯 |
| 前 245 | 应托勒密三世厄尔格特斯之召赴亚历山大,任王子菲洛帕特的教师 |
| 约前 240 | 卡利马科斯卒,接任亚历山大图书馆第三任馆长 |
| 约前 240—前 200 | 主持图书馆,撰写数学、地理、天文、年代学、文学著作 |
| 约前 230 年代 | 完成地球周长测量与《论地球测量》 |
| 约前 200 前后 | 撰写《地理学》,绘制已知世界地图 |
| 约前 194 | 卒于亚历山大(晚年失明;是否绝食自尽存疑) |
| 后世 | 《地理学》仅余残篇,《论平均》《柏拉图论》《论地球测量》失传 |
三、核心成果(逐条技术解析)
1. 埃拉托色尼筛法——素数研究的基础算法
问题背景:如何系统地找出不超过某数 $N$ 的全部素数?
关键思想:写出 $2$ 到 $N$ 的所有整数,从最小的素数 $2$ 开始,划去其所有倍数($4,6,8,\dots$);剩下未被划去的第一个数 $3$ 是素数,划去其所有未划的倍数……如此往复。筛法的记录保存在尼科美德(Nicomedes)的《算术入门》中。
精确表述(现代形式):对每个素数 $p \le \sqrt{N}$,划去区间中 $p$ 的倍数(从 $p^2$ 开始以提高效率),剩余者即为 $N$ 以内素数。其时间复杂度为 $O(N\log\log N)$。
与前人关系:这是最早的系统素数生成法,开数论算法之先河。
局限性:原始形式对超大 $N$ 内存开销大;后世发展出分段筛法、线性筛、乃至 Atkin 筛等改进,但其核心思想未变。在改进版形式下,筛法至今仍是大规模素数计算的主力(包括现代解析数论中的各种数论筛)。
2. 地球周长的测量——古代科学的壮举
问题背景:地球有多大?古希腊人早已知道大地是球形,但对其周长只有粗略估计。
关键思想:埃拉托色尼注意到,夏至正午时,在赛伊尼(Syene,今埃及阿斯旺)太阳几乎直射天顶(据信他用一口深井中太阳直射井底的现象判断),而在同一时刻的亚历山大城,太阳偏离天顶一个角度。他假定太阳光线近似平行,则两地的天顶角差即等于两地之间对应的地心角;知道两地距离即可推算整圈周长。详细数据见于他已失传的《论地球测量》,但被克莱奥梅德(Cleomedes)、士麦那的塞翁(Theon of Smyrna)和斯特拉波(Strabo)转述。
精确表述:他测得亚历山大夏至正午的天顶距为 $7^\circ 12' = \frac{1}{50}$ 圆周,赛伊尼到亚历山大的距离为 $5000$ 斯塔德(stadia),故周长 $$C = 5000 \times 50 = 250{,}000 \text{ 斯塔德}$$ (一作 $252{,}000$ 斯塔德,不同传本有出入)。
精度与争议:折合成现代单位取决于"斯塔德"的长度,这是学界长期争论的焦点: - 若取 1 斯塔德 ≈ $157.2$ 米(据老普林尼数据推导),则 $250{,}000 \times 157.2 \text{ m} \approx 39{,}300$ 公里,与真实子午线周长约 $40{,}008$ 公里仅差约 $1.7\%$,惊人地准确。 - 若取 1 斯塔德 ≈ $166.7$ 米(Gulbekian 说),则约 $41{,}675$ 公里,偏高约 $4\%$。 - 若取奥林匹克斯塔德 $185$ 米,则约 $46{,}250$ 公里,偏高明显。
由于斯塔德长度无法定论,"误差很小"的说法依赖于对单位的选取,存疑;但无论如何,他的几何方法完全正确,在古代是一项杰出的定量成就。Rawlins(1982)进一步论证:埃拉托色尼真正亲自测量的只有亚历山大夏至天顶距 $7^\circ 12'$,且此值误差 $16'$,而他所用的其余数据(如两城距离)来自别处、反而更准。
3. 测地学与数学地理学的开创
问题背景:把几何测量方法系统地应用于绘制已知世界的地图。
关键思想:在《地理学》(Geographica,仅余残篇)中,他引入了用经纬度网格定位地点的思想,并用他测的地球周长把角度换算为实际距离,绘制了当时已知世界的地图。
精确表述: - 他相当准确地勾勒了尼罗河直到喀土穆的河道,标出两条埃塞俄比亚支流,并提出湖泊是河源。 - 他第一个给出尼罗河泛滥的基本正确解释:泛滥源于河源附近的季节性暴雨——此前泰勒斯等学者的解释多为臆测。 - 他描述"幸福阿拉伯"(Eudaimon Arabia,今也门)的四个种族:米奈人、赛伯伊人、盖塔班人、哈德拉毛人——这些族名沿用至今(实际情况更复杂)。
与前人关系:地理学此前多为游记式描述,埃拉托色尼把它数学化、量化,是数学地理学(测地学)的奠基人。
4. 倍立方的机械解法("中位比例"求作器)
问题背景:德洛斯神谕要求把祭坛体积加倍以消除瘟疫,即著名的"倍立方"问题——等价于在 $a$ 与 $2a$ 之间插入两个中项比例 $x, y$,使 $a:x = x:y = y:2a$(希波克拉底已证明此等价)。
关键思想:在《柏拉图论》(Platonicus,失传,内容经士麦那的塞翁与一封托名埃拉托色尼写给托勒密三世的伪信——其中部分内容取自其真品——转述)中,他描述了一种机械装置求作任意多个中项比例。
精确表述:在两条平行直尺间滑动若干三角形薄板,使对应顶点共线,即可读出两个线段之间的中项比例。他还在亚历山大立了一根纪念柱,刻上献诗,夸耀此法比阿尔库塔斯的圆柱、梅内克缪斯的圆锥截线、欧多克索斯的曲线都简便。
地位:这是倍立方问题众多古代解法中最具实用工程色彩的一个,体现了他把数学落地的一贯风格。
5. 天文学与年代学
- 他还测量了太阳距离约 $804{,}000{,}000$ 斯塔德、月球距离约 $780{,}000$ 斯塔德(用月食数据推算,数值精度有限但方法合理)。
- 黄赤交角:托勒密在《至大论》中称埃拉托色尼测得地轴倾角为 $180^\circ$ 的 $11/83$,即 $23^\circ 51' 15''$(与现代值 $23^\circ 27'$ 相当接近)。但多数学者(如希思)认为 $11/83$ 这一精密分数实为托勒密的改进,而非埃拉托色尼;埃拉托色尼本人可能用的是较粗的 $24^\circ$,此归属学界有争议,存疑。
- 他制定了含闰年的历法;编制了含约 $675$ 颗星的星表;试图从特洛伊围城之役起系统建立世界历史年表,是系统年代学的先驱。
四、代表著作与文献
- 《地理学》(Geographica):代表作,开创数学地理学,仅余残篇。
- 《论地球测量》:周长测量的详细记载,已失传,数据靠克莱奥梅德等转述。
- 《论平均》(On means):帕普斯誉为几何学名著之一,已失传。
- 《柏拉图论》(Platonicus):柏拉图哲学背后的数学,含倍立方问题史,已失传,被士麦那的塞翁大量引用。
- 文学作品:天文学题材长诗《赫尔墨斯》(Hermes)、论剧场与伦理的著作(多失传)。
- 筛法:无独立著作传世,记录于尼科美德《算术入门》。
五、师承、学派与同时代交往
- 师承:吕萨尼亚斯(昔兰尼学者)、希俄斯的阿里斯同(斯多亚派,芝诺学生)、卡利马科斯(亚历山大图书馆第二任馆长)。
- 学派归属:受斯多亚哲学影响,但以"缪斯宫"的实证-数学传统为主,是典型的亚历山大博学之士(grammarian/scholar)。
- 同时代交往:
- 托勒密三世、四世:赞助人与学生。
- 阿基米德:同代而略长;阿基米德曾把成果寄往亚历山大,两人有学术关联(埃拉托色尼是当时亚历山大数学圈的核心节点)。
- 阿波罗尼奥斯:同代晚辈。
- 罗德岛的阿波罗尼奥斯(诗人)是卡利马科斯的学生——与数学家阿波罗尼奥斯同名,需区分。
六、争议、公案与历史评价
- "Beta"绰号:既是揶揄也是写实——他在纯数学深度上不及阿基米德、在纯几何上不及阿波罗尼奥斯,但在广度与跨学科落地(把数学用于测地、地理、年代、机械)上无人能及。
- 地球周长精度:完全取决于斯塔德长度取值,故"误差仅 2%"是最乐观估计;真实精度在学界有争议,但方法正确无争议。
- 黄赤交角归属:$11/83 \times 180^\circ$ 精密值是埃拉托色尼还是托勒密所得,学界争论未决,存疑。
- 绝食自尽:晚年失明后绝食而死的说法见于晚期史料,不可靠,存疑。
- 伪信:托名他写给托勒密三世的倍立方信件是伪作,但其中嵌入了他本人的真实文字,文献学上需谨慎剥离。
- 历史评价:他是"亚历山大式通才"的典范;筛法与测地是其不朽遗产。地理学意义上,后世斯特拉波、托勒密的工作都建立在他的框架上。
七、身后影响与学术谱系
- 筛法:直接演化为后世所有素数表制作方法;现代解析数论中的"筛法"(Brun 筛、Selberg 筛等)虽技术不同,精神上一脉相承;在计算机时代仍是生成素数的标准算法。
- 测地学:他的地球测量被斯特拉波、托勒密继承(托勒密采用了略小的地球半径值,后果之一是哥伦布误判距离而"发现"美洲)。现代测地学与卫星大地测量在概念上延续了"角度→弧长→周长"的思路。
- 数学地理学:经纬度网格思想经托勒密发扬光大,成为现代地图学的基础。
- 跨学科示范:他展示了纯数学(几何、比例论)如何落地解决真实世界的测量与制图问题,是应用数学的早期典范。
八、延伸阅读与权威来源
- MacTutor 数学史档案:Eratosthenes of Cyrene:圣安德鲁斯大学权威传记,本档案主要出处。
- Dictionary of Scientific Biography — Eratosthenes (PDF):科学史权威条目(MacTutor 托管)。
- Wikipedia: Eratosthenes:交叉核对此人生平与地球测量。
- Wikipedia: Sieve of Eratosthenes:筛法的历史与现代算法形式。
- Britannica: Eratosthenes of Cyrene:百科条目交叉核对。
- D. Rawlins, "Eratosthenes' geodesy unraveled" (Isis 73, 1982):主张埃拉托色尼仅亲测亚历山大天顶距、其值有 $16'$ 误差的现代研究。