禅の証明

定理を直感的に。数学の有名な結果を、本当に腑に落ちる形で示します。

定理

誕生日のパラドックス:なぜ23人いれば誕生日が重なるのか

23人集まれば誕生日が重なる確率は50.7%と半分を超えます。365日に対して23人は少なすぎるように思えますが、鍵は23人が作る253組のペアにあります。30人なら70.6%、50人なら97.0%、70人なら99.9%。直感がなぜ外れるのかを短い証明で示し、暗号のバースデー攻撃への応用までわかりやすく解説します。

2026年7月20日

定理

モンティホール問題:なぜドアを替えると勝率が2倍になるのか

3つのドアに1台の車。あなたが選んだ後、車の場所を知る司会者がヤギのドアを開けて交換を持ちかけます。残る2つは50/50に見えますが、実は替えれば勝率2/3、留まれば1/3で、替える方が2倍勝てます。100ドア版のたとえと1990年のボス・サヴァント論争を交えて、直感が外れる理由をわかりやすく解説します。

2026年7月11日

定理

エルデシュと確率論的手法:偶然によって存在を証明する

エルデシュは塗り分けを構成せずにその存在を証明した。完全グラフの各辺を無作為に2色で塗り、単色グループの期待数が1未満になるよう頂点数を選べば、必ず完璧な塗り分けが存在する。1947年に確立されたこの確率論的手法は、ラムゼー数の下界 R(k,k) > 2^(k/2) を導き出す、彼の代名詞となった発想である。

2026年6月28日

定理

オイラーの等式: なぜ e^(iπ) + 1 = 0 なのか

オイラーの等式 e^(iπ) + 1 = 0 は、まったく異なる分野から来た5つの基本定数 e, i, π, 1, 0 をたった1行に結びつける。その証明の核心は、指数を繰り返しの掛け算ではなく回転として捉えること。e を虚数乗すると点が単位円の上を歩き、半周でちょうど反対側の -1 にたどり着く。

2026年6月28日

定理

素数は無限にある:ユークリッドの証明

ユークリッドは2000年以上前に、どんな有限のリストも素数のすべてを収めることはできないことを示しました。その論法はひとつの段落に収まり、今日でも人々を驚かせ続けています。

2026年6月27日

定理

カントールの対角線論法:実数が列挙できない理由

ゲオルク・カントールは、どれほど巧みに実数を列挙しようとしても、単純な対角線の操作によって必ずリストから漏れた数が生み出せることを証明しました。霧を晴らし、一歩ずつ丁寧に辿る解説です。

2026年6月26日

定理

グッドスタインの定理:爆発的に増加し、それでも必ずゼロに戻る数列

グッドスタインの定理は、グーゴルをはるかに超えるほど爆発的に増加しながら、それでも必ずゼロに戻ることが証明された整数の数列を記述します。重い論理ではなく、直感的な絵で理解する解説です。

2026年6月25日