五次方程

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

$y=x^{5}+13x^{4}+35x^{3}-85x^{2}-216x+252$的圖形

$ax^{5}+bx^{4}+cx^{3}+dx^{2}+ex+f=0$

其中，a、b、c、d、e和f为复数域内的数，且a不为零。例如：

$x^{5}-4x^{4}+2x^{3}-3x+7=0$

尋找五次方程的解一直是個重要的數學問題。一次方程和二次方程很早就找到了公式解，經過數學家們的努力，後來三次方程及四次方程也有了解答，但是之后很长的一段时间里沒有人知道五次方程是否存在公式解。相形之下，解五次方程顯得格外的困難。

後來，保羅·魯菲尼和尼爾斯·阿貝爾證明了一般的五次方程，不存在統一的根式解（即由方程的係數通過有限次的四則運算及根號組合而成的公式解）。認為一般的五次方程沒有公式解存在的看法其实是不正確的。事實上，利用一些超越函數，如Θ函数或戴德金η函數即可構造出五次方程的公式解。另外，若只需求得數值解，可以利用數值方法（如牛頓法）得到相當理想的解答。

證明一般五次以上的方程式無根式解的人是埃瓦里斯特·伽羅瓦，他巧妙地利用群論處理了上述的問題。

布靈·傑拉德正規式

對於一般的五次方程式

$x^{5}+a_{1}x^{4}+a_{2}x^{3}+a_{3}x^{2}+a_{4}x+a_{5}=0\,$

可以藉由以下的轉換

$y=x^{4}+b_{1}x^{3}+b_{2}x^{2}+b_{3}x+b_{4}\,$

得到一個$y\,$的五次多項式，上述的轉換稱為契爾恩豪森轉換（Tschirnhaus transformation），藉由特別選擇的係數$b_{i}\,$，可以使$y^{4}\,$,$y^{3}\,$,$y^{2}\,$ 的係數為$0\,$，從而得到如下的方程式：

$y^{5}+my+n=0\,$

以上的化簡方法是由厄蘭·塞缪爾·布靈所發現，後來喬治·傑拉德也獨立發現了此法，因此上式稱為布靈·傑拉德正規式（Bring-Jerrard normal form）。 其步驟如下： 首先令

$x=y-{\frac {a_{1}}{5}}\,$

可消去四次方項，得到

$y^{5}+ay^{3}+by^{2}+cy+d=0\,$；

其中，

$a={\frac {5a_{2}-2a_{1}^{2}}{5}}\,$

$b={\frac {25a_{3}-15a_{1}a_{2}+4a_{1}^{3}}{25}}\,$

$c={\frac {125a_{4}-50a_{1}a_{3}+15a_{1}^{2}a_{2}-3a_{1}^{4}}{125}}\,$

$d={\frac {3125a_{5}-625a_{1}a_{4}+125a_{1}^{2}a_{3}-25a_{1}^{3}a_{2}+4a_{1}^{5}}{3125}}\,$

接下來，令$z=y^{2}+py+q\,$， 得到

$z^{5}+Pz^{4}+Qz^{3}+Az^{2}+Bz+C=0\,$，

再令$P=Q=0\,$， 求得

$p={\frac {-15b+{\sqrt {60a^{3}+225b^{2}-200ac}}}{10a}}\,$；

$q={2a \over 5}.\,$

第三步，利用契爾恩豪森想到的方法，令：

$X=z^{4}+b_{1}z^{3}+b_{2}z^{2}+b_{3}z+b_{4}\,$，

代入

$z^{5}+Az^{2}+Bz+C=0\,$，

得到

$X^{5}+RX^{4}+SX^{3}+TX^{2}+UX+V=0\,$，

再令$R=S=T=0\,$， 則得$b_{4}={\frac {3Ab_{1}+4B}{5}}\,$， 若令$b_{2}=-{\frac {4Bb_{1}+5C}{3A}}\,$， 則$b_{1}\,$，$b_{3}\,$可由以下兩個方程解得：

$(27A^{4}-160B^{3}+300ABC)b_{1}^{2}+(27A^{3}B-400B^{2}C+375C^{2}A)b_{1}\,+(18A^{2}B^{2}-45A^{3}C-250BC^{2})=0;\,$

