每日一式 · No.009
✦ 機率季 · 第三課
X̄n → E[X]
大數法則 · Law of Large Numbers
樣本平均,終將收斂到期望值 —— 蒙地卡羅為何越丟越準,正式版。
📜 公式的身世
磨了二十年的定理,與戰俘營裡的一萬次
雅各·白努利把這條定理磨了二十年,卻至死未發表 —— 他與弟弟約翰交惡到防賊般防著手稿,死後八年(1713)才由姪子整理出版《猜度術》。兩百多年後,它迎來史上最硬核的實測:二戰時南非數學家 Kerrich 被關進丹麥拘留營,無事可做,把一枚硬幣拋了一萬次、逐一記錄 —— 正面 5067 次,頻率一路收向 0.5。他戰後把數據出成一本小書:大數法則,在鐵絲網裡也照常上班。
🌍 它今天在哪裡上工
🎲
賭場的商業模式 —— 輪盤莊家優勢只有 5.26%,但一晚上千局、大數法則把波動磨平 —— 賭場不賭,它收「數學稅」。
🛡
保險公司的大池子 —— 單一保戶出險無法預測,百萬保戶的出險率卻準到小數點 —— 大數法則是整個保險業的地基。
⚾
打擊率要看整季 —— 十個打數的四成是雜訊,六百打數的三成是實力 —— 樣本夠大,運氣退場。
三堂課的伏筆在此收帳:π 那堂的飛鏢「丟越多越準」、007 的「群體有定形」、008 的「賭客被吸向支點」—— 背後都是同一條定律:把 n 次結果平均起來,n 越大,平均越貼近期望值。
🌪️畫面感:一個漏斗。每條「隨機的旅程」起初亂飛,但全部被一個以 1/√n 收窄的漏斗罩住,最後匯流到同一個出口 —— 期望值。
四章:先看漏斗本身,再量收斂的速度,再拆一個害人無數的誤解(賭徒謬誤),最後把「極限」那堂的 ε 挑戰賽穿上機率的衣服 —— 這就是它的嚴格定義。
Part 1 · 拉了就懂（白話）
I
第一章 · 漏斗：八段旅程，同一個出口
公平硬幣的正面比例 —— 起點各異、路徑各異，終點只有一個：1/2。
🪙八個人各自擲同一種公平硬幣,隨時記下「到目前為止的正面比例」。前十幾擲,有人 0.8、有人 0.2,像八條亂竄的溪流;可是一路擲下去,所有溪流被一個金色的漏斗收攏,匯進 0.5。漏斗的口徑,就是 ±1/√n。
互動 · 拉動 n，看八條路徑被漏斗收攏
次數 n—
漏斗口徑 ±1/√n—
八條路徑目前在漏斗內—
玩玩看，注意這些
- n 很小時:路徑亂飛,漏斗又寬 —— 短期什麼都說不準,這是誠實的一半。
- 拉大 n:漏斗按 1/√n 收窄,八條路徑幾乎全程被罩在裡面,一起流向 0.5。
- 按「換八個人」多重來幾次:路徑永遠不同,漏斗與出口永遠相同 —— 隨機的是過程,註定的是歸宿。
一句話帶走:大數法則 = 樣本平均被 1/√n 的漏斗收攏、匯向期望值。單次不可測、長期有定所。
II
第二章 · 收斂的速度：√n 法則 —— 多準一位小數，貴一百倍
誤差 ≈ σ/√n。這條斜率 −1/2 的直線，是所有抽樣工作的價目表。
🧾「越丟越準」—— 但準得多快?答案:誤差以 σ/√n 縮小。翻成白話的價目表:想把精準度多推進一位小數(誤差 ÷10),樣本得 ×100。所以民調訪一千人就敢說 ±3%,但想做到 ±0.3%,得訪十萬人 —— 準,是用平方的代價買的。
互動 · 雙對數座標：實測誤差（青點）貼著理論線（金）走
實測斜率（雙對數擬合）—
理論斜率−1/2（誤差 ∝ 1/√n）
價目表n×100 → 誤差÷10
怎麼看這張圖
- 橫軸是樣本數 n(對數)、縱軸是「樣本平均的典型誤差」(對數)。每個青點都是真刀真槍模擬出來的(每點各做 250 組實驗量散佈)。
- 點列排成一條筆直的下坡,貼著金色理論線 0.5/√n —— 雙對數下的直線,斜率讀出來就是 −1/2。
- 按「重新實測」:點會微微抖動,但斜率穩穩落在 −0.5 附近 —— √n 法則不是口號,是量得出來的。
這也是上一課 007 第三章「山寬 σ₀/√n」的同一件事:大數法則說「會收斂」,中央極限定理補一句「怎麼收斂 —— 以鐘形、以 σ/√n 的寬」。兩條定理,一組搭檔。
一句話帶走:誤差 ≈ σ/√n:樣本 ×100 才換誤差 ÷10 —— 精準是平方級的昂貴,這是所有實驗與民調的價目表。
Part 2 · 帶入深度
III
第三章 · 它不是「平衡律」：賭徒謬誤解剖
連開十次黑，下一把該開紅了？—— 硬幣沒有記憶，收斂的是比例，不是次數。
🎰最害人的誤讀:「輸了這麼多把,老天總該還我了吧。」大數法則從沒承諾『次數會扯平』 —— 它只承諾『比例會收斂』。看同一枚硬幣的兩本帳:上面記「正面 − 反面」的差額,下面記「正面比例」。你會看到一件反直覺的事:比例收斂的同時,差額反而越走越遠。
互動 · 同一枚硬幣的兩本帳：差額（上）與比例（下）
差額 正−反（典型大小 ~√n）—
比例（帶寬 ~1/√n）—
怎麼看這張圖
- 上帳(差額):玫瑰色的隨機漫步,包在 ±2√n 的張開喇叭裡 —— 差幾十次正面?越擲越可能,不會扯平。
- 下帳(比例):同一串資料除以 n,被 ±1/√n 的收攏漏斗罩住 —— 收斂的是它。
- 同一枚硬幣、同一串投擲:一本帳發散、一本帳收斂 —— 差別只在有沒有除以 n。差額 ~√n,除以 n 之後 ~1/√n → 0。
背後的道理
硬幣沒有記憶:不管前面開出什麼,下一擲永遠是全新的 1/2。「比例被修正」不是因為老天補償,而是因為新資料的洪流稀釋了舊差額 —— 分母長大,分子相形變小。賭徒謬誤把「稀釋」誤讀成「補償」,於是在最不該加碼的時刻加碼。(順帶:輪盤每一把 −2.7% 的期望值,也不會因為你「輸很多」而變好 —— 008 的支點,紋風不動。)
一句話帶走:大數法則收斂的是「比例」,不是「次數」;差額照樣以 √n 漂遠。硬幣沒有記憶 —— 修正靠稀釋,不靠補償。
IV
第四章 · ε 挑戰賽 · 機率版：這才是它的嚴格定義
「跑出容忍帶的機率」本身 → 0 —— 極限那堂的遊戲，穿上了機率的衣服。
🎯還記得「極限」那堂的挑戰賽嗎?你出容忍度 ε、我回門檻 N。機率世界沒辦法保證「每一條路徑都乖」(隨機嘛,總有倒楣路徑),所以承諾改寫成:「平均值跑出 μ±ε 帶子的『機率』,隨 n 增大歸零。」不保證每個人,保證比例 —— 這叫「依機率收斂」,是弱大數法則的原文。
互動 · 選 ε，看「出帶機率」實測值一路歸零
你出的 ε0.05
n=2560 時的實測出帶機率—
切比雪夫上界 1/(4nε²)—
怎麼看這張圖
- 每個青點:做 200 組「擲 n 次取平均」,數有幾組跑出 0.5±ε —— 那就是實測的出帶機率。
- n 一路加大,青點一路掉向 0。ε 選得越小,掉得越慢 —— 但終究會掉(門檻 N 只是更晚)。
- 金色虛線是切比雪夫不等式給的保證天花板 1/(4nε²):實測永遠壓在它下面 —— 這條不等式,就是弱大數法則最簡潔的證明。
✦ 一行寫下嚴格定義(弱大數法則):對任意 ε>0,P( |X̄ₙ − μ| > ε ) → 0。和「極限」那堂逐字對照:一樣是「任你出 ε」,只是這回歸零的,是失約的機率。三堂課在此接軌:極限給文法、期望值給目標、大數法則給承諾。
一句話帶走:弱大數法則 = 「平均值失約的機率」隨 n 歸零,由切比雪夫 1/(4nε²) 蓋章擔保 —— 蒙地卡羅越丟越準,至此正式結案。
把整堂課收成一句話 ——
單次是骰子,萬次是定律。
漏斗以 1/√n 收攏,精準以平方計價,
比例收斂而次數不扯平,
失約的機率終將歸零。
π 的飛鏢、賭場的帳本、民調的 ±3% —— 全都蓋著同一枚印章。