方程的根式解：对称性的胜利

这是一段从公元前两千年绵延到 19 世纪的故事。

故事的开头很温和：人们想解方程。一次方程容易：ax + b = 0 → x = -b/a。二次方程也不难——古巴比伦人在公元前 2000 年就会用"配方"解 ax² + bx + c = 0，给出 x = (-b ± √(b² - 4ac))/(2a)。这个公式叫求根公式。它好用又漂亮：只用四则运算 + 开根号就能从系数得到根。这种解叫根式解（solution by radicals）。

三次方程让人挣扎了几千年。1545 年 Cardano 在《Ars Magna》里给出了三次的公式。然后他的学生 Ferrari 当年就把四次也搞定了——用一组复杂的开方与中间替换。数学家们沉醉了：每一次"突破"都意味着把开方的层数加深一点。看起来只要够努力，五次、六次、十次的求根公式都能写出来。

然后是三百年的死寂。几代欧洲最聪明的数学家——Tschirnhaus、Lagrange、Gauss、Ruffini——都没能找出五次方程的求根公式。1799 年，Ruffini 给出了第一个（不完整的）证明：没有这样的公式。1824 年，22 岁的 Niels Abel 给出严格证明。

但为什么没有？谁规定的？谜底要等到 1832 年，一个 20 岁的法国少年 Évariste Galois 在决斗前夜潦草写下的几页手稿里——他给出了一个让所有人惊掉下巴的答案：方程能不能用根式解，由它的对称性决定。这不是巧合，不是技术问题——是结构性必然。

这一章我们沿着这条故事线走一遍，看看"对称性"如何成为代数最深的钥匙。

一、低次方程——开方的艺术

一次方程

ax + b = 0 → x = -b/a。仅用四则运算就解决——根本不需要开方。"根式可解"在这里平凡。

二次方程

ax² + bx + c = 0 通过配方得到：

这里我们用了一次开平方。注意"±"——这是两个根的对称性。事实上"换两个根的位置"是一种自然对称：根 r₁ + r₂ = -b/a 和 r₁r₂ = c/a 都关于交换两根不变（韦达定理）。

三次方程（Cardano 1545）

对一般三次 ax³ + bx² + cx + d = 0，先消去二次项（令 x = y - b/3a）得到 y³ + py + q = 0。Cardano 公式给出：

需要一次开方 + 两次开立方。三个根可通过三次单位根 ω = e^(2πi/3) 选择不同立方根支得到。值得注意的是：即使三个根都是实数，中间过程也必须经过复数——这是历史上"复数不可避免"的第一个证据（即所谓"casus irreducibilis"），也启发了几个世纪后复变函数的发展。

四次方程（Ferrari 1545）

Ferrari 的方法：把四次化归到三次——通过一个"辅助方程"（叫分解三次方程）的根来构造完整解。需要一次三次方程求解 + 几次开方。复杂但有限。

到这里看起来一切顺利：求根公式按 1, 2, 3, 4 次方程的次序"依次开方层数加深"。规律似乎很明显——五次也应该能搞定。

二、Lagrange 的预感与三百年的失败

1770 年，Joseph-Louis Lagrange 写了一篇 200 页的长文《Réflexions sur la résolution algébrique des équations》，系统分析为什么 1-4 次方程能解。他发现了一个共同模式：用根的对称函数构造一个"预解式（resolvent）"，预解式满足一个次数更低的方程，然后递归求解。

例如对三次方程 r₁, r₂, r₃，Lagrange 取预解式 (r₁ + ωr₂ + ω²r₃)³。这个量在循环置换 (r₁ r₂ r₃) 下不变，但在交换 (r₁ r₂) 下会取另一个值——所以它满足一个二次方程。解了这个二次方程，回去就能恢复 r_i。

但是当 Lagrange 把同样方法用到五次方程时——他构造的预解式满足一个六次方程，比原方程更难解！他没找到合适的预解式让它降到四次。

Lagrange 的悲观结尾："我对这个问题感到绝望。" 他只是预感方法可能根本不可行，但还无法证明这一点。

三、Abel-Ruffini 定理——五次的不可能性

1799 年，意大利医生 Paolo Ruffini 给出第一份"不可能"证明，500 多页，但有漏洞。1824 年，挪威 22 岁的 Niels Henrik Abel 用 6 页论文给出了严格证明：

Abel-Ruffini 定理：对一般 n ≥ 5 次方程，不存在用系数的有限次四则运算 + 开方得到根的"求根公式"。

这里"一般"非常重要：

• 不是说每个五次方程都无解——五次方程当然有 5 个复根（代数基本定理）；

