不行了

笑屎我了

今天，超模君跟各位模友介紹一下那些名字聽(tīng)起來(lái)很逗的科學(xué)定理，比如“熱力學(xué)第零定理”。

@小天：

作為一個(gè)十九線的科普網(wǎng)紅，小天看到這樣的問(wèn)題，這明擺著是要來(lái)搞笑的：

動(dòng)物世界的小伙伴們先來(lái)報(bào)道一下：

• 雞爪定理

設(shè)△ABC的內(nèi)心為I，∠A內(nèi)的旁心為J，AI的延長(zhǎng)線交三角形外接圓于K，則KI=KJ=KB=KC。其中KI、KJ、KB、KC組成的圖形形似雞爪，故形象地稱為“雞爪定理”。

• 燕尾定理

燕尾定理，因此圖類似燕尾而得名，是五大模型之一，是一個(gè)關(guān)于三角形的定理（△ABC，D、E、F為BC、CA、AB 上點(diǎn)，滿足AD、BE、CF 交于同一點(diǎn)O）。

S△ABC中，S△AOB：S△AOC=S△BDO：S△CDO=BD：CD；

同理，S△AOC：S△BOC=S△AFO：S△BFO=AF：BF；

S△BOC：S△BOA=S△CEO：S△AEO=EC：AE。

• 鳥(niǎo)頭定理

若兩三角形有一組對(duì)應(yīng)角相等或互補(bǔ)，則它們的面積比等于對(duì)應(yīng)角兩邊乘積的比。

• 蝴蝶定理（這個(gè)定理還算比較正常的）

蝴蝶定理（The Butterfly Theorem）是古典歐式平面幾何最精彩的結(jié)果之一，由霍納于1815年提出。蝴蝶定理內(nèi)容為：設(shè)MN為定弦，O為中點(diǎn)，任意引兩條過(guò)O點(diǎn)的弦AB和CD，連接AD BC分別交MN于X Y兩點(diǎn) ，則可知XO = OY。

• 牛鞭效應(yīng)
  

“牛鞭效應(yīng)”是供應(yīng)鏈管理的基本原理之一，經(jīng)濟(jì)學(xué)上的一個(gè)術(shù)語(yǔ)，是銷售商與供應(yīng)商在需求預(yù)測(cè)修正、訂貨批量決策、價(jià)格波動(dòng)、短缺博弈、庫(kù)存責(zé)任失衡和應(yīng)付環(huán)境變異等方面博弈的結(jié)果，增大了供應(yīng)商的生產(chǎn)、供應(yīng)、庫(kù)存管理和市場(chǎng)營(yíng)銷的不穩(wěn)定性。

企業(yè)可以從6個(gè)方面規(guī)避或化解需求放大變異的影響：即訂貨分級(jí)管理；加強(qiáng)入庫(kù)管理，合理分擔(dān)庫(kù)存責(zé)任；縮短提前期，實(shí)行外包服務(wù)；規(guī)避短缺情況下的博弈行為；參考?xì)v史資料，適當(dāng)減量修正，分批發(fā)送；提前回款期限。

• 狗腿度（鉆井專業(yè)術(shù)語(yǔ)）
  

從井眼內(nèi)的一點(diǎn)到另一個(gè)點(diǎn)，井眼前進(jìn)方向變化的角度。該角度即反映了井斜角度的變化，又反映了方位角度的變化，通常又叫全角變化率或井眼曲率。

• 無(wú)限猴子定理
  

無(wú)限猴子定理：讓一只猴子在打字機(jī)上隨機(jī)地按鍵，當(dāng)按鍵時(shí)間達(dá)到無(wú)窮時(shí)，幾乎必然能夠打出任何給定的文字，比如莎士比亞的全套著作。

在這里，幾乎必然是一個(gè)有特定含義的數(shù)學(xué)術(shù)語(yǔ)，“猴子”也不是一只真正意義上的猴子，它被用來(lái)比喻成一個(gè)可以產(chǎn)生無(wú)限隨機(jī)字母序列的抽象設(shè)備。這個(gè)理論說(shuō)明把一個(gè)很大但有限的數(shù)看成無(wú)限的推論是錯(cuò)誤的。

