代数方程式

テンプレート:出典の明記数学において代数方程式 (だいすうほうていしき、テンプレート:Lang-en-short) とは（一般には多変数の）多項式を等号で結んだ形で表される方程式の総称で、式で表せば

\sum_{e_{1}, \dots, e_{m}} a_{e_{1}, \dots e_{m}} {x_{1}}^{e_{1}} \dots {x_{m}}^{e_{m}} = 0

の形に表されるもののことである。言い換えれば、代数方程式は多項式の零点を記述する数学的対象である。

概要

代数方程式は、面積を求める幾何学的な問題や、ディオファントス方程式などの算術的な問題として、古来から数学において重要な研究対象となってきた。ピタゴラスの定理テンプレート:Math2 を満たす自然数の組テンプレート:Math2（ピタゴラス数）を求める問題やその一般化として17世紀にピエール・ド・フェルマーが考察したテンプレート:Math2 などが代数方程式とその研究の例として挙げられる。後者の例については、これを満たす自然数の組は自明なもの（テンプレート:Math の場合）を除いて存在しないという主張がフェルマーの最終定理として知られる。

また、多変数の代数方程式については、ルネ・デカルトが直交座標系を発明して以後、レオンハルト・オイラーらによる二次曲線や二次曲面の分類理論をはじめとして幾何学的な考察がなされてきた。

19世紀以降では、1 変数多項式の根に関する研究はエヴァリスト・ガロアによる群論の発明など抽象代数学の萌芽となったし、20世紀の前半には多変数多項式（あるいは方程式系）の零点を幾何学的に研究する分野として代数幾何学が成立している。前述のフェルマーの最終定理は、問題の提出から300年以上のときを隔てて解決されたが、そのために代数幾何学をはじめとする高度な数学の知見が用いられた。

多変数の場合は代数幾何学の項目に譲ることにして、以下本項においては、主に有理数体などの体の元を係数とする 1 変数の代数方程式について詳述する。1 変数の代数方程式とは、移項して整理すれば

\sum_{k = 0}^{n} a_{k} x^{k} = a_{n} x^{n} + a_{n - 1} x^{n - 1} + \dots + a_{1} x + a_{0} = 0

（各テンプレート:Mvar は（変数 x に無関係な）定数）の形に表される方程式のことである。このとき、左辺の多項式の次数を以ってこの代数方程式の次数とする。すなわちテンプレート:Math のときテンプレート:Mvar 次方程式であるという。

一次方程式テンプレート:Math
二次方程式テンプレート:Math
三次方程式テンプレート:Math
四次方程式テンプレート:Math
五次以上の代数方程式は（その係数が一般的である場合には）「代数的に解けない」、すなわち方程式の係数が任意に与えられたときに係数から四則と冪根操作の組み合わせで解を表す公式は作れないことが良く知られている。（アーベル-ルフィニの定理）（ただし考えている体は有限体ではないとする）。

諸概念

根

テンプレート:Main テンプレート:Math をテンプレート:Mvar に関する多項式とする。代数方程式テンプレート:Math の解を特にテンプレート:読み仮名という。

因数定理により、テンプレート:Math が多項式テンプレート:Math の根であることと、多項式テンプレート:Math がテンプレート:Math を因数に持つこととは同値である。さらに多項式テンプレート:Math に対し、正の整数テンプレート:Mvar と多項式テンプレート:Math で

f (x) = (x - α)^{k} g (x), g (α) \neq 0

を満たすものが存在するとき、テンプレート:Mvar をテンプレート:Math のテンプレート:Mvar 重根（テンプレート:En）またはテンプレート:Mvar 位の零点といい、テンプレート:Mvar を根テンプレート:Mvar の重複度（テンプレート:En）または位数という。ただし、テンプレート:Math のときは単根（テンプレート:En）と言う。また、単に重根と呼ぶときは、文脈により単根でない根を総称する場合と、二重根のことのみを指す場合とがある。重複度まで込めれば、代数方程式の根とは

a (x - α_{1}) (x - α_{2}) \dots (x - α_{n}) = 0

となるときのテンプレート:Math2 のことであると言い換えられる。

二項多項式テンプレート:Math の根を特に冪根という。

代数的数

左辺の多項式の係数体をテンプレート:Mvar とすると、その代数方程式は、一般にはテンプレート:Mvar の中で解けないが、代数方程式が 1 つ与えられたとき、その根を含むようなテンプレート:Mvar の拡大体テンプレート:Mvar の存在が示せる。さらに、テンプレート:Mvar の代数的閉包が同型の違いを除いて一意的に存在する。代数的閉包テンプレート:Math を一つ固定しておく。テンプレート:Math の元テンプレート:Mvar が、あるテンプレート:Mvar 係数の代数方程式の根となるとき、テンプレート:Mvar はテンプレート:Mvar 上代数的であるという（詳しくは体論に譲る）。特に、複素数テンプレート:Mvar が有理数体テンプレート:Math 上代数的ならば、z は代数的数であるという。

整方程式

