世界七大数学难题是哪些？

美国马萨诸塞州的克雷数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千年数学难题”的每一个悬赏一百万美元。其中有一个已被解决(庞加莱猜想)，还剩六个。（庞加莱猜想，已由俄罗斯数学家格里戈里·佩雷尔曼破解。我国中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东做了证明的封顶工作。）整个计算机科学的大厦就建立在图灵机可计算理论和计算复杂性理论的基础上,“千年大奖问题”公布以来， 在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。认识和研究“千年大奖问题”已成为世界数学界的热点。不少国家的数学家正在组织联合攻关。 可以预期， “千年大奖问题” 将会改变新世纪数学发展的历史进程。一、P（多项式时间）问题对NP（nondeterministic polynomial time，非确定多项式时间问题）在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因式分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于1971年陈述的。一旦证明P=NP，将是计算机科学的一场决定性的突破，在软件工程实践中，将革命性的提高效率。从工业、农业、军事、医疗到生活、以至软件在它的各个应用域，都将是一个飞跃。二、霍奇猜想（Hodge conjecture）二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。三、庞加莱猜想（Poincaré conjecture）如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，法国数学家庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。在2002年11月和2003年7月之间，俄罗斯的数学家格里戈里·佩雷尔曼在发表了三篇论文预印本，并声称证明了几何化猜想。在佩雷尔曼之后，先后有3组研究者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密歇根大学的布鲁斯·克莱纳和约翰·洛特；哥伦比亚大学的约翰·摩根和麻省理工学院的田刚；以及理海大学的曹怀东和中山大学的朱熹平。2006年8月，第25届国际数学家大会授予佩雷尔曼菲尔兹奖。数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。四、黎曼假设有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2、3、5、7……等等。这样的数称为素数；它们在纯粹数学及应用数学中都起着重要作用。在所有自然数中，素数分布似乎并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于所谓的黎曼ζ函数。黎曼假设断言，方程ζ(s)=0的非平凡零点的实部都是1/2，即位于直线1/2 + ti（“临界线”，critical line）上。这点已经对于开首的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立，将为围绕素数分布的许多奥秘带来光明。

10、纳卫尔-斯托可方程的存在性与光滑性：小船穿梭在波浪起伏的湖中，湍急的气流跟随着我们的现代喷气式飞机的飞行，不管有微风还是湍流都可以通过解纳维叶-斯托克斯方程的解来对其进行解释和语言。9、杨-米尔斯存在性和质量缺口：杨-米尔斯理论，是现代规范场理论的基础，20世纪下半叶重要的物理突破，旨在使用非阿贝尔李群描述基本粒子的行为，是由物理学家杨振宁和米尔斯在1954年首先提出来的。这个当时没有被物理学界看重的理论，通过后来许多学者于1960到1970年代引入的对称性自发破缺与渐进自由的观念，发展成今天的标准模型。8、贝赫和斯维讷通-戴尔猜想：贝赫和斯维讷通-戴尔猜想认为有理点的群的大小和一个有关的蔡塔函数z(s)在点s=1附近的性态，这是一个特别有趣的猜想，如果z(1)等于0,那么存在无限多个有理点，那么如果它不等于0的时候就只存在有限的多个这样的点。7、四色定理：四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。6、哥德巴赫猜想：哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。5、费马大定理：由17世纪法国数学家皮耶·德·费玛提出。它断言当整数n >2时，关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。4、黎曼假设：黎曼的假设是这样的方程z(s)=0的所有有意义的解都在一条直线上，这个点解答过无数次证明为围绕素数分布的许多奥秘带来光明。伪素数及素数的普遍公式告诉我们素数与伪素数由它们的变量集决定的。所以她的假设是不对的。3、霍奇猜想：他猜想对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的（有理线性）组合。2、庞加莱猜想：庞加莱猜想是法国数学家庞加莱提出的一个猜想，2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。庞加莱猜想是一个拓扑学中带有基本意义的命题，将有助于人类更好地研究三维空间，其带来的结果将会加深人们对流形性质的认识。1、NP完全问题：如果一个人跟你说你数13717421可以写成两个较小的数的乘积，他告诉你可以分解为3607乘上3803计算机验证这样算是对的，人们猜想是不是在多项式时间内，直接算出或是找到正确答案这就是NP=P?的猜想，如果没有提示是需要花很多时间来解答的。

数学三大难题是哥德巴赫猜想、费玛大定理、四色问题。三大问题详细介绍：1、哥德巴赫猜想哥德巴赫1690年 3 月 18 日生于普鲁士柯尼斯堡；1764年11月20日卒于俄国莫斯科。著名数学家，宗教音乐家。最有名的理论就是“歌德巴赫猜想”。问题简述：1742年6月7日，歌德巴赫在给欧拉的信中提出：每一个大于2的偶数都是两个素数的和。欧拉在同年6月30日的回信中说他相信这个猜想，但他不能证明。历代数学家都试探过，但直到250多年后的今天，还没有人能完全证明这个猜想。2、费玛大定理皮耶·德·费马是一个17世纪的法国律师，也是一位业余数学家。之所以称业余，是由于皮耶·德·费马具有律师的全职工作。但是他在数学领域取得的成就并不低于职业数学家差。主要对现代的微积分有所贡献。问题简述：费玛大定理，又被称为“费马最后的定理”，由17世纪法国数学家皮耶·德·费玛提出。费马大定理被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年，英国数学家安德鲁·怀尔斯宣布自己证明了费马大定理。3、四色问题四色问题又称四色猜想、四色定理，是世界近代三大数学难题之一。地图四色定理最先是由一位毕业于伦敦大学叫格里斯的英国大学生提出来的。问题简述：任何一张平面地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。用数学语言表示，即将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。如今随着计算机技术的发展，虽然做了百亿次的判断，但只是在数量上取得成功，并不符合数学严密的逻辑体系，如今仍然有无数的数学爱好者在研究。

1、几何尺规作图问题这里所说的“几何尺规作图问题”是指做图限制只能用直尺、圆规，而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题1.化圆为方－求作一正方形使其面积等於一已知圆；2.三等分任意角；3.倍立方－求作一立方体使其体积是一已知立方体的二倍。4.做正十七边形。以上四个问题一直困扰数学家二千多年都不得其解，而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决的，他也视此为生平得意之作，还交待要把正十七边形刻在他的墓碑上，但後来他的墓碑上并没有刻上十七边形，而是十七角星，因为负责刻碑的雕刻家认为，正十七边形和圆太像了，大家一定分辨不出来。 2、蜂窝猜想四世纪古希腊数学家佩波斯提出,蜂窝的优美形状,是自然界最有效劳动的代表。他猜想,人们所见到的、截面呈六边形的蜂窝,是蜜蜂采用最少量的蜂蜡建造成的。他的这一猜想称为蜂窝猜想,但这一猜想一直没有人能证明。1943年,匈牙利数学家陶斯巧妙地证明,在所有首尾相连的正多边形中,正多边形的周长是最小的。1943年,匈牙利数学家陶斯巧妙地证明,在所有首尾相连的正多边形中,正多边形的周长是最小的。但如果多边形的边是曲线时,会发生什么情况呢?陶斯认为,正六边形与其他任何形状的图形相比,它的周长最小,但他不能证明这一点。而黑尔在考虑了周边是曲线时,无论是曲线向外突,还是向内凹,都证明了由许多正六边形组成的图形周长最校他已将19页的证明过程放在因特网上,许多专家都已看到了这一证明,认为黑尔的证明是正确的。 3、孪生素数猜想1849年，波林那克提出孪生素生猜想（the conjecture of twin primes），即猜测存在无穷多对孪生素数。孪生素数即相差2的一对素数。例如3和5 ，5和7，11和13，…，10016957和10016959等等都是孪生素数。1966年，中国数学家陈景润在这方面得到最好的结果：存在无穷多个素数p，使p+2是不超过两个素数之积。孪生素数猜想至今仍未解决，但一般人都认为是正确的。 4、费马最後定理在三百六十多年前的某一天，费马突然心血来潮在书页的空白处，写下一个看起来很简单的定理这个定理的内容是有关一个方程式 xn +yn = zn的正整数解的问题，当n=2时就是我们所熟知的毕氏定理（中国古代又称勾股弦定理）。费马声称当n>2时，就找不到满足xn +yn = zn的整数解，例如：方程式x3 +y3 = z3就无法找到整数解。始作俑者的费马也因此留下了千古的难题，三百多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最後定理也就成了数学界的心头大患，极欲解之而後快。不过这个三百多年的数学悬案终於解决了，这个数学难题是由英国的数学家威利斯（Andrew Wiles）所解决。其实威利斯是利用二十世纪过去三十年来抽象数学发展的结果加以证明。5、四色猜想1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。6、哥德巴赫猜想公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想: (a) 任何一个>=6之偶数，都可以表示成两个奇质数之和。 (b) 任何一个>=9之奇数，都可以表示成三个奇质数之和。从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。

