泰勒斯（Θαλῆς / Thales of Miletus）
西方有史可考的第一位数学家与哲学家，把几何学从埃及的经验测地术带入希腊，并尝试以演绎推理确立几何命题，被誉为希腊数学"命题—证明"范式的源头与"七贤"之首。
一、生平与时代背景
泰勒斯出生于小亚细亚西岸的希腊城邦米利都（Miletus，今土耳其 Söke 附近），活跃于公元前 6 世纪。MacTutor 档案给出的生卒为约公元前 624—约前 547 年；部分中文资料记作约前 624—前 546 年，二者相差无几，均为后世估算，确切年份存疑。
父母名曰 Examyes 与 Cleobuline。关于其族属，古代即有两说：一说他出身腓尼基，另一说（多数意见）认为他是血统纯正、门第显赫的米利都人。他的职业被记载为工程师，同时被视为米利都学派（Milesian School）的第一位自然哲学家，相传是阿那克西曼德（Anaximander，约前 611—前 545）的老师。
他生活的时代，米利都是希腊世界面向东方（埃及、巴比伦）的贸易与文化枢纽。这种位置使他得以便捷地接触到埃及的测地术与巴比伦的天文—算术知识。古希腊传记传统（如公元 5 世纪的普罗克洛斯 Proclus 转引已佚的罗德岛的欧德谟 Eudemus《几何学史》）称："泰勒斯首先前往埃及，再把几何学〔的研究〕引入希腊。他自己发现了许多命题，并向后来者指出了许多命题背后的原理。"
关于泰勒斯的史料有一个根本性的困难：他没有任何著作传世，甚至亚里士多德（前 4 世纪）时已无法读到他的文字，连他是否写过书都不清楚。有说法称他写过一本关于航海的书（其中可能定义了小熊座 Ursa Minor 以助导航），但证据薄弱。因此后世归于他名下的一切发现，都必须区分"信史"与"传说附会"——古希腊素有把发明追溯到某位名人头上的习惯，泰勒斯的传奇地位使他尤其容易被过度归功。
在政治与实践方面，普鲁塔克（Plutarch）记载泰勒斯是"七贤"中唯一一位其智慧在思辨上超出实用范围的人；但他也确实从政：他劝说伊奥尼亚各城邦结成以 Teos 为首都的联盟，并劝阻同胞与吕底亚王 Croesus 结盟，从而保全了米利都。亚里士多德还讲过他预测橄榄丰收、买断全部榨油机而致富的故事，以反驳"哲学家无用"之讥；柏拉图《泰阿泰德》篇则记载他夜观星象时跌入沟渠，被女仆嘲笑"连脚下都看不见，还想看天上"——这被称为西方第一个"心不在焉的教授"笑话。现存的泰勒斯半身像藏于罗马卡比托利欧博物馆，但并非同时代作品，不太可能与他本人相像。
二、学术生涯年表
| 年份 | 事件 |
|---|---|
| 约前 624 | 出生于米利都（小亚细亚），父母 Examyes 与 Cleobuline。 |
| 约前 600—前 585 | 青年时期，相传赴埃及学习测地术与天文，将几何知识带回希腊。 |
| 前 585（5 月 28 日） | 据希罗多德记载，泰勒斯预言了该年的一次日食；此事使米底与吕底亚停战。预言方法与可靠性在现代学界存疑。 |
| 约前 585 前后 | 利用相似/等影原理测量金字塔高度；利用全等三角形原理测量海上船只到岸距离（方法细节存疑）。 |
| 约前 580—前 547 | 被后世（经欧德谟—普罗克洛斯传统）归为发现五条初等几何定理，开创希腊演绎几何之始。 |
| 约前 570 前后 | 相传年事已高时在米利都接待过年轻的毕达哥拉斯，劝其赴埃及深造（此说源于后世传记，存疑）。 |
| 前 6 世纪中后期 | 提出"万物本原是水"的哲学命题，认为大地如圆盘漂浮于水上，并以自然原因解释地震。 |
| 前 6 世纪 | 劝伊奥尼亚城邦结盟、反对与 Croesus 结盟，活跃于城邦政治。 |
| 约前 547 | 逝世于米利都（一说前 546）。 |
| 后世 | 被亚里士多德等列为"希腊七贤"之首；月面环形山以他命名（Crater Thales）。 |
三、核心成果（逐条技术解析）
1. 五条初等几何定理（被归于泰勒斯名下）
后世数学史教科书常把以下五条定理归于泰勒斯。它们的文献依据主要来自两条链条：前四条出自公元 5 世纪普罗克洛斯的著作，而普罗克洛斯转引的是亚里士多德的学生、罗德岛的欧德谟所著（已失传）的《几何学史》；第五条出自公元 2 世纪第欧根尼·拉尔修（Diogenes Laertius）引公元 1 世纪的 Pamphile。需注意：这些归属是晚期古代的追溯，泰勒斯本人是否"证明"了它们，学界争议很大。
五条定理为： 1. 任意一条直径都把圆二等分。 2. 等腰三角形的两底角相等。 3. 两直线相交，对顶角相等。 4. 两角及其夹边对应相等的两个三角形全等（ASA）。 5. 半圆所对的圆周角是直角——即"泰勒斯定理"。
关于精确性，有几条重要的存疑与限定： - 普罗克洛斯在描述第 2 条时使用的词更接近"相似"（similar）而非"相等"。泰勒斯时代可能还没有精确的"角的度量"概念，他或许只是观察到等腰三角形两底角"看起来一样"。 - 第 4 条被欧德谟归于泰勒斯，理由是泰勒斯测量海上船只距离的方法"必然用到"这条定理；但希思（Heath）指出，泰勒斯完全可能设计出测距方法而并未真正理解"全等三角形"的一般概念。 - 第 5 条（泰勒斯定理）的归属更混乱：第欧根尼·拉尔修本人就提到，有人（包括 Apollodorus the calculator）把"发现后献祭一头牛"的故事算在毕达哥拉斯头上，而非泰勒斯。Pamphile 生活在公元 1 世纪，距泰勒斯约 600 年，难以作为权威。
即便如此，这些归属仍有历史意义：它们反映了希腊人把演绎几何的起点追溯到泰勒斯的集体记忆。
泰勒斯定理的精确表述（今本《几何原本》III.31 的特例）：设 $AB$ 是某圆的直径，$C$ 是圆周上异于 $A,B$ 的任意一点，则 $\angle ACB = 90^\circ$。其逆定理也成立：若 $\triangle ABC$ 中 $\angle C$ 为直角，则 $AB$ 是其外接圆的直径。
2. 测量金字塔高度——相似三角形思想的雏形
古代流传着泰勒斯测量金字塔高度的故事，有两种版本： - 等影法（希罗尼摩斯 Hieronymus 经第欧根尼·拉尔修转述；老普林尼 Pliny 亦记载）：在人影与人身高相等的那一时刻，测量金字塔的影长，即得其高。这只用到经验观察，不需要多少几何。 - 比例法（普鲁塔克版本）：在金字塔影子末端立一根杆，由太阳光线构成两个三角形，证明"金字塔高度与杆长之比，等于金字塔影长与杆影长之比"——即 $$\frac{h_{\text{金字塔}}}{h_{\text{杆}}} = \frac{s_{\text{金字塔}}}{s_{\text{杆}}}.$$ 若此说属实，则泰勒斯已相当接近"相似三角形"的观念。
两版本何者为真存疑。但无论哪一种，都体现了把几何用于实际测量的取向，呼应了"把埃及测地术引入希腊"的传统说法。
3. 测量海上船只到岸的距离
据普罗克洛斯转述欧德谟，泰勒斯曾展示如何从岸上测出远处船只的距离。希思复原了一种可能的方法：用两根钉成十字、可绕钉转动的杆，观测者立于塔顶，先使一杆竖直（铅垂线），转动另一杆对准船只；再保持仪器竖直不动，把活动杆转到对准岸上某点，则该点到塔基的距离就等于船到岸的距离。这背后隐含着 ASA 全等（定理 4），但如前所述，泰勒斯未必具有抽象的全等概念。
4. 公元前 585 年日食的"预言"
希罗多德《历史》记载：公元前 585 年 5 月 28 日，米底与吕底亚交战之际"白昼忽然变黑夜"，而泰勒斯事先向伊奥尼亚人预告了这一年会发生日食，双方因此停战议和。这是史学上著名的一个年代定点。
但现代学界对此高度存疑： - 奥托·诺伊格鲍尔（O. Neugebauer）考证，所谓泰勒斯用巴比伦"沙罗周期"（saros，18 年 10 天 8 小时）预言日食一说不可信——沙罗周期其实是哈雷（Halley）的"发明"；公元前 600 年巴比伦尚无预报某地可见日食的理论，400 年后依然不能令人满意，且巴比伦人从未发展出考虑地理纬度影响的理论。 - Longrigg 甚至认为，更可能的解释是：泰勒斯恰好在该天文奇观发生时是当地的"智者"，后人便假定他"一定能预言"。
因此，"预言日食"更可能是事后追认的传奇，而非真正的科学预测。
5. 自然哲学的转向——"万物本原是水"
这虽是哲学命题，却是泰勒斯在思想史上的关键贡献，也与数学的理性精神同源。亚里士多德《形而上学》记载："米利都的泰勒斯教导说，万物是水。"他认为大地是漂浮在无垠海洋上的扁平圆盘，并用"大地浮于水上"来解释地震。
其意义在于：他是有史可考的第一个尝试用自然的、理性的假说而非超自然的神话来解释众多现象的人（Sambursky 语）。从神话宇宙论向自然哲学的这一转向，为稍后希腊数学寻求"证明"提供了思想土壤。
四、代表著作与文献
- 无著作传世。泰勒斯是否写过任何书都无法确定；即便写过，到亚里士多德时代已散佚。
- 据传可能写过一本关于航海的著作，其中定义了小熊座（Ursa Minor）用于导航，但证据薄弱，存疑。
- 其学说见载于后人：亚里士多德《形而上学》、希罗多德《历史》、第欧根尼·拉尔修《名哲言行录》、普鲁塔克、老普林尼，以及普罗克洛斯（转引欧德谟《几何学史》，已佚）。
五、师承、学派与同时代交往
- 师承：无明确老师记载，是希腊最早的思想家之一；传说他从埃及祭司处学习测地与天文。
- 学生 / 后继：相传是阿那克西曼德（Anaximander）的老师，共同开创米利都学派。
- 与毕达哥拉斯：后世传记（如波尔菲里 Porphyry、扬布里柯 Iamblichus）称毕达哥拉斯 18—20 岁时到米利都拜访过年迈的泰勒斯，泰勒斯给他留下深刻印象并劝其赴埃及深造。此说来源较晚（公元 3 世纪），存疑，但反映了"毕达哥拉斯承自泰勒斯"的道统建构。
- 同列为"七贤"：是苏格拉底之前唯一进入"希腊七贤"的哲学家。
六、争议、公案与历史评价
- 是否真正"证明"了几何定理？ 罗素（B. Russell）认为泰勒斯只是把埃及的经验法则带到希腊，未必有演绎证明的观念；范·德·瓦尔登（B. L. van der Waerden）则主张他已把几何置于逻辑基础之上、理解"证明"。现代折中看法是：泰勒斯可能做出了若干几何观察并开始追求一般理由，但远未达到后来欧几里得式的严格证明；把他抬得过高容易以今度古。
- "泰勒斯定理"究竟归谁？ 第欧根尼·拉尔修就已记载有相反说法（归于毕达哥拉斯），牛祭故事的归属亦混乱，存疑。
- 日食预言的真伪：见上文，现代学界普遍否定其为真正的科学预言。
- 金字塔测高的版本：等影法与比例法何者为真存疑。
- 总体评价：尽管具体归属多有疑点，泰勒斯作为"把几何从埃及引入希腊、开启理性探究传统"的象征性奠基人地位，为古代一致公认。
七、身后影响与学术谱系
- 直接开启了米利都学派的自然哲学传统（阿那克西曼德、阿那克西米尼 Anaximenes）。
- 其"对几何命题寻求一般理由"的取向，经毕达哥拉斯学派发展，最终在欧几里得《几何原本》中成熟为完整的演绎体系；故常被视为西方数学"命题—证明"范式的象征性源头。
- 月面环形山 Crater Thales 以他命名；MacTutor 将其列入"最受欢迎传记"第 25 位。
八、延伸阅读与权威来源
- MacTutor: Thales of Miletus：圣安德鲁斯大学数学史档案，本档案主要史料来源，含五条定理归属的文献考证。
- Dictionary of Scientific Biography: Thales (PDF)：MacTutor 托管的 DSB 条目。
- Internet Encyclopedia of Philosophy: Thales：哲学视角的泰勒斯条目。
- Encyclopaedia Britannica: Thales of Miletus：权威百科条目。
- Wikipedia: Thales of Miletus：可作交叉核对（不作唯一来源）。
- S. M. Cohen (Univ. of Washington): Thales：高校课程页面，梳理古代证词。
- T. L. Heath, A History of Greek Mathematics, Vol. I (Oxford, 1921)：经典希腊数学史，系统考证泰勒斯的几何归属。
- O. Neugebauer, The Exact Sciences in Antiquity (Providence, 1957)：否定日食预言的科学基础。