ガロアとラマヌジャン — 悲劇の天才たち

1832 年 5 月 30 日、 20 歳のエヴァリスト・ガロアは 女性をめぐる決闘で 銃弾を受け 翌日死去。 前夜、 徹夜で 群論の全アイデアを 手紙に書き残す。 「もう時間がない」 と 何度も書き込みながら。 その 55 年後、 南インドの独学者 ラマヌジャン (1887-1920) が ケンブリッジのハーディに 120 の公式を送り、 「天才以外には書けない」 と 世界に発見される。 32 歳で結核死するまで数千の公式を残し、 現代でも 「モック・テータ関数」 が研究され続ける。 悲劇と栄光が 同居する 2 人を辿る。

math-historygaloisramanujangroup-theorytragic-genius

悲劇の天才 — 究極の 2 人

前記事 [コーシー・アーベル・ヤコビ] で見た 短命の天才たちの系譜の 究極形が、 エヴァリスト・ガロア (1811-1832、 20 歳決闘死)シュリニヴァーサ・ラマヌジャン (1887-1920、 32 歳結核死)

  • ガロア — フランスの共和派活動家。 決闘前夜に 群論の全アイデアを 一晩で書き残し、 翌日 20 歳で死去
  • ラマヌジャン — 南インドの 独学者。 ケンブリッジのハーディに 120 の公式を送って 発見され、 5 年でイギリスに滞在後 帰国、 32 歳で 結核死

いずれも 数学史の 神話 になった。 「もう時間がない」 という 意識のもとで残された 業績が、 20 世紀以降の 数学を 根本から 変えた。

エヴァリスト・ガロア — 20 歳決闘死の 群論創始者

エヴァリスト・ガロア (Évariste Galois、 1811-1832) は フランスの数学者。 20 歳 7 か月で 決闘により命を落とした 早世の天才で、 わずか数年の 数学活動で 群論を創始 し、 5 次以上の代数方程式が 代数的に解けない理由を 構造的に解明 した。

彼の理論は 死後 10 年以上経って リウヴィユによって出版され (1846)、 19 世紀後半の数学者に 「ガロア理論」 として認識されて以降、 現代代数学・整数論・代数幾何学の 核心 となった。 「数学史上 もっとも劇的な生涯」 と言われる。

ガロアの 21 年 — 波乱の人生

出来事
1811 年 10 月 25 日 パリ近郊 ブール・ラ・レーヌに誕生。 父ニコラ・ガブリエルは町長 (リベラル派)
1823 12 歳でパリのルイ・ル・グラン高等学校入学
1827 頃 16 歳で本格的に数学に触れる。 ルジャンドル [幾何学要論] を 2 日で読破、 ラグランジュ諸著作を吸収
1828 エコール・ポリテクニーク入試で 不合格 (1 回目)
1829 年 5 月 最初の論文をパリ科学アカデミーに提出 (コーシーが審査担当)
1829 年 7 月 父ニコラが 地元の聖職者・王党派の中傷で 自殺
1829 年 8 月 エコール・ポリテクニーク入試 2 度目の不合格 (激怒して試験官に黒板消しを投げつけたとも)。 エコール・ノルマル・シュペリエール入学
1830 年 7 月 七月革命勃発、 共和派の活動に身を投じる
1830 年 12 月 エコール・ノルマルを 「王に対する非難記事」 を書いた咎で放校
1831 年 5 月 反政府演説で逮捕、 6 か月の予審拘留
1831 年 6 月 二度目の論文をアカデミーに提出 (ポアソン審査、 後に 「了解しがたい」 として却下)
1831 年 7 月 革命記念パレードで武装して逮捕、 9 か月の禁錮刑
1832 年 4 月 29 日 出獄、 コレラ流行下のパリで療養所へ
1832 年 5 月 29 日 ステファニー・フェリス・デュ・モテル という女性をめぐり 「名誉のための」 決闘を申し込まれる
1832 年 5 月 30 日 ジャンティイにて 決闘、 銃弾を腹に受ける
1832 年 5 月 31 日 午前 10 時 コシャン病院で死去、 20 歳 7 か月

決闘前夜 — 「もう時間がない」

