五次方程

五次方程

五次方程是一種最高次數為五次的多項式方程。本條目專指只含一個未知數的五次方程(一元五次方程),即方程形如

的圖形

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

二次方程很早就找到了公式解。經過數學家們的不斷努力,三次方程四次方程在16世紀中有了解答,但是之后很长的一段时间里沒有人知道五次方程是否存在公式解。直到1824年,保羅·魯菲尼尼爾斯·阿貝爾證明了一般的五次方程,不存在統一的根式解(即由方程的係數通過有限次的四則運算根號組合而成的公式解)[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).