先把时间拨回到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岁决斗死掉的小伙子，伽罗瓦。 现在我们要进入最关键的部分了。 这部分理解了，你就理解了群论的精髓。 伽罗瓦