世界著名数学难题猜想汇总

1、费尔马大定理

费尔马大定理起源于三百多年前，挑战人类3个世纪，多次震惊全世界，耗尽人类众多最杰出大脑的精力，也让千千万万业余者痴迷。终于在1994年被安德鲁·怀尔斯攻克。古希腊的丢番图写过一本著名的“算术”，经历中世纪的愚昧黑暗到文艺复兴的时候，“算术”的残本重新被发现研究。1637年，法国业余大数学家费尔马（Pierre de Fremat）在“算术”的关于勾股数问题的页边上，写下猜想：x^n＋y^n ＝z^n 是不可能的（这里n大于2；x，y，z，n都是非零整数)。此猜想后来就称为费尔马大定理。费尔马还写道“我对此有绝妙的证明，但此页边太窄写不下”。一般公认，他当时不可能有正确的证明。猜想提出后，经欧拉等数代天才努力，200年间只解决了n＝3,4,5,7四种情形。1847年，库木尔创立“代数数论”这一现代重要学科，对许多n（例如100以内）证明了费尔马大定理，是一次大飞跃。历史上费尔马大定理高潮迭起，传奇不断。其惊人的魅力，曾在最后时刻挽救自杀青年于不死。他就是德国的沃尔夫斯克勒，他后来为费尔马大定理设悬赏10万马克（相当于现在160万美元多），期限1908－2007年。无数人耗尽心力，空留浩叹。最现代的电脑加数学技巧，验证了400万以内的N，但这对最终证明无济于事。1983年德国的法尔廷斯证明了：对任一固定的n，最多只有有限多个x，y，z振动了世界，获得费尔兹奖（数学界最高奖）。历史的新转机发生在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”，必须通过创造新的数学方法，以往的路很可能都是走不通的。

编辑本段世界七大数学难题

美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千年数学难题”的每一个悬赏一百万美元。其中有一个已被解决(庞加莱猜想),还剩六个.（庞加莱猜想，已由俄罗斯数学家格里戈里·佩雷尔曼破解。我国中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东做了证明的封顶工作。）整个计算机科学的大厦就建立在图灵机可计算理论和计算复杂性理论的基础上, 一旦证明P=NP,将是计算机科学的一场决定性的突破,在软件工程实践中,将革命

性的提高效率.从工业,农业,军事,医疗到生活,软件在它的各个应用域,都将是一个飞跃. P=NP吗? 这个问题是著名计算机科学家(1982年图灵奖得主)斯蒂文·考克（StephenCook ）于1971年发现并提出的. “千年大奖问题”公布以来，在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。认识和研究“千年大奖问题”已成为世界数学界的热点。不少国家的数学家正在组织联合攻关。可以预期，“千年大奖问题”将会改变新世纪数学发展的历史进程。

一、Ｐ（多项式时间）问题对ＮＰ（nondeterministic polynomial time，非确定多项式时间）问题在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数１３，７１７，４２１可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因式分解为３６０７乘上３８０３，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于１９７１年陈述的。

二、霍奇(Hodge)猜想二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。三、庞加莱(Poincare)猜想如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。在2002年11月和2003年7月之间，俄罗斯的数学家格里戈里·佩雷尔曼在发表了三篇论文预印本，并声称证明了几何化猜想。在佩雷尔曼之后，先后有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,那么只存在有限多个这样的点。

编辑本段有待破解的数学难题

除了上述著名数学难题外，还有以下著名数学难题有待破解。Abc猜想考拉兹猜想周氏猜测(梅森素数分布猜测) 阿廷猜想(新梅森猜想)哥德巴赫猜想孪素数猜想克拉梅尔猜想哈代－李特尔伍德第二猜想六空间理论

世界十大数学难题

难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 难题”之二：霍奇(Hodge)猜想 难题”之三：庞加莱(Poincare)猜想 难题”之四：黎曼(Riemann)假设 难题”之五：杨－米尔斯(Yang-Mills)存在性和质量缺口 难题”之六：纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 难题”之八：几何尺规作图问题 难题”之九：哥德巴赫猜想 难题”之十：四色猜想 美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以下是这七个难题的简单介绍。 “千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。 “千僖难题”之二：霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。“千僖难题”之三：庞加莱(Poincare)猜想 如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。 “千僖难题”之四：黎曼(Riemann)假设

希尔伯特23个数学问题7大数学难题

世界数学十大未解难题 （其中“一至七”为七大“千僖难题”；附录“希尔伯特23个问题里尚未解决 的问题”） 一：P（多项式算法）问题对NP（非多项式算法）问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数 13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。 二：霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。 三：庞加莱(Poincare)猜想

高考数学：世界著名数学难题

