世界上至今未解的数学题说正经的，别乱来

世界近代三大数学难题之一四色猜想
四色猜想的提出来自英国.1852年,毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时,发现了一种有趣的现象：“看来,每幅地图都可以用四种颜色着色,使得有共同边界的国家着上不同的颜色.”这个结论能不能从数学上加以严格证明呢?他和在大学读书的弟弟格里斯研究一直没有进展.
1852年10月,他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密尔顿爵士请教.直到1865年哈密尔顿逝世为止,问题也没有能够解决.
1872年,英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题,于是四色猜想成了世界数学界关注的问题.1878～1880年两年间,著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文,宣布证明了四色定理.
11年后,即1890年,数学家赫伍德以自己的精确计算指出肯普的证明是错误的.不久,泰勒的证明也被人们否定了.于是,人们开始认识到,这个貌似容易的题目, 实是一个可与费马猜想相媲美的难题.
20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行.1913年,伯克霍夫在肯普的基础上引进了一些新技巧,美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色.1950年,有人从22国推进到35国.1960年,有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国.看来这种推进仍然十分缓慢.电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程.1976年,美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿判断,终于完成了四色定理的证明.四色猜想的计算机证明,轰动了世界.它不仅解决了一个历时100多年的难题,而且有可能成为数学史上一系列新思维的起点.不过也有不少数学家并不满足于计算机取得的成就,他们还在寻找一种简捷明快的书面证明方法.
--------
世界近代三大数学难题之一 费马最后定理
费马是十七世纪最卓越的数学家之一,他在数学许多领域中都有极大的贡献,本行是专业的律师,为了表彰他的数学造诣,世人冠以「业余王子」之美称,在三百六十多年前的某一天,费马正在阅读一本古希腊数学家戴奥芬多斯的数学书时,突然心血来潮在书页的空白处,写下一个看起来很简单的定理这个定理的内容是有关一个方程式 x2 + y2 =z2的正整数解的问题,当n=2时就是我们所熟知的毕氏定理（中国古代又称勾股弦定理）：x2 + y2 =z2,此处z表一直角形之斜边而x、y为其之两股,也就是一个直角三角形之斜边的平方等於它的两股的平方和,这个方程式当然有整数解（其实有很多）.
费马声称当n>2时,就找不到满足xn +yn = zn的整数解,例如：方程式x3 +y3=z3就无法
找到整数解.当时费马并没有说明原因,他只是留下这个叙述并且也说他已经发现这个定理的证明妙法,只是书页的空白处不够无法写下.始作俑者的费马也因此留下了千古的难题,三百多年来无数的数学家尝试要去解决这个难题却都徒劳无功.这个号称世纪难题的费马最后定理也就成了数学界的心头大患,极欲解之而后快.
十九世纪时法国的法兰西斯数学院曾经在一八一五年和一八六0年两度悬赏金质奖章和三百法郎给任何解决此一难题的人,可惜都没有人能够领到奖赏.德国的数学家佛尔夫斯克尔（P?Wolfskehl）在1908年提供十万马克,给能够证明费马最后定理是正确的人,有效期间为100年.其间由於经济大萧条的原因,此笔奖额已贬值至七千五百马克,虽然如此仍然吸引不少的「数学痴」.二十世纪电脑发展以后,许多数学家用电脑计算可以证明这个定理当n为很大时是成立的,1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243-1时费马定理是正确的（注286243-1为一天文数字,大约为25960位数）.
虽然如此,数学家还没有找到一个普遍性的证明.不过这个三百多年的数学悬案终於解决了,这个数学难题是由英国的数学家威利斯（Andrew Wiles）所解决.其实威利斯是利用二十世纪过去三十年来抽象数学发展的结果加以证明.五十年代日本数学家谷山丰首先提出一个有关椭圆曲现的猜想,后来由另一位数学家志村五郎加以发扬光大,当时没有人认为这个猜想与费马定理有任何关联.在八十年代德国数学家佛列将谷山丰的猜想与费马定理扯在一起,而威利斯所做的正是根据这个关联论证出一种形式的谷山丰猜想是正确的,进而推出费马最后定理也是正确的.这个结论由威利斯在1993年的6月於美国剑桥大学牛顿数学研究所的研讨会正式发表,这个报告马上震惊整个数学界,就是数学门墙外的社会大众也寄以无限的关注.不过威利斯的证明马上被检验出有少许的瑕疵,於是威利斯与他的学生又花了十四个月的时间再加以修正.1994年9月他们终於交出完整无瑕的解答,数学界的梦魇终於结束.1997年6月,威利斯在德国哥庭根大学领取了佛尔夫斯克尔奖.当年的十万法克约为两百万美金,不过威利斯领到时,只值五万美金左右,但威利斯已经名列青史,永垂不朽了.
要证明费马最后定理是正确的（即xn + yn = zn 对n33 均无正整数解只需证 x4+ y4 = z4 和xp+ yp = zp (P为奇质数),都没有整数解.
----------------
世界近代三大数学难题之一 哥德巴赫猜想
哥德巴赫是德国一位中学教师,也是一位著名的数学家,生于1690年,1725年当选为俄国彼得堡科学院院士.1742年,哥德巴赫在教学中发现,每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和.如6＝3＋3,12＝5＋7等等.1742年6月,哥德巴赫写信将这个问题告诉给意大利大数学家欧拉,并请他帮助作出证明.欧拉在6月30日给他的回信中说,他相信这个猜想是正确的,但他不能证明.叙述如此简单的问题,连欧拉这样首屈一指的数学家都不能证明,这个猜想便引起了许多数学家的注意.他们对一个个偶数开始进行验算,一直算到3.3亿,都表明猜想是正确的.但是对于更大的数目,猜想也应是对的,然而不能作出证明.欧拉一直到死也没有对此作出证明.从此,这道著名的数学难题引起了世界上成千上万数学家的注意.200年过去了,没有人证明它.哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”.到了20世纪20年代,才有人开始向它靠近.1920年、挪威数学家布爵用一种古老的筛选法证明,得出了一个结论：每一个比大的偶数都可以表示为(99).这种缩小包围圈的办法很管用,科学家们于是从(9十9)开始,逐步减少每个数里所含质数因子的个数,直到最后使每个数里都是一个质数为止,这样就证明了“哥德巴赫”. 1924年,数学家拉德马哈尔证明了(7＋7)；1932年,数学家爱斯尔曼证明了(6＋6)；1938年,数学家布赫斯塔勃证明了(5十5),1940年,他又证明了(4＋4)；1956年,数学家维诺格拉多夫证明了(3＋3)；1958年,我国数学家王元证明了(2十3).随后,我国年轻的数学家陈景润也投入到对哥德巴赫猜想的研究之中,经过10年的刻苦钻研,终于在前人研究的基础上取得重大的突破,率先证明了(l十2).至此,哥德巴赫猜想只剩下最后一步(1＋1)了.陈景润的论文于1973年发表在中国科学院的《科学通报》第17期上,这一成果受到国际数学界的重视,从而使中国的数论研究跃居世界领先地位,陈景润的有关理论被称为“陈氏定理”.1996年3月下旬,当陈景润即将摘下数学王冠上的这颗明珠,“在距离哥德巴赫猜想(1＋1)的光辉顶峰只有飓尺之遥时,他却体力不支倒下去了……”在他身后,将会有更多的人去攀登这座高峰.
几个未解的题.
1、求 (1/1)^3+（1/2）^3+(1/3)^3+(1/4)^3+(1/5)^3+ … +（1/n）^3=? 更一般地：
当k为奇数时 求(1/1)^k+（1/2）^k+(1/3)^k+(1/4)^k+(1/5)^k+ … +（1/n）^k=?
欧拉已求出：
(1/1)^2+（1/2）^2+(1/3)^2+(1/4)^2+(1/5)^2+ … +（1/n）^2=（π^2）/6
并且当k为偶数时的表达式.
2、e+π的超越性
此题为希尔伯特第7问题中的一个特例.
已经证明了e^π的超越性,却至今自50 年代以来,数学家便发现椭圆曲线与数论、几何、密码学等有著密切的关系.例如：怀尔斯（Wiles）证明费马最后定理,其中一个关键步骤就是用到椭圆曲线与模形式(modularform)之关系－即谷山-志村猜想,白之与斯温纳顿-戴尔臆测就是与椭圆曲线有关.
60年代英国剑桥大学的白之与斯温纳顿-戴尔利用电脑计算一些多项式方程式的有理数解.通常会有无穷多解,然而要如何计算无限呢?其解法是先分类,典型的数学方法是同余(congruence)这个观念并藉此得同余类(congruence class)即被一个数除之后的余数,无穷多个数不可能每个都要.数学家自然的选择了质数,所以这个问题与黎曼猜想之Zeta 函数有关.经由长时间大量的计算与资料收集,他们观察出一些规律与模式,因而提出这个猜测.他们从电脑计算之结果断言：椭圆曲线会有无穷多个有理点,若且唯若附於曲线上面的 Zeta 函数ζ (s) = 时取值为0,即ζ (1)；当s1= 0
7.霍奇臆测(Hodge Conjecture)
「任意在非奇异投影代数曲体上的调和微分形式,都是代数圆之上同调类的有理组合.」最后的这个难题,虽不是千禧七大难题中最困难的问题,但却可能是最不容易被一般人所了解的.因为其中有太多高深专业而且抽象参考资料：《数学的100个基本问题》《数学与文化》《希尔伯特23个数学问题回顾》