跳轉到

1.3 尺規作圖與三大難題#

本章導言#

Euclid 的公設1–3頒發了兩件工具的許可證：無刻度直尺與圓規。古希臘人從這個限制中提煉出三個看似無害的問題——化圓為方、三等分角、倍立方——並用兩千三百年才明白：這三個問題在尺規世界裡無解。證明「不可能」比證明「可能」困難百倍，因為你必須窮盡一切可能的作圖。本節回顧三大難題的歷史，並揭示十九世紀代數如何為幾何作圖戴上精確的手銬。

三大難題的內容與起源#

  1. 化圓為方（squaring the circle）：給定圓，作一正方形使其面積等於圓面積。源自對「曲化直」的普遍渴望——Hippocrates（希俄斯的希波克拉底，約前470–410年）成功「化月牙為方」，激起更大野心。
  2. 三等分任意角（trisection）：給定任意角，將其三等分。平分角易如反掌（尺規基本操作），三等分卻頑抗到底——問題的不對稱性本身就是謎。
  3. 倍立方（doubling the cube）：給定立方體，作一立方體使其體積為兩倍。相傳源自 Delos 瘟疫：神諭要求把 Apollo 祭壇加倍，工匠把邊長加倍，體積卻變成八倍——錯了。故又稱 Delian problem。

另一記載（Eratosthenes）：米諾斯王的陵墓設計者喊道「太小了，加倍它，但不許破壞形狀」——數學問題披著神諭與工程的外衣，這是希臘數學敘事的典型風格。

古希臘的攻堅武器#

尺規不夠用時，希臘人發明瞭更強的機械：

  • 倍立方：Hippocrates 把問題轉譯為「求兩個比例中項」：若 \(a : x = x : y = y : 2a\) ，則 \(x^3 = 2a^3\) 。這個化歸是關鍵一步——把立體問題降為連比例問題。Menaechmus（約前380–320，相傳為 Euclid 之師）隨後發現拋物線與雙曲線的交點給出解： \(y^2 = ax\) 與 \(xy = 2a^2\) 的交點滿足 \(x^3 = 2a^3\) 。圓錐曲線因倍立方而誕生——難題失敗的地方，長出了 Apollonius 的帝國（見 5.2 節）。
  • 三等分角：Hippias（約前420年）發明割圓曲線（quadratrix）；Nicomedes（約前240年）發明蚌線（conchoid）；Archimedes 證明：允許一個「標記直尺」（neusis，滑動帶標記的尺）即可三等分任意角。
  • 化圓為方：Antiphon 與 Bryson 的窮竭思想；Archimedes 的《圓的度量》證明 \(\pi\) 介於 \(3\frac{10}{71}\) 與 \(3\frac{1}{7}\) 之間——他用的「阿基米德螺線」可以化圓為方（在允許螺線的擴充工具下）。

啟示：每個難題都催生了新曲線、新方法——「失敗的問題」是數學最肥沃的土壤。

尺規可作圖量的代數刻畫#

突破在十九世紀到來，靠的是把幾何翻譯成代數（Descartes 的遺產，見 5.1 節）。設初始量為單位 \(1\) ：

定理（Wantzel，1837）：一個實數 \(\alpha\) 可由尺規從初始數域 \(F\) 構造，當且僅當存在一串數域

\[ F = F_0 \subset F_1 \subset F_2 \subset \cdots \subset F_n, \]

其中每步 \(F_{i+1} = F_i(\sqrt{d_i})\) （添加一個平方根），且 \(\alpha \in F_n\) 。等價地： \(\alpha\) 是某個次數為 \(2^m\) 的多項式方程在 \(F\) 上的根，即 \([\,\mathbb{Q}(\alpha): \mathbb{Q}\,] = 2^m\) 。

直觀：直尺解兩個線性方程（交點），圓規解一個線性與一個二次（尺與圓交）或兩個二次（圓與圓交）——每次操作至多開平方。因此尺規作圖只能觸及「 \(2\) 的冪次擴張」能到達的數。

