ユークリッドが遺した「2000年の未解決問題」

紀元前300年頃、古代ギリシャの数学者 Euclid (ユークリッド) は、当時の数学知識を網羅した記念碑的な著作『Elements (原論)』を編纂しました。
この本は聖書に次いで世界で最も出版されたと言われ、2,000年以上にわたり数学の絶対的な教科書として君臨してきました。
ユークリッドは、自明と思われる5つの「公準(ポストレート)」を基礎に、論理的な積み上げだけで465もの定理を証明するという、現代数学の黄金律を確立したのです。
しかし、その中の「第5公準」だけが、数学者たちの頭を悩ませ続けました。
重要な気づき: 第1から第4までの公準が非常に簡潔であるのに対し、第5公準(平行線公準)だけは不自然に長く、まるで定理のような複雑な説明になっていました。
多くの数学者は、この第5公準は他の4つの公準から証明できる「定理」に過ぎないのではないかと考えました。
Ptolemy (プトレマイオス) や Proclus (プロクロス) といった賢人たちが証明に挑みましたが、いずれも失敗に終わります。
彼らが証明に成功したと思った論理には、必ず「第5公準と同じことを別の言葉で言い換えただけ」という循環論法が潜んでいたのです。
- 第1公準: 任意の2点間に直線を引ける
- 第2公準: 有限の直線を無限に延長できる
- 第3公準: 任意の点と距離で円を描ける
- 第4公準: すべての直角は等しい
- 第5公準: 2つの直線に別の直線が交わる際、内角の和が180度より小さい側で、その2直線は必ず交わる
11世紀の Omar Khayyam (オマル・ハイヤーム) や後の Alhazen (アルハゼン) らも、背理法を用いて第5公準の証明を試みました。
しかし、彼らが「第5公準が偽である」と仮定して導き出した結論は、直感に反する奇妙な世界(例えば、三角形の内角の和が180度にならない世界)であったため、「こんなことはあり得ない」と断じてしまったのです。
彼らは新宇宙の入り口に立ちながら、その扉を開けることができませんでした。
革命の狼煙:Janos Bolyai と Gauss が拓いた「新宇宙」

1820年頃、17歳の学生であった Janos Bolyai (ヤーノシュ・ボヤイ) は、父からの猛反対を押し切り、この平行線の謎に没頭しました。
父 Farkas Bolyai (ファルカス・ボヤイ) は、この問題に人生を捧げて絶望した経験から「平行線の科学に手を出してはならない」と息子を諭しましたが、ヤーノシュは止まりませんでした。
彼はついに、第5公準が他の公準から独立しており、証明不可能であるという真理に辿り着いたのです。
そして彼は、第5公準が成立しない、曲がった世界の幾何学を構築し始めました。
「無から、私は驚くべき新しい宇宙を創り出した」
ヤーノシュが発見したのは、現在「双曲幾何学」と呼ばれる世界です。
ここでは、ある直線外の1点を通る平行線が無数に存在します。
この空間を視覚化するモデルの一つが Poincaré disc (ポアンカレ・ディスク) です。
このモデルでは、直線は円盤の縁に直交する円弧として描かれ、中心から離れるほど空間が「縮んで」見えます。
ヤーノシュはこの数学的一貫性に驚愕し、自分の発見を父の著書の付録として発表しました。
| 幾何学の種類 | 平行線の数 | 三角形の内角の和 | 代表的なモデル |
|---|---|---|---|
| ユークリッド幾何学 | 1本 | 180度 | 平面 |
| 楕円幾何学(球面) | 0本 | 180度より大きい | 地球の表面 |
| 双曲幾何学 | 無数 | 180度より小さい | ポアンカレ・ディスク |
同時期、数学界の巨人 Carl Friedrich Gauss (カール・フリードリヒ・ガウス) も密かに同じ結論に達していました。
しかし、彼は当時の保守的な学会からの嘲笑を恐れ、その内容を公表していませんでした。
ガウスはヤーノシュの論文を絶賛しつつも、「それは私が過去30年間考えていたことと一致する」と返信したため、ヤーノシュは自分のアイデアを盗まれたと思い込み、深く傷つきました。
この数学史上の悲劇の一方で、ガウスは実測によって「空間の曲がり」を測定しようとしていました。
彼は3つの山の頂上で大きな三角形を作り、その内角の和が180度からずれるかどうかを調査したのです。
ゴール: ガウスの試みは、数学上の仮定を現実の物理空間の測定によって検証しようとした、歴史的な転換点でした。
リーマン幾何学とアインシュタインの「幸福な閃き」
1854年、ガウスの教え子であった Bernhard Riemann (ベルンハルト・リーマン) は、さらに革命的な一歩を踏み出しました。
彼は、場所によって曲率が異なる空間や、3次元以上の高次元空間の幾何学を提唱したのです。

