先把时间拨回到1832年5月30日的凌晨，巴黎。
一个21岁的法国小伙子，在旅馆里就着蜡烛写东西，笔迹潦草，旁边不断涂改。他一边写一边在页边空白处嘟囔一句话的大意："我没有时间了，我没有时间了。"
第二天早上，他跟人在草地上决斗，腹部中了一枪，没人救他，第二天晚上死在医院里，身边一个人都没有。
这个小伙子叫伽罗瓦。
很多人听到这里，可能会觉得：嚯，又是那种"天妒英才"的老掉牙故事，天才早夭，然后留下一堆手稿震惊世界，这种故事我听多了。
但这次真不一样。
不一样在哪？在于他临死前赶出来的那几页纸，根本不是什么"未来得及发表的研究成果"，而是回答了一个让整个数学界卡了三百多年的问题。
五次方程，到底能不能用一个公式把根写出来？
你可能会问：五次方程？什么五次方程？不就是一元五次方程嘛，ax⁵+bx⁴+cx³+dx²+ex+f=0那种。
这东西有没有求根公式，跟我有什么关系？
关系大了。
因为这个问题的答案，直接催生了一门叫"群论"的学科。
而群论这东西，今天你手机里的芯片、医院里的CT、杨振宁搞的规范场论、粒子物理的标准模型，背后全是它。
说白了，没有伽罗瓦临死前那几页纸，现代物理得倒退一百年。
很多人一听到"五次方程没有求根公式"，第一反应是：那它没解呗？
非也。
高斯在1799年就证明了，任何一元n次方程，在复数范围内，有且只有n个根（算上重根）。所以一个五次方程，老老实实躺在那的，正好是五个根。x⁵=1这种方程，根甚至明明白白摆在那，其中一个就是x=1。
那问题来了：根都在那摆着，为什么写不出一个公式来？
这里得把"有根"和"能写出根"这两件事掰开。
你想想二次方程ax²+bx+c=0，求根公式是x=(-b±√(b²-4ac))/2a。
这个公式干了一件什么事？它只用了加减乘除，和一个开平方，就把根用系数表示出来了。
三次方程有三次的卡尔达诺公式，里面要开三次方；
四次方程有费拉里的解法，要开四次方。
这些公式都是一个路数：从系数出发，只允许用加减乘除和开任意次方（平方根、立方根、四次根……随便开），把根算出来。
这种东西，数学上叫"根式解"。
所以"五次方程没有求根公式"这句话，准确的说法是：
一般的五次方程，你没法只用系数的加减乘除和开方，把它的根写出来。
根是存在的，但它们"不听话"，没法被一个初等公式拽出来。
这就很反直觉了。
一到四次都好好的，怎么到五次就突然翻脸了？
这事得从16世纪说起。
在那之前，欧洲人连三次方程怎么解都不知道。古巴比伦人公元前就会解二次方程了，但三次、四次，人类卡了三千年。
16世纪意大利那边，有个叫塔尔塔利亚的，第一次搞出了三次方程的解法。
后来卡尔达诺把这个解法抄到了自己书里，这就是今天说的"卡尔达诺公式"。
卡尔达诺的学生费拉里更狠，顺手把四次方程也解了，用的是一招"降阶"，把四次方程想办法弄成一个三次方程，不就完事了嘛。
这一下整个数学界就兴奋了。
你想啊，二次、三次、四次都搞定了，那不就是一个一个往下推嘛？五次的解法，肯定马上也来了。
结果呢？
结果这一等，就是两百多年。
欧拉，那个欧拉，都试过。
他能把任何一个五次方程化简成x⁵+ax+b=0这种简洁形式，自我感觉良好，觉得通解指日可待，最后啥也没搞出来。
拉格朗日也试过。
他把四次方程那套"降阶"的招式原封不动搬过来，想把五次方程降成四次。结果你猜怎么着？不降反升，五次方程直接变成六次方程了。
拉格朗日写到这里，自己都愣了，在论文里嘀咕了一句：这问题是不是跟我作对？然后他就撤退了，转头去搞别的了。
高斯呢？高斯是聪明，他证明了n次方程一定有n个根，但他也没去碰"能不能用根式写出来"这个问题。他大概是隐约觉得，这事儿没那么简单。
你看，欧拉、拉格朗日、高斯，这三个什么级别的人物？人类历史上排得上号的脑子，全在这堵墙上撞过，全没撞开。
这时候就有个挪威小伙子站出来了，叫阿贝尔。1824年，他22岁，自费印了一本小册子，标题很直接：《一元五次方程没有代数一般解》。
他证明了一件什么事？他证明了：不存在一个通用的公式，能让你对随便一个五次方程，都只用加减乘除和开方把根算出来。
这个结论已经够震撼了。
但你仔细想想，它其实只回答了一半。
阿贝尔说的是"一般的五次方程"不行。那有没有"特殊的"五次方程行呢？
当然有。比如x⁵-1=0，这个方程的根就是五个5次单位根，写得明明白白。再比如x⁵-32=0，根就是2乘上那五个单位根。
所以真正的问题是：到底什么样的方程能用根式解，什么样的不能？ 阿贝尔到死都没回答这个问题。他1829年就病死了，才26岁，穷困潦倒，论文还被柯西那帮人扔进抽屉里吃灰。
而把这个问题彻底解决的，就是开头那个21岁决斗死掉的小伙子，伽罗瓦。
现在我们要进入最关键的部分了。
这部分理解了，你就理解了群论的精髓。
伽罗瓦干了一件特别反常识的事：他不去解方程了。
所有人都在一门心思想"怎么把根算出来"，伽罗瓦说，别算了，你就算把根算出来，也看不出名堂。
你应该盯着根和根之间的"关系"看。
什么意思？
拿一个标准的五次多项式来说：x⁵+ax⁴+bx³+cx³+dx²+ex+f=0，假设它的五个根是r₁、r₂、r₃、r₄、r₅。
初中数学学过韦达定理吧？系数和根之间是有固定关系的。
原标准的五次多项式的每一个系数都是都是根的一个对称函数，比如：
a = -(r₁+r₂+r₃+r₄+r₅)
b = r₁r₂+r₁r₃+r₁r₄+r₁r₅+r₂r₃+r₂r₄+r₂r₅+r₃r₄+r₃r₅+r₄r₅
你盯着这两个式子看一会儿，发现一个事没有？
你把r₁和r₂随便换个位置，a变不变？不变。b变不变？也不变。因为加和乘都是可交换的，r₁+r₂跟r₂+r₁一模一样。
再极端一点，你把五个根随便打乱、重排，不管怎么排，a、b、c、d、e、f这些系数，全都纹丝不动。
这就是关键。
伽罗瓦意识到：系数，本质上就是"那些不管你怎么排列根，都不会变的东西"。
那反过来，能让系数不变的那些"排列方式"，就构成了一个集合。五次方程五个根，全排列一共是5×4×3×2×1=120种。这120种排列，凑在一起，就叫一个"群"，数学上记做S₅。
到这里你可能还没感觉。
那我再往前推一步。
你想，我们解一个二次方程的时候，干了一件什么事？
我们开了个平方。
开平方这个动作，本质上就是在"对称群"里面砍掉一半的对称性。
二次方程的对称群是S₂，就两个元素（交换、不交换）。
开个平方，相当于你从两个根里面，挑出了r₁-r₂这个差，这个差在"交换"操作下会变号，所以你得再平方一次，才能把它变成对称的。
三次方程呢？要开三次方，相当于在S₃里面再砍一层。四次方程S₄，再砍一层。每开一次方，就相当于在群的"塔"上，往下走一层。
伽罗瓦证明的核心定理是这么一句话：
一个方程能用根式解，当且仅当它对应的那个"群"，可以一层一层地剥洋葱，每一层都剥得动。
这种"剥得动"的群，数学上叫"可解群"。
为什么到了五次就剥不动了？
现在最精彩的部分来了。
S₅这个群，有120个元素。伽罗瓦把它剥开，发现里面有一个子群叫A₅，包含60个元素。这60个元素是什么？是所有"偶排列"，就是那种必须交换偶数次才能达到的排列。
然后伽罗瓦证明了一件惊世骇俗的事：A₅这个群，是个"单群"。
什么叫单群？你可以理解成，它是那种"剥不开的硬核桃"。它里面没有更小的、正常的子群可以往下剥。它是最小颗粒度了。
而且A₅还不是阿贝尔群（非交换的）。这意味着你在这个层级上，没法用开方的方式把它消掉。
所以五次方程为什么没有根式解？
就一句话：因为A₅这个硬核桃，剥不开。
那为什么四次就行？因为四次对应的S₄群，剥开之后里面的层级都是能剥的，一路剥到底，全是阿贝尔小群，每一层都能对应一次开方操作。所以四次方程有解。
三次也行，二次更行。但只要n≥5，Sₙ里面就会冒出来Aₙ这个硬核桃，剥不动。
这就是为什么是五次，而不是六次、七次，也不是四次。
纯粹是因为A₅是人类碰到的第一个"非交换单群"。
再往下的n≥5，全是一个道理。
你看，这跟"计算难度"一点关系都没有。
不是说五次方程太复杂了算不动，而是它的"对称结构"本身，就不允许用开方这种方式把根表达出来。
这就是伽罗瓦比阿贝尔高明的地方。
阿贝尔只说了"不行"，伽罗瓦说的是"为什么不行，以及什么样的才行"。
按说伽罗瓦这么牛，应该顺风顺水吧？
非也。
他这辈子，用"倒霉透顶"形容都算轻的。
他15岁才开始正经学数学，两年就把老师的教材啃完了，然后直接去考巴黎综合理工学院。结果面试的时候，他嘴上说的东西太跳跃，考官根本跟不上，直接给他刷了。
他把自己的论文寄给柯西，柯西答应好好审阅，结果转头就把稿子弄丢了。你没听错，弄丢了。
他又写了一篇，提交给法国科学院评奖，负责的是傅里叶。结果傅里叶没看几页就死了，论文又找不着了。
他不死心，又写了一篇寄给泊松。泊松看完，憋了半天，在纸上写了四个字："不可理解"。
一个20岁不到的小伙子，呕心沥血搞出来的东西，被当时全法国最顶尖的几个数学家，不是弄丢，就是看不懂。换你你崩不崩溃？
伽罗瓦直接崩了。
他跑去参加政治运动，喊出一句特别中二的话："如果需要一具尸体来唤醒人民，我愿意献出我的。"
然后就在这种情绪里，他卷入了一场说不清道不明的决斗。
对面是谁、为了什么女人，到今天历史学家都没搞清楚。
他自己其实也知道赢不了，决斗前一晚，他一边赶手稿，一边在不同段落的空白处写下"我没有时间了"、"这个论证还没完成"这种话。
他临死前把所有手稿托付给一个朋友，说："一定要让懂的人看到。"
朋友照做了。
把手稿寄给高斯，寄给雅可比，全都石沉大海。
直到1843年，也就是伽罗瓦死了11年之后，法国数学家刘维尔终于把这些稿子一篇一篇读完，拍案叫绝，亲自在科学院上宣讲。
这时候，全世界才反应过来：哦，原来1832年那个决斗死掉的小孩，早就把五次方程的事彻底解决了。
这时候离他提出这个理论，已经过去了13年；离阿贝尔证明"一般五次不可解"，过去了19年；离三次方程被解出来，过去了311年。
故事讲到这里，按理说该结束了。
但如果你觉得伽罗瓦的贡献就是"解答了一个老掉牙的数学题"，那格局小了。
群论这东西，从诞生那天起，就不是为了"解方程"而存在的。它是一个全新的思考方式。
在伽罗瓦之前，数学家干活的方式是"算"。
给你一个方程，你想办法把数算出来。
伽罗瓦之后，数学家开始看"结构"。
不管你算不算是，先看这个东西的对称性是什么样的，对称性决定了它能干什么、不能干什么。
这个思路一放出去，整个数学界都换了脑子。
先说近的。
古希腊三大作图难题，三等分任意角、倍立方、化圆为方，这三个问题卡了两千年，最后全是用伽罗瓦这套方法解决的。
结论是：这三个东西，只用直尺圆规根本做不出来。
原因跟五次方程一模一样：你想加出来的那些数，对应的对称群，是剥不动的。
再说远的。
20世纪物理学有个大事，叫"规范场论"。
杨振宁跟米尔斯1954年搞出来的这东西，是今天粒子物理标准模型的基础。而规范场论的数学语言，就是"李群"和"李代数"，说白了就是一种连续版本的群。
你手机里的芯片、医院里的核磁共振、欧洲那个几十亿欧元搞的大型强子对撞机，背后全在玩对称性。而"用对称性描述物理"这个思路，老根儿就在伽罗瓦这里。
再往更玄了说。
今天数学界有个最大的纲领，叫"朗兰兹纲领"，被人叫做"数学的大统一理论"。
它想干什么？
它想把数论、代数几何、表示论这些看起来八竿子打不着的东西，用一座桥连起来。而这座桥的核心构件，还是"伽罗瓦群"。
还有那个日本数学家望月新一，搞了一大堆天书一样的"宇宙际Teichmüller理论"来证明abc猜想，虽然到底对不对还有争议，但他那套东西，追根溯源，也是在伽罗瓦群的延伸线上。
你看，伽罗瓦21岁死掉的时候，可能自己都没想到，他那几页匆忙的手稿，后来能长成这么大的一片森林。
写到这里，我自己都有点感慨。
你回头看这段历史，会发现一件很有意思的事：五次方程不可解，不是因为人类不够聪明算不出来，而是因为"可解"这件事本身，在结构上就不成立。
这跟我们平时遇到的绝大多数问题都不一样。
平时你说"这事儿难"，潜台词是"再多花点时间、再聪明点，总能搞定"。
但伽罗瓦告诉你，有些事，从根儿上就定死了，不是你努不努力的问题。
而且更有意思的是，这个"根儿上定死"的东西，不是藏在方程里，而是藏在你看方程的方式里。
所有人都在低头算根的时候，伽罗瓦抬头看了一眼根和根之间的关系，事情就全变了。
毕卡后来评价伽罗瓦，说了一句挺狠的话："就伽罗瓦概念和思想的独创性与深刻性而言，任何人都难以与之相比。"
我读完这段历史，最大的感受其实不是"天才好厉害"，而是另一件事：
一个21岁的人，在决斗前的那一夜，明第二天大概率会死，他赶出来的东西不是情书、不是遗嘱、不是抱怨，而是一个他相信"后世会有人懂"的数学证明。
而他的时代，确实花了十几年，才真的"懂"。
有时候你想想，人类这种生物，挺有意思的。
一群人坐在抽屉里、垃圾桶里、病床边，把一个小孩的草稿纸放了十几年、几十年，然后慢慢认出来：哦，这东西原来是对的。
科学这玩意儿，说到底，就是这样一代一代、一个接一个，把那些"当时没人看得懂"的东西，慢慢捡起来、读懂、接下去。
至于那个21岁的小伙子有没有看到这一天，其实不重要。
他知道自己写下的是什么。这就够了。
热门跟贴