$675A^{3}b_{3}^{3}+(3375A^{2}Cb_{1}-3600AB^{2}b_{1}-2025A^{4}\,-4500ABC)b_{3}^{2}$

$+(675A^{3}Bb_{1}^{2}+6000B^{2}Cb_{1}^{2}\,+7200A^{2}B^{2}b_{1}-4050A^{3}Cb_{1}+15000C^{2}Bb_{1}\,\!+9375C^{3}+9675A^{2}BC+2025A^{5})b_{3}+\,$

$(-4770A^{3}BC-1125A^{2}C^{2}b_{1}^{2}-1500B^{2}C^{2}\,-320AB^{3}b_{1}^{3}-960B^{4}b_{1}^{2}-3843A^{3}B^{2}b_{1}+1485A^{4}Cb_{1}-54A^{5}b_{1}^{3}$

$-6250AC^{3}-2400B^{3}Cb_{1}-108A^{2}B^{3}-675A^{6}\,-756A^{4}Bb_{1}^{2}-9375AC^{2}Bb_{1}-3900AB^{2}Cb_{1}^{2}-225A^{2}BCb_{1}^{3})=0.\,$

若以函數的觀點來看，方程

$X^{5}+UX+V=0\,$

的解有兩個自變數 $U\,$, 和 $V\,$。

若再令

$X={\sqrt[{4}]{-U}}\xi \,$

則方程式可以進一步化簡為如下形式：

$\xi ^{5}-\xi +t=0\,$

它的解 $\xi \,$ 是單一變數 $t\,$ 的函數。

特殊五次方程的求根公式

雖然一般的五次方程不存在根式解，但是對於某些特殊的五次方程，滿足某些條件後還是有根式解的。

型式1

${ax^{5}+bx^{4}+cx^{3}+{\frac {15abc-4b^{3}}{25a^{2}}}x^{2}+{\frac {25a^{2}c^{2}-5ab^{2}c-b^{4}}{125a^{3}}}x+f=0}$，当$a\neq 0$时，

${x_{1}={\frac {-2b+{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f+16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}+{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f-16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}}{10a}}}\,$

