大学数学难题

㈠ 一道难倒大学教授的数学难题！

老板拿去25元+服务员2元+三人的3元，

而你后面说
：三个人乘于九块等于二十七块，再加上服务员两块等于二十九块

这句话的意思就是说：他们已经支付了的
：老板拿去25元+服务员2元+(再加）服务员的2元=29元

试问
你到底要问哪一块？是他们三人中的3元的任何一元吗？
还是你把3元当做一个块（即一个部分）来处理？
你的用意
是这个吗

㈡ 大学数学问题

利用偏微分的基本公式就能做出来，见下图，希望对你有所帮助

㈢ 世界上的四大数学难题是指哪四个

1、立方倍积问题

立方倍积就是利用尺规作图作一个立方体，使其体积等于已知立方体的二倍，这个问题也叫倍立方问题，也称之为德里安问题、Delos问题。

若已知立方体的棱长为1， 则立方倍积问题就可以转化为方程x³-2=0解的尺规作图问题。根据尺规作图准则，该方程之解无法作出。

因此，立方倍积问题和三等分角问题、化圆为方问题一起，成为古希腊三大几何难题。立方倍积问题不能用尺规作图方法解决的严格证明是法国数学家万采尔(P.-L. Wantzel,1814-1848)于1837年给出的。

2、三等分任意角问题

三等分角是古希腊三大几何问题之一。三等分角是古希腊几何尺规作图当中的名题，和化圆为方、倍立方问题被并列为古代数学的三大难题之一，而如今数学上已证实了这个问题无解。该问题的完整叙述为：在只用圆规及一把没有刻度的直尺将一个给定角三等分。

在尺规作图（尺规作图是指用没有刻度的直尺和圆规作图）的前提下，此题无解。若将条件放宽，例如允许使用有刻度的直尺，或者可以配合其他曲线使用，可以将一给定角分为三等分。

3、化圆为方

化圆为方是古希腊尺规作图问题之一，即：求一正方形，其面积等于一给定圆的面积。由π为超越数可知，该问题仅用直尺和圆规是无法完成的。但若放宽限制，这一问题可以通过特殊的曲线来完成。如西皮阿斯的割圆曲线，阿基米德的螺线等。

4、哥德巴赫猜想

哥德巴赫1742年给欧拉的信中哥德巴赫提出了以下猜想：任一大于2的偶数都可写成两个质数之和。但是哥德巴赫自己无法证明它，于是就写信请教赫赫有名的大数学家欧拉帮忙证明，但是一直到死，欧拉也无法证明。

因现今数学界已经不使用“1也是素数”这个约定，原初猜想的现代陈述为：

任一大于5的整数都可写成三个质数之和。(n>5：当n为偶数，n=2+(n-2)，n-2也是偶数，可以分解为两个质数的和；当n为奇数，n=3+(n-3)，n-3也是偶数，可以分解为两个质数的和)

欧拉在回信中也提出另一等价版本，即任一大于2的偶数都可写成两个质数之和。

今日常见的猜想陈述为欧拉的版本。把命题"任一充分大的偶数都可以表示成为一个素因子个数不超过a个的数与另一个素因子不超过b个的数之和"记作"a+b"。

1966年陈景润证明了"1+2"成立，即"任一充分大的偶数都可以表示成二个素数的和，或是一个素数和一个半素数的和"。

㈣ 当今数学界十大难题

美国麻州的克雷（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亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界

㈤ 谁知道7大数学难题的具体内容是什么啊

1、NP 完全问题
数学上著名的NP问题，完整的叫法是NP完全问题，也即“NP COMPLETE”问题，简单的写法，是 NP=P？的问题。问题就在这个问号上，到底是NP等於P，还是NP不等於P。
NP问题到底是Polynomial，还是Non-Polynomial，尚无定论。
NP里面的N，不是Non-Polynomial的N，是Non-Deterministic，P代表Polynomial倒是对的。NP就是Non-deterministic Polynomial的问题，也即是多项式复杂程度的非确定性问题。
什么是非确定性问题呢？有些计算问题是确定性的，比如加减乘除之类，你只要按照公式推导，按部就班一步步来，就可以得到结果。但是，有些问题是无法按部就班直接地计算出来。比如，找大质数的问题。有没有一个公式，你一套公式，就可以一步步推算出来，下一个质数应该是多少呢？这样的公式是没有的。再比如，大的合数分解质因数的问题，有没有一个公式，把合数代进去，就直接可以算出，它的因子各自是多少？也没有这样的公式。
这种问题的答案，是无法直接计算得到的，只能通过间接的“猜算”来得到结果。这也就是非确定性问题。而这些问题的通常有个算法，它不能直接告诉你答案是什么，但可以告诉你，某个可能的结果是正确的答案还是错误的。这个可以告诉你“猜算”的答案正确与否的算法，假如可以在多项式时间内算出来，就叫做多项式非确定性问题。而如果这个问题的所有可能答案，都是可以在多项式时间内进行正确与否的验算的话，就叫完全多项式非确定问题。
完全多项式非确定性问题可以用穷举法得到答案，一个个检验下去，最终便能得到结果。但是这样算法的复杂程度，是指数关系，因此计算的时间随问题的复杂程度成指数的增长，很快便变得不可计算了。
人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们於是就猜想，是否这类问题，存在一个确定性算法，可以在指数
时间内，直接算出或是搜寻出正确的答案呢？这就是著名的NP=P？的猜想。
解决这个猜想，无非两种可能，一种是找到一个这样的算法，只要针对某个特定NP完全问题找到一个算法，所有这类问题都可以迎刃而解了，因为他们可以转化为同一个问题。另外的一种可能，就是这样的算法是不存在的。那么就要从数学理论上证明它为什么不存在。
前段时间轰动世界的一个数学成果，是几个印度人提出了一个新算法，可以在多项式时间内，证明某个数是或者不是质数，而在这之前，人们认为质数的证明，是个非多项式问题。可见，有些看来好象是非多项式的问题，其实是多项式问题，只是人们一时还不知道它的多项式解而已。
如果判定问题π∈NP，并且对所有其他判定问题 π∈NP，都有π'多项式变换到π(记为π'∞π)，则称判定问题π 是NP完全的。
对P类，NP类及NP完全问题的研究推动 了计算复杂性理论的发展，产生了许多新概念，提出了许多新方 法。但是还有许多难题至今没有解决，P=?NP就是其中之一。许多学者猜想P≠NP，但无法证明。

