禪證明
用直覺看懂定理。數學中著名的結論,用真正說得通的方式呈現。
生日悖論:為什麼只要 23 個人就可能有人同一天生日
房間裡只要有 23 個人,就有超過一半的機率出現同一天生日。證明只需要數出 253 個配對,再把 23 個分數相乘。本文說明直覺錯在哪裡(只想到和自己同一天的 22 次比較)、閏年與生日分布不均會不會改變結果、這個悖論如何成為密碼學中的生日攻擊,以及怎麼用球隊名單或簡單的模擬程式,親手驗證 50.7% 這個機率。
2026年7月20日
蒙提霍爾問題:為什麼換門能讓中獎機率加倍
三扇門、一輛車,還有一位知道車在哪裡的主持人。蒙提霍爾問題中換門獲勝的機率是 2/3,是堅持不換的兩倍。本文用直接數情形的三步證明、100 扇門的放大版本,以及主持人行為如何改變答案的細節(包括「蒙提跌倒」變體),說明直覺為什麼會出錯,並教你用杯子、硬幣或幾行程式碼親手做實驗來驗證這個結果,還有歷史上的爭論。
2026年7月11日
艾狄胥(Erdős)與機率方法:用機會證明存在
艾狄胥只靠擲硬幣般的隨機上色和計數,就證明某種圖必定存在,卻從未把它造出來。本文逐步說明機率方法如何證明拉姆齊數 R(k,k) 大於約 2^(k/2)、為什麼缺陷的期望個數小於 1 就保證完美的例子存在、這種非構造性證明為何影響深遠,以及他留下的數百道未解問題為何成了 AI 數學推理的熱門試煉場與公開計分板。
2026年6月28日
e^(iπ) + 1 = 0:為什麼 e^(iπ) = -1(歐拉恆等式)
e^(iπ) 等於 -1,所以 e^(iπ) + 1 = 0。歐拉恆等式把 e(約 2.718)、i、π、1 與 0 五個常數串在同一行。本文先說明 e 的來歷與歐拉公式,再用四步證明解釋為什麼 e^(iθ) 沿著單位圓行走,而 π 剛好是半圈,並談它為何被稱為最美的等式,以及背後公式在交流電與訊號處理上的用途。
2026年6月28日
歐幾里得證明質數有無限多個
兩千多年前,歐幾里得就證明了任何有限的清單都列不完所有的質數,而論證短到一個段落就寫得完。本文逐步說明這個反證法的建構、N 不一定是質數的反例(30031 = 59 × 509),以及這個證明真正告訴我們的事,也談到它和康托爾對角論證、古德斯坦定理在精神上的關聯,以及質數為何是現代加密不可或缺的基礎。
2026年6月27日
康托爾對角線論證:為什麼實數無法全部列成一張清單
康托爾證明了,不論你把 0 到 1 之間的實數列成多麼巧妙的無限清單,一個簡單的對角線手法永遠能造出你漏掉的那個數。本文逐步說明這個反證法:先假設完整清單存在、讀出對角線、翻轉每一位數字並避開 0 與 9,造出不在清單上的新數,再解釋為什麼無限不只有一種大小,以及可數與不可數究竟差在哪裡、為什麼補上漏掉的數也沒有用。
2026年6月26日
古德斯坦定理:先爆炸、最後必定回到零的數列
古德斯坦定理描述一個整數數列:它會衝過古戈爾,甚至超越可觀測宇宙的原子數,大到一輩子都寫不完,卻能被證明最後一定回到零。本文用圖像說明遺傳進位記法、背後只會往下走的序數影子、與它等價的九頭蛇遊戲,以及為什麼皮亞諾算術無法證明這個定理,帶你看懂數的大小只是雜訊、結構才是訊號,全程不必跟著讀任何邏輯證明。
2026年6月25日