決闘の前夜、 ガロアは 自分が翌日死ぬことを覚悟し、 徹夜で シュヴァリエ宛の遺書 を書き、 これまでの数学的アイデアを整理した。 手紙の余白には 「もう時間がない (Je n’ai pas le temps)」 と 何度も書かれている。

「公に頼みたいことは、 定理の正しさではなく、 その重要性を判断してくれることだ」

この夜の手紙が、 ガロア理論の 主要内容を伝える 根本資料 となった。 「20 歳の青年が 一晩で 現代代数学の礎を書き残した」 — 数学史における 最も劇的な 一夜

臨終の 言葉

弟アルフレッドに:

「泣くな、 20 歳で死ぬためには ありったけの勇気が必要だから」

決闘の 真相

決闘相手・状況については 諸説あり、 現在も 論争中:

  • 共和派活動家内部の対立説 — 警察のスパイによる罠説
  • 三角関係説 — ステファニーをめぐる
  • 政治的暗殺説

ステファニーは 決闘相手の婚約者だったとも、 まったく無関係だったとも 諸説ある。 ガロアは 決闘相手を 「私の友人 d’H」 と書き残しているが、 正体は 確定していない。

ガロア理論の 核心

5 次以上の代数方程式 aₙxⁿ + … + a₀ = 0 が 代数的に (四則演算と冪根のみで) 解けるかどうか を、 その ガロア群の構造 で判定する:

  • 各方程式に 根の置換群 (ガロア群) を対応させる
  • 「方程式が代数的に解ける」 ⇔ 「ガロア群が 可解群である」
  • 5 次以上の一般方程式のガロア群は 対称群 S_5 で、 これは 可解群ではない (A_5 が単純群のため)
  • よって 5 次以上の一般方程式は 代数的に解けない

これがガロアの 中心定理

アーベルとの 関係

前記事のノルウェーの ニルス・アーベル (1802-1829) は、 ガロアの一足先に 「5 次方程式は一般に代数的に解けない」 を証明 (1824)。 ただし アーベルは 「なぜ 解けないか」 を 構造的に説明した わけではなく、 ある種の不可能性証明だった。

ガロアは 「どの方程式が 解けるか・解けないか」 を 群論で判定する 一般理論 を打ち立てたという点で アーベルを超えた

「群」 の 概念の 発明

ガロアは 「群 (groupe)」 という術語を 初めて数学に持ち込んだ (1830)。 彼にとっての 群は 置換群 だったが、 後に ケイリー、 ジョルダン、 クライン らによって 抽象群へと 一般化 された。

群の概念は 20 世紀以降、 物理学 (対称性、 リー群)、 化学 (分子対称性)、 結晶学、 暗号理論、 素粒子物理学の あらゆる場面で 根本的役割 を果たす。

ガロア体 — 現代暗号の 基礎

p^n 個の元を持つ 有限体 GF(p^n) の 存在と一意性を示した (1830)。 これは 現代暗号・符号理論の基礎:

  • 通信路符号 (リード・ソロモン符号)
  • 楕円曲線暗号
  • AES、 RSA などの 暗号アルゴリズム

「20 歳で 決闘死した 青年の 群論」 が、 200 年後の インターネットの安全 を支えている。

ガロアの 発表史 — 不幸の連続

出来事
1829 年 5 月 第一論文をアカデミー提出。 コーシー審査。 原稿紛失 (コーシーが 7 月革命で亡命)
1830 年 2 月 フーリエに 第二論文提出。 直後にフーリエ死去、 原稿紛失
1831 年 6 月 第三論文提出。 ポアソン審査、 「了解しがたい」 として却下
1832 年 5 月 29 日夜 決闘前夜にシュヴァリエ宛遺書として理論を要約
1846 年 リウヴィユが遺稿を整理、 [純粋・応用数学雑誌] に発表。 死後 14 年
1870 年 ジョルダン [置換論] でガロア理論が体系化される。 死後 40 年近く

ガロアの理論が 数学界に本格的に認知されたのは 死後 40 年近く後。 前記事のアーベルが 死後 数年で評価されたのと対照的な、 さらに遅い 「死後の栄光」。

政治と 数学 — 分かちがたい 2 つの革命

ガロアは 共和派・反王政派の 活動家 だった。 1830 年 7 月革命 に身を投じ、 その後も 国民衛兵 として 武装活動:

  • 1831 年 5 月 — 王ルイ・フィリップへの 非難演説で逮捕
  • 1831 年 7 月 — 武装パレードで再逮捕
  • 獄中でも 数学研究を続行

