特里斯坦·尼达姆一开始就许诺要为本科生写一本“有几何味”的好书．本书规模宏大，从古希腊人关于平行公理的争论讲到爱因斯坦发现时空的弯曲，从自由落体的数学讲到黑洞的几何、引力波的数学．本书讲法特别，用形象化的描述和 200 多幅插图实现了可视化，并加入了作者自己设计的数学实验，把微分几何教科书里描述得非常抽象的内容（例如平行移动、和乐性等）讲得通俗易懂，看得见、摸得着，所以说，作者兑现了自己的承诺！
本书译者刘伟安老师在译者序中说了以上的话。刘老师对本书的高度认可，不妨让我们一起从书中去感受魅力。
来源 | 《可视化微分几何和形式：一部五幕数学正剧》
作者 | [美]特里斯坦·尼达姆（Tristan Needham）
译者：刘伟安
摘自 | 第一章“ 欧几里得几何与非欧几何”前两节
欧几里得几何与双曲几何
微分几何是微积分在弯曲空间几何中的应用．但是，要理解弯曲的空间，我们首先要理解平坦的空间．
我们生活在一个充满弯曲物体的自然世界里．如果有孩子问“平坦”这个词是什么意思，我们多半会用“不带弯曲”来回答：一个没有隆起或凹陷的光滑表面．然而，最早的数学家就已经被平面的简单性和均匀性所吸引，他们发现了平面上几何图形的一些非常漂亮的性质，其中一些在后来被看作平面平坦性的特征．
在这些性质中，最早被发现意义最深远的性质之一就是勾股定理．这是一个看似只与数有关的事实：
实际上，它却具有几何意义，如图 1-1 所示．当古人发现它时一定感到了敬畏，当然，今天任何敏感的人也会感到敬畏．
公元前 500 年左右，当毕达哥拉斯还生活在希腊的时候，以他的名字命名的定理其实早已经在世界几个不同的地方被发现了．这方面已知最早的例证是在现在的伊拉克出土的巴比伦泥板，上面有大约公元前 1800 年的文字（编目为“普林顿 322”），如图 1-2 所示．
这块泥板上列出了毕达哥拉斯三元组：整数 (a, b, h)，其中 h 是直角三角形的斜边长，直角边长分别是 a 和 b，所以
．古人记录的这些数组中，有些大得难以想象，显然不是偶然猜出来的，而是利用某种数学过程解出来的．例如，巴比伦泥板第四行记录的是
这些古代结果的背后还隐藏了哪些更为深刻的知识，现在仍不可知．要找到“现代”数学的逻辑演绎法的第一个证据，必须跳到泥板以后 1200 年左右．学界认为是米利都的泰勒斯在约公元前 600 年首先开创了从已知结论推导出新结论的思想，其中的逻辑链始于少数几个公认的假设（称为公设）．
在泰勒斯之后又经过了 300 年左右，在欧几里得于约公元前 300 年所著的《几何原本》里，我们找到了这个新方法非常完善的解释．欧几里得在《几何原本》里试图从仅仅五个简单的公设（其中最后一个，即第五公设，是关于平行线的）推导出几何学中的所有结论，从而建立一个清晰、严格、有层次的几何学．
如图 1-3 所示，欧几里得第五公设定义，如果两条直线不相交，则它们平行．
平行公设．经过不在直线 L 上的一点 p，只存在一条直线 P 与 L 平行．
但是，这个公设的特征比较复杂，不像前四个公设的那样明显．于是，数学家们试图将这个公设“开除”出假设的条件，开始努力证明它只是前四个公设的逻辑结论．
这个令人头痛的问题在以后的 2000 多年内都未解决．一个又一个世纪过去了，企图证明平行公设的尝试一直没有停止，这种努力的数量和程度到 18 世纪仍有增无减，但都未成功．
在此过程中，还出现了与这个公设等价的一些有用表述．例如，存在不同大小的相似三角形（1663 年沃利斯阐述，见 Stillwell, 2010）．但是，在欧几里得的《几何原本》中已经有了它最早的等价表述，即每个三角形的内角和等于两直角和，如图 1-3 所示．这也是我们今天还在学校教给孩子的内容．
直到 1830 年左右，尼古拉·罗巴切夫斯基和亚诺什·波尔约分别宣布发现了全新的几何形式，这才解释了为什么所有证明平行公设的尝试都不成功，从而结束了这个始于近 4000 年前的历程．这种新的几何（现在称为双曲几何）是在新定义的一类平面（现在称为双曲平面）上的几何．在这种几何里，欧几里得的前四个公设仍然成立，而平行公设不成立了，取而代之的是
双曲公设．经过点 p，至少存在两条平行线与 L 不相交．
这些先驱探讨了在这个公设的基础之上会有哪些逻辑结果．利用纯粹抽象的论证，他们在这个全新的几何里得到了一大批奇妙的结果，这些结果与欧几里得几何里的大不一样，显得十分怪异．
事实上，在罗巴切夫斯基和波尔约之前，已经有不少人发现了公设 (1.1)的一些结论，其中最著名要数萨凯里在1733 年和兰伯特在 1766 年得到的结果（见 Stillwell, 2010）．但是，他们探讨这些结论的目的是要找出矛盾，以便最终证明他们的信念：欧几里得几何才是唯一的真几何．
图 1-4 约翰·海因里希·兰伯特（1728—1777）
萨凯里无疑相信自己已经找到了明显的矛盾，所以出版了《欧几里得无懈可击》一书．兰伯特（见图 1-4）的情况就复杂得多，他可能是这个故事里的无名英雄．他的结果深入了新的几何，以至于很可能连他自己有时都不敢相信自己的结果是真实的．不管他的动机和信念是什么，兰伯特确实是第一个发现“在公设 (1.1) 下，三角形的内角和不等于 π”的惊人事实，他的结果是接下来第二幕的核心内容．
尽管如此，罗巴切夫斯基和波尔约在首先意识到（并完全接受他们发现了）一个全新、一致的非欧几何上是实至名归的．但是，对于这个新几何到底意味着什么，可能有什么用，他们也没说．
直到 1868 年，意大利数学家欧金尼奥·贝尔特拉米终于在他的论文《关于非欧几何的一个解释》里令人惊奇地解决了这些受到普遍关注的问题．他具体地解释了什么是双曲几何，成功地为双曲几何建立了直观的稳固基础，使之从此发展起来并产生了丰富的结果．可惜的是，罗巴切夫斯基和波尔约分别于 1856 年和 1860 年去世，未能活着见到这一切．
在历史进程中，这门非欧几何在数学的各个分支中都或多或少地出现过，但总是不那么直截了当．亨利·庞加莱是第一个（大约从 1882 年开始）不仅揭开了这门新几何的伪装，而且认识到了其作用的人，在复分析、微分方程、数论、拓扑学等各个领域中都发挥了双曲几何的威力．
在 20 世纪和 21 世纪的数学发展中，双曲几何继续保持着活力和中心地位——瑟斯顿关于三维流形的著作、怀尔斯对费马大定理的证明、佩雷尔曼对庞加莱猜想（即瑟斯顿几何化猜想的一个特殊情形）的证明，仅以此三例就足以说明．
我们将在第二幕展示贝尔特拉米的突破性进展，以及双曲几何的原理．现在，我们希望讨论一种更简单的非欧几何．事实上，古人就已经知道了这种几何．
球面几何
要建立一门非欧几何，就要拒绝唯一平行线的存在．双曲几何建立在承认存在两条或更多平行线的假设之上，还有一种逻辑上的可能性，就是没有平行线．
球面公设．经过点 p，不存在 L 的平行线，即所有的直线都与 L相交．
这样，就有两种非欧几何：球面几何和双曲几何．
顾名思义，球面几何可以理解为球面（如果是单位球面，记为 S 2）上的几何．我们可以将球面看作地球表面．在这个球面上，连接两点，类似于“直线”的是什么？是连接两点的最短路径！例如，你希望从伦敦乘船或乘飞机到纽约，最短路径是什么？
古代的航海家已经知道了这个答案：最短路径是大圆上的一段弧，而大圆是通过球心的平面切割球面得到的圆周（例如，赤道就是大圆）．在图 1-5 中，我们选择 L 为赤道，公设 (1.2) 显然成立：经过点 p 的每一条直线②都与 L 相交于一对对径点（即球的直径的两个端点）．
在平面上，最短的路径是最直的路径．在球面上也是如此：大圆的轨迹在横穿球面时，既不偏向右侧也不偏向左侧（其准确的定义以后再讨论）．
图 1-5 球面上的大圆都在两个相对的点（称为“对径点”）处相交
还有其他方法不必考虑经过根本无法达到的地球中心的平面即可构建地球上的大圆．例如，在一个地球仪上，你可以将一根细绳的一端固定在伦敦的位置上，然后拉紧细绳，使之紧贴在球面上，并将另一端固定在纽约的位置上，这样就可以沿着这根细绳画出从伦敦到纽约的“大圆路径”．绷紧的细绳会自动找到最短、最直的路径——经过这两座城市的大圆被这两座城市分成的两段弧中较短的一段．
有了球面上类似于直线的大圆，我们就可以在球面上“做几何”了．例如，给定地球表面上的任意三个点，用大圆的弧段将它们连接起来，就形成了一个“三角形”．对于如图 1-6 所示的三角形，一个顶点在北极，另外两个顶点在赤道上．
既然古代航海家已经利用非欧球面几何来航行于大洋之上，古代天文学家利用它来绘制夜晚星空的天体图，那么，为什么说罗巴切夫斯基和波尔约发现的非欧几何是新的，又为什么说它是令人震惊的呢？
答案是，那时的球面几何只是将球面看作它所在的三维空间的一部分，只考虑它从三维欧几里得空间遗传下来的性质，根本没有考虑球面内部的二维几何．
如果将球面看作欧几里得平面的替代品，不仅欧几里得第五公设不成立，更多基本公设也可能不成立．例如，欧几里得第一公设“总是可以画出连接两点的唯一一条直线”在球面上就有问题了，因为连接两个对径点的有无穷多条球面上的“直线”．
同时，罗巴切夫斯基和波尔约的双曲几何更严重地“冒犯”了欧几里得几何．在双曲几何里，虽然有我们熟悉的无穷长直线，但是也有很多看似荒谬的结果，例如平行线的多重性，荒谬的三角形内角和公式，等等．21 岁的亚诺什·波尔约对自己的发现非常自信，兴高采烈地写信给他的父亲：“我白手起家，创造了另一个全新的世界．”
图 1-6 球面上的简单“三角形”
最后，讲一个悲剧吧．波尔约的父亲是高斯的朋友，他把儿子亚诺什得出的结果寄给了高斯．那时，高斯自己也在这方面有一些重要发现，但他没有公开发表．无论如何，亚诺什都比高斯看得更远．在全世界享有盛名的数学家高斯公开的一句赞许，就会让这位崭露头角的年轻数学家拥有一个光辉的未来．然而，高斯虽然因先天条件与后天培养而获得了超常的数学天赋，却也有一般人类的缺点．
面对波尔约恢弘的数学发现，高斯是极度狭隘和自私的．首先，高斯把老波尔约的信搁置了 6 个月，然后才回复如下：
关于你儿子的工作，当我说我不能给予称赞时，你可能会感到吃惊．但我只能这样说，因为称赞你儿子的工作就是称赞我自己．论文的全部内容，你儿子采用的方法，以及他得到的所有结果，几乎处处都与我自己想的一样，我考虑这些问题有 30～35 年了．
高斯确实也说了“感谢”波尔约的儿子，因为这“省去了他的麻烦”，否则他不得不将自己已经知道了几十年的那些定理写出来．遭受高斯的沉重打击后，亚诺什·波尔约一直没有恢复过来，并在此后放弃了数学．
上文转自人邮图灵，节选自图灵《可视化微分几何和形式》，[遇见数学]已获转发许可。
《可视化微分几何和形式：一部五幕数学正剧》
作者：[美]特里斯坦·尼达姆 译者：刘伟安
1.旧金山大学数学系教授，理学院副院长，牛津大学博士，与霍金齐名的诺奖得主罗杰·彭罗斯弟子特里斯坦·尼达姆经典巨作！
2.200多幅手绘示意图，将“微分几何”回归为“几何”，运用牛顿的几何方法对经典结果作出了几何解释。
3.原著豆瓣高达9.9分！被认为是“小说一般流畅的数学教材！”
4.译者为国内著名偏微分方程专家，武汉大学原校长齐民友老师弟子、武汉大学数学教授刘伟安老师。