五次方程是一種最高次數為五次的多項式方程。本條目專指只含一個未知數的五次方程(一元五次方程),即方程形如
其中,a、b、c、d、e和f为复数域内的数,且a不为零。例如:
二次方程很早就找到了公式解。經過數學家們的不斷努力,三次方程及四次方程在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 僅分配給非基本解:
-
-
-
-
-
-