為什麼五次方程無解公式，卻又一定有解？Galois 的對稱性革命

為什麼五次方程「無解公式」，卻又「一定有解」？

入門篇帶我們走過從巴比倫的配方法到 Cardano 三次公式的千年旅程，最後停在那道著名的禁令前：五次以上的一般多項式方程，沒有用根式（radicals，加減乘除與開方）寫出的求根公式。

但這裡藏著一個讓初學者困惑的矛盾。代數基本定理（Fundamental Theorem of Algebra）告訴我們：任何 $n$ 次複係數多項式，在複數域中恰好有 $n$ 個根（計重根）。所以五次方程明明「一定有五個解」，怎麼又「沒有求解公式」？

答案是：「解存在」和「能用根式寫出來」是兩回事。 $x^5 - x - 1 = 0$ 確實有一個實根，大約是 $1.1673\ldots$，但這個數字無法用任何有限層的加減乘除與開方表達。它存在，卻「無法被根式捕捉」。

要真正理解這句話，我們得進入 Galois 提出的革命性視角：不要研究根本身，去研究根之間的「對稱性」。 這篇文章假設你已經熟悉多項式的基本運算與低次求根公式，我們將直接切入這個對稱性的核心。

從「根」轉向「根的對稱性」

Galois 的關鍵洞見是：與其盯著每個根的數值，不如觀察「哪些根可以互換而不破壞它們之間的代數關係」。

舉個直觀的例子。$x^2 - 2 = 0$ 的兩根是 $\sqrt{2}$ 與 $-\sqrt{2}$。如果你只用有理數寫下關於這兩根的等式——例如「兩根之和為 $0$」「兩根之積為 $-2$」——那麼把 $\sqrt{2}$ 和 $-\sqrt{2}$ 整個對調，所有等式依然成立。有理數無法區分這兩個根，它們是「代數上的雙胞胎」。

這種「保持所有有理係數關係不變的根置換」構成一個群（group），稱為這個多項式的 Galois 群（Galois group）。對 $x^2-2$ 而言，它的 Galois 群是 $\{\text{恆等}, \text{對調}\}$，同構於 $\mathbb{Z}/2\mathbb{Z}$。

關鍵的轉譯是：

$$ \text{方程能否用根式求解} \;\Longleftrightarrow\; \text{它的 Galois 群是否「可解（solvable）」} $$

「可解群」是一個純粹的群論概念，意思是這個群能被拆解成一連串「層層交換（abelian）」的商。每一次「開 $k$ 次方」這個動作，對應的正是在群結構上剝掉一層交換的皮。如果群能被一路剝乾淨，方程就有根式解；剝不乾淨，就沒有。

為什麼偏偏卡在「五」？

二、三、四次方程之所以有公式，是因為它們對應的 Galois 群（一般情形是對稱群 $S_2, S_3, S_4$）全都是可解群。$S_4$ 有一條漂亮的下降鏈：

$$ S_4 \;\triangleright\; A_4 \;\triangleright\; V_4 \;\triangleright\; \{e\} $$

其中每一步的商群都是交換群（$\mathbb{Z}/2$、$\mathbb{Z}/3$、$\mathbb{Z}/2\times\mathbb{Z}/2$）。這條鏈正是四次公式存在的群論「化石證據」。

到了五次，一般五次方程的 Galois 群是 $S_5$。而 $S_5$ 內部藏著 $A_5$——五個元素的交錯群（alternating group）。$A_5$ 有 $60$ 個元素，而且它是單群（simple group）：除了自己和單位元，沒有任何非平凡的正規子群。

$$ A_5 \text{ 是非交換的單群} \;\Longrightarrow\; A_5 \text{ 不可解} \;\Longrightarrow\; S_5 \text{ 不可解} $$

一個非交換的單群無法被拆成更小的交換層——它像一塊無法再分割的「對稱結晶」。這就是「五」這道牆的真身：不是計算太難，而是對稱結構本質上太「剛硬」。$A_5$ 也恰好是正二十面體的旋轉對稱群，幾何與代數在此奇妙交會。

值得強調的：這不是說「每一個」五次方程都無根式解。$x^5 - 2 = 0$ 的根就是 $\sqrt[5]{2}$ 乘上單位根，當然有根式解。Abel–Ruffini 定理說的是「一般五次方程沒有統一的公式」，也就是不存在一個對所有五次方程都適用的根式公式。具體某個方程是否可解，取決於它「自己」的 Galois 群。

看一個例子：判定一個五次方程不可解

考慮

$$ f(x) = x^5 - 4x + 2. $$

我們用兩步論證它的根無法用根式表達。

