他只用五条假设，搭起一座两千三百年没塌的大厦

据普罗克洛斯《欧几里得〈原本〉注》记载

几何无王者之路。

🕐 时间坐标 · TIMELINE

「世界智慧名人」第五期。前四期我们从古埃及的伊姆霍特普走到希腊的泰勒斯、毕达哥拉斯、希波克拉底，时间线继续往前——这一期到亚历山大城，见一位我们几乎一无所知的人：欧几里得。

关于他的生平，可靠的材料少得可怜：没有传记，没有画像，生卒年不详，连出生地都不确定。我们手里只有一部书，和几则别人转述的轶事。可就是这部书，成了此后两千三百年里全世界几何课的骨架——他做的事，是给知识打地基。

先说这座城。公元前 331 年，亚历山大大帝在地中海南岸建了亚历山大城；他死后，部将托勒密一世接管埃及，把这里经营成整个地中海世界的知识枢纽。缪斯宫附设的图书馆，任务只有一个：把能收集到的书卷都收进来。据后世记载，馆里按作者、按门类编目，船一进港，船上的书就要先送去抄一遍。

欧几里得就是在这里工作的。后世一般认为他早年在雅典的柏拉图学园受过训练，之后应托勒密一世之邀来到亚历山大城，主持数学方面的教学与研究。他的工作听起来不像开创，更像整理：把泰勒斯以来的定理、毕达哥拉斯学派的数论、欧多克索斯的比例论，一条一条拣出来，重新排列。

两则轶事最能说明他的脾气。第一则：托勒密一世问他，学几何有没有更省事的路子？他回答——「几何无王者之路。」这门学问里没有专供国王走的近道。第二则：一个刚入门的学生问，学这些能得什么好处？欧几里得叫来仆人：给他三个奥波尔，因为他一定要从学习里拿到点好处才行。

— 亚历山大城的图书馆，卷轴堆到壁龛顶

两则故事都出自五世纪的普罗克洛斯，属后世转述，可靠性有限；但气质是一致的：这门学问不看身份，也不接受讨价还价。它只认一件事——你的结论能不能从前提里推出来。

《几何原本》十三卷，约四百六十余条命题。前六卷讲平面几何，第七到九卷讲数论，第十卷处理不可通约量，最后三卷讲立体几何。全书开头不是结论，而是三样东西：二十三个定义、五条公设、五条共同概念。

五条公设说的是什么呢？从任一点到任一点可作一条直线；有限直线可以继续延长；以任一点为圆心、任意距离可作一圆；所有直角彼此相等；还有一条特别绕口的，后来被叫做第五公设——若一条直线与两条直线相交，同侧内角之和小于两直角，则这两条直线在这一侧相交。

这就是「公理化」：不急着给答案，先把前提摊在桌面上，然后一步一步推。它的了不起不在于结论有多新——勾股定理巴比伦人早就会用，圆和三角的算法埃及工匠也熟——而在于每一条结论都能被检查：它从哪来，用了哪一条。

— 沙地上，一圆一线地作图

最耐人寻味的是第五公设。前四条看一眼就服气，第五条却怎么读都不像「显然」。此后近两千年，一代代数学家想用前四条把它证出来，全都失败。直到十九世纪，罗巴切夫斯基（1829）和鲍耶（1832）各自换了个假设——过直线外一点，可以作不止一条平行线——竟然造出了一整套自洽的新几何；黎曼（1854）往另一个方向走，得到了球面式的几何。非欧几何就此诞生。

这件事改变的不只是数学，是人对「公理」的理解：公理不是天经地义的真理，而是你选定的前提。前提一换，世界就换一套样子。今天描述宇宙大尺度结构的广义相对论，用的正是黎曼几何的语言——两千三百年前那五条假设里最别扭的一条，最后成了现代物理的入口。

书里还有一些东西，至今仍在运行。第七卷的辗转相除法，就是今天程序员口中的「欧几里得算法」，用来求两个数的最大公约数；第九卷第二十条证明了素数有无穷多个；第一卷第四十七条给出勾股定理的经典证明。两千三百年过去，这些内容一个字都没过时。

这部书的旅行路线，本身就是一部文明交流史。希腊文抄本先在东地中海流传；八至九世纪，巴格达的「智慧宫」组织学者把它译成阿拉伯文，与医学、天文、地理的典籍一起保存下来；十二世纪，它又被译成拉丁文，此后几百年里，欧洲大学里教几何用的就是它。1482 年，威尼斯出现了印刷版——书终于可以成批地印出来。

中国这一头接得晚一些。1607 年，徐光启与意大利传教士利玛窦合作，译出前六卷，取名《几何原本》——「几何」这个译名，就是从这本书开始进入中文的。徐光启在《几何原本杂议》里说，这书能让人去掉浮躁、练出精密，甚至讲「举世无一人不当学」。后九卷要等到 1857 年，才由李善兰与英国人伟烈亚力补全。

— 基石之上，柱与梁层层立起

今天中学课本里那些「已知、求证、证明」，格式就是从它来的。你在黑板上写下「因为……所以……」，用的是两千三百年前一个连生卒年都没留下的希腊人定下的写法。人走了，方法留下来了——这大概是一个写书的人能得到的最好结果。

欧几里得留下的不是某一条定理，而是一种写法：先把前提摆出来，再把结论一步步推出去。它的好处是任何人都能来检查——对了，别人照着能走一遍；错了，别人也能指出你在第几步走岔了。

这个习惯放到今天依然好用。判断一个方案、一套说法靠不靠谱，最快的办法就是这两问：它的前提是什么？它真的从前提里推出来了吗？前提错了，后面越严密越危险；前提对了，结论才站得住。

而「几何无王者之路」还有另一层意思：方法可以更聪明，路还是得自己走完。世上值得学的东西，都只对肯走完全程的人开门。

下一期，我们讲一位叙拉古人。罗马士兵破城时，他还在沙地上画圆，回头只说了一句：别弄坏我的圆。他更出名的一句话是——给我一个支点，我能撬起整个地球。

几何无王者之路

我是智慧无疆，一个从五千年的旧纸堆里打捞智慧、讲给你听的人。