2、郝治（Hodge） 猜想
也叫霍奇猜想(Hodge Conjecture)：在非奇异复射影代数簇上, 任一霍奇类是代数闭链类的有理线性组合。
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导至一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的（有理线性）组合。

3、庞加莱（Poincare） 猜想
在一个三维空间中，假如每一条封闭的曲线都能收缩到一点，那么这个空间一定是一个三维的圆球。但1905年发现提法中有错误，并对之进行了修改，被推广为：“任何与n维球面同伦的n维封闭流形必定同胚于n维球面。”

如果你认为这个说法太抽象的话，我们不妨做这样一个想象：

我们想象这样一个房子，这个空间是一个球。或者，想象一只巨大的足球，里面充满了气，我们钻到里面看，这就是一个球形的房子。

4、黎曼（Rieman ）假设
有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2,3,5,7,等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数z(s)的性态。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。
在证明素数定理的过程中，黎曼提出了一个论断：Zeta函数的零点都在直线Res(s) = 1/2上。他在作了一番努力而未能证明后便放弃了，因为这对他证明素数定理影响不大。但这一问题至今仍然未能解决，甚至于比此假设简单的猜想也未能获证。而函数论和解析数论中的很多问题都依赖于黎曼假设。在代数数论中的广义黎曼假设更是影响深远。若能证明黎曼假设，则可带动许多问题的解决。

5、杨－米尔斯 (Yang-Mills) 理论
又称规范场理论，是研究自然界四种相互作用（电磁、弱、强、引力）的基本理论，是由物理学家杨振宁和R.L.米尔斯在1954年首先提出来的。它起源于对电磁相互作用的分析，利用它所建立的弱相互作用和电磁相互作用的统一理论，已经为实验所证实，特别是这理论所预言的传播弱相互作用的中间玻色子，已经在实验中发现。杨－米尔斯理论又为研究强子（参与强相互作用的基本粒子）的结构提供了有力的工具。在某种意义上说，引力场也是一种规范场。所以这一理论在物理中的作用非常重要。数学家注意到杨－米尔斯场中的规范势恰是数学家在20世纪30～40年代以来深入研究过的纤维丛上的联络。不仅如此，他们还发现，这一理论中出现的杨－米尔斯方程是一组数学上未曾考虑到的极有意义的非线性偏微分方程。1975年以来数学家对杨－米尔斯方程进行了许多深入的研究，这些研究对于纯粹数学的发展，也起了推动作用。

