费马纪念邮票

1637年左右，“业余数学家之王”费马先生在阅读丢番图《算术》拉丁文译本时，曾在第11卷第8命题旁写道：“将一个立方数分成两个立方数之和，或一个四次幂分成两个四次幂之和，或者一般地将一个高于二次的幂分成两个同次幂之和，这是不可能的。关于此，我确信已发现了一种美妙的证法 ，可惜这里空白的地方太小，写不下。”

好一个“空白的地方太小，写不下”，终使无数后代数学家们前仆后继。

欧拉、狄利克雷、勒让德、拉梅、高斯的学生库默尔、勒贝格、谷山丰等等开始接力猜想的证明过程。

终于在猜想提出350多年后的1994年由英国数学家安德鲁·怀尔斯（Andrew Wiles）完成，遂称费马大定理。

当然，怀尔斯解决这个猜想本身就是一个精彩传奇。

数学家安德鲁·怀尔斯

四色猜想的提出也颇具生活化。1852年，毕业于伦敦大学的格斯里（FrancisGuthrie）来到一家科研单位搞地图着色工作时，发现每幅地图都可以只用四种颜色着色。于是，他做了一个很自然地思考：这个现象能不能从数学上加以严格证明呢？

数学源于生活啊！

这个猜想若到此，也就不会激起再大的反响。恰恰是格斯里的弟弟的导师正是著名数学家德·摩尔根，这位德·摩尔根有位好友数学家正是发明“四元数”的著名数学家哈密尔顿爵士。而问题恰恰就出在这位神童爵士到死没有解决这个问题。这时，大家才意识到这个问题的严重性。

数学家哈密尔顿

1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题，于是又一个猜想引得无数一流数学家抛头颅洒热血。

数学家凯利

经过肯普、赫伍德等人的努力后，证明了一个较弱的命题——五色定理，即，对地图着色，用五种颜色就够了。这时，又到了一个瓶颈，越来越多的数学家绞尽脑汁，再无进展。人们也开始认识到，这个貌似容易的题目，其实是一个与费马猜想相媲美的难题。

最后，在1976年6月，美国伊利诺斯大学的两台不同的电子计算机上，两位数学家阿佩尔（Kenneth Appel）与哈肯（Wolfgang Haken）用了1200个小时，作了100亿判断，结果没有一张地图是需要五色的，最终证明了四色定理，轰动了世界。遂称四色定理。

一枚纪念邮票，上面写着“四种颜色就够了”

有意思的是，这个问题的研究意外带动拓扑学与图论的生长、发展。

看似简单的问题，真的不简单。这本身就是大自然留给人类的一个无限的谜。

至此，世界三大猜想已然解决了两个，剩下最后一个哥德巴赫猜想至今尚未彻底解决。

这个哥德巴赫猜想，与大文豪歌德无关，当然，亦非“西方近代音乐之父”巴赫所为，而是源自于一位与之同时代的德国数学爱好者哥德巴赫（Goldbach C.）。

这位富家子弟哥德巴赫喜欢结交数学家，与数学史上最伟大的家族伯努利家族结识，和大数学家欧拉是好友。真是物以类聚，人以群分。

1742年6月7日，哥德巴赫写信给欧拉，提出了一个猜想：任何一个奇数，比如77，可以把它写成三个素数之和，即77=53+17+7；又如461可以写成257+199+5，仍然是三个素数之和。即发现“任何大于5的奇数都是三个素数之和。”

1742年6月30日欧拉先生给哥德巴赫回信了：这个命题看来是正确的，但是暂给不出严格的证明。同时欧拉对上述命题做了修改：任何一个大于2的偶数都是两个素数之和。这个欧拉版本是现在常见的猜想陈述，当然，他到死也没能给予证明。

大数学家没能解决的问题，当然吸引人。1770年，英国数学家爱德华·华林（Waring Edward）首先将它公之于众。于是，又一场新的数学追逐赛开始了。

