——伽罗瓦的证明，和他没来得及说完的话

（续第一部分）

四、“有解”与“写不出来”

所以，下次再有人拿“五次方程怎么解”来考你，你可以分三层回答：

第一层，有解吗？有。代数基本定理说得很清楚：任何n次复系数方程都有n个根（按重数计）。五次方程一定有五个复数解，一个不多，一个不少。

第二层，能算出来吗？能。牛顿迭代法之类的手段，可以把每个根算到任意精度，误差小到小数点后几十位。

第三层，能写成一个漂亮公式吗？不能。没有一个只含加减乘除和开方的通用公式，能把一般的五次方程的根“一次成型”地写出来。

换句话说，不是解不存在，而是用根式表达的通解不存在。

这有点像你问“π等于多少”。π当然存在，它是圆的周长和直径的比值，真实得不能再真实；可你永远没法用一个有限的小数或分数把它写尽。伽罗瓦告诉我们的是：一般五次方程的根，和π一样真实，也和π一样不肯驯服——大多数都拒绝被有限的根式表达式收编。

当然，两者“写不出”的性质并不相同：π是超越数，连任何代数方程都不满足；而五次方程的根是代数数，只是“代数却非根式可表”。这个区别很细，但数学的美，恰恰就藏在这种细里。

五、我们能从中带走什么

说过史实，说点闲话。

头一桩，“证明不可能”这件事，往往比“找到可能”更难，也更要命。伽罗瓦没有沿着老路继续掘进，而是停下来问：这条路，真的存在吗？这一问，把三百年的死胡同问成了康庄大道。做学问也好，过日子也好，一条路走得太久没有尽头，也许该怀疑的不是自己的脚力，而是这条路本身。

再一桩，是抽象的力量。伽罗瓦没有去死磕那些具体的方程，而是造出了“置换群”这把钥匙，从更高处俯瞰整片战场。今天，群论早已成了数学和物理学最通用的语言之一。所谓抽象，从来不是躲进象牙塔，而是为了把纠缠不清的乱麻，一眼看穿。

最后一桩，也是最让我心绪难平的，是少年。伽罗瓦二十岁完成了足以改写代数学的全部工作；阿贝尔二十二岁写下第一份严格证明，二十六岁死于贫穷和肺病；拉马努金，一生只有三十二年。天才们的花期太短，短到让人不敢细想。

可他们留下来的东西，比他们的命长得多。

尾声

写到这里，窗外已是下午。想起我中学那位把粉笔一丢的老师，他当年那句“解是肯定有的，就是解不出来”，其实是句大实话——只是他大概不知道，这句大实话背后，站着两个没活过二十七岁的年轻人，和一座叫“群论”的、后来长成森林的山。

如果下次再有人问：“五次方程到底怎么解？”

你可以这样回答他：解当然是有的，只是从1824年起，阿贝尔和伽罗瓦已经替我们证明——你永远别想用一个漂亮的公式把它写出来。而知道什么是不可能的，本身也是一种自由。

伽罗瓦在决斗前夜写下的那句“我没时间了”，是数学史上最让人心碎的一句注脚。可他其实不知道：时间确实没有等他，但时间，从没有忘记他。

参考文献

[1] ABEL N H. Mémoire sur les équations algébriques, où l'on démontre l'impossibilité de la résolution de l'équation générale du cinquième degré[M]. Christiania: Imprimerie de Grøndahl, 1824.

[2] GALOIS É. Œuvres mathématiques d'Évariste Galois[J]. Journal de Mathématiques Pures et Appliquées, 1846, 11: 381-444. (publiées par J. Liouville)

[3] JORDAN C. Traité des substitutions et des équations algébriques[M]. Paris: Gauthier-Villars, 1870.

[4] ARTIN E. Galois theory[M]. 2nd ed. Notre Dame: University of Notre Dame Press, 1944.

[5] STILLWELL J. Galois theory for beginners[J]. The American Mathematical Monthly, 1994, 101(1): 22-27. DOI: 10.1080/00029890.1994.11996899.

[6] STEWART I. Galois theory[M]. 4th ed. Boca Raton: Chapman and Hall/CRC, 2015. DOI: 10.1201/b18187.

[7] Institut Henri Poincaré. Bicentenaire Galois. Biographie d'Évariste Galois[EB/OL]. (2026-09-02)[2026-9-2]. http://www.galois.ihp.fr/ressources/vie-et-oeuvre-de-galois/vie-galois/biographie/

支持单位：