第一步：$f$ 在 $\mathbb{Q}$ 上不可約（irreducible）。 套用 Eisenstein 判準（Eisenstein's criterion），取質數 $p=2$：常數項 $2$ 與中間係數 $-4$ 都被 $2$ 整除，最高次係數 $1$ 不被 $2$ 整除，且常數項 $2$ 不被 $2^2=4$ 整除。條件全部滿足，故 $f$ 不可約。這保證它的 Galois 群在五個根上「遞移作用（transitive）」，因此群的階數被 $5$ 整除，必含一個 5-循環。

第二步：數實根的個數。 求導：

$$ f'(x) = 5x^4 - 4 = 0 \;\Longrightarrow\; x = \pm\left(\tfrac{4}{5}\right)^{1/4} \approx \pm 0.946. $$

只有兩個臨界點。檢查函數值：

$$ \begin{aligned} f(-0.946) &\approx (-0.946)^5 - 4(-0.946) + 2 \approx -0.758 + 3.784 + 2 = 5.03 > 0,\\ f(0.946) &\approx 0.758 - 3.784 + 2 = -1.03 < 0. \end{aligned} $$

一個局部極大為正、局部極小為負，加上 $x\to\pm\infty$ 時 $f\to\pm\infty$，由勘根可知 $f$ 恰有 三個實根、一對共軛複根。

收尾： 複共軛（complex conjugation）把那兩個複根對調、固定三個實根，這正是一個「兩兩對調」的對換（transposition），落在 Galois 群裡。一個遞移的子群（含 5-循環）同時又含一個對換——群論的標準結果是：含 5-循環與一個對換的 $S_5$ 遞移子群，必為整個 $S_5$。而 $S_5$ 不可解，故 $f(x)=x^5-4x+2=0$ 的根無法用根式表達。

這是極漂亮的一招：我們完全沒去求那些根，只靠「不可約 + 數實根個數」就鎖死了它的對稱型態。

既然沒有公式，數值上怎麼辦？

理論宣判「無根式解」並不等於「無解可算」。工程與科學裡，我們需要的是數值近似，而這裡有遠比高中所學更深的內容。

最經典的迭代法是 Newton 法（Newton's method）：