三大難題的處決令#

  • 倍立方：需求 \(x = \sqrt[3]{2}\) ，滿足 \(x^3 - 2 = 0\) 。此多項式在有理數域上不可約（有理根檢驗），故 \([\mathbb{Q}(\sqrt[3]{2}):\mathbb{Q}] = 3\) ，不是 \(2\) 的冪——不可作。Wantzel 1837年證明。
  • 三等分角： \(60°\) 角即可。 \(\cos 20°\) 滿足 \(4t^3 - 3t = \frac12\) ，即 \(8t^3 - 6t - 1 = 0\) ，不可約、次數 \(3\) ——不可作（故 \(60°\) 不能三等分，「任意角」更不可能）。同為 Wantzel 1837年。
  • 化圓為方：單位圓面積為 \(\pi\) ，需求邊長 \(\sqrt{\pi}\) 。1882年 Ferdinand von Lindemann（林德曼，1852–1939） 證明 \(\pi\) 是超越數（不滿足任何有理係數多項式方程），而尺規可作圖量必為代數數——不可作。Lindemann 的證明基於 Hermite 1873 年證 \(e\) 為超越數的方法。

注意殘酷的細節：特定的角（如 \(90°\) ）可以三等分（ \(30°\) 可作），特定的圓與正方形的關係問題問的是一般方法。難題以「任意」為名，一次反例（ \(60°\) ）即全案定讞；化圓為方則需證明 \(\pi\) 超越——三個難題分別需要次數論證、特定反例、超越性證明，難度層層攀升。

正多邊形作圖：Gauss 的少年奇蹟#

尺規可作圖性的正面理論由 Gauss 在1796年（19歲！）建立。他證明正 \(n\) 邊形可作，當且僅當

\[ n = 2^k \, p_1 p_2 \cdots p_s, \]

其中 \(p_i\) 是Fermat 質數（形如 \(2^{2^m} + 1\) 的質數）。這一舉解決了兩千年的懸案：正七邊形、正九邊形不可作，而正十七邊形可作——Gauss 因此選定數學為終身職業，墓碑上刻著十七邊形（實際建於其故鄉 Braunschweig 的紀念碑上）。

已知的 Fermat 質數只有五個： \(3, 5, 17, 257, 65537\) 。 \(2^{32} + 1 = 4294967297\) 被 Euler 分解為 \(641 \times 640037\) ——Fermat 質數是否無窮多至今未解。Gauss 的判據日後被 Wantzel 補全（充分性的必要性方向，1837），理論框架正是域擴張的 \(2\) 冪次。

解析幾何的雙刃劍#

Descartes 1637年的《幾何學》（見 5.1 節）已經給出尺規作圖的代數理論雛形：可作圖量即「可由加減乘除與開平方生成」的量。但 Descartes 相信三大難題只是「尚未找到」解法。從「翻譯」到「判決」還差一步：不可約多項式的次數論證——這一步需要 Galois 理論前的域論雛形（Wantzel、Abel、Ruffini 的三次方程不可解性傳統）。

「不可可能性證明」的哲學意義：古希臘人問「怎麼做」，十九世紀數學回答「為什麼不能」。從建構的數學到界限的數學——證明不可能需要「枚舉所有可能的證明」，這種元層次思考正是二十世紀邏輯學（Hilbert 綱領、Gödel 不完備定理、可計算性理論）的預演。

一個具體例題#

例題 1.3.1：證明 \(60°\) 角不能用尺規三等分。

解：設 \(\cos 60° = \frac12\) 。用三倍角公式：

\[ \cos 3\theta = 4\cos^3\theta - 3\cos\theta. \]

令 \(\theta = 20°\) ， \(3\theta = 60°\) ，記 \(t = \cos 20°\) ，得

\[ \frac12 = 4t^3 - 3t \quad\Longleftrightarrow\quad 8t^3 - 6t - 1 = 0. \]