世界上最难十大数学题1、NP完全问题世界上最难十大数学题_www.66152.COMNP完全问题(NP-C问题)，是世界七大数学难题之一。NP的英文全称是Non-deterministic Polynomial的问题，即多项式复杂程度的非确定性问题。简单的写法是NP=P?，问题就在这个问号上，到底是NP等于P，还是NP不等于P。2、霍奇猜想世界上最难十大数学题_www.66152.COM霍奇猜想是代数几何的一个重大的悬而未决的问题。由威廉瓦伦斯道格拉斯霍奇提出，它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想，属于世界七大数学难题之一。3、庞加莱猜想世界上最难十大数学题_www.66152.COM庞加莱猜想(Poincar conjecture)是法国数学家庞加莱提出的一个猜想，其中三维的情形被俄罗斯数学家格里戈里佩雷尔曼于2003年左右证明。2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。后来，这个猜想被推广至三维以上空间，被称为高维庞加莱猜想。提出这个猜想后，庞加莱一度认为自己已经证明了它。4、黎曼假说概述世界上最难十大数学题_www.66152.COM有些数具有特殊的属性，它们不能被表示为两个较小的数字的乘积，如2，3，5，7，等等。这样的数称为素数(或质数)，在纯数学和应用数学领域，它们发挥了重要的作用。所有的自然数中的素数的分布并不遵循任何规律。然而，德国数学家黎曼(1826-1866)观察到，素数的频率与一个复杂的函数密切相关。5、杨米尔斯的存在性和质量缺口世界上最难十大数学题_www.66152.COM杨米尔斯的存在性和质量缺口是世界七大数学难题之一，问题起源于物理学中的杨米尔斯理论。该问题的正式表述是:证明对任何紧的、单的规范群，四维欧几里得空间中的杨米尔斯方程组有一个预言存在质量缺口的解。该问题的解决将阐明物理学家尚未完全理解的自然界的基本方面。6、纳维-斯托克斯方程世界上最难十大数学题_www.66152.COM建立了流体的粒子动量的改变率(加速度)和作用在液体内部的压力的变化和耗散粘滞力(类似于摩擦力)以及重力之间的关系。这些粘滞力产生于分子的相互作用，能告诉我们液体有多粘。这样，纳维-斯托克斯方程描述作用于液体任意给定区域的力的动态平衡，这在流体力学中有十分重要的意义。7、BSD猜想世界上最难十大数学题_www.66152.COMBSD猜想，全称贝赫和斯维纳通-戴尔猜想(Birchand Swinnerton-Dyer猜想)，属于世界七大数学难题之一。给定一个整体域上的阿贝尔簇，猜想它的莫代尔群的秩等于它的L函数在1处的零点阶数，且它的L函数在1处的泰勒展开的首项系数与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。8、哥德巴赫猜想世界上最难十大数学题_www.66152.COM哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想:任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。9、四色定理世界上最难十大数学题_www.66152.COM四色定理又称四色猜想、四色问题，是世界三大数学猜想之一。四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。四色问题的内容是:任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行。10、费马大定理世界上最难十大数学题_www.66152.COM费马大定理，又被称为费马最后的定理，由17世纪法国数学家皮耶德费马提出。定理断言当整数n＞2时，关于x，y，z的方程x^n+y^n=z^n没有正整数解。费马大定理提出后，曾经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁怀尔斯彻底证明。世界上最难十大数学题_www.66152.COM

千禧年七大数学难题如下:1、P与NP问题：一个问题称为是P的，如果它可以通过运行多项式次（即运行时间至多是输入量大小的多项式函数）的一种算法获得解决。一个问题成为是NP的，如果所提出的解答可以用多项式次算法来检验。2、黎曼假设/黎曼猜想：黎曼ζ函数的每一个非平凡零点都有等于1/2的实部。3、庞加莱猜想：任何单连通闭3维流形同胚于3维球。4、Hodge猜想：任何Hodge类关于一个非奇异复射影代数簇都是某些代数闭链类的有理线形组合。5、Birch及Swinnerton-Dyer猜想：对于建立在有理数域上的每一条椭圆曲线，它在一处的L函数变为零的阶都等于该曲线上有理点的阿贝尔群的秩。6、Navier-Stokers方程组：（在适当的边界及初始条件下）对3维Navier-Stokers方程组证明或反证其光滑解的存在性。7、Yang-Mills理论：证明量子Yang-Mills场存在，并存在一个质量间隙。1847年，库默尔创立“代数数论”这一现代重要学科。他还证明了当n﹤100时，除却n=37、59、67这些不规则质数的情况，费尔马大定理都成立，是一次大飞跃。历史上费尔马大定理高潮迭起，传奇不断。其惊人的魅力，曾在最后时刻挽救自杀青年于不死。他就是德国的沃尔夫斯克勒，他于1908年为费尔马大定理设悬赏10万马克（相当于现时的160万美元多），期限1908－2007年。无数人耗尽心力，空留浩叹。最现代的电脑加数学技巧，验证了400万以内的n，但这对最终证明无济于事。1983年德国的法尔廷斯证明了：对任一固定的n，最多只有有限多个x，y，z，振动了世界，获得菲尔兹奖（数学界最高奖）。

难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 难题”之二：霍奇(Hodge)猜想 难题”之三：庞加莱(Poincare)猜想 难题”之四：黎曼(Riemann)假设 难题”之五：杨－米尔斯(Yang-Mills)存在性和质量缺口 难题”之六：纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 难题”之八：几何尺规作图问题 难题”之九：哥德巴赫猜想 难题”之十：四色猜想

世界上最难的数学题如下：1、NP完全问题。例:在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。宴会的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现宴会的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13717421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以分解为3607乘上3803,那么你就可以用一个袖珍计算器容易验证这是对的。2、黎曼假设。有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2、3、5、....等等。这样的数称为素数;它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式;然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。著名的黎曼假设断言，方程ζ()=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每-一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。3、BSD猜想。数学家总是被诸如那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方程是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通-戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0，那么存在无限多个有理点(解)。相反，如果z(1)不等于0，那么只存在着有限多个这样的点。

今天我们来和大家说说世界七大数学难题，这些可都是世界上最难的数学题哦。 说到数学难题你会想到什么，我最先想到的是哥德巴赫猜想，但其实哥德巴赫猜想并不是这七大数学难题之一，下面就让我们来一起看看当今科技如此发达的情况下还有哪些数学难题。世界七大数学难题：1、P/NP问题（P versus NP）2、霍奇猜想（The Hodge Conjecture）3、庞加莱猜想（The Poincaré Conjecture），此猜想已获得证实。4、黎曼猜想（The Riemann Hypothesis）5、杨-米尔斯存在性与质量间隙（Yang-Mills Existence and Mass Gap）6、纳维-斯托克斯存在性与光滑性（Navier-Stokes existence and smoothness）7、贝赫和斯维讷通-戴尔猜想（The Birch and Swinnerton-Dyer Conjecture）所谓的世界七大数学难题其实是于2000年5月24日由由美国克雷数学研究所公布的七个数学难题。也被称为千禧年大奖难题。根据克雷数学研究所订定的规则，所有难题的解答必须发表在数学期刊上，并经过各方验证，只要通过两年验证期，每解破一题的解答者，会颁发奖金100万美元。这些难题是呼应1900年德国数学家大卫·希尔伯特在巴黎提出的23个历史性数学难题，经过一百年，许多难题已获得解答。而千禧年大奖难题的破解，极有可能为密码学以及航天、通讯等领域带来突破性进展。一：P/NP问题P/NP问题是世界上最难的数学题之一。在理论信息学中计算复杂度理论领域里至今没有解决的问题，它也是克雷数学研究所七个千禧年大奖难题之一。P/NP问题中包含了复杂度类P与NP的关系。1971年史提芬·古克和Leonid Levin相对独立的提出了下面的问题，即是否两个复杂度类P和NP是恒等的（P=NP?）。 复杂度类P即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有可以在多项式时间内验证解是否正确的决定问题组成，或者等效的说，那些解可以在非确定型图灵机上在多项式时间内找出的问题的集合。很可能，计算理论最大的未解决问题就是关于这两类的关系的： P和NP相等吗？ 在2002年对于100研究者的调查，61人相信答案是否定的，9个相信答案是肯定的，22个不确定，而8个相信该问题可能和现在所接受的公理独立，所以不可能证明或证否。对于正确的解答，有一个1百万美元的奖励。 NP-完全问题（或者叫NPC）的集合在这个讨论中有重大作用，它们可以大致的被描述为那些在NP中最不像在P中的（确切定义细节请参看NP-完全理论）。计算机科学家现在相信P, NP，和NPC类之间的关系如图中所示，其中P和NPC类不交。假设P ≠ NP的复杂度类的图解。如P = NP则三个类相同。 简单来说，P = NP问题问道：如果是／不是问题的正面答案可以很快验证，其答案是否也可以很快计算？这里有一个给你找点这个问题的感觉的例子。给定一个大数Y，我们可以问Y是否是复合数。例如，我们可能问53308290611是否有非平凡的因数。答案是肯定的，虽然手工找出一个因数很麻烦。从另一个方面讲，如果有人声称答案是"对，因为224737可以整除53308290611"，则我们可以很快用一个除法来验证。验证一个数是除数比找出一个明显除数来简单得多。用于验证一个正面答案所需的信息也称为证明。所以我们的结论是，给定正确的证明，问题的正面答案可以很快地（也就是，在多项式时间内）验证，而这就是这个问题属于NP的原因。虽然这个特定的问题，最近被证明为也在P类中（参看下面的关于"质数在P中"的参考），这一点也不明显，而且有很多类似的问题相信不属于类P。 像上面这样，把问题限制到“是／不是”问题并没有改变原问题（即没有降低难度）；即使我们允许更复杂的答案，最后的问题（是否FP = FNP）是等价的。关于证明的难度的结果虽然百万美元的奖金和投入巨大却没有实质性结果的大量研究足以显示该问题是困难的，但是还有一些形式化的结果证明为什么该问题可能很难解决。 最常被引用的结果之一是设计神谕。假想你有一个魔法机器可以解决单个问题，例如判定一个给定的数是否为质数，可以瞬间解决这个问题。我们的新问题是，若我们被允许任意利用这个机器，是否存在我们可以在多项式时间内验证但无法在多项式时间内解决的问题？结果是，依赖于机器能解决的问题，P = NP和P ≠ NP二者都可以证明。这个结论带来的后果是，任何可以通过修改神谕来证明该机器的存在性的结果不能解决问题。不幸的是，几乎所有经典的方法和大部分已知的方法可以这样修改（我们称它们在相对化）。 如果这还不算太糟的话，1993年Razborov和Rudich证明的一个结果表明，给定一个特定的可信的假设，在某种意义下“自然”的证明不能解决P = NP问题。这表明一些现在似乎最有希望的方法不太可能成功。随着更多这类定理得到证明，该定理的可能证明方法有越来越多的陷阱要规避。 这实际上也是为什么NP完全问题有用的原因：若对于NP完全问题存在有一个多项式时间算法，或者没有一个这样的算法，这将能用一种相信不被上述结果排除在外的方法来解决P = NP问题

