5.3 尺規作圖的代數判決#

本章導言#

古希臘人留下三大幾何難題：化圓為方、三等分任意角、倍立方。兩千年間，無數人（包括不少傑出數學家）宣稱解決了它們，全部失敗。原因不是不夠聰明，而是幾何問題需要代數武器。1796 年 3 月 30 日，十九歲的 Gauss 用尺規作出正十七邊形，震動學界；1837 年，法國數學家 Pierre Wantzel 證明三等分角與倍立方不可能；1882 年 Lindemann 證明 \(\pi\) 是超越數，判死化圓為方。這一節的主題是：把「可否尺規作出」翻譯成「體擴張的次數是否為 2 的冪」——這是 5.1 節體擴張理論最漂亮的應用，也是第 6 章 Galois 理論的前哨戰。

歷史前因後果#

驅動關係值得細看：Gauss 的判準（正 \(p\) 邊形可作 \(\iff p\) 為 Fermat 質數）發表於 Galois 理論誕生之前，他只用體次數論證；Wantzel 則是在研讀 Abel 否定五次方程根式解的工作後，把同樣的「次數障礙」思想搬回幾何。Gauss 的正向結果與 Wantzel 的否定結果，是同一枚代數硬幣的兩面。

尺規作圖的代數化#

先約定規則：尺規作圖只允許（1）過兩已知點作直線，（2）以已知點為圓心、過另一已知點作圓，（3）取直線與直線、直線與圓、圓與圓的交點。從兩點出發，設其距離為單位長。

定義 5.3.1：一個實數 \(c\) 稱為可作的（constructible），若長度 \(|c|\) 的線段可由尺規從單位長作出。

關鍵觀察：直線與直線的交點只用加減乘除（解二元一次聯立）；直線與圓、圓與圓的交點涉及解二次方程，需要開平方。除此之外別無其他操作。 於是：

定理 5.3.2（可作性的刻畫）：實數 \(c\) 可作，當且僅當存在一列體

其中每一步 \(F_{i+1} = F_i(\sqrt{a_i})\) ， \(a_i \in F_i\) ， \(a_i \ge 0\) 。此時 \([\mathbb{Q}(c):\mathbb{Q}]\) 整除 \(2^n\) （特別地，若 \(c\) 可作則 \([\mathbb{Q}(c):\mathbb{Q}]\) 是 2 的冪）。

證明思想：每作一個新點，坐標至多需要對已有量開一次平方，故擴張次數至多翻倍： \([F_{i+1}:F_i] \in \{1, 2\}\) 。由次數的塔式公式（5.1 節）

故 \([\mathbb{Q}(c):\mathbb{Q}]\) 是 2 的冪。 \(\blacksquare\)

這就是次數障礙：要證明某量不可作，只需證明它的最小多項式次數不是 2 的冪。證明「不可能」從此變成機械化的計算。

判決一：倍立方不可能#

倍立方即作出體積為 \(2\) 的立方體之邊長，亦即作出 \(\sqrt[3]{2}\) 。

\(\sqrt[3]{2}\) 的最小多項式是 \(x^3 - 2\) ：它由 Eisenstein 判別法（ \(p=2\) ，回顧 4.3 節）在 \(\mathbb{Q}\) 上不可約。次數為 \(3\) ，不是 2 的冪。

結論： \(\sqrt[3]{2}\) 不可作，倍立方不可能。 \(\blacksquare\)

注意論證的精妙處： \(3\) 不能整除 \(2^n\) ，這一步用到了質數的整除性——古希臘人用尺規做不到的事，被「質因數分解」一句話判死。

判決二：三等分角不可能#

三等分任意角不可能，只需找一個反例角。取 \(\theta = 60°\) ：若 \(60°\) 可三等分，則 \(20°\) 可作，從而 \(\cos 20°\) 可作。

由三倍角公式 \(\cos 3\theta = 4\cos^3\theta - 3\cos\theta\) ，代入 \(\cos 60° = \tfrac12\) ，令 \(c = \cos 20°\) ：

令 \(t = 2c = 2\cos 20°\) ，最小多項式為 \(t^3 - 3t - 1\) （在 \(\mathbb{Q}\) 上不可約，可驗證無有理根）。次數 \(3\) ，不是 2 的冪。

結論： \(60°\) 不能尺規三等分，故「三等分任意角」不可能。 \(\blacksquare\)

要小心的是：某些特殊角當然可以三等分（ \(90°\) 可以，因 \(30°\) 可作）。不可能性定理說的是不存在對一切角度都有效的程序——一個反例即足夠，這正是代數方法的威力：一個計算終結兩千年爭論。

判決三：化圓為方不可能#

化圓為方需要作出長度 \(\sqrt{\pi}\) 。若 \(\sqrt{\pi}\) 可作，則 \(\pi\) 可作（ \(\pi = (\sqrt{\pi})^2\) ），從而 \(\mathbb{Q}(\pi)\) 含於某個 \(2\) -冪次擴張中，故 \([\mathbb{Q}(\pi):\mathbb{Q}]\) 是 2 的冪。但 Lindemann（1882）證明 \(\pi\) 是超越數（transcendental）：它不是任何有理係數多項式的根， \([\mathbb{Q}(\pi):\mathbb{Q}] = \infty\) ，根本不是有限數。

