世界十大数学难题和世界十大物理难题

世界近代三大数学难题1、费尔马大定理费尔马大定理起源于三百多年前，挑战人类 3个世纪，屡次震惊全世界，耗尽人类众多最出色大脑的精力，也让千千万万业余者痴迷。最终在 1994年被安德鲁〃怀尔斯攻克。古希腊的丢番图写过一本著名的“算术”，经受中世纪的愚昧黑暗到文艺复兴的时候，“算术”的残本重被觉察争论。1637年，法国业余大数学家费尔马〔 Pierre deFremat〕在“算术”的关于勾股数问题的页边上，写下猜测：x^n＋ y^n ＝z^n 是不行能的〔这里 n大于2；a，b，c，n都是非零整数)。此猜测后来就称为费尔马大定理。费尔马还写道“我对此有绝妙的证明，但此页边太窄写不下”。一般公认，他当时不可能有正确的证明。猜测提出后，经欧拉等数代天才努力， 200年间只解决了 n＝3,4,5,7四种情形。1847年，库木尔创立“代数数论”这一现代重要学科，对很多 n〔例如100以内〕证明白费尔马大定理，是一次大飞跃。历史上费尔马大定理高潮迭起，传奇不断。其惊人的魅力，曾在最终时刻挽救青年于不死。他就是德国的沃尔夫斯克勒，他后来为费尔马大定理设悬赏10万马克〔相当于现在160万美元多〕，期限1908－2007年。很多人耗尽心力，空留浩叹。最现代的电脑加数学技巧，验证了400万以内的N，但这对最终证明无济于事。1983年德国的法尔廷斯证明白：对任一固定的n，最多只有有限多个a，b，c振动了世界，获得费尔兹奖〔数学界最高奖〕。历史的转机发生在1986年夏，贝克莱〃瑞波特证明白:费尔马大定理包含在“谷山丰—志村五朗猜想 ”之中。童年就痴迷于此的怀尔斯，闻此马上潜心于顶楼书房 7年，曲折卓绝，集合了 20世纪数论全部的突破性成果。最终在 1993年6月23日剑桥大学牛顿争论所的“世纪演讲”最终，宣布证明白费尔马大定理。马上震惊世界，普天同庆。不幸的是，数月后渐渐觉察此证明有漏洞，一时更成世界焦点。这个证明体系是千万个浅显数学推理连接成千个最现代的定理、事实和计算所组成的千百回转的 规律网络，任何一环节的问题都会导致前功尽弃。怀尔斯绝境搏斗，毫无出路。1994年9月19日，星期一的早晨，怀尔斯在思维的闪电中突然找到了迷失的钥匙：解答原来就在废墟中！他热泪夺眶而出。怀尔斯的历史性长文“模椭圆曲线和费尔马大定理”1995年5月发表在美国《数学年刊》第142卷，实际占满了全卷，共五130页。1997年6月27日，怀尔斯获得沃尔夫斯克勒10万马克悬赏大奖。离截止期10年，圆了历史的梦。他还获得沃尔夫奖(1996.3〕，美国国家科学家院奖〔1996.6〕，费尔兹特别奖〔1998.8〕。2、四色问题四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重叠的区域，每一个区域总可以用 1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到一样的数字。”〔右图〕这里所指的相邻区域，是指有一整段边界是公共的。假设两个区域只相遇于一点或有限多点，就不叫相邻的。由于用一样的颜色给它们着色不会引起混淆。四色猜测的提出来自英国。 1852年，毕业于伦敦大学的弗南西斯〃格思里来到一家科研单位搞地图着色工作时，觉察了一种好玩的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟 格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是争论工作没有进展。1852年10月23日，他的弟弟就这个问题的证明请教了他的教师、著名数学家德〃摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家 汉密尔顿爵士请教。汉密尔顿接到摩尔根的信后，对四色问题进展论证。但直到 1865年汉密尔顿逝世为止，问题也没有能够解决。1872年，英国当时最著名的数学家 凯利正式向伦敦数学学会提出了这个问题，于是四色猜测成了世界数学界关注的问题。世界上很多一流的数学家都纷纷参与了四色猜测的大会战。 1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜测的论文，宣布证明白四色定理，大家都认为四色猜测从今也就解决了。肯普的证明是这样的：首先指出假设没有一个国家包围其他国家， 或没有三个以上的国家相遇于一点，这种地图就说是“正规的”〔左图〕。如为正规地图，否则为非正规地图〔右图〕。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，假设有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜测成立，只要证明不存在一张正规五色地图就足够了。肯普是用归谬法来证明的，大意是假设有一张正规的五色地图，就会存在一张国数最少的“微小正规五色地图”，假设微小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有微小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明白“四色问题”，但是后来人们觉察他错了。不过肯普的证明说明白两个重要的概念，对以后问题的解决供给了途径。第一个概念是 “构形”。他证明白在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不行避免的，每张地图至少含有这四种构形中的一个。肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普的论证。他证明白只要五色地图中有一国具有四个邻国，就会有国数削减的五色地图。自从引入“构形”，“可约”概念后，逐步发展了检查构形以打算是否可约的一些标准方法，能够寻求可约构形的不行避开组，是证明“四色问题”的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当简单的。11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的准确计算指出了肯普在证明上的漏洞。他指出肯普说没有微小五色地图能有一国具有五个邻国的理由有马脚。不久，泰勒的证明也被人们否认了。人们觉察他们实际上证明白一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开头生疏到，这个貌似简洁的题目，其实是一个可与费马猜测相媲美的难题。进入20世纪以来，科学家们对四色猜测的证明根本上是依据肯普的想法在进展。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己的设想；证明白某些大的构形可约。后来美国数学家富兰克林于1939年证明白22国以下的地图都可以用四色着色。1950年，有人从22国推动到35国。1960年，有人又证明白39国以下的地图可以只用四种颜色着色；随后又推动到了50国。看来这种推动仍旧格外缓慢。高速数字计算机的制造，促使更多数学家对“四色问题”的争论。从1936年就开头争论四色猜测的海克，公开宣称四色猜测可用查找可约图形的不行避开组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都 (称为顶点)及铁路(称为弧或边)外，擦掉其他全部的线，剩下的称为原图的对偶图。到了六十年月后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不行避开组。在海克的争论中第一次以颇不成熟的形式消灭的“放电法”，这对以后关于不行避开组的争论是个关键，也是证明四色定理的中心要素。电子计算机问世以后，由于演算速度快速提高，加之人机对话的消灭，大大加快了对四色猜测证明的进程。美国伊利诺大学哈肯在 1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月他们在美国伊利诺斯大学的两台不同的电子计算机上， 用了1200个小时，作了100亿推断，最终完成了四色定理的证明，轰动了世界。这是一百多年来吸引很多数学家与数学爱好者的大事，当两位数学家将他们的争论成果发表的时候，当地的邮局在当天发出的全部邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。“四色问题”的被证明仅解决了一个历时 100多年的难题，而且成为数学史上一系列思维的起点。在“四色问题”的争论过程中，不少的数学理论随之产生，也进展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。不过不少数学家并不满足于计算机取得的成就，他们认为应当有一种简捷明快的书面证明方法。直到现在，仍由不少数学家和数学爱好者在查找更简洁的证明方法。3、哥德巴赫猜测史上和质数有关的数学猜测中，最著名的固然就是“ 哥德巴赫猜测”了。1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了两个大胆的猜测：一、任何不小于 6的偶数，都是两个奇质数之和；二、任何不小于 9的奇数，都是三个奇质数之和。这就是数学史上著名的“哥德巴赫猜测”。明显，其次个猜测是第一个猜测的推论。因此，只需在两个猜测中证明一个就足够了。同年6月30日，欧拉在给哥德巴赫的回信中， 明确表示他深信哥德巴赫的这两个猜测都是正确的定理，但是欧拉当时还无法给出证明。由于欧拉是当时欧洲最宏大的数学家，他对哥德巴赫猜测的信念，影响到了整个欧洲乃至世界数学界。从那以后，很多数学家都跃跃欲试，甚至一生都致力于证明哥德巴赫猜想。可是直到19世纪末，哥德巴赫猜测的证明也没有任何进展。证明哥德巴赫猜测的难度，远远超出了人们的想象。有的数学家把哥德巴赫猜测比方为“数学王冠上的明珠”。我们从6＝3＋3、8＝3＋5、10＝5＋5、……、100＝3＋97＝11＋89＝17＋83、……这些具体的例子中，可以看出哥德巴赫猜测都是成立的。有人甚至逐一验证了 3300万以内的全部偶数，竟然没有一个不符合哥德巴赫猜测的。20世纪随着计算机技术的进展，数学家们觉察哥德巴赫猜测对于更大的数照旧成立。可是自然数是无限的，谁知道会不会在某一个足够大的偶数上，突然消灭哥德巴赫猜测的反例呢？于是人们逐步转变了探究问题的方式。1900年，20世纪最宏大的数学家希尔伯特，在国际数学会议上把“哥德巴赫猜测”列为 23个数学难题之一。此后，20世纪的数学家们在世界范围内“联手”进攻“哥德巴赫猜测”堡垒，最终取得了辉煌的成果。20世纪的数学家们争论哥德巴赫猜测所承受的主要方法，是筛法、圆法、密率法和三角和法等等高深的数学方法。解决这个猜测的思路，就像“缩小包围圈”一样，逐步靠近最终的结果。1920年，挪威数学家布朗证明白定理“9＋9”，由此划定了进攻“哥德巴赫猜测”的“大包围圈”。这个“9＋9”是怎么回事呢？所谓“9＋9”，翻译成数学语言就是：“任何一个足够大的偶数，都可以表示成其它两个数之和，而这两个数中的每个数，都是 9个奇质数之积。” 从这个“9＋9”开头，全世界的数学家集中力气“缩小包围圈”，固然最终的目标就是“1＋1”了。1924年，德国数学家雷德马赫证明白定理“7＋7”。很快，“6＋6”、“5＋5”、“4＋4”和“3＋3”逐一被攻陷。1957年，我国数学家王元证明白“2＋3”。1962年，中国数学家潘承洞证明白“1＋5”，同年又和王元合作证明白“1＋4”。 1965年，苏联数学家证明白“1＋3”。1966年，我国著名数学家陈景润攻克了“1＋2”，也就是：“任何一个足够大的偶数，都可以表示成两个数之和，而这两个数中的一个就是奇质数，另一个则是两个奇质数的积。”这个定理被世界数学界称为“陈氏定理”。由于陈景润的奉献，人类距离哥德巴赫猜测的最终结果“1＋1”仅有一步之遥了。但为了实现这最终的一步，或许还要历经一个漫长的探究过程。有很多数学家认为，要想证明“1＋1”，必需通过制造的数学方法，以往的路很可能都是走不通的。世界七大数学难题这七个“千年大奖问题”是：NP完全问题、霍奇猜测、庞加莱猜测、黎曼假设、杨－米尔斯理论、纳卫尔－斯托可方程、BSD猜测。美国麻州的克雷〔Clay〕数学争论所于2000年5月24日在巴黎法兰西学院宣 布了一件被媒体炒得炽热的大事：对七个“千年数学难题”的每一个悬赏一百万美元。其中有一个已被解决(庞加莱猜测),还剩六个.〔庞加莱猜测，已由俄罗斯数学家格里戈里〃佩雷尔曼破解。我国中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东做了证明的封顶工作。〕整个计算机科学的大厦就建立在图灵机可计算理论和计算简单性理论的根底上,一旦证明P=NP,算机科学的一场打算性的突破,在软件工程实践中,将革命性的提高效率.从工业,农业,军事,医疗到生活,软件在它的各个应用域,都将是一个飞跃.P=NP吗?这个问题是著名计算机科学家(1982年图灵奖得主)斯蒂文〃考克〔StephenCook〕于1971年觉察并提出的.“千年大奖问题”公布以来，在世界数学界产生了猛烈反响。这些问题都是关于数学根本理论的，但这些问题的解决将对数学理论的进展和应用的深化产生巨大推动。生疏和争论“千年大奖问题”已成为世界数学界的热点。不少国家的数学家正在组织联合攻关。可以预期，“千年大奖问题”将会转变世纪数学进展的历史进程。一、Ｐ〔多项式算法〕问题对ＮＰ〔非多项式算法〕问题在一个周六的晚上，你参与了一个盛大的晚会。由于感到局促担忧，你想知道这一大厅中是否有你已经生疏的人。你的仆人向你提议说，你肯定生疏那位正在甜点盘四周角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且觉察你的仆人是正确的。然而，假设没有这样的示意，你就必需环顾整个大厅，一个个地打量每一个人，看是否有你生疏的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，假设某人告知你，数１３，７１７，４２１可以写成两个较小的数的乘积，你可能不知道是否应当信任他，但是假设他告知你它可以因式分解为３６０７乘上３８０３，那么你就可以用一个袖珍计算器简洁验证这是对的。不管我们编写程序是否灵活，判定一个答案是可以很快利用内部学问来验证，还是没有这样的提示而需要花费大量时间来求解，被看作规律和 计算机科学中最突出的问题之一。它是斯蒂文〃考克于１９７１年陈述的。二、霍奇(Hodge)猜测二十世纪的数学家们觉察了争论简单对象的外形的强有力的方法。根本想法是问在怎样的程度上，我们可以把给定对象的外形通过把维数不断增加的简洁几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用很多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们争论中所遇到的形形色色的对象进展分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何动身点变得模糊起来。在某种意义下，必需加上某些没有任何几何解释的部件。霍奇猜测断言，对于所谓射影代数簇这种特别完善的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的 (有理线性)组合。三、庞加莱(Poincare)猜测假设我们伸缩围绕一个苹果外表的橡皮带，那么我们可以既不扯断它，也不让它离开外表，使它渐渐移动收缩为一个点。另一方面，假设我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有方法把它收缩到一点的。我们说，苹果外表是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面 (四维空间中与原点有单位距离的点的全体 )的对应问题。这个问题马上变得无比困难，从那时起，数学家们就在为此奋斗。在2002年11月和2003年7月之间，俄罗斯的数学家格里戈里〃佩雷尔曼在arX发表了三篇论文预印本，并声称证明白几何化猜测。在佩雷尔曼之后，先后有3组争论者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密西根大学的布鲁斯〃克莱纳和约翰〃洛特；哥伦比亚大学的约翰〃摩根和麻省理工学院的田刚；以及理海大学的曹怀东和中山大学的朱熹平。2006年8月，第25届国际数学家大会授予佩雷尔曼菲尔兹奖。数学界最终确认佩雷尔曼的证明解决了庞加莱猜测。四、黎曼(Riemann)假设有些数具有不能表示为两个更小的数的乘积的特别性质，例如，2、3、5、7……等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在全部自然数中，这种素数的分布并不遵循任何有规章的模式；然而，德国数学家黎曼(1826~1866)观看到，素数的频率严密相关于一个细心构造的所谓黎曼蔡塔函数z(s$z(s)=0的全部有意义的解都在一条直线上。这点已经对于开头的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的很多奇特带来光明。五、杨－米尔斯(Yang-Mills)存在性和质量缺口量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对根本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯觉察，量子物理提醒了在根本粒子物理与几何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的试验室中所履行的高能试验中得到证明：布罗克哈文、斯坦福、欧洲粒子物理争论所 和筑波。尽管如此，他们的既描述重粒子、又在数学上严格的 方程没有的解。特别是，被大多数 物理学家所确认、并且在他们的对于“夸克”的不行见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满足的证明。在这一问题上的进展需要在物理上和数学上两方面引进根本上的观念。六、纳维叶－斯托克斯 (Navier-Stokes)方程的存在性与光滑性起伏的波浪跟随着我们的正在湖中曲折穿梭的小船，湍急的气流跟随着我们的现代 喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进展解释和预言。虽然这些方程是 19世纪写下的，我们对它们的理解仍旧极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐蔽在纳维叶－斯托克斯方程中的奇特。七、贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜测数学家总是被诸如 x2+y2=z2那样的代数方程的全部整数解的刻画问题着迷。 欧几里德曾经对这一方程给出完全的解答，但是对于更为简单的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇指出，希尔伯特第十问题是不行解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜测认为，有理点的群的大小与一个有关的蔡塔函数 z(s)在点s=1四周的性态。特别是，这个好玩的猜测认为，假设 z(1)等于0,那么存在无限多个有理点 (解)，相反，假设z(1)不等于0,那么只存在有限多个这样的点。干年疯狂无独有偶，上月，存圣巴巴拉加州大学，物理学家们像通常那样不事张扬地完毕了一次有关超弦理论的会议。他们的最终一次争论题为“干年疯狂”，议程是选择出他们领域中10最聪明的一批人参与的荒岛玩耍。圣巴巴拉加州大学的理论物理学家戴维〃格罗斯在公布选出的问题时说：“我是这样考虑的：假设我从现在起昏迷100在剔除一些大法问答的问题(例如“怎样获得终身职位?”)后，评委们列出了足够让物理学家忙上100年的难题。尽管没有任何悬赏，不过，解决以下问题中的任何一个差不多都能保证获得诺贝尔奖。历吏或量子力学偶发大事，因而也是无法推算的参数?爱因斯坦的表述更为清楚：上帝在制造宇宙时是否有选择?想象上帝坐在掌握台前，预备引发宇宙大爆炸。“我该把光速定在多少?”“我该让这种名叫电子的小点带多少电荷?”“我该把普朗克常数——即打算量子大小的参数——的数值定在多大?”他是不是为了赶时间而胡乱抓来几个数字?抑或这些数值必需如此，由于其中深藏着某种规律?量子引力如何帮助解释宇宙起源?现代物理学的两大理论是标准模型和广义相对论。前者利用量子力学来描述亚原子粒子以及它们所听从的作用力，而后者是有关引力的理沦。很久以来，物理学家期望合二为一，得到一种“万物至理”——即量子引力论，以便更深入地了解宇宙包括宇宙是如何随着大爆炸自然地诞生的实现这种融合的首要候选理论是超弦理论或者叫M理论——这是其名称的最“升级版”， M代表“魔法”( magic)、“奇特”( mystery)或“全部理论之母”(motherofalltheories)。质子的寿命有多长，如何来理解?以前人们认为质子与中子不同，它永久不会分裂成更小的颗粒。这曾被当成真理。然而在70年月，理论物理学家生疏到，他们提出的各种可能成为“大一统理论”——该理论把除引力外的全部作用力汇于一炉——的理论示意：质子必需是不稳定的。只要有足够长的时间，在极其偶然的状况下，质子是会分裂的。方法是捕获到正在死去的质子。很多年来，试验人员始终在地下试验空中亲热注视大型的水槽，等待着原子内部质子的死去。但迄今未止质子的死亡率是零，这意味着要么质子格外稳定，要么它们的寿命很长——估量在10亿亿亿亿年以上。自然界是超对称的吗？假设是，超对称性是如何破灭的?切的关系，这种关系就是所谓的超对称现象。第一种粒子是费密子，可以把它们粗略地说成是物质的根本组件，就像质子、电子和中子一样。它们聚拢在一起组成物质。另一种粒子是玻色子，它们是传递作用力的粒子，类似于传递光的光子。在超对称的条件下，每一个费密子都有一个与之对应的玻色子，反之亦然。物理学家有杜撰奇异名字的冲动，他们把所谓的超级对称粒子称为“Sparticle”。但由于在自然界中还没有观看到sparticle，物理学家还需要解释这种对称性“破灭”的缘由：随着宇宙冷却并分散成现在的这种不对称状态，在其诞生之际所存在的数学上的完善被打破了。为什么宇宙表现为一个时间维数和三个空间维数?这只是由于还没有想到一个可以承受的答案，只是由于除了上下、左右、前后，人们无法想像在更多的方向上运格外微小，因而无法觉察。假设这一理论是正确的，那么为什么只有这三个维数是伸开放来的，留给我们这个相对幽闭恐惧的空间呢?为什么宇宙常数有它自身的数值?它是否为零，是否真正恒定?直到最近，宇宙学家仍旧认为宇宙是以一个稳定的速度在膨胀。但最近的观看觉察，宇宙可能膨胀得越来越快。人们用一个叫宇宙常数的数字来描述这种稍微的加速。这个常数是否如人们早期所认为的是零，或者是一个格外小的数值，物理学家现在还无法做出解释。依据一些根本计算，这个常数应当很大——是我们观测结果的大约10到122倍。换句话说，宇宙应当以跳动般的速度在膨胀。而实际状况并非如此，确