数学最奇葩的九个定理

2021-12-18 13:14

很多人都认为数学是枯燥的,但其实在数学里,也有很多奇葩的数学定理。下面小编整理了数学中奇葩的九个定理,供大家参考!

定理1:喝醉的酒鬼总能找到回家的路,喝醉的小鸟则可能永远也回不了家。

假设有一条水平直线,从某个位置出发,每次有 50% 的概率向左走1米,有50%的概率向右走1米。按照这种方式无限地随机游走下去,最终能回到出发点的概率是多少?答案是100% 。在一维随机游走过程中,只要时间足够长,我们最终总能回到出发点。

现在考虑一个喝醉的酒鬼,他在街道上随机游走。假设整个城市的街道呈网格状分布,酒鬼每走到一个十字路口,都会概率均等地选择一条路(包括自己来时的那条路)继续走下去。那么他最终能够回到出发点的概率是多少呢?答案也还是 100% 。

刚开始,这个醉鬼可能会越走越远,但最后他总能找到回家路。

不过,醉酒的小鸟就没有这么幸运了。假如一只小鸟飞行时,每次都从上、下、左、右、前、后中概率均等地选择一个方向,那么它很有可能永远也回不到 出发点了。事实上,在三维网格中随机游走,最终能回到出发点的概率只有大约 34% 。

这个定理是著名数学家波利亚(George Pólya)在 1921 年证明的。随着维度的增加,回到出发点的概率将变得越来越低。在四维网格中随机游走,最终能回到出发点的概率是 19.3% ,而在八维空间中,这个概率只有 7.3% 。

定理2:把一张当地的地图平铺在地上,则总能在地图上找到一点,这个点下面的地上的点正好就是它在地图上所表示的位置。

也就是说,如果在商场的地板上画了一张整个商场的地图,那么你总能在地图上精确地作一个“你在这里”的标记。

1912 年,荷兰数学家布劳威尔(Luitzen Brouwer)证明了这么一个定理:假设 D 是某个圆盘中的点集,f 是一个从 D 到它自身的连续函数,则一定有一个点 x ,使得 f(x) = x 。换句话说,让一个圆盘里的所有点做连续的运动,则总有一个点可以正好回到运动之前的位置。这个定理叫做布劳威尔不动点定理(Brouwer fixed point theorem)。

除了上面的“地图定理”,布劳威尔不动点定理还有很多其他奇妙的推论。如果取两张大小相同的纸,把其中一张纸揉成一团之后放在另一张纸上,根据布劳威尔不动点定理,纸团上一定 存在一点,它正好位于下面那张纸的同一个点的正上方。

这个定理也可以扩展到三维空间中去:当你搅拌完咖啡后,一定能在咖啡中找到一个点,它在搅拌前后的位置相同(虽然这个点在搅拌过程中可 能到过别的地方)。

定理3:你永远不能理顺椰子上的毛。

想象一个表面长满毛的球体,你能把所有的毛全部梳平,不留下任何像鸡冠一样的一撮毛或者像头发一样的旋吗?拓扑学告诉你,这是办不到的。这叫做毛球定理(hairy ball theorem),它也是由布劳威尔首先证明的。

用数学语言来说就是,在一个球体表面,不可能存在连续的单位向量场。这个定理可以推广到更高维的空间:对于任意一个偶数维的球面,连续的单位向量场都是不存在的。

毛球定理在气象学上有一个有趣的应用:由于地球表面的风速和风向都是连续的,因此由毛球定理,地球上总会有一个风速为 0 的地方,也就是说气旋和风眼是不可避免的。

定理4:在任意时刻,地球上总存在对称的两点,他们的温度和大气压的值正好都相同。

波兰数学家乌拉姆(Stanisław Marcin Ulam)曾经猜想,任意给定一个从 n 维球面到 n 维空间的连续函数,总能在球面上找到两个与球心相对称的点,他们的函数值是相同的。1933 年,波兰数学家博苏克(Karol Borsuk)证明了这个猜想,这就是拓扑学中的博苏克-乌拉姆定理(Borsuk–Ulam theorem)。

博苏克-乌拉姆定理有很多推论,其中一个推论就是,在地球上总存在对称的两点,他们的温度和大气压的值正好都相同(假设地球表面各地的温度差异和大气压差异是连续变化的)。这是因为,我们可以把温度值和大气压值所有可能的组合看成平面直角坐标系上的点,于是地球表面各点的温度和大气压变化情况就可以看作是二维球面到二维平面的函数,由博苏克-乌拉姆定理便可推出,一定存在两个函数值相等的对称点。

