五次方程

五次方程是一种最高次数为五次的多项式方程。本条目专指只含一个未知数的五次方程（一元五次方程），即方程形如

$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$

二次方程很早就找到了公式解。经过数学家们的不断努力，三次方程及四次方程在16世纪中有了解答，但是之后很长的一段时间里没有人知道五次方程是否存在公式解。直到1824年，保罗·鲁菲尼和尼尔斯·阿贝尔证明了一般的五次方程，不存在统一的根式解（即由方程的系数通过有限次的四则运算及根号组合而成的公式解）。认为一般的五次方程没有公式解存在的看法其实是不正确的。事实上，利用一些超越函数，如Θ函数或戴德金η函数即可构造出五次方程的公式解。另外，若只需求得数值解，可以利用数值方法（如牛顿法）得到相当理想的解答。

证明一般五次及其以上的一元多项式方程无根式解的人是埃瓦里斯特·伽罗瓦，他巧妙地利用群论处理了上述的问题。

布灵·杰拉德正规式

对于一般的五次方程式

$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}}}}}}\,$

通过模椭圆函数求解

在 Tschirnhaus 变换的帮助下，所有五次方程都可以在初等数学函数表达式的帮助下转换为 Bring-Jerrard 形式。 Bring-Jerrard 形式包含五次项、线性项和绝对项。 但是四次、三次和二次项在这种形式的方程中根本不存在。 Bring-Jerrard 形式的广义椭圆解将在以下段落中讨论。根据数学家 Glashan、Young 和 Runge 发现的参数化公式，可以从方程和实解中导出以下一对公式:

$x^{5}+x={\frac {2}{5}}y^{-5/4}{\frac {(1+y-y^{2}){\sqrt {2+2y^{2}}}}{\sqrt[{4}]{10+15y-10y^{2}}}}$

