可怕的數(shù)學(xué)定理

108687

最恐怖的數(shù)學(xué)定理有喝醉的小鳥(niǎo)、不能撫平的毛球、氣候完全相同的另一端、平分火腿三明治、“你在這里”等。比如喝醉的酒鬼總能找到回家的路，喝醉的小鳥(niǎo)則可能永遠(yuǎn)也回不了家。

?

1數(shù)學(xué)中竟然有這樣的定理

喝醉的小鳥(niǎo)

定理：喝醉的酒鬼總能找到回家的路，喝醉的小鳥(niǎo)則可能永遠(yuǎn)也回不了家。

假設(shè)有一條水平直線(xiàn)，從某個(gè)位置出發(fā)，每次有 50% 的概率向左走1米，有50%的概率向右走1米。按照這種方式無(wú)限地隨機(jī)游走下去，最終能回到出發(fā)點(diǎn)的概率是多少？答案是100% 。在一維隨機(jī)游走過(guò)程中，只要時(shí)間足夠長(zhǎng)，我們最終總能回到出發(fā)點(diǎn)。

現(xiàn)在考慮一個(gè)喝醉的酒鬼，他在街道上隨機(jī)游走。假設(shè)整個(gè)城市的街道呈網(wǎng)格狀分布，酒鬼每走到一個(gè)十字路口，都會(huì)概率均等地選擇一條路（包括自己來(lái)時(shí)的那條路）繼續(xù)走下去。那么他最終能夠回到出發(fā)點(diǎn)的概率是多少呢？答案也還是 100% 。剛開(kāi)始，這個(gè)醉鬼可能會(huì)越走越遠(yuǎn)，但最后他總能找到回家路。

不過(guò)，醉酒的小鳥(niǎo)就沒(méi)有這么幸運(yùn)了。假如一只小鳥(niǎo)飛行時(shí)，每次都從上、下、左、右、前、后中概率均等地選擇一個(gè)方向，那么它很有可能永遠(yuǎn)也回不到 出發(fā)點(diǎn)了。事實(shí)上，在三維網(wǎng)格中隨機(jī)游走，最終能回到出發(fā)點(diǎn)的概率只有大約 34% 。

這個(gè)定理是著名數(shù)學(xué)家波利亞（George Pólya）在 1921 年證明的。隨著維度的增加，回到出發(fā)點(diǎn)的概率將變得越來(lái)越低。在四維網(wǎng)格中隨機(jī)游走，最終能回到出發(fā)點(diǎn)的概率是 19.3% ，而在八維空間中，這個(gè)概率只有 7.3% 。

“你在這里”

定理：把一張當(dāng)?shù)氐牡貓D平鋪在地上，則總能在地圖上找到一點(diǎn)，這個(gè)點(diǎn)下面的地上的點(diǎn)正好就是它在地圖上所表示的位置。

也就是說(shuō)，如果在商場(chǎng)的地板上畫(huà)了一張整個(gè)商場(chǎng)的地圖，那么你總能在地圖上精確地作一個(gè)“你在這里”的標(biāo)記。

1912 年，荷蘭數(shù)學(xué)家布勞威爾（Luitzen Brouwer）證明了這么一個(gè)定理：假設(shè) D 是某個(gè)圓盤(pán)中的點(diǎn)集，f 是一個(gè)從 D 到它自身的連續(xù)函數(shù)，則一定有一個(gè)點(diǎn) x ，使得 f(x) = x 。換句話(huà)說(shuō)，讓一個(gè)圓盤(pán)里的所有點(diǎn)做連續(xù)的運(yùn)動(dòng)，則總有一個(gè)點(diǎn)可以正好回到運(yùn)動(dòng)之前的位置。這個(gè)定理叫做布勞威爾不動(dòng)點(diǎn)定理。

除了上面的“地圖定理”，布勞威爾不動(dòng)點(diǎn)定理還有很多其他奇妙的推論。如果取兩張大小相同的紙，把其中一張紙揉成一團(tuán)之后放在另一張紙上，根據(jù)布勞威爾不動(dòng)點(diǎn)定理，紙團(tuán)上一定 存在一點(diǎn)，它正好位于下面那張紙的同一個(gè)點(diǎn)的正上方。

