1.3 Ferrari 四次方程與五次方程之牆#

本章導言#

三次方程被攻下後，人們自然追問：四次呢？五次呢？四次方程在 1545 年由 Ferrari 解決，但五次方程卻成為橫亙近三百年的高牆——直到 1824 年 Abel 證明它本來就不可翻越。本節講述 Ferrari 的降次天才、Lagrange 的關鍵反思，以及「之牆」如何從計算的失敗昇華為概念的洞察，為群論的誕生鋪路。

Ferrari 的降次工程#

Lodovico Ferrari（1522–1565） 在協助 Cardano 研究《大術》時找到四次方程解法。策略是降次：把四次化為三次。對一般四次方程

\[ x^4 + ax^3 + bx^2 + cx + d = 0, \]

第一步用平移 \(x = y - \frac a4\) 消去三次項（與三次方程做法相同）：

\[ y^4 + p y^2 + q y + r = 0. \]

第二步引入輔助參數 \(m\) ，把左端補成平方差：

\[ \left(y^2 + \frac p2 + m\right)^2 - \left(2m\, y^2 - q\,y + m^2 + p m + \frac{p^2}{4} - r\right) = 0. \]

第二個括號若為完全平方，即可分解為兩個二次因式。令其判別式為零：

\[ q^2 - 4 \cdot 2m \cdot \left(m^2 + pm + \frac{p^2}{4} - r\right) = 0, \]

這是關於 \(m\) 的三次方程（預解三次式，resolvent cubic）。解出 \(m\) 後，原式化為兩個二次因式之積，各解一個二次方程即得四根。整個流程是：

\[ \text{四次} \xrightarrow{\text{預解三次式}} \text{三次} \xrightarrow{\text{Cardano 公式}} \text{二次} \xrightarrow{\text{求根公式}} \text{一次}. \]

每一次降次只需四則運算與開方。這條「遞降階梯」令人相信：五次方程也許只是需要一個預解四次式？整個歐洲的數學家為此奮鬥了兩百多年。

兩百年的徒勞#

十七、十八世紀幾乎所有一流數學家都嘗試過五次方程：Tschirnhaus（1683，提出變換消元法）、Euler（在《代數引論》中承認失敗）、Bézout、Vandermonde。所有人的「失敗」都只是「我沒找到」，而無法排除「別人能找到」。缺乏「不可解」的證明手段，是當時數學的軟肋——證明一個東西不存在，需要比構造一個東西更強的武器。

Lagrange 的反思（1770–1771）#

Joseph-Louis Lagrange（1736–1813） 的長篇論文《關於代數方程解法的反思》做了一件改變歷史的事：不問「怎麼解」，而問「為什麼這些解法都長得像」。他發現三次、四次解法的共同結構：

三次方程的 Cardano 公式中，量 \(u - v\) （ \(u = \sqrt[3]{\frac q2 + \sqrt{\cdots}}\) ， \(v\) 為其「夥伴」）在根的置換下取值恰好是 \(\frac{\sqrt{-3\Delta}}{9}\) 型的量——它在 \(3! = 6\) 個置換下只有兩個值。
四次方程中，Ferrari 的預解式的根 \(\alpha_1, \alpha_2, \alpha_3\) 是原方程四根的特定組合： \(\alpha_1 = \frac{1}{2}(x_1 + x_2 - x_3 - x_4)\) 等，在 \(4! = 24\) 個置換下只有三個值。
Lagrange 的一般原理：設 \(f(x_1, \dots, x_n)\) 為根的有理函數，若它在 \(n!\) 個置換下取 \(k\) 個值，則 \(f\) 滿足一個 \(k\) 次方程（預解式）。

於是解 \(n\) 次方程的戰略變成：找到一個在置換下取值很少的函數，使其預解式次數夠低。三次方程取 \(k = 2\) （降到二次）、四次方程取 \(k = 3\) （降到三次）。要解五次方程，就需要 \(k \le 4\) 的「取值很少」函數。Lagrange 與其追隨者 Ruffini 的計算表明：對 \(n = 5\) ，這樣的函數在根式框架內找不到——但「找不到」仍非證明。

