希帕索斯（Ἵππασος / Hippasus of Metapontum）

早期毕达哥拉斯派的传奇人物：后世把"发现无理数"和"泄露正十二面体构造而溺海"的故事安在他头上，但关于他的可靠史料极少，几乎每一条具体归属都存在争议——他是数学史上"信史与传说最难区分"的人物之一。

一、生平与时代背景

关于希帕索斯，我们能确定的少之又少。他的希腊全名是 Ἵππασος ὁ Μεταποντῖνος（Hippasus of Metapontum），通常定年为约公元前 530—约前 450 年（此年代本身即后世估算，存疑）。他被归入大希腊（Magna Graecia，南意大利）的毕达哥拉斯传统，但其生活年代很可能比毕达哥拉斯本人晚近一个世纪。

需要立即声明的是：关于希帕索斯的几乎所有细节，古代记载彼此矛盾、且多为晚期（公元 2—4 世纪）的追溯。因此本篇会把"相对可靠的早期证词"与"后世附会的传奇"严格分开，凡不确定处一律标注「存疑」。

• 出生地：通常作梅塔蓬图姆（Metapontum，南意大利），但扬布里柯（Iamblichus，公元 3 世纪）说有人认为是梅塔蓬图姆，也有人认为是附近的克罗托内（Croton）；在扬布里柯开列的"各城邦毕达哥拉斯派名录"中，他又被列在锡巴里斯（Sybaris）名下。三地何者为真，存疑。
• 所属派别：扬布里柯一处称他是 mathēmatikoi（数理学派）一派的创立者，与 akousmatici（听训派）对立；另一处又称他是 acusmatici 的创立者，与 mathēmatikoi 对立——自相矛盾。
• 是否有著作：第欧根尼·拉尔修（Diogenes Laërtius）一处说他未留下任何著作，另一处又说他写过《神秘话语》（Mystic Discourse），旨在败坏毕达哥拉斯的名声。存疑。

他的哲学立场在早期资料中有迹可循，相对可靠： - 亚里士多德《形而上学》（A.3, 984a7）把希帕索斯与赫拉克利特并列，说他主张火是万物的本原（archē）。 - 塞克斯都·恩披里柯（Sextus Empiricus）据此对比：毕达哥拉斯派认为本原是无形体的"数"，而希帕索斯认为本原是物质性的——这暗示他在学派内部可能是个异数。 - 第欧根尼·拉尔修还记他相信"宇宙的变化完成需要一个确定的时间，宇宙是有限的且永恒运动"。

二、学术生涯年表

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

以下各条，凡归于希帕索斯个人的，几乎都没有同时代证据，需以"传说/后世归属"视之。

1. 被传为"发现无理数 / 不可公度量"的第一人（存疑）

问题背景：毕达哥拉斯派相信任意两条线段都可公度，即存在公度线段使二者长度皆为其整数倍，从而一切量之比都是整数之比。等腰直角三角形的斜边与直角边不可公度（$\sqrt2$ 无理）的发现，是对这一信念的沉重打击，史称"第一次数学危机"。

精确表述：正方形的对角线 $d$ 与边 $a$ 之比 $\sqrt2$ 不是有理数。经典证明（保存在欧几里得《原本》X 卷末的附录命题中，亚里士多德《前分析篇》I.23 亦提及此法）是反证法：设 $d:a=m:n$（既约整数比），则 $m^2=2n^2$，推出 $m,n$ 同为偶数，与互素矛盾，故不可公度。

归属状况： - 可以确定的是：不可公度量的发现属于毕达哥拉斯派，且证明相当古老（柏拉图《泰阿泰德》147d 提到昔兰尼的塞奥多鲁 Theodorus of Cyrene，约前 400 年，已证明 $\sqrt3,\sqrt5,\dots$ 直到 $\sqrt{17}$ 的无理性，这暗示此前已有人证明了 $\sqrt2$）。 - 但古代没有任何作家明确把这一发现归于希帕索斯本人（Wikipedia 条目的结论）。公元 4 世纪的帕普斯（Pappus）只说：无理数知识起源于毕达哥拉斯学派，"第一个泄露该秘密的成员溺海身亡"——并未点名希帕索斯。 - 把希帕索斯与无理数发现绑定，主要是现代早期学者的推断与通俗作家的演绎（如 20 世纪 Morris Kline、Simon Singh 的叙述，甚至演绎出"在船上被同伴抛入海中""毕达哥拉斯亲自判处溺刑"等戏剧性情节），这些在古代并无直接依据，存疑乃至属后世杜撰。

2. 正十二面体内接于球的构造（古代有明确归属，但传奇色彩浓）

扬布里柯（公元 3 世纪）明确记载：

"据传希帕索斯是毕达哥拉斯派成员，由于他第一个发表并描述了'由十二个五边形构成的球'〔正十二面体内接于球〕，他因不敬而葬身海中；但他因这一发现获得了声誉，其实这一切本属于他〔按：指毕达哥拉斯，派内不直呼其名〕。"

