解:

你真的会解方程吗?今天我们从简单的解方程开始,为大家介绍一位英年早逝的数学家的工作,从这些工作中我们将看到优美的对称性,以及蕴含在其中的和谐奥妙。

尼尔斯·亨里克·阿贝尔

1824年,年轻的挪威数学家尼尔斯·亨里克·阿贝尔取得了一个与某类方程相关的令人震惊的结果。不久之后,法国天才数学家埃瓦里斯特·伽罗瓦以深入的眼光证明了这一结果为什么是正确的——并在这个过程中开创了用数学研究对称性的先河。可惜两人都英年早逝,阿贝尔于1829年死于肺结核和贫困,时年26岁;伽罗瓦死于1832年,他在一场据称是为了争夺一个女人而进行的决斗中被杀死。当时他只有二十岁。
那么他们做出了什么样的工作?方程和对称性又有什么关系?

解方程

最著名的公式之一是二次方程的通解公式,如果方程写为:
那么通解公式就可以告诉我们方程的解为:
以及
无论a,b,c的值是多少,这个公式都可以告诉你解是多少。它们使用起来很方便。
这有一个类似的但复杂得多的公式可以告诉你三次方程的通解,方程的形式为:
还有一些更复杂的方程可以告诉你四次方程的通解,这些方程可以写为:
虽然关于二次,三次,四次方程的通解公式看起来有些复杂,但是它们只包含了有限个运算操作:加、减、乘、除、开平方、开三次方、开四次方。
很显然,你接下来会问,我们可以为五次方程找到一个类似的通解公式吗?
更一般的,包含x高阶项的多项式方程的通解公式长什么样子?

伽罗瓦画像  在他死后16年的1848年,由他的兄弟根据记忆所作

我们想要的是一个公式,这个公式只包含加减乘除和求根操作。如果一个方程具有这样一个通解公式那么我们说这个方程是有根式解的。
1824年阿贝尔证明的结论是:对于一般的五次方程,不存在根式解。当然,这并不意味所有的五次方程都是没有根式解的。例如,多项式方程:
拥有一个解:

但是对于一般的五次方程,确实不存在一个普适的根式解公式。
阿贝尔证明了这一结果,但几年后,伽罗瓦才真正意识到为什么五次方程不存在根式解。伽罗瓦常被认为群论的奠基人,群论是一门研究对称性的数学。 我们通常认为对称性是一种视觉现象:一幅画或图案可能是对称的。但是对称性和方程有什么关系呢?答案有些微妙,但非常美丽。

不变的对称性

首先,让我们思考对称性真正的含义。我们说一个正方形是对称的是因为我们将它绕着中心轴旋转90度,或者将它对于各种轴做反射操作并不会改变它的外观。所以对称性意味着没有变化:如果我们对某个物体进行某种操作之后并没有改变它,那么它就具有对称性
当我们思考二次方程式,我们可以发现少许对称性。例如,二次方程
拥有两个解
方程具有两个离散的解,但是某种意义上,它们非常相似:只需在一个解上加上一个负号就可以得到另一个解。也许交换两个解并不会带来什么不同,就像对正方形做镜像操作一样意味着一种对称性一样,交换方程的两个解也许也意味着某种对称性。但究竟是哪种对称性呢?

加入无理数

为了理解这些结果,让我们考察一下方程所包含的数字:
方程的系数是1和-2:两个系数都是有理数。但是它的解却是两个无理数:你无法将

写成两个整数相除的形式。多数二次方程的解都是无理数,因此只考虑方程的系数是不够的。

让我们把视野放宽一点。我们不光考察一组有理数(写作

),我们还要考察一组新的数,这组数写作

。这组数包含所有可以写作

的数,其中a和b是有理数。很显然,新的一组数包含所有的有理数(b=0),同时也包含前面二次方程的两个解

新的一组数是自包含的( self-contained):你可以将其中的两个数相加、相减、乘或者相除,得到的结果仍然在这组数里。在数学中,

被称为一个域(field)。在代数操作下的自包含性是域的基本特性。事实上,

是包含所有有理数以及

的最小的域。

交换两个解

现在我们回到将两个解

进行交换的想法。在

中将所有的

进行交换,我们可以用函数f来表示这种交换操作:

将f作用在

中的所有数上并不会改变

也不会改变它的结构。并且,它并不会改变这个域中的所有有理数。

很显然,f并不改变域中的有理数,对于无理数,经f作用后仍然处于

中。(因为

中的一个数,

也是

中的一个数)

更进一步,将f作用在

上保持加减乘除的结构。假设你对

中的两个数

进行加、减、乘、除操作得到新的数

,然后将

进行加、减、乘、除可以得到

在某种意义上,函数f是方程

的一个对称变换。它不会改变

。函数f被称为域

-自同构:它是从

到自身的双射函数,它不改变

中的数并且保持

在代数操作下的结构。

