第五部分 · 数学回望自身

对称的语言：群与「为什么五次方程没有公式」

前四部分，数学一路向外征服世界：造数、量形、算变化、驯服随机、处理高维。可我们造了这么多结构，能不能把"结构"本身抽象出来研究？这一课，一个叫"群"的发明，将让数学第一次证明——某件事根本做不到。

一个悬了三百年的问题

你一定记得二次方程的求根公式。对 ax² + bx + c = 0，根可以一口气写出来：

x = (−b ± √(b² − 4ac)) / (2a)

它的妙处在于：只用方程的系数（a、b、c）和五种动作——加、减、乘、除、开方——就能把根直接"算"出来。我们把这种公式叫做根式解（用系数和加减乘除开方写出的解）。

三次方程（含 x³）也有这样的公式，正是第 04 课里卡尔达诺在 1545 年公布、把人逼向复数的那一个，只是长得吓人。四次方程（含 x⁴）也有，更长。于是数学家很自然地相信：五次方程（含 x⁵）的求根公式只是更难找，迟早会被某个足够聪明、足够有耐心的人写出来。

这一找，就找了将近三百年。一代代顶尖头脑前赴后继，没有一个人成功。问题出在哪？和第 03 课找"等于 √2 的分数"一样——不是他们不够努力，而是那个东西根本不存在。

怎么证明一个公式"不存在"

这里冒出一个前所未有的难题。证明某个公式存在，只要把它写出来就行。可怎么证明它不存在？你没法把"所有可能的公式"挨个写一遍试错——公式有无穷多种写法。要宣告"无论谁、无论多聪明、无论用多长的式子，都造不出五次的求根公式"，你需要一种全新的武器。

挪威的阿贝尔（1824 年）和法国的伽罗瓦（1830 年前后）几乎同时给出了答案，而伽罗瓦的思路最为深刻，也最能体现这一课的主角。他的洞见听起来近乎玄妙：

要听懂这句话，我们得先把"对称"和"结构"这两个含糊的词，变成精确的数学对象。这正是"群"的来历。

把"可逆操作"抽象出来：群

先别管方程，看一个更朴素的画面：一个正方形。把它旋转 90°，看上去和原来一模一样；水平翻转，也一样。这些"做完之后看不出区别"的动作，就叫这个正方形的对称。

这些对称有几个一眼就能看出的共性，把它们提炼出来，就是"群"的定义。一个群，就是一组操作外加一种把操作接在一起做的方式（叫复合），并且满足四条规矩：

• 封闭：任意两个操作接连做，结果仍然是组里的一个操作。先转 90° 再水平翻转，等于组里某个翻转——绝不会跑出"让正方形看起来不一样"的操作之外。
• 有单位元：存在一个"什么都不做"的操作（记作 e），任何操作和它复合都不变。对正方形来说就是"原地不动"。
• 有逆元：每个操作都可以撤销。转了 90°，再转 270°（或反向转 90°）就回到原处。可逆，是"对称"的灵魂。
• 结合律：连做三个操作时，(a 之后 b) 之后 c 和 a 之后 (b 之后 c) 结果一样——加不加括号无所谓。

就这四条，没有别的。请注意它有多么朴素，又多么普适：定义里压根没提"正方形""数字""方程"。任何满足这四条的东西，都是一个群。整数的加法是群（单位元是 0，逆元是相反数）；第 04 课那些"绕原点旋转"的复数是群；魔方的所有拧法是群；时钟的"模 12 加法"也是群。群论一次性研究的，是所有这些表面无关、骨子里同构的东西。

正方形的八个对称：二面体群 D₄

回到正方形，把它的对称数清楚。第一类是旋转：不动（0°）、转 90°、转 180°、转 270°，共 4 个。第二类是翻转（沿一条对称轴把正方形翻面）：水平轴、竖直轴、两条对角线，共 4 个。加起来正好 8 个，一个不多一个不少。这个群有个名字，叫二面体群 D₄（读作"D 四"）。