看完動(dòng)物世界后，肚子餓了，咱就來(lái)個(gè)三明治：

• 火腿三明治定理

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

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

然后還有：

• 牛頓的烈焰激光劍（這是真的，這不是夢(mèng)）

還有污大定理：

• 毛球定理
  

• 無(wú)毛定理

• 插入反應(yīng)

• 夾逼準(zhǔn)則

• 閉域套定理

@Geng Young：

毛球定理（Hairy ball theorem）

（圖片引自 wikipedia）

這個(gè)定理說(shuō)明了偶數(shù)維的單位球面上不存在處處不為零的連續(xù)切向量場(chǎng)，可以形象得理解為「永遠(yuǎn)不可能撫平一個(gè)毛球」。

用這個(gè)定理可以推出一些很有意思的結(jié)論，比如地球上任意時(shí)刻必然有一點(diǎn)是無(wú)風(fēng)的。

@方軒固：

天下沒(méi)有免費(fèi)午餐定理（No Free Lunch Theorem）

周志華老師西瓜書(shū)的第一章就說(shuō)到了這個(gè)定理，形象非嚴(yán)謹(jǐn)?shù)卣f(shuō)就是面對(duì)問(wèn)題A，你精心挑選的一種算法X性能吊打某垃圾算法Y；那么問(wèn)題空間里一定存在問(wèn)題B，在B上垃圾算法Y反過(guò)來(lái)吊打X。

周老師引用這個(gè)定理的意圖是說(shuō)明，脫離問(wèn)題談算法時(shí)沒(méi)有意義的，機(jī)器學(xué)習(xí)領(lǐng)域并沒(méi)有“贏者通吃”“萬(wàn)金油”“一法通萬(wàn)法通”這樣的“免費(fèi)午餐”，具體問(wèn)題具體分析才是正道。

當(dāng)然，第一次看到這定理時(shí)，也有種“請(qǐng)君抬頭看，蒼天饒過(guò)誰(shuí)”的玄學(xué)感。。

@王不二：

管理學(xué)有個(gè)梅西定理，而抽象代數(shù)有個(gè)西羅定理。

◎ 熱愛(ài)數(shù)學(xué)的孩子都會(huì)證：馬勒格必大定理

費(fèi) 馬 大定理

泰 勒 公式

拉 格 朗日定理

洛 必 達(dá)法則

別說(shuō)第一個(gè)你不會(huì)證，記得把空白的地方弄小一點(diǎn)。

洛必達(dá)法則也被稱為醫(yī)院法則（L' Hospital Rule），可見(jiàn)學(xué)渣受到的傷害。

而拉格朗日定理，一般稱為拉氏定理；類似的還有拉氏方法、拉氏點(diǎn)，都不能大聲讀出來(lái)。

◎  學(xué)好數(shù)理化，日遍天下都不怕：

代數(shù)拓?fù)溆忻蚨ɡ恚℉airy Ball Theorem）；

理論物理有無(wú)毛定理（No-hair Theorem）；

有機(jī)化學(xué)有插入反應(yīng)（Insertion Reaction）。

◎  由于長(zhǎng)期缺少性生活，有的同學(xué)一聽(tīng)到夾逼定理、勾股定理、閉域套定理，就能勃起。

像這樣的騷年，線性代數(shù)不能學(xué)正交基（Orthogonal Basis），抽象代數(shù)不能學(xué)內(nèi)射模（Injective Module），數(shù)值分析不能學(xué)內(nèi)插法（Interpolation Method），拓?fù)浣Y(jié)構(gòu)不能學(xué)菊花鏈（Daisy Chain）……

否則容易導(dǎo)致電磁學(xué)的：左手法則、右手法則。

◎  微積分有兩個(gè)對(duì)仗的概念：無(wú)窮級(jí)數(shù)；有限差分。體現(xiàn)了留級(jí)生的苦惱。

微分動(dòng)力學(xué)也有個(gè)概念，叫：槽點(diǎn)集合，令人不知從何吐起。

抽象代數(shù)里定義了各種理想（Ideal），比如：真理想，偽理想，極大理想，平凡理想……

讓我印象深刻的，是一個(gè)好像跟節(jié)育環(huán)有關(guān)的定理，叫：除環(huán)的理想定理。