分类: 教育/学业/考试 >> 高考 问题描述: 谁看过徐迟写的报告文学《歌德巴赫猜想》 你们知道世界上最难的数学题是什么么 解析: 世界近代三大数学难题之一四色猜想 四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。 1852年10月23日，他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年哈密尔顿逝世为止，问题也没有能够解决。 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色 猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战 。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。 11年后，即1890年，数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久，泰勒的证明也被人们否定了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目, 实是一个可与费马猜想相媲美的难题：先辈数学大师们的努力，为后世的数学家揭示四色猜想之谜铺平了道路。 进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。它不仅解决了一个历时100多年的难题，而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就，他们还在寻找一种简捷明快的书面证明方法。 -------- 世界近代三大数学难题之一 费马最后定理 被公认执世界报纸牛耳地位地位的 *** 于1993年6月24日在其一版头题刊登了一则有 关数学难题得以解决的消息，那则消息的标题是「在陈年数学困局中，终于有人呼叫『 我找到了』」。时报一版的开始文章中还附了一张留着长发、穿着中古世纪欧洲学袍的 男人照片。这个古意盎然的男人，就是法国的数学家费马（Pierre de Fermat）（费马 小传请参考附录）。费马是十七世纪最卓越的数学家之一，他在数学许多领域中都有极 大的贡献，因为他的本行是专业的律师，为了表彰他的数学造诣，世人冠以「业余王子 」之美称，在三百六十多年前的某一天，费马正在阅读一本古希腊数学家戴奥芬多斯的 数学书时，突然心血来潮在书页的空白处，写下一个看起来很简单的定理这个定理的内 容是有关一个方程式 x2 + y2 =z2的正整数解的问题，当n=2时就是我们所熟知的毕氏定 理（中国古代又称勾股弦定理）：x2 + y2 =z2，此处z表一直角形之斜边而x、y为其之 两股，也就是一个直角三角形之斜边的平方等于它的两股的平方和，这个方程式当然有 整数解（其实有很多），例如：x=3、y=4、z=5；x=6、y=8、z=10；x=5、y=12、z=13… 等等。 费马声称当n>2时，就找不到满足xn +yn = zn的整数解，例如：方程式x3 +y3=z3就无法 找到整数解。 当时费马并没有说明原因，他只是留下这个叙述并且也说他已经发现这个定理的证明妙 法，只是书页的空白处不够无法写下。始作俑者的费马也因此留下了千古的难题，三百 多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最 后定理也就成了数学界的心头大患，极欲解之而后快。 十九世纪时法国的法兰西斯数学院曾经在一八一五年和一八六0年两度悬赏金质奖章和 三百法郎给任何解决此一难题的人，可惜都没有人能够领到奖赏。德国的数学家佛尔夫 斯克尔（P?Wolfskehl）在1908年提供十万马克，给能够证明费马最后定理是正确的人， 有效期间为100年。其间由于经济大萧条的原因，此笔奖额已贬值至七千五百马克，虽然 如此仍然吸引不少的「数学痴」。 二十世纪电脑发展以后，许多数学家用电脑计算可以证明这个定理当n为很大时是成立的 ，1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243-1时费马定理是正确 的（注286243-1为一天文数字，大约为25960位数）。 虽然如此，数学家还没有找到一个普遍性的证明。不过这个三百多年的数学悬案终于解 决了，这个数学难题是由英国的数学家威利斯（Andrew Wiles）所解决。其实威利斯是 利用二十世纪过去三十年来抽象数学发展的结果加以证明。 五0年代日本数学家谷山丰首先提出一个有关椭圆曲现的猜想，后来由另一位数学家志 村五郎加以发扬光大，当时没有人认为这个猜想与费马定理有任何关联。在八0年代德 国数学家佛列将谷山丰的猜想与费马定理扯在一起，而威利斯所做的正是根据这个关联 论证出一种形式的谷山丰猜想是正确的，进而推出费马最后定理也是正确的。这个结论 由威利斯在1993年的6月21日于美国剑桥大学牛顿数学研究所的研讨会正式发表，这个报 告马上震惊整个数学界，就是数学门墙外的社会大众也寄以无限的关注。不过威利斯的 证明马上被检验出有少许的瑕疵，于是威利斯与他的学生又花了十四个月的时间再加以 修正。1994年9月19日他们终于交出完整无瑕的解答，数学界的梦魇终于结束。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月7日，哥德巴赫写信将这个问题告诉给意大利大数学家欧拉，并请他帮助作出证明。欧拉在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）康托的连续统基数问题。（2）算术公理系统的无矛盾性。 3.只根据合同公理证明等底等高的两个四面体有相等之体积是不可能的。（4）两点间以直线为距离最短线问题。 （5）拓扑学成为李群的条件（拓扑群）。 （6）对数学起重要作用的物理学的公理化。 7）某些数的超越性的证明8）素数分布问题，尤其对黎曼猜想、哥德巴赫猜想和孪生素共问题。 （9）一般互反律在任意数域中的证明。10）能否通过有限步骤来判定不定方程是否存在有理整数解？ （11）一般代数数域内的二次型论。 （12）类域的构成问题。 13）一般七次代数方程以二变量连续函数之组合求解的不可能性（14）某些完备函数系的有限的（15）建立代数几何学的基础。 （16）代数曲线和曲面的拓扑研究（17）半正定形式的平方和表示18）用全（19）正则变分问题的解是否总是解析函数？ 等多面体构造空间。 20）研究一般边值问题（21）具有给定奇点和单值群的Fuchs类的线性微分方程解的存在性证明。 （22）用自守函数将解析函数单值化。 （23）发展变分学方法的研究

难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 难题”之二： 霍奇(Hodge)猜想 难题”之三： 庞加莱(Poincare)猜想 ——————据说不久前已解开难题”之四： 黎曼(Riemann)假设 难题”之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口 难题”之六： 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 难题”之七： 贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 难题”之八：几何尺规作图问题 难题”之九：哥德巴赫猜想 难题”之十：四色猜想 详细请见百度文档附件就在下面，点击即可

世界七大数学难题之首是：NP完全问题。2000 年，美国克莱数学研究所公布了世界七大数学难题，又称千年大奖问题，规定对每一难题的破解者颁发一百万美元的奖金。其中 P 与 NP 问题被列为这七大数学难题之首。NP完全问题(NP-C问题)，是世界七大数学难题之一。 NP的英文全称是Non-deterministic Polynomial的问题，即多项式复杂程度的非确定性问题。简单的写法是 NP=P？问题就在这个问号上，到底是NP等于P，还是NP不等于P。世界7大数学难题，解出一道奖励100万美元世界7大数学难题，解出一道奖励100万美元，至今只有一人解出。美国在21世纪初对全世界发布了一条悬赏消息，如果谁可以解出由专家组选出来的7大数学难题的其中一个，就可以获得100万美元的奖金，注意只要解出7道难题中的其中一个就可以。世界各地有许多数学家抱着激动的心情去解这7大难题，但基本上都是无功而返。但有一位俄罗斯数学家却解出了其中一道难题，他就是格里戈里.佩雷尔曼。他让所有参与的挑战者和专家都感觉不可思议，他解出了难题，却没有拿走100万美元资金。格里戈里说：“我感兴趣的是数学难题，而不是金钱，而且不喜欢被媒体关注。”其实格里戈里从1995年就开始研究庞加莱猜想，用了大约7年的时间，才在草稿纸上完成了这个猜想的证明。2002年他把自己的论文整理好发给数学专家团们检验，随后引起了数学界的轰动。

