五次方程式

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

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

の形で表現される。

代数学の基本定理によれば、任意の複素数係数方程式は複素数の中に根が存在する。その一方、五次以上の一般の方程式に対する代数的解法は存在しない。すなわち、一般の五次方程式に対して代数的な根の公式は存在しない。 （ただし一般の場合に「根号を用いた式の形で根を表せない」のであって、係数が特別であれば根号を用いた式で根が表せる場合がある。またどんな場合にも必ず複素数の範囲に根は存在する。）もう少し詳しく書くと、五次の一般方程式の根を、その式の各項の係数と有理数の、有限回の四則演算及び有限回の根号をとる操作の組み合わせで表示することはできない藤原松三郎：「代数学　第2巻　改訂新編」（第11章："ガロアの方程式論"）、内田老鶴圃、ISBN 978-4-7536-0162-2 (2020年3月27日)[高木貞治：「代数学講義 改訂新版」（第7章："不可能の証明"）、共立出版、ISBN 978-4-320-010000 （1965年11月25日）]。

これはルフィニ、アーベルらによって示された（アーベル–ルフィニの定理参照）。 またガロアによって方程式が代数的に解ける（根号を用いた式で表せる）ための条件は完全に決定されている（ガロア理論参照）。

なお、代数的（根号を使った表式によるもの）ではないが、楕円関数などの高等関数を用いた根の公式は存在する。

解の公式 五次方程式の解を超越的な手続を許して構成する方法としては、 レベル5のモジュラー方程式の解を利用する方法 超幾何級数を利用する方法 の2つが知られている。 前者はエルミートによって、後者はクラインによって導出されたF.クライン、正20面体と5次方程式改訂新版、シュプリンガー・ジャパン、2005、ISBN 978-4-431-71118-6.F.Klein, Lectures on the Icosahedron and the Solution of the Fifth Degree (English translation), Cosimo Inc., 2007, ISBN 978-1-602-06306-8.。

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

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

これらを結合することで五次方程式の解を構成することができる梅村浩著、楕円関数論、東京大学出版会、2000年、ISBN 4-13-061303-0。

ブリング-ジェラードの標準形 任意の五次方程式

はチルンハウス変換

において係数 bj をうまく選ぶことにより、ブリング-ジェラードの標準形

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

レベル5のモジュラー方程式 の周期をそれぞれ として、 を

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

と定義するτ や q を楕円テータ関数で定義する方法もある。ただし、本や論文によって楕円テータ関数の定義が異なることがあるので注意する必要がある。。この時 と が満足する関係式、または同値だが と とが満たすべき関係式のことを「レベル のモジュラー方程式」と言う。この方程式は次の形をとるG.H.Hardy, Ramanujan---Twelve lectures on subjects suggested by his life and work(reprint), AMS Chelsy Publishing, 1999, ISBN 0-8218-2023-0, p.214.。

ただし、 はそれぞれ母数が の第1種完全楕円積分、 はそれぞれ母数が すなわち は の補母数である。、 の第1種完全楕円積分を表すこれ以外でも楕円テータ関数の双線形形式による表現方法もある。。この方程式によって、2つの母数 が満たすべき方程式が決まる。 のとき と は次の関係式を満足することが分かっている。

ただし、は母数を表す。また、この式の証明の途中で次の2つの命題が証明される。 と定義すると、 は 上で既約である。 この方程式の解が で与えられる。

解の構成 今、

と定義すると、 は 上の方程式

の解であることが証明できるエルミートによって証明された。。この式とブリング-ジェラードの標準形とを結合することで五次方程式の解が構成できる。具体的には、

の変換で互いに移り変わる。これより、複素数 は、四次方程式を解くことで決定できる。 を決定するには、この他に そのものの値も必要であるので、残されている手続はパラメータ の決定である。そして、この部分が超越的操作を含んでいる。 と とは、楕円曲線 C

上の第1種積分

の周期の比、すなわち第一種完全楕円積分

を用いて、

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

クラインによる解法 200px|サムネイル|右|正二十面体的対称性（Icosahedral symmetry） 五次方程式を正20面体方程式（60次方程式）に帰着させ、正20面体方程式の解は超幾何関数で示される。

正20面体を二次元球面 に内接。 二次元球面 とリーマン球面（複素射影直線）を同一視。複素射影直線の斉次座標をとし、以下の式を得る。

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

となり、 はuが何であるか言及がない？60次の方程式、いわゆる正20面体方程式

となる。 逆を求めると F(α,β,γ;ｚ）をガウスの超幾何関数として

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

そこでより位数の低い置換を与えるような式を考察する必要があるが、これは1861年にアーサー・ケイリーが与えたものが最良となる。

この場合に置換により現れる式の値は6通りであり、の6次方程式を解くことに帰着する。もちろんこれを代数的に解くことは一般的な状況では不可能であるが、根の平方が有理数となる場合に限り、実質的な次数が下がり、代数的に解ける。その後は3次、4次のラグランジュの解法と同様にして元の方程式の根が得られる。これが五次方程式が代数的に（四則と開冪で）解かれるための必要十分条件である。

超冪根による解法

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

ガロア群 方程式が係数体上で既約ならそのガロア群は推移群になる。5次の推移群は以下の 5種類であるエム・ポストニコフ、日野寛三(訳)：「ガロアの理論」、東京図書 (1964年6月25日). ※ 5次方程式が冪根によって解かれる場合の解説がある。 。 対称群（位数 120） 交代群（位数 60） （位数 20） 半メタ巡回群（位数 10） 巡回群（位数 5）

既約な 係数の 5 次方程式 のガロア群 G の位数（群の要素の数） は 120, 60, 20, 10, 5 のどれかである方程式のガロア群（その具体的な計算法）松田修2023 年10月5日 ( https://www.tsuyama-ct.ac.jp/matsuda/ 松田修 ガロア理論入門ノート より)。 5次対称群 5次交代群 位数20のフロベニウス群 10次二面体群 5次巡回群

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

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

脚注 注釈

出典

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

外部リンク 5次方程式の解の公式を求める n次方程式の解をDKA法を用いて求める Jerry Shurman (Professor Reed College):Geometry of the Quintic, Wiley-Interscience (1997/1/1) Brent Everitt (University of York):Galois Theory - a first course, v1 (12 Apr 2018) Bruce Bartlett:The Quintic, the Icosahedron, and Elliptic Curves, AMS Notices (April 2024) 5次方程式の可解性の高速判定法 元吉文男 数理解析研究所講究録 ５次方程式の解は冪根√ で書けない（MatheqQ) 5次方程式の解の公式を本気で求めよう (MatheqQ) これはチルンハウス変換でジェラードの標準形にしてそれを楕円モジュラー関数を利用して解く方法である。