第 1 章：目标：从问题出发，而不是提前背结论

本章对象： $r_{i}$ 表示第 $i$ 个根；此处先讨论根的重命名，不认定任意重命名都是域自同构。

1.1 从韦达关系发现根的置换

我们可以完全按照你前面学多元微积分的方式：一次只推进一个核心概念，每一步都说明“为什么现在需要它”，直到最后真正看懂 Abel–Ruffini 定理背后的 Galois 理论。

先把最终目标说准确一点：

不是“所有五次及以上方程都没有根式解”。
正确说法是：不存在一个像二次公式那样，仅用系数、四则运算和有限次开方，就能解所有一般五次方程的公式。
某些五次方程当然有根式解，例如

$x^5-1=0.$

我们最终要理解的逻辑链大致是：

方程的根 $\to$ 根之间的置换 $\to$ 群 $\to$ 子群/正规子群 $\to$ 域 $\to$ 域扩张 $\to$ Galois 群 $\to$ 可解群 $\to$ 根式扩张 $\to$ $S_5$ 不可解 $\to$ 一般五次方程无根式通解。

但现在先不碰“域”“Galois 群”。

第一步：为什么解方程会突然和“置换”有关？

假设一个三次方程有三个根：

$r_1,r_2,r_3.$

例如

$(x-1)(x-2)(x-3)=0.$

根就是

$1,2,3.$

你写方程时，并没有规定谁必须叫 $r_1$ 、谁必须叫 $r_2$ 。

所以：

$(r_1,r_2,r_3)$

和

$(r_2,r_1,r_3)$

其实描述的是同一组根。

也就是说，我们可以把三个根重新排列。

例如：

$r_1\to r_2,\qquad r_2\to r_1,\qquad r_3\to r_3.$

这叫一个 permutation（置换）。

三个东西有多少种置换？

如果有三个根：

$1,2,3$

可能排列成：

$123,\quad 132,\quad 213,\quad 231,\quad 312,\quad 321.$

一共

$3!=6$

种。

这些置换的全体叫

$S_3,$

读作：

symmetric group $on$ 3 letters
三个对象上的对称群（ $S_{3}$ 的阶是 6）

这里的“对称”不是几何上的镜像对称，而是说：

对三个对象进行所有可能重新排列所形成的结构。

为什么这和方程有关系？

这才是最关键的地方。

考虑一个一般三次方程：

$x^3+ax^2+bx+c=0$

三个根是

$r_1,r_2,r_3.$

根据韦达定理：

$r_1+r_2+r_3=-a,$

$r_1r_2+r_1r_3+r_2r_3=b,$

$r_1r_2r_3=-c.$

注意一个非常重要的现象。

如果交换 $r_1,r_2$ ：

$r_1\leftrightarrow r_2,$

那么

$r_1+r_2+r_3$

完全不变。

同样，

$r_1r_2+r_1r_3+r_2r_3$

也不变。

以及

$r_1r_2r_3$

也不变。

所以：

方程的系数只能“看到”根的某些对称组合，却不能区分每一个根是谁。

这其实就是整个 Galois 理论的种子。

例如：

$(x-r_1)(x-r_2)(x-r_3)$

展开为

$x^3-(r_1+r_2+r_3)x^2 +(r_1r_2+r_1r_3+r_2r_3)x -r_1r_2r_3.$

你把 $r_1,r_2,r_3$ 随便交换，展开结果完全一样。

因此：

$\boxed{\text{方程的系数天然具有“根的置换对称性”}}$

Galois 最伟大的想法之一就是：

不要直接问“根长什么样”，而要问“在保持已有代数关系不变的情况下，这些根允许怎样互相置换？”

最终，“哪些置换允许发生”就会形成一个群。

而这个群竟然能够告诉我们：

$\boxed{\text{这个方程能不能用根式解}}$

下一步我们就正式解释：

什么叫“群”？

而且我不会直接扔四条公理，而是先从“连续做两个置换”开始，让你看到为什么群的定义几乎是被迫出现的。