ユークリッドの夢 ― たった5つの約束から世界を建てる
The Axiomatic Dream of Euclid
読み物
三角形の内角を足すと $180^\circ$ になる。誰もが学校で習うこの事実を、私たちはなぜ「正しい」と言い切れるのだろう。紙に三角形を描いて分度器で測れば、たしかにおよそ $180^\circ$ にはなる。けれど世界中のあらゆる三角形を測ったわけではない。それでも数学者は、ためらいなく「すべての三角形でそうなる」と断言する。
この自信の源をたどると、二千年以上前に書かれた一冊の本に行き着く。ユークリッドの『原論』である。この記事では、図形の真理を測って確かめるのではなく論理で築き上げるという、彼の壮大な夢を肩の力を抜いて眺めてみたい。
測る数学から、建てる数学へ
古代エジプトやバビロニアにも、見事な図形の知識はあった。ナイルが氾濫するたびに土地を測り直し、ピラミッドを正確に積み上げる ―― 彼らは「こうすればうまくいく」という経験則を山ほど持っていた。けれどそれは、料理のレシピのような実用の知だった。
古代ギリシャの数学者たちは、ここで奇妙な問いを立てた。「うまくいくのは分かった。だがなぜうまくいくのか」。測って確かめるのではなく、理由を論理でたどって納得したい。この「なぜ」へのこだわりが、経験則の寄せ集めを、証明でつながった一つの体系へと変えていく。
ユークリッドはこの流れの集大成として『原論』を編んだ。そこには新発見の定理が並ぶというより、それまでの幾何の知が正しい順番で積み上げられている。土台から屋根まで、抜けや飛びのない一棟の建物のように。
たった5つの約束
建物には土台がいる。ユークリッドが土台に選んだのは、驚くほど素朴な約束ごとだった。いわく ―― 任意の2点を結ぶ線分が引ける。線分はどこまでも延ばせる。任意の中心と半径で円が描ける。直角はどれも等しい。そして名高い第5の約束（平行線公準）。並べると次の5つである。
- 任意の2点を結んで線分が引ける。
- 線分はどこまでも延長できる。
- 任意の中心と半径で円が描ける。
- 直角はどれも互いに等しい。
- 1本の直線が2直線に交わり、片側の内角の和が2直角より小さいなら、その側で2直線は交わる（平行線公準）。
これらは「証明せずに認めてしまう出発点」で、公理（あるいは公準）と呼ばれる。『原論』では厳密には「公準」と呼ばれるが、現在ではまとめて公理と呼ぶことも多い。あまりに当たり前で、誰も「証明しろ」とは言わないものを、あえて少数だけ選び出す。あとはそこから論理だけで進む ―― これがゲームのルールである。
面白いのは、その「当たり前」を出発点にしただけのはずなのに、そこから引き出される結論が当たり前にとどまらないことだ。少数の約束から、思いもよらない豊かな世界が立ち上がってくる。
ひとくちメモ：『原論』はベストセラーだった
『原論』は、聖書に次いで多く印刷・翻訳された本だとよく言われる。二千年以上にわたって幾何学の教科書として使われ続け、近代になっても少年たちはこの本で論理的思考を鍛えた。一冊の数学書が、これほど長く人類の知の土台であり続けた例は他にない。
約束から定理を積み上げる
では、どうやって積み上げるのか。雰囲気だけ味わってみよう。最初に証明される命題の一つは「与えられた線分の上に正三角形を作れる」というものだ。両端を中心にして同じ半径の円を二つ描き（円が描ける、という約束を使う）、その交点と両端を結ぶ。三辺はどれも同じ円の半径だから等しい ―― だから正三角形になる。
注目したいのは、ここで使った道具がすべてすでに認めた約束だけだという点だ。新しい仮定はこっそり持ち込まない。こうして一段ずつ、前に証明したことだけを足場にして、より高い定理へ登っていく。冒頭の「三角形の内角和は $180^\circ$」も、この階段をしばらく登った先に現れる一段である。
最終的に『原論』は、三平方の定理にまでたどり着く。$a^2 + b^2 = c^2$ という、入門でも出会うあの式だ（三平方の定理でじっくり味わえる）。素朴な約束から始めて、ここまで来られる ―― それが演繹という階段の力である。
目で見て明らかなのに、なぜ証明するのか
ここで素朴な疑問がわく。図を見れば一目瞭然なのに、わざわざ理屈をこねる意味はあるのか、と。
答えは「図は嘘をつくことがある」からだ。少しずらして描いた図は、線が一点で交わっているように見えて実は交わっていない、ということが起こりうる。直感だけに頼ると、巧妙な図にだまされてしまう。証明は、特定の一枚の絵ではなくあらゆる場合について、なぜ必ずそうなるのかを言葉で保証してくれる。
さらに証明には、思わぬごほうびがある。階段をたどると、ばらばらに覚えていた定理どうしが、実は同じ土台から伸びた枝だったと分かるのだ。円周角の定理や正多角形の性質も、同じ約束の上に立っている。証明は、点在する知識を一枚の地図に結び直してくれる。
ひとつだけ、座りの悪い約束
ひとくちメモ：平行線公準のもやもや
5つの約束のうち、第5番だけは妙に長く込み入っていた。「直線の片側で内角の和が2直角より小さいなら、その側で2直線は交わる」 ―― ほかの4つの潔さに比べて、いかにも証明できそうな顔をしている。実際、その後の二千年間、数えきれない数学者が「これは他の約束から導けるはずだ」と挑み、ことごとく敗れた。このもやもやが、やがて非ユークリッド幾何学というまったく新しい幾何学の扉を開くことになる。だがその物語は、もう少し先のレベルのお楽しみである。
結び ― 約束から世界を建てる
少数の素朴な約束を選び、論理だけでそこから世界を建てていく。ユークリッドが示したこの作法は、幾何学だけのものにとどまらなかった。数や論理、現代のさまざまな数学が、形を変えて同じ夢を受け継いでいる。「何を前提とし、そこから何が必ず従うのか」を見きわめる ―― それは数学という営みそのものの骨格になった。
入門でこれから出会う公式や定理も、一つひとつがこの階段の段である。なぜそれが成り立つのかを問いながら登っていけば、図形の世界は暗記する対象から、つながりのある一棟の建物に変わるはずだ。次の段へは初級へ進もう。そこでは公理を別の視点から組み直す話が待っている。
よくある質問
『原論』とは何か？
『原論』は、紀元前3世紀ごろにユークリッドがまとめた幾何学の教科書である。それまでに知られていた図形の知識を、少数の公理から証明の順に積み上げる形で体系化した全13巻の書物で、二千年以上にわたって幾何学の標準的な教科書として読み継がれた。少数の前提から論理だけで壮大な定理の体系を建てるという発想の原点になった。
公理（公準）とは何か？
公理（公準）とは、証明せずに出発点として認める約束ごとである。ユークリッドは「2点を結ぶ直線が引ける」「線分はどこまでも延ばせる」といった、誰も疑わないほど素朴な前提だけを公理に選んだ。その少数の約束から論理だけで次々と定理を導く ―― これが公理から体系を建てるという発想である。
なぜ目で見て明らかな図形の性質をわざわざ証明するのか？
図を見て「明らかだ」と思える性質でも、本当に正しいとは限らないからである。巧妙に描かれた図はしばしば直感を裏切る。証明は、特定の図ではなくすべての場合について、なぜそれが必ず成り立つのかを論理で保証する。さらに証明をたどると、ばらばらに見えた定理どうしのつながりが見えてくるのも大きな魅力である。