五次方程式

五次方程式（ごじほうていしき、テンプレート:Lang-en）とは、次数が5であるような代数方程式のこと。

概要

一般に一変数の五次方程式は

テンプレート:Math

の形で表現される。

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

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

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

解の公式

五次方程式の解を超越的な手続を許して構成する方法としては、

• レベル5のモジュラー方程式の解を利用する方法
• 超幾何級数を利用する方法

の2つが知られている。 前者はエルミートによって、後者はクラインによって導出された。

エルミートによる解法

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

• 任意の五次方程式は代数的操作のみによってブリング-ジェラード(テンプレート:Lang)の標準形に変形できる。
• レベル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_j をうまく選ぶことにより、ブリング-ジェラードの標準形

$y^5+y+b=0$

への変換が可能であるので、まずこの形へ帰着させる。係数b_j と b は元の方程式の係数 a_l から複雑な代数的な演算（四則と冪根の組み合わせ）で表されたものとなる。

レベル5のモジュラー方程式

テンプレート:仮リンクの周期をそれぞれ ${\omega }_1,{\omega }_2$ として、$\tau$ を

$\tau =\frac{{\omega }_2}{{\omega }_1}$

で定義する。ただし、$\tau$ は純虚数と仮定する。また、

$q=e^{i\pi \tau }$

と定義する。この時 $q$ と $q^n$ が満足する関係式、または同値だが $\tau$ と $n\tau$ とが満たすべき関係式のことを「レベル $n$ のモジュラー方程式」と言う。この方程式は次の形をとる。

$\frac{L^{\prime }}{L}=n\frac{K^{\prime }}{K}.$

ただし、$K,L$ はそれぞれ母数が $k,l$ の第1種完全楕円積分、$K^{\prime },L^{\prime }$ はそれぞれ母数が $k^{\prime }:=\sqrt{1-k^2}$、$l^{\prime }:=\sqrt{1-l^2}$ の第1種完全楕円積分を表す。この方程式によって、2つの母数 $k,l$ が満たすべき方程式が決まる。$n=5$ のとき $\tau$ と $5\tau$ は次の関係式を満足することが分かっている。

$F[-\sqrt[4]{\kappa (5\tau )},\sqrt[4]{\kappa (\tau )}]=0,F(x,y)=x^6-y^6+5x^2{y}^2(x^2-y^2)-4xy(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 }_{\mathrm{\infty }}=-\sqrt[4]{\kappa (5\tau )},{\alpha }_l=\sqrt[4]{\kappa \left(\frac{\tau +16l}{5}\right)}l\in \{1,2,3,4\}$

で与えられる。

解の構成

今、

$\begin{array}{cc}{r}_0& =({\alpha }_{\mathrm{\infty }}-{\alpha }_0)({\alpha }_1-{\alpha }_4)({\alpha }_2-{\alpha }_3)\sqrt[4]{\kappa }(\tau )\\ r_1& =({\alpha }_{\mathrm{\infty }}-{\alpha }_1)({\alpha }_2-{\alpha }_0)({\alpha }_3-{\alpha }_4)\sqrt[4]{\kappa }(\tau )\\ r_2& =({\alpha }_{\mathrm{\infty }}-{\alpha }_2)({\alpha }_1-{\alpha }_3)({\alpha }_0-{\alpha }_4)\sqrt[4]{\kappa }(\tau )\\ r_3& =({\alpha }_{\mathrm{\infty }}-{\alpha }_3)({\alpha }_2-{\alpha }_4)({\alpha }_1-{\alpha }_0)\sqrt[4]{\kappa }(\tau )\\ r_4& =({\alpha }_{\mathrm{\infty }}-{\alpha }_4)({\alpha }_0-{\alpha }_3)({\alpha }_1-{\alpha }_2)\sqrt[4]{\kappa }(\tau )\end{array}$

と定義すると、$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=-\mathrm{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 )=\underset{0}{\overset{1}{\int }}\frac{dx}{\sqrt{(1-x^2)(1-{\kappa }^2{x}^2)}},K^{\prime }=K^{\prime }(\kappa )=K({\kappa }^{\prime })=\underset{0}{\overset{1}{\int }}\frac{dx}{\sqrt{(1-x^2)(1-{{\kappa }^{\prime }}^2{x}^2)}},{\kappa }^{\prime }=\sqrt{1-{\kappa }^2}$

を用いて、

$\tau =\frac{\mathrm{i}{K}^{\prime }}{K}$

の関係で結ばれている。これが $\kappa (\tau )$から $\tau$ を決定する式である。この式は代数的には解けないが、この方程式を満足する $\tau$ を $r_i$ に代入して五次方程式の解が得られる。

クラインによる解法

正二十面体的対称性（Icosahedral symmetry）

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

正20面体を二次元球面 テンプレート:Mathに内接。 二次元球面 テンプレート:Mathとリーマン球面（複素射影直線）を同一視。複素射影直線の斉次座標を$z_1,z_2(z=z_1/z_2)$とし、以下の式を得る。

$f=z_1{z}_2(z_1^{10}+11z_1^5{z}_2^5-z_2^{10}),$

$H=-(z_1^{20}+z_2^{20})+228(z_1^{15}{z}_2^5-z_1^5{z}_2^{15})-494z_1^{10}{z}_2^{10},$

$T=(z_1^{30}+z_2^{30})+522(z_1^{25}{z}_2^5-z_1^5{z}_2^{25})-10005(z_1^{20}{z}_2^{10}+z_1^{10}{z}_2^{20}).$

これらを用いて(と書いているのにTは使われていない？)

$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$ は（uが何であるか言及がない？）60次の方程式、いわゆる正20面体方程式

$((z^{20}+1)-288(z^{15}-z^5)+494z^{10}{)}^3+1728u{z}^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$ (ただし ζ は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次のラグランジュの解法と同様にして元の方程式の根が得られる。これが五次方程式が代数的に（四則と開冪で）解かれるための必要十分条件である。

超冪根による解法

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

ガロア群

方程式が係数体上で既約ならそのガロア群は推移群になる。5次の推移群は以下の 5種類である。

• テンプレート:Math 対称群（位数 120）
• テンプレート:Math 交代群（位数 60）
• テンプレート:Math テンプレート:仮リンク（位数 20）
• テンプレート:Math 半メタ巡回群（位数 10）
• テンプレート:Math 巡回群（位数 5）

既約な $\mathbb{Q}$ 係数の 5 次方程式 $x^5+a{x}^4+b{x}^3+c{x}^2+dx+e=0$ のガロア群 G の位数（群の要素の数） は 120, 60, 20, 10, 5 のどれかである。

• 5次対称群 テンプレート:Math
• 5次交代群 テンプレート:Math
• 位数20のテンプレート:仮リンク テンプレート:Math
• 10次二面体群 テンプレート:Math
• 5次巡回群 テンプレート:Math

（同じことを、群の記号だけを変えて2度くりかえして書いているのはなぜだろうか？　既約な5次方程式のガロア群は推移群であり、係数体が標数零であればこれら5通りのうちのどれかになる。そのうちで方程式が代数的に解けるのはガロアG群が可解である群Gの位数が20、10、5の3通りの場合に限られる．Gが対称群や交代群の場合には5次方程式は代数的操作によっては解かれない。）

関連項目

• アーベル-ルフィニの定理
• ガロア理論
• 群論（可解群）
• ヤコビの虚数変換式

外部リンク

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

テンプレート:代数方程式

テンプレート:Algebra-stub