$x={\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\cosh {\biggl \{}{\frac {1}{5}}{\text{arcosh}}{\biggl [}{\frac {5{\sqrt {5+5y^{2}}}}{(1+2y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}-$

$-{\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\sinh {\biggl \{}{\frac {1}{5}}{\text{arsinh}}{\biggl [}{\frac {5y{\sqrt {5+5y^{2}}}}{(2-y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}$

这对公式对所有值 0 < y < 2 都有效。对于要用这种方法求解的 Bring-Jerrard 的一般形式，需要一个椭圆键。 这个椭圆密钥可以根据 卡尔·雅可比 (Carl Gustav Jakob Jacobi) 使用 Θ函数 生成:

$x^{5}+x=w$

$x={\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\cosh {\biggl \{}{\frac {1}{5}}{\text{arcosh}}{\biggl [}{\frac {5{\sqrt {5+5y^{2}}}}{(1+2y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}-$

$-{\frac {2}{5}}y^{-1/4}{\sqrt[{4}]{10+15y-10y^{2}}}\sinh {\biggl \{}{\frac {1}{5}}{\text{arsinh}}{\biggl [}{\frac {5y{\sqrt {5+5y^{2}}}}{(2-y){\sqrt {4+6y-4y^{2}}}}}{\biggr ]}{\biggr \}}$

$y={\frac {5\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{5}{\bigr \rangle }^{2}}{2\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{2}}}-{\frac {1}{2}}$

现在在下面精确地解释这个解决过程。 本段上式的等式刻度的右侧取值 w:

$w={\frac {2}{5}}y^{-5/4}{\frac {(1+y-y^{2}){\sqrt {2+2y^{2}}}}{\sqrt[{4}]{10+15y-10y^{2}}}}$

必须为值 y 求解该方程。 这需要一个椭圆模函数表达式，在这种情况下包括 Jacobi theta 函数:

$y={\frac {5\,\vartheta _{00}{\bigl \{}q{\bigl [}{\bigl (}50{\sqrt {5}}\,w^{2}+32+2{\sqrt {3125w^{4}+256}}{\bigr )}^{-1/2}{\bigl (}{\sqrt {{\sqrt {3125w^{4}+256}}+16}}+5{\sqrt[{4}]{5}}\,w{\bigr )}{\bigr ]}^{5}{\bigr \}}^{2}}{2\,\vartheta _{00}{\bigl \{}q{\bigl [}{\bigl (}50{\sqrt {5}}\,w^{2}+32+2{\sqrt {3125w^{4}+256}}{\bigr )}^{-1/2}{\bigl (}{\sqrt {{\sqrt {3125w^{4}+256}}+16}}+5{\sqrt[{4}]{5}}\,w{\bigr )}{\bigr ]}{\bigr \}}^{2}}}-{\frac {1}{2}}$

此解表达式与以下表达式一致:

$y={\frac {5\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{5}{\bigr \rangle }^{2}}{2\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{2}}}-{\frac {1}{2}}$

椭圆函数的定义和恒等式

现在必须定义此表达式中指定的函数。 所示的主要 theta 函数具有以下总和定义和以下等效乘积定义:

$\vartheta _{00}(z)=1+2\sum _{k=1}^{\infty }z^{k^{2}}$

$\vartheta _{00}(z)=\prod _{k=1}^{\infty }(1-z^{2k})(1+z^{2k-1})^{2}$

字母 q 描述了数学椭圆 nome 函数:

$q(\varepsilon )=\exp[-\pi K({\sqrt {1-\varepsilon ^{2}}})K(\varepsilon )^{-1}]$

内商中显示的字母 K 表示完整的第一类 椭圆积分:

$K(r)=\int _{0}^{\pi /2}{\frac {1}{\sqrt {1-r^{2}\sin(\varphi )^{2}}}}\mathrm {d} \varphi$

$K(r)=2\int _{0}^{1}{\frac {1}{\sqrt {(u^{2}+1)^{2}-4r^{2}u^{2}}}}\mathrm {d} u$

缩写 ctlh 表示函数 双曲双扭线馀切函数 (Hyperbolic lemniscate cotangent)。 而缩写 aclh 表示函数 双曲双扭线 面积馀弦函数 (Hyperbolic lemniscate Areacosine)。 这些函数与 卡尔·弗里德里希·高斯(Carl Friedrich Gauss) 建立的 双扭线函数 (Lemniscate elliptic functions) sl 和 cl 在代数上相关，并且可以使用这两个函数来定义：

$\mathrm {sl} (\varphi )=\tan {\biggl \langle }2\arctan {\biggl \{}{\frac {4}{G}}\sin {\bigl (}{\frac {\varphi }{G}}{\bigr )}\sum _{k=1}^{\infty }{\frac {\cosh[(2k-1)\pi ]}{\cosh[(2k-1)\pi ]^{2}-\cos(\varphi /G)^{2}}}{\biggr \}}{\biggr \rangle }$

$\mathrm {cl} (\varphi )=\tan {\biggl \langle }2\arctan {\biggl \{}{\frac {4}{G}}\cos {\bigl (}{\frac {\varphi }{G}}{\bigr )}\sum _{k=1}^{\infty }{\frac {\cosh[(2k-1)\pi ]}{\cosh[(2k-1)\pi ]^{2}-\sin(\varphi /G)^{2}}}{\biggr \}}{\biggr \rangle }$

$[{\text{sl}}(\varphi )^{2}+1][{\text{cl}}(\varphi )^{2}+1]=2$

${\text{ctlh}}(\varrho )=\operatorname {cl} ({\tfrac {1}{2}}{\sqrt {2}}\varrho ){\biggl [}{\frac {\operatorname {sl} ({\tfrac {1}{2}}{\sqrt {2}}\varrho )^{2}+1}{\operatorname {sl} ({\tfrac {1}{2}}{\sqrt {2}}\varrho )^{2}+\operatorname {cl} ({\tfrac {1}{2}}{\sqrt {2}}\varrho )^{2}}}{\biggr ]}^{1/2}$

${\text{ctlh}}(\varrho )={\frac {{\text{cd}}(\varrho ;{\tfrac {1}{2}}{\sqrt {2}})}{\sqrt[{4}]{{\text{cd}}(\varrho ;{\tfrac {1}{2}}{\sqrt {2}})^{4}+{\text{sn}}(\varrho ;{\tfrac {1}{2}}{\sqrt {2}})^{4}}}}$

$\mathrm {aclh} (s)={\tfrac {1}{2}}F[2\operatorname {arccot}(s);{\tfrac {1}{2}}{\sqrt {2}}]$

${\text{aclh}}(s)={\frac {1}{2}}{\sqrt {2}}\,\pi \,G-\int _{0}^{1}{\frac {s}{\sqrt {s^{4}t^{4}+1}}}\,\mathrm {d} t$

$G={\tfrac {1}{2}}{\sqrt {2\pi }}\,\Gamma ({\tfrac {3}{4}})^{-2}$

${\text{ctlh}}{\bigl [}{\tfrac {1}{2}}\mathrm {aclh} (s){\bigr ]}^{2}=(2s^{2}+2+2{\sqrt {s^{4}+1}})^{-1/2}({\sqrt {{\sqrt {s^{4}+1}}+1}}+s)$

${\text{sl}}{\bigl [}{\tfrac {1}{2}}{\sqrt {2}}\,\mathrm {aclh} (s){\bigr ]}={\sqrt {{\sqrt {s^{4}+1}}-s^{2}}}$

字母G代表高斯常数，可以用伽马函数用刚才所示的方式表示。

连分数

连分数是拉马努金 (Rogers-Ramanujan continued fraction) 允许以 Bring-Jerrard 形式对广义五次方程进行非常紧凑的解。 这个连分数函数和交替连分数可以定义如下：

$R(z)=z^{1/5}{\frac {(z;z^{5})_{\infty }(z^{4};z^{5})_{\infty }}{(z^{2};z^{5})_{\infty }(z^{3};z^{5})_{\infty }}}$

$R(z)=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {\vartheta _{00}(z^{1/2})^{2}}{2\vartheta _{00}(z^{5/2})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{2/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {\vartheta _{00}(z^{1/2})^{2}}{2\vartheta _{00}(z^{5/2})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{1/5}$

$R(z^{2})=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {\vartheta _{00}(z)^{2}}{2\vartheta _{00}(z^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{2/5}\tan {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {\vartheta _{00}(z)^{2}}{2\vartheta _{00}(z^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{1/5}$

$S(z)=\tan {\biggl \{}{\frac {1}{2}}\arctan {\biggl [}{\frac {\vartheta _{00}(z)^{2}}{2\vartheta _{00}(z^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{1/5}\cot {\biggl \{}{\frac {1}{2}}\operatorname {arccot} {\biggl [}{\frac {\vartheta _{00}(z)^{2}}{2\vartheta _{00}(z^{5})^{2}}}-{\frac {1}{2}}{\biggr ]}{\biggr \}}^{2/5}$

$S(z)={\frac {R(z^{4})}{R(z^{2})R(z)}}$

括号，每个都有两个条目，形成所谓的 Pochhammer-符号 (Pochhammer symbol) 并因此代表产品系列。 基于这些定义，可以为实际解建立以下压缩精确解公式:

$x^{5}+x=w$

$x={\frac {S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{2}}}\times$

$\times {\frac {1-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{2}{\bigr \rangle }^{2}}}\times$

$\times {\frac {\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}^{5}{\bigr \rangle }^{3}}{2{\sqrt[{4}]{20}}\,{\text{sl}}[{\tfrac {1}{2}}{\sqrt {2}}\,{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {5}{4}}{\sqrt[{4}]{5}}\,w)]^{2}\}{\bigr \rangle }^{3}}}$

准确的例子

分配给非初等数学实解的第一个自然数 w 是数字 w = 3:

$x^{5}+x=3$

$x={\frac {S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }^{2}}}\times$

$\times {\frac {1-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}^{2}{\bigr \rangle }^{2}}}\times$

$\times {\frac {\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}^{5}{\bigr \rangle }^{3}}{2{\sqrt[{4}]{20}}\,{\text{sl}}[{\tfrac {1}{2}}{\sqrt {2}}\,{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }^{3}}}$

$q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {15}{4}}{\sqrt[{4}]{5}})]^{2}\}\approx 0.452374059450344348576600264284387826377845763909$

$x\approx 1.132997565885065266721141634288532379816526027727$

与此类似，数字 w = 7 仅分配给非基本解:

$x^{5}+x=7$

$x={\frac {S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }^{2}-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}^{2}{\bigr \rangle }}{S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }^{2}}}\times$

$\times {\frac {1-R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}^{2}{\bigr \rangle }\,S{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }}{R{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}^{2}{\bigr \rangle }^{2}}}\times$

$\times {\frac {\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}^{5}{\bigr \rangle }\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}^{1/5}{\bigr \rangle }^{2}-5\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}^{5}{\bigr \rangle }^{3}}{2{\sqrt[{4}]{20}}\,{\text{sl}}[{\tfrac {1}{2}}{\sqrt {2}}\,{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]\,\vartheta _{00}{\bigl \langle }q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}{\bigr \rangle }^{3}}}$

$q\{{\text{ctlh}}[{\tfrac {1}{2}}{\text{aclh}}({\tfrac {35}{4}}{\sqrt[{4}]{5}})]^{2}\}\approx 0.53609630892200161460073096549143569900990236$

$x\approx 1.4108138510595771319852918753499397839215989$

参见

• 方程式论
• 布灵根式