五次方程式

**五次方程式**（**ごじほうていしき**、）とは、次数が5であるような代数方程式のこと。

## 概要
一般に一変数の五次方程式は
:
の形で表現される。

代数学の基本定理によれば、任意の複素数係数方程式は複素数の中に**根が存在する**。その一方、五次以上の一般の方程式に対する**代数的解法は存在しない**。すなわち、一般の五次方程式に対して*代数的な***根の公式は存在しない**。もう少し詳しく書くと、五次の一般方程式の根を、その式の各項の係数と有理数の、*有限回*の四則演算及び*有限回*の根号をとる操作の組み合わせで表示することはできない。

これはルフィニ、アーベルらによって示された（アーベル–ルフィニの定理参照）。
またガロアによって方程式が代数的に解ける条件が裏付けられている（ガロア理論参照）。

なお、代数的ではないが、楕円関数などを用いた根の公式は存在する。

## 解の公式
五次方程式の解を超越的な手続を許して構成する方法としては、
* レベル5のモジュラー方程式の解を利用する方法
* 超幾何級数を利用する方法
の2つが知られている。
前者はエルミートによって、後者はクラインによって導出された。

### エルミートによる解法
五次方程式の解を構成するためには、まず、次の3つの事実を知っておく必要がある。

*任意の五次方程式は代数的操作のみによってブリング-ジェラード()の標準形に変形できる。
*レベル5のモジュラー方程式の解が具体的に求められる。
*それらの解のある特定のコンビネーションが五次方程式を満足し、ブリング-ジェラードの標準形と関係付けることができる。

これらを結合することで五次方程式の解を構成することができる。

#### ブリング-ジェラードの標準形
任意の五次方程式
:x^5 + a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 =0
はチルンハウス変換
:y=x^4 + b_3 x^3 + b_2 x^2 + b_1 x + b_0
において係数 *b<sub>j</sub>* をうまく選ぶことにより、ブリング-ジェラードの標準形
:y^5 + y + b = 0
への変換が可能であるので、まずこの形へ帰着させる。係数*b<sub>j</sub>* と *b* は元の方程式の係数 *a<sub>l</sub>* から複雑な代数的な演算（四則と冪根の組み合わせ）で表されたものとなる。

#### レベル5のモジュラー方程式
の周期をそれぞれ \omega_1, \omega_2 として、\tau を
:\tau=\frac{\omega_2}{\omega_1}
で定義する。ただし、\tau は純虚数と仮定する。また、
:q=e^{i\pi \tau}
と定義する。この時 q と q^n  が満足する関係式、または同値だが \tau と n\tau とが満たすべき関係式のことを「**レベル <math>n</math> のモジュラー方程式**」と言う。この方程式は次の形をとる。
:\frac{L'}{L} = n \frac{K'}{K}.
ただし、K, L はそれぞれ母数が k, l の第1種完全楕円積分、K', L' はそれぞれ母数が k':=\sqrt{1-k^2}、l':=\sqrt{1 - l^2} の第1種完全楕円積分を表す。この方程式によって、2つの母数 k, l が満たすべき方程式が決まる。n = 5 のとき \tau と 5\tau は次の関係式を満足することが分かっている。
:F\left[-\sqrt[4]{\kappa(5 \tau)}, \sqrt[4]{\kappa(\tau)}\right] = 0,\quad
F(x,y)=x^6 - y^6 + 5 x^2 y^2 (x^2 - y^2) - 4 x y (x^4 y^4 - 1)=0,
ただし、\kappa(\tau)は母数を表す。また、この式の証明の途中で次の2つの命題が証明される。
*K=\mathbb{Q}[\sqrt[4]{\kappa}(\tau)] と定義すると、F[x,\sqrt[4]{\kappa}(\omega)]\in\mathbb{Q}[\sqrt[4]{\kappa}(\omega)][x] = K[x] は K 上で既約である。
*この方程式の解が \alpha_{\infty}=-\sqrt[4]{\kappa(5\tau)},\quad
\alpha_{l}=\sqrt[4]{\kappa\left(\frac{\tau + 16 l}{5}\right)}\quad l\in\{1,2,3,4\}