• 数学内容：正十二面体由 12 个正五边形围成，其棱长与外接球半径之比涉及黄金比例 $\varphi=(1+\sqrt5)/2$，是一个无理量。
• 与无理数的关联：正五边形对角线与边长之比正是黄金比例 $\varphi$，用"辗转相减"（anthyphairesis）可直观看到它永不终止——因而不可公度。所以"构造十二面体"与"发现无理"在数学上确有内在联系，现代学者（Burkert 1972, Knorr 1975）据此认为两个传说可能同源。
• 存疑：是否真为希帕索斯所作、是否因此溺死，均无更早证据；且传说中"泄密"的对象有时是无理数、有时是十二面体，版本不一。

3. 音乐理论的早期实验者（存疑）

柏拉图《斐多篇》（Phaedo）108d 的一条古代注疏称，希帕索斯是音乐理论的早期实验者：他用不同大小的铜盘（bronze disks）做实验，发现了基本的和谐音程比例——四度 $4:3$、五度 $3:2$、八度 $2:1$。

• 这条注疏来源较晚，存疑；但若属实，则希帕索斯是用实验（敲击不同圆盘）而非仅弦长来确立音程比例的先驱，与毕达哥拉斯"弦长整数比"的传统相互印证。

4. 哲学：物质性本原"火"（相对可靠，亚里士多德记载）

亚里士多德与塞克斯都·恩披里柯都把希帕索斯归为以火为万物本原的哲学家，与赫拉克利特同列。这使他在毕达哥拉斯派内部显得特别：主流毕达哥拉斯派以无形体的"数"为本原，而希帕索斯主张物质性本原。塞克斯都正是以此对比二者。这一条因其出处较早（亚里士多德），相对可靠，但仍属二手转述。

四、代表著作与文献

• 第欧根尼·拉尔修一处称其无著作传世；另一处称他著有《神秘话语》（Mystic Discourse），意在贬损毕达哥拉斯。两说矛盾，存疑，今不传。
• 现存关于他的史料全为二手转述：亚里士多德《形而上学》、塞克斯都·恩披里柯、第欧根尼·拉尔修《名哲言行录》、扬布里柯《毕达哥拉斯生平》与《论数学的共同科学》、帕普斯对《原本》X 卷的注、柏拉图《斐多篇》的古代注疏。

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

• 学派归属：毕达哥拉斯派成员，但可能晚于毕达哥拉斯本人近一个世纪；未必是毕达哥拉斯的亲炙弟子（存疑）。
• 派别之争：扬布里柯自相矛盾地把他说成 mathēmatikoi 或 acusmatici 的创立者，反映其在学派分裂传说中的位置不确定。
• 思想对照：其"火本原"与赫拉克利特相近，而与主流毕达哥拉斯派的"数本原"相对立（亚里士多德、塞克斯都）。

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

1. "希帕索斯发现无理数"是后世建构：古代文献从未明确把无理数发现归于他；这是现代学者把零散传说拼合、再经通俗读物渲染的结果。高度存疑。
2. 溺海故事的版本混乱：死因或为泄露无理数、或为泄露十二面体构造、或为把成果据为己有；惩罚者或为神、或为学派同伴、或（后世演绎）为毕达哥拉斯本人。无一有同时代证据。
3. 出生地、派别、著作皆互相矛盾：见上文。
4. 总体评价：希帕索斯的"历史内核"可能只是"一位公元前 5 世纪、持火本原、与毕达哥拉斯派有关联的南意大利思想家"；围绕他的数学传奇，更多反映了后世（尤其新毕达哥拉斯主义）如何把学派秘传与"第一次数学危机"戏剧化。

七、身后影响与学术谱系

• 作为"无理数发现者"的符号性形象，希帕索斯被反复写入数学史通俗叙事，象征着理性发现对旧信念的冲击以及学派内部的保密与冲突。
• 从严格学术史看，真正推进无理量理论的是稍晚的泰阿泰德（Theaetetus）与欧多克索斯（Eudoxus），后者的比例论最终为不可公度量提供了严格基础。希帕索斯在这一谱系中的位置，至今是学界争讼的焦点。

八、延伸阅读与权威来源

• Wikipedia: Hippasus：综合古代证词与现代研究的便利起点（不作唯一来源）。
• Stanford Encyclopedia of Philosophy: Pythagoreanism（§3.4 "Hippasus and Other Fifth-century Pythagoreans"）：SEP 对希帕索斯及学派分裂的权威讨论。
• Encyclopaedia Britannica: Hippasus of Metapontum：权威百科条目。
• Dictionary of Scientific Biography: Pythagoras (PDF)：MacTutor 托管，其中论及希帕索斯与无理数/十二面体的古代归属。
• Perseus: Aristotle, Metaphysics 984a (Hippasus & fire)：一手文本，亚里士多德对希帕索斯火本原的记载。
• W. Burkert, Lore and Science in Ancient Pythagoreanism (Harvard, 1972), pp. 455–460：考证希帕索斯与十二面体、无理数传说的经典研究。
• W. R. Knorr, The Evolution of the Euclidean Elements (Springer, 1975), pp. 21–22, 50–51：讨论不可公度量发现的早期证据。