如果有必要你可以留下邮箱,我发一些PDF的题目给你.那些题目较难的.竞赛水平的.

分别是NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、BSD猜想。数学大师大卫·希尔伯特在1900年8月8日于巴黎召开的第二届世界数学家大会上的著名演讲中提出了23个数学难题。希尔伯特问题在过去百年中激发数学家的智慧，指引数学前进的方向，其对数学发展的影响和推动是巨大的，无法估量的。20世纪是数学大发展的一个世纪。数学的许多重大难题得到完满解决， 如费马大定理的证明，有限单群分类工作的完成等， 从而使数学的基本理论得到空前发展。2000年初美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”，克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得一百万美元的奖励。克雷数学研究所“千年大奖问题”的选定，其目的不是为了形成新世纪数学发展的新方向， 而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。2000年5月24日，千年数学会议在著名的法兰西学院举行。会上，97年菲尔兹奖获得者伽沃斯以“数学的重要性”为题作了演讲，其后，塔特和阿啼亚公布和介绍了这七个“千年大奖问题”。其中有一个已被解决(庞加莱猜想，由俄罗斯数学家格里戈里·佩雷尔曼破解)，还剩六个。“千年大奖问题”公布以来， 在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。认识和研究“千年大奖问题”已成为世界数学界的热点。

难道你想全解出来不成?我们的小爱因斯坦?

XY-3（X+Y）=23XY=5（X+Y）+1直接能求出来XY=56，X+Y=11所以这个数是56

去问度娘 搜索一下就有了

究竟是先有鸡呢？还是先有蛋呢？选我~~我要完成任务！！

27期中的二是服务员，藏的再加上服务员藏的那个就不合理了。666

1 数是什么？ 2 四则运算是什么？ 3 加法和乘法为什么符合交换律，结合律，分配律？ 4 几何图形是什么？ 5 四色猜想 6 费马最后定理 7 哥德巴赫猜想8 P（多项式算法）问题对NP（非多项式算法）问题 9 几何尺规作图问题 10 蜂窝猜想11 孪生素数猜想12 霍奇(Hodge)猜想 13 庞加莱(Poincare)猜想 14 黎曼(Riemann)假设 15 杨－米尔斯(Yang-Mills)存在性和质量缺口 16 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 17 贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 18. 白之与斯温纳顿-戴尔臆测（Birch and Swinnerton-Dyer Conjecture） 19 纳维尔–史托克方程（Navier–Stokes Equations）20 P 问题对NP 问题(The P Versus NP Problems) 21 算术公理相容性22 某些数的无理性和超越性23 仅用二元函数解一般7次代数方程的不可能性