環テンプレート:Mvar を係数の環とするモニック多項式（最高次の係数が 1）の根はテンプレート:Mvar 上で整であるという。テンプレート:Mvar が体ならば整であることと代数的であることとは同値である。

代数方程式の解法

概要

代数方程式の根を論理的に特定する方法としては、「数値的解法（近似アルゴリズム）」によるもの、「代数的解法（四則演算と冪根を付加する操作の有限回の組合せ）」によるもの、「超越的解法（楕円モジュラー関数、超幾何級数への代入、四則演算の有限回の組合せ）」によるものなどが挙げられる。後者 2 つは「解の公式」と呼ばれるものを提示する方法である。また、数値的解法は数値解析とも呼ばれ、代数方程式のみならず、たとえば指数関数や対数関数を含む方程式など、一般の方程式にも広く用いられるものである。

4次以下の方程式には代数的解法による解の公式があることが知られている。5次より高次の方程式にも超越的方法による解の公式が存在する。よく誤解されていることであるが、一般に言われる「五次方程式は一般には解けない」というのは、代数的解法による解の公式が存在しないことを指しており、全ての代数的数が、考えている代数方程式の係数から、四則演算と冪乗根を取る操作を有限回繰り返すだけで得られるわけではないということである。これはパオロ・ルフィニやニールス・アーベルにより示された事実である（アーベル-ルフィニの定理）。その意味で代数的数全体の集合は広い。代数的数という名前に惑わされがちだが、代数的数は必ずしも代数的方法で得られるものばかりではない。

ガロアが楕円モジュラー関数を用いる超越的方法では一般的解法が存在することを予言し、その遺書に書き残している。ガロアの死後、シャルル・エルミートは、楕円モジュラー関数による五次方程式の解の公式を導いた。

なお、アーベルもモジュラー方程式の研究を行っていたことから、彼にも解の公式のアイディアがあったであろうと考えられている。エルミートから現在まで、5 次より高次の方程式の解の公式は様々に提案されている。

工学的見地からは、これらの解の公式に拠る解法は計算量的な実用性があまりないため、3 次より高次の方程式は数値計算による解法が一般的である。中には、固有値問題へ帰着して行列の固有値計算のアルゴリズムが用いられることもある（フロベニウスの同伴行列）。

解の公式

以下、解の公式の概要を示す。詳しい内容についてはそれぞれの記事を参照されたい。

一次方程式：一次方程式は係数体テンプレート:Mvar に依らずテンプレート:Mvar の中で常に解ける。: 一次方程式 $a x + b = 0$ （ $a, b$ は実数, $a \neq 0$ ）の解 $x$ は、 $x = - \frac{b}{a}$ と表せる。
二次方程式

テンプレート:Main