研究偶数的哥德巴赫猜想常见有四个途径，其中殆素数（素因子个数不多的正整数）是个重要途径。即常用“a+b”这样的形式表示如下命题：每个大偶数N都可表为A+B，其中A和B的素因子个数分别不超过a和b，即N=A+B。易知，哥德巴赫猜想就是证明N可以写成"1+1"。

200多年过去了，至今没有完全解决。不过由此猜想带来的数学新方法则层出不穷，从另一方面促进数学自身的发展。

我国最早研究哥德巴赫猜想的数学家是华罗庚先生。后，王元、潘承洞和陈景润等在哥德巴赫猜想的证明上取得了相当好的成绩。目前最好的成果（陈氏定理）乃于1966年由中国数学家陈景润取得，即所谓的 “1 + 2 ”。

数学家陈景润的墓碑

或许，最后要摘下这颗数学上的明珠，还在等待新的数学新方法吧！

这三大数学猜想看似简单易懂，一般人都能理解，但实则内涵深邃无比，不可轻易触碰。

而从数学史上看，某一阶段的数学猜想的总结与重接提出又往往引领着数学的发展与方向。

数学巨匠大卫·希尔伯特在1900年8月8日于巴黎召开的第二届世界数学家大会上的著名演讲中提出了23个数学难题。在过去百年中激发数学家的智慧，指引数学前进的方向，其对数学发展的影响和推动是巨大的，无法估量的。其中，除了第8、9、15、16个问题未解决或部分解决，其它大部分已经解决。

大卫·希尔伯特

然后，在过了百年后的2000年，根据数学一世纪以来空前的发展，美国克雷数学研究所的科学顾问委员会又选定了七个“千年大奖问题”，克雷数学研究所的董事会还建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得一百万美元的奖励。

同样的，“千年大奖问题”一经提出，便在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。

至今，已有一个被解决，即庞加莱猜想由俄罗斯数学家格里戈里·佩雷尔曼破解，还剩六个。

不过，现在看来，能解决这些猜想的数学家都不是一般的怪才。这位谜一样的天才格里戈里·佩雷尔曼同样不一般，千禧数学奖颁奖时他不在场，他还拒绝了数学界的最高荣誉——菲尔兹奖，这可是许多数学家们毕生所追求的无上荣誉。

格里戈里·佩雷尔曼

当然，既然是猜想，也就有猜错的可能。

更甚者，若是大数学家自己猜错，可能就带来后世数学家几百年的折腾。

下面，我们不妨领略一二。

毕达哥拉斯

首先出场的，就是大名鼎鼎的毕达哥拉斯学派。

毕达哥拉斯学派是数学史上最早以理性的逻辑思维，即从数理的角度探求自然本原的学派。

不过，他们所谓的“一切数”是均可表成整数或整数之比的数（即我们所知的有理数）。得出这个结论，当然不是演绎推理的结果，而是基于经验基础和其哲学思想基础上的一个归纳总结。在数学层面上看充其量就是一个数学猜想。

因为毕达哥拉斯神一般的地位，当时，无人怀疑。

然而，戏剧性的是毕达哥拉斯学派从数学问题本身出发的推导出了毕达哥拉斯定理（即勾股定理），于是，注定成了自己数学信仰的“掘墓人”。

其学派中的一个成员希帕索斯在利用毕达哥拉斯定理研究边长为1的正方形时，发现其对角线的长度无法用整数或整数之比来表示，也就是说，这个数并非他们学派一直信仰的“数”。这就是数学史踢出的第一个乌龙球“根号2”。

不过，这个现在中学生习以为常的一个数，在当时社会的出现，不管是对数学，还是哲学，都是一个致命的打击。该学派领导人惶恐之余，认为这将动摇他们在学术界的统治地位，也动摇了他们对数的信仰。于是极力封锁该真理的流传，希伯索斯被迫流亡他乡，不幸的是，在一条海船上还是遇到毕氏门徒，于是希伯索斯被残忍地扔进了大海。这个希伯索斯算是史上有记载的第一位为真理献身的数学家了。

他们猜错了，还不认错，这才是真正可悲的事。

当然，数学真理终究是无法隐盖的。这个根号2最终导致了数学史上第一次数学危机的发生，也让人们发现了无理数的存在。