這個(gè)定理也可以擴(kuò)展到三維空間中去：當(dāng)你攪拌完咖啡后，一定能在咖啡中找到一個(gè)點(diǎn)，它在攪拌前后的位置相同（雖然這個(gè)點(diǎn)在攪拌過(guò)程中可 能到過(guò)別的地方）。

不能撫平的毛球

定理：你永遠(yuǎn)不能理順椰子上的毛。

想象一個(gè)表面長(zhǎng)滿(mǎn)毛的球體，你能把所有的毛全部梳平，不留下任何像雞冠一樣的一撮毛或者像頭發(fā)一樣的旋嗎？拓?fù)鋵W(xué)告訴你，這是辦不到的。這叫做毛球定理（hairy ball theorem），它也是由布勞威爾首先證明的。用數(shù)學(xué)語(yǔ)言來(lái)說(shuō)就是，在一個(gè)球體表面，不可能存在連續(xù)的單位向量場(chǎng)。這個(gè)定理可以推廣到更高維的空間：對(duì)于任意一個(gè)偶數(shù)維的球面，連續(xù)的單位向量場(chǎng)都是不存在的。

毛球定理在氣象學(xué)上有一個(gè)有趣的應(yīng)用：由于地球表面的風(fēng)速和風(fēng)向都是連續(xù)的，因此由毛球定理，地球上總會(huì)有一個(gè)風(fēng)速為 0 的地方，也就是說(shuō)氣旋和風(fēng)眼是不可避免的。

氣候完全相同的另一端

定理：在任意時(shí)刻，地球上總存在對(duì)稱(chēng)的兩點(diǎn)，他們的溫度和大氣壓的值正好都相同。

波蘭數(shù)學(xué)家烏拉姆（Stanis?aw Marcin Ulam）曾經(jīng)猜想，任意給定一個(gè)從 n 維球面到 n 維空間的連續(xù)函數(shù)，總能在球面上找到兩個(gè)與球心相對(duì)稱(chēng)的點(diǎn)，他們的函數(shù)值是相同的。1933 年，波蘭數(shù)學(xué)家博蘇克（Karol Borsuk）證明了這個(gè)猜想，這就是拓?fù)鋵W(xué)中的博蘇克-烏拉姆定理（Borsuk–Ulam theorem）。

博蘇克-烏拉姆定理有很多推論，其中一個(gè)推論就是，在地球上總存在對(duì)稱(chēng)的兩點(diǎn)，他們的溫度和大氣壓的值正好都相同（假設(shè)地球表面各地的溫度差異和大氣壓差異是連續(xù)變化的）。這是因?yàn)?，我們可以把溫度值和大氣壓值所有可能的組合看成平面直角坐標(biāo)系上的點(diǎn)，于是地球表面各點(diǎn)的溫度和大氣壓變化情況就可以看作是二維球面到二維平面的函數(shù)，由博蘇克-烏拉姆定理便可推出，一定存在兩個(gè)函數(shù)值相等的對(duì)稱(chēng)點(diǎn)。

當(dāng) n = 1 時(shí)，博蘇克-烏拉姆定理則可以表述為，在任一時(shí)刻，地球的赤道上總存在溫度相等的兩個(gè)點(diǎn)。對(duì)于這個(gè)弱化版的推論，我們有一個(gè)非常直觀(guān)的證明方法：假設(shè)赤道上有 A、B 兩個(gè)人，他們站在關(guān)于球心對(duì)稱(chēng)的位置上。如果此時(shí)他們所在地方的溫度相同，問(wèn)題就已經(jīng)解決了。下面我們只需要考慮他們所在地點(diǎn)的溫度一高一低的情況。不妨假設(shè)，A 所在的地方是 10 度，B 所在的地方是 20 度吧?，F(xiàn)在，讓兩人以相同的速度相同的方向沿著赤道旅行，保持兩人始終在對(duì)稱(chēng)的位置上。假設(shè)在此過(guò)程中，各地的溫度均不變。旅行過(guò)程中，兩人不斷報(bào)出自己 當(dāng)?shù)氐臏囟?。等到兩人都環(huán)行赤道半周后，A 就到了原來(lái) B 的位置，B 也到了 A 剛開(kāi)始時(shí)的位置。在整個(gè)旅行過(guò)程中，A 所報(bào)的溫度從 10 開(kāi)始連續(xù)變化（有可能上下波動(dòng)甚至超出 10 到 20 的范圍），最終變成了 20；而 B 經(jīng)歷的溫度則從 20 出發(fā)，最終連續(xù)變化到了 10。那么，他們所報(bào)的溫度值在中間一定有“相交”的一刻，這樣一來(lái)我們也就找到了赤道上兩個(gè)溫度相等的對(duì)稱(chēng)點(diǎn)。