標数が 2 でない体上の二次方程式テンプレート:Math は基礎体テンプレート:Mvar に係数テンプレート:Math2 と判別式テンプレート:Math2 の正の平方根を添加した体テンプレート:Math の中で解けて、その根は $\frac{- b \pm \sqrt{D}}{2 a}$ で与えられることが知られている。; 二次方程式 $a x^{2} + b x + c = 0$ （ $a, b, c$ は実数, $a \neq 0$ ）の解 $x$ は、 $x = \frac{- b \pm \sqrt{D}}{2 a}$ と表せる。; ただし、 $D = b^{2} - 4 a c$
三次方程式: 三次方程式テンプレート:Math2 の代数的解法はカルダノの公式として知られるように、テンプレート:Mvar を 1 の虚立方根、テンプレート:Mvar を三次方程式の判別式のこととして、テンプレート:Math から適当な元テンプレート:Math を選べば、テンプレート:Math の中で解くことができる。; 三次方程式 $a x^{3} + b x^{2} + c x + d = 0$ ( $a, b, c, d$ は実数, $a \neq 0$ )の解 $x$ は、; $x = {\begin{matrix} \sqrt[3]{- \frac{q}{2} + \sqrt{{(\frac{q}{2})}^{2} + {(\frac{p}{3})}^{3}}} + \sqrt[3]{- \frac{q}{2} - \sqrt{{(\frac{q}{2})}^{2} + {(\frac{p}{3})}^{3}}} - \frac{b}{3 a} \\ ω \sqrt[3]{- \frac{q}{2} + \sqrt{{(\frac{q}{2})}^{2} + {(\frac{p}{3})}^{3}}} + ω^{2} \sqrt[3]{- \frac{q}{2} - \sqrt{{(\frac{q}{2})}^{2} + {(\frac{p}{3})}^{3}}} - \frac{b}{3 a} \\ ω^{2} \sqrt[3]{- \frac{q}{2} + \sqrt{{(\frac{q}{2})}^{2} + {(\frac{p}{3})}^{3}}} + ω \sqrt[3]{- \frac{q}{2} - \sqrt{{(\frac{q}{2})}^{2} + {(\frac{p}{3})}^{3}}} - \frac{b}{3 a} \end{matrix}$ と表せる。; ただし、 ${\begin{matrix} p = - \frac{1}{3} {(\frac{b}{a})}^{2} + \frac{c}{a} \\ q = 2 {(\frac{b}{3 a})}^{3} - \frac{b c}{3 a^{2}} + \frac{d}{a} \\ ω = \frac{- 1 + \sqrt{3} i}{2} \end{matrix}$
四次方程式: 四次方程式テンプレート:Math2 の代数的解法はフェラリの解法として知られる。この解法は完全平方式を利用するもので、具体的には（2次式）テンプレート:Sup = （1次式）テンプレート:Sup の形に変形して解くことになるが、この変形の過程で三次方程式を解く操作が必要となる。
五次方程式: 楕円モジュラー関数を用いた解の公式は複雑なため、概略にとどめる。チルンハウス変換により、五次方程式はテンプレート:Math2 と変形される（五次方程式の一般形）。一方、楕円関数の 5 次の変換により得られるモジュラスの 4 乗根は、モジュラー方程式と呼ばれる六次方程式となる。この方程式は、チルンハウス変換によりテンプレート:Math2 の形に変形される（テンプレート:Mvar は楕円関数の種数の 4 乗根の代数的表現となる）。すなわち、五次方程式の一般形とモジュラー方程式の係数同士の比較は、四次方程式となる。一方モジュラー方程式の解は、楕円関数の 2 つの周期比の指数関数を用いた無限級数（楕円モジュラー関数）で現されるため、楕円モジュラー関数により五次方程式の公式が得られる。; 超幾何級数を用いた解の公式は、クラインにより示された。概略としては、正二十面体方程式の解が超幾何級数で示されること、および正二十面体方程式がチルンハウス変換により五次方程式の一般形に変形できることにより、導かれる。

N次方程式: テンプレート:See Also; テンプレート:See Also

超楕円曲線
分岐点 (数学)
モジュラー関数
テンプレート:仮リンク
Theta functions of zero argument (theta constants) （テータ関数、テンプレート:仮リンク）
超楕円積分

数値解法

ここでは、数値計算アルゴリズム（基本的には四則演算の無限回の組み合わせ）による解法について述べる。計算機による解法を想定しているが、現在の計算機が本来できる計算としては整数環での演算と論理演算の有限回操作であるため、厳密な意味で計算機では解く事はできない。しかし、浮動小数点数という擬似的な実数表現や複素数の実行列表現なども可能であることより、複素数体が扱えるものと見なす。また与えられた正の値の誤差範囲に収まるまでの反復回数が有限回という保証があるならば、実質無限回の操作も許されると見なす。そういう意味での、近似的な数値解法である。

数値計算アルゴリズムによる解法は、様々な手法が提案され、現在もその進化を続けている。ここでは、ベーシックな手法をいくつか記す。

ニュートン法による解法は、解の候補となる初期値を与え、その解の候補に接する直線を元の代数方程式の近似とみなし、その一次方程式を解くことにより次の解の候補を求める方法である。この操作を、解の候補が予め与えた誤差以内に収まると判定されたならば、解の候補を解の一つとみなし、減次 (deflation) を行い次の方程式を求め、再びニュートン法を施す。（収束してしかも重根でなければ）二次収束することが解っており、数値解法としては早い。ただし、重根に対する収束性の悪さ、初期値によっては収束しない場合も有り得ること、複素数の場合の処理の煩わしさなどがあり、直接ニュートン法で解くという局面は少ない。

複素数の扱いということではテンプレート:仮リンク（テンプレート:仮リンクとテンプレート:仮リンクの方法）という解法がある。これは、二次式の因数を取り出して減次することを繰り返して分解を行う操作をコンセプトとするが，2次の因子を決めるための反復は2変数2連立のニュートン法に帰着させているのでやはり，収束は初期値の選択に依存する。

高次の数値代数方程式のすべての根を近似して求める方法として，随伴行列に対する固有値をその行列の疎性を生かしてうまく反復計算を行って解く方法があり、2017年の時点では最も汎用かつ頑強な算法である^[1]^[2]。（注：この方法で求まる「近似根」とは，計算に用いた数値精度の範囲で方程式の残差を小さくするという意味での数値根なのであり，必ずしも与えられた係数が有限桁で表せる厳密値だと思ってそれから無限精度で計算した場合の厳密な根の値に対する近似値にはならない。しかしもともと係数を数値で与えて固定精度の数値により近似計算を行う場合には、その方程式の近似根が方程式に対して小さい残差を与えること以上を望むことはできないのである。もしもさらに高い精度での近似根を求めることが望まれるのであれば，計算に用いる数値と演算の精度を共に増すことにより，より小さい残差を与える近似根が求まり，結果的に近似根の値そのものの精度も向上する。）

脚注

テンプレート:Reflist

代数方程式

目次

概要

諸概念

根

代数的数

整方程式

代数方程式の解法

概要

解の公式

数値解法

脚注

関連項目

ナビゲーションメニュー

代数方程式

概要

諸概念

根

代数的数

整方程式

代数方程式の解法

概要

解の公式

数値解法

脚注

関連項目

ナビゲーション メニュー

検索

ナビゲーションメニュー