费马

还是那位提出费马大猜想的费马先生。他发现：

前5个都是素数，因为第6个数实在太大了，费马认为这个数也是质数。由此，费马于1640年提出了以下猜想：形如  的数都是质数的猜想。后来人们就把形如的数叫费马数。

大家要知道，探寻这个式子在数学史上的意义。几千年以来，人们都在苦苦探寻数学DNA——素数的普遍公式，甚至连这样的式子到底存不存在都是个问题，所以，当费马提出这样一个能表示素数的公式，必然引起人们的兴趣与关注。

1729年12月1日，还是那位哥德巴赫（哥德巴赫猜想的提出者）又给欧拉写了一封信，问道：“费马认为所有形如的数都是素数，你知道这个问题吗？他说他没能作出证明。据我所知，也没有其他任何人对这个问题作出过证明。”

这位数学爱好者哥德巴赫虽然没有研究什么大的数学问题，但绝对算是数学史上的一位福星，不断发现并提出问题，从而意外推进数学的发展。

再说这位欧拉，1732年，年仅25岁，但已经于前一年获得物理学教授的职位，再过两年就将接替他的老师丹尼尔成为数学所所长 。就这样，这个天才数学家在费马死后67年得出F₅ =641×6700417，这一结果意味着F₅ 是一个合数，从而宣告了费马的猜想是错的。

马也有失前蹄的时候啊！

费马，这位伟大的数论天才看来过于相信自己的直觉，轻率地做出了他一生唯一的一次大的离谱的错误猜测——因为，迄今为止，费马数除了被其本人所证实的那五个外竟然没有再发现一个！

于是，人们又开始了另一猜想：在所有的费马数中，除了前五个是素数外，其他的都是合数。

至于这个猜想，至今，仍不得而知。

欧拉纪念邮票

欧拉在研究费马最后定理（前面提到的费马猜想）时引出一个猜想，每个大于2的整数n，任何n- 1个正整数的n次幂的和都不是某正整数的n次幂。即

比如，当n=4时，即

欧拉猜想这个方程无整数解。

二百年来，没有人能证明欧拉猜想，但也没有人能找出一个反例来否定它。直到1966年，L. J. Lander和T. R. Parkin找到了第一个反例：

接着于1988年，哈佛大学的 Noam Elkies 又发现n=4时的一个解：

同时，Noam Elkies 也证明了这个方程有无穷多个解。自此，欧拉猜想也有了结论，大数学家也有猜错的时候。

梅森

最后，我们再来提一下梅森数。

17世纪法国著名的僧侣数学家马林•梅森（Mersenne）在欧几里得、费马等人有关研究的基础上对2^p－1（数学界把这种数称为 “梅森数”，并以Mp记之。）作了大量的计算、验证，并于1644年在他的《物理数学随感》一书中断言：

因为梅森的地位，同样地，250年来，人们对其断言也是深信不疑。

直到1903年，哥伦比亚大学的数学家科尔（Frank Nelson Cole,1861～1926）在美国数学会的一个会议上作了一篇《论大数的因式分解》。只见，科尔写下了2⁶⁷ -1=147 573 952 589 676 412 927=193 707 721×761 838 257 287。

于是，梅森猜想这个百年神话顷刻间破灭。

数学猜想的证明之路漫漫，数学猜想的提出也必将继续不断。只是正如Simon Singh在其所著的《费马大定理：一个困惑了世间智者358年的谜》所言：“这里的教训是，你不能通过只对前一百万个数字来证明一个猜想对所有的数都成立。”

本文来源于微信公众号“数学与艺术MaA”，经授权转载。

投稿、授权等请联系：iscientists@126.com

您可回复"年份+月份"（如201510），获取指定年月文章，或返回主页点击子菜单获取或搜索往期文章。

赛先生为知识分子公司旗下机构。国际著名科学家文小刚、刘克峰担任《赛先生》主编。

我们相信，每个人都可以成为“赛先生”。

微信号：iscientists

▲

长按图片识别二维码，关注我们

点击“阅读原文”，加入科学队长！