$$ x_{n+1} = x_n - \frac{f(x_n)}{f'(x_n)}. $$

它在單根附近是二次收斂（quadratic convergence）——每迭代一次，正確位數大致翻倍。但它有兩個常被忽略的陷阱：

1. 重根會退化收斂。 若 $r$ 是 $m$ 重根，$f$ 與 $f'$ 在 $r$ 同時為零，Newton 法只剩線性收斂，每步誤差大約乘上 $\frac{m-1}{m}$。補救法是改迭代 $u(x)=f(x)/f'(x)$（它把 $m$ 重根變單根），或用修正式 $x_{n+1}=x_n - m\,f(x_n)/f'(x_n)$。

2. 初值決定命運。 Newton 法的「吸引盆地（basin of attraction）」在複平面上是著名的碎形——初值差之毫釐，收斂到的根可能謬以千里。

動手試試：用 Newton 法逼近 $x^5 - x - 1 = 0$

這個方程的實根無根式表達，但數值上唾手可得。取 $f(x)=x^5-x-1$，$f'(x)=5x^4-1$，初值 $x_0=1.2$：

$$ \begin{aligned} x_1 &= 1.2 - \frac{1.2^5 - 1.2 - 1}{5\cdot 1.2^4 - 1} = 1.2 - \frac{0.28832}{9.368} \approx 1.16922,\\[4pt] x_2 &\approx 1.16922 - \frac{0.00532}{8.3175} \approx 1.16730,\\[4pt] x_3 &\approx 1.167304\ldots \end{aligned} $$

短短三步，已逼近到 $1.1673039\ldots$，正確位數迅速翻倍——這就是二次收斂的威力。理論上「不可寫」的數，實務上幾步就「算得準」。

實務軟體（如 NumPy 的 numpy.roots）甚至不直接迭代多項式，而是構造該多項式的伴隨矩陣（companion matrix），把「求根」轉化成「求特徵值（eigenvalue）」，再用成熟穩定的 QR 演算法處理。對 $p(x)=x^n + c_{n-1}x^{n-1}+\cdots+c_0$，其伴隨矩陣為

$$ C = \begin{pmatrix} 0 & 0 & \cdots & 0 & -c_0\\ 1 & 0 & \cdots & 0 & -c_1\\ 0 & 1 & \cdots & 0 & -c_2\\ \vdots & & \ddots & & \vdots\\ 0 & 0 & \cdots & 1 & -c_{n-1} \end{pmatrix}, $$

其特徵多項式恰為 $p(x)$。這也是「代數問題化為線性代數問題」的經典範例。

重根、判別式與多項式的「指紋」

如何在不求根的情況下，知道一個多項式有沒有重根？答案藏在判別式（discriminant）裡，它是入門篇二次判別式 $b^2-4ac$ 的高次推廣。

更基本的工具是最大公因式（GCD）：$f$ 有重根 $\iff \gcd(f, f')$ 不是常數。因為重根同時是 $f$ 與 $f'$ 的根。把 $f$ 除以 $\gcd(f,f')$，就能得到「去除重根、保留每個相異根一次」的 squarefree 部分——這在符號計算與精確求根中是不可或缺的前處理。

判別式 $\Delta$ 則可由結式（resultant）$\Delta = \frac{(-1)^{n(n-1)/2}}{a_n}\operatorname{Res}(f,f')$ 算出，它是係數的多項式，$\Delta = 0$ 當且僅當有重根。對三次 $x^3+px+q$，

$$ \Delta = -4p^3 - 27q^2, $$

其符號還能判別實根個數：$\Delta>0$ 三個相異實根，$\Delta<0$ 一實根加一對共軛複根，$\Delta=0$ 有重根。判別式是不求根就能讀出根之結構的「指紋」。

重點回顧

• 存在 $\ne$ 可寫：代數基本定理保證 $n$ 次方程有 $n$ 個複根；Abel–Ruffini 定理則說一般五次以上方程的根無法用根式表達。兩者並不矛盾。
• 核心轉譯：方程可用根式求解 $\iff$ 其 Galois 群可解。把「求根」問題翻譯成「群的對稱結構」問題，是 Galois 理論的靈魂。
• 「五」的關鍵：$A_5$ 是最小的非交換單群、不可解，導致 $S_5$ 不可解。這是結構性障礙，與計算難度無關。
• 個別 vs 一般：$x^5-2=0$ 有根式解；Abel–Ruffini 否定的是「對所有五次方程通用的公式」，個別方程仍須看自己的 Galois 群。
• 無公式不等於無解：Newton 法（單根二次收斂）與伴隨矩陣特徵值法，讓「不可寫」的根在數值上輕鬆求得。

深入探討（研究所視角）

Galois 對應與域擴張。 嚴格地說，給定一個多項式 $f \in \mathbb{Q}[x]$，令 $K$ 為其分裂域（splitting field，把所有根添加進來得到的最小域），則 Galois 群 $\operatorname{Gal}(K/\mathbb{Q})$ 是 $K$ 上固定 $\mathbb{Q}$ 的自同構群。Galois 基本定理建立了一個反序的一一對應：

$$ \{\,K/\mathbb{Q} \text{ 的中間域}\,\} \;\longleftrightarrow\; \{\,\operatorname{Gal}(K/\mathbb{Q}) \text{ 的子群}\,\} $$

域越大對應子群越小，且正規子群恰對應正規（Galois）子擴張。根式可解性於是被刻畫為：存在一條域塔 $\mathbb{Q}=F_0 \subset F_1 \subset \cdots \subset F_m \supseteq K$，每一步 $F_{i+1}=F_i(\sqrt[k_i]{a_i})$，對應到群側就是一條商皆為循環群的正規列——即「可解群」的定義。整個 Abel–Ruffini 因此化為一句話：$S_n$ 在 $n\ge 5$ 時不可解。

逆 Galois 問題（Inverse Galois Problem）。 反過來問：給定任意有限群 $G$，是否總存在一個 $\mathbb{Q}$ 上的多項式，其 Galois 群恰為 $G$？這個問題至今未完全解決。已知所有可解群（Shafarevich 定理）與所有對稱群、交錯群、多數有限單群皆可實現，但一般情形仍懸而未決，是現代數論的核心難題之一。

有限域上的對照。 在有限域 $\mathbb{F}_q$ 上，故事截然不同：每個有限體擴張的 Galois 群都是循環群，由 Frobenius 自同構 $x\mapsto x^q$ 生成。這使得有限域上的多項式分解（如 Cantor–Zassenhaus 演算法）有高效的隨機演算法，成為現代密碼學（橢圓曲線、AES 的 $\mathbb{F}_{2^8}$ 運算）與糾錯碼（Reed–Solomon code）的代數基石。同一套多項式語言，在不同的域上展現出全然不同的對稱風景。

通往 Langlands 的遠景。 Galois 群並非故事的終點。把單一多項式的有限 Galois 群，擴張為整個 $\mathbb{Q}$ 的絕對 Galois 群 $\operatorname{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$，再透過它在各種「表示（representation）」上的作用，便進入 Langlands 綱領（Langlands program）——當代數論最宏大的願景，連結了 Galois 表示、自守形式（automorphic forms）與 $L$-函數。Wiles 證明費馬最後定理的核心，正是這條 Galois 表示與模形式之間的橋。一個從「五次方程能不能解」出發的少年問題，最終長成了二十一世紀數學的主幹之一。