|
|

楼主 |
发表于 2026-9-21 12:50
|
显示全部楼层
三,阿贝尔的证明:五次方程“不能”被根式解
在深入了解阿贝尔的证明之前,我们需要先搞清楚一个问题:什么叫“有根式解”?所谓根式解,就是要求一个公式,这个公式只允许使用以下五种运算:
加、减、乘、除、开方 (其中开方可以是开任意次方,且这个运算有些特殊,稍后会讲)
二次方程的求根公式就是这样一个公式——你把系数 a,b,c 代进去,经过几次加减乘除和开平方,就能得到 x 的值。三次、四次方程也有这样的公式。
阿贝尔证明的是:对于一般形式的五次方程,这样的公式不存在。
那他是怎么证明的呢?下面我用五步来拆解他的思路。
3.1 先假设它存在
阿贝尔用的是一种非常经典的数学证明策略——反证法。他先假设:一般五次方程确实有一个根式解公式。也就是说,方程的根 x 可以写成系数 a,b,c,d,e 经过有限次加减乘除和开方得到的某个表达式。这个表达式可能长得吓人——可能包含多层嵌套的根号,比如下图:
但不管它多复杂,它的本质是固定的:从系数出发,一步一步地做加减乘除和开方(开任意次方),最终得到根。
3.2 把“根式公式”拆开来看
阿贝尔接下来做了一件事:他仔细分析了任何一个根式表达式的结构。他发现,不管一个根式表达式有多复杂,它都有一个共同的特点——它是一层一层“搭”出来的。打个比方。假设你从系数 a,b,c,d,e 出发:
第一步:你可以对它们做加减乘除,得到一些新的数;
第二步:你可以对这些新的数开平方或开立方,得到更多新的数;
第三步:你又可以对新的数做加减乘除或开方……如此继续,直到最后得到方程的根 x。
关键在于:每当你做一次“开方”操作,你就在数学上引入了一种新的“对称性”。
3.3 什么叫“对称性”?——用一个简单的例子
“对称性”这个词听起来很抽象,但我们用一个具体的例子就能看明白。考虑一个最简单的二次方程和它的两个根:
现在我问你一个问题:你能不能用只包含有理数和加减乘除开方的表达式,把 它们区分开?
答案是:不能。
为什么?因为这两个数在代数上是“孪生兄弟”。
这就是阿贝尔说的对称性——把两个根互换,整个代数表达式纹丝不动。就像镜子两边的影像,在代数的世界里无法区分。对于一般的二次方程,它的两个根只有一种对称操作:交换它们(或者不交换)。只有两种可能性。
对于三次方程,三个根之间有 3!=6 种可能的排列方式;
对于四次方程,有 4!=24 种。
3.4 关键发现
阿贝尔发现了一个至关重要的事实:每当你进行一步“开方”操作,你能够拥有的对称性就会受到限制。在没开方之前,我们只有有理数(比如 0, 1, 2)。根都是有理数的世界里,当你执行“开平方”这个操作时,你强行把两个正负根号 2 ,同时揪了出来。开方操作有一个铁律:它必须成对出现。你不可能只得到一个正数(0 除外)。
关键的逻辑来了:
因为开方必须“成对”产生新数,所以这两个新数之间就被迫绑定了一种关系——在数学上,这种关系叫做“共轭”。阿贝尔所谓的“限制”,指的就是这种“绑定”关系。如果没有开方,五个根之间可以任意乱窜(120 种自由排列)。但你每开一次方,就得像用绳子把某些根“拴”在一起。被拴住的根,就不能随意乱窜了,只能成对地(或成组地)整体移动。
我们可以把方程的解想象成一组“积木块”。
没有任何限制时:这 5 块积木(五个根)是绝对自由的,你可以把它们以 5!=120 种方式任意摆放。这就是五次方程原本拥有的巨大对称性。
当进行“加减乘除”时:这只是把积木重新拼凑,不会改变积木的“形状”,所以对称性不受影响。
当进行“开方”时:情况变了。开方相当于你要把几块积木用强力胶水粘在一起,形成一个特定的“小组件”。
这个“强力胶水”的致命弱点:不管你用的是开平方、开立方还是开五次方,这种“胶水”粘出来的“小组件”都只能是一种非常简单的模式(循环模式)。比如,要么是两块积木互换(2 次循环),要么是三块积木轮流转(3 次循环)。
只要你使用“开方”这种工具,你所粘出来的“小组件”永远只能是这种简单模式。关键的结论是:我们永远无法用这种简单的小组件,拼凑出那 120 种完全自由的排列状态。因为五次方程要求的 120 种对称性里,含有一种极其复杂的“非循环”结构,这种结构无法用这些简单的“胶水组件”粘出来。
所以,阿贝尔说:开方操作产生的对称性,受到了“只能形成循环组件”的限制。用更通俗的话说:五次方程的根的对称性太复杂了,复杂到任何只靠开方和四则运算的公式都无法捕捉它。
阿贝尔的证明是伟大的,但它有一个重要的局限。他证明了:一般的五次方程没有根式解。但他没有给出一个方法来判断:给定一个具体的五次方程,它到底能不能用根式解?
这个更精细的标准,后来由伽罗瓦给出了。
四,伽罗瓦的洞察:用“对称群”来理解一切
伽罗瓦的回答方式非常特别——他没有沿着阿贝尔的路继续走,而是换了一个全新的角度。他把问题从“怎么计算”变成了“研究结构”。用一句话概括他的核心思想:
把解方程的问题,转化成研究“对称群”结构的问题。
这个想法在当时是石破天惊的。
4.1 从“解方程”到“看对称性”
我们先回顾一下阿贝尔发现的“对称性”这个概念。对于二次方程它的两个根 是可以互换的——互换之后,所有代数表达式不变。这种互换就是一种“对称操作”。对于三次方程,三个根可以任意排列,有 3!=6 种互换方式。对于四次方程,有 4!=24 种。
伽罗瓦的问题是:这些“互换方式”本身,能不能构成一个有意义的整体?
答案是:能。
这些互换方式放在一起,构成了一个群——现在叫做对称群。
“群”是什么?
你可以把它理解为一组操作的集合,这些操作之间可以按照一定规则组合在一起。比如“把根 1 和根 2 互换”是一个操作,“把根 2 和根 3 互换”是另一个操作。你先做一个、再做另一个,会得到一个新的操作。把这些操作全部放在一起,形成一个整体,就叫一个“群”。
对于一般的五次方程,五个根之间的所有互换方式共有:5!=120 种。这 120 种操作构成了一个群。
4.2 二次方程和三次方程的可解
伽罗瓦定义了一个概念叫做“可解群”(solvable group)。一个群是“可解的”,如果它可以被一步步“拆解”成一系列非常简单的部分——每个部分都像二次方程的对称群那样简单。“简单” = 操作顺序无所谓。伽罗瓦证明了:
一个方程能用根式解,当且仅当它的对称群是“可解群”。
这个定理的美妙之处在于:它把“解方程”这个看起来完全是计算的问题,转化成了“研究群的结构”这个抽象的、但更清晰的问题。
为了对比,让我们看看低次方程的情况。
二次方程,假设有两个根,我叫它们 ①、② 。群是 S2 ,只有 2 个元素,因此它只有两个动作:
● 不动:保持两个根不变, ①② → ①②
● 交换:把两个根互换,①② → ②①
这 2 个动作的特点是:顺序无所谓。比如下列的操作结果是一样的。
先做“交换”再做“不动”: ①② → ②①→ ②①
先做“不动”再做“交换”: ①② → ①② →②①
无论你怎么组合,结果都一样。数学上把这种“顺序无所谓的群”叫做可解群。二次方程的对称群 S2 满足顺序无所谓,所以是可解群。
三次方程的对称群是 S3 ,有 6 个元素——它也可以被拆解成简单的步骤。我们来看一下怎么拆解。假设三次方程有三个根,我叫它们
①、②、③。我可以打乱它们的顺序,所有可能的打乱方式一共有 6 种:
● 不动:①②③ → ①②③
● 循环轮换:①②③ → ②③①(往左挪一位)
● 反向轮换:①②③ → ③①②(往右挪一位)
● 交换 ① 和 ② :①②③ → ②①③
● 交换 ① 和 ③ :①②③ → ③②①
● 交换 ② 和 ③ :①②③ → ①③②
这 6 个动作就是 S3 。我们把 6 个动作分成两堆:
温和:3个旋转动作 (不动,循环轮换,反向轮换)
粗暴:3个交换动作(交换 ① 和 ② ,交换 ① 和 ③ ,交换 ② 和 ③ )
这两堆之间遵循什么规则?
温和 + 粗暴 = 粗暴+温和 ,
比如: 循环轮换 + 交换 ① 和 ② = 交换 ① 和 ② + 循环轮换
在这个层面,我们只关心“这堆是温和还是粗暴”,不关心具体是哪个动作。所以,第一步拆下来的,本质上和二次方程的 S2 一模一样——只有 2 种状态,顺序无所谓。
我们先看一下温和部分
不动 +循环轮换 = 循环轮换 + 不动
循环轮换 +反向轮换 = 不动 = 循环轮换 +反向轮换
不动 + 反向轮换 = 反向轮换 + 不动
基于上述的操作,也可以看出顺序无所谓。所以 S3 同样是可解群。
同理:现在我们把“粗暴堆”单独拎出来看。它有3个动作:
交换 ① 和 ② :①②③ → ②①③
交换 ① 和 ③ :①②③ → ③②①
交换 ② 和 ③ :①②③ → ①③②
这 3 个动作之间是什么关系?
交换 ① 和 ② + 交换 ① 和 ③ = 交换 ① 和 ③ + 交换 ① 和 ② = ②③①
交换 ① 和 ② + 交换 ② 和 ③ = 交换 ② 和 ③ + 交换 ① 和 ② = ③①②
交换 ① 和 ③ + 交换 ② 和 ③ = 交换 ② 和 ③ + 交换 ① 和 ③ = ②③①
基于上述的操作,可以看出顺序无所谓。所以 S3 同样是可解群
因此三次方程有求根公式。
4.3 五次方程的问题
对于五次方程,它有 5 个根,总共 120 种打乱方式。伽罗瓦发现,当你试着去“分组打包”的时候,遇到了一个问题:拆到某一步,你遇到了一个叫 A5 的团伙,里面有 60 个动作。其中有两个特殊
● 三连环:三个数循环转一圈,①→② , ②→③ , ③→① ,④ 和 ⑤ 不动。也就是 ①②③④⑤ → ②③①④⑤ 。
● 五连环:五个数循环转一圈,①→② , ②→③ , ③→④ , ④→⑤ , ⑤→① 。也就是:①②③④⑤ → ②③④⑤①
问题出在“三连环”和“五连环”是死死焊在一起的。
比如: 一个三连环 A(①→②→③)和一个三连环 C(③→④→⑤)。
把它们组合在一起(先 A 后 C),就得到了一个五连环。不可能把“三连环”单独圈出来组成一个更小的团伙。因为只要你把两个不同的三连环放在一起,它们组合起来,就会产生一个五连环。而一旦产生了五连环,五连环又可以通过类似的方式产生更多的三连环……最终,三连环和五连环会像“双胞胎一样互相纠缠”,形成一个无法分割的整体。
这就是为什么二次、三次、四次方程有求根公式,而五次方程没有的根本原因。
五,尾声
阿贝尔和伽罗瓦有许多相似之处。
英年早逝:阿贝尔 26 岁死于贫困和疾病;伽罗瓦 20 岁死于决斗。两人的生命加起来还不到 50 年。
工作都被同时代的大数学家忽视了:阿贝尔的论文被柯西弄丢,被高斯无视;伽罗瓦的论文被傅里叶遗忘、被泊松退回。
价值都是在死后才被承认的:阿贝尔在 1830 年——他去世一年后——被追授法国科学院大奖;伽罗瓦的手稿直到 1846 年才由刘维尔整理发表。
今天,阿贝尔的名字以各种方式留在数学中:阿贝尔求和公式、阿贝尔积分、阿贝尔簇,以及 2002 年挪威政府设立的阿贝尔奖。“阿贝尔群”这个词出现在每一本抽象代数教科书中——尽管阿贝尔本人从未听说过“群”这个词。
伽罗瓦的名字则冠名于他所创立的整个理论——伽罗瓦理论——这已经成为现代数学不可或缺的基础。伽罗瓦在生命的最后一夜写下了人类思想史上最深奥的文字之一。那些文字要等十几年后才被读懂,要等几十年后才被承认,要等一百多年后才成为每一个数学系学生的必修课。
阿贝尔和伽罗瓦用短暂的生命,改变了人类对世界的认知。
而五次方程没有求根公式这件事,恰恰是数学哲理的一种体现:有些问题的答案,不是简单的“有”或“没有”,而是一个更深刻的问题——“为什么”。
六,参考文献
1. Rice, A. “200 Years Ago: Abel's Resolution of the Quintic Question.” Notices of the American Mathematical Society, 2026.
2.“Abel–Ruffini theorem.” Wikipedia.
3.“Niels Henrik Abel.” Abel Prize Official Website.
4.“Niels Henrik Abel.” MacTutor History of Mathematics Archive.
5.“Evariste Galois.” Wikipedia.
6.“Evariste Galois.” MacTutor History of Mathematics Archive.
7. Gardner, B. “The Bicentennial of Evariste Galois.” East Tennessee State University.
叙数淡化讲理 |
本帖子中包含更多资源
您需要 登录 才可以下载或查看,没有帐号?注册
x
|