Lagrange 定理的種子#

在同一篇論文中，Lagrange 證明了一個純粹的置換計數命題：一個子群（置換的封閉集合）的階整除全體置換的階。這是後來 Lagrange 定理（3.1 節）的最初形式——注意，它是為了解方程而發明的計數工具，群的概念此時尚未誕生。代數史上最具諷刺的美感：定理先於其家園。

Ruffini 的近乎成功（1799）#

Paolo Ruffini（1765–1822），義大利醫生與數學家，1799 年出版兩卷本巨著宣稱證明了「五次以上方程無代數解」。他的策略正是 Lagrange 路線的形式化：若方程可用根式解，則存在滿足特定閉包性質的根之函數族；他證明這類函數族的階只能是特定數值，而五次方程要求 60 階的函數族不存在。可惜他的長達三百頁證明有一個未被當時任何人察覺的漏洞：他假定了兩個「根式函數」的複合仍是同類函數（即預設了子群的正規性概念）。數學界對此書的反應是沉默與客套——證明太長、太新，無人願意逐行審查。Ruffini 終生未被公正對待，1810 年他致函法國科學院，回答只有一句：「委員會無法進行如此長篇論證的完全檢驗。」

Abel 的最後一擊（1824）#

Niels Henrik Abel（1802–1829），挪威貧困牧師之子，1824 年自費印刷了六頁的小冊子《論代數方程：證明一般五次方程的解不可用根式表示》，證明完全正確。他因窮困壓縮篇幅以省印刷費，導致論證極度晦澀；1826 年應 Crelle 之邀在《純粹與應用數學雜誌》創刊號重寫發表。Abel 的證明也走了 Lagrange 路線，但補上了 Ruffini 缺失的關鍵引理（後被稱為 Abel 引理：若諸根式可交換，則每個中間量在置換下取值的個數必須整除前一層的取值個數）。Abel 於 1829 年死於肺結核，年僅 26 歲，生前未見五次方程問題的終極解答——那要等 Galois（2.1 節）。

一個具體例題#

例題 1.3.1：用 Ferrari 方法解 \(x^4 - 2x^2 + 8x - 3 = 0\) 。

解：三次項已缺。引入參數 \(m\) ，補平方：

\[ (x^2 - 1 + m)^2 - \big[(2 - 2m)x^2 - 8x + (1 + 2m + m^2 - (-3))\big] \stackrel{?}{=} 0 \]

整理： \((x^2 - 1 + m)^2 = x^4 + (2m-2)x^2 + (m-1)^2\) 。原方程給出

\[ x^4 = 2x^2 - 8x + 3, \qquad\text{故}\qquad (x^2 + m - 1)^2 = 2m\,x^2 - 8x + m^2 - 2m + 4. \]

令右端為完全平方，判別式為零：

\[ 64 - 4 \cdot 2m \cdot (m^2 - 2m + 4) = 0 \;\Longleftrightarrow\; m^3 - 2m^2 + 4m - 8 = 0 \;\Longleftrightarrow\; (m-2)(m^2 + 4) = 0. \]

預解三次式有理根 \(m = 2\) 。代入：

\[ (x^2 + 1)^2 = 4x^2 - 8x + 8 \;\Longrightarrow\; (x^2+1)^2 - (2x-2)^2 = 0 \;\Longrightarrow\; (x^2 + 1 + 2x - 2)(x^2 + 1 - 2x + 2) = 0. \]

即 \((x^2 + 2x - 1)(x^2 - 2x + 3) = 0\) 。第一因式給 \(x = -1 \pm \sqrt 2\) ；第二因式給 \(x = 1 \pm i\sqrt 2\) 。四個根全部求得。注意我們刻意選了有理根 \(m = 2\) ，使全程不涉及三次公式——Ferrari 方法的實務要領正是在預解式中找有理根。

歷史啟示#