• 不是说没有

  具体方程

  能用根式解——例如 x⁵ - 2 = 0 显然能用 x = 2^(1/5)；

• 是说

  不存在通用公式

  ——能从任意系数 (a₀, a₁, …, aₙ) 出发，通过有限次四则运算和开方，得到全部 n 个根。

Abel 的证明很巧妙但仍很技术。它告诉我们"不可能"，但没解释为什么。"为什么"等到了 8 年后由一个还没成年的天才回答。

四、Galois 的革命——对称性是答案

Évariste Galois，1811 年生于巴黎郊外，17 岁就尝试解决五次方程的可解性问题。他三次申请进巴黎综合理工被拒（一次因为他把粉笔向考官扔过去），政治上是激进共和派，被关过监狱。1832 年 5 月 30 日，他在一场决斗中被打中腹部，第二天因腹膜炎去世，年仅 20 岁。

决斗前夜，他给朋友 Auguste Chevalier 写了一封长信，信里附上他几年来研究方程可解性的核心思想。这封信后来被他朋友整理出来——发现里面装着的是整个现代代数。

Galois 的核心想法

Galois 不再纠结于"能不能写出根的公式"，而是问："方程的根之间，有什么样的对称性？"

给定多项式 f(x) ∈ ℚ[x]，假设它在 ℂ 中的所有根是 r₁, r₂, …, rₙ。考虑分裂域 E = ℚ(r₁, …, rₙ)——把所有根添加到 ℚ 后得到的最小域。

Galois 定义了方程的群：

这个群是 E 的所有"固定 ℚ 的自同构"的全体。它必然把 r_i 排列到 r_i——所以它是 {r₁, …, rₙ} 上的一个置换群（symmetric group 的子群）。

这就是Galois 群。它抓住了根之间的所有代数对称性。例如：

• x² - 2 = 0 的根是 ±√2，Galois 群 = ℤ/2ℤ（交换或不交换两根）。

• x³ - 2 = 0 的根是 ³√2, ω³√2, ω²³√2，Galois 群 = S₃（6 个元素）。

• 一般 n 次方程，Galois 群是 S_n 的子群——通常就是 S_n 本身。

五、可解群——根式解的代数翻译

Galois 的下一步是绝顶聪明的：他把"根式可解"翻译成群论的概念。

可解群的定义

群 G 称为可解（solvable），如果存在一列子群

使得每个商群 G_{i+1}/G_i 是阿贝尔群（事实上可以加强成循环群）。直观地说：可解群可以一层层"剥"成阿贝尔层。

Galois 的主定理

多项式 f(x) ∈ ℚ[x] 的根能用根式表示 ⟺ 它的 Galois 群 Gal(E/ℚ) 是可解群。

这是数学史上最优美的"翻译"之一。它把分析问题（能不能写出公式）翻译成了纯结构问题（群是不是可解）。

为什么这个翻译成立？直觉

• "添加 ⁿ√a"对应于把当前域 F 扩张到 F(α)，这个扩张的 Galois 群是循环群 ℤ/nℤ。

• "用根式连续构造"对应于做一连串这样的"循环扩张"。

• 整个域扩张过程的 Galois 群被层层剥离成循环群 → 整个 G 是可解的。

反之，如果 Gal 是可解的，可以反向构造一系列循环扩张，最终把所有根写成根式。

六、S₅ 不可解——五次方程的死刑判决

剩下要做的事：证明一般五次方程的 Galois 群是 S₅，且 S₅ 不可解。

第一步：S₅ 不可解

S_n 的交错群 A_n（偶置换全体）是 S_n 的指数为 2 的正规子群。Galois 在他的笔记里证明了一个深刻结果：

对 n ≥ 5，A_n 是单群（除了 {e} 和自身外没有正规子群）。

因此 S_5 的正规列只能是 S_5 ▷ A_5 ▷ {e}。商群 S_5/A_5 ≅ ℤ/2ℤ 是阿贝尔的，但 A_5/{e} = A_5 是非阿贝尔单群——S_5 的商列卡住了，剥不下去。所以 S_5 不可解。

第二步：一般五次方程的 Galois 群是 S_5

这点更技术。证明思路：构造一个具体的"通用"五次方程（系数留作变量），它的 Galois 群必然是整个 S_5——因为任何"少了一些对称"的群都对应"系数之间有特殊代数关系"，但通用五次方程的系数没有任何关系。

结论

S_5 不可解 ⇒ 一般五次方程的 Galois 群不可解 ⇒ 它的根不能用根式表达。这就是 Abel-Ruffini 定理的结构性解释。

从 1-4 次的可解到 5 次的"墙"——A₅ 的单性是临界点