美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以下是这七个难题的简单介绍。 “千 僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘 附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个 人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数 13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803，那么你就可以用 一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解， 被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook）于1971年陈述的。 “千僖难题”之 二： 霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块 粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对 象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断 言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。 “千 僖难题”之三： 庞加莱(Poincare)猜想 如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适 当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年 以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困 难，从那时起，数学家们就在为此奋斗。 “千僖难题”之四： 黎曼(Riemann)假设 有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2,3,5,7,等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然 数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函 数z(s$的性态。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证 明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。 “千僖难题”之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口 量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几 何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲 粒子物理研究所和筑波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于 “夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的 新观念。 “千僖难题”之六： 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理 解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展， 使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。 “千僖难题”之七： 贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 数学家总是被诸如x^2+y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这 就变得极为困难。事实上，正如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的 方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。 特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。 八： 几何尺规作图问题 这里所说的“几何尺规作图问题”是指做图限制只能用直尺、圆规，而这里的直尺是指没有刻度只能画直线的尺。“几何尺规作图问题”包括以下四个问题 1.化圆为方－求作一正方形使其面积等於一已知圆； 2.三等分任意角； 3.倍立方－求作一立方体使其体积是一已知立方体的二倍。 4.做正十七边形。 以上四个问题一直困扰数学家二千多年都不得其解，而实际上这前三大问题都已证明不可能用直尺圆规经有限步骤可解决的。第四个问题是高斯用代数的方法解决 的，他也视此为生平得意之作，还交待要把正十七边形刻在他的墓碑上，但后来他的墓碑上并没有刻上十七边形，而是十七角星，因为负责刻碑的雕刻家认为，正十 七边形和圆太像了，大家一定分辨不出来。 九：哥德巴赫猜想 公元1742年6月7日哥德巴赫(Goldbach)写信给当时的大数学家欧拉(Euler)，提出了以下的猜想: (a) 任何一个>=6之偶数，都可以表示成两个奇质数之和。 (b) 任何一个>=9之奇数，都可以表示成三个奇质数之和。 从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。 十： 四色猜想 1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有 共同边界的国家着上不同的颜色。” 1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了 四色猜想的大会战。 1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四 色猜想的计算机证明，轰动了世界。

1 数是什么? 2 四则运算是什么? 3 加法和乘法为什么符合交换律,结合律,分配律? 4 几何图形是什么? 5 四色猜想 6 费马最后定理 7 哥德巴赫猜想 8 P（多项式算法）问题对NP（非多项式算法）问题 9 几何尺规作图问题 10 蜂窝猜想 11 孪生素数猜想 12 霍奇(Hodge)猜想 13 庞加莱(Poincare)猜想 14 黎曼(Riemann)假设 15 杨－米尔斯(Yang-Mills)存在性和质量缺口 16 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 17 贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 18.白之与斯温纳顿-戴尔臆测（Birch and Swinnerton-Dyer Conjecture） 19 纳维尔–史托克方程（Navier–Stokes Equations） 20 P 问题对NP 问题(The P Versus NP Problems) 21 算术公理相容性 22 某些数的无理性和超越性 23 仅用二元函数解一般7次代数方程的不可能性

①已知线段AB=a,点A1平分AB,A2平分AA1,A3平分AA2……,An平分A（n-1）,则AAn=（ ） ②一客轮逆水行驶,船上一乘客掉了一件物品,浮在水面上,等乘客发现后,轮船立刻掉头去追,已知轮船从掉头到追上共用5分钟,问乘客丢失物品,是几分钟后发现的?（过程详细） ③星期日早晨,小明的妈妈与单位的同事乘坐旅游车外出旅游,妈妈出门片刻,小明发现妈妈遮阳伞忘在家里,立即骑车去客运公司给妈妈送伞.车站停车场汽车云集,使人眼花缭乱,小明正为找不到妈妈的旅游车而着急时,遇上了邻居王阿姨.王阿姨告诉他：你妈妈乘坐的那辆旅游车牌照号码是四位数,一、二位数字相同,三、四位数字相同,恰是一个完全平方数.妈妈的车牌号是多少? ④某自行车车厂今天生产销售一种新型车,现在想你提供以下信息：Ⅰ、该厂去年已备有这种自行车车轮10000只,车轮车间今年平均每月可生产车轮1500只,每辆自行车需有2只车轮.Ⅱ、该厂装配车间（最后一个）每月这少可配这种自行车1000辆,但不超过1200辆.Ⅲ、订单有14500辆.Ⅳ、出厂销售价为500元/辆.设该厂今年这种自行车的销售金额为a万元,判断a的取值范围.（要详细过程） 答案：①AAn=(1/2)^n*a 设乘客丢失物品是X分钟后发现的. 由题意得: 5V水+V水X+(V船-V水)X=5(V水+V船) 得X=5 答:丢失物品是5分钟后发现的. ③7744,是88的倍数. 设千位和百位数为a,十位和个位数为b. 则该数为1000a+100a+10b+b. 即为1100a+11b, 化简得:11(100a+b) 又因为a为1-9的数,b为0-9的数,且a,b不相等,代入则易获答案.(这里代入有技巧,不要一味的死代,前面的11是关键,要让100a+b凑成与11有关的数,比如是一个11的幂次或11再乘上一个叫小的完全平方数即可.) ④由题意得,该厂今年一共的轮胎数为10000+1500X12=28000(只) 所以,该厂至多生产14000辆自行车. 设装配车间可配数为X. 则12000

一年级最难得题99/8=二年级最难得题55*99=三年级最难得题5x+9=7四年级最难得题99*55-99*54=五年级最难得题10-59=六年级最难得题x的平方=16求x嘻嘻

设原来一，二，三等奖的平均分分别是a,b,c则调整后分别是a-3,b-2,c-1要求的是（a-3）-(b-2)=a-b-1又可知 b-c=7，即c=b-7首先要明确一个问题，那就是不论获奖分数是否调整前60名的总分是不变的，故有：5a+15b+40c=10(a-3)+20(b-2)+30(c-1)化简得：2c=a+b-20,把c=b-7代入，得：a-b=6,故a-b-1=5

每人等于交了90元，服务员贪污20元，这2句话是不能放在一起的！！不是同一边的概念嘛．．不知是什么人想出这种题目考人的，就是逻辑上的一点点错误嘛

可在 魔方格 里找

两个x其实是不一样的的，可以令t=x*2，则-1<=t<=4，即-1<=x*2<=4

一。填空题：1。看不清。2。看不清。3。看不清。4。不行四边形；三角形。5。小于12厘米；大于0厘米。6。720度。7。60；180。8。长是42厘米。9。原来小宁有56张，小刚有40张。10。还相差60米。11。A(4, 1), B(1, 3), C(3, 6), D(6, 4) 。二。选择题：12。C。13。B。14。C。15。B。16。C。17。B。18。C。19。B.。20。B。21。B。三。计算题：

庞加莱猜想也解决了

1、费马猜想：当整数n > 2时，关于x,y,z的不定方程 x^n + y^n = z^n 无正整数解。2、四色问题任何一张平面地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。用数学语言表示，即将平面任意地细分为不相重叠的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。3、哥德巴赫猜想1742年6月7日，德国数学家哥德巴赫在写给著名数学家欧拉的一封信中，提出了一个大胆的猜想：任何不小于3的奇数，都可以是三个质数之和（如：7=2+2+3，当时1仍属于质数）。同年，6月30日，欧拉在回信中提出了另一个版本的哥德巴赫猜想：任何偶数，都可以是两个质数之和。扩展资料四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。

七大数学难题是如下：1、黎曼猜想：黎曼猜想是关于黎曼ζ函数ζ（s）的零点分布的猜想，由数学家波恩哈德-黎曼于1859年提出。虽然在知名度上，黎曼猜想不及费尔马猜想和哥德巴赫猜想，但它在数学上的重要性要远远超过后两者，是当今数学界最重要的数学难题。2、霍奇猜想：霍奇猜想可以说难道几乎所有的数学家，猜想表达能够将特定的对象形状，在不断增加维数的时候粘合形成一起，看似非常的巧妙，但在实际的操作过程中必须要加上没有几何解释的部件。3、BSD猜想：BSD猜想，全称贝赫和斯维纳通-戴尔猜想，它描述了阿贝尔簇的算术性质与解析性质之间的联系。4、欧几里得第五公设：欧几里得第五公设：同一平面内的两条直线与第三条直线相交，若其中一侧的两个内角之和小于二直角，则该两直线必在这一侧相交。因它与平行公理是等价的，所以又称为欧几里得平行公设，简称平行公设。5、NP完全问题：NP完全问题可以说是一个听着就很复杂的数学问题，简单的讲所有的完全多项式在非确定性的问题，都可以被转化为名为满足性的逻辑运算问题，数学家们猜想的是到底有没有一个确定性的算大。6、庞加莱猜想：庞加莱猜想提出来很长时间了，猜想中提到如果不断的去扯一个橡皮筋，然后让它慢慢于移动伸缩为一个点，最终能否证明三维球面或者是四维空间中的和原点有距离的全部问题，简直就是很困难了。7、纳维-斯托克斯方程：这个数学问题本是数学家们用来研究无论是在微风还是在湍流等情况下，都能用纳卫尔-斯托可的方程式做出相应的数据解答，但是到目前能完全理解纳卫尔-斯托可方程式的人少之又少，而且有些理论的实质进展很微妙。

10、纳卫尔-斯托可方程的存在性与光滑性：小船穿梭在波浪起伏的湖中，湍急的气流跟随着我们的现代喷气式飞机的飞行，不管有微风还是湍流都可以通过解纳维叶-斯托克斯方程的解来对其进行解释和语言。9、杨-米尔斯存在性和质量缺口：杨-米尔斯理论，是现代规范场理论的基础，20世纪下半叶重要的物理突破，旨在使用非阿贝尔李群描述基本粒子的行为，是由物理学家杨振宁和米尔斯在1954年首先提出来的。这个当时没有被物理学界看重的理论，通过后来许多学者于1960到1970年代引入的对称性自发破缺与渐进自由的观念，发展成今天的标准模型。8、贝赫和斯维讷通-戴尔猜想：贝赫和斯维讷通-戴尔猜想认为有理点的群的大小和一个有关的蔡塔函数z(s)在点s=1附近的性态，这是一个特别有趣的猜想，如果z(1)等于0,那么存在无限多个有理点，那么如果它不等于0的时候就只存在有限的多个这样的点。7、四色定理：四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。6、哥德巴赫猜想：哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。5、费马大定理：由17世纪法国数学家皮耶·德·费玛提出。它断言当整数n >2时，关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。4、黎曼假设：黎曼的假设是这样的方程z(s)=0的所有有意义的解都在一条直线上，这个点解答过无数次证明为围绕素数分布的许多奥秘带来光明。伪素数及素数的普遍公式告诉我们素数与伪素数由它们的变量集决定的。所以她的假设是不对的。3、霍奇猜想：他猜想对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的（有理线性）组合。2、庞加莱猜想：庞加莱猜想是法国数学家庞加莱提出的一个猜想，2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。庞加莱猜想是一个拓扑学中带有基本意义的命题，将有助于人类更好地研究三维空间，其带来的结果将会加深人们对流形性质的认识。1、NP完全问题：如果一个人跟你说你数13717421可以写成两个较小的数的乘积，他告诉你可以分解为3607乘上3803计算机验证这样算是对的，人们猜想是不是在多项式时间内，直接算出或是找到正确答案这就是NP=P?的猜想，如果没有提示是需要花很多时间来解答的。

哥德巴赫猜想虽然相当有难度，但他的实用性并不是很高。 而列出的七个数学难题每一个解决了，都会对科技的进步产生重大的影响。

难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 难题”之二： 霍奇(Hodge)猜想 难题”之三： 庞加莱(Poincare)猜想 难题”之四： 黎曼(Riemann)假设 难题”之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口 难题”之六： 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 难题”之七： 贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 难题”之八：几何尺规作图问题 难题”之九：哥德巴赫猜想 难题”之十：四色猜想

1、NP完全问题NP完全问题(NP-C问题)，是世界七大数学难题之一。NP的英文全称是Non-deterministic Polynomial的问题，即多项式复杂程度的非确定性问题。简单的写法是NP=P?，问题就在这个问号上，到底是NP等于P，还是NP不等于P。2、霍奇猜想霍奇猜想是代数几何的一个重大的悬而未决的问题。由威廉瓦伦斯道格拉斯霍奇提出，它是关于非奇异复代数簇的代数拓扑和它由定义子簇的多项式方程所表述的几何的关联的猜想，属于世界七大数学难题之一。3、庞加莱猜想庞加莱猜想(Poincar conjecture)是法国数学家庞加莱提出的一个猜想，其中三维的情形被俄罗斯数学家格里戈里佩雷尔曼于2003年左右证明。2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。后来，这个猜想被推广至三维以上空间，被称为高维庞加莱猜想。提出这个猜想后，庞加莱一度认为自己已经证明了它。4、黎曼假说概述有些数具有特殊的属性，它们不能被表示为两个较小的数字的乘积，如2，3，5，7，等等。这样的数称为素数(或质数)，在纯数学和应用数学领域，它们发挥了重要的作用。所有的自然数中的素数的分布并不遵循任何规律。然而，德国数学家黎曼(1826-1866)观察到，素数的频率与一个复杂的函数密切相关。5、杨米尔斯的存在性和质量缺口杨米尔斯的存在性和质量缺口是世界七大数学难题之一，问题起源于物理学中的杨米尔斯理论。该问题的正式表述是:证明对任何紧的、单的规范群，四维欧几里得空间中的杨米尔斯方程组有一个预言存在质量缺口的解。该问题的解决将阐明物理学家尚未完全理解的自然界的基本方面。6、纳维-斯托克斯方程建立了流体的粒子动量的改变率(加速度)和作用在液体内部的压力的变化和耗散粘滞力(类似于摩擦力)以及重力之间的关系。这些粘滞力产生于分子的相互作用，能告诉我们液体有多粘。这样，纳维-斯托克斯方程描述作用于液体任意给定区域的力的动态平衡，这在流体力学中有十分重要的意义。7、BSD猜想BSD猜想，全称贝赫和斯维纳通-戴尔猜想(Birchand Swinnerton-Dyer猜想)，属于世界七大数学难题之一。给定一个整体域上的阿贝尔簇，猜想它的莫代尔群的秩等于它的L函数在1处的零点阶数，且它的L函数在1处的泰勒展开的首项系数与莫代尔群的有限部分大小、自由部分体积、所有素位的周期以及沙群有精确的等式关系。8、哥德巴赫猜想哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想:任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。9、四色定理四色定理又称四色猜想、四色问题，是世界三大数学猜想之一。四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。四色问题的内容是:任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行。10、费马大定理费马大定理，又被称为费马最后的定理，由17世纪法国数学家皮耶德费马提出。定理断言当整数n＞2时，关于x，y，z的方程x^n+y^n=z^n没有正整数解。费马大定理提出后，曾经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁怀尔斯彻底证明。

七大数学难题是如下：1、黎曼猜想：黎曼猜想是关于黎曼ζ函数ζ（s）的零点分布的猜想，由数学家波恩哈德-黎曼于1859年提出。虽然在知名度上，黎曼猜想不及费尔马猜想和哥德巴赫猜想，但它在数学上的重要性要远远超过后两者，是当今数学界最重要的数学难题。2、霍奇猜想：霍奇猜想可以说难道几乎所有的数学家，猜想表达能够将特定的对象形状，在不断增加维数的时候粘合形成一起，看似非常的巧妙，但在实际的操作过程中必须要加上没有几何解释的部件。3、BSD猜想：BSD猜想，全称贝赫和斯维纳通-戴尔猜想，它描述了阿贝尔簇的算术性质与解析性质之间的联系。4、欧几里得第五公设：欧几里得第五公设：同一平面内的两条直线与第三条直线相交，若其中一侧的两个内角之和小于二直角，则该两直线必在这一侧相交。因它与平行公理是等价的，所以又称为欧几里得平行公设，简称平行公设。5、NP完全问题：NP完全问题可以说是一个听着就很复杂的数学问题，简单的讲所有的完全多项式在非确定性的问题，都可以被转化为名为满足性的逻辑运算问题，数学家们猜想的是到底有没有一个确定性的算大。6、庞加莱猜想：庞加莱猜想提出来很长时间了，猜想中提到如果不断的去扯一个橡皮筋，然后让它慢慢于移动伸缩为一个点，最终能否证明三维球面或者是四维空间中的和原点有距离的全部问题，简直就是很困难了。7、纳维-斯托克斯方程：这个数学问题本是数学家们用来研究无论是在微风还是在湍流等情况下，都能用纳卫尔-斯托可的方程式做出相应的数据解答，但是到目前能完全理解纳卫尔-斯托可方程式的人少之又少，而且有些理论的实质进展很微妙。

NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨-米尔斯存在性和质量缺口、纳卫尔-斯托可方程、BSD猜想。1、NP完全问题例：在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。宴会的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现宴会的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数13717421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫作满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案呢。这就是著名的NP=P？的猜想。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于1971年陈述的。2、霍奇猜想二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完好的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。3、庞加莱猜想如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。在2002年11月和2003年7月之间，俄罗斯的数学家格里戈里·佩雷尔曼在发表了三篇论文预印本，并声称证明了几何化猜想。在佩雷尔曼之后，先后有2组研究者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密西根大学的布鲁斯·克莱纳和约翰·洛特；哥伦比亚大学的约翰·摩根和麻省理工学院的田刚。2006年8月，第25届国际数学家大会授予佩雷尔曼菲尔兹奖。数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。4、黎曼假设有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2、3、5、7……等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式。然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。著名的黎曼假设断言，方程ζ(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。黎曼假设之否认：其实虽然因素数分布而起，但是却是一个歧途，因为伪素数及素数的普遍公式告诉我们，素数与伪素数由它们的变量集决定的。具体参见伪素数及素数词条。5、杨-米尔斯存在性和质量缺口量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和驻波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。6、纳卫尔-斯托可方程的存在性与光滑性起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。7、BSD猜想数学家总是被诸如，那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方程是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)。相反，如果z(1)不等于0。那么只存在着有限多个这样的点。值得一提的是，杨-米尔斯存在性和质量间隔这个问题中的杨，就是杨振宁：足见杨振宁在科学界的地位。在杨振宁的学习和研究过程中，数学大师刘熏宇先生对他产生了深刻的影响，他曾言：“有一位刘熏宇先生，他是一位数学家，写过很多通俗易懂和极其有趣的数学方面的文章，我记得，我读了他写的一个关于智力测试的文章。才知道排列和奇偶排列这些极为重要的数学概念。”杨振宁先生推崇的这套数学书，就是下面这套数学三书，既通俗易懂又非常有趣，非常适合中小学生数学启蒙和数学思维的培养。杨一米尔斯方程(Yang-Mills equation)是一个重要的微分方程，指杨一米尔斯作用量所确定的欧拉一拉格朗日方程。杨振宁，米尔斯的理论旨在描述基本粒子的行为使用这些非阿贝尔李群和统一的核心的电磁和弱力(即U(1)×SU(2))以及量子色动力学理论的强力(基于SU(3))，从而形成了对粒子物理标准模型理解的基础。

10、纳卫尔-斯托可方程的存在性与光滑性：小船穿梭在波浪起伏的湖中，湍急的气流跟随着我们的现代喷气式飞机的飞行，不管有微风还是湍流都可以通过解纳维叶-斯托克斯方程的解来对其进行解释和语言。9、杨-米尔斯存在性和质量缺口：杨-米尔斯理论，是现代规范场理论的基础，20世纪下半叶重要的物理突破，旨在使用非阿贝尔李群描述基本粒子的行为，是由物理学家杨振宁和米尔斯在1954年首先提出来的。这个当时没有被物理学界看重的理论，通过后来许多学者于1960到1970年代引入的对称性自发破缺与渐进自由的观念，发展成今天的标准模型。8、贝赫和斯维讷通-戴尔猜想：贝赫和斯维讷通-戴尔猜想认为有理点的群的大小和一个有关的蔡塔函数z(s)在点s=1附近的性态，这是一个特别有趣的猜想，如果z(1)等于0,那么存在无限多个有理点，那么如果它不等于0的时候就只存在有限的多个这样的点。7、四色定理：四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。6、哥德巴赫猜想：哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。5、费马大定理：由17世纪法国数学家皮耶·德·费玛提出。它断言当整数n >2时，关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。被提出后，经历多人猜想辩证，历经三百多年的历史，最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。4、黎曼假设：黎曼的假设是这样的方程z(s)=0的所有有意义的解都在一条直线上，这个点解答过无数次证明为围绕素数分布的许多奥秘带来光明。伪素数及素数的普遍公式告诉我们素数与伪素数由它们的变量集决定的。所以她的假设是不对的。3、霍奇猜想：他猜想对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的（有理线性）组合。2、庞加莱猜想：庞加莱猜想是法国数学家庞加莱提出的一个猜想，2006年，数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。庞加莱猜想是一个拓扑学中带有基本意义的命题，将有助于人类更好地研究三维空间，其带来的结果将会加深人们对流形性质的认识。1、NP完全问题：如果一个人跟你说你数13717421可以写成两个较小的数的乘积，他告诉你可以分解为3607乘上3803计算机验证这样算是对的，人们猜想是不是在多项式时间内，直接算出或是找到正确答案这就是NP=P?的猜想，如果没有提示是需要花很多时间来解答的。

世界近代三大数学难题之一 哥德巴赫猜想 哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和。如6＝3＋3，12＝5＋7等等。 1742年6月7日，哥德巴赫写信将这个问题告诉给意大利大数学家欧拉，并请他帮助作出证明。欧拉在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)的光辉顶峰只有飓尺之遥时，他却体力不支倒下去了……”在他身后，将会有更多的人去攀登这座高峰。

