跳轉到

6.2 五次方程無根式解 1824 年 ABEL#

本章導言#

從 1545 年 Cardano 的《大術》發表三、四次方程解法起，一代代數學家衝擊五次方程，兩百七十九年全軍覆沒。1799 年，二十二歲的挪威人 Ruffini（其實他 1765 年生，當年 34 歲）發表了一個有漏洞的否定性證明；1824 年，二十二歲的 Niels Henrik Abel 自費印行六頁小冊，補全了證明：一般五次方程沒有根式解。1832 年，Galois 更進一步，指出哪些具體方程可解、哪些不可解，並給出判準。這一節講述這場「不可能性」的革命：它標誌著代數的目標從「找出公式」轉向「證明界限」——知道什麼做不到，與知道怎麼做，同樣是知識。

歷史前因後果#

人物 年代 事件
Cardano / Ferrari 1545 三次、四次方程根式解
Tschirnhaus 1683 嘗試以變換消元解五次，失敗
Lagrange 1770–71 《關於方程代數解法的思考》：系統檢視一切已知解法，發現置換是關鍵，預言五次之牆
Paolo Ruffini 1799 發表否定性證明，含漏洞（未證明某類函數不能取少於 5 個值）
Abel 1824 自費出版《論代數方程》，證明一般五次方程無根式解；1826 年在 Crelle 期刊重刊
Galois 1832 給出完整判準：群可解 \(\iff\) 可根式解

驅動關係：Lagrange 的統一檢視是分水嶺——他把三次、四次解法都寫成「降次依賴於置換不變函數」，使「為什麼五次失敗」第一次成為可精確陳述的問題。Abel 站在 Lagrange 的肩上；Galois 站在 Abel 的肩上，並把問題翻譯進第 6.1 節的對應語言。

什麼叫「根式解」#

定義 6.2.1：係數在 \(F\) 中的方程稱為根式可解（solvable by radicals），若它的根可以由係數出發，經有限次加、減、乘、除與開 \(n\) 次方得到。

形式化地：存在根式塔

\[ F = F_0 \subset F_1 \subset \cdots \subset F_m, \qquad F_{i+1} = F_i(\sqrt[n_i]{a_i}),\ a_i \in F_i, \]

使方程的分裂體含於 \(F_m\) 。

注意「一般五次方程」的含義：係數為獨立變元 \(a, b, c, d, e\) 的方程 \(x^5 + ax^4 + bx^3 + cx^2 + dx + e = 0\) 。說它無根式解，是說不存在對一切係數有效的公式；個別五次方程當然可能有根式解（如 \(x^5 - 2 = 0\) ，解即 \(\sqrt[5]{2}\) ）。

ABEL 的證明思想#

Abel 的論證（沿 Lagrange 的框架改造）大致如下，分三步：

第一步（Lagrange 遺產）：設五次方程的根 \(x_1, \dots, x_5\) 能寫成根式表達式。由根式塔的結構，任何一個根式表達式都可以改寫成「根的有理函數的根式」之巢狀結構。設最頂層的根式是 \(\sqrt[n]{\theta(x_1,\dots,x_5)}\) 。

第二步（Abel 引理）：若一個有理函數 \(\theta(x_1, \dots, x_5)\) 的 \(n\) 次方根可以添加進來幫助解方程，則可以要求 \(\theta\) 在某些置換下取值不變。Abel 證明：若根置換中保持 \(\theta\) 不變的置換群含有足夠多的元素，則根的對稱性被鎖死在特定形式。

第三步（矛盾）：五次方程的根作為對稱群 \(S_5\) （120 元素）作用。Abel 論證根式塔每上一層，允許的置換群「縮小」的方式受到嚴格限制——頂層添加 \(\sqrt[n]{\theta}\) 只能經由 \(\theta\) 的值域分解。對五次方程，逐步拆解後會要求存在一個恰取 \(5\) 個值的函數 \(\phi\) （即 \(\phi\) 在 \(S_5\) 的某個指數 5 子群下不變），而 ** \(S_5\) 沒有指數 5 的子群**（這正是 Ruffini 證明的漏洞所在，Abel 補全： \(S_5\) 的 20 階子群不存在，因 20 階群中 5-Sylow 必不唯一地滿足所需正規性）。矛盾。 \(\blacksquare\)