で与えられる。

#### 解の構成
今、
:\begin{align}
r_0 &=(\alpha_\infty - \alpha_0)(\alpha_1 - \alpha_4)(\alpha_2 - \alpha_3)\sqrt[4]{\kappa}(\tau)\\
r_1 &=(\alpha_\infty - \alpha_1)(\alpha_2 - \alpha_0)(\alpha_3 - \alpha_4)\sqrt[4]{\kappa}(\tau)\\
r_2 &=(\alpha_\infty - \alpha_2)(\alpha_1 - \alpha_3)(\alpha_0 - \alpha_4)\sqrt[4]{\kappa}(\tau)\\
r_3 &=(\alpha_\infty - \alpha_3)(\alpha_2 - \alpha_4)(\alpha_1 - \alpha_0)\sqrt[4]{\kappa}(\tau)\\
r_4 &=(\alpha_\infty - \alpha_4)(\alpha_0 - \alpha_3)(\alpha_1 - \alpha_2)\sqrt[4]{\kappa}(\tau)
\end{align}
と定義すると、r_i は \;K(\sqrt{5\,})\; 上の方程式
:x^5 - 2^4 \cdot 5^3 \kappa^2 (1 - \kappa^2)^2 x - 2^6 \cdot 5^{\frac{5}{2}} \kappa^2 (1 - \kappa^2)^2 (1 + \kappa^2) = 0
の解であることが証明できる。この式とブリング-ジェラードの標準形とを結合することで五次方程式の解が構成できる。具体的には、
:b=-{\rm{i}} \frac{2(1 + \kappa^2)}{5^{\frac{5}{4}}\sqrt{\kappa(1-\kappa^2)}}
の変換で互いに移り変わる。これより、複素数 \kappa(\tau) は、四次方程式を解くことで決定できる。r_i を決定するには、この他に \tau そのものの値も必要であるので、残されている手続はパラメータ \tau の決定である。そして、この部分が超越的操作を含んでいる。\kappa(\tau) と \tau とは、楕円曲線 *C*
: y^2 = (1 - x^2)(1 - \kappa^2 x^2)
上の第1種積分
: \xi = \frac{dx}{y} =\frac{dx}{\sqrt{(1 - x^2)(1 - \kappa^2 x^2)}}
の周期の比、すなわち第一種完全楕円積分
: K=K(\kappa)=\int^1_0 {\frac{dx}{\sqrt{(1 - x^2 )(1 - \kappa^2 x^2)}}},\quad
K'=K'(\kappa)=K(\kappa')=\int^1_0 {\frac{dx}{\sqrt{(1 - x^2 )(1 - {\kappa'}^2 x^2)}}}=\int^1_0 {\frac{dx}{\sqrt{(1 - x^2 )\left \{1 - \left (1 - \kappa^2 \right ) x^2 \right \} } } },\quad 
\kappa'=\sqrt{1 - \kappa^2}
を用いて、
:\tau = \frac K'}{K}
の関係で結ばれている。これが \kappa(\tau) から \tau を決定する式である。この式は代数的には解けないが、この方程式を満足する \tau を r_i に代入して五次方程式の解が得られる。

### クラインによる解法

五次方程式を正20面体方程式（60次方程式）に帰着させ、正20面体方程式の解は超幾何関数で示される。

正20面体を二次元球面 に内接。
二次元球面 とリーマン球面（複素射影直線）を同一視。複素射影直線の斉次座標をz_1,z_2 (z={z_1}/{z_2})とし、以下の式を得る。
:f = z_1z_2 (z_1^{10}+11z_1^5z_2^5-z_2^{10}),
:H = -(z_1^{20}+z_2^{20} )+228(z_1^{15}z_2^5-z_1^5z_2^{15})-494z_1^{10}z_2^{10},
:T = (z_1^{30}+z_2^{30})+522(z_1^{25}z_2^5-z_1^5z_2^{25})-10005(z_1^{20}z_2^{10}+z_1^{10}z_2^{20}).