${x_{2}=-{\frac {b}{5a}}+{\frac {-1+{\sqrt {5}}+{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f+16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}+{\frac {-1+{\sqrt {5}}-{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f-16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}}\,$

${x_{3}=-{\frac {b}{5a}}+{\frac {-1-{\sqrt {5}}+{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f+16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}+{\frac {-1-{\sqrt {5}}-{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f-16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}}\,$

${x_{4}=-{\frac {b}{5a}}+{\frac {-1-{\sqrt {5}}-{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f+16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}+{\frac {-1-{\sqrt {5}}+{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f-16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}}\,$

${x_{5}=-{\frac {b}{5a}}+{\frac {-1+{\sqrt {5}}-{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f+16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}+{\frac {-1+{\sqrt {5}}+{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{40a}}{\sqrt[{5}]{176b^{5}-1200ab^{3}c+2000a^{2}bc^{2}-50000a^{4}f-16{\sqrt {\left(11b^{5}-75ab^{3}c+125a^{2}bc^{2}-3125a^{4}f\right)^{2}-4\left(2b^{2}-5ac\right)^{5}}}}}}\,$

型式2

${(c^{2}+1)x^{5}+5d^{4}(3\mp c)x-4d^{5}(\pm 11+2c)=0}$，当$c\neq {\pm {i}}$时，

$x_{1}=d\left[A+B+C+D\right]\,$

$x_{2}=d\left[{\frac {(-1+{\sqrt {5}})+{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{4}}A+{\frac {(-1-{\sqrt {5}})+{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}B\right]+d\left[{\frac {(-1-{\sqrt {5}})-{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}C+{\frac {(-1+{\sqrt {5}})-{\sqrt {10+2{\sqrt {5}}}}{\mathrm {i} }}{4}}D\right]\,$

$x_{3}=d\left[{\frac {(-1-{\sqrt {5}})+{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}A+{\frac {(-1-{\sqrt {5}})-{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}B\right]+d\left[{\frac {(-1+{\sqrt {5}})-{\sqrt {10+2{\sqrt {5}}}}{\mathrm {i} }}{4}}C+{\frac {(-1+{\sqrt {5}})+{\sqrt {10+2{\sqrt {5}}}}{\mathrm {i} }}{4}}D\right]\,$

$x_{4}=d\left[{\frac {(-1-{\sqrt {5}})-{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}A+{\frac {(-1+{\sqrt {5}})-{\sqrt {10+2{\sqrt {5}}}}{\mathrm {i} }}{4}}B\right]+d\left[{\frac {(-1+{\sqrt {5}})+{\sqrt {10+2{\sqrt {5}}}}{\mathrm {i} }}{4}}C+{\frac {(-1-{\sqrt {5}})+{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}D\right]\,$

$x_{5}=d\left[{\frac {(-1+{\sqrt {5}})-{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{4}}A+{\frac {(-1+{\sqrt {5}})+{\sqrt {10+2{\sqrt {5}}}}{\mathrm {i} }}{4}}B\right]+d\left[{\frac {(-1-{\sqrt {5}})+{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}C+{\frac {(-1-{\sqrt {5}})-{\sqrt {10-2{\sqrt {5}}}}{\mathrm {i} }}{4}}D\right]\,$

其中

$A={\sqrt[{5}]{\frac {\left({\sqrt {c^{2}+1}}+{\sqrt {c^{2}+1\mp {\sqrt {c^{2}+1}}}}\right)^{2}\left(-{\sqrt {c^{2}+1}}+{\sqrt {c^{2}+1\pm {\sqrt {c^{2}+1}}}}\right)}{(c^{2}+1)^{2}}}}\,$

$B={\sqrt[{5}]{\frac {\left({\sqrt {c^{2}+1}}+{\sqrt {c^{2}+1\mp {\sqrt {c^{2}+1}}}}\right)^{2}\left(-{\sqrt {c^{2}+1}}+{\sqrt {c^{2}+1\pm {\sqrt {c^{2}+1}}}}\right)}{(c^{2}+1)^{2}}}}\,$

$C={\sqrt[{5}]{\frac {\left({\sqrt {c^{2}+1}}+{\sqrt {c^{2}+1\pm {\sqrt {c^{2}+1}}}}\right)^{2}\left({\sqrt {c^{2}+1}}-{\sqrt {c^{2}+1\mp {\sqrt {c^{2}+1}}}}\right)}{(c^{2}+1)^{2}}}}\,$

$D=-{\sqrt[{5}]{\frac {\left({\sqrt {c^{2}+1}}-{\sqrt {c^{2}+1\mp {\sqrt {c^{2}+1}}}}\right)^{2}\left(-{\sqrt {c^{2}+1}}+{\sqrt {c^{2}+1\pm {\sqrt {c^{2}+1}}}}\right)}{(c^{2}+1)^{2}}}}\,$

型式3

${a^{2}x^{5}+5abx^{3}+5b^{2}x+ac=0}$，当$a\neq 0$时，

${x_{1}={\sqrt[{5}]{-{\frac {c}{2a}}+{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}+{\sqrt[{5}]{-{\frac {c}{2a}}-{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}}\,$

${x_{2}={\frac {-1+{\sqrt {5}}+{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}+{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}+{\frac {-1+{\sqrt {5}}-{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}-{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}}\,$

${x_{3}={\frac {-1-{\sqrt {5}}+{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}+{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}+{\frac {-1-{\sqrt {5}}-{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}-{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}}\,$

${x_{4}={\frac {-1-{\sqrt {5}}-{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}+{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}+{\frac {-1-{\sqrt {5}}+{\sqrt {10-2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}-{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}}\,$

${x_{5}={\frac {-1+{\sqrt {5}}-{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}+{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}+{\frac {-1+{\sqrt {5}}+{\sqrt {10+2{\sqrt {5}}}}{\rm {i}}}{4}}{\sqrt[{5}]{-{\frac {c}{2a}}-{\sqrt {\left({\frac {c}{2a}}\right)^{2}+\left({\frac {b}{a}}\right)^{5}}}}}}\,$

參見

• 方程式論
• 布靈根式