平分火腿三明治

定理：任意給定一個(gè)火腿三明治，總有一刀能把它切開(kāi)，使得火腿、奶酪和面包片恰好都被分成兩等份。

而且更有趣的是，這個(gè)定理的名字真的就叫做“火腿三明治定理”（ham sandwich theorem）。它是由數(shù)學(xué)家亞瑟?斯通（Arthur Stone）和約翰?圖基（John Tukey）在 1942 年證明的，在測(cè)度論中有著非常重要的意義。

火腿三明治定理可以擴(kuò)展到 n 維的情況：如果在 n 維空間中有 n 個(gè)物體，那么總存在一個(gè) n - 1 維的超平面，它能把每個(gè)物體都分成“體積”相等的兩份。這些物體可以是任何形狀，還可以是不連通的（比如面包片），甚至可以是一些奇形怪狀的點(diǎn)集，只要滿(mǎn)足點(diǎn)集可測(cè)就行了。

2奇葩數(shù)學(xué)定理

定理1：四色定理

四色定理的本質(zhì)正是二維平面的固有屬性，即平面內(nèi)不可出現(xiàn)交叉而沒(méi)有公共點(diǎn)的兩條直線(xiàn)。很多人證明了二維平面內(nèi)無(wú)法構(gòu)造五個(gè)或五個(gè)以上兩兩相連區(qū)域，但卻沒(méi)有將其上升到邏輯關(guān)系和二維固有屬性的層面，以致出現(xiàn)了很多偽反例。不過(guò)這些恰恰是對(duì)圖論嚴(yán)密性的考證和發(fā)展推動(dòng)。計(jì)算機(jī)證明雖然做了百億次判斷，終究只是在龐大的數(shù)量?jī)?yōu)勢(shì)上取得成功，這并不符合數(shù)學(xué)嚴(yán)密的邏輯體系，至今仍有無(wú)數(shù)數(shù)學(xué)愛(ài)好者投身其中研究。

定理2：費(fèi)馬大定理

費(fèi)馬大定理，又被稱(chēng)為“費(fèi)馬最后的定理”，由17世紀(jì)法國(guó)數(shù)學(xué)家皮耶·德·費(fèi)瑪提出。

它斷言當(dāng)整數(shù)n >2時(shí)，關(guān)于x, y, z的方程 x^n + y^n = z^n 沒(méi)有正整數(shù)解。

德國(guó)佛爾夫斯克曾宣布以10萬(wàn)馬克作為獎(jiǎng)金獎(jiǎng)給在他逝世后一百年內(nèi)，第一個(gè)證明該定理的人，吸引了不少人嘗試并遞交他們的“證明”。

被提出后，經(jīng)歷多人猜想辯證，歷經(jīng)三百多年的歷史，最終在1995年被英國(guó)數(shù)學(xué)家安德魯·懷爾斯徹底證明。

定理3：奧爾定理

如果一個(gè)總點(diǎn)數(shù)至少為3的簡(jiǎn)單圖G滿(mǎn)足：G的任意兩個(gè)點(diǎn)u和v度數(shù)之和至少為n，即deg(u)+deg(v)≥n，那么G必然有哈密頓回路。

cosmic loph

119312

萬(wàn)能小學(xué)生果然名不虛傳

92742

不怕懂得多就怕懂得深

129944

雖然沒(méi)看懂，但是感覺(jué)很流弊的樣子

81845

最后一個(gè)應(yīng)該不奇葩吧很多人都證過(guò)，離散數(shù)學(xué)上有

108687

其實(shí)費(fèi)馬大定理在初中課本上面就有拓展的基礎(chǔ),所以那個(gè)其實(shí)并不可怕

131175

厲害厲害……