世界三大数学猜想
即费马猜想、四色猜想和哥德巴赫猜想。
费马猜想的证明于1994年由英国数学家安德鲁·怀尔斯(Andrew Wiles)完成,遂称费马大定理;
四色猜想的证明于1976年由美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)借助计算机完成,遂称四色定理;
哥德巴赫猜想尚未解决,目前最好的成果(陈氏定理)乃于1966年由中国数学家陈景润取得。这三个问题的共同点就是题面简单易懂,内涵深邃无比,影响了一代代的数学家。
费马猜想
内容:
当整数n > 2时,关于x,y,z的不定方程 x^n + y^n = z^n 无正整数解
发现:
费马在阅读丢番图《算术》拉丁文译本时,曾在第11卷第8命题旁写道:“将一个立方数分成两个立方数之和,或一个四次幂分成两个四次幂之和,或者一般地将一个高于二次的幂分成两个同次幂之和,这是不可能的。关于此,我确信已发现了一种美妙的证法 ,可惜这里空白的地方太小,写不下。”(拉丁文原文: "Cuius rei demonstrationem mirabilem sane detexi。 Hanc marginis exiguitas non caperet。")
毕竟费马没有写下证明,而他的其它猜想对数学贡献良多,由此激发了许多数学家对这一猜想的兴趣。数学家们的有关工作丰富了数论的内容,推动了数论的发展。对很多不同的n,费马定理早被证明了。但数学家对一般情况在首二百年内仍对费马大定理一筹莫展。
四色猜想
四色问题的内容:
“任何一张平面地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示,即“将平面任意地细分为不相重叠的区域,每一个区域总可以用1,2,3,4这四个数字之一来标记,而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域,是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点,就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。
四色猜想的提出:
来自英国。1852年,毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象:“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠,可是研究工作没有进展。
哥德巴赫猜想
内容:
史上和质数有关的数学猜想中,最著名的当然就是“哥德巴赫猜想”了。
一、任何不小于4的偶数,都可以是两个质数之和(如:4=2+2);
二、任何不小于7的奇数,都可以是三个质数之和(如:7=2+2+3)。
这就是数学史上著名的“哥德巴赫猜想”。显然,第二个猜想是第一个猜想的推论。因此,只需在两个猜想中证明一个就足够了。
发现:
同年6月30日,欧拉在给哥德巴赫的回信中, 明确表示他深信哥德巴赫的这两个猜想都是正确的定理,但是欧拉当时还无法给出证明。由于欧拉是当时欧洲最伟大的数学家,他对哥德巴赫猜想的信心,影响到了整个欧洲乃至世界数学界。从那以后,许多数学家都跃跃欲试,甚至一生都致力于证明哥德巴赫猜想。可是直到19世纪末,哥德巴赫猜想的证明也没有任何进展。证明哥德巴赫猜想的难度,远远超出了人们的想象。有的数学家把哥德巴赫猜想比喻为“数学王冠上的明珠”。