七、A_5 的单性——故事的"原子核"

这一切的核心，是A_5 是单群这件事。让我们直观感受一下：

A_5 有 60 个元素。它的共轭类大小是 1, 12, 12, 15, 20。如果存在一个真正的非平凡正规子群 N，那 |N| 必须是这些类大小的和，加上 1，且整除 60。算一下：所有可能的"和 + 1"——你会发现都不是 60 的因子。所以 N 不存在。

这是一个纯算术的小奇迹。
60 这个数本身没有什么特别——但 5 这个数的内在结构注定让 A_5 的共轭类大小这样分布，让 A_5 不能再被切开。"不可解"是写在 5 这个数字基因里的。

更广阔的事实

A_5 不仅是单的，它是历史上第一个非阿贝尔有限单群。20 世纪后人们花了 50 年（1955-2004）才完成了所有有限单群的分类——发现它们包括：

• 循环群 ℤ/p（p 素数）；

• A_n（n ≥ 5）；

• 李型群（Chevalley groups）；

• 26 个"散在群"（包括巨大的 Monster 群，约 8×10⁵³ 个元素）。

这就是有限单群分类定理，被誉为 20 世纪最浩大的数学工程。它的第一块基石就是 A_5——而 A_5 是从五次方程不可解的故事里走出来的。

正规列：从 n=4 到 n=5 的临界——A₅ 这块"非阿贝尔单群"挡住了根式可解的递归

八、什么方程能用根式解？

Galois 理论同时告诉我们哪些方程可以根式解：

• x^n - a = 0

  （"纯方程"）：Galois 群是循环群（甚至阿贝尔），可解。所以 ⁿ√a 永远存在。

• 分圆多项式 Φ_n(x)

  ：根是 n 次单位根。Galois 群 = (ℤ/nℤ)*，是阿贝尔群，可解。这就是 Gauss 18 岁证明"

  正 17 边形可作图

  "的理论根源。

• 具有"特殊系数关系"的高次方程

  ：例如 x⁵ - 1 = 0、x⁵ - 5x + 12 = 0 等，对应的 Galois 群恰好是可解子群。

• 一般 n ≥ 5 次方程

  ：Galois 群 = S_n，不可解。

所以"五次没有公式"是统计意义上的——具体五次方程很多能解，但没有统一公式能解所有五次方程。

九、几个常见误区

误区 1："五次方程没有解"

错。五次方程在 ℂ 中有 5 个复根（代数基本定理保证），它们都存在。Galois 说的是没有"用根式"的通用公式。

误区 2："Galois 理论只是把问题改写一遍"

不是。它真正解决了问题——把"是否存在公式"翻译成"是否可解群"，而后者在群论里有明确判定方法。这是数学最优雅的"问题降级"——从分析到代数，从无穷到有限。

误区 3："具体五次方程都不能解"

错。x⁵ - 2 = 0 当然能解（x = 2^(1/5) 等），它的 Galois 群是 ℤ/5ℤ × ℤ/4ℤ 的某个子群，可解。Galois 给出了具体五次方程的判定算法。

误区 4："Galois 理论只对方程有用"

错。它的思想——"把对称结构作为研究对象"——成了整个现代数学的基石：代数几何、数论、拓扑、表示论、量子物理（Yang-Mills 规范理论也依赖类似思想）……都在用 Galois 的"对称即结构"哲学。

十、结语：少年留下的钥匙

1832 年 5 月 31 日清晨，Galois 在 Paris 一家医院里说完最后一句话："Ne pleure pas, Alfred ! J'ai besoin de tout mon courage pour mourir à vingt ans."（"别哭，Alfred，我需要全部勇气在 20 岁时死去。"）他留下的几页手稿最初被 Cauchy、Fourier 等人忽略——直到 1846 年才被 Liouville 整理发表，又过了几十年才被完全理解。

但今天我们清楚地看到：他用一支笔写下的，是整个 20 世纪代数的根。Galois 群、Galois 对应、可解群——这些概念在他之后被无数人扩展，最终结成有限单群分类、Langlands 纲领、代数几何中的同伦理论等数学最高成就。

而最让人感动的，是 Galois 把"五次方程为什么没有公式"这个看似偶然的事实，变成了一句几乎像诗的话：

方程能不能用根式解，不取决于它有多复杂，而取决于它根之间的对称性是否能被一层一层剥开。

这就是对称性的胜利——也是数学最深的美：当你理解了一个问题的"对称结构"，你就理解了它的命运。一个 20 岁少年在决斗前夜潦草留下的几页手稿，把这件事永远刻在了人类知识的根上。