有趣的数学：世界三大数学猜想

数学三大猜想一般指世界三大数学猜想，即费马猜想、四色猜想和哥德巴赫猜想。这三个问题的共同点就是题面简单易懂，内涵深邃无比，影响了一代代的数学家。今天极客数学帮分享给大家。

费马猜想的证明于1994年由英国数学家安德鲁·怀尔斯（Andrew Wiles）完成，遂称费马大定理；

四色猜想的证明于1976年由美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)借助计算机完成，遂称四色定理；

哥德巴赫猜想尚未解决，目前最好的成果（陈氏定理）乃于1966年由中国数学家陈景润取得。

费马大定理

内容

当整数n > 2时，关于x,y,z的不定方程 x^n + y^n = z^n无正整数解。

简介

这个定理，本来又称费马最后的定理，由17世纪法国数学家费马提出，而当时人们称之为“定理”，并不是真的相信费马已经证明了它。虽然费马宣称他已找到一个绝妙证明，德国佛尔夫斯克宣布以10万马克作为奖金奖给在他逝世后一百年内，第一个证明该定理的人，吸引了不少人尝试并递交他们的“证明”。在一战之后，马克大幅贬值，该定理的魅力也大大地下降。

但经过三个半世纪的努力，这个世纪数论难题才由普林斯顿大学英国数学家安德鲁·怀尔斯和他的学生理查·泰勒于1994年成功证明。证明利用了很多新的数学，包括代数几何中的椭圆曲线和模形式，以及伽罗华理论和Hecke代数等，令人怀疑费马是否真的找到了正确证明。而安德鲁·怀尔斯由于成功证明此定理，获得了1998年的菲尔兹奖特别奖以及2005年度邵逸夫奖的数学奖。

四色猜想

将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。

四色猜想的内容：如果在平面上划出一些邻接的有限区域，那么可以用四种颜色来给这些区域染色，使得每两个邻接区域染的颜色都不一样

地图四色定理(Four color theorem)最先是由一位叫古德里Francis Guthrie的英国大学生提出来的。德·摩尔根（Augustus De Morgan）（1806-1871）1852年10月23日致哈密顿的一封信提供了有关四色定理来源的最原始的记载。

“四色问题”的被证明不仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明方法。

哥德巴赫猜想

内容

一、任何不小于4的偶数，都可以是两个质数之和（如：4=2+2）；

二、任何不小于7的奇数，都可以是三个质数之和（如：7=2+2+3）。

简介

哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想，但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。

因现今数学界已经不使用“1也是素数”这个约定，原初猜想的现代陈述为：任一大于5的整数都可写成三个质数之和。欧拉在回信中也提出另一等价版本，即任一大于2的偶数都可写成两个质数之和。

今日常见的猜想陈述为欧拉的版本。把命题"任一充分大的偶数都可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和"记作"a+b"。1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。

今日常见的猜想陈述为欧拉的版本，即任一大于2的偶数都可写成两个素数之和，亦称为“强哥德巴赫猜想”或“关于偶数的哥德巴赫猜想”。

从关于偶数的哥德巴赫猜想，可推出：任一大于7的奇数都可写成三个质数之和的猜想。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。若关于偶数的哥德巴赫猜想是对的，则关于奇数的哥德巴赫猜想也会是对的。弱哥德巴赫猜想尚未完全解决，但1937年时前苏联数学家维诺格拉多夫已经证明充分大的奇质数都能写成三个质数的和，也称为“哥德巴赫-维诺格拉朵夫定理”或“三素数定理”。

以上为极客数学帮整理分享数学与历史：世界三大数学猜想，当然如果你上面的题目都解不开看不懂的话，很正常，毕竟我们抢不了数学家的饭碗。