455 63 世界著名数学难题 20世纪是数学大发展的一个世纪。数学的许多重大难题得到完满解决，如费马大定理的证明，有限单群分类工作的完成 等， 从而使数学的基本理论得到空前发展。回首20世纪数学 的发展， 数学家们深切感谢20世纪最伟大的数学大师大卫·希 尔伯特。希尔伯特在1900年8月8日于巴黎召开的第二届世 界数学家大会上的著名演讲中提出了23个数学难题。希尔伯特问题在过去百年中激发数学家的智慧，指引数学前进的方 向。 知识荐语： 数学是研究数量、结构、变化以及空间模型等概念的一门 基础学科，简单地说，是研究数和形的科学。在数学发展的历 史上，数学们不但证明了诸多经典的定理，还把众多谜题留给 后人。这期知识，就让我们一同走进那些著名的数学难题。 1. 四色猜想 世界近代三大数学难题之一。四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。 ? 四色猜想到底怎么回事? ? 什么是四色猜想 ? 证明四色猜想的计算机是什么名字 ? 哪里有关于四色猜想的资料 ? 请问世界上那个四色猜想的内容是什么? ? 2. 哥德巴赫猜想 哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数（只能被和它本身整除的数）之和。如6＝3＋3，12＝5＋7等等。这就是着名的哥德巴赫猜想。欧拉在6月30日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。 ? 哥德巴赫猜想为什么被转化为证明1+1？ ? 哥德巴赫猜想的内容 ? 哥德巴赫猜想难在哪里? ? 哥德巴赫猜想有什么新进展 ? 哥德巴赫猜想与1+1是什么关系？

世界最迷人的数学难题

世界最迷人的数学难题 “几何尺规作图问题” 获奖理由：这里所说的“几何尺规作图问题”是指做图限制只能用直尺、圆规，而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题 1.化圆为方－求作一正方形使其面积等於一已知圆； 2.三等分任意角； 3.倍立方－求作一立方体使其体积是一已知立方体的二倍。 4.做正十七边形。 以上四个问题一直困扰数学家二千多年都不得其解，而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决的，他也视此为生平得意之作，还交待要把正十七边形刻在他的墓碑上，但後来他的墓碑上并没有刻上十七边形，而是十七角星，因为负责刻碑的雕刻家认为，正十七边形和圆太像了，大家一定分辨不出来。 “蜂窝猜想” 获奖理由：四世纪古希腊数学家佩波斯提出,蜂窝的优美形状,是自然界最有效劳动的代表。他猜想,人们所见到的、截面呈六边形的蜂窝,是蜜蜂采用最少量的蜂蜡建造成的。他的这一猜想称为"蜂窝猜想",但这一猜想一直没有人能证明。1943年,匈牙利数学家陶斯巧妙地证明,在所有首尾相连的正多边形中,正多边形的周长是最小的。1943年,匈牙利数学家陶斯巧妙地证明,在所有首尾相连的正多边形中,正多边形的周长是最小的。但如果多边形的边是曲线时,会发生什么情况呢?陶斯认为,正六边形与其他任何形状的图形相比,它的周长最小,但他不能证明这一点。而黑尔在考虑了周边是曲线时,无论是曲线向外突,还是向内凹,都证明了由许多正六边形组成的图形周长最校他已将19页的证明过程放在因特网上,许多专家都已看到了这一证明,认为黑尔的证明是正确的。 “孪生素数猜想” 获奖理由：1849年，波林那克提出孪生素生猜想（the conjecture of twin primes），即猜测存在无穷多对孪生素数。孪生素数即相差2的一对素数。例如3和5 ，5和7，11和13，…，和等等都是孪生素数。1966年，中国数学家陈景润在这方面得到最好的结果：存在无穷多

世界十大著名悖论

世界十大著名悖论。 来自: 哔。黑猫警嫂。(Dream maker, heart breaker.) 2011-11-30 18:34:34 十个著名悖论的最终解答 （一）电车难题（The Trolley Problem） 引用： 一、“电车难题”是伦理学领域最为知名的思想实验之一，其内容大致是：一个疯子把五个无辜的人绑在电车轨道上。一辆失控的电车朝他们驶来，并且片刻后就要碾压到他们。幸运的是，你可以拉一个拉杆，让电车开到另一条轨道上。但是还有一个问题，那个疯子在那另一条轨道上也绑了一个人。考虑以上状况，你应该拉拉杆吗？ 解读： 电车难题最早是由哲学家Philippa Foot提出的，用来批判伦理哲学中的主要理论，特别是功利主义。功利主义提出的观点是，大部分道德决策都是根据“为最多的人提供最大的利益”的原则做出的。从一个功利主义者的观点来看，明显的选择应该是拉拉杆，拯救五个人只杀死一个人。但是功利主义的批判者认为，一旦拉了拉杆，你就成为一个不道德行为的同谋——你要为另一条轨道上单独的一个人的死负部分责任。然而，其他人认为，你身处这种状况下就要求你要有所作为，你的不作为将会是同等的不道德。总之，不存在完全的道德行为，这就是重点所在。许多哲学家都用电车难题作为例子来表示现实生活中的状况经常强迫一个人违背他自己的道德准则，并且还存在着没有完全道德做法的情况。 引用完毕。 Das曰： 人，应当为自己的行为负责，这里的“行为”是什么意思？人为自己的行为负责的理论依据是什么？ 承认人具有自由意识——这是法律和道德合理化的基础。不承认自由意识存在，也就否认了一切法律和道德的合理性。如果一个人杀人放火是由于童年的遭遇、社会的影响、政府的不公正待遇等外界客观因素所决定的——罪犯本身的原因不是决定性因素——我们就没有权利依据任何法律对这个人进行惩罚。他杀人放火是由于其他原因，是他本身不可改变的，惩罚这个人显然是不合理的，惩罚他也于事无补、毫无用处。 人具有自由意识，可以做出自由选择，并且他应当对自己的选择负责任——这是一切法律和道德合理化的最根本基础。 那么，我们现在可以解释“行为”是什么意思：行为，是人在所有可能性中做出的一个唯一的选择。 今天早晨你可以选择吃包子，也可以选择吃油条。结果你吃了包子，这是你的行为、你选择的结果。问题是吃包子或者吃油条，这并不是“所有可能性”，你也可以选择什么也不吃，选择饿肚子减肥。作为一个理性人，你应当预见到饿肚子减肥可能造成身体伤害，你选择了饿肚子减肥这种行为，就应