反思優於蠻力：Lagrange 的貢獻不是新解法，而是對既有解法的元分析。當計算陷入僵局，分析「成功案例的共同結構」是突破的正道。
否定性結果需要新工具：「五次不可解」無法靠繼續尋找公式來證明，它催生了群論。數學中最深刻的進步，常由「不可能性定理」驅動。
證明的社會成本：Ruffini 的遭遇顯示，過長的證明在缺乏審查機制的時代等於沒有證明。可讀性不是美德修飾，而是知識傳播的生存條件。

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

2.1、2.2 節：Lagrange 對「置換下取值個數」的研究，就是群與子群概念的胚胎。
3.1 節：Lagrange 的計數命題將以公理化形式重現為 Lagrange 定理。
5.1 節：「根式可解」的嚴格定義需要體擴張的塔狀結構語言。
6.2、6.3 節：Abel 與 Galois 的工作是本節懸案的終章； \(S_5\) 的不可解性是全書高潮。
Galois 理論之外：預解式思想在現代表現為「不變式論」與「Tschirnhaus 變換」的計算代數研究。
計算機代數：Mathematica、Sage 解四次方程的內建程序，就是 Ferrari 演算法的實現。

練習#

用平移 \(x = y + \frac 12\) 消去 \(x^4 + 2x^3 - 2x + 1\) （不必解）中的三次項，寫出 \(y\) 的新方程。
對 \(x^4 - 4x^3 + 2x^2 + 4x + 1 = 0\) ，套用 Ferrari 程序寫出預解三次式，並求其有理根。
證明：若四次方程的四根為 \(x_1, \dots, x_4\) ，則量 \(\frac 12(x_1 + x_2 - x_3 - x_4)\) 在 24 個置換下恰好取 3 個值。
解釋為什麼 Lagrange 原理（ \(f\) 在 \(n!\) 個置換下取 \(k\) 個值，則 \(f\) 滿足 \(k\) 次方程）能解釋三次方程為何「可解」。
思考題：Ruffini 的證明漏洞在於預設了子群的正規性。查閱資料或推理：正規子群（3.2 節）概念缺失時，哪類論證會「不知不覺地過頭」？

進階研讀：從降次到不可能性的五個深化場景#

場景一：預解式的家族。三次預解式不只一個：Ferrari 的參數三次式、Lagrange 的 \(\theta_1 = (x_1 + \omega x_2 + \omega^2 x_3)^3\) 型預解式、以及 Descartes 的因式分解法（設四次為兩個二次之積、比較係數）彼此等價可互推。「同一問題有多個等價預解式」預示了同調代數中的思想：解的存在常可用多條等價路徑刻畫（9.1 節的分裂正合序列是其現代化身）。

場景二：取值個數的算術。Lagrange 原理的深層內容是： \(S_n\) 的子群指標 \(|S_n|/|H|\) 就是「 \(H\) 的不動函數的取值個數」。對 \(n = 5\) ，含 5-循環與特定結構的子群其指標必大於 4，這正是「找不到低次預解式」的群論表述。把「取值個數」升格為「子群指標」，就是從計算到結構的一次昇維——讀者將在 3.1 節親眼目睹這一昇維。

場景三：Abel 引理與可解性的階梯。Abel 引理說：根式塔 \(F_0 \subset F_1 \subset \cdots \subset F_k\) 中，若 \(F_i = F_{i-1}(\sqrt[n_i]{a})\) ，則 Galois 群的階沿塔逐層「最多除以 \(n_i\) 」。可解性於是翻譯為群論條件「存在一列逐層變簡單的子群」。這條階梯式論證在現代同倫論與層論中以「過濾（filtration）+ 逐層商」的形式無所不在——Lagrange–Abel 的階梯是所有過濾論證的祖先。

場景四：五次方程之牆的例外風景。並非所有五次方程都不可解： \(x^5 - 2 = 0\) 有根式解 \(x = \sqrt[5]{2}\) （及其複數夥伴）；更一般地， \(x^5 + ax + b\) 型中有無窮多可解族（如 \(x^5 - 5x + 12\) ）。不可解性是對一般係數的陳述。這提醒讀者：代數中的不可能性定理都是「一般情形」的定理，特殊結構可以逃生——同樣的分寸感出現在尺規作圖問題（5.3 節）：一般角不能三等分，但特定角可以。

