数学史上的未解之谜（数学至今未解之谜）
数学史上的未解之谜（数学至今未解之谜）
未经查明的空中飞行物，国际上通称UFO，俗称飞碟。据目击者报告，不明飞行物外形多呈圆盘状（碟状）、球状和雪茄状……
20世纪40年代末起，不明飞行物目击事件急剧增多，引起了科学界的争论……
2.尼斯湖水怪之谜
关于尼斯湖水怪最早的记载可追溯到公元565年，爱尔兰传教士圣哥伦伯和他的仆人在湖中游泳，水怪突然向仆人袭来……
3.鬼魂之谜
古时候，在人们的观念中，一个人死后，他的灵魂依然存在于他死的地方或是他的坟墓之中……
4.泰坦尼克号之谜
1912年4月15日，载着1316号乘客和891名船员的豪华巨轮“泰坦尼克号”与冰山相撞而沉没，这场海难被认为是20世纪人间十大灾难之一……
5.肯尼迪死之谜
作为美国历史上最年轻的当选总统，他的灿烂笑脸和迷人风采、寻梦之路和悲剧性结局，都使他成为一种悲喜人生的标志……
1963年11月22日，美国总统约翰·肯尼迪在众目睽睽之下遇刺身亡，举国震惊！数十万美国人怀着悲痛涌向华盛顿参加葬礼……
6.包尸布之谜
基督圣体裹尸布，又称“都灵圣体裹尸布”，是意大利都灵一座小礼拜堂里保存的一块十四尺五寸长、三尺八寸宽的布，被认为是用来包裹耶稣尸体的布……
7.奇迹之谜
世界上伟大宗教的核心，都是因为某种神秘性而赢得虔诚的膜拜，哭泣的圣母玛利亚更是让人们笃信奇迹的存在……
8.埃及古墓咒语之谜
埃及法老的诅咒一直充满着神秘色彩，“谁扰乱了法老的安眠，死神将张开翅膀降临在他的头上”……
9.人体自燃之谜
人体自燃现象最早见于17世纪的医学报告，时至今日，有关的文献更是层出不穷，记载也更为详尽。那么，什么是人体自燃呢？人体为什么会自燃呢？
10.韩国客机坠毁之谜
1983年8月31日深夜，韩国一架从美国安克雷奇飞往韩国首尔的波音747客机在苏联萨哈林岛上空被苏军击落，震惊世界……
即费马猜想、四色猜想和哥德巴赫猜想。
费马猜想的证明于1994年由英国数学家安德鲁·怀尔斯（Andrew Wiles）完成，遂称费马大定理；
四色猜想的证明于1976年由美国数学家阿佩尔(Kenneth Appel)与哈肯(Wolfgang Haken)借助计算机完成，遂称四色定理；
哥德巴赫猜想尚未解决，目前最好的成果（陈氏定理）乃于1966年由中国数学家陈景润取得。这三个问题的共同点就是题面简单易懂，内涵深邃无比，影响了一代代的数学家。
欧拉方程Euler’s equation对无粘性流体微团应用牛顿第二定律得到的运动微
分方程。欧拉方程是无粘性流体动力学中最重要的基本
方程,应用十分广泛。1755年,瑞士数学家L.欧拉在《流
体运动的一般原理》一书中首先提出这个方程。
在研究一些物理问题，如热的传导、圆膜的振动、电磁波的传播等问题时，常常碰到如下形式的方程：
（ax^2D^2+bxD+c）y=f(x),
其中a、b、c是常数，这是一个二阶变系数线性微分方程。它的系数具有一定的规律：二阶导数D^2y的系数是二次函数ax^2，一阶导数Dy的系数是一次函数bx，y的系数是常数。这样的方程称为欧拉方程。
例如：(x^2D^2-xD+1)y=0,(x^2D^2-2xD+2)y=2x^3-x等都是欧拉方程。
化学中足球烯即C-60和此方程有关
证明过程：
利用级数。
exp(x)=1+x+(x^2)/2!+(x^3)/3!＋(x^4)/4!+……
sin(x)=x-(x^3)/3!+(x^5)/5!-(x^7)/7!＋……
cos(x)=1-(x^2)/2!+(x^4)/4!-(x^6)/6!＋……
其中exp(x)=e^x
于是exp(ix)=1+ix-(x^2)/2!-i(x^3)/3!+(x^4)/4!＋i(x^5)/5!＋……
比较以上3式，就得出欧拉公式了 [编辑本段]泛函的欧拉方程(by zhengpin1390)(二)、泛函的欧拉方程
欧拉方程是泛函极值条件的微分表达式，求解泛函的欧拉方程，即可得到使泛函取极值的驻函数，将变分问题转化为微分问题。
（1） 最简单的欧拉方程：
设函数F(x,y,y') 是三个变量的连续函数，且点(x,y)位于有界闭区域B内，则对形如
的变分，若其满足以下条件：
c) 在有界闭区域B内存在某条特定曲线y。(x) ，使泛函取极值，且此曲线具有二阶连续导数。
则函数y。(x) 满足微分方程：
上式即为泛函Q[y]的欧拉方程。
（2）含有自变函数高阶倒数的泛函的欧拉方程
一般来说，对于下述泛函：
在类似条件下，可以得到对应的欧拉方程为：
（3）含有多个自变函数的泛函的欧拉方程
对于下述泛函：
其欧拉方程组为：
（4）多元函数的泛函及其欧拉方程
此处仅考虑二元函数的情况，对如下所示多元函数的泛函：
有理距离
在平面上是否存在一个点，它到单位正方形的四个顶点的距离都是有理数？
第一次知道这个问题竟然没被解决时，我很是吃惊——我原本还以为这个问题会有一些很平凡的解呢。然而，仔细想想也不奇怪，这和很多其他的数学难题一样，本质上都是 Diophantus 方程，其解的存在性都是很难判断的。只不过，某些问题的叙述方式会给人带来一种格外基本、格外初等的感觉。与这个问题类似的是 Euler 完美长方体问题：是否存在一个长方体，它的长、宽、高、所有面对角线以及体对角线的长度都是有理数？事实上，还有很多“构造点集让距离满足一定关系”形式的数学问题，它们都是长期以来悬而未解的难题。
单位分数够用吗？
那么，一个自然的问题就是：是不是任何正有理数都可以写成有限个不同的单位分数的和呢？你可能会说：单位分数会越变越小，如果有理数很大的话，难道不会出现单位分数不够用的情况吗？这个问题相当于在问：1+1/2+1/3+……一项一项加起来的话，能达到要多大有多大的值吗？答案是肯定的！实际上，如果用上一点高等数学的话，我们可以证明，从1加到1/n，当n越来越大，这个和也会越来越接近ln(n)+γ，这里ln(n)是n的自然对数，而γ被称为欧拉-马歇罗尼常数。因为对数ln(n)会随着n增长而越变越大没有界限，所以自然可以要多大有多大。这个和在数学中又叫调和级数，有着广泛的应用。
从整数到多项式
我们在中学里就学过多项式。对于一个变量x，我们取它的一些次方\(x^a, x^b\)等等，乘上系数，然后加起来，就得到了一个多项式，比如说\(x^7+6x^3+4\)，就是一个关于\(x\)的多项式。在这里，我们考虑那些系数都是复数的多项式，也就是复系数多项式。数学家们很早就发现，这些多项式与正整数有一种神奇的相似性：可以做加法、减法、乘法，也可以分解因数，可以求最大公约数和最小公倍数，同样有着唯一分解定理：正整数可以唯一分解成素数的乘积，而多项式也能唯一分解成所谓“不可约多项式”的乘积。基本上，在数论中对正整数性质的研究，很多都可以直接搬到多项式上来。于是，遇上有关正整数的问题，把它迁移到多项式之中，未尝不是一个提出问题的好办法。自然，因为多项式本来结构就比较复杂，相关的问题也更难解决，但这不妨碍数学家的步伐，毕竟他们要攻克的就是难题。
数学很有趣值得思考研究 。
几个未解的题。
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为奇完全数，则：
n10^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个数学问题回顾》
