五次方程式の解を超越的な手続を許して構成する方法としては、
- レベル5のモジュラー方程式の解を利用する方法
- 超幾何級数を利用する方法
の2つが知られている。
前者はエルミートによって、後者はクラインによって証明された[1][2]。
五次方程式の解を構成するためには、まず、次の3つの事実を知っておかねばならない。
- 任意の五次方程式は代数的操作のみによってブリング-ジェラード(Bring-Jerrard)の標準形に変形できる。
- レベル5のモジュラー方程式の解が具体的に求められる。
- それらの解のある特定のコンビネーションが五次方程式を満足し、ブリング-ジェラードの標準形と関係付けることができる。
これらを結合することで五次方程式の解を構成することができる[3]。
任意の五次方程式
-
はチルンハウス変換(英語版)
-
において適当に係数 bj を選ぶことによって、ブリング-ジェラードの標準形
-
へ変換することが可能であるので、まず、この形へ帰着させる。この手続は代数的に実行可能であるが bj は al の複雑な関数である。
複素トーラス(英語版)の周期をそれぞれ として、 を
-
で定義する。ただし、 は純虚数と仮定する。また、
-
と定義する[注釈 1]。この時 と が満足する関係式、または同値だが と とが満たすべき関係式のことを「レベル のモジュラー方程式」と言う。この方程式は次の形をとる[4]。
-
ただし、 はそれぞれ母数が の第1種完全楕円積分、 はそれぞれ母数が [注釈 2]、 の第1種完全楕円積分を表す[注釈 3]。この方程式によって、2つの母数 が満たすべき方程式が決まる。 のとき と は次の関係式を満足することが分かっている。
-
ただし、 は母数を表す。また、この式の証明の途中で次の2つの命題が証明される。
- と定義すると、 は 上で既約である。
- この方程式の解が
で与えられる[3]。
今、
-
と定義すると、 は 上の方程式
-
の解であることが証明できる[注釈 4]。この式とブリング-ジェラードの標準形とを結合することで五次方程式の解が構成できる。具体的には、
-
の変換で互いに移り変わる。これより、複素数 は、四次方程式を解くことで決定できる。 を決定するには、この他に そのものの値も必要であるので、残されている手続はパラメータ の決定である。そして、この部分が超越的操作を含んでいる。 と とは、楕円曲線 C
-
上の第1種積分
-
の周期の比、すなわち第一種完全楕円積分
-
を用いて、
-
の関係で結ばれている。これが から を決定する式である。この式は代数的には解けないが、この方程式を満足する を に代入して五次方程式の解が得られる。
五次方程式を正20面体方程式(60次方程式)に帰着させ、正20面体方程式の解は超幾何関数で示される。
正20面体を二次元球面 S2に内接。
二次元球面 S2とリーマン球面(複素射影直線)を同一視。複素射影直線の斉次座標を とし、以下の式を得る。
-
-
-
これらを用いて(と書いているのにTは使われていない?)
-
となり、 は(uが何であるか言及がない?)60次の方程式、いわゆる正20面体方程式
-
となる。
逆を求めると F(α,β,γ;z)をガウスの超幾何関数として[5]
-
一般式が代数的に解けないということは、上記に示したとおりであるが、特定の五次方程式がどのような場合に解けるかは分かっている。ラグランジュが3次、4次で用いた手法をそのまま持ち込んだ場合、
- (ただし ζ は1の原始5乗根)
の置換を考察することになるが、この場合5次対称群の位数は120で、出現する式は5次巡回群の位数=5で割った24通りである。つまりその為に解かなければならない方程式は24次式となり5次よりはるかに悪化する。
そこでより位数の低い置換を与えるような式を考察する必要があるが、これは1861年にアーサー・ケイリーが与えたものが最良となる。
-
この場合出現する式は6通りであり、6次方程式を解くことに帰着する。もちろんこれを代数的に解くことは一般的状況では不可能であるが、根の平方が有理数になる場合に限り、実質的な次数が下がり、代数的に解ける。以下は3次、4次のラグランジュの解法同様にして元の方程式の根を得る。これが五次方程式が代数的に解ける必要十分条件である。
四則演算と通常の冪根をとることに加えて超冪根(すなわち既約な方程式 x5 + x - a = 0 の唯一の実根)をとる操作も「代数的操作」として許容した場合、この拡張された意味において一般五次方程式が「代数的に」解けることが知られている。