五次方程式

提供: miniwiki
2018/8/19/ (日) 17:45時点におけるAdmin (トーク | 投稿記録)による版 (1版 をインポートしました)
(差分) ← 古い版 | 最新版 (差分) | 新しい版 → (差分)
移動先:案内、検索

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

概要

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

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

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

解の公式

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

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

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

エルミートによる解法

5次方程式の解を構成するためには、まず、次の3つの事実を知っておかねばならない。

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

これらを結合することで5次方程式の解を構成することができる[3]。

ブリング-ジェラードの標準形

任意の5次方程式

[math]x^5 + a_4 x^4 + a_3 x^3 + a_2 x^2 + a_1 x + a_0 =0[/math]

はチルンハウス変換（English版）

[math]y=x^4 + b_3 x^3 + b_2 x^2 + b_1 x + b_0[/math]

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

[math]y^5 + y + b = 0[/math]

へ変換することが可能であるので、まず、この形へ帰着させる。この手続は代数的に実行可能であるが bj は al の複雑な関数である。

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

複素トーラスの周期をそれぞれ ω1, ω2 として、τ を

[math]\tau=\frac{\omega_2}{\omega_1}[/math]

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

[math]q=e^{i\pi \tau}[/math]

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

[math]\frac{L'}{L} = n \frac{K'}{K}.[/math]

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

[math]F\left[-\sqrt[4]{\kappa(5 \tau)}, \sqrt[4]{\kappa(\tau)}\right] = 0,\quad F(x,y)=x^6 - y^6 + 5 x^2 y^2 (x^2 - y^2) - 4 x y (x^4 y^4 - 1)=0,[/math]

ただし、κ(τ) は母数を表す。また、この式の証明の途中で次の2つの命題が証明される。

  • [math]K=\mathbb{Q}[\sqrt[4]{\kappa}(\tau)][/math] と定義すると、[math]F[x,\sqrt[4]{\kappa}(\omega)]\in\mathbb{Q}[\sqrt[4]{\kappa}(\omega)][x] = K[x][/math] は [math]K[/math] 上で既約である。
  • この方程式の解が [math]\alpha_{\infty}=-\sqrt[4]{\kappa(5\tau)},\quad \alpha_{l}=\sqrt[4]{\kappa\left(\frac{\tau + 16 l}{5}\right)}\quad l\in\{1,2,3,4\} [/math]

で与えられる[3]。

解の構成

今、

[math]\begin{align} r_0 &=(\alpha_\infty - \alpha_0)(\alpha_1 - \alpha_4)(\alpha_2 - \alpha_3)\sqrt[4]{\kappa}(\tau)\\ r_1 &=(\alpha_\infty - \alpha_1)(\alpha_2 - \alpha_0)(\alpha_3 - \alpha_4)\sqrt[4]{\kappa}(\tau)\\ r_2 &=(\alpha_\infty - \alpha_2)(\alpha_1 - \alpha_3)(\alpha_0 - \alpha_4)\sqrt[4]{\kappa}(\tau)\\ r_3 &=(\alpha_\infty - \alpha_3)(\alpha_2 - \alpha_4)(\alpha_1 - \alpha_0)\sqrt[4]{\kappa}(\tau)\\ r_4 &=(\alpha_\infty - \alpha_4)(\alpha_0 - \alpha_3)(\alpha_1 - \alpha_2)\sqrt[4]{\kappa}(\tau) \end{align}[/math]

と定義すると、ri は [math]\;K(\sqrt{5\,})\;[/math] 上の方程式

[math]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[/math]

の解であることが証明できる[8]。この式とブリング-ジェラードの標準形とを結合することで5次方程式の解が構成できる。具体的には、

[math]b=-{\rm{i}} \frac{2(1 + \kappa^2)}{5^{\frac{5}{4}}\sqrt{\kappa(1-\kappa^2)}}[/math]

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

[math]y^2 = (1 - x^2)(1 - \kappa^2 x^2)[/math]

上の第1種積分

[math]\xi = \frac{dx}{y} =\frac{dx}{\sqrt{(1 - x^2)(1 - \kappa^2 x^2)}}[/math]

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

[math]K(\kappa)=\int^1_0\frac{dx}{\sqrt{(1 - x^2 )(1 - \kappa^2 x^2)}},\quad K'=\int^{\frac{1}{\kappa}}_1\frac{{dx}{\sqrt{(1 - x^2 )(1 - {\kappa'}^2 x^2)}}}\quad,\kappa'=\sqrt{1 - \kappa^2}[/math]

を用いて、

[math]\tau = \frac{{\rm{i}} K'}{K}[/math]

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

限定的な代数的解法

一般式が代数的に解けないということは、上記に示したとおりであるが、特定の5次方程式がどのような場合に解けるかは分かっている。ラグランジュが3次、4次で用いた手法をそのまま持ち込んだ場合、

[math]x=(\alpha_1+\zeta\alpha_2+\zeta^2\alpha_3+\zeta^3\alpha_4+\zeta^4\alpha_5)^5[/math] (ただし ζ は1の原始5乗根)

の置換を考察することになるが、この場合5次対称群の位数は120で、出現する式は5次巡回群の位数=5で割った24通りである。つまりその為に解かなければならない方程式は24次式となり5次よりはるかに悪化する。

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

[math]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[/math]

この場合出現する式は6通りであり、6次方程式を解くことに帰着する。もちろんこれを代数的に解くことは一般的状況では不可能であるが、根の平方が有理数になる場合に限り、実質的な次数が下がり、代数的に解ける。以下は3次、4次のラグランジュの解法同様にして元の方程式の根を得る。これが5次方程式が代数的に解ける必要十分条件である。

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

脚注

  1. ↑ F.クライン、正20面体と5次方程式改訂新版、シュプリンガー・ジャパン、2005、ISBN 978-4-431-71118-6.
  2. ↑ 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. ↑ 3.0 3.1 梅村浩著、楕円関数論、東京大学出版会、2000年、ISBN 4-13-061303-0
  4. ↑ τ や q を楕円テータ関数で定義する方法もある。ただし、本や論文によって楕円テータ関数の定義が異なることがあるので注意する必要がある。
  5. ↑ 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.
  6. ↑ すなわち k´ は k の補母数である。
  7. ↑ これ以外でも楕円テータ関数の双線形形式による表現方法もある。
  8. ↑ エルミートによって証明された。

関連項目

外部リンク

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



「http:///http:///mymemo.xyz/mymemo.xyz/wiki/index.php?title=五次方程式&oldid=116412」から取得