步驟一：此多項式在有理數上不可約。 設 \(p(x) = 8x^3 - 6x - 1\) 。若有理根必形如 \(\pm\frac{d}{8}\) （ \(d \mid 1\) ），即 \(\pm1, \pm\frac12, \pm\frac14, \pm\frac18\) 。逐一檢驗： \(p(1) = 1\) ， \(p(-1) = -1\) ， \(p(\frac12) = 1 - 3 - 1 = -3\) ， \(p(-\frac12) = -1 + 3 - 1 = 1\) ， \(p(\frac14) = \frac18 - \frac32 - 1 \neq 0\) ， \(p(-\frac14) \neq 0\) ， \(p(\frac18) \neq 0\) ， \(p(-\frac18) \neq 0\) 。無有理根，而三次多項式可約當且僅當有有理根，故 \(p\) 在 \(\mathbb{Q}\) 上不可約，次數為 \(3\) 。

步驟二：次數論證。 若 \(\cos 20°\) 可作，則存在平方根擴張鏈 \(\mathbb{Q} = F_0 \subset \cdots \subset F_n \ni \cos 20°\) ，每次擴張次數乘 \(2\) ，故 \([\mathbb{Q}(\cos 20°):\mathbb{Q}]\) 整除 \(2^n\) ，必為 \(2\) 的冪。但由不可約性 \([\mathbb{Q}(t):\mathbb{Q}] = 3\) ， \(3 \nmid 2^n\) ，矛盾。

步驟三：結論。 \(\cos 20°\) 不可作。若 \(60°\) 可三等分，則由 \(\cos 20°\) 與 \(\sin 20°\) （ \(\sin^2 + \cos^2 = 1\) ，加減乘除與平方根保持可作性）可作出 \(20°\) 角，矛盾。故 \(60°\) 不可三等分，三大難題之二解決。

評注：證明的全部火力集中在「 \(3\) 不是 \(2\) 的冪」這一個算術事實上。幾何問題的判決由整數的整除性執行——這是解析幾何革命最深刻的果實：幾何與算術的統一。

歷史啟示#

  • 限制孕育理論：尺規的束縛不是缺陷而是張力——正是「只許用尺規」的規則，使「作圖理論」成為可能的數學對象。取消限制，問題就消失了。
  • 不可能性證明改變了數學的自我認知：數學不僅能確定「是什麼」，還能確定「什麼永遠做不到」。這種元數學視野，直接通往 Gödel 與 Turing。
  • 跨領域嫁接的威力：三大難題是幾何問題，死刑判決書由代數簽發。十九世紀數學的最大教訓之一：一個領域的僵局，答案常在另一個領域。

與其他章節及領域的關聯#

  • 1.1 節：公設1–3是尺規框架的出處，本節是它的兩千年結算。
  • 1.2 節：第五公設與三大難題並列為「希臘遺產的四大懸案」（第四案是第五公設）——全部在十九世紀解決，全部以「不可能/獨立」或「新幾何」收場。
  • 5.1 節：Descartes 座標是本節代數翻譯的工具來源。
  • 5.2 節：圓錐曲線誕生於倍立方的攻堅。
  • 7.3 節：正多邊形密鋪與正十七邊形作圖同屬「可構造性」的離散面貌。
  • 9.3 節：Morley 定理（角三等分線交成正三角形）與本節形成幽默對照：尺規不能三等分角，但三等分角線卻自組織出絕美的三角形——不可作圖的對象反而擁有驚人的秩序。
  • 抽象代數：域擴張、Galois 理論是本節的現代語言；「可作圖 = \(2\) 冪次擴張」是 Galois 對應最優美的應用之一。
  • 計算機科學：「不可能性證明」的元方法，預示了不可計算性與複雜度理論。

練習#

  1. 證明：給定單位長，可作出 \(\sqrt{2}, \sqrt{3}, \ldots, \sqrt{n}\) （對任意 \(n\) ）。並證明 \(\sqrt{2} + \sqrt{3}\) 可作。
  2. 用三倍角公式證明 \(90°\) 角可以三等分（求 \(\cos 30°\) 並說明其為可作數）。
  3. 證明：若正 \(n\) 邊形可作，則正 \(2n\) 邊形可作；反之若正 \(2n\) 邊形可作且 \(n\) 為奇數，則正 \(n\) 邊形可作。
  4. 檢驗 \(2^{16} + 1 = 65537\) 為質數（提示：只需用不超過 \(\sqrt{65537} \approx 256\) 的質數試除）。
  5. 思考題：Hippocrates 化月牙為方成功，化圓為方失敗。請說明月牙問題與圓問題在本質上的代數差別（月牙面積涉及可作圖量的組合，圓涉及 \(\pi\) ）。