これらを用いて
:q(z)=\frac {H(z_1,z_2)^3}{1728f(z_1,z_2)^5}=\frac {H(z,1)^3}{1728f(z,1)^5}
となり、 q(z)=u は60次の方程式、いわゆる正20面体方程式
:((z^{20}+1)-288(z^{15}-z^5)+494z^{10})^3+1728uz^5(z^{10}+11z^5-1)^5=0
となる。
逆を求めると F(α,β,γ;ｚ）をガウスの超幾何関数として
:z=\frac {F(\frac {11}{60},\frac {31}{60},\frac {6}{5};\frac {1}{u})}{\sqrt[5]{1728}F(-\frac {1}{60},\frac {19}{60},\frac {4}{5};\frac {1}{u})}

### 限定的な代数的解法
一般の5次方程式が代数的には解かれないということは、上記に示したとおりであるが、特定の五次方程式がどのような場合に解けるかについては分かっている。ラグランジュが3次、4次で用いた手法をそのまま持ち込んだ場合、\alpha_iを元の方程式の根として、
: x=(\alpha_1+\zeta\alpha_2+\zeta^2\alpha_3+\zeta^3\alpha_4+\zeta^4\alpha_5)^5 (ただし &zeta; は1の原始5乗根)
の置換を考察することになるが、この場合5次対称群の位数は120で、出現する式は5次巡回群の位数=5で割った24通りである。つまりその為に解かなければならないxの方程式は24次のものとなり、次数が5次よりも高くなり，困難の程度がはるかに増す。

そこでより位数の低い置換を与えるような式を考察する必要があるが、これは1861年にアーサー・ケイリーが与えたものが最良となる。
: x=(\alpha_1\alpha_2+\alpha_2\alpha_3+\alpha_3\alpha_4+\alpha_4\alpha_5+\alpha_5\alpha_1-\alpha_1\alpha_3-\alpha_2\alpha_4-\alpha_3\alpha_5-\alpha_4\alpha_1-\alpha_5\alpha_2)^2
この場合に置換により現れる式の値は6通りであり、xの6次方程式を解くことに帰着する。もちろんこれを代数的に解くことは一般的な状況では不可能であるが、根の平方が有理数となる場合に限り、実質的な次数が下がり、代数的に解ける。その後は3次、4次のラグランジュの解法と同様にして元の方程式の根が得られる。これが五次方程式が代数的に（四則と開冪で）解かれるための必要十分条件である。

### 超冪根による解法

四則演算と通常の冪根をとることに加えて超冪根（すなわち既約な方程式  の唯一の実根）をとる操作も「代数的操作」として許容した場合、この拡張された意味において一般五次方程式が「代数的に」解けることが知られている。

## ガロア群
方程式が係数体上で既約ならそのガロア群は推移群になる。5次の推移群は以下の 5種類である 。
*  対称群（位数 120）
*  交代群（位数 60）
*  （位数 20）
*  半メタ巡回群（位数 10）
*  巡回群（位数 5）

既約な \mathbb{Q} 係数の 5 次方程式  x^5 + a x^4 + b x^3 + c x^2 + d x + e = 0  のガロア群 G の位数（群の要素の数） は 120, 60, 20, 10, 5 のどれかである。
* 5次対称群 
* 5次交代群 
* 位数20のフロベニウス群 
* 10次二面体群 
* 5次巡回群 

### ガロア群とモノドロミー群の関係
モノドロミー（モノドロミー群）という解析的な構造がガロア群という代数的構造と同型であることをカミーユ・ジョルダンが示した。

## 脚注
### 注釈

### 出典


## 関連項目
*アーベル-ルフィニの定理
*ガロア理論
*群論（可解群）
*ヤコビの虚数変換式

## 外部リンク
* 5次方程式の解の公式を求める
* n次方程式の解をDKA法を用いて求める
* [Bruce Bartlett:''The Quintic, the Icosahedron, and Elliptic Curves'', [AMS Notices] (April 2024)]
* 5次方程式の可解性の高速判定法 元吉文男 数理解析研究所講究録