世界50个经典的数学难题

世界50个经典的数学难题 第01题阿基米德分牛问题 太阳神有一牛群，由白、黑、花、棕四种颜色的公、母牛组成。 在公牛中，白牛数多于棕牛数，多出之数相当于黑牛数的1/2+1/3；黑牛数多于棕牛，多出之数相当于花牛数的1/4+1/5；花牛数多于棕牛数，多出之数相当于白牛数的1/6+1/7。 在母牛中，白牛数是全体黑牛数的1/3+1/4；黑牛数是全体花牛数1/4+1/5；花牛数 是全体棕牛数的1/5+1/6；棕牛数是全体白牛数的1/6+1/7。 问这牛群是怎样组成的？ 第02题德·梅齐里亚克的法码问题 一位商人有一个40磅的砝码，由于跌落在地而碎成4块.后来，称得每块碎片的重量都是整磅数，而且可以用这4块来称从1至40磅之间的任意整数磅的重物。 问这4块砝码碎片各重多少？ 第03题牛顿的草地与母牛问题 a头母牛将b块地上的牧草在c天内吃完了； a＆#39;头母牛将b＆#39;块地上的牧草在c＆#39;天内吃完了； a"头母牛将b"块地上的牧草在c"天内吃完了； 求出从a到c"9个数量之间的关系？

第04题贝韦克的七个7的问题 在下面除法例题中，被除数被除数除尽： * * 7 * * * * * * * ÷* * * * 7 * = * * 7 * * * * * * * * * * * * * 7 * * * * * * * * * 7 * * * * * 7 * * * * * * * * * * * * * * * 7 * * * * * * * * * * * * * * 用星号标出的那些数位上的数字偶然被擦掉了，那些不见了的是些什么数字呢？第05题柯克曼的女学生问题 某寄宿学校有十五名女生，她们经常每天三人一行地散步，问要怎样安排才能使每 个女生同其他每个女生同一行中散步，并恰好每周一次？ 第06题伯努利-欧拉关于装错信封的问题The Bernoulli-Euler Problem of th e Misaddressed letters

十道世界性难题

十道世界性难题，看你智商够不够？ 1、有3个人去投宿, 一晚30元. 三个人每人掏了10元凑够30元交给了老板. 后来老板说今天优惠只要25元就够了, 拿出5元命令服务生退还给他们, 服务生偷偷藏起了2元, 然后,把剩下的3元钱分给了那三个人, 每人分到1元. 这样, 一开始每人掏了10元, 现在又退回1元,也就是10-1=9, 每人只花了9元钱,3个人每人9元, 3 X 9 = 27元 + 服务生藏起的2元=29元， 还有一元钱去了哪里？？？ 此题在新西兰面试的时候曾引起巨大反响. 有谁知道答案呢? 2、有个人去买葱 问葱多少钱一斤 卖葱的人说 1块钱1斤这是100斤要完100元 买葱的人又问葱白跟葱绿分开卖不 卖葱的人说卖葱白7毛葱绿3毛 买葱的人都买下了 称了称葱白50斤葱绿50斤 最后一算葱白50*7等于35元，葱绿50*3等于15元 35+15等于50元 买葱的人给了卖葱的人50元就走了 而卖葱的人却纳闷了 为什么明明要卖100元的葱 而那个买葱的人为什么50元就买走了呢？ 你说这是为什么？ 3、有口井 7米深 有个蜗牛从井底往上爬 白天爬3米晚上往下坠2米 问蜗牛几天能从井里爬出来？

4、一毛钱一个桃，三个桃胡换一个桃 你拿1块钱能吃几个桃？ 想明白了，把你吃桃的方法写明白～ 5、有十二个乒乓球形状、大小相同，其中只有一个重量与其它十一个不同，现在要求用一部没有砝码的天秤 称三次，将那个重量异常的球找出来，并且知道它比其它十一个球较重还是较轻。 6、一个商人骑一头驴要穿越1000公里长的沙漠，去卖3000根胡萝卜。已知驴一次性可驮1000根胡萝卜，但 每走1公里又要吃掉1根胡萝卜。问：商人最多可卖出多少胡萝卜？ 7、话说某天一艘海盗船被天下砸下来的一头牛给击中了,5个倒霉的家伙只好逃难到一个孤岛,发现岛上孤零零 的,幸好有棵椰子树,还有一只猴子!大家把椰子全部采摘下来放在一起,但是天已经很晚了,所以就睡觉先。 晚上某个家伙悄悄的起床,悄悄的将椰子分成5份,结果发现多一个椰子,顺手就给了幸运的猴子,然后又悄悄的 藏了一份,然后把剩下的椰子混在一起放回原处,最后还是悄悄滴回去睡觉了。 过了会儿,另一个家伙也悄悄的起床,悄悄的将剩下的椰子分成5份,结果发现多一个椰子,顺手就又给了幸运 的猴子,然后又悄悄滴藏了一份,把剩下的椰子混在一起放回原处,最后还是悄悄滴回去睡觉了. 又过了一会 ...... 又过了一会 ... 总之5个家伙都起床过,都做了一样的事情。早上大家都起床,各自心怀鬼胎的分椰子了,这个猴子还真不是一 般的幸运,因为这次把椰子分成5分后居然还是多一个椰子,只好又给它了.问题来了,这堆椰子最少有多少个?