進階研讀：作圖理論的五個深化場景#

場景一：塌折圓規 vs. 搬移圓規。Euclid 用塌折圓規（拿起即散）完成全部作圖，因為 I.2 證明了距離可以搬移。更戲劇性的是 Mohr–Mascheroni 定理（Mohr 1672，Mascheroni 1797）：只用圓規（不用直尺）可完成一切尺規作圖——直線雖然畫不出來，但其上的點可由圓規逐一定位。對偶地，Steiner 定理（1833）：只用直尺 + 一個給定的輔助圓也可完成一切尺規作圖。工具的最小集合研究，是「可計算性 vs. 資源」思想的幾何前身。

場景二：折紙的超越。只允許「折疊」的紙，其作圖能力超過尺規：Humiaki Huzita–Hatori 折疊公理體系（1980s–2000s）包含七條基本折疊操作，其中第6條（同時對兩對點-線做鏡射吻合）可以解三次方程——因此倍立方與三等分角在折紙世界中可解。1980年 Abe Yasu（阿部恒）給出折紙三等分角法。尺規的邊界是二次的，折疊的邊界是三次的——「換工具就是換數學」（參見 8.3 節折紙幾何）。

場景三：neusis 與機械曲線的世界。允許「帶標記滑動直尺」（neusis）後，三等分角與倍立方皆可解；允許割圓曲線或阿基米德螺線，化圓為方也可解（螺線把角度線性化為長度， \(\pi\) 由此變為可作）。這引出層級觀念：工具集 \(\subset\) 可作圖數域的對應表格——尺規（二次域）、折紙（三次域）、neusis（三次域）、機械曲線（超越域）。數學史的「難題」其實是「工具-問題匹配」的錯位。

場景四：超越數的排行榜。Lindemann–Weierstrass 定理（1882–1885）給出一整族超越數：若 \(\alpha_1, \ldots, \alpha_n\) 是互異代數數，則 \(e^{\alpha_i}\) 線性無關——由 \(e^{i\pi} + 1 = 0\) （若 \(\pi\) 代數則 \(i\pi\) 代數，矛盾）立得 \(\pi\) 超越。迄今仍未解的： \(e + \pi\) 、 \(\pi \cdot e\) 、Euler–Mascheroni 常數 \(\gamma\) 的超越性。「化圓為方」判決之後，超越數論自己長成了新大陸。

場景五：可作圖的正十七邊形怎麼作？ Gauss 的理論給出

\[ \cos\frac{2\pi}{17} = \frac{-1 + \sqrt{17} + 2\sqrt{34 - 2\sqrt{17}} + \cdots}{16} \]

型的顯式表達（Richelot 與 Hermes 在十九世紀真的以尺規作出，Hermes 花了十年）。但注意：理論存在性（Gauss）與實際構造（十年苦工）的鴻溝，正是今日數學中「非構造性證明」與「算法」分野的縮影——存在性定理告訴你寶藏在哪座山，算法才給你鏟子。

補充：Hippias 割圓曲線如何三等分角#

割圓曲線由兩種勻速運動合成：半徑以勻角速從 \(AB\) 轉到 \(AD\) （ \(90°\) ），同時水平線以勻速從 \(BC\) 降到 \(AD\) 。軌跡滿足 \(\frac{\angle EAD}{90°} = \frac{EF}{AB}\) 。要三等分角 \(\angle EAD\) ，只須在 \(\frac{EF}{3}\) 高度作水平線交曲線於 \(G\) ，連 \(AG\) 即得——角度被線性化了。批評（Spaurus 等人）：曲線末端的定義涉及「運動終止的瞬時位置」，需要極限概念。這個批評與《微積分》一書 1.1 節的無窮小爭議同源——幾何作圖的哲學困境，再次把數學推向分析基礎。