「ガロアの数学」 と 「ガロアの政治」 は 分かちがたい。 彼にとって 数学は革命的 (既存の方程式論を 根本から覆す) であり、 政治もまた 革命的 だった。 「数学的革新」 と 「政治的革命」 の 二重の情熱が、 20 歳の生涯に 濃縮されている。

シュリニヴァーサ・ラマヌジャン — 独学の 神秘

シュリニヴァーサ・ラマヌジャン (Srinivasa Ramanujan、 1887-1920)南インド・タミルナードゥ州 エロード生まれ の数学者。 正規の数学教育をほとんど受けずに 独学で 膨大な公式を発見 し、 ケンブリッジ大学の G.H.ハーディ に宛てた手紙によって 世界に 「発見」 された。

32 歳で 結核により早世 したが、 3 冊の 「ノート」 と 未完の 「失われたノート」 に残された 数千の公式 は、 現代に至るまで 研究され続けている。

独学の 起点 — G.S.カーの 書物

ラマヌジャンは 貧しいバラモンの家庭 に生まれた。 少年時代に G.S.カー [純粋数学と応用数学の概論] という、 定理の羅列 のような書物に出会い、 これを 「証明する」 ことに没頭した。

大学では 数学以外の科目に興味を示さず、 奨学金を失っている。 マドラスの 港湾事務所で働きながら、 彼は独自の数学を発展させた。

「証明の書かれていない 定理集」 を、 一人で 全て自力で証明・拡張していく — 世界に例のない 独学のスタイル。

1913 年 — ハーディへの 手紙

1913 年、 26 歳 の ラマヌジャンは、 当時イギリス数学界の中心だった ゴッドフリー・ハーディ (G.H. Hardy、 1877-1947)公式集を同封した手紙 を送る。

最初の手紙には 奇妙で美しい公式が 約 120 も 並んでいた。 例えば:

1 + 2 + 3 + 4 + … = -1/12

このような (ゼータ関数の解析接続を経由する) 形式的等式が、 何の説明もなく書かれていた。 ハーディは、 リーマン、 オイラーらに匹敵する才能と 直感的に感じ取り、 「天才以外には書けない」 と判断、 リトルウッドと共に、 ラマヌジャンを 英国に招聘 することを決意した。

ケンブリッジ滞在 (1914-1919)

1914 年から 1919 年まで ケンブリッジに滞在。 ハーディとともに 分割数の漸近公式 (円周法) を確立 する。 これは 現代の解析的整数論における 金字塔 のひとつ。

分割数 p(n)

自然数 n を 順序を無視して 正整数の和に分解する方法の総数 p(n) について、 ラマヌジャンとハーディは:

p(n) ~ (1 / 4n√3) · exp(π√(2n/3))

という漸近公式を導いた。 後に ラーデマッハー が完全な収束級数に拡張した。

ラマヌジャン合同

ラマヌジャンは 合同式 p(5n+4) ≡ 0 (mod 5) など、 分割数の 整数論的性質を 多数発見。 これらは 「ラマヌジャン合同」 として 現代数論の 中心対象の一つ。

タクシー数 1729 — ハーディとの 逸話

ハーディが ラマヌジャンを 見舞ったときの逸話:

ハーディ 「乗ってきたタクシーの番号 1729 は 退屈な数だ」 ラマヌジャン 「いや、 それは 2 つの立方数の和として 2 通りに表せる 最小の数 です」

1729 = 1³ + 12³ = 9³ + 10³

以後、 n 個の方法で 立方和に表せる最小の数は 「タクシー数 (Taxi-cab number)」 と呼ばれる。 数学者の 直観力を示す 象徴的な エピソード。

「ナマギリ女神が 舌に公式を書く」

ラマヌジャンは 深い信仰を持つ 敬虔なヒンドゥー教徒で、 家族神 ナマギリ女神 への信仰を 数学と一体化させていた。 彼は 「ナマギリ女神が 舌の上に 公式を書く」 と語ったと伝えられる。