100个历史上最有名的数学难题

100个历史上最有名的数学难题 第01题阿基米德分牛问题archimedes' problema bovinum 太阳神有一牛群，由白、黑、花、棕四种颜色的公、母牛组成。在公牛中，白牛数多于棕牛数，多出之数相当于黑牛数的1/2+1/3；黑牛数多于棕牛，多出之数相当于花牛数的1/4+1/5；花牛数多于棕牛数，多出之数相当于白牛数的1/6+1/7。在母牛中，白牛数是全体黑牛数的1/3+1/4；黑牛数是全体花牛数1/4+1/5；花牛数是全体棕牛数的1/5+1/6；棕牛数是全体白牛数的1/6+1/7。问这牛群是怎样组成的？ 第02题德·梅齐里亚克的法码问题the weight problem of bachet de meziriac 一位商人有一个40磅的砝码，由于跌落在地而碎成4块.后来，称得每块碎片的重量都是整磅数，而且可以用这4块来称从1至40磅之间的任意整数磅的重物。问这4块砝码碎片各重多少？ 第03题牛顿的草地与母牛问题newton's problem of the fields and cows a头母牛将b块地上的牧草在c天内吃完了；a'头母牛将b'块地上的牧草在c'天内吃完了；a"头母牛将b"块地上的牧草在c"天内吃完了；求出从a到c"9个数量之间的关系？

第04题贝韦克的七个7的问题berwick's problem of the seven sevens 在下面除法例题中，被除数被除数除尽：* * 7 * * * * * * * ÷ * * * * 7 * = * * 7 * * * * * * * * * * * * * 7 * * * * * * * * * 7 * * * * * 7 * * * * * * * * * * * * * * * 7 * * * * * * * * * * * * * * 用星号（*）标出的那些数位上的数字偶然被擦掉了，那些不见了的是些什么数字呢？ 第05题柯克曼的女学生问题kirkman's schoolgirl problem 某寄宿学校有十五名女生，她们经常每天三人一行地散步，问要怎样安排才能使每个女生同其他每个女生同一行中散步，并恰好每周一次？ 第06题伯努利-欧拉关于装错信封的问题the bernoulli-euler problem of the misaddressed letters 求n个元素的排列，要求在排列中没有一个元素处于它应当占有的位置。

【数学逻辑】世界上最有趣的数学题

【数学逻辑】世界上最有趣的数学题 推荐：如果你家有个小学或者初中的孩子，务必让孩子看看这几道数学题。你身上的计算器利用手进行计算时，一种最简单的乘法是9的倍数计算，在这种计算中，有一个小孩子非常了解，但是年长的人不是太了解的小窍门。计算9的倍数时，将手放在膝盖上，像下表中所示，从左到右给你的手指编号。现在选择你想计算的9的倍数，假设这个乘式是7×9。只要像上图所示那样，弯曲标有数字7的手指。然后数弯曲的那根手指左边剩下的手指数是6，它右边剩下的手指根数是3，将它们放在一起，得出7×9的答案是63。多少只袜子才能配成一对？关于多少只袜子能配成对的问题，答案并非两只。而且这种情况并非只在我家发生。为什么会这样呢？那是因为我敢担保在冬季黑蒙蒙的早上，如果我从装着黑色和蓝色袜子的抽屉里拿出两只，它们或许始终都无法配成一对。虽然我不是太幸运，但是如果我从抽屉里拿出3只袜子，我敢说肯定会有一双颜色是一样的。不管成对的那双袜子是黑色还是蓝色，最终都会有一双颜色一样的。如此说来，只要借助一只额外的袜子，数学规则就能战胜墨菲法则。通过上述情况可以得出，“多少只袜子能配成一对”的答案是3只。当然只有当袜子是两种颜色时，这种情况才成立。如果抽屉里有3种颜色的袜子，

例如蓝色、黑色和白色袜子，你要想拿出一双颜色一样的，至少必须取出4只袜子。如果抽屉里有10种不同颜色的袜子，你就必须拿出11只。根据上述情况总结出来的数学规则是：如果你有N种类型的袜子，你必须取出N+1只，才能确保有一双完全一样的。燃绳计时一根绳子，从一端开始燃烧，烧完需要1小时。现在你需要在不看表的情况下，仅借助这根绳子和一盒火柴测量出半小时的时间。你可能认为这很容易，你只要在绳子中间做个标记，然后测量出这根绳子燃烧完一半所用的时间就行了。然而不幸的是，这根绳子并不均匀，有些地方比较粗，有些地方却很细，因此这根绳子不同地方的燃烧率不同。也许其中一半绳子燃烧完仅需5分钟，而另一半燃烧完却需要55分钟。面对这种情况，似乎想利用上面的绳子准确测出30分钟时间根本不可能，但是事实并非如此，因此大家可以利用一种创新方法解决上述问题，这种方法是同时从绳子两头点火。绳子燃烧完所用的时间一定是30分钟。火车相向而行问题两辆火车沿相同轨道相向而行，每辆火车的时速都是50英里。两车相距100英里时，一只苍蝇以每小时60英里的速度从火车A开始向火车B方向飞行。它与火车B相遇后，马上掉头向火车A飞行，如此反复，直到两辆火车相撞在一起，把这只苍蝇压得粉碎。苍蝇在被压碎前一共飞行了多远？ 我们知道两车相距100英里，每辆车的时速都是50英里。

