幾何學 -- AI 偵探風格#

以「推理探案」的方式，追查幾何學三千年的每一場危機與轉身：前因是什麼？線索在哪裡？推理如何展開？後果又如何改變了整個數學與物理？

核心謎題只有一個：「形狀」與「空間」到底是什麼？它們是物件，還是我們思維的產物？

案件卷宗（歷史年表）#

前奏：從公理到度量（公元前 300 – 公元 1890）#

年份	事件	檔案
前 300	Euclid《幾何原本》——把幾何建成公理—定理的推理系統	-0300-歐幾里得要素.md
前 250	Archimedes 的《方法論》——體積、面積、天體尺度的數學偵探	-0250-阿基米德方法.md
1890	Peano 曲線——一條線填滿整個正方形，維數的直覺崩潰	1890-皮亞諾曲線.md

座標化：幾何變成代數（1630 – 1690）#

年份	事件	檔案
1639	Desarggue《透視法論著》——射影幾何的第一個真定理	1639-德沙格射影幾何.md
1637	笛卡兒《方法論》附錄《幾何學》——點 \((x,y)\) 與方程式的誕生	1637-笛卡兒解析幾何.md

直覺的黃金年代（1750 – 1880）#

年份	事件	檔案
1752	Euler 的多面體公式 \(V - E + F = 2\) ——拓樸的第一次開口	1752-歐拉多面體公式.md
1858	Möbius 帶——單面性的拓樸怪物	1858-莫比烏斯帶.md
1872	Klein 的艾爾朗根計畫——「幾何學 = 群的理論」	1872-克萊因艾爾朗根計畫.md

平行公設的大崩解（1829 – 1899）#

年份	事件	檔案
1827	Gauss 的《曲面的一般研究》——絕妙定理：曲率是內在量	1827-高斯內在幾何.md
1829	Lobachevsky《虛構幾何》——非歐幾何的第一份完整論著	1829-羅巴切夫斯基非歐幾何.md
1832	Bolyai《附錄》——獨立發現非歐幾何與「絕對幾何」	1832-鮑利非歐幾何.md
1851	Riemann 的博士論文——Riemann 映射定理，複分析的幾何化	1851-黎曼映射定理.md
1854	Riemann 的演講《論曲面論所表現的幾何假設》——高斯自己找上門	1854-黎曼幾何.md
1868	Beltrami 的偽球面——非歐幾何第一次「被造出來」	1868-貝特拉米偽球面.md
1899	Hilbert《幾何學的基礎》——公理化的最後一塊拼圖	1899-希爾伯特幾何基礎.md

二十世紀：抽象、圖形與難題（1900 – 2003）#

年份	事件	檔案
1882	Poincaré 的圓盤模型——非歐幾何第一次被「看見」	1882-彭加萊圓盤模型.md
1900	Hilbert 第十題——列表算法版的四色定理之謎	1900-希爾伯特第十題.md
1908	Minkowski 時空——時間是第四個維度，非歐幾何成為物理現實	1908-閔考斯基時空.md
1916	Einstein 廣義相對論——重力 = 時空曲率，黎曼幾何成為物理學	1916-愛因斯坦廣義相對論.md
1918	Weyl 規範理論——幾何對稱變成物理定律	1918-外爾規範理論.md
1926	Cartan 活動標架——Klein 與 Riemann 的大統一	1926-嘉當活動標架.md
1936	Whitney 嵌入定理——任何流形都能塞進 R^{2n}	1936-惠特尼嵌入定理.md
1954	Nash 嵌入定理——任何流形都能等距塞進歐氏空間	1954-納什嵌入定理.md
1956	Milnor 怪球面——拓樸相同 ≠ 光滑相同	1956-異質球面.md
1974	Penrose 舖磚——不可能存在的準晶體	1974-彭羅斯舖磚.md
1976	四色定理的計算機證明（Appel–Haken）——數學第一次被機器解決	1976-四色定理計算機證明.md
1982	Thurston 幾何化猜想——三維空間的完整地圖（八種幾何）	1982-瑟斯頓幾何化猜想.md
1987	Gromov 雙曲群——把群論變成幾何	1987-格羅莫夫雙曲群.md
2003	Perelman 證明龐加萊猜想——千年七大問題的首殺	2003-佩雷爾曼龐加萊猜想.md

