你所热爱的,就是你的生活
🌞

【口胡】五次方程为何没有求根公式

%教程#群论📖 208

为什么五次方程没有求根公式呢?本文将口胡伽罗瓦理论来证明五次及以上的方程没有求根公式。

本文内容基本来自这个口胡视频,因此你也可以直接去看这个视频。

五次以下方程的求根公式

对于五次以下的方程数学家们老早就帮我们找好了求根公式。

一次方程

对于一元一次方程 ax+b=0ax+b=0 易知有解 x=bax=-\frac ba

二次方程

对于一元二次方程 ax2+bx+c=0ax^2+bx+c=0(其中 a,b,cR,a0a,b,c\in\mathbb R,a\neq 0),根据代数基本定理可知,该方程有两个复数根,设其为 x1,x2x_1,x_2,于是我们可以将方程改写为 a(xx1)(xx2)=0a(x-x_1)(x-x_2)=0,即 ax2a(x1+x2)x+ax1x2=0ax^2-a(x_1+x_2)x+ax_1x_2=0,与原式联立得

{x1+x2=bax1x2=ca\begin{cases} x_1+x_2=-\frac ba \\ x_1x_2=\frac ca \end{cases}

因此有

(x1x2)2=(x1+x2)24x1x2=(ba)24ca=b24aca2\begin{aligned} (x_1-x_2)^2&=(x_1+x_2)^2-4x_1x_2\\ &=(-\frac ba)^2-4\frac ca \\ &=\frac{b^2-4ac}{a^2} \end{aligned}

可得

x1x2=±b24acax_1-x_2=\pm\frac{\sqrt{b^2-4ac}}{a}

又已知

x1+x2=bax_1+x_2=-\frac ba

联立得

x1,x2=b±b24ac2ax_1,x_2=\frac{-b\pm\sqrt{b^2-4ac}}{2a}

三次方程

对于一元三次方程 ax3+bx2+cx+d=0ax^3+bx^2+cx+d=0,为简化问题,我们将每一项的系数都除以 aa,得到 x3+Ax2+Bx+C=0x^3+Ax^2+Bx+C=0

x=yA3x=y-\frac A3 带入上式得

(yA3)3+A(yA3)2+B(yA3)+C=0(y3Ay2+A23yA327)+(Ay22A23y+A39)+(ByAB3)+C=0y3+(BA23)y+(2A327AB3+C)=0\begin{aligned} (y-\frac A3)^3+A(y-\frac A3)^2+B(y-\frac A3)+C&=0 \\ (y^3-Ay^2+\frac {A^2}3y-\frac {A^3}{27})+(Ay^2-\frac {2A^2}3y+\frac{A^3}9)+(By-\frac {AB}3)+C&=0\\ y^3+(B-\frac{A^2}3)y+(\frac{2A^3}{27}-\frac{AB}3+C)&=0 \end{aligned}

从而我们去掉了二次项。令 p=BA23,q=2A327AB3+Cp=B-\frac{A^2}3,q=\frac{2A^3}{27}-\frac{AB}3+C,可简写为

y3+py+q=0y^3+py+q=0

设原三次方程的其中一个解为 x1x_1,令 y1=x1+A3=m+ny_1=x_1+\frac A3=m+n(其中 m,nm,n 为任取),则有

(m+n)3+p(m+n)+q=0m3+n3+3mn(m+n)+p(m+n)+q=0(m+n)(p+3mn)+(q+m3+n3)=0\begin{aligned} (m+n)^3+p(m+n)+q&=0\\ m^3+n^3+3mn(m+n)+p(m+n)+q&=0\\ (m+n)(p+3mn)+(q+m^3+n^3)&=0 \end{aligned}

假设我们取的 m,nm,n 满足

(m+n)(p+3mn)=q+m3+n3=0(m+n)(p+3mn)=q+m^3+n^3=0

可得

{m3+n3=qmn=p3\begin{cases} m^3+n^3=-q \\ mn=-\frac p3 \end{cases}

由于

(m3n3)2=(m3+n3)24m3n3=q2+4p327\begin{aligned} (m^3-n^3)^2&=(m^3+n^3)^2-4m^3n^3 \\ &=q^2+\frac{4p^3}{27} \end{aligned}

于是有

m3n3=±q2+4p327m^3-n^3=\pm\sqrt{q^2+\frac{4p^3}{27}}

联立解得

m3,n3=q2±q24+p327m^3,n^3=-\frac q2\pm\sqrt{\frac{q^2}4+\frac{p^3}{27}}

m,n=q2±q24+p3273m,n=\sqrt[3]{-\frac q2\pm\sqrt{\frac{q^2}4+\frac{p^3}{27}}}

于是可以得到

x1=m+nA3=q2+q24+p3273+q2q24+p3273A3\begin{aligned} x_1&=m+n-\frac A3 \\ &=\sqrt[3]{-\frac q2+\sqrt{\frac{q^2}4+\frac{p^3}{27}}}+\sqrt[3]{-\frac q2-\sqrt{\frac{q^2}4+\frac{p^3}{27}}}-\frac A3 \end{aligned}

对于三次方程 x3=1x^3=1,可以化为

(x1)(x2+x+1)=0(x-1)(x^2+x+1)=0

因此可以求得其三个根分别为

{x1=1x2=1+3i2x3=13i2\begin{cases} x_1=1\\ x_2=\frac{-1+\sqrt{3}i}2\\ x_3=\frac{-1-\sqrt{3}i}2 \end{cases}

ω=x2=1+3i2\omega=x_2=\frac{-1+\sqrt{3}i}2,则原三次方程的另外两个根即为

{x2=ωm+ω2nA3x3=ω2m+ωnA3\begin{cases} x_2=\omega m+\omega^2n-\frac A3 \\ x_3=\omega^2m+\omega n-\frac A3 \end{cases}

四次方程

同上,对于四次方程 x4+ax3+bx3+cx2+dx+e=0x^4+ax^3+bx^3+cx^2+dx+e=0,将 x=ya4x=y-\frac a4 带入可以消去三次项。将带入后所得的新方程设为 y4+Ay2+By+C=0y^4+Ay^2+By+C=0,将其写成两个二次方程的乘积

(y2+ky+l)(y2+my+n)=0(y^2+ky+l)(y^2+my+n)=0

展开后得

y4+(k+m)y3+(l+km+n)y2+(lm+kn)y+ln=0y^4+(k+m)y^3+(l+km+n)y^2+(lm+kn)y+ln=0

对比系数得

{k+m=0l+km+n=Alm+kn=Bln=C\begin{cases} k+m=0 \\ l+km+n=A \\ lm+kn=B \\ ln=C \\ \end{cases}

解方程组得

m=k{l+n=A+k2nl=Bk{2n=A+k2+Bk2l=A+k2Bk(A+k2+Bk)(A+k2Bk)=4Cm=-k \\ \Rightarrow \begin{cases} l+n=A+k^2 \\ n-l=\frac Bk \\ \end{cases} \\ \Rightarrow \begin{cases} 2n=A+k^2+\frac Bk \\ 2l=A+k^2-\frac Bk \\ \end{cases} \\ \Rightarrow (A+k^2+\frac Bk)(A+k^2-\frac Bk)=4C

化简即得

k6+2Ak4+(A24C)k2B2=0k^6+2Ak^4+(A^2-4C)k^2-B^2=0

这是一个关于 k2k^2 的一元三次多项式,因此 k2k^2 可解,即 kk 可解,从而 l,m,nl,m,n 均可解。

易知四次方程的其中两个根 y1,y2y_1,y_2 为二次方程 y2+ky+l=0y^2+ky+l=0 的两个根,k,lk, l 均可解,于是 y1,y2y_1,y_2 也均可解。

同理,另外两个根 y3,y4y_3,y_4 满足 y2+my+n=0y^2+my+n=0,均可解。

至此原四次方程的四个根都可解。

最后的结果过于复杂此处略去。

群论

定义

一个群由一个集合 GG 和一个二元运算(一般为 “\cdot”)构成,并且要满足以下四个群公理:

  1. 封闭性:对于 a,bG\forall a,b \in G,满足 abGa \cdot b \in G
  2. 结合律:对于 a,b,cG\forall a,b,c \in G,满足 a(bc)=(ab)ca \cdot (b \cdot c)= (a \cdot b) \cdot c
  3. 单位元:存在唯一 eGe \in G 使得对于 aG\forall a \in G 满足 ae=aa \cdot e = a
  4. 逆元:对于 aG\forall a \in G,存在 a1Ga^{-1} \in G 满足 aa1=ea \cdot a^{-1}=e

比如,所有整数(Z\mathbb Z)和加法操作满足群公理,因此可以称为一个群,我们将其称为整数加法群,记为 Z,+\langle\mathbb Z, +\rangle

同样道理的还有 Q,+\langle\mathbb Q, +\rangleR,+\langle\mathbb R, +\rangle 以及 C,+\langle\mathbb C, +\rangle

值得注意的是 R,×\langle\mathbb R, \times\rangle 并不是群,因为 00 没有逆元。R{0},×\langle\mathbb R - \{0\}, \times\rangle 则是一个群。

群的阶即为集合的元素个数,记为 G|G|

阿贝尔群

对于一个群 GG,如果对于 a,bG\forall a,b \in G 都满足 ab=baa \cdot b = b \cdot a(交换律),则称该群为阿贝尔群

置换,轮换与对换

对于一个仅由三个元素构成的排列 (1,2,3)(1, 2, 3),我们可以知道其存在 66 种不同的置换并且可以组成一个群,我们将这个群记为 S3S_3

置换记号结果
什么也不干ee(1,2,3)(1, 2, 3)
所有元素左移一位a1a_1(2,3,1)(2, 3, 1)
所有元素左移两位a2a_2(3,1,2)(3, 1, 2)
对换第一个和第二个b1b_1(2,1,3)(2, 1, 3)
对换第一个和第三个b2b_2(3,2,1)(3, 2, 1)
对换第二个和第三个b3b_3(1,3,2)(1, 3, 2)

其中每两种置换都可以复合,即先执行第一个再执行第二个。

如果置换 hh 等价于先执行 ff 后执行 gg,则我们记为 h=gfh=g \cdot f

注意这里顺序要反着写,因为如果我们将置换看成函数的话就相当于 h(x)=g(f(x))h(x)=g(f(x)),因此先执行的置换要写在右边。

我们将仅交换两个元素的置换称为对换,易知对于 S3S_3 中的所有置换,都可以通过不同的对换复合得到。

{e=b1b1=b2b2=b3b3a1=b3b1=b1b2a2=b2b1=b1b3b1=b1b2=b2b3=b3\begin{cases} e&=b_1 \cdot b_1 = b_2 \cdot b_2 = b_3 \cdot b_3 \\ a_1&=b_3 \cdot b_1 = b_1 \cdot b_2 \\ a_2&=b_2 \cdot b_1 = b_1 \cdot b_3 \\ b_1&=b_1 \\ b_2&=b_2 \\ b_3&=b_3 \\ \end{cases}

经过简单的观察发现,经过奇数次对换后的置换永远只能通过奇数次对换得到,偶数同理。

于是我们将通过奇数次对换后得到的置换称为奇置换,通过偶数次对换后得到的置换称为偶置换

显然对于 nn 次的置换群 SnS_n,其总共拥有的 n!n! 种不同的置换中总有一半是奇置换,一半是偶置换。

其中所有的偶置换可以形成一个新的群,我们将其称为交错群,记为 AnA_n

曾经有一道经典的数字华容道谜题(仅对换了 14141515),我们来证明其为何无解。

1  2  3  4
5  6  7  8
9  10 11 12
13 15 14 __

我们将右下角的空缺看做 1616,则每次操作相当于将 1616 与周围的数字进行一次对换。

将原棋盘黑白染色,由于初始 1616 的位置和结束状态 1616 的位置相同,因此易知结束的局面必然是将 1616 对换了偶数次的结果(偶置换)。

由于初始局面仅对换了 14141515,是个奇置换,因此无论如何也无法从结束状态经过偶数次置换到达奇置换的初始状态。

因此此题无解。


将一个普通三阶魔方强行扭转一个角块之后形成的局面无法复原,但是再扭转一次角块(无论是不是原来扭转的角块)之后便可以复原的原理也是类似。

循环群

对于一个群 GG,如果对于任意元素 aG(ae)a \in G(a \ne e),使得 GG 中的所有元素都可以通过 aa 反复自我复合得到,则称群 GG 为一个循环群

下面证明一个素数阶的群 GG 必然是一个循环群。

拉格朗日定理:对于群 GG 的任意一个子群 HHHGH \subseteq G), 群 HH 的阶必定为群 GG 的阶的一个约数。

由拉格朗日定理可知,对于一个素数阶的群 GG,不存在除了其本身和幺群{e}\{e\})之外的子群。

我们从群 GG 中任意找出一个元素 aa,用其构造一个循环群 H={e,a,a2,a3,...,a1}H = \{e, a, a^2, a^3, ..., a^{-1}\}

由群公理可知群 HH 必定为群 GG 的一个子群。

  1. 如果 a=ea = e,则子群 H={e}H=\{e\},是幺群。
  2. 如果 aea \ne e,则子群 HH 的阶必定大于 11,不是幺群,只能是群 GG 本身,即 H=GH=G

由于素数 >1\gt 1,因此必定能找到元素 aG(ae)a \in G (a \ne e) 能够构造出与群 GG 同构的循环群 HH,因此群 GG 必定是循环群。

至此原命题得证。

下面证明每个循环群都是阿贝尔群。

对于一个循环群 H={e,a,a2,...,an}H=\{e, a, a^2, ..., a^n\},其中的每个元素都可以表示成 ax(x0,1,2,...,n)a^x(x\in{0,1,2,...,n}) 的形式。

由群公理中的结合律可知 axay=ax+y=ayaxa^x \cdot a^y = a^{x+y} = a^y \cdot a^x,因此满足交换律,是阿贝尔群。

正规子群

对于一个群 GG,设其存在子群 HH,使得对于 aG\forall a \in G,都满足 aH=Haa \cdot H = H \cdot a,则我们称子群 HH 为群 GG 的一个正规子群,记为 GΔHG \Delta H

元素与集合的运算定义为 a{b1,b2,...,bn}={ab1,ab2,...,abn}a \cdot \{b_1, b_2, ..., b_n\} = \{a \cdot b_1, a \cdot b_2, ..., a \cdot b_n\},左右交换同理。

易知群 GG 本身与幺群都是群 GG正规子群,定义这两个群是群 GG平凡正规子群

所有阿贝尔群的所有子群都是正规子群

商群

对于群 GG 的一个正规子群 HH,定义商群GG 中所有元素分别与 HH 运算后形成的群,记为 G/HG/H,且商群的阶 G/H=GH|G/H|=\frac{|G|}{|H|}

易知任意群对幺群的商群都是其本身,即 G/{e}=GG/\{e\}=G

单群

对于群 GG,如果不存在除了平凡正规子群之外的其他正规子群,则称群 GG单群

以下几种群都是单群:

  • 素数阶循环群
  • n5n \ge 5 的交错群
  • ......

可解群

对于一个群 GG,我们找到一个正规子群列形如

GΔG1ΔG2ΔG3Δ...ΔGnΔ{e}G \Delta G_1 \Delta G_2 \Delta G_3 \Delta ... \Delta G_n \Delta \{e\}

其中每一个群都是前一个群的正规子群。

如果这个正规子群列满足每两个相邻的群的商群都是阿贝尔群,则称群 GG可解群

易知所有的阿贝尔群都是可解群。

玄学开始

伽罗瓦说了什么

一个 nn 次方程是否可解,本质上即为方程的 nn 个根能否被区分开来。如果一个 nn 次置换群是可解群,那么说明一个 nn 次方程可解。反之则不可解。

具体一点

对于二次置换群 S2S_2,我们可以发现 S2S_2C2C_2 同构,是阿贝尔群,因此可知 S2S_2 是可解群,二次方程可解。

对于三次置换群 S3S_3,我们可以找到 S3ΔA3Δ{e}S_3 \Delta A_3 \Delta \{e\}

  • 对于 S3/A3S_3/A_3,它的阶是 22,是一个素数,因此这个商群是一个循环群,是阿贝尔群。
  • 对于 A3/{e}A_3/\{e\},我们发现 A3A_3C3C_3 同构,而且 C3C_3 是循环群,是阿贝尔群,因此这个商群也是阿贝尔群。
  • 于是 S3S_3 是可解群,因此三次方程也可解。

对于四次置换群 S4S_4,我们可以找到 S4ΔA4ΔVΔ{e}S_4 \Delta A_4 \Delta V \Delta \{e\},其中 VV 是克莱因四元群({(1,2,3,4),(1,2,4,3),(2,1,3,4),(2,1,4,3)}\{(1,2,3,4),(1,2,4,3),(2,1,3,4),(2,1,4,3)\})。

  • 对于 S4/A4S_4/A_4,阶为 22,是素数阶循环群,是阿贝尔群。
  • 对于 A4/VA_4/V,阶为 33,是素数阶循环群,是阿贝尔群。
  • 对于 V/{e}V/\{e\},根据定义知 VV 是阿贝尔群。
  • 于是 S4S_4 是可解群,因此四次方程也可解。

对于五次置换群 S5S_5,我们可以找到 S5ΔA5Δ{e}S_5 \Delta A_5 \Delta \{e\}

  • 对于 S5/A5S_5/A_5,阶为 22,是素数阶循环群,是阿贝尔群。
  • 对于 A5/{e}A_5/\{e\},阶为 6060 不是素数,商群不是阿贝尔群。
  • 于是 S5S_5 为不可解群,因此五次方程不可解。

对于五次以上的置换群 Sn(n>5)S_n(n\gt 5)S5S_5 必为其一个正规子群,S5S_5 为不可解群,因此 SnS_n 也必然为不可解群,因此五次以上的方程都没有求根公式。

为什么为什么为什么

为什么这样就是对的啊?

为什么可以抽象成这个样子的啊?

为什么群不可解就是方程没有求根公式啊?

我怎么知道,本来这就是口胡。

以上。

💬 Replies

avatar

评论测试?

November 24, 2020 11:57:34 AMReply

New Reply