伽罗瓦群

还有其它的

-自同构变换吗?答案是肯定的,其实还有一个

-自同构变换,尽管这个自同构变换很平庸。它使

中的每个数保持不变。用函数表示就是:

-自同构集合(也就是方程的对称性的集合)只包含g和f两个元素。

一个事物,无论它是一个图形还是一个方程,它的对称性的集合构成一个群。这个系统是自包含的原因是两个对称变换的组合仍然构成一个对称变换。在我们的例子中,将对称变换f连续两次作用在一个数上不会改变这个数:
类似的,先作用f后作用g,或者先作用g后作用f的组合构成了f,而g和g的组合仍然是g。我们的方程的对称性构成的群包含两个

-自同构g和f,它被称为方程

伽罗瓦群

为何解不出一般的五次方程?

我们可以对其他任意多项式做类似的事情,例如对一个五次方程:
a,b,c,d,e和f是有理数。同样的,我们可以将有理数域

扩展成包含

方程的解的最小的域

。它被称为

的分裂域(splitting field)

就像我们对二次方程

做的那样,你可以观察一下这个分裂域的对称性。它的

-自同构包含不改变域内数字的自同构变换和不改变域的结构的自同构变换,它们构成

的伽罗瓦群。

纪念伽罗瓦的法国邮票

伽罗瓦所能证明的是,一个方程是否有根式解,取决于它的伽罗瓦群的结构。有时候伽罗瓦群可以被分成更小的分量,它们和取n次方根有关。如果是这种情况,那么方程拥有根式解。
然而,如果它无法以恰当的方式分被解成更小的分量,如果你不能把对称性分离出来,那么你就找不到一个只涉及加、减、乘、除和求根的通解,在这种情况下,方程不存在根式解。
我们可以证明,五次方程并不能以恰当的方式分解。因此,五次方程不存在根式通解。对于包含x的更高次幂的多项式方程也是一样的:它们没有根式通解。用群论研究方程的解被称为伽罗瓦理论,这一理论以其发明者的名字命名。
封面图来源:Pixabay
(0)

相关推荐

  • 数学语言与现实世界

    从古希腊的"自然界是按数学规律设计的", 到马克思的"一门科学,只有当它成功地运用数学时,才能达到真正完善的地步",再到现代的"高技术就是数学技术&q ...

  • 胎元命宫详解

    胎元命宫详解 胎元命宫 8.1 胎元 胎, 指人受精怀胎的月份. 其起法是: 人生月后紧接着这个月的天干与生月后第三个月的地支相配, 就为胎元. 如1998年八月生人, 八月为辛酉, 辛后一干是壬, ...

  • 【新提醒】存解

    【新提醒】存解

  • 【新提醒】存解,网格

    这个狮子图我是不是没有存啊 来自安卓APP客户端 本主题由 十二蓝 于 2021-3-24 20:22 审核通过

  • 批八字算婚姻详解

    批八字算婚姻详解 很多人喜欢在孩子一出生的时候就给他们算一下八字,因为他们相信孩子的八字和命运是相对注定了的,通过算命之后可以顺利的避免一些可能在生活中遇到的一些问题和坎坷,也可以顺利度过一些&quo ...

  • 电视选购12个重要参数详解,看完你就是专家,附:爆款推荐

    本内容来源于@什么值得买APP,观点仅代表作者本人 |作者:白云上的鱼 创作立场声明:分享电视选购知识,重要参数详解,轻松搞定电视选购. 目前电视的选择太多太多了,品牌百花齐放琳琅满目,各种高科技加成 ...

  • 新订王氏罗经透解

    新订王氏罗经透解

  • 灵素之问 | 六经病欲解时的唯一价值

    原创 忆忘 腔调中医 3月19日 灵素之问 还原古人观察视角和中医经验理法的演进. 栏主 忆忘先生,从事临床工作,研习传统文化和中医经典,索求源流,力图还原古人的观察视角和经验及理法的演进. 太阳病欲 ...

  • 倪海厦:病是问出来的|问诊十法详解

    倪海厦,美国经方中医,被喻为当代少见的"命.相.卜.山.医"五术兼备之旷世奇人. (倪师)中医的问诊十个法则 我们经方家的问诊非常重要,因此有必要为读者说明一下,如何找经方家看病, ...

  • 为何医生让他把氨氯地平换成缬沙坦?药师详解两类降压药的好与坏

    硝苯地平.氨氯地平.缬沙坦.氯沙坦等等,这些降压药都是高血压患者常用的降压药.从名字中也可以看出这些降压药属于两类不同的降压药,一种是地平类,即为钙离子拮抗剂(CCB),另外一种是沙坦类,即为血管紧张 ...

  • 《古典轻音乐》优美动听的音乐带走你的疲惫和烦恼,舒缓解压失眠

    《古典轻音乐》优美动听的音乐带走你的疲惫和烦恼,舒缓解压失眠