最值得玩味的是封闭性：你随便把这些操作接连做——转 90°、再水平翻、再转 180°……无论做多少步、顺序怎样，最终结果一定等于这 8 个对称里的某一个。你永远造不出"第 9 个"对称。这正是"封闭"的字面意思：操作之间复合，跑不出这个集合。下面的小实验让你亲手验证这件事。

伽罗瓦的杀招：用结构证明"不可能"

现在把群套回方程。一个 n 次方程有 n 个根（第 04 课代数基本定理保证了这一点）。伽罗瓦盯住的，是这些根之间的对称：哪些"把根重新排列"的方式，不破坏它们满足的全部代数关系？这些"合法的重排"恰好构成一个群——今天叫这个方程的伽罗瓦群。

关键的连接是这样的：能不能用根式（加减乘除开方）解出方程，完全对应于这个群能不能被"层层拆解"成一串简单的小群。每开一次方，就相当于把群拆掉一层；如果一个群能被这样一层层、温顺地拆到底，就叫它可解群（"可解"这个词的本意正是"方程可用根式解"）。

• 二、三、四次方程，根的对称群分别是 S₂、S₃、S₄（n 个东西全部重排的群叫对称群 Sₙ）。它们恰好都可解——所以求根公式存在，几百年来人们也确实写出来了。
• 可一到五次，对称群变成 S₅（5 个根的全部重排，共 5! = 120 个）。伽罗瓦证明：S₅ 不可解——它内部"卡"着一块再也拆不开的硬核（数学家叫它单群），无论怎样开方都拆不动它。

抽象的回报，与一无处不在的对称

请回味伽罗瓦做的事有多反常。他没有去"算"方程，而是把方程翻译成一个群，再去研究那个群的形状。一个关于"解方程"的问题，被换成了一个关于"结构复杂度"的问题——然后在结构那一侧解决了。这正是抽象的回报：把一个具体难题，提升到一个能一次性看清全局的高度。

而群这个发明的能量，远不止于此。它一旦被造出来，就像一把万能钥匙，到处都对得上锁：

• 第 04 课那些"n 次单位根"（满足 zⁿ = 1 的复数）在复平面上均匀地排成一圈，乘法把它们绕原点旋转——它们正是一个群，旋转对称的群。当时埋下的伏笔，在这里长成了结构。
• 物理里最深的定律也由对称决定（诺特定理）：时间平移的对称 ⇒ 能量守恒；空间平移的对称 ⇒ 动量守恒。守恒律就是对称的影子，而对称由群来描述。
• 晶体的分类、基本粒子的分类、密码学、魔方的最优解……背后都是群。一次抽象，处处通用。

这门威力惊人的语言，出自一个极其短暂的生命。伽罗瓦卷入一场决斗，自知凶多吉少，在决斗前夜挑灯赶写，把他的理论草草记在纸上，边写边在空白处潦草地注明"我没有时间了"。第二天清晨，他在决斗中中枪，几天后离世，年仅21 岁。他的手稿被搁置多年才被人读懂——而它开创的群论，成了整个现代数学的骨架之一。

常见误解

• "五次方程无解。"这是被传得最离谱的一句。伽罗瓦证明的是没有通用的根式求根公式，而不是没有解。根照样存在——第 04 课的代数基本定理保证任何五次方程在复数里恰好有 5 个根。它们确实存在，只是没法用加减乘除开方一口气写出来（可以用别的方法逼近，比如数值求解）。"无公式" ≠ "无解"。
• "特殊的五次方程也解不出来吧？"不对。像 x⁵ − 32 = 0 这种特殊方程，根就是 2 乘上各个单位根，明明白白能写出来。伽罗瓦说的是不存在对一切五次方程都管用的统一公式；个别方程恰好对称简单（群可解），照样有根式解。
• "群论太抽象，没什么用。"恰恰相反。正因为它抽象，才一次性管住了方程、晶体、粒子、密码、魔方所有"长得像群"的东西。你手机里的纠错码、现代物理的标准模型，地基里都是群。抽象不是脱离现实，而是把许多现实一网打尽。