以今日語言重述（Artin 的現代證明）：一般五次方程的 Galois 群是 \(S_5\) ；根式解要求 Galois 群可解（見下）；而 \(S_5\) 不可解，因為 \(A_5\) 是單群。Abel 當年沒有「單群」與「Galois 群」的名詞，但他的論證已觸及同一堵牆。

GALOIS 的判準：可解群#

定義 6.2.2：群 \(G\) 稱為可解的（solvable），若存在子群鏈

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

使每個商 \(G_{i+1}/G_i\) 都是交換群（循環即可，對根式目的而言）。

定理 6.2.3（Galois 大定理，6.3 詳述）：特徵 0 體上，方程根式可解 \(\iff\) 其 Galois 群可解。

兩個關鍵事實：

  1. \(S_5\) 不可解。因為 \(A_5 \trianglelefteq S_5\) ，而 ** \(A_5\) 是單群**（ \(A_5\) 的正規子群只有 \(\{e\}\) 與自身）。若 \(S_5\) 可解，則 \(A_5\) 作為子群也可解（可解性對子群封閉），但非交換單群不可解（其可解鏈只能從自身跳到自身，商群仍是自身，非交換）。 \(A_5\) 的單性可用共軛類計數證明： \(A_5\) 的共軛類大小為 \(1, 15, 20, 12, 12\) ，任何正規子群的階必為這些數中若干個之和且為 \(60\) 的因數——只能得 \(1\) 或 \(60\) 。
  2. 對 \(n \ge 5\) ， \(S_n\) 都含 \(A_n\) ，而 \(A_n\) （ \(n \ge 5\) ）都是單群，故一般 \(n\) 次方程（ \(n \ge 5\) ）都無根式解。

具體例題#

例題 6.2.1：(1) 證明 \(S_3\) 可解，並解釋這如何對應三次方程的 Cardano 公式；(2) 證明 \(S_5\) 不可解。

解：

(1) 取鏈

\[ \{e\} \trianglelefteq A_3 \trianglelefteq S_3, \qquad A_3 = \{e, (123), (132)\} \cong \mathbb{Z}/3. \]

商 \(A_3/\{e\} \cong \mathbb{Z}/3\) 交換； \(S_3/A_3 \cong \mathbb{Z}/2\) 交換。故 \(S_3\) 可解。

對應到體：三次方程 \(x^3 + px = q\) 的分裂體的 Galois 群是 \(S_3\) 的子群。Cardano 公式先求 \(\sqrt{q^2/4 + p^3/27}\) （二次根式：對應 \(\{e\} \to A_3\) 這一步，判別式的平方根在偶置換下不變——這正是 1.1 節 casus irreducibilis 中那個「幽靈」的真身！），再開立方（對應 \(A_3 \to \{e\}\) ）。判別式平方根的引入使 Galois 群從 \(S_3\) 降為 \(A_3\) ，開立方再把 \(A_3\) 拆光——公式與群鏈逐層吻合。

(2) \(A_5\) 單（共軛類 \(1, 15, 20, 12, 12\) ，正規子群階需為若干類大小之和且整除 \(60\) ： \(1+15+20+12+12=60\) ，任何真部分和均不整除 \(60\) ）。若 \(S_5\) 可解，有鏈 \(\{e\} = G_0 \trianglelefteq \cdots \trianglelefteq G_m = S_5\) ，商群皆交換。 \(A_5 \trianglelefteq S_5\) 與鏈的交給出 \(A_5\) 的可解性（可解性對子群傳遞），矛盾。故 \(S_5\) 不可解，一般五次方程無根式解。 \(\blacksquare\)

不可能性定理的方法論意義#

Abel–Galois 的結果改寫了數學的目標感：

  1. 從構造到判決：二次、三次、四次時代，代數是「解題術」；五次之牆後，代數成為「結構科學」。問題不再是「怎麼解」，而是「什麼樣的問題有什麼樣的解法」。
  2. 不可能性的價值：與 5.3 節尺規三大難題並列，這是十九世紀「不可能性革命」的雙璧——兩者用的都是同一武器：次數/結構障礙。
  3. 通往下一次革命的門票：正因為根式公式不存在，數學家被迫尋找其他表示方程根的方式（橢圓模函數、Hermite 1858 年用橢圓函數解一般五次方程），催生了十九世紀後半的函數論與群論大發展。

