2

可解な5次方程式の計算例

105
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{c}[0]{\cdot} \newcommand{cc}[0]{{\atop{}\cdots{}}} \newcommand{d}[0]{\delta} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{E}[0]{\tilde{E}} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{FF}[6]{{}_3F_2\left(\begin{matrix}#1,#2,#3\\#4,#5\end{matrix};#6\right)} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{K}[0]{\mathop{\vcenter{\text{\huge K}}}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{m}[0]{{\atop{}-{}}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{{\atop{}+{}}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では この記事 において紹介した計算法を用いて、以下のデータベースに列挙されている可解な$5$次多項式の根の厳密値をいっぱい求めていきます。ただし虚根無しの場合は判別式の素因数がデカくなりがちだったので、基本的には虚根有りの場合を重点的に計算していきます。

虚根無し

虚根有り

 上のリストは判別式の小さい順に並んでいる。ただし多項式$f$の判別式$D_f$ではなく代数体$k=\Q[x]/(f)$の判別式$D_k$であることに注意。ちなみにある整数$\d$が存在して$D_f=\d^2D_k$が成り立つ。

注意

 以下で紹介する公式においては対称性を重視している都合上、しばしば$5$乗根$\sqrt[5]\g$の中身に負数が入ることがあります。しかし各種の数式処理システムにおいて負数の$5$乗根は
$$\sqrt[5]\g=\sqrt[5]{-\g}\c e^{\pi i/5}$$
と計算されることが少なくないので、下の結果を検算したり応用したりしたい場合は$5$乗根の中身の符号には注意してください。

虚根有りの場合

$\sqrt D\in\Q$の場合

ラベル$F$方程式
$1$ 5.1.1000000.1 $5+\sqrt5$$ x^5-5x-12=0$
$2$ 5.1.937024.1 $5+\sqrt5$$ x^5-x^4-4x^3-8x^2+3x-23=0$
$3$ 5.1.250000.1 $2(5+\sqrt5)$$ x^5-5x^3+10x-4=0$
$4$ 5.1.2085136.1 $2(5+\sqrt5)$$ x^5-2x^4-6x^3+10x^2+17x-12=0$
$5$ 5.1.140625.1 $6(5+\sqrt5)$$ x^5-5x^2-3=0$
$6$ 5.1.3515625.1 $6(5+\sqrt5)$$ x^5+10x^3-15x^2+10x-12=0$
$7$ 5.1.717409.1 $14(5+\sqrt5)$$ x^5-2x^4+6x^3-9x^2+4x+1=0$
$8$ 5.1.765625.1 $14(5+\sqrt5)$$ x^5-5x^2+10x-4=0$
$9$ 5.1.1890625.1 $22(5+\sqrt5)$$ x^5+5x^3-5x^2+5x+3=0$
$10$ 5.1.42250000.1 $26(5+\sqrt5)$$ x^5-5x^3-10x^2+50x-80=0$

$$x^5-5x-12=0$$
の場合
\begin{align} D&=2^{12}\c5^6\\ -E,-\E&=2^5\c5^3,\ 2^7\c5^3\\ F&=5+\sqrt5\\ \\ \a_0&=\frac{\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac{125}4(3+\sqrt5)\l(25+5\sqrt5+6\sqrt{5(5+\sqrt5)}\r)\\ \g_2&=\frac{125}4(3-\sqrt5)\l(25-5\sqrt5+6\sqrt{5(5-\sqrt5)}\r)\\ \g_3&=\frac{125}4(3-\sqrt5)\l(25-5\sqrt5-6\sqrt{5(5-\sqrt5)}\r)<0\\ \g_4&=\frac{125}4(3+\sqrt5)\l(25+5\sqrt5-6\sqrt{5(5+\sqrt5)}\r)\\ \\ \sqrt[5]{\g_1\g_4}&=5\sqrt5\\ \sqrt[5]{\g_2\g_3}&=-5\sqrt5\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=25\l(-\sqrt5+\sqrt{5+\sqrt5}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=25\l(-\sqrt5-\sqrt{5+\sqrt5}\r)\\ \end{align}

$$x^5-x^4-4x^3-8x^2+3x-23=0$$
の場合
\begin{align} D&=2^{18}\c11^4\\ -E,-\E&=2^9\c11^2,\ 2^9\c11^2\\ F&=5+\sqrt5\\ \\ \a_0&=\frac{1+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=22(1+3\sqrt5)\l(18+16\sqrt5+5\sqrt{5(5+\sqrt5)}\r)\\ \g_2&=22(1-3\sqrt5)\l(18-16\sqrt5-5\sqrt{5(5-\sqrt5)}\r)\\ \g_3&=22(1-3\sqrt5)\l(18-16\sqrt5+5\sqrt{5(5-\sqrt5)}\r)<0\\ \g_4&=22(1+3\sqrt5)\l(18+16\sqrt5-5\sqrt{5(5+\sqrt5)}\r)\\ \\ \sqrt[5]{\g_1\g_4}&=11(1+\sqrt5)\\ \sqrt[5]{\g_2\g_3}&=11(1-\sqrt5)\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=22\l(3-\sqrt5+\sqrt{5(5+\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=22\l(3-\sqrt5-\sqrt{5(5+\sqrt5)}\r) \end{align}

$$x^5-5x^3+10x-4=0$$
の場合
\begin{align} D&=2^6\c5^6\\ -E,-\E&=2^2\c5^3,\ 2^4\c5^3\\ F&=2(5+\sqrt5)\\ \\ \a_0&=\frac{\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac{125}4\l(-20\sqrt5+(3+\sqrt5)\sqrt{10(5+\sqrt5)}\r)<0\\ \g_2&=\frac{125}4\l(\phantom{{}-}20\sqrt5+(3-\sqrt5)\sqrt{10(5-\sqrt5)}\r)\\ \g_3&=\frac{125}4\l(\phantom{{}-}20\sqrt5-(3-\sqrt5)\sqrt{10(5-\sqrt5)}\r)\\ \g_4&=\frac{125}4\l(-20\sqrt5-(3+\sqrt5)\sqrt{10(5+\sqrt5)}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=5\c\frac{5-\sqrt5}2\\ \sqrt[5]{\g_2\g_3}&=5\c\frac{5+\sqrt5}2\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac{25}2\l(2\sqrt5+\sqrt{2(5+\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac{25}2\l(2\sqrt5-\sqrt{2(5+\sqrt5)}\r) \end{align}

$$x^5-2x^4-6x^3+10x^2+17x-12=0$$
の場合
\begin{align} D&=2^{10}\c19^4\\ -E,-\E&=2^4\c19^2,\ 2^6\c19^2\\ F&=2(5+\sqrt5)\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac{19}4(1+2\sqrt5)\l(202+46\sqrt5+15(3+\sqrt5)\sqrt{2(5+\sqrt5)}\r)\\ \g_2&=\frac{19}4(1-2\sqrt5)\l(202-46\sqrt5+15(3-\sqrt5)\sqrt{2(5-\sqrt5)}\r)<0\\ \g_3&=\frac{19}4(1-2\sqrt5)\l(202-46\sqrt5-15(3-\sqrt5)\sqrt{2(5-\sqrt5)}\r)<0\\ \g_4&=\frac{19}4(1+2\sqrt5)\l(202+46\sqrt5+15(3+\sqrt5)\sqrt{2(5+\sqrt5)}\r)\\ \\ \sqrt[5]{\g_1\g_4}&=19\\ \sqrt[5]{\g_2\g_3}&=19\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac{19}2\l(-1-5\sqrt5+\sqrt{10(5+\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac{19}2\l(-1-5\sqrt5-\sqrt{10(5+\sqrt5)}\r) \end{align}

$$x^5+10x^3-15x^2+10x-12=0$$
の場合
\begin{align} D&=2^2\c3^2\c5^8\c11^2\\ -E,-\E&=2^2\c3\c5^4,\ 3\c5^4\c11^2\\ F&=6(5+\sqrt5)\\ \\ \a_0&=\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}\\ \g_1&=3+\sqrt5+\frac{1+\sqrt5}4\sqrt{6(5+\sqrt5)}\\ \g_2&=3-\sqrt5+\frac{1-\sqrt5}4\sqrt{6(5-\sqrt5)}<0\\ \g_3&=3-\sqrt5-\frac{1-\sqrt5}4\sqrt{6(5-\sqrt5)}\\ \g_4&=3+\sqrt5-\frac{1+\sqrt5}4\sqrt{6(5+\sqrt5)}<0\\ \\ \sqrt[5]{\g_1\g_4}&=-1\\ \sqrt[5]{\g_2\g_3}&=-1\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac14\l(3+\sqrt5-\sqrt{6(5+\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac14\l(3+\sqrt5+\sqrt{6(5+\sqrt5)}\r)\\ \end{align}

$$x^5-5x^2-3=0$$
の場合
\begin{align} D&=3^4\c5^6\\ -E,-\E&=3\c5^3,\ 3^3\c5^3\\ F&=6(5+\sqrt5)\\ \\ \a_0&=\frac{\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac{125}8\l(10(5+\sqrt5)+(3+\sqrt5)\sqrt{30(5+\sqrt5)}\r)\\ \g_2&=\frac{125}8\l(10(5-\sqrt5)+(3-\sqrt5)\sqrt{30(5-\sqrt5)}\r)\\ \g_3&=\frac{125}8\l(10(5-\sqrt5)-(3-\sqrt5)\sqrt{30(5-\sqrt5)}\r)\\ \g_4&=\frac{125}8\l(10(5+\sqrt5)-(3+\sqrt5)\sqrt{30(5+\sqrt5)}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=-5\sqrt5\\ \sqrt[5]{\g_2\g_3}&=5\sqrt5\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=25\l(5+\sqrt5-\sqrt{6(5-\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=25\l(5+\sqrt5+\sqrt{6(5-\sqrt5)}\r) \end{align}

$$x^5-2x^4+6x^3-9x^2+4x+1=0$$
の場合
\begin{align} D&=7^2\c11^4\\ -E,-\E&=7\c11^2,\ 7\c11^2\\ F&=14(5+\sqrt5)\\ \\ \a_0&=\frac{2-\sqrt[5]{\g_1}-\sqrt[5]{\g_2}-\sqrt[5]{\g_3}-\sqrt[5]{\g_4}}5\\ \g_1&=\frac{11}4(4+\sqrt5)\l(53+43\sqrt5+15\sqrt{14(5+\sqrt5)}\r)\\ \g_2&=\frac{11}4(4-\sqrt5)\l(53-43\sqrt5+15\sqrt{14(5-\sqrt5)}\r)\\ \g_3&=\frac{11}4(4-\sqrt5)\l(53-43\sqrt5-15\sqrt{14(5-\sqrt5)}\r)<0\\ \g_4&=\frac{11}4(4+\sqrt5)\l(53+43\sqrt5-15\sqrt{14(5+\sqrt5)}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=-11\\ \sqrt[5]{\g_2\g_3}&=-11\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac{11}4\l(-7-5\sqrt5+\sqrt{70(5+\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac{11}4\l(-7-5\sqrt5-\sqrt{70(5+\sqrt5)}\r) \end{align}

$$x^5-5x^2+10x-4=0$$
の場合
\begin{align} D&=2^2\c5^6\c7^2\\ -E,-\E&=5^3\c7,\ 2^2\c5^3\c7\\ F&=14(5+\sqrt5)\\ \\ \a_0&=-\frac{\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac{125}4(5+3\sqrt5)\l(10+\sqrt{14(5+\sqrt5)}\r)\\ \g_2&=\frac{125}4(5-3\sqrt5)\l(10-\sqrt{14(5-\sqrt5)}\r)<0\\ \g_3&=\frac{125}4(5-3\sqrt5)\l(10+\sqrt{14(5-\sqrt5)}\r)<0\\ \g_4&=\frac{125}4(5+3\sqrt5)\l(10-\sqrt{14(5+\sqrt5)}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=-5\sqrt5\\ \sqrt[5]{\g_2\g_3}&=5\sqrt5\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac{25}4\l(-5-3\sqrt5+\sqrt{14(5+\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac{25}4\l(-5-3\sqrt5-\sqrt{14(5+\sqrt5)}\r)\\ \end{align}

$$x^5+5x^3-5x^2+5x+3=0$$
の場合
\begin{align} D&=3^6\c5^6\c11^2\\ -E,-\E&=5^3\c11,\ 3^2\c5^3\c11\\ F&=\sqrt{22(5+\sqrt5)}\\ \\ \a_0&=\frac{\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac{125}8\l(\phantom{{}-}60\sqrt5+(15-\sqrt5)\sqrt{22(5+\sqrt5)}\r)\\ \g_2&=\frac{125}8\l(-60\sqrt5-(15+\sqrt5)\sqrt{22(5-\sqrt5)}\r)<0\\ \g_3&=\frac{125}8\l(-60\sqrt5+(15+\sqrt5)\sqrt{22(5-\sqrt5)}\r)\\ \g_4&=\frac{125}8\l(\phantom{{}-}60\sqrt5+(15-\sqrt5)\sqrt{22(5+\sqrt5)}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=-5\c\frac{5+\sqrt5}2\\ \sqrt[5]{\g_2\g_3}&=-5\c\frac{5-\sqrt5}2\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac{25}4\l(5-3\sqrt5-\sqrt{22(5-\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac{25}4\l(5-3\sqrt5+\sqrt{22(5-\sqrt5)}\r) \end{align}

$$x^5-5x^3-10x^2+50x-80=0$$
の場合
\begin{align} D&=2^8\c5^6\c13^4\\ -E,-\E&=2^2\c5^3\c13^3,\ 2^5\c5^3\c13\\ F&=26(5+\sqrt5)\\ \\ \a_0&=\frac{\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac{125}4\l(10(25+17\sqrt5)+(15+\sqrt5)\sqrt{26(5-\sqrt5)}\r)\\ \g_2&=\frac{125}4\l(10(25-17\sqrt5)+(15-\sqrt5)\sqrt{26(5+\sqrt5)}\r)\\ \g_3&=\frac{125}4\l(10(25-17\sqrt5)-(15-\sqrt5)\sqrt{26(5+\sqrt5)}\r)<0\\ \g_4&=\frac{125}4\l(10(25+17\sqrt5)-(15+\sqrt5)\sqrt{26(5-\sqrt5)}\r)\\ \\ \sqrt[5]{\g_1\g_4}&=5\c\frac{5+7\sqrt5}2\\ \sqrt[5]{\g_2\g_3}&=5\c\frac{5-7\sqrt5}2\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac{25}4\l(10(1-\sqrt5)+(1+\sqrt5)\sqrt{26(5+\sqrt5)}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac{25}4\l(10(1-\sqrt5)-(1+\sqrt5)\sqrt{26(5+\sqrt5)}\r) \end{align}

$\sqrt{5D}\in\Q$の場合

ラベル$F$方程式
$11$de Moivre$a^2+4b^5$$x^5+5bx^3+5b^2x-a=0$
$12$ 5.1.162000.1 $1$$ x^5-x^4+4x^3+4x^2-x+13=0$
$13$ 5.1.1830125.1 $5$$ x^5-2x^4+6x^3+2x^2+4x+1=0$
$14$ 5.1.648000.1 $10$$ x^5-2x^4+x^3+2x^2-x-4=0$
$15$ 5.1.338000.1 $65$$ x^5-x^4-2x^3+6x^2-3x-13=0$
$16$ 5.1.392000.1 $70$$ x^5-2x^4+4x^3-8x^2+11x-10=0$
$17$ 5.1.882000.1 $105$$ x^5-2x^4+2x^3+8x^2-8x+4=0$
de Moivre's quintic

$$x^5+5bx^3+5b^2x-a=0$$
の場合
\begin{align} D&=5^5(a^2+4b^5)^2\\ -E,-\E&=(a^2+4b^5)\l(\frac{5\pm\sqrt5}2\r)^5\\ F&=a^2+4b^5\\ \\ \a_0&=\sqrt[5]{\g_1}+\sqrt[5]{\g_4}\\ \g_1&=\frac{a+\sqrt{a^2+4b^5}}2\\ \g_4&=\frac{a-\sqrt{a^2+4b^5}}2\\ \\ \sqrt[5]{\g_1\g_4}&=-b \end{align}

$$x^5-x^4+4x^3+4x^2-x+13=0$$
の場合
\begin{align} D&=2^8\c3^4\c5^3\\ -E,-\E&=2^4\c3^2\c5\sqrt5\c\bigg(\frac{\sqrt5\pm1}2\bigg)^7\\ F&=1\\ \\ \a_0 &=\frac15\l(1-\sqrt[5]{2^3\c3}+\sqrt[5]{2^6\c3^2}-\sqrt[5]{2^9\c3^3}-\sqrt[5]{2^2\c3^4}\r)\\ &=-\frac{(\sqrt[5]{24})^4+4}{4(\sqrt[5]{24}+1)} \end{align}

$$x^5-2x^4+6x^3+2x^2+4x+1=0$$
の場合
\begin{align} D&=5^3\c11^4\\ -E,-\E&=5\sqrt5\c11^2\c\bigg(\frac{\sqrt5\pm1}2\bigg)^5\\ F&=5\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}-\sqrt[5]{\g_2}-\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=11^2\c\frac{9+5\sqrt5}2\\ \g_2&=11\c\bigg(\frac{9-5\sqrt5}2\bigg)^3<0\\ \g_3&=11\c\bigg(\frac{9+5\sqrt5}2\bigg)^3\\ \g_4&=11^2\c\frac{9-5\sqrt5}2<0\\ \\ \sqrt[5]{\g_1\g_4}&=-11\\ \sqrt[5]{\g_2\g_3}&=-11 \end{align}

$$x^5-2x^4+x^3+2x^2-x-4=0$$
の場合
\begin{align} D&=2^6\c3^4\c5^3\\ -E,-\E &=2^3\c3^2\c\l(\frac{5\pm\sqrt5}2\r)^3\\ F&=10\\ \\ \a_0&=\frac{2-\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}-\sqrt[5]{\g_4}}5\\ \g_1&=12(14+5\sqrt{10})\\ \g_2&=9(14+5\sqrt{10})^2/2\\ \g_3&=9(14-5\sqrt{10})^2/2\\ \g_4&=12(14-5\sqrt{10})<0\\ \\ \sqrt[5]{\g_1\g_4}&=-6\\ \sqrt[5]{\g_2\g_3}&=9 \end{align}

$$x^5-x^4-2x^3+6x^2-3x-13=0$$
の場合
\begin{align} D&=2^8\c5^3\c13^2\\ -E,-\E&=2^4\c5\sqrt5\c13\c\bigg(\frac{\sqrt5\pm1}2\bigg)^7\\ F&=5\c13\\ \\ \a_0&=\frac{1-\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}-\sqrt[5]{\g_4}}5\\ \g_1&=2(37+5\sqrt{65})\\ \g_2&=\g_1^2\\ \g_3&=\g_4^2\\ \g_4&=2(37-5\sqrt{65})<0\\ \\ \sqrt[5]{\g_1\g_4}&=-4\\ \sqrt[5]{\g_2\g_3}&=16 \end{align}

$$x^5-2x^4+4x^3-8x^2+11x-10=0$$
の場合
\begin{align} D&=2^{10}\c5^3\c7^2\\ -E,-\E &=2^5\c5\c7\c\frac{5\pm\sqrt5}2\\ F&=2\c5\c7\\ \\ \a_0&=\frac{2-\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}-\sqrt[5]{\g_4}}5\\ \g_1&=49(7+5\sqrt{70})\\ \g_2&=(7+5\sqrt{70})^2/7\\ \g_3&=(7-5\sqrt{70})^2/7\\ \g_4&=49(7-5\sqrt{70})<0\\ \\ \sqrt[5]{\g_1\g_4}&=-21\\ \sqrt[5]{\g_2\g_3}&=9 \end{align}

$$x^5-2x^4+2x^3+8x^2-8x+4=0$$
の場合
\begin{align} D&=2^8\c3^2\c5^3\c7^2\\ -E,-\E &=2^4\c3\c5\c7\c\frac{5\pm\sqrt5}2\\ F&=3\c5\c7\\ \\ \a_0&=\frac{2-\sqrt[5]{\g_1}-\sqrt[5]{\g_2}-\sqrt[5]{\g_3}-\sqrt[5]{\g_4}}5\\ \g_1&=18(51+5\sqrt{105})\\ \g_2&=4(51+5\sqrt{105})^2/3\\ \g_3&=4(51-5\sqrt{105})^2/3\\ \g_4&=18(51-5\sqrt{105})<0\\ \\ \sqrt[5]{\g_1\g_4}&=-6\\ \sqrt[5]{\g_2\g_3}&=4 \end{align}

$\sqrt D\not\in\Q(\sqrt5)$の場合

ラベル$F$方程式
$18$ 5.1.256000.1 $5(2+\sqrt2)$$ x^5-2x^4+6x^3-8x^2+9x-14=0$
$19$ 5.1.165888.1 $10+3\sqrt{10}$$ x^5-2x^4-2x^3+8x^2-x-10=0$
$20$ 5.1.4147200.1 $10+3\sqrt{10}$$ x^5-x^4+4x^3+4x^2+2x-2=0$
$21$ 5.1.17576000.1 $5(13+3\sqrt{13})$$ x^5-2x^4-17x^3+8x^2+38x-48=0$
$22$ 5.1.13456625.1 $70(13+3\sqrt{13})$$ x^5-2x^4+3x^3-37x^2-27x-133=0$
$23$ 5.1.614125.1 $17+4\sqrt{17}$$ x^5-2x^4+2x^3+3x^2-3x+4=0$
$24$ 5.1.9826000.2 $5(17+4\sqrt{17})$$ x^5-2x^4-2x^3-2x^2+18x-18=0$
$25$ 5.1.9826000.3 $5(17+4\sqrt{17})$$ x^5-2x^4-6x^3+12x^2+36x+20=0$
$26$ 5.1.35152.1 $65+8\sqrt{65}$$ x^5-x^4+2x^3-4x^2+x-1=0$

 ちなみにこれらの$F$は実二次体$\Q(\sqrt{5D})$の基本単数を意識した表示を採用しているが、場合によっては
\begin{align} \sqrt{2(10+\sqrt{10})}&=(\sqrt{10}-2)\sqrt{10+3\sqrt{10}}\\ \sqrt{2(17+\sqrt{17})}&=(\sqrt{17}-3)\sqrt{17+4\sqrt{17}}\\ \sqrt{2(65+\sqrt{65})}&=(\sqrt{65}-7)\sqrt{65+8\sqrt{65}} \end{align}
といった関係式によって$N+\sqrt N$型の表示も得られる。以下では気分によってそのような表示も用いることがある。
 また$E$の値から
$$\sqrt F\in\sqrt{-E\c\frac{5+\sqrt 5}2}\c\Q(\sqrt D,\sqrt 5)$$
の値を類推するにあたって
\begin{align} &\frac{\sqrt{a^2+4}+a}2\c\frac{\sqrt{b^2+4}+b}2\c\frac{\sqrt{(a^2+4)(b^2+4)}-ab+4}2\\ ={}&\l(\frac{\sqrt{a^2+4}+a}2+\frac{\sqrt{b^2+4}+b}2\r)^2 \end{align}
という等式が成り立つことを覚えておくといいかもしれない。

$$x^5-2x^4+6x^3-8x^2+9x-14=0$$
の場合
\begin{align} D&=2^{17}\c5^3\\ -\E &=2^8\c5\c(10+3\sqrt{10})\\ F&=5(2+\sqrt2)\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=857+50\sqrt2+5(89+17\sqrt2)\sqrt{10(2+\sqrt2)}\\ \g_2&=857-50\sqrt2-5(89-17\sqrt2)\sqrt{10(2-\sqrt2)}\\ \g_3&=857-50\sqrt2+5(89-17\sqrt2)\sqrt{10(2-\sqrt2)}\\ \g_4&=857+50\sqrt2-5(89+17\sqrt2)\sqrt{10(2+\sqrt2)}<0\\ \\ \sqrt[5]{\g_1\g_4}&=-11-10\sqrt2\\ \sqrt[5]{\g_2\g_3}&=-11+10\sqrt2\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=13+40\sqrt2-5(4-\sqrt2)\sqrt{5(2+\sqrt2)}\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=13+40\sqrt2+5(4-\sqrt2)\sqrt{5(2+\sqrt2)}\\ \end{align}

$$x^5-2x^4-2x^3+8x^2-x-10=0$$
の場合
\begin{align} D&=2^{11}\c3^4\\ -\E&=2^5\sqrt2\c3^2\c(\sqrt2+1)^5\\ F&=10+3\sqrt{10}\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=3\l(1219+395\sqrt{10}+5(59+16\sqrt{10})\sqrt{10+3\sqrt{10}}\r)\\ \g_2&=3\l(1219-395\sqrt{10}+5(59-16\sqrt{10})\sqrt{10-3\sqrt{10}}\r)\\ \g_3&=3\l(1219-395\sqrt{10}-5(59-16\sqrt{10})\sqrt{10-3\sqrt{10}}\r)<0\\ \g_4&=3\l(1219+395\sqrt{10}-5(59+16\sqrt{10})\sqrt{10+3\sqrt{10}}\r)\\ \\ \sqrt[5]{\g_1\g_4}&=3(3+\sqrt{10})\\ \sqrt[5]{\g_2\g_3}&=3(3-\sqrt{10})\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=3\l(-9-4\sqrt{10}+5\sqrt{10+3\sqrt{10}}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=3\l(-9-4\sqrt{10}-5\sqrt{10+3\sqrt{10}}\r) \end{align}

$$x^5-x^4+4x^3+4x^2+2x-2=0$$
の場合
\begin{align} D&=2^{11}\c3^4\c5^2\\ -\E&=2^5\c3^2\c5\c(2+\sqrt2)\\ F&=10+3\sqrt{10}\\ \\ \a_0&=\frac{1+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=3\l(1267+410\sqrt{10}+25(11+4\sqrt{10})\sqrt{10+3\sqrt{10}}\r)\\ \g_2&=3\l(1267-410\sqrt{10}-25(11-4\sqrt{10})\sqrt{10-3\sqrt{10}}\r)<0\\ \g_3&=3\l(1267-410\sqrt{10}+25(11-4\sqrt{10})\sqrt{10-3\sqrt{10}}\r)<0\\ \g_4&=3\l(1267+410\sqrt{10}-25(11+4\sqrt{10})\sqrt{10+3\sqrt{10}}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=3(-3-\sqrt{10})\\ \sqrt[5]{\g_2\g_3}&=3(-3+\sqrt{10})\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=3\l(-13-3\sqrt{10}+5\sqrt{10+3\sqrt{10}}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=3\l(-13-3\sqrt{10}-5\sqrt{10+3\sqrt{10}}\r) \end{align}

$$x^5-2x^4-17x^3+8x^2+38x-48=0$$
の場合
\begin{align} D&=2^{14}\c5^3\c13^3\\ -\E&=2\c5\c13\c(\sqrt{65}-1)^2(65+8\sqrt{65})\\ F&=5(13+3\sqrt{13})\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac12\l(1887+475\sqrt{13}+10(16+3\sqrt{13})\sqrt{5(13+3\sqrt{13})}\r)\\ \g_2&=\frac12\l(1887-475\sqrt{13}+10(16-3\sqrt{13})\sqrt{5(13-3\sqrt{13})}\r)\\ \g_3&=\frac12\l(1887-475\sqrt{13}-10(16-3\sqrt{13})\sqrt{5(13-3\sqrt{13})}\r)\\ \g_4&=\frac12\l(1887+475\sqrt{13}-10(16+3\sqrt{13})\sqrt{5(13+3\sqrt{13})}\r)\\ \\ \sqrt[5]{\g_1\g_4}&=\frac{93+25\sqrt{13}}2\\ \sqrt[5]{\g_2\g_3}&=\frac{93-25\sqrt{13}}2\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac12\l(171+25\sqrt{13}+5(5+\sqrt{13})\sqrt{5(13-3\sqrt{13})}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac12\l(171+25\sqrt{13}-5(5+\sqrt{13})\sqrt{5(13-3\sqrt{13})}\r) \end{align}

$$x^5-2x^4+3x^3-37x^2-27x-133=0$$
の場合
\begin{align} D&=3^8\c5^3\c7^2\c13^3\\ -\E&=3^4\c5\c7\c13\c(65+8\sqrt{65})\\ F&=70(13+3\sqrt{13})\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac18\l(4(89889+14950\sqrt{13})+45(29+79\sqrt{13})\sqrt{70(13+3\sqrt{13})}\r)\\ \g_2&=\frac18\l(4(89889-14950\sqrt{13})+45(29-79\sqrt{13})\sqrt{70(13-3\sqrt{13})}\r)\\ \g_3&=\frac18\l(4(89889-14950\sqrt{13})-45(29-79\sqrt{13})\sqrt{70(13-3\sqrt{13})}\r)\\ \g_4&=\frac18\l(4(89889+14950\sqrt{13})-45(29+79\sqrt{13})\sqrt{70(13+3\sqrt{13})}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=\frac{-7-15\sqrt{13}}2\\ \sqrt[5]{\g_2\g_3}&=\frac{-7+15\sqrt{13}}2\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2}&=\frac14\l(867+295\sqrt{13}-45\sqrt{70(13+3\sqrt{13})}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3}&=\frac14\l(867+295\sqrt{13}+45\sqrt{70(13+3\sqrt{13})}\r) \end{align}

$$x^5-2x^4+2x^3+3x^2-3x+4=0$$
の場合
\begin{align} D&=5^3\c17^3\\ -\E&=5\c17\c\frac{85+\sqrt{85}}2\\ F&=17+4\sqrt{17}\\ \\ \a_0&=\frac{2-\sqrt[5]{\g_1}-\sqrt[5]{\g_2}-\sqrt[5]{\g_3}-\sqrt[5]{\g_4}}5\\ \g_1&=\frac12\l(5261+1250\sqrt{17}+25(39+8\sqrt{17})\sqrt{17+4\sqrt{17}}\r)\\ \g_2&=\frac12\l(5261-1250\sqrt{17}-25(39-8\sqrt{17})\sqrt{17-4\sqrt{17}}\r)<0\\ \g_3&=\frac12\l(5261-1250\sqrt{17}+25(39-8\sqrt{17})\sqrt{17-4\sqrt{17}}\r)\\ \g_4&=\frac12\l(5261+1250\sqrt{17}-25(39+8\sqrt{17})\sqrt{17+4\sqrt{17}}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=-1\\ \sqrt[5]{\g_2\g_3}&=-1\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2} &=\frac14\l(103+25\sqrt{17}-5(3+\sqrt{17})\sqrt{17+4\sqrt{17}}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3} &=\frac14\l(103+25\sqrt{17}+5(3+\sqrt{17})\sqrt{17+4\sqrt{17}}\r) \end{align}

$$x^5-2x^4-2x^3-2x^2+18x-18=0$$
の場合
\begin{align} D&=2^4\c3^2\c5^3\c17^3\\ -\E&=-2\c5\c17\c(85+7\sqrt{85})\\ F&=5(17+4\sqrt{17})\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac12\l(4889+1325\sqrt{17}+45(11-\sqrt{17})\sqrt{5(17+4\sqrt{17})}\r)\\ \g_2&=\frac12\l(4889-1325\sqrt{17}-45(11+\sqrt{17})\sqrt{5(17-4\sqrt{17})}\r)<0\\ \g_3&=\frac12\l(4889-1325\sqrt{17}+45(11+\sqrt{17})\sqrt{5(17-4\sqrt{17})}\r)\\ \g_4&=\frac12\l(4889+1325\sqrt{17}-45(11-\sqrt{17})\sqrt{5(17+4\sqrt{17})}\r)\\ \\ \sqrt[5]{\g_1\g_4}&=9+5\sqrt{17}\\ \sqrt[5]{\g_2\g_3}&=9-5\sqrt{17}\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2} &=\frac12\l(71-15\sqrt{17}+5(1-\sqrt{17})\sqrt{5(17+4\sqrt{17})}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3} &=\frac12\l(71-15\sqrt{17}-5(1-\sqrt{17})\sqrt{5(17+4\sqrt{17})}\r) \end{align}

$$x^5-2x^4-6x^3+12x^2+36x+20=0$$
の場合
\begin{align} D&=2^8\c5^3\c17^3\\ -E&=2^3\c5\c17\c(85+9\sqrt{85})\\ F&=5(17+4\sqrt{17})\\ \\ \a_0&=\frac{2+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=-2543+2025\sqrt{17}-5\c\frac{1-39\sqrt{17}}2\sqrt{10(17+\sqrt{17})}\\ \g_2&=-2543-2025\sqrt{17}+5\c\frac{1+39\sqrt{17}}2\sqrt{10(17-\sqrt{17})}<0\\ \g_3&=-2543-2025\sqrt{17}-5\c\frac{1+39\sqrt{17}}2\sqrt{10(17-\sqrt{17})}<0\\ \g_4&=-2543+2025\sqrt{17}+5\c\frac{1-39\sqrt{17}}2\sqrt{10(17+\sqrt{17})}<0\\ \\ \sqrt[5]{\g_1\g_4}&=19-5\sqrt{17}\\ \sqrt[5]{\g_2\g_3}&=19+5\sqrt{17}\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2} &=2\l(-11-15\sqrt{17}+5\sqrt{10(17+\sqrt{17})}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3} &=2\l(-11-15\sqrt{17}-5\sqrt{10(17+\sqrt{17})}\r) \end{align}

$$x^5-x^4+2x^3-4x^2+x-1=0$$
の場合
\begin{align} D&=2^4\c13^3\\ -\E&=26(13+3\sqrt{13})\\ F&=65+8\sqrt{65}\\ \\ \a_0&=\frac{1+\sqrt[5]{\g_1}+\sqrt[5]{\g_2}+\sqrt[5]{\g_3}+\sqrt[5]{\g_4}}5\\ \g_1&=\frac12\l(1477+125\sqrt{65}+5(25+2\sqrt{65})\sqrt{2(65+\sqrt{65})}\r)\\ \g_2&=\frac12\l(1477-125\sqrt{65}-5(25-2\sqrt{65})\sqrt{2(65-\sqrt{65})}\r)<0\\ \g_3&=\frac12\l(1477-125\sqrt{65}+5(25-2\sqrt{65})\sqrt{2(65-\sqrt{65})}\r)\\ \g_4&=\frac12\l(1477+125\sqrt{65}-5(25+2\sqrt{65})\sqrt{2(65+\sqrt{65})}\r)<0\\ \\ \sqrt[5]{\g_1\g_4}&=-4\\ \sqrt[5]{\g_2\g_3}&=-4\\ (\sqrt[5]{\g_4})^2\sqrt[5]{\g_2} &=\frac14\l(74+10\sqrt{65}-(5+\sqrt{65})\sqrt{2(65+\sqrt{65})}\r)\\ (\sqrt[5]{\g_1})^2\sqrt[5]{\g_3} &=\frac14\l(74+10\sqrt{65}+(5+\sqrt{65})\sqrt{2(65+\sqrt{65})}\r) \end{align}

虚根無しの場合

ラベルガロア群$-F$方程式
$27$ 5.5.390625.1 $C_5$$2(5+\sqrt5)$$ x^5-10x^3-5x^2+10x-1=0$
$28$ 5.5.14641.1 $C_5$$2(5+\sqrt5)$$ x^5-x^4-4x^3+3x^2+3x-1=0$
$29$ 5.5.49000000.1 $D_5$$7(5+\sqrt5)$$ x^5-25x^3-10x^2+50x-20=0$
$30$ 5.5.21390625.1 $D_5$$74(5+\sqrt5)$$ x^5-20x^3-5x^2+90x+49=0$
$31$ 5.5.32000000.1 $F_{20}$$10+\sqrt{10}$$ x^5-20x^3+60x-32=0$
$32$ 5.5.22244625.1 $F_{20}$$2(13+3\sqrt{13})$$ x^5-x^4-11x^3+4x^2+29x+13=0$

 $\sqrt{5D}\in\Q$の場合については目新しさに欠けるので省略する。
 ちなみにガロア群が$C_5$の方程式の解はクロネッカー・ウェーバーの定理などから$\cos$の線型結合によって表すことができる。

$$x^5-10x^3-5x^2+10x-1=0$$
の場合
\begin{align} D&=5^8\c7^2\\ E,\E&=5^4,\ 5^4\c7^2\\ -F&=10+2\sqrt5\\ \\ \a &=\d_1+\d_2+\d_3+\d_4\\ &=2\cos\frac{(10j+1)\pi}{25}+2\cos\frac{(20j+7)\pi}{25}\qquad(j=0,1,2,3,4)\\ \d_1^5&=\z_{10}\ =\frac{1+\sqrt5+\sqrt{-10+2\sqrt5}}4\\ \d_2^5&=\z_{10}^{-3}=\frac{1-\sqrt5-\sqrt{-10-2\sqrt5}}4\\ \d_3^5&=\z_{10}^3\ =\frac{1-\sqrt5+\sqrt{-10-2\sqrt5}}4\\ \d_4^5&=\z_{10}^{-1}=\frac{1+\sqrt5-\sqrt{-10+2\sqrt5}}4\\ \\ \d_1\d_4&=1\\ \d_2\d_3&=1\\ \d_2&=\z_{10}\c\d_1^2\\ \d_3&=\z_{10}^{-2}\c\d_1^3 \end{align}

$$x^5-x^4-4x^3+3x^2+3x-1=0$$
の場合
\begin{align} D&=11^4\\ E,\E&=11^2,\ 11^2\\ -F&=10+2\sqrt5\\ \\ \a&=\frac{1+\d_1+\d_2+\d_3+\d_4}5\\ &=2\cos\frac{(2j+1)\pi}{11}\qquad(j=0,1,2,3,4)\\ \d_1^5&=\frac{11}4(3-2\sqrt5)\l(-47-23\sqrt5-5\sqrt{-10+2\sqrt5}\r)\\ \d_2^5&=\frac{11}4(3+2\sqrt5)\l(-47+23\sqrt5+5\sqrt{-10-2\sqrt5}\r)\\ \d_3^5&=\frac{11}4(3+2\sqrt5)\l(-47+23\sqrt5-5\sqrt{-10-2\sqrt5}\r)\\ \d_4^5&=\frac{11}4(3-2\sqrt5)\l(-47-23\sqrt5+5\sqrt{-10+2\sqrt5}\r)\\ \\ \d_1\d_4&=11\\ \d_2\d_3&=11\\ \d_4^2\d_2&=\frac{11}4\l(-1-5\sqrt5+\sqrt{5(-10+2\sqrt5)}\r)\\ \d_1^2\d_3&=\frac{11}4\l(-1-5\sqrt5-\sqrt{5(-10+2\sqrt5)}\r) \end{align}

$$x^5-25x^3-10x^2+50x-20=0$$
の場合
\begin{align} d&=2^{10}\c5^6\c7^4\\ E,\E&=2^3\c5^3\c7,\ 2^7\c5^3\c7^3\\ -F&=7(5+\sqrt5)\\ \\ \a&=\frac{\d_1+\d_2+\d_3+\d_4}5\\ \d_1^5&=\frac{125}2\l(125+95\sqrt5+(65-9\sqrt5)\sqrt{7(-5+\sqrt5)}\r)\\ \d_2^5&=\frac{125}2\l(125-95\sqrt5+(65+9\sqrt5)\sqrt{7(-5-\sqrt5)}\r)\\ \d_3^5&=\frac{125}2\l(125-95\sqrt5-(65+9\sqrt5)\sqrt{7(-5-\sqrt5)}\r)\\ \d_4^5&=\frac{125}2\l(125+95\sqrt5-(65-9\sqrt5)\sqrt{7(-5+\sqrt5)}\r)\\ \\ \d_1\d_4&=5\c\frac{25-\sqrt5}2\\ \d_2\d_3&=5\c\frac{25+\sqrt5}2\\ \d_4^2\d_2&=\frac{25}2\l(5+5\sqrt5-(1+3\sqrt5)\sqrt{7(-5+\sqrt5)}\r)\\ \d_1^2\d_3&=\frac{25}2\l(5+5\sqrt5+(1+3\sqrt5)\sqrt{7(-5+\sqrt5)}\r) \end{align}

$$x^5-20x^3-5x^2+90x+49=0$$
の場合
\begin{align} D&=3^6\c6^6\c37^2\\ E,\E&=3^2\c5^3\c37,\ 3^4\c5^3\c37\\ F&=74(5+\sqrt5)\\ \\ \a&=\frac{\d_1+\d_2+\d_3+\d_4}5\\ \d_1^5&=\frac{125}4\l(-75+165\sqrt5+(20-7\sqrt5)\sqrt{74(-5+\sqrt5)}\r)\\ \d_2^5&=\frac{125}4\l(-75-165\sqrt5+(20+7\sqrt5)\sqrt{74(-5-\sqrt5)}\r)\\ \d_3^5&=\frac{125}4\l(-75-165\sqrt5-(20+7\sqrt5)\sqrt{74(-5-\sqrt5)}\r)\\ \d_4^5&=\frac{125}4\l(-75+165\sqrt5-(20-7\sqrt5)\sqrt{74(-5+\sqrt5)}\r)\\ \\ \d_1\d_4&=50-5\sqrt5\\ \d_2\d_3&=50+5\sqrt5\\ \d_4^2\d_2&=\frac{25}4\l(5-23\sqrt5+\sqrt{74(-5+\sqrt5)}\r)\\ \d_1^2\d_3&=\frac{25}4\l(5-23\sqrt5-\sqrt{74(-5+\sqrt5)}\r) \end{align}

$$x^5-20x^3+60x-32=0$$
の場合
\begin{align} D&=2^{21}\c5^6\\ E,\E&=2^{10}\sqrt2\c5^3\c(\sqrt2\pm1)^3\\ -F&=10+\sqrt{10}\\ \\ \a&=\frac{\d_1+\d_2+\d_3+\d_4}5\\ \d_1^5&=500\l(-50+15\sqrt{10}+(10-3\sqrt{10})\sqrt{-10+\sqrt{10}}\r)\\ \d_2^5&=500\l(-50-15\sqrt{10}-(10+3\sqrt{10})\sqrt{-10-\sqrt{10}}\r)\\ \d_3^5&=500\l(-50-15\sqrt{10}+(10+3\sqrt{10})\sqrt{-10-\sqrt{10}}\r)\\ \d_4^5&=500\l(-50+15\sqrt{10}-(10-3\sqrt{10})\sqrt{-10+\sqrt{10}}\r)\\ \\ \d_1\d_4&=50-10\sqrt{10}\\ \d_2\d_3&=50+10\sqrt{10}\\ \d_4^2\d_2&=50\l(\sqrt{10}-\sqrt{2(-10+3\sqrt{10})}\r)\\ \d_1^2\d_3&=50\l(\sqrt{10}+\sqrt{2(-10+3\sqrt{10})}\r) \end{align}

$$x^5-x^4-11x^3+4x^2+29x+13=0$$
の場合
\begin{align} D&=3^4\c5^3\c13^3\\ E,\E&=3^2\c5\c13\c(65\pm8\sqrt{65})\\ F&=2(13+3\sqrt{13})\\ \\ \a&=\frac{1+\d_1+\d_2+\d_3+\d_4}5\\ \d_1^5&=\frac38(47-13\sqrt{13})\l(-309+89\sqrt{13}+25\sqrt{2(-13+3\sqrt{13})}\r)\\ \d_2^5&=\frac38(47+13\sqrt{13})\l(-309-89\sqrt{13}+25\sqrt{2(-13-3\sqrt{13})}\r)\\ \d_3^5&=\frac38(47+13\sqrt{13})\l(-309-89\sqrt{13}-25\sqrt{2(-13-3\sqrt{13})}\r)\\ \d_4^5&=\frac38(47-13\sqrt{13})\l(-309+89\sqrt{13}-25\sqrt{2(-13+3\sqrt{13})}\r)\\ \\ \d_1\d_4&=\frac{57-15\sqrt{13}}2\\ \d_2\d_3&=\frac{57+15\sqrt{13}}2\\ \d_4^2\d_2&=\frac38(1-\sqrt{13})\l(7-3\sqrt{13}+5\sqrt{2(-13+3\sqrt{13})}\r)\\ \d_1^2\d_3&=\frac38(1-\sqrt{13})\l(7-3\sqrt{13}-5\sqrt{2(-13+3\sqrt{13})}\r) \end{align}

投稿日:15日前
更新日:15日前
数学の力で現場を変える アルゴリズムエンジニア募集 - Mathlog served by OptHub

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
1501
388039
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中