科学十大难题

宇宙是由什么构成的？ 近十年来，科学家已经发现构成恒星、行星甚至人体的基本物质只占整个宇宙中所有物质的百分之五。其它的则属于科学家们刚刚才了解到的暗物质和暗能量。 那么暗物质是由什么构成的，它存在于何处？而什么又是暗能量？研究者希望能找到答案。 意识的生物基础是什么？ 早在17世纪，法国哲学家兼数学家勒奈·笛卡尔就指出思想和身体是完全分离的。之后，其他哲学家对意识自然属性看发就一直存在争论。 今天的科学家则指出意识是来自大脑内部的神经细胞组织极其特性。并以此观点来对笛卡尔观点提出挑战。而分解这些特性和过程的实验性工作目前才刚刚开始。 格雷格·米勒在《科学》杂志的这期特刊上写道：“即便如果实验的结果不能为意识是如何从神经细胞的一片混乱中产生提供更深入的认识，它也能为此问题的下一轮提供参考。” 人类的寿命到底能延长到多长？ 如前，在对酵母、蠕虫以及老鼠进行寿命延长实验使一些科学家相信人类很快就能够很容易地超越目前100多岁的寿命记录。而另一些科学家则认为人类寿命有可能更为有限。珍妮弗·寇瑞恩在《科学》上所发表的一篇相关文章中指出，无论延长还是有限，人类寿命能够得到延长的可能性“可能会带来深远的社会效应”。 地球内部是如何活动的？ 革命性的大陆板块漂移学说——即认为地壳是有不同的板块构成的，板块的相互作用形成了目前的地表形态——所涉及的深度并不够深。里查德·A·克尔写道：“剩下的还有6300公里厚的岩石以及构造板快下面的铁元素，它们的搅动推动着我们这颗行星的热能发动机内部的工作。” 随科学家不断采用更先进的设备对地球内部进行探索，研究者已经发现地球地壳下面的这台发动机是如此吸引人且复杂。先进的地震成像技术、对矿物质的研究以及用电脑模拟的方法将有可能为研究地球内部轰鸣声提供线索。 我们在宇宙中是孤独的吗？

世界近代三大数学难题：哥德巴赫猜想

世界近代三大数学难题：哥德巴赫猜想 哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。因现今数学界已经不使用“1也是素数”这个约定，原初猜想的现代陈述为：任一大于5的整数都可写成三个质数之和。欧拉在回信中也提出另一等价版本，即任一大于2的偶数都可写成两个质数之和。今日常见的猜想陈述为欧拉的版本。把命题"任一充分大的偶数都可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和"记作"a+b"。1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。 今日常见的猜想陈述为欧拉的版本，即任一大于2的偶数都可写成两个素数之和，亦称为“强哥德巴赫猜想”或“关于偶数的哥德巴赫猜想”。 从关于偶数的哥德巴赫猜想，可推出：任一大于7的奇数都可写成三个质数之和的猜想。后者称为“弱哥德巴赫猜想”或“关于奇数的哥德巴赫猜想”。若关于偶数的哥德巴赫猜想是对的，则关于奇数的哥德巴赫猜想也会是对的。弱哥德巴赫猜想尚未完全解决，但1937年时前苏联数学家维诺格拉多夫已经证明充分大的奇质数都能写成三个质数的和，也称为“哥德巴赫-维诺格拉朵夫定理”或“三素数定理”。 猜想提出 1742年6月7日，哥德巴赫写信给欧拉，提出了著名的哥德巴赫猜想：随便取某一个奇数，比如77，可以把它写成三个素数之和，即77=53+17+7；再任取一个奇数，比如461，可以表示成461=449+7+5，也是三个素数之和，461还可以写成257+199+5，仍然是三个素数之和。例子多了，即发现“任何大于5的奇数都是三个素数之和。” 1742年6月30日欧拉给哥德巴赫回信。这个命题看来是正确的，但是他也给不出严格的证明。同时欧拉又提出了另一个命题：任何一个大于2的偶数都是两个素数之和。但是这个命题他也没能给予证明。 研究途径 研究偶数的哥德巴赫猜想的四个途径。这四个途径分别是：殆素数，例外集合，小变量的三素数定理以及几乎哥德巴赫问题。 殆素数

Removed_希尔伯特23个问题与21世纪七大数学难题

