五次方程式

五次方程

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

的圖形

其中,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).