伽羅瓦對應與 Abel-Ruffini 定理：為什麼五次方程式沒有公式解？

\[\require{physics}\]

上一篇證明了：一個數能不能尺規作圖，取決於 $[\mathbb{Q}(\alpha):\mathbb{Q}]$ 是不是 $2$ 的冪。$\cos20^\circ$ 的次數是 $3$，所以不可作——但這留下一個更深的問題：

$\cos20^\circ$ 雖然不可作，它是否還能用某種「更廣義的根式」（例如卡丹公式裡允許出現的複數立方根）表示？

答案要看一件事：方程 $8x^3-6x-1=0$ 的三個根之間，可以怎麼互換，而所有有理係數的代數關係仍然成立？這個問題，就是伽羅瓦理論（Galois theory）的起點。它把「一個方程能不能用根式解」這個古典代數問題，翻譯成「一個群是不是可解群」這個群論問題——而群、環、體的概念地圖裡的「阿貝爾群」，會在這裡扮演關鍵角色。

---

一、直覺起點：根的「對稱性」

考慮最簡單的例子 $x^2-2=0$，根是 $\pm\sqrt2$。

假設你活在一個只認識有理數的世界——這兩個根在代數上無法區分：任何只用有理數係數寫出的等式，把 $\sqrt2$ 換成 $-\sqrt2$ 仍然成立（例如 $(\sqrt2)^2=2$ 換成 $(-\sqrt2)^2=2$，照樣對）。

這個「交換 $\sqrt2\leftrightarrow-\sqrt2$，同時保持所有有理運算規則」的操作，就是一個伽羅瓦群元素。對 $x^2-2$，這個群是

\[\{\text{恒等},\ \text{交換}\}\cong\mathbb{Z}/2\mathbb{Z}\]

核心想法：方程的「對稱程度」決定了它能不能用根式解。$x^2-2$ 只有一種非平凡的對稱（交換兩根），群很小、很簡單——所以有二次公式。當對稱結構變得太複雜時，公式就會消失。

---

二、正式架構：分裂域與伽羅瓦群

對一個多項式 $f(x)\in\mathbb{Q}[x]$：

1. 分裂域（splitting field） $K$：把 $f$ 所有根都「加進去」後得到的最小體。例如 $f=x^2-2$ 的分裂域是 $\mathbb{Q}(\sqrt2)$；$f=x^3-2$ 的分裂域則需要同時加入 $\sqrt[3]2$ 與一個複數立方根單位 $\omega$，是 $\mathbb{Q}(\sqrt[3]2,\omega)$。

2. 伽羅瓦群 $\mathrm{Gal}(K/\mathbb{Q})$：所有「保持 $\mathbb{Q}$ 中每個數不動、但允許把 $f$ 的根互相對換」的體自同構，所組成的群。群中每個元素都是一種「對稱操作」，群的運算就是操作的複合。

對於 $\theta=\dfrac{180^\circ}{n}$（分圓問題），$\mathrm{Gal}(\mathbb{Q}(\cos\theta)/\mathbb{Q})$ 的大小與歐拉函數 $\varphi(n)$ 直接相關——這正是上一篇 Gauss–Wantzel 定理裡，條件最終歸結到 $\varphi(n)$ 是否為 $2$ 的冪、進而導出費馬質數條件的真正來源。

---

三、伽羅瓦對應（Galois correspondence）

伽羅瓦理論最美的部分，是一個完美的雙射、順序反轉的對應：

\[\{\text{中間體 }\mathbb{Q}\subseteq E\subseteq K\}\quad\longleftrightarrow\quad\{\text{子群 }H\leq\mathrm{Gal}(K/\mathbb{Q})\}\]

直覺理解：

• 體越大 $\leftrightarrow$ 群越小——加入越多的數，能保持「不動」的對稱操作就越少
• 體的塔（$\mathbb{Q}\subseteq E\subseteq K$）對應群的子群鏈（${e}\leq H\leq\mathrm{Gal}(K/\mathbb{Q})$），但方向相反
• 上一篇的塔定理 $[K:\mathbb{Q}]=[K:E][E:\mathbb{Q}]$，在群這一側對應的是拉格朗日定理：子群的階整除群的階

這意味著：研究一個體擴張的「塔」結構，等價於研究一個有限群的「子群鏈」結構——而有限群的子群鏈，遠比無窮多種可能的體擴張容易分類。這就是伽羅瓦理論的威力：把分析問題變成有限的組合問題。

---

四、可解群與「根式可解」的真正意思

4.1 可解群（solvable group）的定義

一個群 $G$ 稱為可解群，如果存在一串子群

\[\{e\}=G_0\trianglelefteq G_1\trianglelefteq\cdots\trianglelefteq G_n=G\]

使得每個商群 $G_{i+1}/G_i$ 都是阿貝爾群（交換群）。