世界七大数学难题之首是：NP完全问题。2000 年，美国克莱数学研究所公布了世界七大数学难题，又称千年大奖问题，规定对每一难题的破解者颁发一百万美元的奖金。其中 P 与 NP 问题被列为这七大数学难题之首。NP完全问题(NP-C问题)，是世界七大数学难题之一。 NP的英文全称是Non-deterministic Polynomial的问题，即多项式复杂程度的非确定性问题。简单的写法是 NP=P？问题就在这个问号上，到底是NP等于P，还是NP不等于P。世界7大数学难题，解出一道奖励100万美元世界7大数学难题，解出一道奖励100万美元，至今只有一人解出。美国在21世纪初对全世界发布了一条悬赏消息，如果谁可以解出由专家组选出来的7大数学难题的其中一个，就可以获得100万美元的奖金，注意只要解出7道难题中的其中一个就可以。世界各地有许多数学家抱着激动的心情去解这7大难题，但基本上都是无功而返。但有一位俄罗斯数学家却解出了其中一道难题，他就是格里戈里.佩雷尔曼。他让所有参与的挑战者和专家都感觉不可思议，他解出了难题，却没有拿走100万美元资金。格里戈里说：“我感兴趣的是数学难题，而不是金钱，而且不喜欢被媒体关注。”其实格里戈里从1995年就开始研究庞加莱猜想，用了大约7年的时间，才在草稿纸上完成了这个猜想的证明。2002年他把自己的论文整理好发给数学专家团们检验，随后引起了数学界的轰动。

