五次方程式

五次方程式（ごじほうていしき、）とは、次数が5であるような代数方程式のこと。
概要.
一般に一変数の五次方程式は
の形で表現される。
代数学の基本定理によれば、任意の複素数係数方程式は複素数の中に根が存在する。その一方、五次以上の一般の方程式に対する代数的解法は存在しない。すなわち、一般の五次方程式に対して"代数的な"根の公式は存在しない。もう少し詳しく書くと、五次の一般方程式の根を、その式の各項の係数と有理数の、"有限回"の四則演算及び"有限回"の根号をとる操作の組み合わせで表示することはできない。
これはルフィニ、アーベルらによって示された（アーベル–ルフィニの定理参照）。
またガロアによって方程式が代数的に解ける条件が裏付けられている（ガロア理論参照）。
なお、代数的ではないが、楕円関数などを用いた根の公式は存在する。
解の公式.
五次方程式の解を超越的な手続を許して構成する方法としては、
の2つが知られている。
前者はエルミートによって、後者はクラインによって証明された。
エルミートによる解法.
五次方程式の解を構成するためには、まず、次の3つの事実を知っておかねばならない。
これらを結合することで五次方程式の解を構成することができる。
ブリング-ジェラードの標準形.
任意の五次方程式
は
において適当に係数 "bj" を選ぶことによって、ブリング-ジェラードの標準形
へ変換することが可能であるので、まず、この形へ帰着させる。この手続は代数的に実行可能であるが "bj" は "al" の複雑な関数である。
レベル5のモジュラー方程式.
の周期をそれぞれ formula_4 として、formula_5 を
で定義する。ただし、formula_5 は純虚数と仮定する。また、
と定義する。この時 formula_9 と formula_10 が満足する関係式、または同値だが formula_5 と formula_12 とが満たすべき関係式のことを「レベル formula_13 のモジュラー方程式」と言う。この方程式は次の形をとる。
ただし、formula_15 はそれぞれ母数が formula_16 の第1種完全楕円積分、formula_17 はそれぞれ母数が formula_18、formula_19 の第1種完全楕円積分を表す。この方程式によって、2つの母数 formula_16 が満たすべき方程式が決まる。formula_21 のとき formula_5 と formula_23 は次の関係式を満足することが分かっている。
ただし、formula_25は母数を表す。また、この式の証明の途中で次の2つの命題が証明される。
で与えられる。
解の構成.
今、
と定義すると、formula_31 は formula_32 上の方程式
の解であることが証明できる。この式とブリング-ジェラードの標準形とを結合することで五次方程式の解が構成できる。具体的には、
の変換で互いに移り変わる。これより、複素数 formula_25 は、四次方程式を解くことで決定できる。formula_31 を決定するには、この他に formula_5 そのものの値も必要であるので、残されている手続はパラメータ formula_5 の決定である。そして、この部分が超越的操作を含んでいる。formula_25 と formula_5 とは、楕円曲線 "C"
上の第1種積分
の周期の比、すなわち第一種完全楕円積分
を用いて、
の関係で結ばれている。これが formula_45から formula_5 を決定する式である。この式は代数的には解けないが、この方程式を満足する formula_5 を formula_31 に代入して五次方程式の解が得られる。
クラインによる解法.
五次方程式を正20面体方程式（60次方程式）に帰着させ、正20面体方程式の解は超幾何関数で示される。
正20面体を二次元球面 に内接。
二次元球面 とリーマン球面（複素射影直線）を同一視。複素射影直線の斉次座標をformula_49とし、以下の式を得る。
これらを用いて(と書いているのにTは使われていない？)
となり、 formula_54 は（uが何であるか言及がない？）60次の方程式、いわゆる正20面体方程式
となる。
逆を求めると F(α,β,γ;ｚ）をガウスの超幾何関数として
限定的な代数的解法.
一般式が代数的に解けないということは、上記に示したとおりであるが、特定の五次方程式がどのような場合に解けるかは分かっている。ラグランジュが3次、4次で用いた手法をそのまま持ち込んだ場合、
の置換を考察することになるが、この場合5次対称群の位数は120で、出現する式は5次巡回群の位数=5で割った24通りである。つまりその為に解かなければならない方程式は24次式となり5次よりはるかに悪化する。
そこでより位数の低い置換を与えるような式を考察する必要があるが、これは1861年にアーサー・ケイリーが与えたものが最良となる。
この場合出現する式は6通りであり、6次方程式を解くことに帰着する。もちろんこれを代数的に解くことは一般的状況では不可能であるが、根の平方が有理数になる場合に限り、実質的な次数が下がり、代数的に解ける。以下は3次、4次のラグランジュの解法同様にして元の方程式の根を得る。これが五次方程式が代数的に解ける必要十分条件である。
超冪根による解法.
四則演算と通常の冪根をとることに加えて超冪根（すなわち既約な方程式 の唯一の実根）をとる操作も「代数的操作」として許容した場合、この拡張された意味において一般五次方程式が「代数的に」解けることが知られている。
ガロア群.
5次の推移群は以下の 5種類である。
既約な formula_59 係数の 5 次方程式 formula_60 のガロア群 G は，♯G = 120, 60, 20, 10, 5 である。