換句話說：$G$ 雖然整體上可能不交換，但可以被「逐層拆解」成一串交換的小片段——就像群、環、體的概念地圖裡介紹的商群 $G/N$，每一層都比原來「更簡單」。

4.2 伽羅瓦大定理

\[\boxed{f(x)=0\ \text{可用根式表示}\iff\mathrm{Gal}(K/\mathbb{Q})\ \text{是可解群}}\]

• $n\leq4$ 的方程：伽羅瓦群必為對稱群 $S_n$ 的子群，而 $S_2,S_3,S_4$ 都是可解群——這就是為什麼有二次公式、卡丹三次公式、費拉里四次公式
• $n\geq5$：存在五次多項式（例如 $x^5-4x+2$），其伽羅瓦群正是 $S_5$。而 $S_5$ 不是可解群——它的正規子群 $A_5$（偶排列）是一個非交換的單群（沒有非平凡正規子群），無法再往下拆解。所以 $S_5$ 不可能有一串「逐層交換」的子群鏈。

這就是 Abel–Ruffini 定理：一般五次（及更高次）方程式不存在用 $+,-,\times,\div,\sqrt[n]{\phantom{x}}$ 表示的通用公式。注意這不是說「五次方程無解」（複數域裡當然有 $5$ 個根），也不是說「每個五次方程都不能用根式解」（特殊的、可約的五次方程仍可能可解）——而是說不存在一個對所有五次方程都適用的公式，就像二次公式那樣。

---

五、回頭看 $\cos20^\circ$：可解，但不可作

現在可以完整回答開頭的問題了。$\cos20^\circ$ 滿足不可約三次方程 $8x^3-6x-1=0$，分裂域 $K$ 同時包含 $\cos20^\circ,\cos140^\circ,\cos260^\circ$（三個實根）。它的伽羅瓦群

\[\mathrm{Gal}(K/\mathbb{Q})\cong\mathbb{Z}/3\mathbb{Z}\]

是一個循環群——而循環群一定是阿貝爾群，阿貝爾群當然是可解群（取 $G_0={e},G_1=G$ 即可，$G_1/G_0=G$ 本身就是阿貝爾群）。

所以根據伽羅瓦大定理，$8x^3-6x-1=0$ 是可以用根式解的——卡丹公式確實給出 $\cos20^\circ$ 的根式表達式。但這正是上一篇提到的 casus irreducibilis（不可約情形）：卡丹公式裡會出現形如 $\sqrt[3]{a+bi}$ 的複數立方根，三個複數立方根虛部互相抵消後，結果才變回實數 $\cos20^\circ$。

兩個判準在這裡分道揚鑣：

判準	$\cos20^\circ$ 的結果	原因
尺規作圖（可作性）	❌ 不可作	$[\mathbb{Q}(\cos20^\circ):\mathbb{Q}]=3\neq2^k$
根式可解（伽羅瓦）	✅ 可解	$\mathrm{Gal}(K/\mathbb{Q})\cong\mathbb{Z}/3\mathbb{Z}$ 是可解群（甚至是阿貝爾群）

可作性比「根式可解」嚴格得多：可作性要求伽羅瓦群是2-群（階為 $2$ 的冪），而根式可解只要求群是可解群——可解群的範圍遠大於 2-群（例如 $\mathbb{Z}/3\mathbb{Z}$ 可解但不是 2-群）。這正是「$\cos20^\circ$ 有根式公式，但這個公式無法化簡成純實數平方根」這個現象的群論本質。

---

小結：一張統一地圖

概念	直覺	形式判準
尺規可作	每步只能解二次方程	$[\mathbb{Q}(\alpha):\mathbb{Q}]=2^k$，即伽羅瓦群是 2-群
三等分角	一般等價於解不可約三次方程	次數 $3\nmid2^k$，不可作（但伽羅瓦群 $\mathbb{Z}/3\mathbb{Z}$ 仍可解）
正五邊形／$108^\circ$	$5$ 是費馬質數	$\varphi(5)=4=2^2$，可作
伽羅瓦群 $\mathrm{Gal}(K/\mathbb{Q})$	根的「可交換對稱」結構	體擴張塔 $\leftrightarrow$ 子群鏈（伽羅瓦對應）
根式可解	對稱結構可逐層拆成交換群	伽羅瓦群為可解群
五次方程無公式	$S_5$ 對稱太複雜，拆不開	$A_5$ 是非交換單群，$S_5$ 不可解（Abel–Ruffini）

從特殊角三角函數的根式表達的一個具體計算問題出發，經過尺規作圖可作性的幾何分析，最後抵達伽羅瓦理論——這條路線本身就是數學史的縮影：19 世紀數學從「能不能算出來」轉向「結構上有沒有可能」，而答案往往藏在一個看起來毫不相關的群裡。

還有問題嗎？
→ 歡迎預約家教課，直接針對你的問題討論