一 数学基础问题。 1、 数是什么？ 2、 四则运算是什么？ 3、 加法和乘法为什么符合交换律，结合律，分配律？ 4、 几何图形是什么？ 二 几个未解的题。 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^π的超越性，却至今未有人证明e+π的超越性。 3、素数问题。 证明： ζ(s)=1+(1/2)^s+(1/3)^s+(1/4)^s+(1/5)^s + … (s属于复数域) 所定义的函数ζ(s)的零点，除负整实数外，全都具有实部1/2。 背景： 此即黎曼猜想。也就是希尔伯特第8问题。 美国数学家用计算机算了ζ(s)函数前300万个零点确实符合猜想。 希尔伯特认为黎曼猜想的解决能够使我们严格地去解决歌德巴赫猜想（任一偶数可以分解为两素数之和）和孪生素数猜想（存在无穷多相差为2的素数）。 引申的问题是：素数的表达公式？素数的本质是什么？ 4、 存在奇完全数吗？ 背景： 所谓完全数，就是等于其因子的和的数。 前三个完全数是： 6=1+2+3 28=1+2+4+7+14 496=1+2+4+8+16+31+62+124+248 目前已知的32个完全数全部是偶数。 1973年得到的结论是如果n为奇完全数，则： n>10^50 5、 除了8=2^3,9=3^2外，再没有两个连续的整数可表为其他正整数的方幂了吗？ 背景： 这是卡塔兰猜想（1842）。 1962年我国数学家柯召独立证明了不存在连续三个整数可表为其它正整数的方幂。 1976年，荷兰数学家证明了大于某个数的任何两个正整数幂都不连续。因此只要检查小于这个数的任意正整数幂是否有连续的就行了。 但是，由于这个数太大，有500多位，已超出计算机的计算范围。 所以，这个猜想几乎是正确的，但是至今无人能够证实。 6、 任给一个正整数n，如果n为偶数，就将它变为n/2,如果除后变为奇数，则将它乘3加1（即3n+1）。不断重复这样的运算，经过有限步后，一定可以得到1吗？ 背景： 这角古猜想（1930）。 人们通过大量的验算，从来没有发现反例，但没有人能证明。 三 希尔伯特23问题里尚未解决的问题。 1、问题1连续统假设。 全体正整数（被称为可数集）的基数 和实数集合（被称为连续统）的基数c之间没有其它基数。 背景：1938年奥地利数学家哥德尔证明此假设在集合论公理系统，即策莫罗-佛朗克尔公理系统里，不可证伪。 1963年美国数学家柯恩证明在该公理系统，不能证明此假设是对的。 所以，至今未有人知道，此假设到底是对还是错。 2、问题2 算术公理相容性。 背景：哥德尔证明了算术系统的不完备，使希尔伯特的用元数学证明算术公理系统的无矛盾性的想法破灭。 3、 问题7 某些数的无理性和超越性。 见上面 二 的 2 5、 问题 8 素数问题。 见上面 二 的 3 6、 问题 11 系数为任意代数数的二次型。 背景：德国和法国数学家在60年代曾取得重大进展。 7、 问题 12 阿贝尔域上的克罗内克定理在任意代数有理域上的推广。 背景：此问题只有些零散的结果，离彻底解决还十分遥远。 8、 问题13 仅用二元函数解一般7次代数方程的不可能性。 背景：1957苏联数学家解决了连续函数情形。如要求是解析函数则此问题尚未完全解决。 9、 问题15 舒伯特计数演算的严格基础。 背景： 代数簌交点的个数问题。和代数几何学有关。 10、 问题 16 代数曲线和曲面的拓扑。 要求代数曲线含有闭的分枝曲线的最大数目。和微分方程的极限环的最多个数和相对位置。 11、 问题 18 用全等多面体来构造空间。 无限个相等的给定形式的多面体最紧密的排列问题，现在仍未解决。 12、 问题 20 一般边值问题。 偏微分方程的边值问题，正在蓬勃发展。 13、 问题 23 变分法的进一步发展。 四 千禧七大难题 2000年美国克雷数学促进研究所提出。为了纪念百年前希尔伯特提出的23问题。每一道题的赏金均为百万美金。 1、 黎曼猜想。 见 二 的 3 透过此猜想，数学家认为可以解决素数分布之谜。 这个问题是希尔伯特23个问题中还没有解决的问题。透过研究黎曼猜想数 学家们认为除了能解开质数分布之谜外，对於解析数论、函数理论、 椭圆函数论、群论、质数检验等都将会有实质的影响。 2、杨-密尔斯理论与质量漏洞猜想(Yang-Mills Theory and Mass Gap Hypothesis) 西元1954 年杨振宁与密尔斯提出杨-密尔斯规范理论，杨振宁由 数学开始，提出一个具有规范性的理论架构，后来逐渐发展成为量子 物理之重要理论，也使得他成为近代物理奠基的重要人物。 杨振宁与密尔斯提出的理论中会产生传送作用力的粒子，而他们 碰到的困难是这个粒子的质量的问题。他们从数学上所推导的结果 是，这个粒子具有电荷但没有质量。然而，困难的是如果这一有电荷 的粒子是没有质量的，那麼为什麼没有任何实验证据呢？而如果假定 该粒子有质量，规范对称性就会被破坏。一般物理学家是相信有质 量，因此如何填补这个漏洞就是相当具挑战性的数学问题。 3、P 问题对NP 问题(The P Versus NP Problems) 随著计算尺寸的增大，计算时间会以多项式方式增加的型式的问题叫做「P 问题」。 P 问题的P 是Polynomial Time(多项式时间)的头一个字母。已 知尺寸为n，如果能决定计算时间在cnd (c 、d 为正实数) 时间以下 就可以或不行时，我们就称之为「多项式时间决定法」。而能用这个 算法解的问题就是P 问题。反之若有其他因素，例如第六感参与进来 的算法就叫做「非决定性算法」，这类的问题就是「NP 问题」，NP 是 Non deterministic Polynomial time (非决定性多项式时间)的缩写。 由定义来说，P 问题是NP 问题的一部份。但是否NP 问题里面有 些不属於P 问题等级的东西呢？或者NP 问题终究也成为P 问题？这 就是相当著名的PNP 问题。 4、.纳维尔–史托克方程（Navier–Stokes Equations） 因为尤拉方程太过简化所以寻求作修正，在修正的过程中产生了 新的结果。法国工程师纳维尔及英国数学家史托克经过了严格的数学 推导，将黏性项也考虑进去得到的就是纳维尔–史托克方程。 自从西元1943 年法国数学家勒雷（Leray）证明了纳维尔–史托 克方程的全时间弱解(global weak solution)之后，人们一直想知道 的是此解是否唯一？得到的结果是：如果事先假设纳维尔–史托克方 程的解是强解(strong solution)，则解是唯一。所以此问题变成:弱解与强解之间的差距有多大，有没有可能弱解会等於强解？换句话说，是不是能得到纳维尔–史托克方程的全时间平滑解？再者就是证 明其解在有限时间内会爆掉(blow up in finite time)。 解决此问题不仅对数学还有对物理与航太工程有贡献，特别是乱 流(turbulence)都会有决定性的影响，另外纳维尔–史托克方程与奥 地利伟大物理学家波兹曼的波兹曼方程也有密切的关系，研究纳维 尔–史托克（尤拉）方程与波兹曼方程（Boltzmann Equations）两 者之关系的学问叫做流体极限(hydrodynamics limit)，由此可见纳 维尔–史托克方程本身有非常丰富之内涵。 5.庞加莱臆测(Poincare Conjecture) 庞加莱臆测是拓朴学的大问题。用数学界的行话来说：单连通的 三维闭流形与三维球面同胚。 从数学的意义上说这是一个看似简单却又非 常困难的问题，自庞加莱在西元1904 年提出之 后，吸引许多优秀的数学家投入这个研究主题。 庞加莱（图4）臆测提出不久，数学们自然的将 之推广到高维空间(n4)，我们称之为广义庞加莱臆测：单连通的 ≥ n(n4)维闭流形，如果与n ≥ 维球面有相同的基本群(fundamental group)则必与n维球面同胚。 经过近60 年后，西元1961 年，美国数学家斯麦尔（Smale）以 巧妙的方法，他忽略三维、四维的困难，直接证明五维(n5)以上的 ≥ 广义庞加莱臆测，他因此获得西元1966 年的费尔兹奖。经过20年之 后，另一个美国数学家佛瑞曼（Freedman）则证明了四维的庞加莱臆 测，并於西元1986年因为这个成就获得费尔兹奖。但是对於我们真 正居住的三维空间(n3)，在当时仍然是一个未解之谜。 = 一直到西元2003 年4 月，俄罗斯数学家斐雷曼（Perelman）於 麻省理工学院做了三场演讲，在会中他回答了许多数学家的疑问，许 多迹象显示斐雷曼可能已经破解庞加莱臆测。数天后「纽约时报」首 次以「俄国人解决了著名的数学问题」为题向公众披露此一消息。同 日深具影响力的数学网站MathWorld 刊出的头条文章为「庞加莱臆测 被证明了，这次是真的！」[14]。 数学家们的审查将到2005年才能完成，到目前为止，尚未发现 斐雷曼无法领取克雷数学研究所之百万美金的漏洞。 6.白之与斯温纳顿-戴尔臆测（Birch and Swinnerton-Dyer Conjecture） 一般的椭圆曲线方程式 y^2=x^3+ax+b ，在计算椭圆之弧长时 就会遇见这种曲线。自50 年代以来，数学家便发现椭圆曲线与数论、 几何、密码学等有著密切的关系。例如：怀尔斯（Wiles）证明费马 最后定理，其中一个关键步骤就是用到椭圆曲线与模形式(modularform)之关系－即谷山-志村猜想，白之与斯温纳顿-戴尔臆测就是与 椭圆曲线有关。 60年代英国剑桥大学的白之与斯温纳顿-戴尔利用电脑计算一些 多项式方程式的有理数解。通常会有无穷多解，然而要如何计算无限 呢？其解法是先分类，典型的数学方法是同余(congruence)这个观念 并藉此得同余类(congruence class)即被一个数除之后的余数，无穷 多个数不可能每个都要。数学家自然的选择了质数，所以这个问题与 黎曼猜想之Zeta 函数有关。经由长时间大量的计算与资料收集，他 们观察出一些规律与模式，因而提出这个猜测。他们从电脑计算之结 果断言：椭圆曲线会有无穷多个有理点，若且唯若附於曲线上面的 Zeta 函数ζ (s) = 时取值为0，即ζ (1) ；当s1= 0 7.霍奇臆测(Hodge Conjecture) 「任意在非奇异投影代数曲体上的调和微分形式，都是代数圆之 上同调类的有理组合。」 最后的这个难题，虽不是千禧七大难题中最困难的问题，但却可 能是最不容易被一般人所了解的。因为其中有太多高深专业而且抽象参考资料：《数学的100个基本问题》《数学与文化》《希尔伯特23个数学问题回顾》

