五次方程

五次方程是一种最高次数为五次的多项式方程。本条目专指只含一个未知数的五次方程(一元五次方程),即方程形如

的图形

其中,abcdef复数域内的数,且a不为零。例如:

寻找五次方程的解一直是个重要的数学问题。一次方程二次方程很早就找到了公式解,经过数学家们的努力,后来三次方程四次方程也有了解答,但是之后很长的一段时间里没有人知道五次方程是否存在公式解。相形之下,解五次方程显得格外的困难。

后来,保罗·鲁菲尼尼尔斯·阿贝尔证明了一般的五次方程,不存在统一的根式解(即由方程的系数通过有限次的四则运算及根号组合而成的公式解)[1]。认为一般的五次方程没有公式解存在的看法其实是不正确的。事实上,利用一些超越函数,如Θ函数戴德金η函数即可构造出五次方程的公式解。另外,若只需求得数值解,可以利用数值方法(如牛顿法)得到相当理想的解答。

证明一般五次及其以上的一元多项式方程无根式解的人是埃瓦里斯特·伽罗瓦,他巧妙地利用群论处理了上述的问题。

布灵·杰拉德正规式

对于一般的五次方程式

 

可以借由以下的多项式变换

 

得到一个 的五次多项式,上述的变换称为契尔恩豪森变换英语Tschirnhaus transformation(Tschirnhaus transformation),借由特别选择的系数 ,可以使 , ,  的系数为 ,从而得到如下的方程式:

 

以上的化简方法是由厄兰·塞缪尔·布灵英语Erland Samuel Bring所发现,后来乔治·杰拉德英语George Jerrard也独立发现了此法,因此上式称为布灵·杰拉德正规式Bring-Jerrard normal form)。 其步骤如下: 首先令

 

可消去四次方项,得到

 

其中,

 
 
 
 

接下来,令 , 得到

 

再令 , 求得

 
 

第三步,利用契尔恩豪森想到的方法,令:

 

代入

 

得到

 

再令 , 则得 , 若令 , 则  可由以下两个方程解得:

 


 
 
 
 

若以函数的观点来看,方程

 

的解有两个自变量  , 和  

若再令

 

则方程式可以进一步化简为如下形式:

 

它的解   是单一变量   的函数。

特殊五次方程的求根公式

虽然一般的五次方程不存在根式解,但是对于某些特殊的五次方程,满足某些条件后还是有根式解的。

型式1

 ,当 时,
 
 
 
 
 

型式2

 ,当 时,


 


 
 
 
 

其中


 
 
 
 

型式3

 ,当 时,
 
 
 
 
 

通过模椭圆函数求解

在 Tschirnhaus 变换的帮助下,所有五次方程都可以在初等数学函数表达式的帮助下变换为 Bring-Jerrard 形式。 Bring-Jerrard 形式包含五次项、线性项和绝对项。 但是四次、三次和二次项在这种形式的方程中根本不存在。 Bring-Jerrard 形式的广义椭圆解将在以下段落中讨论。根据数学家 Glashan、Young 和 Runge 发现的参数化公式,可以从方程和实解中导出以下一对公式:

 
 
 

这对公式对所有值 0 < y < 2 都有效。对于要用这种方法求解的 Bring-Jerrard 的一般形式,需要一个椭圆键。 这个椭圆密钥可以根据 卡尔·雅可比 (Carl Gustav Jakob Jacobi) 使用 Θ函数 生成:

 
 
 
 

现在在下面精确地解释这个解决过程。 本段上式的等式刻度的右侧取值 w:

 

必须为值 y 求解该方程。 这需要一个椭圆模函数表达式,在这种情况下包括[2] Jacobi theta 函数:

 

此解表达式与以下表达式一致:

 

椭圆函数的定义和恒等式

现在必须定义此表达式中指定的函数。 所示的主要 theta 函数具有以下总和定义和以下等效乘积定义:

 
 

字母 q 描述了数学椭圆 nome 函数:

 

内商中显示的字母 K 表示完整的第一类 椭圆积分:

 
 

缩写 ctlh 表示函数 双曲双扭线余切函数[3] (Hyperbolic lemniscate cotangent)。 而缩写 aclh 表示函数 双曲双扭线 面积余弦函数 (Hyperbolic lemniscate Areacosine)。 这些函数与 卡尔·弗里德里希·高斯(Carl Friedrich Gauss) 建立的 双扭线函数[4] (Lemniscate elliptic functions) sl 和 cl 在代数上相关,并且可以使用这两个函数来定义:

 
 
 
 
 
 
 
 
 
 

字母G代表高斯常数,可以用伽马函数用刚才所示的方式表示。

连分数

连分数是拉马努金 (Rogers-Ramanujan continued fraction) 允许以 Bring-Jerrard 形式对广义五次方程进行非常紧凑的解。 这个连分数函数和交替连分数可以定义如下:

 
 
 
 
 

括号,每个都有两个条目,形成所谓的 Pochhammer-符号 (Pochhammer symbol) 并因此代表产品系列。 基于这些定义,可以为实际解建立以下压缩精确解公式:

 
 
 
 

准确的例子

分配给非初等数学实解的第一个自然数 w 是数字 w = 3:

 
 
 
 
 
 

与此类似,数字 w = 7 仅分配给非基本解:

 
 
 
 
 
 

参见

引文

  1. ^ 阿米尔·艾克塞尔(Amir D. Aezel). 費馬最後定理. 台北: 时报出版. 1998: p.87. ISBN 957-13-2648-8. 
  2. ^ 存档副本. [2022-02-18]. (原始内容存档于2022-02-18). 
  3. ^ 存档副本. [2022-02-18]. (原始内容存档于2022-02-18). 
  4. ^ 存档副本. [2022-02-19]. (原始内容存档于2022-02-19).