場景五：Bring–Jerrard 與超越降維。Tschirnhaus 變換可把一般五次方程化為 \(x^5 + px + q = 0\) （Bring–Jerrard 型，1786/1834），證明「一般五次方程只有兩個本質參數」。雖然它仍不可根式解，但化約本身有深遠後果：五次方程的解空間（模空間）成為幾何對象，Hermite（1858）藉橢圓函數解出一般五次方程——根式封鎖的路，函數論可以繞行。這是「不可能性限定方法、而非限定真理」的絕佳示範。

補充：Lagrange 其人#

Lagrange 生於 Turin，有法國與義大利血統，十九歲即任 Turin 砲兵學校教授。他自評五次方程論文：「我這一生做過的數學中，這些反思也許最有內容，卻最少被理解。」1766 年 Euler 離開柏林後，Frederick 大王親函邀請，稱「歐洲最偉大的幾何學家必須住在歐洲最偉大的宮廷」。Lagrange 在柏林二十年、巴黎二十年，1788 年出版《分析力學》——全書竟無一張圖。他晚年對學生說：數學是「像語言一樣」的藝術。這位把「解方程」變成「結構研究」的人，生前始終不知道自己的置換計算即將孕育出群論。

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

降次：把高次方程化為低次方程求解的策略。
預解式（resolvent）：由原方程根的組合函數構成的輔助方程。
Lagrange 原理：根的函數在置換下的取值個數 \(k\) 決定其預解式次數。
Abel 引理：根式塔中取值個數逐層整除的關鍵引理。
Bring–Jerrard 型： \(x^5 + px + q = 0\) ，一般五次方程的極簡形式。
不可能性定理：斷言某類解法（而非某個解）不存在的定理。
根式解：僅用係數的四則運算與開方表達的解。

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

1545：Cardano《大術》刊出 Ferrari 四次方程解法。
1572–1683：Bombelli、Viète、Descartes 等完善降次技術。
1683：Tschirnhaus 提出變換消元法。
1770–1771：Lagrange《反思》統一三次四次解法，埋下群論種子。
1799：Ruffini 宣稱證明五次不可解（有漏洞）。
1824：Abel 六頁小冊子，正確證明一般五次方程無根式解。
1826：Abel 論文在 Crelle 雜誌重刊，正式問世。
1832：Galois 以群論刻畫可解性，之牆終被看透（見 2.1 節）。

深化問答三則#

問：為什麼四次方程「剛好」可解，五次就「剛好」不可解？有什麼直觀？ 答：直觀在置換群的結構。 \(S_4\) 有一列「越來越簡單」的子群 \(S_4 \triangleright A_4 \triangleright V_4 \triangleright \mathbb{Z}_2 \triangleright \{e\}\) ，每一步的商都是循環群（可開方），對應四次方程的降次階梯；而 \(S_5\) 的正規子群列走到 \(A_5\) 就斷了—— \(A_5\) 是單群（見 6.3 節），不可再分解為循環臺階。可解與否的分歧點在 \(n = 5\) ，根源是 \(A_5\) 的單性。

問：Lagrange 原理是定理還是啟發？ 答：它本身是嚴格定理（ \(f\) 的 \(k\) 個取值可構作以它們為根的多項式，係數是根的對稱函數、故可用係數表出）。但它作為「解方程戰略」失敗於 \(n \ge 5\) ：需要的低取值函數在根式框架內不存在。定理正確、戰略受挫——這種「局部正確、全局不夠」的處境，正是需要 Galois 理論重新架構的原因。

問：本節對「做研究」有什麼方法論啟示？ 答：三條。一，當直接攻堅失敗，分析既有成功案例的公共結構（Lagrange 之於三次四次）；二，否定性結果是機會而非挫敗，它指出框架本身需要更換（群論之於降次戰略）；三，重要成果必須以可審查的形式發表，否則等於不存在（Ruffini 的教訓）。

（本節完）