「証明よりも 発見が先」 「形式的計算と 直観の融合」 という 19 世紀以前の流儀を、 20 世紀初頭に 復活させた 稀有な存在。 ハーディの 厳格な 証明重視の数学と、 ラマヌジャンの 直観的な 発見数学が 同じ研究室で 共存した 5 年間。

モック・テータ関数 — 死の直前の 「ボトルメッセージ」

死の数か月前、 療養先のクンバコナムから ハーディに送った 最後の手紙で、 ラマヌジャンは 「モック・テータ関数」 と 名付けた 新種の関数 を紹介した。

これは長らく 謎の概念だったが、 2000 年代になって Zwegers が博士論文で 「調和マース形式 (harmonic Maass form) の 正則部分」 として位置づけ、 現代の 保型形式論の 重要分野 となった。 死の直前まで 未来へ向けて投じられた ボトルメッセージ

π への 高速収束公式

ラマヌジャンは 円周率に対して 恐ろしく早く収束する 公式群 を発見した:

1/π = (2√2 / 9801) Σ_{k=0}^∞ (4k)! (1103 + 26390k) / ((k!)⁴ · 396^(4k))

これは 1 項あたり 約 8 桁の精度 で π を与える。 現代の 高精度 π 計算アルゴリズム (チュドノフスキー兄弟の公式) の 源流 となった。 現代コンピュータで π を数兆桁計算する アルゴリズムの 根源。

菜食と 結核

ラマヌジャンは 肉食を拒否する 厳格な菜食主義者 で、 ケンブリッジでの食事に 苦労した。 これも 結核の進行を早めた要因 とされる。

1917 年に発病、 1919 年に帰印、 1920 年に 32 歳で死去。 「文化の違いが 命を縮めた」 — ロンドンの霧と冷気、 慣れない食事、 家族と離れた孤独が、 天才の 短命を 決定づけた。

ハーディの 評価

ハーディは自身の業績を 1 から 100 で評価 したとき:

  • 自分は 25
  • リトルウッドは 30
  • ヒルベルトは 80
  • ラマヌジャンは 100

と語った。 「最大の功績は何か」 と問われた ハーディは 「ラマヌジャンの発見」 と答えた。 世界最高の 数学者が、 「独学の インド人青年を 見出したこと」 を 自身の最大の業績 と 位置づけた。

現代への 影響

ガロア → 現代数学の 中心

  • 抽象代数 — 群、 環、 体、 加群の体系
  • 代数的整数論 — ガロア群の表現論、 岩澤理論、 ラングランズ予想
  • 代数幾何学 — スキーム論、 エタール・コホモロジー
  • 数理物理 — 対称性、 ゲージ理論、 素粒子の 標準模型
  • 情報理論 — 暗号、 符号、 誤り訂正

ワイルズと フェルマー最終定理

アンドリュー・ワイルズによる フェルマー最終定理の証明 (1995) は、 楕円曲線のガロア表現と モジュラー形式を結びつける 谷山・志村予想 の証明に基づく。 ガロア理論なしには 考えられない 仕事。

ラマヌジャン → 現代の再評価

  • モック・テータ関数 — 2000 年代に 保型形式論の中心対象に
  • ブラックホールのエントロピー — モック・テータ関数が 量子重力と関わる研究 (ザギエら)
  • π の高速計算 — 現代の 計算機科学
  • AI/機械学習 — 公式の自動発見 (Ramanujan Machine プロジェクト 等) との関連で 2020 年代に 再評価

映画・小説での 描写

  • [奇蹟がくれた数式] (The Man Who Knew Infinity、 2015) — デヴ・パテルがラマヌジャン、 ジェレミー・アイアンズがハーディを演じた
  • [The Indian Clerk] (David Leavitt) — ハーディの内面から見た ラマヌジャン像

ガロア: 決闘死のドラマは 数学史小説の 定番題材。

この記事から次の記事へ

19 世紀の 悲劇の天才たちを辿った。 次記事では、 20 世紀初頭の 基礎論ヒルベルト・ポアンカレ・ゲーデル に入る。 数学を 完全な公理系で 基礎づけようとした ヒルベルトの 23 問題 (1900)、 それを 1931 年に打ち砕いた ゲーデルの 不完全性定理 (25 歳)、 位相幾何学の父 ポアンカレ — 20 世紀数学が 一気に 抽象化する 30 年を辿る。

← Back to 数学の系譜