結論：化圓為方不可能。 \(\blacksquare\)

這一判決借用了體論之外的新武器（超越性理論，源於 Hermite 1873 證 \(e\) 超越的方法），再次展示代數判決需要「次數」概念推廣到無限。

正向的勝利：正十七邊形#

同一判準也能判「可以」。Gauss 的結果：

定理 5.3.3（Gauss–Wantzel）：正 \(n\) 邊形可尺規作出，當且僅當

其中 \(p_i\) 為互異的 Fermat 質數（形如 \(2^{2^m}+1\) ： \(3, 5, 17, 257, 65537\) ）。

以 \(n = 17\) 為例：正十七邊形的頂點涉及 \(\zeta = e^{2\pi i/17}\) ， \([\mathbb{Q}(\zeta):\mathbb{Q}] = \varphi(17) = 16 = 2^4\) ，是 2 的冪，故障礙不存在。Gauss 更進一步：他找到 \(\mathbb{Q}(\zeta)\) 中的塔 \(\mathbb{Q} \subset F_1 \subset F_2 \subset F_3 \subset \mathbb{Q}(\zeta)\) ，每步恰好二次，把 \(\cos(2\pi/17)\) 明確寫成巢狀平方根。這個塔是什麼？正是 \(\mathrm{Gal}(\mathbb{Q}(\zeta)/\mathbb{Q}) \cong \mathbb{Z}/16\) 的子群鏈對應的中間體鏈——Gauss 在 Galois 理論誕生前三十年，已經在使用它的核心機制，只是沒有名字。這條線索將在第 6 章正式收編。

具體例題#

例題 5.3.1：證明 \(\cos 20°\) 不可作，但 \(\cos 30°\) 可作；並解釋為何兩者命題形式相同而結論相反。

解：

(1) \(\cos 30° = \frac{\sqrt{3}}{2}\) 。 \(\sqrt{3}\) 的最小多項式 \(x^2 - 3\) 次數為 \(2 = 2^1\) ，可作（作 \(60°\) 角再取半，或直接作 \(\sqrt{3}\) ：以 \(1\) 與 \(2\) 為直角三角形兩直角邊，斜邊為 \(\sqrt{3}\) ……實際上以 \(1\) 、 \(\sqrt{3}\) 、 \(2\) 為邊的三角形， \(\sqrt{3}\) 由 \(2\) 與 \(1\) 的差平方構造）。故 \(\cos 30°\) 可作。

(2) \(\cos 20°\) ：如前， \(t = 2\cos 20°\) 有不可約最小多項式 \(t^3 - 3t - 1\) ，次數 \(3\) ，非 2 的冪，故 \(\cos 20°\) 不可作。

(3) 命題形式相同（「某角可否三等分」），結論相反，原因在最小多項式的次數： \(30° = 90°/3\) 而 \(90°\) 的餘弦 \(\cos 90° = 0\) 太平凡； \(20° = 60°/3\) 而 \(\cos 60° = \frac12\) 誘出了三次不可約多項式。三倍角公式把三次障礙埋進了問題。 \(\blacksquare\)

一個常見誤區#

「次數是 2 的冪」是必要條件，不是充分條件。例如 \(t^4 + t^3 + t^2 + t + 1\) 次數為 \(4\) ，其根 \(\zeta_5\) 確實可作（正五邊形可作，Gauss 之前已知）；但存在四次不可約多項式，其根不可作——因為可作性要求的是存在一列平方根塔到達，而非僅僅次數正確。完整刻畫需要 Galois 理論： \(c\) 可作 \(\iff\) \(\mathbb{Q}(c)\) 的 Galois 閉包的群是 2-群。這一步推廣，正是第 6 章的內容。

與其他領域的關聯#

• 往 6.1–6.3：本節的「平方根塔」是根式塔的特例；Gauss 的正十七邊形塔預演了 Galois 對應。 Wantzel 本人也參與了五次方程故事的收尾（1837 年他簡化並傳播了 Abel 的不可能性證明）。
• 往第 2 章：正十七邊形的可作性，本質上是 \(\mathbb{Z}/16\) 的循環結構；「塔」對應子群鏈 \(\mathbb{Z}/16 \supset \mathbb{Z}/8 \supset \cdots \supset \{e\}\) 。
• 往第 10 章：尺規作圖的次數障礙，與現代密碼學的「計算難度障礙」精神相通——用代數結構證明某類問題原則上無法以某種方式解決。
• 往物理：立方晶格中 \(x^3 - 2 = 0\) 這類三次量的不可作性，在準晶與對稱性破缺研究中有實質幾何後果。

結語#

三大難題的歷史是一場漫長的誤診：兩千年來人們以為問題在「手藝不夠精巧」，實際上問題在領域錯置——這是代數問題，幾何工具永遠無法回答。Wantzel 的判決書只有幾頁，卻關閉了兩千年的案件卷宗。而 Gauss 的十七邊形則展示了同一武器的另一面：代數不只能說「不」，還能說「可以，照這個塔走」。下一章，我們把這個「塔」的思想推到極致，迎來 Galois 理論的正式登場。