三大歷史脈絡#

公理化（Euclid → Hilbert）：幾何從「測量技藝」變成「形式系統」。
座標化與代數化（Descartes → 幾何代數）：形狀變成方程式，圖形變成可計算物件。
抽象化與拓樸化（Klein → Perelman）：幾何不再問「多長」，而問「在何種變換下保持不變」。

非歐與黎曼幾何的專線#

非歐幾何與黎曼幾何是本卷最長的一條主線，貫穿三千年：

\[ \text{內在幾何（1827）} \to \text{公理革命（1829/1832）} \to \text{曲率即幾何（1854）} \to \text{模型實現（1868）} \to \text{物理現實（1908/1916）} \to \text{規範場（1918）} \to \text{大統一（1926）} \to \text{嵌入（1936/1954）} \to \text{幾何化（1982）} \to \text{Ricci 流（2003）} \]

內在幾何：Gauss 絕妙定理——曲率是內在量，曲面上的居民不需要離開曲面。
公理革命：Lobachevsky、Bolyai——平行公設可以「不成立」而幾何依然自洽。
曲率即幾何：Riemann——度規決定空間的一切內在性質。
模型實現：Beltrami 偽球面、Poincaré 圓盤——雙曲幾何「可以被畫出來」。
物理現實：Minkowski 時空、Einstein 廣義相對論——重力 = 時空曲率。
規範場：Weyl——對稱決定相互作用；規範場 = 纖維叢上的聯絡。
大統一：Cartan——活動標架、微分形式、聯絡與曲率的現代語言。
嵌入：Whitney（ \(\mathbb{R}^{2n}\) ）、Nash（等距）——抽象流形 = 歐氏空間的子流形。
幾何化：Thurston——三維空間是八種幾何的有限組合；Mostow 剛性；Gromov 雙曲群。
Ricci 流：Perelman——幾何化猜想與龐加萊猜想的最終證明。

關鍵人物年表#

年代	人物	貢獻
前 300	Euclid	公理—定理系統、五條公設
前 250	Archimedes	圓面積、球體積、窮盡法、《方法論》
1639	Gérard Desargues	射影幾何、對偶原理
1637	René Descartes	解析幾何、笛卡兒座標
1752	Leonhard Euler	\(V-E+F=2\) 、歐拉公式
1827	Carl Friedrich Gauss	絕妙定理、內在幾何、Gauss–Bonnet
1829	Nikolai Lobachevsky	非歐幾何的公開論著
1832	János Bolyai	絕對幾何、獨立發現非歐幾何
1851	Bernhard Riemann	Riemann 映射定理、複分析的幾何化
1854	Bernhard Riemann	曲面論、流形、內在幾何
1858	August Möbius	莫比烏斯帶、單面曲線
1868	Eugenio Beltrami	偽球面、雙曲幾何的模型
1872	Felix Klein	艾爾朗根計畫、射影群
1882	Henri Poincaré	圓盤模型、基本群、拓樸學
1890	Giuseppe Peano	空間填充曲線、維數危機
1899	David Hilbert	幾何學的基礎、公理化
1900	David Hilbert	第十題（列表算法）
1908	Hermann Minkowski	四維時空、符號差 (3,1)
1916	Albert Einstein	廣義相對論、重力 = 時空曲率
1918	Hermann Weyl	規範對稱、規範場
1926	Élie Cartan	活動標架、聯絡、微分形式
1936	Hassler Whitney	嵌入定理、向量叢、Sard 定理
1954	John Nash	Nash 等距嵌入定理
1956	John Milnor	怪球面、微分拓樸
1974	Roger Penrose	Penrose 舖磚、準晶體
1976	Kenneth Appel / Wolfgang Haken	四色定理計算機證明
1982	William Thurston	幾何化猜想、八種幾何
1987	Mikhail Gromov	雙曲群、幾何群論
2003	Grigori Perelman	龐加萊猜想、幾何化、Ricci 流