RUFFINI 的先行與 ABEL 的獨立#

公允的歷史要求給 Ruffini 留出篇幅。他在 1799 年的兩卷本《方程的一般理論》中已宣稱證明了不可解性，其後又補充多篇論文（1803–1813）。他的論證已包含「置換函數取值個數」的核心機制，但缺了嚴密的一環：他假設了「若函數在 \(S_5\) 的某些置換下取少於 5 個值，則保持它的置換群必含某種特殊的正規結構」——這個假設對 \(S_5\) 實際上成立，但 Ruffini 未證明，而他需要它的一般形式。Cauchy 1815 年的置換群論文部分補強了相關引理（Cauchy–Frobenius 軌道計數公式的先聲）。

Abel 的獨立性無可懷疑：他不知道 Ruffini 的工作（當時挪威資訊閉塞，Ruffini 的論文也晦澀難讀），1826 年他在 Crelle 期刊重刊證明時仍用自創的路徑。後世史家（如 Kiernan、Pesic）的判詞是：Ruffini 給出了幾乎正確的草圖，Abel 給出了第一個完整證明，Galois 給出了完整的理論——使「哪些方程可解」成為可判定問題。

Ruffini 晚年擔任 Modena 大學校長，他至死堅持自己的優先權，而 Abel 一生從未聲稱讀過 Ruffini。兩人的著作在 1866 年由 Betti 重印後才獲得應有的承認——數學史中「證明的完成度」與「承認的到達時間」往往是兩條曲線。

一個常見誤區：「無解」與「無公式」#

「五次方程無根式解」常被誤讀為「五次方程無解」，需要在此固定區分：

  1. 代數基本定理（Gauss 1799 的博士論文主題）保證：五次方程在 \(\mathbb{C}\) 中恆有 5 個根（計重數）——解永遠存在。
  2. 不可解性說的是：根不能由係數經有限次四則與開方表達。根存在、可數值逼近（Newton 法），只是沒有根式「公式」。
  3. 更微妙的是：個別五次方程可以有根式解。 \(x^5 - 2 = 0\) 的解是 \(\sqrt[5]{2}\) （Galois 群是循環群 \(\mathbb{Z}/5\) ，可解）； \(x^5 - x - 1 = 0\) 的 Galois 群是 \(S_5\) ，不可解。判準是逐案計算 Galois 群，而非次數。

這個區分是「結構之眼」的教科書級範例：從「解是什麼」到「解的對稱性是什麼」的視角升級，使「有沒有公式」這個看起來含糊的問題，變成「Galois 群是否可解」這個可計算的問題。

與其他領域的關聯#

  • 往 6.1：本節的一切論證都架在 Galois 對應上：根式塔 \(\leftrightarrow\) 循環商群的鏈。
  • 往 6.3：下一節給出大定理的完整證明思想，把「塔 \(\leftrightarrow\) 可解鏈」兩個方向都證明。
  • 往 2.3、3.2：可解群的定義是正規子群與循環群（最早學過的兩個概念）的組合——課程結構在此匯流。
  • 往 8.3：單群分類是二十世紀的「可解性之牆」續篇： \(A_5\) 是最小的非交換單群。
  • 往第 10 章：Galois 群的計算在今日數論（如橢圓曲線的 Galois 表示）中是核心工具；Abel 這個名字也永留於 Abel 群與 Abel 獎。

結語#

Abel 在 1829 年死於肺結核，二十六歲，窮困潦倒，死後兩天才收到柏林大學的聘書。他證明的不是一個公式，而是一個時代的邊界。Galois 則在兩年後的決鬥之夜（2.1 節）把這個邊界變成一張地圖：不可解不是混沌，而是 \(S_5\) 的精確結構。下一節我們進入這張地圖的內部，看 Galois 大定理如何證明。

（本節核心一句：數學的進步，常常不是算出新答案，而是把舊問題翻譯成更易懂的語言。）