補充：三大難題與「業餘數學家」現象#

三大難題被證明不可解之後，每年仍有大量「化圓為方者」（circle squarers）投稿「證明」。De Morgan 1872 年《悖論百科》專章記載此現象；法國科學院 1775 年正式決議不再審閱此類稿件。心理學家研究發現 circle squarer 們往往具備一定計算能力但缺乏「證明不可能」的概念。這是科學社會學的經典案例：一個問題「已解」的知識傳播，並不自動終結該問題的社會生命——與永動機、四色定理的計算機證明爭議遙相呼應。

名詞速查表（本節出現的核心術語）#

  • 尺規作圖：僅用無刻度直尺與圓規的構造。
  • 化歸：把問題轉譯為等價的已知形式（如倍立方 \(\to\) 連比例中項）。
  • 割圓曲線（quadratrix）：Hippias 發明的勻速運動合成曲線。
  • 蚌線（conchoid）：Nicomedes 曲線，可三等分角。
  • neusis：允許滑動帶標記直尺的作圖法。
  • 代數數：有理係數多項式的根。
  • 超越數：不是任何有理係數多項式之根的數。
  • 域擴張鏈：逐次添加平方根的數域序列 \(F_0 \subset F_1 \subset \cdots\) 。
  • Fermat 質數：形如 \(2^{2^m}+1\) 的質數。
  • Mohr–Mascheroni 定理：僅用圓規可完成一切尺規作圖。

年表速查（本節涉及的關鍵年份）#

  • 約前430：Hippocrates 化月牙為方。
  • 約前420：Hippias 發明割圓曲線。
  • 約前380：Menaechmus 以圓錐曲線解倍立方。
  • 約前300：Euclid 公設確立尺規框架。
  • 約前240：Nicomedes 蚌線；Archimedes 螺線與 neusis。
  • 約250：Diophantus 時代（算術與幾何分流的遠因）。
  • 1637：Descartes《幾何學》給出可作圖量的代數刻畫雛形。
  • 1796：Gauss 正十七邊形與正多邊形判據。
  • 1797：Mascheroni 圓規幾何（Mohr 1672 先行）。
  • 1833：Steiner 直尺 + 輔助圓定理。
  • 1837：Wantzel 證明倍立方與三等分角不可作。
  • 1873：Hermite 證 \(e\) 超越。
  • 1882：Lindemann 證 \(\pi\) 超越，化圓為方結案。
  • 1980：阿部恒折紙三等分角法。
  • 1980s–2000s：Huzita–Hatori 折疊公理體系。

深化問答三則#

問：為什麼「存在一個不可三等分的角」就足以了結整個難題？ 答：因為難題要求的是一般方法——一個對任意給定角都有效的作圖程序。若該程序存在，它必須對 \(60°\) 有效；而 \(60°\) 已被證明不可三等分，程序不可能存在。這是「全稱命題一例即倒」的邏輯威力。反過來，若歷史上第一個被嘗試的角恰好都可作，兩千年可能仍找不到反例——Wantzel 的貢獻正在於給出系統性的判決框架而非單點檢驗。

問：Galois 理論在本節扮演什麼角色？ 答：本節的證明只用「域擴張次數」的初等部分（Wantzel 1837 年早於 Galois 理論的傳播），但完整的作圖理論需要 Galois 對應來看清「可作圖群是 \(2\) -群」的結構本質。Galois 理論把「次數論證」升級為「群論論證」，同一判決獲得結構性解釋——這是數學中「證明可以加深」的範例：同一結論，淺證與深證的啟示截然不同。

問：三大難題的解決是否貶低了古希臘數學？ 答：恰恰相反。古希臘人提出問題時就自覺地劃定了規則（尺規限制、演繹證明），使兩千年後的數學家能夠精確地證明「在這套規則下無解」。若無規則的嚴格性，「不可能性」根本無法定義。提出可精確回答的問題，比給出答案更根本——這是希臘遺產最深的饋贈。

（本節完）