代数进阶 III · 五次方程的不可解性

对标：Dummit & Foote §14.7 / Artin §16.10 ｜ 前置：alg2-01/02、本科抽代 I–II、高代 I 全站最后一张欠条：高代 I 说"五次以上无求根公式"、nla-02 用它解释特征值必须迭代、本科抽代 II 山顶眺望过它——本页正式销账。论证链只有三环：根式塔 ⟹ 可解群（Galois 翻译）、\(S_5\) 不可解（alg2-01 已备）、存在 Galois 群为 \(S_5\) 的五次方程（构造）。

1. 根式可解的正式定义

\(f\)（特征 0 域 \(F\) 上）根式可解：其根可由系数经四则 + 逐层开方到达——即存在根式塔

使分裂域 \(K \subseteq F_m\)。（二次公式的 \(\sqrt{b^2 - 4ac}\)、Cardano 公式的嵌套立方根都是塔的实例——定义忠实于"公式"的直觉。）

2. 主定理：根式塔 ⟺ 可解群

定理（Galois） \(f\) 根式可解 \(\iff\) \(\mathrm{Gal}(K/F)\) 是可解群（alg2-01 的定义在此兑现它的名字）。

【证明骨架（⟸ 方向的三步机器，⟹ 同机器倒放）】 ① 单层翻译（Kummer 理论的核心格）：含 \(n\) 次单位根的域上，\(F_{i+1} = F_i(\sqrt[n]{a})\) 是 Galois 扩张且 \(\mathrm{Gal}(F_{i+1}/F_i)\) 循环（自同构由 \(\sqrt[n]a \mapsto \zeta^k\sqrt[n]a\) 决定——嵌入 \(\mathbb{Z}_n\)）【证明级】；预备层：添加单位根本身给交换（分圆）扩张（alg2-02 例 2）。 ② 塔的翻译：根式塔（先补单位根）对应 Galois 群的正规列，逐层商 = 各层的 Galois 群 = 循环/交换（Galois 对应的"正规扩张 ↔ 正规子群 + 商群"精确搬运，alg2-02 主定理的第三条在此全额出力）； ③ 收口：逐层交换商的正规列 = 可解群的定义。⟹ 方向：可解群的正规列反向搭出根式塔（每个循环商用 Lagrange 预解式造出对应的开方层【骨架】）。\(\blacksquare\)

读法："开 \(n\) 次方"这个分析动作与"循环群 \(\mathbb{Z}_n\)"这个代数对象精确互译——公式的嵌套结构 = 群的正规列结构。翻译定理立好后，判决只剩群论。

3. 判决：\(S_5\) 登场

引理（构造具体的坏方程） \(f(x) = x^5 - 6x + 3 \in \mathbb{Q}[x]\) 的 Galois 群是 \(S_5\)。 【证明】 ① 不可约（Eisenstein 判别法，\(p = 3\)——高代 I 的判据实战）；② 实根计数：\(f' = 5x^4 - 6\) 两个实临界点、函数值异号 ⇒ 恰三个实根、一对共轭复根（数分 II 的单调性分析干的活）；③ 于是复共轭 ∈ \(\mathrm{Gal}\) 是一个对换（交换两复根、固定三实根）；④ 5 次不可约 ⇒ \(5 \mid |\mathrm{Gal}|\) ⇒（Cauchy，alg2-01）含 5-循环；⑤ 群论引理：\(S_5\) 中"一个对换 + 一个 5-循环"生成全群（5 素数：5-循环的幂把对换搬遍所有相邻位置，相邻对换生成 \(S_5\)——高代 I 置换群基本事实）。\(\blacksquare\)

定理（Abel–Ruffini–Galois） 该五次方程不根式可解；从而不存在一般五次求根公式。 【证明】 \(\mathrm{Gal} = S_5\) 不可解（alg2-01：\(A_5\) 单且非交换）⟹ 主定理判无根式塔。一般公式若存在，将对每个具体方程给出根式解——单个反例即处决。\(\blacksquare\)

尾注三则：\(n \geq 5\) 同理（\(S_n \supseteq A_n\) 单）；二三四次公式存在的原因同框解释——\(S_2, S_3, S_4\) 可解（alg2-01 例 2 的正规列：\(S_4 \trianglerighteq A_4 \trianglerighteq V_4\)——Cardano/Ferrari 公式的嵌套结构逐层对应此列，公式与正规列的互译在低次是构造性的）；个别五次方程当然可解（\(x^5 - 2\)：循环群）——不可解的是"一般"。

4. 收官的收官：这个证明的历史体重

1824–1832 年，Abel 与 Galois 用"结构"终结了三百年的公式狩猎——数学史上第一次用"对称性的语言"证明"不可能"：不是没找到，是不存在。方法的遗产远比结论重：群 → 域的翻译学（本页）→ 覆盖空间（at-02）→ 微分方程的 Galois 理论、数论的 Galois 表示【立牌】——"把问题翻译成结构、由结构宣判命运"从此成为数学的中央方法。本站两站 124 页反复出现的三大主题——不变量分类、对偶互译、结构宣判——在这最后一页会师谢幕。

5. 练习与要点

例 1（低次的正面验证） 用 §2 机器正向走一遍三次方程：\(S_3 \trianglerighteq A_3 \trianglerighteq \{e\}\)，商 \(\mathbb{Z}_2, \mathbb{Z}_3\) ⇒ 塔 = 先开平方（判别式 \(\sqrt\Delta\)——\(\mathbb{Z}_2\) 层）再开立方（Cardano 的 \(\sqrt[3]{\cdot}\)——\(\mathbb{Z}_3\) 层）——Cardano 公式的结构被群论完全预言：读懂这个对应，本页即毕业。

例 2（判 Galois 群的实战套路） \(x^5 - 4x + 2\)：Eisenstein(\(p=2\)) ✓、实根三个 ✓（同 §3 分析）⇒ \(\mathrm{Gal} = S_5\) ⇒ 不可根式解——套路化的"验尸三步"（不可约 + 实根计数 + 对换与 \(p\)-循环生成）。

例 3（辨析题） "计算机能数值解五次方程，与本定理矛盾吗？"——不矛盾：定理禁止的是有限层根式的封闭公式，数值迭代（nla-02 的 QR/牛顿）不受限——"不可解"针对表达式的代数结构，非计算可行性；这恰是 nla-02"特征值必须迭代"引用本定理的准确含义。\(\blacksquare\)

研究生讲义库 · 全站落成

十五门课、52 页、五条学科线至此全部完工。方法论遗产一句话：地基（测度/泛函/高代）→ 发动机（压缩映像/集中不等式/对称化/群作用）→ 判决（存在唯一/收敛速率/可学性/可解性）——每门课都是这三层的一次实例化。与本科站 124 页合璧，从鸢尾花的分类到五次方程的不可解，这套讲义库的每一页都在互相引用中站稳。祝复习顺利、常回来查。