⑴ 十大奥秘的数学公式
No.10圆的周长公式()
No.9傅立叶变换(TheFourierTransform)
No.8德布罗意方程组(ThedeBroglieRelations)
No.6薛定谔方程(TheSchrdingerEquation)
另外薛定谔虽然姓薛,但是奥地利人。
No.5质能方程(Mass_energyEquivalence)
No.4勾股定理/毕达哥拉斯定理(PythagoreanTheorem)
No.3牛顿第二定律(Newton’sSecondLawofMotion)
No.2欧拉公式(Euler’sIdentity)
No.1麦克斯韦方程组(TheMaxwell’sEquations)
令我难以置信的是,纯数学公式,无意中,竟然蕴含物理大逻辑。数学之美,根在逻辑,更在逼近自然奥秘。
⑵ 一道深奥的数学题,很有意思的
5000斤干草要往返要9次,所以(5000 - 4000)/ 9 约等于 111.111,走了111.111公里
4000斤干草要往返7次,所以(4000 - 3000) / 7 约等于 142.857,又走了142.857公里
3000斤干草要往返5次,所以(3000 - 2000) / 5 = 200,又走了200公里
2000斤干草要往返3次,所以(2000 - 1000) / 3 约等于333.333,又走了333.333公里。
这时剩余1000斤的干草一趟就可以运完,我们已经走了 787.301公里,距离终点只有 212.699
剩下的公里数 - 212.699 就是剩余的干草 约等于787.3。 ^_^
⑶ 数学为什么是最深奥的
因为数学拥有一定的逻辑性,它不像语文,英语,可以让很多相似的东西代替,是1就是1不能变成2的
⑷ 很深奥的数学题目
可以使用的数字全为奇数,而三个奇数相加一定等于奇数,所以这道题无解。
⑸ 介绍一些深奥的,难解的,关乎哲学的数学理论,比如悖论
类型
[编辑本段]
悖论主要有逻辑悖论、概率悖论、几何悖论、统计悖论和时间悖论等。
罗素的悖论以其简单明确震动了整个数学界,造成第三次数学危机。但是,罗素悖论并不是头一个悖论。老的不说,在罗素之前不久,康托尔和布拉里·福蒂已经发现集合论中的矛盾。罗素悖论发表之后,更出现了一连串的逻辑悖论。这些悖论使入联想到古代的说谎者悖论。即“我正在说谎”,“这句话是谎话”等。这些悖论合在一起,造成极大问题,促使大家都去关心如何解决这些悖论。
头一个发表的悖论是布拉里·福蒂悖论,这个悖论是说,序数按照它们的自然顺序形成一个良序集。这个良序集合根据定义也有一个序数Ω,这个序数Ω由定义应该属于这个良序集。可是由序数的定义,序数序列中任何一段的序数要大于这段之内的任何序数,因此Ω应该比任何序数都大,从而又不属于Ω。这是布拉里·福蒂1897年3月28日在巴洛摩数学会上宣读的一篇文章里提出的。这是头一个发表的近代悖论,它引起了数学界的兴趣,并导致了以后许多年的热烈讨论。有几十篇文章讨论悖论问题,极大地推动了对集合论基础的重新审查。
布拉里·福蒂本人认为这个矛盾证明了这个序数的自然顺序只是一个偏序,这与康托尔在几个月以前证明的结果序数集合是全序相矛盾,后来布拉里·福蒂在这方面并没有做工作。
罗素在他的《数学的原理》中认为,序数集虽然是全序,但并非良序,不过这种说法靠不住,因为任何给定序数的初始一段都是良序的。法国逻辑学家茹尔丹找到—条出路,他区分了相容集和不相容集。这种区分实际上康托尔已经私下用了许多年了。不久之后,罗素在1905年一篇文章中对于序数集的存在性提出了疑问,策梅罗也有同样的想法,后来的许多人在这个领域都持有同样的想法。
经典数学悖论
[编辑本段]
古今中外有不少着名的悖论,它们震撼了逻辑和数学的基础,激发了人们求知和精密的思考,吸引了古往今来许多思想家和爱好者的注意力。解决悖论难题需要创造性的思考,悖论的解决又往往可以给人带来全新的观念。
本文将根据悖论形成的原因,粗略地把它归纳为六种类型,分上、中、下三个部份。这是第一部份:由概念自指引发的悖论和引进无限带来的悖论
(一)由自指引发的悖论
以下诸例都存在着一个概念自指或自相关的问题:如果从肯定命题入手,就会得到它的否定命题;如果从否定命题入手,就会得到它的肯定命题。
1-1 谎言者悖论
公元前六世纪,哲学家克利特人艾皮米尼地斯(Epimenides):“所有克利特人都说谎,他们中间的一个诗人这么说。”这就是这个着名悖论的来源。
《圣经》里曾经提到:“有克利特人中的一个本地中先知说:‘克利特人常说谎话,乃是恶兽,又馋又懒’”(《提多书》第一章)。可见这个悖论很出名,但是保罗对于它的逻辑解答并没有兴趣。
人们会问:艾皮米尼地斯有没有说谎?这个悖论最简单的形式是:
1-2 “我在说谎”
如果他在说谎,那么“我在说谎”就是一个谎,因此他说的是实话;但是如果这是实话,他又在说谎。矛盾不可避免。它的一个翻版:
1-3 “这句话是错的”
这类悖论的一个标准形式是:如果事件A发生,则推导出非A,非A发生则推导出A,这是一个自相矛盾的无限逻辑循环。拓扑学中的单面体是一个形像的表达。
哲学家罗素曾经认真地思考过这个悖论,并试图找到解决的办法。他在《我的哲学的发展》第七章《数学原理》里说道:“自亚里士多德以来,无论哪一个学派的逻辑学家,从他们所公认的前提中似乎都可以推出一些矛盾来。这表明有些东西是有毛病的,但是指不出纠正的方法是什么。在1903年的春季,其中一种矛盾的发现把我正在享受的那种逻辑蜜月打断了。”
他说:谎言者悖论最简单地勾画出了他发现的那个矛盾:“那个说谎的人说:‘不论我说什么都是假的’。事实上,这就是他所说的一句话,但是这句话是指他所说的话的总体。只是把这句话包括在那个总体之中的时候才产生一个悖论。” (同上)
罗素试图用命题分层的办法来解决:“第一级命题我们可以说就是不涉及命题总体的那些命题;第二级命题就是涉及第一级命题的总体的那些命题;其余仿此,以至无穷。”但是这一方法并没有取得成效。“1903年和1904年这一整个时期,我差不多完全是致力于这一件事,但是毫不成功。”(同上)
《数学原理》尝试整个纯粹的数学是在纯逻辑的前提下推导出来的,并且使用逻辑术语说明概念,回避自然语言的歧意。但是他在书的序言里称这是:“发表一本包含那么许多未曾解决的争论的书。”可见,从数学基础的逻辑上彻底地解决这个悖论并不容易。
接下来他指出,在一切逻辑的悖论里都有一种“反身的自指”,就是说,“它包含讲那个总体的某种东西,而这种东西又是总体中的一份子。”这一观点比较容易理解,如果这个悖论是克利特以为的什么人说的,悖论就会自动消除。但是在集合论里,问题并不这么简单。
1-4 理发师悖论
在萨维尔村,理发师挂出一块招牌:“我只给村里所有那些不给自己理发的人理发。”有人问他:“你给不给自己理发?”理发师顿时无言以对。
这是一个矛盾推理:如果理发师不给自己理发,他就属于招牌上的那一类人。有言在先,他应该给自己理发。 反之,如果这个理发师给他自己理发,根据招牌所言,他只给村中不给自己理发的人理发,他不能给自己理发。
因此,无论这个理发师怎么回答,都不能排除内在的矛盾。这个悖论是罗素在一九○二年提出来的,所以又叫“罗素悖论”。这是集合论悖论的通俗的、有故事情节的表述。显然,这里也存在着一个不可排除的“自指”问题。
1-5 集合论悖论
“R是所有不包含自身的集合的集合。”
人们同样会问:“R包含不包含R自身?”如果不包含,由R的定义,R应属于R。如果R包含自身的话,R又不属于R。
继罗素的集合论悖论发现了数学基础有问题以后,1931年歌德尔(Kurt Godel ,1906-1978,捷克人)提出了一个“不完全定理”,打破了十九世纪末数学家“所有的数学体系都可以由逻辑推导出来”的理想。这个定理指出:任何公设系统都不是完备的,其中必然存在着既不能被肯定也不能被否定的命题。例如,欧氏几何中的“平行线公理”,对它的否定产生了几种非欧几何;罗素悖论也表明集合论公理体系不完备。
1-6 书目悖论
一个图书馆编纂了一本书名词典,它列出这个图书馆里所有不列出自己书名的书。那么它列不列出自己的书名?
这个悖论与理发师悖论基本一致。
1-7 苏格拉底悖论
有“西方孔子”之称的雅典人苏格拉底(Socrates,公元前470-前399)是古希腊的大哲学家,曾经与普洛特哥拉斯、哥吉斯等着名诡辩家相对。他建立 “定义”以对付诡辩派混淆的修辞,从而勘落了百家的杂说。但是他的道德观念不为希腊人所容,竟在七十岁的时候被当作诡辩杂说的代表。在普洛特哥拉斯被驱逐、书被焚十二年以后,苏格拉底也被处以死刑,但是他的学说得到了柏拉图和亚里斯多德的继承。
苏格拉底有一句名言:“我只知道一件事,那就是什么都不知道。”
这是一个悖论,我们无法从这句话中推论出苏格拉底是否对这件事本身也不知道。古代中国也有一个类似的例子:
1-7 “言尽悖”
这是《庄子·齐物论》里庄子说的。后期墨家反驳道:如果“言尽悖”,庄子的这个言难道就不悖吗?我们常说:
1-7 “世界上没有绝对的真理”
我们不知道这句话本身是不是“绝对的真理”。
1-8 “荒谬的真实”
有字典给悖论下定义,说它是“荒谬的真实”,而这种矛盾修饰本身也是一种“压缩的悖论”。悖论(paradox)来自希腊语“para+dokein”,意思是“多想一想”。
这些例子都说明,在逻辑上它们都无法摆脱概念自指所带来的恶性循环。有没有进一步的解决办法?在下面一节的最后一部份还将继续探讨。
⑹ 深奥数学问题
解题思路1:
假设数为 X,Y;和为X+Y=A,积为X*Y=B.
根据庞第一次所说的:“我肯定你也不知道这两个数是什么”。由此知道,X+Y不是两个素数之和。那么A的可能11,17,23,27,29,35,37,41,47,51,53,57,59,65,67,71,77,79,83,87,89,95,97.
我们再计算一下B的可能值:
和是11能得到的积:18,24,28,30
和是17能得到的积:30,42,52,60,66,70,72
和是23能得到的积:42,60...
和是27能得到的积:50,72...
和是29能得到的积:...
和是35能得到的积:66...
和是37能得到的积:70...
......
我们可以得出可能的B为....,当然了,有些数(30=5*6=2*15)出现不止一次。
这时候,孙依据自己的数比较计算后,“我现在能够确定这两个数字了。”
我们依据这句话,和我们算出来的B的集合,我们又可以把计算出来的B的集合删除一些重复数。
和是11能得到的积:18,24,28
和是17能得到的积:52
和是23能得到的积:42,76...
和是27能得到的积:50,92...
和是29能得到的积:54,78...
和是35能得到的积:96,124...
和是37能得到的积:,...
......
因为庞说:“既然你这么说,我现在也知道这两个数字是什么了。”那么由和得出的积也必须是唯一的,由上面知道只有一行是剩下一个数的,那就是和17积52。 那么X和Y分别是4和13。
解题思路2:
说话依次编号为S1,P1,S2。
设这两个数为x,y,和为s,积为p。
由S1,P不知道这两个数,所以s不可能是两个质数相加得来的,而且s<=41,因为如果s>41,那么P拿到41×(s-41)必定可以猜出s了(关于这一点,参考老马的证明,这一点很巧妙,可以省不少事情)。所以和s为{11,17,23,27,29,35,37,41}之一,设这个集合为A。
1).假设和是11。11=2+9=3+8=4+7=5+6,如果P拿到18,18=3×6=2×9,只有2+9落在集合A中,所以P可以说出P1,但是这时候S能不能说出S2呢?我们来看,如果P拿到24,24=6×4=3×8=2×12,P同样可以说P1,因为至少有两种情况P都可以说出P1,所以A就无法断言S2,所以和不是11。
2).假设和是17。17=2+15=3+14=4+13=5+12=6+11=7+10=8+9,很明显,由于P拿到4×13可以断言P1,而其他情况,P都无法断言P1,所以和是17。
3).假设和是23。23=2+21=3+20=4+19=5+18=6+17=7+16=8+15=9+14=10+13=11+12,咱们先考虑含有2的n次幂或者含有大质数的那些组,如果P拿到4×19或7×16都可以断言P1,所以和不是23。
4).假设和是27。如果P拿到8×19或4×23都可以断言P1,所以和不是27。
5).假设和是29。如果P拿到13×16或7×22都可以断言P1,所以和不是29。
6).假设和是35。如果P拿到16×19或4×31都可以断言P1,所以和不是35。
7).假设和是37。如果P拿到8×29或11×26都可以断言P1,所以和不是37。
8).假设和是41。如果B拿到4×37或8×33,都可以断言P1,所以和不是41。
综上所述:这两个数是4和13。
解题思路3:
孙庞猜数的手算推理解法
1)按照庞的第一句话的后半部分,我们肯定庞知道的和S肯定不会大于54。
因为如果和54<S<54+99,那么S可以写为S=53+a,a<=99。如果鬼谷子选的两个数字
恰好是53和a,那么孙知道的积M就是M=53*a,于是孙知道,这原来两个数中至少有
一个含有53这个因子,因为53是个素数。可是小于100,又有53这个因子的,只能是
53本身,所以孙就可以只凭这个积53*a推断出这两个数术53和a。所以如果庞知道的
S大于54的话,他就不敢排除两个数是53和a这种可能,也就不敢贸然说“但是我肯定
你也不知道这两个数是什么”这种话。
如果53+99<S<=97+99,那么S可以写为S=97+a,同以上推理,也不可能。
如果S=98+99,那么庞可以立刻判断出,这两个数只能是98和99,而且M只能是98*99,
孙也可以知道这两个术,所以显然不可能。
2)按照庞的第一句话的后半部分,我们还可以肯定庞知道的和S不可以表示为两个素数的和。
否则的话,如果鬼谷子选的两个数字恰好就是这两个素数,那么孙知道积M后,就可以得到唯一的素因子分解,判断出结果。于是庞还是不敢说“但是我肯定你也不知道这两个数是什么”这种话。
根据哥德巴赫猜想,任何大于4的偶数都可以表示为两个素数之和,对54以下的偶数,猜想肯定被验证过,所以S一定不能是偶数。
另外型为S=2+p的奇数,其中p是奇素数的那些S也同样要排除掉。
还有S=51也要排除掉,因为51=17+2*17。如果鬼谷子选的是(17,2*17),那么孙知道
的将是M=2*17*17,他对鬼谷子原来的两数的猜想只能是(17,2*17)。(为什么51要单独拿出来,要看下面的推理)
3)于是我们得到S必须在以下数中:
11 17 23 27 29 35 37 41 47 53
另外一方面,只要庞的S在上面这些数中,他就可以说“但是我肯定你也不知道这两个
数是什么”,因为这些数无论怎么拆成两数和,都至少有一个数是合数(必是一偶一
奇,如果偶的那个大于2,它就是合数,如果偶的那个等于2,我们上面的步骤已经保
证奇的那个是合数),也就是S只能拆成
a) S=2+a*b 或 b) S=a+2^n*b
这两个样子,其中a和b都是奇数,n>=1。
那么(下面我说的“至少两组数”中的两组数都不相同,而且的确存在(也就是那些
数都小于100)的理由我就不写了,根据条件很显然)
a)或者孙的M=2*a*b,孙就会在(2*a,b)和(2,a*b)至少两组数里拿不定主意(a和
b都是奇数,所以这两组数一定不同);
b)或者M=2^n*a*b,
如果n>1,那么孙就会在(2^(n-1)*a,2*b)和(2^n*a,b)至少两组数里拿不定主意;
如果n=1,而且a不等于b,那么孙就会在(2*a,b)和(2b,a)至少两组数里拿不定主
意;
如果n=1,而且a等于b,这意味着S=a+2*a=3a,所以S一定是3的倍数,我们只要
讨论S=27就可以了。27如果被拆成了S=9+18,那么孙拿到的M=9*18,他就会在
(9,18)和(27,6)至少两组数里拿不定主意。
(上面对51的讨论就是从这最后一种情况的讨论发现的,我不知道上面的论证是否
过分烦琐了,但是看看51这个“特例”,我怀疑严格的论证可能就得这么烦)
现在我们知道,当且仅当庞得到的和数S在
C={11, 17, 23, 27, 29, 35, 37, 41, 47, 53}
中,他才会说出“我虽然不能确定这两个数是什么,但是我肯定你也不知道这两个数
是什么”这句话
孙膑可以和我们得到同样的结论,他还比我们多知道那个M。
4)孙的话“我现在能够确定这两个数字了”表明,他把M分解成素因子后,然后组合成
关于鬼谷子的那两个数的若干个猜想中,有且仅有一个猜想的和在C中。否则的话,他
还是会在多个猜想之间拿不定主意。
庞涓听了孙的话也可以得到和我们一样的结论,他还比我们多知道那个S。
5)庞的话“我现在也知道这两个数字是什么了”表明,他把S拆成两数和后,也得到了
关于鬼谷子的那两个数的若干个猜想,但是在所有这些拆法中,只有一种满足4)里的
条件,否则他不会知道究竟是哪种情况,使得孙膑推断出那两个数来。
于是我们可以排除掉C中那些可以用两种方法表示为S=2^n+p的S,其中n>1,p为素数。
因为如果S=2^n1+p1=2^n2+p2,无论是(2^n1,p1)还是(2^n2,p2)这两种情况,孙膑都
可以由M=2^n1*p1或M=2^n2*p2来断定出正确的结果,因为由M得到的各种两数组合,
只有(2^n,p)这样的组合,两数和才是奇数,从而在C中,于是孙膑就可以宣布自己知道
了是怎么回事,可庞涓却还得为(2^n1,p1)还是(2^n2,p2)这两种情况犯愁。
因为11=4+7=8+3,23=4+19=16+7,27=4+23=16+11,35=4+31=16+19,37=8+29=32+5,
47=4+43=16+31。于是S的可能值只能在
17 29 41 53
中。让我们继续缩小这个表。
29不可能,因为29=2+27=4+25。无论是(2,27)和(4,25),孙膑都可以正确判断出来:
a)如果是(2,27),M=2*27=2*3*3*3,那么孙可以猜的组合是(2,27)(3,18)(6,9),
后面两种对应的S为21和15,都不在C中,故不可能,于是只能是(2,27)。
b)如果是(4,25),M=4*25=2*2*5*5,那么孙可以猜的组合是(2,50)(4,25)(5,20)
(10,10)。只有(4,25)的S才在C中。
可是庞涓却要为孙膑的M到底是2*27还是4*25苦恼。
41不可能,因为41=4+37=10+31。后面推理略。
53不可能,因为53=6+47=16+37。后面推理略。
研究一下17。这下我们得考虑所有17的两数和拆法:
(2,15):那么M=2*15=2*3*5=6*5,而6+5=11也在C中,所以一定不是这个M,否则4)
的条件不能满足,孙“我现在能够确定这两个数字了”的话说不出来。
(3,14):那么M=3*14=2*3*7=2*21,而2+21=23也在C中。后面推理略。
(4,13):那么M=4*13=2*2*13。那么孙可以猜的组合是(2,26)(4,13),只有(4,13)
的和在C中,所以这种情况孙膑可以说4)中的话。
(5,12):那么M=5*12=2*2*3*5=3*20,而3+20=23也在C中。后面推理略。
(6,11):那么M=6*11=2*3*11=2*33,而2+33=35也在C中。后面推理略。
(7,10):那么M=7*10=2*5*7=2*35,而2+35=37也在C中。后面推理略。
(8,9):那么M=8*9=2*2*2*3*3=3*24,而3+24=27也在C中。后面推理略。
于是在S=17时,只有(4,13)这种情况,孙膑才可以猜出那两数是什么,既然如此,庞涓就知道这两个数是什么,说出“我现在也知道这两个数字是什么了”。听了庞涓的话,于是我们也知道,这两数该是(4,13)。
参考答案: http://..com/question/4622133.html
⑺ 数学为什么这么深奥初中数学的秘诀是什么表示一枚数学渣渣发出的疑问。
不难,只要上课认真听,认真做作业。不懂的及时问,就ok了。
⑻ 有没有什么深奥的数学
图论、数论、微分几何......顶尖的数学家耕耘的领域
⑼ 世上哪一道数学难题是最深奥的
世上哪一道数学难题是最深奥的?
现在最深奥的还没有解法,你要是解出来了,可以向国家申报,还有国际上也有该类奖项(至少100万美圆,上世纪就有了的)。
最近美国麻州的克雷(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,那么只存在有限多个这样的点。
⑽ 有没有什么深奥的数学例如柯西不等式什么的
数学定理列表数学定理列表(按字母顺序排列)
A
阿贝尔-鲁菲尼定理
阿蒂亚-辛格指标定理
阿贝尔定理
安达尔定理
阿贝尔二项式定理
阿贝尔曲线定理
艾森斯坦定理
奥尔定理
阿基米德中点定理
B
波尔查诺-魏尔施特拉斯定理
巴拿赫-塔斯基悖论
伯特兰-切比雪夫定理
贝亚蒂定理
贝叶斯定理
博特周期性定理
闭图像定理
伯恩斯坦定理
不动点定理
布列安桑定理
布朗定理
贝祖定理
博苏克-乌拉姆定理
C
垂径定理
陈氏定理
采样定理
D
迪尼定理
等周定理
代数基本定理
多项式余数定理
大数定律
狄利克雷定理
棣美弗定理
棣美弗-拉普拉斯定理
笛卡儿定理
多项式定理
笛沙格定理
E
二项式定理
F
富比尼定理
范德瓦尔登定理
费马大定理
法图引理
费马平方和定理
法伊特-汤普森定理
弗罗贝尼乌斯定理
费马小定理
凡·奥贝尔定理
芬斯勒-哈德维格尔定理
反函数定理
费马多边形数定理
G
格林公式
鸽巢原理
高斯-马尔可夫定理
更比定理
谷山-志村定理
哥德尔完备性定理
惯性定理
哥德尔不完备定理
广义正交定理
古尔丁定理
高斯散度定理
古斯塔夫森定理
共轭复根定理
高斯-卢卡斯定理
哥德巴赫-欧拉定理
勾股定理
格尔丰德-施奈德定理
戡根定理
康托尔-伯恩斯坦-施罗德定理
H
海伦公式
赫尔不兰特定理
黑林格-特普利茨定理
华勒斯-波埃伊-格维也纳定理
霍普夫-里诺定理
海涅-波莱尔定理
亥姆霍兹定理
赫尔德定理
蝴蝶定理
J
吉洪诺夫定理
绝妙定理
介值定理
积分第一中值定理
紧致性定理
积分第二中值定理
夹挤定理
卷积定理
极值定理
基尔霍夫定理
角平分线定理
K
柯西定理
柯西不等式
克莱尼不动点定理
康托尔定理
柯西中值定理
可靠性定理
克莱姆法则
柯西-利普希茨定理
凯莱-哈密顿定理
克纳斯特-塔斯基定理
卡迈克尔定理
柯西积分定理
克罗内克尔定理
克罗内克尔-韦伯定理
卡诺定理
L
零一律
卢辛定理
勒贝格控制收敛定理
勒文海姆-斯科伦定理
罗尔定理
拉格朗日定理 (群论)
拉格朗日中值定理
拉姆齐定理
拉克斯-米尔格拉姆定理
黎曼映射定理
吕利耶定理
勒让德定理
拉格朗日定理 (数论)
勒贝格微分定理
雷维收敛定理
刘维尔定理
六指数定理
黎曼级数定理
林德曼-魏尔斯特拉斯定理
M
毛球定理
莫雷角三分线定理
迈尔斯定理
米迪定理
Myhill-Nerode定理
马勒定理
闵可夫斯基定理
莫尔-马歇罗尼定理
密克定理
梅涅劳斯定理
莫雷拉定理
纳什嵌入定理
N
拿破仑定理
O
欧拉定理 (数论)
欧拉旋转定理
欧几里德定理
欧拉定理 (几何学)
P
庞加莱-霍普夫定理
皮克定理
谱定理
婆罗摩笈多定理
帕斯卡定理
帕普斯定理
普罗斯定理
皮卡定理
平均原理
切消定理
Q
齐肯多夫定理
曲线基本定理
S
四色定理
算术基本定理
斯坦纳-雷姆斯定理
四顶点定理
四平方和定理
斯托克斯定理
素数定理
斯托尔兹-切萨罗定理
Stone布尔代数表示定理
Sun-Ni定理
斯图尔特定理
塞瓦定理
射影定理
T
泰勒斯定理
同构基本定理
泰勒中值定理
泰勒公式
Turán定理
泰博定理
图厄定理
托勒密定理
W
Wolstenholme定理
无限猴子定理
威尔逊定理
魏尔施特拉斯逼近定理
微积分基本定理
韦达定理
维维亚尼定理
五色定理
韦伯定理
X
西罗定理
西姆松定理
西尔维斯特-加莱定理
线性代数基本定理
线性同余定理
Y
有噪信道编码定理
有限简单群分类
演绎定理
圆幂定理
友谊定理
因式定理
隐函数定理
有理根定理
余弦定理
Z
中国剩余定理
证明所有素数的倒数之和发散
秩-零度定理
祖暅原理
中线长公式
中心极限定理
中值定理
詹姆斯定理
最大流最小割定理
主轴定理
中线定理
正切定理
正弦定理
反比定理