每日一式 · No.007 · 深入版
鐘形山的四張臉
f(x) = 1/(σ√(2π)) · e−(x−μ)²/(2σ²)
常態分布 · The Normal Distribution · 把它拆開看
📜 公式的身世
穀神星失蹤案
1801 年元旦,義大利神父皮亞齊發現第一顆小行星「穀神星」,追蹤四十天後,它躲進太陽的光芒裡,全歐洲的望遠鏡都找不回來。24 歲的高斯出手:他假設觀測誤差服從一條鐘形曲線,用最小平方法從殘缺數據裡擠出軌道 —— 年底,天文學家對準他預測的位置一看,穀神星就在那裡。高斯一夜封神,「誤差的曲線」從此掛上他的名字。後來的統計學家高爾頓為它寫下讚嘆:它在最狂野的混亂中,不動聲色地統治 —— 「若古希臘人識得它,必為它封神。」
🌍 它今天在哪裡上工
✈️
沒有「平均人」 —— 1950 年美軍量了 4063 名飛行員十項身材:沒有任何一人十項全落在平均區 —— 座艙從此改成可調式;成衣 S/M/L 也是同門學問。
🏭
六標準差 —— Motorola 與 GE 的品管哲學:把不良率壓到離均值 6σ 之外(約百萬分之 3.4)—— 鐘形曲線的尾巴,就是工廠的良率表。
📊
民調的 ±3% —— 抽 1068 人就能推估兩千三百萬人,誤差範圍由鐘形曲線直接給 —— 選前之夜,全台灣都在讀常態分布。
一般版我們用高爾頓板看到:亂,堆得夠多,會長出固定的鐘形。今天從四個角度把這座山看透 —— 最後一章會揭曉那個懸念:π,憑什麼住在一條和圓無關的曲線裡。
同一座山,四種看法:
① 兩個旋鈕:μ 與 σ ② 面積 = 機率:68–95–99.7 ③ 它為何無所不在:中央極限定理 ④ 為什麼偏偏是 e^{−x²}:π 的房間。
四章都用生活比喻開場,再一步步帶你看圖。第三、四章各有一個「起雞皮疙瘩」點,慢慢玩。
I
第一章 · 鐘形的解剖：μ 是搬家，σ 是胖瘦
整條公式，其實只有兩個旋鈕 —— 而 σ 就藏在曲線的「彎點」上，看得到。
🎛️公式看起來嚇人,其實只有兩個旋鈕:μ(平均)決定山蓋在哪裡 —— 轉它,整座山平移搬家;σ(標準差)決定山的胖瘦 —— 轉它,山變寬變矮、或變窄變高。為什麼變寬就必須變矮?因為山底下的總面積被釘死在 1(所有可能性加起來 = 100%)—— 面積守恆,寬了就得矮。
互動 · 轉兩個旋鈕；青色點是曲線的「彎點」，永遠停在 μ±σ
峰高 = 1/(σ√(2π))0.3989
彎點（反曲點）位置μ±σ = −1.00, 1.00
曲線下總面積（數值積分）1.0000
怎麼看這張圖
- 轉 μ:整座山原封不動地平移 —— 形狀完全不變,只是搬家。
- 轉 σ:山變胖時自動變矮,變瘦時自動變高。看右邊的「總面積」讀數 —— 不管怎麼轉,永遠是 1.0000。
- 盯著兩顆青色的彎點:那是曲線由「往下凹」轉成「往外撇」的地方(反曲點)。轉動 σ,它們永遠乖乖停在 μ±σ。
背後的道理
σ 常被講得很抽象,但它其實看得到:對曲線做兩次微分(第四天的功夫),f″= 0 的位置剛好落在 x = μ±σ —— 山坡「彎曲方向改變」的那一點,就是一個標準差的距離。下次看到鐘形曲線,先找彎點,σ 就量出來了。而峰高 1/(σ√(2π)) 正是「面積守恆」的收據:σ 放大幾倍,峰就得壓低幾倍。
一句話帶走:μ 管位置、σ 管胖瘦、面積恆等於 1;而 σ 不抽象 —— 它就站在曲線的彎點上,肉眼可見。
II
第二章 · 面積就是機率：68–95–99.7 法則
一把全世界共用的尺 —— 身高、品管、考試分數，全都量得動。
📏第五天說「積分 = 面積」,上一堂說「機率 = 面積」—— 兩句在這裡合體:「落在某個範圍的機率」= 鐘形曲線在那段範圍下方的面積。而常態分布送你一把萬用尺:不管 μ 和 σ 是多少,μ±1σ 內永遠裝著約 68%、±2σ 裝 95%、±3σ 裝 99.7%。品管的「3σ」、身高的「常見範圍」、成績的 PR 值 —— 用的全是這一把。
互動 · 拉寬帶子，看面積（機率）怎麼長
帶內面積（機率）68.27 %
帶外（兩條尾巴）31.73 %
怎麼看這張圖
- 金色的帶子是 μ±kσ。拉 k,看帶內面積(=機率)一路長大。
- 按晶片停在整數:1σ → 68.27%、2σ → 95.45%、3σ → 99.73%。這三個數,值得背 —— 它們是全世界統計的通用貨幣。
- 看尾巴:3σ 之外只剩 0.27% —— 所以「超過 3σ」在品管裡叫異常、在物理裡叫發現的門檻(粒子物理甚至要求 5σ)。
背後的道理（和一個誠實的坦白）
這些百分比是怎麼算的?就是第五天的積分 —— 對 f(x) 從 μ−kσ 積到 μ+kσ。但這裡有個著名的坦白:這條曲線的反導數,寫不成初等函數 —— 第五天那條「找反導數」的捷徑,在這裡罕見地失靈了。所以全世界都回去乖乖「切薄片」:用數值積分算好、印成表(或叫電腦的 erf 函數)。你上面看到的每個百分比,就是本頁即時切了兩千片薄片積出來的。
📐 實戰小抄:量到一個值 x,先標準化:z = (x−μ)/σ —— 「離平均幾個 σ」。任何常態,標準化後都變成同一座標準山,一張表走天下。
一句話帶走:機率 = 曲線下面積;±1σ 68%、±2σ 95%、±3σ 99.7% —— 一把全世界共用的尺,由數值積分刻出來。
III
第三章 · 它為何無所不在：中央極限定理
原料隨便長什麼樣 —— 只要「很多個平均起來」，一律變成鐘形。
🎲為什麼身高、誤差、民調…到處都是鐘形?因為它們都是「無數小因素加總」的結果:身高 = 幾千個基因 + 營養 + 睡眠…的總和;測量誤差 = 手震 + 溫度 + 儀器…的總和。而數學有一條近乎魔法的定理:不管原料的分布長什麼怪樣子,只要抓 n 個來平均,n 一大,平均值的分布一律長成鐘形。它像一塊橡皮擦 —— 把原料的個性擦掉,只留下同一座山。
互動 · 選一種怪原料，加大 n，看它被「擦」成鐘形
平均的個數 n1
山的寬度（理論 σ₀/√n）0.289
金色曲線定理預言的鐘形
怎麼看這張圖
- 先看 n=1:直方圖就是原料本身 —— 均勻是平的、偏斜歪一邊、雙峰有兩座山,都不像鐘形。
- 把 n 拉大(每格重抽 4000 次「n 個的平均」):三種原料全被擦成同一個鐘形,和金色的理論曲線貼合。換原料再試 —— 結局相同。
- 再看寬度:山隨 n 變窄,而且是照 σ₀/√n 收窄 —— 「多量幾次取平均會更準」,準的速度就是 √n。民調的 ±3%、實驗要重複量,根據全在這。
背後的道理
這條叫中央極限定理(Central Limit Theorem),是機率世界的地心引力。直覺版:加總時,各種怪癖互相抵消,只有「平均值附近的擁擠」活下來 —— 就像高爾頓板,不管每根釘子多歪,路徑數的算術決定了山形。這就是鐘形無所不在的原因:世界上太多東西,是「很多小亂的總和」。(對了,名字裡又是「極限」—— n→∞,老朋友第 N 次登場。)
一句話帶走:不管原料什麼形狀,「n 個平均」都收斂成鐘形、寬度按 σ₀/√n 收窄 —— 中央極限定理,是常態分布無所不在的原因。
IV
第四章 · 為什麼偏偏是 e^{−x²}？—— π 的房間
把亂點灑到平面上：雲是圓的。圓的對稱，逼出了 e^{−x²}，也把 π 請了進來。
🧭最後解那個懸念。想像往靶心射飛鏢,左右誤差 x 和上下誤差 y 互不相干(獨立),而且誤差沒有偏好方向(轉個角度看,規律應該一樣 —— 旋轉對稱)。就這兩個要求,數學上竟然只有一種衰減方式能同時滿足:e^{−r²/2}。而「圓對稱」一旦成立,算總帳就得繞圓一圈 —— 2π 就這樣走進了公式。π 住在鐘形裡,是因為誤差的世界,是圓的。
互動 · 亂點雲是圓的：投影軸怎麼轉，影子都是同一個鐘形
角度 θ0°
影子的標準差（理論 = 1）1.00
影子的形狀仍是鐘形 ✓
怎麼看這張圖
- 雲裡的每個點,是一次「(左右誤差, 上下誤差)」。先看整團雲:是圓的,沒有偏好方向。
- 轉動紫色投影軸:把所有點壓到這條軸上,影子畫在底部。不管轉到幾度,影子都是同一個鐘形,標準差讀數紋風不動。
- 這就是「旋轉對稱」的意思:這團亂,從任何角度看都一樣。而能做到這件事的一維衰減,只有 e^{−x²/2} 這一種。
✦ 兩行看懂 π 怎麼進來的(Herschel 的老論證,白話版):
① 獨立要求「機率 = 左右 × 上下」= f(x)·f(y);圓對稱要求它只看距離 r。「相乘之後只看 x²+y²」—— 能辦到的只有指數 + 平方:f(x) ∝ e^{−x²/2}。
② 算總機率(必須=1)時,因為雲是圓的,最順手的積法是一圈一圈積 —— 繞一圈就是 2π:∬e^{−(x²+y²)/2} dxdy = 2π,開根號分回每一維,每維各得 √(2π)。上一堂的 π,原來一直住在這個房間。
一句話帶走:「獨立 × 沒有偏好方向」逼出唯一解 e^{−x²/2};而圓對稱結帳時繞了一圈,2π 進場 —— 這就是 √(2π) 裡 π 的戶籍。
新一季第一課,收成一句話 ——
單次的亂不可知,群體的形狀卻是註定的。
μ 管位置、σ 管胖瘦、面積永遠是 1;
68–95–99.7 是全世界共用的尺;
中央極限定理把萬千原料擦成同一座山;
而 e 管衰減、π 管圓的帳、√n 管平均的收斂 ——
老朋友一個不少,全跟著我們走進了機率的世界。