1639 - Desargues《射影幾何論著》（在消失的遠點上重逢）#

案件摘要#

1639 年，17 歲的法國工程師 Gérard Desargues 在全文只有 16 頁的小冊子中，論證了透視幾何的第一個重大定理：

\[ \text{兩個透視三角形的「軸」} = \text{三組對應边的交點共線}. \]

這就是 Desargues 定理：在真實的歐氏幾何中成立。它看起來平淡無奇，但 Desargues 隱約預見了射影幾何—— 一種「無窮遠也是點」的幾何學，此後 250 年由 Mobius、von Staudt、Klein 接力完成。

前因 -- 為什麼會有這個案子#

透視繪畫的工程問題（1500–1630）：文藝復興的藝術家（Alberti、Dürer）用線性透視 畫出空間的真實感（見 IC科技/ 與 電腦軟硬體/ 中的透視相關條目）。但透視的數學基礎是什麼？ 藝術家知道「怎麼畫」，不知道「為什麼」。
Desargues 的雙重身分（數學 × 工程）：
工程師： bridges 建造者、水壩設計師——必須精確預測「投影與交點」。
數學家：讀了 Pappus 的數學遺稿（希臘化時期 Alexandrian 幾何的最後一頁）。

\[ \text{Deargues} = \text{橋樑工程師} \cap \text{Pappus 幾何遺稿的讀者}. \]

Pappus 的啟示（公元 300 左右）： Pappus 的《數學集大成》(Collection) 第 7 卷記載了一個奇蹟—— 在圓錐曲線上的 Pappus 定理：對應點的連線共點， 即使這些點已經「跑到無窮遠」——這暗示了「無窮遠點」的存在。
Desargues 的核心問題：

\[ \text{「三維空間中的兩個三角形，在二維投影中會對應成怎樣？」} \]

線索與推理 -- 數學式、程式、理論#

第一條線索：Desargues 定理（透視三角形的軸）#

設三角形 \(ABC\) 與 \(A'B'C'\) 在中心投影下對應（即 \(AA', BB', CC'\) 共點於 \(P\) ）。則對應邊的交點：

\[ X = BC \cap B'C', \qquad Y = CA \cap C'A', \qquad Z = AB \cap A'B' \]

共線（這條線稱為「軸」axis of perspectivity）：

\[ \boxed{X, Y, Z \text{ 共線}} \]

第二條線索：對偶原理（duality，Desargues 的隱含貢獻）#

Desargues 定理有對偶版本：

\[ \text{若 } X,Y,Z \text{ 共線} \quad \Longrightarrow \quad AA', BB', CC' \text{ 共點}. \]

\[ \text{點} \longleftrightarrow \text{線}, \quad \text{共線} \longleftrightarrow \text{共點}. \]

對偶原理是射影幾何的核心結構——它預示了 19 世紀的極性（polarity）理論。

第三條線索：射影幾何的「刪除無窮遠」不變性#

射影變換（ \(3\times3\) 矩陣作用於齊次座標）在仿射圖上被丟棄了「無窮遠線」（line at infinity）：

\[ \text{透視投影} \simeq \text{把 } z=0 \text{ 壓縮成一條線（無窮遠線）}. \]

仿射幾何：保留無窮遠線 → 平行線保持平行（歐氏幾何的「無窮遠概念」）。
射影幾何：丟棄無窮遠線 → 所有平行線族「相交於無窮遠點」：

\[ y = mx + b_1,\quad y = mx + b_2 \quad \xrightarrow{\text{射影}} \quad \text{交於 } [1:m:0]. \]

這是「無窮遠點」的數學表達。

理論與數學式：Desargues 定理與對偶原理#

Desargues 定理：設 \(\triangle ABC\) 與 \(\triangle A'B'C'\) 的對應頂點連線 \(AA'\) 、 \(BB'\) 、 \(CC'\) 共點 \(P\) （「透視中心」），則對應邊的交點

\[ X = BC \cap B'C', \qquad Y = CA \cap C'A', \qquad Z = AB \cap A'B' \]

必定共線（這條線稱為「透視軸」，axis of perspectivity）。

證明（三維透視法，Desargues 的原始直覺）：把圖形想成空間中兩個不共面的三角形 \(\Pi\) 與 \(\Pi'\) 。三對對應邊各是兩平面上直線的交線： - \(BC\) 與 \(B'C'\) 交於 \(X\) ，而 \(X \in \Pi \cap \Pi'\) ； - 同理 \(Y, Z \in \Pi \cap \Pi'\) 。

兩平面的交集是一條直線，故 \(X, Y, Z\) 共線。回到平面圖形時，這條線就是透視軸。 \(\blacksquare\)

齊次座標的代數驗證：點 \([x:y:1]\) 、直線以齊次向量 \(l = [a:b:c]\) 表示，兩直線的交點是外積 \(l \times m\) ，三點共線化為行列式為零：

\[ \det\begin{pmatrix} X_1 & X_2 & 1 \\ Y_1 & Y_2 & 1 \\ Z_1 & Z_2 & 1 \end{pmatrix} = 0. \]

齊次座標讓「平行線交於無窮遠點」只是 \(z = 0\) 的點——代數完全不需要例外處理。

對偶原理：把「點」與「直線」互換，命題自動反轉—— 「對應邊交點共線 \(\Leftrightarrow\) 對應頂點連線共點」。 在射影幾何裡，定理成對出現——這是 Desargues 之後射影幾何的方法論核心。

結案 -- 後果與影響#

Desargues 的命運（生前無人重視）：《射影幾何論著》（Brouillon projeté d'une Théorie des Sections de cône et des Means Harmoniques, 1639）在他生前幾乎無人閱讀——因為他用簡短的意大利文寫，讀者難以理解。他本人在 1660 年代才被 Pascal 重新發掘。
射影幾何的百年沉寂（1639–1800）：射影定理（Pascal, Brianchon）孤立存在，幾何學的主流是歐氏與解析幾何。 1820s 之後，射影幾何才被 von Staudt 系統化。
射影幾何是「更深層的幾何」：射影不區分圓錐曲線的不同類型：

\[ \text{圓} \cong \text{橢圓} \cong \text{拋物線} \cong \text{雙曲線} \quad \text{（射影同構）}. \]

在歐氏幾何中它們是四類，在射影幾何中它們是同一類—— 這個「更弱的幾何」反而揭示了更深的對稱。 - Desargues 定理的關鍵地位：

\[ \text{Desargues 定理在射影幾何中成立} \Longleftrightarrow \text{「實數域」是「形式的實閉有序域」}. \]

這意味著：要定義「平行公設」的射影版本，必須用「實閉域」—— Desargues 定理的成立正是「實數」作為一個代數結構的最深定理之一。 - Klein 的艾爾朗根計畫（1872）：Desargues 的工作成為「射影群 = 對稱群」的起點。 - 歷史定位：Desargues 一個 16 頁的小冊子，開啟了「不改變任何東西」的幾何學—— 從「我們看到的世界」到「不變的關係」，幾何學從此有了兩層：歐氏的（度量）與射影的（結構）。

關鍵人物與文獻#

G. Desargues：Brouillon projeté d'une Théorie des Sections de cône (1639)；Desargues 定理、對偶原理。
Pappus：《數學集大成》(Collection, 300 AD)；Pappus 定理。
A. (Pascal) B. (Pascal) B. Pascal：Pascal 定理 (1640)；重發現 Desargues（1660s）。
G. von Staudt：射影幾何公理化 (1847)。
相關案件：1637-笛卡兒解析幾何.md、1872-克萊因艾爾朗根計畫.md。