数学猜想难题排行参考如下：1、P与NP问题：一个问题称为是P的，如果它可以通过运行多项式次（即运行时间至多是输入量大小的多项式函数）的一种算法获得解决。一个问题成为是NP的，如果所提出的解答可以用多项式次算法来检验。2、黎曼假设/黎曼猜想：黎曼ζ函数的每一个非平凡零点都有等于1/2的实部。3、庞加莱猜想：任何单连通闭3维流形同胚于3维球。4、Hodge猜想：任何Hodge类关于一个非奇异复射影代数簇都是某些代数闭链类的有理线形组合。5、Birch及Swinnerton-Dyer猜想：对于建立在有理数域上的每一条椭圆曲线，它在一处的L函数变为零的阶都等于该曲线上有理点的阿贝尔群的秩。6、Navier-Stokers方程组：（在适当的边界及初始条件下）对3维Navier-Stokers方程组证明或反证其光滑解的存在性。7、Yang-Mills理论：证明量子Yang-Mills场存在，并存在一个质量间隙。世界三大数学猜想即费马猜想、四色猜想和哥德巴赫猜想。费马猜想的证明于1994年由英国数学家安德鲁·怀尔斯(Andrew Wiles)完成，遂称费马大定理;四色猜想的证明于1976年由美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)借助计算机完成，遂称四色定理。哥德巴赫猜想尚未解决，最好的成果(陈氏定理)乃于1966年由中国数学家陈景润取得。这三个问题的共同点就是题面简单易懂，内涵深邃无比，影响了一代代的数学家。

七大数学难题排行榜如下：1、黎曼猜想：黎曼猜想是关于黎曼ζ函数ζ（s）的零点分布的猜想，[bai]由数学家波恩哈德-黎曼于1859年提出。虽然在知名度上，黎曼猜想不及费尔马猜想和哥德巴赫猜想，但它在数学上的重要性要远远超过后两者，是当今数学界最重要的数学难题。2、NP完全问题：NP完全问题可以说是一个听着就很复杂的数学问题，简单的讲所有的完全多项式在非确定性的问题，都可以被转化为名为满足性的逻辑运算问题，数学家们猜想的是到底有没有一个确定性的算大。3、霍奇猜想：霍奇猜想可以说难道几乎所有的数学家，猜想表达能够将特定的对象形状，在不断增加维数的时候粘合形成一起，看似非常的巧妙，但在实际的操作过程中必须要加上没有几何解释的部件。4、庞加莱猜想：庞加莱猜想提出来很长时间了，[bai]猜想中提到如果不断的去扯一个橡皮筋，然后让它慢慢于移动伸缩为一个点，最终能否证明三维球面或者是四维空间中的和原点有距离的全部问题，简直就是很困难了。5、纳维-斯托克斯方程：这个数学问题本是数学家们用来研究无论是在微风还是在湍流等情况下，都能用纳卫尔-斯托可的方程式做出相应的数据解答，但是到目前能完全理解纳卫尔-斯托可方程式的人少之又少，而且有些理论的实质进展很微妙。6、BSD猜想：BSD猜想，全称贝赫和斯维纳通-戴尔猜想，它描述了阿贝尔簇的算术性质与解析性质之间的联系。7、欧几里得第五公设：欧几里得第五公设：同一平面内的两条直线与第三条直线相交，若其中一侧的两个内角之和小于二直角，则该两直线必在这一侧相交。因它与平行公理是等价的，所以又称为欧几里得平行公设，简称平行公设。

21世纪数学七大难题 最近美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣 布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以 下是这七个难题的简单介绍。 “千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题 在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅 中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女 士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这 样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问 题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与 此类似的是，如果某人告诉你，数13，717，421可以写成两个较小的数的乘积，你 可能不知道是否应该相信他，但是如果他告诉你它可以因子分解为3607乘上3803， 那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个 答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被 看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克（StephenCook ）于1971年陈述的。 “千僖难题”之二： 霍奇(Hodge)猜想 二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样 的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来 形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有 力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。 不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些 没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来 说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。 “千僖难题”之三： 庞加莱(Poincare)猜想 如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表 面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸 缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说 ，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球 面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体 )的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。 “千僖难题”之四： 黎曼(Riemann)假设 有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2,3,5,7,等等。这样的 数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布 并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密 相关于一个精心构造的所谓黎曼蔡塔函数z(s$的性态。著名的黎曼假设断言，方程z(s)=0的 所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它 对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。 “千僖难题”之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口 量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大 约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学 之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中 所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如 此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学 家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来 没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引 进根本上的新观念。 “千僖难题”之六： 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性 起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气 式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯 托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的 理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托 克斯方程中的奥秘。 “千僖难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想 数学家总是被诸如x^2+y^2=z^2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾 经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正 如马蒂雅谢维奇(Yu.V.Matiyasevich)指出，希尔伯特第十问题是不可解的，即，不存在一 般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷 通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特 别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z( 1)不等于0,那么只存在有限多个这样的点。

题……呢……

数学界七大难题是如下：1、黎曼猜想：黎曼猜想是关于黎曼ζ函数ζ（s）的零点分布的猜想，由数学家波恩哈德-黎曼于1859年提出。虽然在知名度上，黎曼猜想不及费尔马猜想和哥德巴赫猜想，但它在数学上的重要性要远远超过后两者，是当今数学界最重要的数学难题。2、霍奇猜想：霍奇猜想可以说难道几乎所有的数学家，猜想表达能够将特定的对象形状，在不断增加维数的时候粘合形成一起，看似非常的巧妙，但在实际的操作过程中必须要加上没有几何解释的部件。3、BSD猜想：BSD猜想，全称贝赫和斯维纳通-戴尔猜想，它描述了阿贝尔簇的算术性质与解析性质之间的联系。4、欧几里得第五公设：欧几里得第五公设：同一平面内的两条直线与第三条直线相交，若其中一侧的两个内角之和小于二直角，则该两直线必在这一侧相交。因它与平行公理是等价的，所以又称为欧几里得平行公设，简称平行公设。5、NP完全问题：NP完全问题可以说是一个听着就很复杂的数学问题，简单的讲所有的完全多项式在非确定性的问题，都可以被转化为名为满足性的逻辑运算问题，数学家们猜想的是到底有没有一个确定性的算大。6、庞加莱猜想：庞加莱猜想提出来很长时间了，猜想中提到如果不断的去扯一个橡皮筋，然后让它慢慢于移动伸缩为一个点，最终能否证明三维球面或者是四维空间中的和原点有距离的全部问题，简直就是很困难了。7、纳维-斯托克斯方程：这个数学问题本是数学家们用来研究无论是在微风还是在湍流等情况下，都能用纳卫尔-斯托可的方程式做出相应的数据解答，但是到目前能完全理解纳卫尔-斯托可方程式的人少之又少，而且有些理论的实质进展很微妙。

请把毕达哥拉斯定理叫成勾股定理，是不是中国人？

1、费尔马大定理2、四色问题3、哥德巴赫猜想