6、纳卫尔－斯托可（Navier-Stokes）方程
纳卫尔－斯托可（Navier-Stokes）方程也称纳威厄-斯托克斯方程(Navier-Stokes Equations)：证明或否定3-维奈维尔－斯托克斯方程解的存在性和光滑性(在合理的边界和初始条件下)。
纳维叶－斯托克斯（Navier-Stokes）方程的存在性与光滑性
起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

7、BSD（Birch and Swinnerton-Dyer）猜想
BSD猜想属于数论中的内容，是关于方程的整数和有理数解的问题。
数学家总是被诸如x2+y2=z2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点

㈥ 数学界23大难题有哪些

一 数学基础问题。
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）证明费马
最后定理，其中一个关键步骤就是用到椭圆曲线与模形式(molarform)之关系－即谷山-志村猜想，白之与斯温纳顿-戴尔臆测就是与
椭圆曲线有关。

60年代英国剑桥大学的白之与斯温纳顿-戴尔利用电脑计算一些
多项式方程式的有理数解。通常会有无穷多解，然而要如何计算无限
呢？其解法是先分类，典型的数学方法是同余(congruence)这个观念
并藉此得同余类(congruence class)即被一个数除之后的余数，无穷
多个数不可能每个都要。数学家自然的选择了质数，所以这个问题与
黎曼猜想之Zeta 函数有关。经由长时间大量的计算与资料收集，他
们观察出一些规律与模式，因而提出这个猜测。他们从电脑计算之结
果断言：椭圆曲线会有无穷多个有理点，若且唯若附於曲线上面的

Zeta 函数ζ (s) = 时取值为0，即ζ (1)

；当s1= 0

7.霍奇臆测(Hodge Conjecture)
「任意在非奇异投影代数曲体上的调和微分形式，都是代数圆之
上同调类的有理组合。」
最后的这个难题，虽不是千禧七大难题中最困难的问题，但却可
能是最不容易被一般人所了解的。因为其中有太多高深专业而且抽象
参考资料：《数学的100个基本问题》《数学与文化》《希尔伯特23个数学问题回顾》

㈦ 十大数学难题

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年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。

㈧ 大学数学问题

求极限x→[(tanx-x)/(xsin²x)]
解：x→0lim[(sinx-xcosx)/(xcosxsin²x)]=x→0lim[(xsinx)/(cosxsin²x-xsin³x+2xcos²xsinx)]
=x→0lim[x/(cosxsinx-xsin²x+2xcos²x)]=x→0lim[x/(xcosx-x³+2x-2xsin²x)]
=x→0lim[1/(cosx-x²+2-2sin²x)]=1/2
【原题可能有误！分母上的sinx²似乎应该是sin²x，不然求不出来】。
2。设y=ln(secx+tanx)，求y'，y''.
【(secx)'=secxtanx=sec²xsinx，secxcosx=1】
解：y'=(secxtanx+sec²x)/(secx+tanx)=(sec²xsinx+sec²x)/(secx+sinxsecx)=(secxsinx+secx)/(1+sinx)
y''=[(1+sinx)(sec²xsin²x+1+sec²xsinx)-(secxsinx+secx)(cosx)]/(1+sinx)²
=[(1+sinx)(sec²xsin²x+sec²xsinx+1)-(sinx+1)]/(1+sinx)²=(sec²xsin²x+sec²xsinx)/(1+sinx)

㈨ 最难的大学数学题目

难题是相对而言的嘛，想挑战难题的话，你可以看看美国数学建模历年题目，都很难，而且很有意思， ;可以看下2012年全国建模B题，好变态呀

㈩ 数学难题大学

(1)
A'(-4，-3)
B'(1，-2)
C'(-1，1)
(2)
P'(a-3,b-4)
此题无需过程，在坐标轴上描点即可，若不懂可追问