希尔伯特23个问题与21世纪七大数学难题 2009-12-31 12:41:40 希尔伯特23个问题及解决情况 1900年希尔伯特应邀参加巴黎国际数学家大会并在会上作了题为《数学问题》重要演讲。在这具有历史意义的演讲中，首先他提出许多重要的思想： 正如人类的每一项事业都追求着确定的目标一样，数学研究也需要自己的问题。正是通过这些问题的解决，研究者锻炼其钢铁意志，发现新观点，达到更为广阔的自由的境界。 希尔伯特特别强调重大问题在数学发展中的作用，他指出：“如果我们想对最近的将来数学知识可能的发展有一个概念，那就必须回顾一下当今科学提出的，希望在将来能够解决的问题。” 同时又指出：“某类问题对于一般数学进程的深远意义以及它们在研究者个人的工作中所起的重要作用是不可否认的。只要一门科学分支能提出大量的问题，它就充满生命力，而问题缺乏则预示着独立发展的衰亡或中止。” 他阐述了重大问题所具有的特点，好的问题应具有以下三个特征： 清晰性和易懂性； 虽困难但又给人以希望； 意义深远。 同时他分析了研究数学问题时常会遇到的困难及克服困难的一些方法。就是在这次会议上他提出了在新世纪里数学家应努力去解决的23个问题，即著名的“希尔伯特23个问题”。 编号问题推动发展的领域解决的情况 1 连续统假设公理化集合论1963年，Paul J.Cohen 在下述意义下证明了第一个问题是不可解的。即连续统假设的真伪不可能在Zermelo_Fraenkel公理系统内判定。 2 算术公理的相容性数学基础希尔伯特证明算术公理的相容性的设想，后来发展为系统的Hilbert计划（“元数学”或“证明论”）但1931年歌德尔的“不完备定理”指出了用“元数学”证明算术公理的相容性之不可能。数学的相容性问题至今未解决。 3 两等高等底的四面体体积之相等几何基础这问题很快（1900）即由希尔伯特的学生 M.Dehn给出了肯定的解答。 4 直线作为两点间最短距离问题几何基础这一问题提得过于一般。希尔伯特之后，许多数学家致力于构造和探索各种特殊的度量几何，在研究第四问题上取得很大进展，但问题并未完全解决。 5 不要定义群的函数的可微性假设的李群概念拓扑群论经过漫长的努力，这个问题于1952年由Gleason, Montqomery , Zipping等人最后解决，答案是肯定的。 6 物理公理的数学处理数学物理在量子力学、热力学等领域，公理化方法已获得很大成功，但一般地说，公理化的物理意味着什么，仍是需要探讨的问题。概率论的公理化已由 A.H.Konmoropob等人建立。 7 某些数的无理性与超越性超越数论1934年A.O.temohm 和Schneieder各自独立地解决了这问题的后半部分。 8 素数问题数论一般情况下的Riemann猜想至今仍是猜想。包括在第八问题中的Goldbach 问题至今也未解决。中国数学家在这方面做了一系列出色的工作。 9 任意数域中最一般的互反律之证明类域论已由高木贞治(1921)和E.Artin(1927)解决. 10 Diophantius方程可解性的判别不定分析1970年由苏、美数学家证明Hilbert所期望的一

数学之最：世界上最难的23道数学题

数学之最：世界上最难的23道数学题 1．连续统假设1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。1938年，哥德尔证明了连续统假设和世界公认的策梅洛–弗伦克尔集合论公理系统的无矛盾性。1963年，美国数学家科亨证明连续假设和策梅洛–伦克尔集合论公理是彼此独立的。因此，连续统假设不能在策梅洛–弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。 2．算术公理的相容性欧几里得几何的相容性可归结为算术公理的相容性。希尔伯特曾提出用形式主义计划的证明论方法加以证明。1931年，哥德尔发表的不完备性定理否定了这种看法。1936年德国数学家根茨在使用超限归纳法的条件下证明了算术公理的相容性。198 8年出版的《中国大百科全书》数学卷指出，数学相容性问题尚未解决。 3．两个等底等高四面体的体积相等问题。问题的意思是，存在两个等边等高的四面体，它们不可分解为有限个小四面体，使这两组四面体彼此全等。M.W.德恩1900年即对此问题给出了肯定解答。 4．两点间以直线为距离最短线问题。此问题提得过于一般。满足此性质的几何学很多，因而需增加某些限制条件。1973年，苏联数学家波格列洛夫宣布，在对称距离情况下，问题获得解决。《中国大百科全书》说，在希尔伯特之后，在构造与探讨各种特殊度量几何方面有许多进展，但问题并未解决。 5．一个连续变换群的李氏概念，定义这个群的函数不假定是可微的这个问题简称连续群的解析性，即：是否每一个局部欧氏群都有一定是李群？中间经冯·诺伊曼（1933，对紧群情形）、庞德里亚金（1939，对交换群情形）、谢瓦荚（1941，对可解群情形）的努力，1 952年由格利森、蒙哥马利、齐宾共同解决，得到了完全肯定的结果。 6．物理学的公理化希尔伯特建议用数学的公理化方法推演出全部物理，首先是概率和力学。1933年，苏联数学家柯尔莫哥洛夫实现了将概率论公理化。后来在量子力学、量子场论方面取得了很大成功。但是物理学是否能全盘公理化，很多人表示怀疑。 7.某些数的无理性与超越性1934年，A.O.盖尔方德和T.施奈德各自独立地解决了问题的后半部分，即对于任意代数数α≠0，1，和任意代数无理数β证明了αβ的超越性。 8．素数问题。包括黎曼猜想、哥德巴赫猜想及孪生素数问题等。一般情况下的黎曼猜想仍待解决。哥德巴赫猜想的最佳结果属于陈景润（1966），但离最解决尚有距离。目前孪生素数问题的最佳结果也属于陈景润。 9．在任意数域中证明最一般的互反律。该问题已由日本数学家高木贞治（1921）和德国数学家E.阿廷（1927）解决。 10．丢番图方程的可解性。能求出一个整系数方程的整数根，称为丢番图方程可解。希尔伯特问，能否用一种由有限步构成的一般算法判断一个丢番图方程的可解性？1970年，苏联的IO.B.马季亚谢维奇证明了希尔伯特所期望的算法不存在。

解析数学中考史上十大难题

