五次方程是一种最高次数为五次的多项式方程。本条目专指只含一个未知数的五次方程(一元五次方程),即方程形如
![](//upload.wikimedia.org/wikipedia/commons/thumb/f/f8/Quintic_function.png/250px-Quintic_function.png)
的图形
![{\displaystyle ax^{5}+bx^{4}+cx^{3}+dx^{2}+ex+f=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e979e3e7158d50859b2bcfba1e44144f233f2a20)
其中,a、b、c、d、e和f为复数域内的数,且a不为零。例如:
![{\displaystyle x^{5}-4x^{4}+2x^{3}-3x+7=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e007690b4449cc2e02ef7b19f4f2c77067a4f831)
二次方程很早就找到了公式解。经过数学家们的不断努力,三次方程及四次方程在16世纪中有了解答,但是之后很长的一段时间里没有人知道五次方程是否存在公式解。直到1824年,保罗·鲁菲尼和尼尔斯·阿贝尔证明了一般的五次方程,不存在统一的根式解(即由方程的系数通过有限次的四则运算及根号组合而成的公式解)[1]。认为一般的五次方程没有公式解存在的看法其实是不正确的。事实上,利用一些超越函数,如Θ函数或戴德金η函数即可构造出五次方程的公式解。另外,若只需求得数值解,可以利用数值方法(如牛顿法)得到相当理想的解答。
证明一般五次及其以上的一元多项式方程无根式解的人是埃瓦里斯特·伽罗瓦,他巧妙地利用群论处理了上述的问题。
对于一般的五次方程式
-
可以借由以下的多项式变换
-
得到一个 的五次多项式,上述的变换称为契尔恩豪森变换(Tschirnhaus transformation),借由特别选择的系数 ,可以使 , , 的系数为 ,从而得到如下的方程式:
-
以上的化简方法是由厄兰·塞缪尔·布灵所发现,后来乔治·杰拉德也独立发现了此法,因此上式称为布灵·杰拉德正规式(Bring-Jerrard normal form)。
其步骤如下:
首先令
-
可消去四次方项,得到
- ;
其中,
-
-
-
-
接下来,令 ,
得到
- ,
再令 ,
求得
- ;
-
第三步,利用契尔恩豪森想到的方法,令:
- ,
代入
- ,
得到
- ,
再令 ,
则得 ,
若令 ,
则 , 可由以下两个方程解得:
-
-
-
-
-
若以函数的观点来看,方程
-
的解有两个自变量 , 和 。
若再令
-
则方程式可以进一步化简为如下形式:
-
它的解 是单一变量 的函数。
虽然一般的五次方程不存在根式解,但是对于某些特殊的五次方程,满足某些条件后还是有根式解的。
- ,当 时,
-
-
-
-
-
- ,当 时,
-
-
-
-
-
其中
-
-
-
-
,当
时,
在 Tschirnhaus 变换的帮助下,所有五次方程都可以在初等数学函数表达式的帮助下变换为 Bring-Jerrard 形式。 Bring-Jerrard 形式包含五次项、线性项和绝对项。 但是四次、三次和二次项在这种形式的方程中根本不存在。 Bring-Jerrard 形式的广义椭圆解将在以下段落中讨论。根据数学家 Glashan、Young 和 Runge 发现的参数化公式,可以从方程和实解中导出以下一对公式:
-
-
-
这对公式对所有值 0 < y < 2 都有效。对于要用这种方法求解的 Bring-Jerrard 的一般形式,需要一个椭圆键。 这个椭圆密钥可以根据 卡尔·雅可比 (Carl Gustav Jakob Jacobi) 使用 Θ函数 生成:
-
-
-
-
现在在下面精确地解释这个解决过程。 本段上式的等式刻度的右侧取值 w:
-
必须为值 y 求解该方程。 这需要一个椭圆模函数表达式,在这种情况下包括[2] Jacobi theta 函数:
-
此解表达式与以下表达式一致:
-
连分数是拉马努金 (Rogers-Ramanujan continued fraction) 允许以 Bring-Jerrard 形式对广义五次方程进行非常紧凑的解。 这个连分数函数和交替连分数可以定义如下:
-
-
-
-
-
括号,每个都有两个条目,形成所谓的 Pochhammer-符号 (Pochhammer symbol) 并因此代表产品系列。 基于这些定义,可以为实际解建立以下压缩精确解公式:
-
-
-
-
分配给非初等数学实解的第一个自然数 w 是数字 w = 3:
-
-
-
-
-
-
与此类似,数字 w = 7 仅分配给非基本解:
-
-
-
-
-
-