当 n = 1 时,博苏克-乌拉姆定理则可以表述为,在任一时刻,地球的赤道上总存在温度相等的两个点。

对于这个弱化版的推论,我们有一个非常直观的证明方法:假设赤道上有 A、B 两个人,他们站在关于球心对称的位置上。如果此时他们所在地方的温度相同,问题就已经解决了。下面我们只需要考虑他们所在地点的温度一高一低的情况。不妨假设,A 所在的地方是 10 度,B 所在的地方是 20 度吧。现在,让两人以相同的速度相同的方向沿着赤道旅行,保持两人始终在对称的位置上。假设在此过程中,各地的温度均不变。旅行过程中,两人不断报出自己 当地的温度。等到两人都环行赤道半周后,A 就到了原来 B 的位置,B 也到了 A 刚开始时的位置。在整个旅行过程中,A 所报的温度从 10 开始连续变化(有可能上下波动甚至超出 10 到 20 的范围),最终变成了 20;而 B 经历的温度则从 20 出发,最终连续变化到了 10。那么,他们所报的温度值在中间一定有“相交”的一刻,这样一来我们也就找到了赤道上两个温度相等的对称点。

定理5:任意给定一个火腿三明治,总有一刀能把它切开,使得火腿、奶酪和面包片恰好都被分成两等份。

而且更有趣的是,这个定理的名字真的就叫做“火腿三明治定理”(ham sandwich theorem)。它是由数学家亚瑟•斯通(Arthur Stone)和约翰•图基(John Tukey)在 1942 年证明的,在测度论中有着非常重要的意义。

火腿三明治定理可以扩展到 n 维的情况:如果在 n 维空间中有 n 个物体,那么总存在一个 n - 1 维的超平面,它能把每个物体都分成“体积”相等的两份。这些物体可以是任何形状,还可以是不连通的(比如面包片),甚至可以是一些奇形怪状的点集,只要满足点集可测就行了。

定理6:四色定理

四色定理的本质正是二维平面的固有属性,即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域,但却没有将其上升到逻辑关系和二维固有属性的层面,以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断,终究只是在庞大的数量优势上取得成功,这并不符合数学严密的逻辑体系,至今仍有无数数学爱好者投身其中研究。

定理7:费马大定理

费马大定理,又被称为“费马最后的定理”,由17世纪法国数学家皮耶·德·费玛提出。

它断言当整数n >2时,关于x, y, z的方程 x^n + y^n = z^n 没有正整数解。

德国佛尔夫斯克曾宣布以10万马克作为奖金奖给在他逝世后一百年内,第一个证明该定理的人,吸引了不少人尝试并递交他们的“证明”。

被提出后,经历多人猜想辩证,历经三百多年的历史,最终在1995年被英国数学家安德鲁·怀尔斯彻底证明。

定理8:奥尔定理

如果一个总点数至少为3的简单图G满足:G的任意两个点u和v度数之和至少为n,即deg(u)+deg(v)≥n,那么G必然有哈密顿回路。

定理9:托勒密定理

四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。

智选大学

