联想a750游戏它由公元前 5 世纪由一位在狱中的古希腊哲学家提出，讲的就是给定一个圆，只用圆规和一个无刻度的直尺画一个正方形，使其面积等于该圆的面积。

　　而说起超越数，那可真是一个难以理解的概念，多少专业的教材也不能把它讲得通俗易懂。

　　从 18 世纪至今，前前后后 200 多年，一大批来自各个国家的数学家都扑在了它身上，找证明它存在的证据、判定它的方法。

　　然而，这个 小东西 是如此捉摸不透，直到现在还有很多疑似数字没能被证明、还有一堆和它相关的开放难题没被搞定。

　　src=所以，今天这篇就是一期数学干货，它来自 Quanta Magazine 专栏（作者 David S. Richeson），算是把超越数的来龙去脉讲得最清楚易懂又不枯燥的一篇，特此编译。

　　再爱超越数一次，看看它究竟是怎么被数学家发现的，它又是如何跟那道千年难题扯上关系的。

　　如今，尽管各类数字都有着迷人又复杂的历史，但基本大家都对它们的定义 门儿清 。

　　比如整数就是正整数、零加负整数。有理数是能够表示成两个整数之比的数，其中包括整数、有限小数和无限循环小数。

　　其中，对于有理数，今天我们一致认为是生活在公元前五世纪左右的希帕索斯发现的（他还因此而丧命）。

　　他证明，可以找到两条不能整分成若干个相等长度的线段，例如正方形的边和对角线。

　　src=今天我们管这个叫不可公度，也就是说它们的长度不是彼此的有理倍数。

　　然而，一些无理长度也可以。比如著名的黄金比例( 1+ √ 5 ) /2 ，画一个边长为 1 的正五边形，取其对角线就是了。

　　只要一个数能通过整数进行加减乘除和平方根的运算来表示，那么我们就能画出所对应的线段（比如所有正有理数，还有刚刚说的√ 2 和黄金比例）。

　　由此，如果我们能用一个确切的算式来表示 π，是不是就可以解决化圆为方的难题了！

　　如果一个数字能用线段画出来，也就是可构造，那么它也必须是一个不能进一步因式分解或简化的多项式的根，并且这个多项式最高项的次数是 2 的幂（比如 2、4、8、16 等）。

　　√ 2 就是多项式 x2 – 2 的根，黄金比例则是 x2 – x – 1 的根，所以它们都能被画出来；

　　而像 √ 2 是多项式 x3 – 2 的根，不符合 2 次幂的条件，所以这个长度的线段是不可能画出来的。

　　不过，就算知道了这个定律，大家还是没有找到 π 的确切表达，化圆为方难题仍然悬而未决。

　　事实上，解决化圆为方这个难题的关键，正是犹如之前数学家将实数分为有理数和无理数一样——需要将复数也分为两个集合。

　　对于复数来说，其中许多都等于整系数多项式的根，数学家就把这个称作代数数。

　　每个有理数都是代数数，一些无理数也是，例如 √ 2 ，还有即使是虚数 i，它也算，因为它是 x2+1 的根。

　　src=不过，超越数是否存在并非显而易见，并且证明一个给定数是不是超越数也极具挑战，因为需要反证一个数不是任何整系数多项式的根。

　　第一个攻破点诞生于 1844 年，一个叫做约瑟夫 · 刘维尔的法国数学家想到了这样一个间接办法：

　　既然无理数不能很好地用有理数来近似，那如果我找到一个可以用较小分母的分数无限逼近的数，那它一定是别的东西：超越数。

　　它只有 0 和 1，其中 1 出现的位置依次由n!决定，也就是第一个 1 的位置等于 1!，也就是 1，第二个等于 2!，出现在第 2 位，第三个等于 3!，出现在第 6 位，以此类推。

　　src=不过，π 这个数字并不满足刘维尔的条件（不能用有理数无限逼近），因此 π 是不是超越数还是不清楚。

　　一个叫做 Charles Hermite 的法国数学家设计了一种巧妙的方法证明了自然对数的底数 e 是超越数。

　　这是第一个非人为设计的超越数，使得九年之后，德国数学家林德曼终于在他的理论之上，证明了 π 是超越数。

　　换言之，也就是说如果 ed 是代数数，但 d 要么是 0，要么是超越数。

　　这下，基于数学界中被公认为最完美的公式：欧拉恒等式，e π i= 1，就能推出 π 的类别了。

　　因为 -1 是代数数，基于刚刚的定理，π i 一定是超越数，由于 i 又是代数数，所以 π 一定是超越的。

　　π 是超越数就意味着 π 不符合上一段说的 可以画出来 的线段的定义，因此古希腊哲学家几千年前提出来的化圆为方的难题原来根本就不可能实现。

　　就在 e 被证明是超越数后不久，又一位数学家证明了无穷大的数其实有不同的大小，但有理数的无穷大与整数的无穷大相同。这样的集合被称为 可数无穷的（countably infinite）。

　　然而，实数和无理数的集合更大，是不可数的无穷大；与此同时，虽然代数数集包含所有有理数和无穷多个无理数，但它仍然是无穷大较小、可数的无限集合。

　　src=——虽说超越数这么多，但到了 20 世纪之交，数学家也只能确定其中非常少数的几个。

　　1900 年，当时有名的德国数学家戴维 · 希尔伯特列出了一份著名的 23 个最重要的未解决数学问题清单，其中第七个问题就是：

　　证明当 a 是代数数且不等于 0 或 1，而 b 是代数无理数时，ab 是超越数。

　　src=不久之后，又有数学家又发现 2 √ 2 是超越数。接着，前面戴维 · 希尔伯特列出的第七个问题也被两个数学家独立解决了。

　　再往后，数学家艾伦 · 贝克 ( Alan Baker ) 发表了一系列文章，将前面这些人的成果做了概括总结，使得我们对超越数有了更深刻的理解，因此还获得了 1970 年的菲尔兹奖。

　　当然，31 岁的他获此殊荣的最大成就还是证明诸如下面这样两个值也是超越数：

　　src=直到如今，关于超越数的开放问题还比比皆是，并且有许多具体的、看起来 非常超越 的数字，一直无法被证明，像什么 e π 、e+ π 、ee 、 ππ 、 π e …… 全都在列。

　　知道谁是超越数可能没有什么实际用处，但如果我们有能力知道却选择不知道，这肯定是不能接受的。