一般五次方程没有根式解——这份对三百年解方程竞技的死刑判决书，恰恰是抽象代数的出生证。本文追踪提问方式如何从「怎么解」翻转成「能不能解」，又如何让数学的研究对象从方程本身变成结构。
五次公式：竞技的最后一关
16 世纪，三次方程之争与虚数的诞生 以卡尔达诺《大术》落下帷幕：三次、四次公式到手，虚数意外登场。此后近三百年，找出五次公式成为代数的最高悬赏，欧拉与十八世纪分析 时代最强的计算者——欧拉本人、拉格朗日、范德蒙德——轮番冲击，全部失败。失败积累到一定程度，就该换一个问法：也许五次公式不是还没找到，而是根本不存在。把「怎么解」换成「能不能解」，是把技术问题升级为存在性问题——数学史上的这类翻转，往往开启新领域。
拉格朗日：统一机制藏在根的置换里
1770 年拉格朗日发表《关于代数方程解法的思考》。他不再发明新解法，而是反过来问：所有已成功的方法为什么能成功？ 逐个剖析后他发现，三次、四次解法全靠同一机制——预解式（resolvent）：构造根的某个组合（如三次方程取 ， 为单位根），使它在根的置换（permutation）下只取很少几个值，从而对称的部分能用系数表出。解方程的能力，暗中竟是置换与对称的语言。下表浓缩了他的诊断，也预告了机制的边界：
| 方程次数 | 预解式在根置换下的取值 | 后果 |
|---|---|---|
| 三次 | 2 个 | 归结为解一个二次方程 |
| 四次 | 3 个 | 归结为解一个三次方程 |
| 五次 | 6 个 | 归结为解一个六次方程——升次，机制失效 |
五次失败的原因第一次有了结构性解释，但拉格朗日仍在找公式，置换只是他总结出的「副产品」。真正把置换从副产品提升为主角的，是下一代。
阿贝尔：判决书下达，但只回答了一半
置换的钥匙已插进锁孔，第一波进攻却仍由计算发起。1799 年起鲁菲尼多次公布五次不可解的证明，但论证有个缺口：他默认中间步骤的根式可以规范选取而不改变所属的域。1824 年，22 岁的阿贝尔（Niels Abel）补上这一漏洞，严格证明：一般五次方程不存在根式解。三百年悬案终结。
判决书却留下新的不公平： 这类特殊五次方程明明根式可解， 则命运相反。阿贝尔的证明是针对「一般方程」的一次性计算，说不出任何给定方程的个体命运。哪些方程可解、判据何在——这需要一个理论，而不是一次计算。阿贝尔已朝这个方向出发（Galois group 为交换群的方程，今日称 Abel 方程），却于 1829 年病逝，26 岁。接力棒落到一个更年轻也更不幸的人手上。
伽罗瓦：可解性是群的性质
伽罗瓦（Évariste Galois，1811–1832）的翻转在于：给每个方程配上一个代数不变量——它的 Galois group。设 为系数域、 为添加全部根所得的根域，则 是保持系数不动、在根之间允许的全部置换。于是根式可解不再是方程的孤立属性，而完全等价于这个群的结构性质：
存在这样一条到单位元的正规子群链、且商群逐层交换——这样的群叫可解群（solvable group），术语直接继承自方程——当且仅当方程根式可解。每一步开方对应链上剥掉一层交换商群；而一般五次方程的群是 ，它唯一的非平凡正规子群 是非交换单群：链剥到这里就断。不可解的根源，是这个「不可再分」的对称核。
这套思想两度提交巴黎科学院，先后遭柯西搁置、傅里叶遗失，泊松又以论证不清退回。1832 年 5 月决斗前夜，20 岁的伽罗瓦给好友舍瓦利耶写下概述全部理论的长信，在页边留下「我没有时间了」。1846 年刘维尔将手稿发表，距决斗已过去十四年。
结构登上王座
回到主线问题：证明「不可解」为什么比解出来更深刻？因为它留下的不是答案，而是一台判定机器与一种新对象——任何方程，算出群、检查链，命运立判，「能不能解」从此是结构问题。更深远的是，机器的核心部件群本身成了研究对象：1870 年若尔当《置换论》把伽罗瓦遗产系统化为置换群理论；1854 年凯莱已给出脱离具体置换、纯由公理（封闭、结合、单位元、逆元）定义的抽象群；到 1920 年代诺特学派手中，「先公理、后结构」的方法横扫代数。数学的研究对象从「对象」变成「结构」——这一步直接通向 尼古拉·布尔巴基 的结构主义纲领，也沉淀为 数学梳理-布尔巴基 的三大母结构认知框架。
置换与对称的语言至今仍在服役：机器学习中的等变网络（equivariant network）显式建模输入的对称群，要求特征提取与群作用交换，——这正是群同态视角的现代应用。从决斗前夜的手稿到蛋白质结构预测，用的是同一套语言。