五次方程式
五次方程式(ごじほうていしき、英語: quintic equation)とは、次数が5であるような代数方程式のこと。
概要
一般に一変数の五次方程式は
- a5 x5 + a4 x4 + a3 x3 + a2 x2 + a1 x + a0 = 0, (a5 ≠ 0)
の形で表現される。
代数学の基本定理によれば、任意の複素数係数方程式は複素数の中に根が存在する。その一方、五次以上の一般の方程式に対する代数的解法は存在しない。すなわち、一般の五次方程式に対して代数的な根の公式は存在しない。もう少し詳しく書くと、五次の一般方程式の根を、その式の各項の係数と有理数の、有限回の四則演算及び有限回の根号をとる操作の組み合わせで表示することはできない。
これはルフィニ、アーベルらによって示された(アーベル–ルフィニの定理参照)。 またガロアによって方程式が代数的に解ける条件が裏付けられている(ガロア理論参照)。
なお、代数的ではないが、楕円関数などを用いた根の公式は存在する。
解の公式
五次方程式の解を超越的な手続を許して構成する方法としては、
- レベル5のモジュラー方程式の解を利用する方法
- 超幾何級数を利用する方法
の2つが知られている。 前者はエルミートによって、後者はクラインによって導出された[1][2]。
エルミートによる解法
五次方程式の解を構成するためには、まず、次の3つの事実を知っておく必要がある。
- 任意の五次方程式は代数的操作のみによってブリング-ジェラード(Bring-Jerrard)の標準形に変形できる。
- レベル5のモジュラー方程式の解が具体的に求められる。
- それらの解のある特定のコンビネーションが五次方程式を満足し、ブリング-ジェラードの標準形と関係付けることができる。
これらを結合することで五次方程式の解を構成することができる[3]。
ブリング-ジェラードの標準形
任意の五次方程式
正二十面体的対称性(Icosahedral symmetry) 五次方程式を正20面体方程式(60次方程式)に帰着させ、正20面体方程式の解は超幾何関数で示される。
正20面体を二次元球面 S2に内接。 二次元球面 S2とリーマン球面(複素射影直線)を同一視。複素射影直線の斉次座標を
カテゴリ
- 5次方程式のページへのリンク