736分大学730分大学715分大学704分大学700分大学699分大学697分大学696分大学695分大学694分大学692分大学691分大学690分大学689分大学688分大学687分大学686分大学685分大学684分大学683分大学682分大学681分大学680分大学679分大学678分大学677分大学676分大学675分大学674分大学673分大学672分大学671分大学670分大学669分大学668分大学667分大学666分大学665分大学664分大学663分大学662分大学661分大学660分大学659分大学658分大学657分大学656分大学655分大学654分大学653分大学652分大学651分大学650分大学649分大学648分大学647分大学646分大学645分大学644分大学643分大学642分大学641分大学640分大学639分大学638分大学637分大学636分大学635分大学634分大学633分大学632分大学631分大学630分大学629分大学628分大学627分大学626分大学625分大学624分大学623分大学622分大学621分大学620分大学619分大学618分大学617分大学616分大学615分大学614分大学613分大学612分大学611分大学610分大学609分大学608分大学607分大学606分大学605分大学604分大学603分大学602分大学601分大学600分大学599分大学598分大学597分大学596分大学595分大学594分大学593分大学592分大学591分大学590分大学589分大学588分大学587分大学586分大学585分大学584分大学583分大学582分大学581分大学580分大学579分大学578分大学577分大学576分大学575分大学574分大学573分大学572分大学571分大学570分大学569分大学568分大学567分大学566分大学565分大学564分大学563分大学562分大学561分大学560分大学559分大学558分大学557分大学556分大学555分大学554分大学553分大学552分大学551分大学550分大学549分大学548分大学547分大学546分大学545分大学544分大学543分大学542分大学541分大学540分大学539分大学538分大学537分大学536分大学535分大学534分大学533分大学532分大学531分大学530分大学529分大学528分大学527分大学526分大学525分大学524分大学523分大学522分大学521分大学520分大学519分大学518分大学517分大学516分大学515分大学514分大学513分大学512分大学511分大学510分大学509分大学508分大学507分大学506分大学505分大学504分大学503分大学502分大学501分大学500分大学499分大学498分大学497分大学496分大学495分大学494分大学493分大学492分大学491分大学490分大学489分大学488分大学487分大学486分大学485分大学484分大学483分大学482分大学481分大学480分大学479分大学478分大学477分大学476分大学475分大学474分大学473分大学472分大学471分大学470分大学469分大学468分大学467分大学466分大学465分大学464分大学463分大学462分大学461分大学460分大学459分大学458分大学457分大学456分大学455分大学454分大学453分大学452分大学451分大学450分大学449分大学448分大学447分大学446分大学445分大学444分大学443分大学442分大学441分大学440分大学439分大学438分大学437分大学436分大学435分大学434分大学433分大学432分大学431分大学430分大学429分大学428分大学427分大学426分大学425分大学424分大学423分大学422分大学421分大学420分大学419分大学418分大学417分大学416分大学415分大学414分大学413分大学412分大学411分大学410分大学409分大学408分大学407分大学406分大学405分大学404分大学403分大学402分大学401分大学400分大学399分大学398分大学397分大学396分大学395分大学394分大学393分大学392分大学391分大学390分大学389分大学388分大学387分大学386分大学385分大学384分大学383分大学382分大学381分大学380分大学379分大学378分大学377分大学376分大学375分大学374分大学373分大学372分大学371分大学370分大学369分大学368分大学367分大学366分大学365分大学364分大学363分大学362分大学361分大学360分大学359分大学358分大学357分大学356分大学355分大学354分大学353分大学352分大学351分大学350分大学349分大学348分大学347分大学346分大学345分大学344分大学343分大学342分大学341分大学340分大学339分大学338分大学337分大学336分大学335分大学334分大学333分大学332分大学331分大学330分大学329分大学328分大学327分大学326分大学325分大学324分大学323分大学322分大学321分大学320分大学319分大学318分大学317分大学316分大学315分大学314分大学313分大学312分大学311分大学310分大学309分大学308分大学307分大学306分大学305分大学304分大学303分大学302分大学301分大学300分大学299分大学298分大学297分大学296分大学295分大学294分大学293分大学292分大学291分大学290分大学289分大学288分大学287分大学286分大学285分大学284分大学283分大学282分大学281分大学280分大学279分大学278分大学277分大学276分大学275分大学274分大学273分大学272分大学271分大学270分大学269分大学268分大学267分大学266分大学265分大学264分大学263分大学262分大学261分大学260分大学259分大学258分大学257分大学256分大学255分大学254分大学253分大学252分大学251分大学250分大学249分大学248分大学247分大学246分大学245分大学244分大学243分大学242分大学241分大学240分大学239分大学238分大学237分大学236分大学235分大学234分大学233分大学232分大学231分大学230分大学229分大学228分大学227分大学226分大学225分大学224分大学223分大学222分大学221分大学220分大学219分大学218分大学217分大学216分大学215分大学214分大学213分大学212分大学211分大学210分大学209分大学208分大学207分大学206分大学205分大学204分大学203分大学202分大学201分大学200分大学199分大学198分大学197分大学196分大学195分大学194分大学193分大学192分大学191分大学190分大学189分大学188分大学187分大学186分大学185分大学184分大学183分大学182分大学181分大学180分大学179分大学178分大学177分大学176分大学175分大学174分大学173分大学172分大学171分大学170分大学169分大学168分大学167分大学166分大学165分大学164分大学163分大学162分大学161分大学160分大学159分大学158分大学157分大学156分大学155分大学154分大学153分大学152分大学151分大学150分大学