解析数学中考史上十大难题 原题：25.已知△ABC，分别以AB、BC、CA为边向外作等边△ABD、等边△BCE、等边△ACF。 （1）如图1，当△ABC是等边三角形时，请你写出满足图中条件，四个成立的结论； （2）如图2，当△ABC中只有∠ACB=60°时，请你证明S△ABC与S△ABD的和等于S△BCE与 S△ACF的和。 题目简要分析：这道题目之所以才位例第10为完全是因为第一问太简单了。对于第二问在我们平时教学过程中很少遇见面积等的问题，尤其是面对这种面积和等的问题，不仅缺少一些直接的定理去支持这些结论，且缺少一些必要的手段和方法去证明，平时练习也相对少一些，故本题第二问得分率很低。关于第二问本文提供3种解法，仅供参考。 解法一： 解题思路：观察AF∥BC，在△ABC中利用平行四边形构造一个三角形面积等于S△ACF，证明余下部分面积等于S△BCE即可（很容易能观察出△DAM≌△BAC≌△EMC，剩余部分DBEM是平行四边形，对角线平分面积）

解：（1）AB=CE,AC=BE,AF=BE，S△ABC=S△ABD等等 （2）过A作AM∥FC交BC于M，连结DM、EM。 ∵∠ACB=60°，∠CAF=60°， ∴∠ACB=∠CAF ∴AF∥MC ∴四边形AMCF是平行四边形. 又∵FA=FC， ∴四边形AMCF是菱形. ∴AC=CM=AM，且∠MAC=60°，且S△MAC= S△ACF 在△BAC与△EMC中， CA=CM，∠ACB=∠MCE，CB=CE, ∴△BAC≌△EMC. ∴AB=ME 又∵AB=DB ∴DB=ME 又∵∠DAM=∠DAB+∠BAM， ∠BAC=∠CAM+∠BAM且∠DAB=∠CAM=60° ∴∠DAM=∠BAC， 在△DAM与△BAC中， AD=AB, ∠DAM=∠BAC,AM=AC ∴△DAM≌△BAC ∴DM=BC 又∵BC=BE ∴DM=BE ∴四边形DBEM是平行四边形 ∴S△BDM= S△BEM 由上所述∴△DAM≌△EMC ∴S△DAM= S△EMC ∴S△BDM+ S△DAM+ S△MAC= S△BEM+ S△EMC+ S△ACF 即S△ABC+S△ABD=S△BCE+S△ACF

世界七大数学难题

世界七大数学难题 难题的提出 20世纪是数学大发展的一个世纪。数学的许多重大难题得到完满解决，如费马大定理的证明，有限单群分类工作的完成等，从而使数学的基本理论得到空前发展。 计算机的出现是20世纪数学发展的重大成就，同时极大推动了数学理论的深化和数学在社会和生产力第一线的直接应用。回首20世纪数学的发展，数学家们深切感谢20世纪最伟大的数学大师大卫·希尔伯特。希尔伯特在1900年8月8日于巴黎召开的第二届世界数学家大会上的著名演讲中提出了23个数学难题。希尔伯特问题在过去百年中激发数学家的智慧，指引数学前进的方向，其对数学发展的影响和推动是巨大的，无法估量的。 效法希尔伯特，许多当代世界著名的数学家在过去几年中整理和提出新的数学难题，希冀为新世纪数学的发展指明方向。这些数学家知名度是高的，但他们的这项行动并没有引起世界数学界的共同关注。 2000年初美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”，克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。克雷数学研究所“千年大奖问题”的选定，其目的不是为了形成新世纪数学发展的新方向，而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。 2000年5月24日，千年数学会议在著名的法兰西学院举行。会上，98年费尔兹奖获得者伽沃斯以“数学的重要性”为题作了演讲，其后，塔特和阿啼亚公布和介绍了这七个“千年大奖问题”。克雷数学研究所还邀请有关研究领域的专家对每一个问题进行了较详细的阐述。克雷数学研究所对“千年大奖问题”的解决与获奖作了严格规定。每一个“千年大奖问题”获得解决并不能立即得奖。任何解决答案必须在具有世界声誉的数学杂志上发表两年后且得到数学界的认可，才有可能由克雷数学研究所的科学顾问委员会审查决定是否值得获得百万美元大奖. 世界七大数学难题 这七个“千年大奖问题”是：NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨－米尔斯理论、纳卫尔－斯托可方程、BSD猜想。 美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣 布了一件被媒体炒得火热的大事：对七个“千年数学难题”的每一个悬赏一百万美元。 其中有一个已被解决(庞加莱猜想),还剩六个.（庞加莱猜想，已被我国中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东破解了。） 整个计算机科学的大厦就建立在图灵机可计算理论和计算复杂性理论的基础上, 一旦证明P=NP,将是计算机科学的一场决定性的突破,在软件工程实践中,将革命性的提高效率.从工业,农业,军事,医疗到生活,软件在它的各个应用域,都将是一个飞跃. P=NP吗?这个问题是著名计算机科学家(1982年图灵奖得主)斯蒂文·考克（StephenCook）于1971年

判断推理十大经典难题

判断推理十大经典难题 1、海洋中珊瑚的美丽颜色来自于其体内与之共生的藻类生物，其中虫黄藻是最重要的一类单细胞海藻。二者各取所需，相互提供食物。全球气候变暖造成的海水升温导致虫黄藻等藻类大量死亡，进而造成珊瑚本身死亡，引发珊瑚礁白化现象。然而研究发现，珊瑚能通过选择耐热的其他藻类生物等途径，来应对气候变暖带来的挑战。 以下哪项如果为真，将削弱这一研究发现？ A. 一些虫黄藻能够比耐热的其他藻类耐受更高的海水温度 B. 有些藻类耐热性的形成需要一个长期的过程 C. 有些虫黄藻逐渐适应了海水温度的升高并存活下来 D. 有些已白化的珊瑚礁中也发现了死去的耐热藻类生物 ［解析］D。需要削弱的命题是：“珊瑚能通过选择耐热的其他藻类生物等途径，来应对气候变暖带来的挑战。”，所以只需说明珊瑚通过选择耐热的其他藻类生物等途径，也不能应对气候变暖，便可以削弱这一研究发现。所以选择D选项。 2、甲国生产了一种型号为su-34的新型战斗机，乙国在是否要引进这种战斗机的问题上，出现了两种不同的声音。支持者认为su-34较以往引进的su-30有更强大的对地攻击作战能力。 以下哪项如果为真，最能削弱支持者的声音？ A. su-30足以满足对地攻击的需要，目前乙国需要提升的是对空攻击作战能力 B. 目前市场上有比su-34性能更好的其他型号战斗机 C. 甲乙两国目前在双边贸易中存在诸多摩擦，引入su-34会有很多实际困难 D. 目前还没有实际数据显示究竟是su-34还是 su-30有更强大的对地攻击作战能力 ［解析］A。支持者的声音是引进战斗机，理由是具有强大的对地攻击能力。A项说明不需要，则不引进，削弱了支持者的声音。D项的论据尚待证实，没有削弱作业。所以选择A选项。 3、提起极地冰，很多人眼前总是浮现出一幅洁白无暇、晶莹剔透的景观。然而，在北纬71度，西经168度附近的北冰洋海域，“雪龙”号首次驶入一片“脏”冰区，只见一块块淡蓝色的浮冰中间夹杂了许多脏兮兮的黄色冰块，这种黄色冰块，既出现在当年的新生冰块上，也出现在

世界七大数学难题

世界七大数学难题 20世纪是数学大发展的一个世纪。数学的许多重大难题得到完满解决，如费马大定理的证明，有限单群分类工作的完成等，从而使数学的基本理论得到空前发展。 效法希尔伯特，许多当代世界著名的数学家在过去几年中整理和提出新的数学难题，希冀为新世纪数学的发展指明方向。这些数学家知名度是高的，但他们的这项行动并没有引起世界数学界的共同关注。 2000年初美国克雷数学研究所的科学顾问委员会选定了七个"千年大奖问题"，克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个"千年大奖问题"的解决都可获得百万美元的奖励。克雷数学研究所"千年大奖问题"的选定，其目的不是为了形成新世纪数学发展的新方向，而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。 2000年5月24日，千年数学会议在著名的法兰西学院举行。会上，97年费尔兹奖获得者伽沃斯以"数学的重要性"为题作了演讲，其后，塔特和阿啼亚公布和介绍了这七个"千年大奖问题"。克雷数学研究所还邀请有关研究领域的专家对每一个问题进行了较详细的详述。克雷数学研究所对"千年大奖问题"的解决与获奖作了严格规定。每一个"千年大奖问题"获得解决并不能立即得奖。任何解决答案必须在具有世界声誉的数学杂志上发表两年后且得到数学界的认可，才有可能由克雷数学研究所的科学顾问委员会审查决定是否值得获得百万美元大奖. NP完全问题 NP完全问题是不确定性图灵机在P时间内能解决的问题，是世界七大数学难题之一。NP完全问题是NP

霍奇猜想 一。 庞加莱猜想

Riemann猜想 黎曼猜想是关于黎曼ζ函数ζ(s)的零点分布的猜想，由数学家黎曼于1859年提出。希尔伯特在第二届国际数学家大会上提出了20世纪数学家应当努力解决的23个数学问题，被认为是20世纪数学的制高点，其中便包括黎曼假设。现今克雷数学研究所悬赏的世界七大数学难题中也包括黎曼猜想。 与费尔马猜想时隔三个半世纪以上才被解决，哥德巴赫猜想历经两个半世纪以上屹立不倒相比，黎曼猜想只有一个半世纪的纪录还差得很远，但它在数学上的重要性要远远超过这两个大众知名度更高的猜想。黎曼猜想是当今数学界最重要的数学难题。目前有消息指尼日利亚教授奥派耶米伊诺克(OpeyemiEnoch)成功解决黎曼猜想，然而克雷数学研究所既不证实也不否认伊诺克博士正式解决了这一问题。

世界7大数学难题

世界七大数学难题 这七个“千年大奖问题”是：NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨－米尔斯理论、纳卫尔－斯托可方程、BSD猜想 千年大奖问题 美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千年数学难题”的每一个悬赏一百万美元。 其中有一个已被解决(庞加莱猜想),还剩六个.（庞加莱猜想，已由俄罗斯数学家格里戈里·佩雷尔曼破解。） “千年大奖问题”公布以来，在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。认识和研究“千年大奖问题”已成为世界数学界的热点。不少国家的数学家正在组织联合攻关。可以预期，“千年大奖问题” 将会改变新世纪数学发展的历史进程。 P问题对NP问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因式分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢？这就是著名的NP=P？的猜想。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于1971年陈述的。 霍奇(Hodge)猜想