多項式の根

数学における多項式  の**根**（こん、）は、 を満たす値  を言う。すなわち、根は未知数  の多項式方程式  の解であり、また対応する多項式函数の零点である。例えば、多項式  の根は  および  となる。

ある体に係数を持つ非零多項式は、「より大きい」体の中にしか根を持たないこともあるが、根の数はその多項式の次数より多くなることはない。例えば  は次数  で有理数係数だが、有理根を持たず、二つの根を実数体  に（したがって 複素数体  の中に）おいて持つ。ダランベール&ndash;ガウスの定理は次数  の任意の複素係数多項式が（必ずしも異ならない） 個の根を持つことを述べるものである。

多項式の根の概念は、多変数多項式の零点の概念に一般化される。
 
## 定義
以下、不定元  に関する多項式  は適当な体あるいはより一般に可換環  に係数を持つものとする（実際に現れる係数はしたがってその適当な部分環に属している）。

; 定義 (多項式の根): 多項式  の  における根とは、 の元  であって、不定元  にその値  を代入するとき、 が  において零元となるものを言う。

したがって、多項式  は、有理数体  に（また  または  に）係数を持ち、有理数体  における根は持たないが  に（したがって  に）二つの根（つまり、2の平方根 \sqrt{2} と -\sqrt{2}）を持つ。実際、この多項式の不定元  に \sqrt{2} または -\sqrt{2} を代入すれば  になる。

;語源: 「根」という語は *gizr* のチェスターのロバートとクレモナのジェラルドによるラテン翻訳に由来する。用語 *gizr* は根を意味し、ラテン語に訳せば *radix* である。用語 *gizr* は8世紀ペルシアの数学者アル゠フワーリズミにより、はじめて二次方程式の実根の包括的な計算を扱った著作 **' で用いられた。

; 別定義 (多項式の根)
: 多項式  の  における根とは、 の元  であって、二項式  が  を（ において）ものを言う。

上と同じ例では等式 <math display="inline">X^2 - 2 = (X - \sqrt 2)(X - (- \sqrt 2))</math> が実際 <math display="inline">\sqrt{2}, -\sqrt{2}</math> がこの意味での二根であることを示す式になっている。

この二種類の定義の同値性は[[因数定理]]によって正当化できるが、次の節の帰結としても出る。

=== 関連する定義 ===

多項式  が[[モニック多項式|モニック]] であるという単純な事実により— が[[整域]]でなくとも—以下の概念が定義できる:
; 定義 (根の重複度, 重根)
: 非零多項式  と任意の  に対し
:*  を  が割り切るような最大の整数  を  に関する  の**位数**または**重複度**と呼ぶ。
:* この整数  は  かつ  なる多項式  の存在によって特徴付けられる。
:*  となるとき  を  の**単根**と言い、 のとき**重根'''という。

多項式  は分離多項式（つまり重根を持たない）であり、以下に述べる意味で  において分解する:

; 定義 (多項式の分解)
: 多項式  が体  に係数を持つ一次式の積に表されるとき、多項式  は  において分解すると言う。

このとき最高次係数もこれら一次式の最高次係数に因数分解できるから、したがって分解の定義を「 において  が定数と一次のモニック多項式からなる積に表されるとき」と言っても同じことである。このような分解は一意である: これら一次モニック多項式の各定数項は  の  における根の反数に等しく、またその根の位数が  ならその一次因子は  回繰り返し現れる。したがって、それら因子の数は  の次数に等しい。

## 根の存在
; 命題 (中間値の定理の系): 奇数次の実係数多項式は少なくとも一つ実根を持つ

以下、 は可換体、 は  に係数を持つ一不定元多項式とする。体  の拡大体とは  を部分体として含む体をいう（例えば  および  は  の拡大である）。

さて  および  が  を分解する  の二つの拡大であるとき、 の元としての  の根と  の元としての  の根は「同じ」ものなのかという問いが自然に生じてくる。これには以下のような同値性が存在する:  の根をすべて含む  の部分拡大（ の（最小）分解体と呼ばれる）および  の同様の部分拡大が存在して、これら二つの  の部分拡大は一致する。例として、 とすれば、 の分解体は  ( は有理数) なる形の数全体の成す集合である。この集合は（一意でない体の同型により）実数体  および代数的数体  の一意な部分体として同一視できる。したがって、根の対 {\sqrt{2}, -\sqrt{2}} を  に埋め込んだものは  に埋め込んだものと同じものと考えることができる。

; 定理 (根の存在)
:  が  において分解する最小の  の拡大体  は、同型を除いて一意に存在する。この拡大体  を  に対する  上の分解体と呼ぶ。

多項式  を分解する体  に対し、ほかの -係数多項式が  において分解するとは限らないし、より強く -係数多項式は  において分解するとは限らない。体  が代数閉とは、任意の -係数多項式が  において分解するときに言う。

; 定理 (代数閉包の存在)
:  の最小の代数閉拡大体  は、同型を除き一意に存在する。この体  を  の代数閉包と呼ぶ。

体  は代数閉である（これをダランベール&ndash;ガウスの定理という）。 の代数閉包は  であり、また  の代数閉包は  の部分体  である。

## 根の重複度の微分による判定
; 定理
:  を可換環、 を -係数多項式とし、 は  の の根とする:
:*  は  の導多項式  の位数が少なくとも  の根で、 が  において消約可能ならば位数はちょうど  になる。
:*  は  の根になる。
:* 階乗  が  で消約可能ならば  は  の根にはならない。

特に:
*  の根が重根となるための必要十分条件は  の根にもなることである。
*  が の体ならば、 が  の -位の根となるための必要十分条件は  かつ  となることである。
正標数  の場合には、この最後の判定法は適用できない。実際、例えば  の導多項式は零多項式となる。

## 根と係数の関係

## 根の計算
多項式の根の計算にが利用できる。多項式  をラグランジュ補間により二次多項式 a_2 x^2 + b_2 x + c_2 で補間する。 の補間式の係数を、三点  で評価して求めれば:
* a_2 = \frac{P[x_0, x_1] - P[x_1, x_2]}{x_0 - x_2} = P[x_0, x_1, x_2]
* b_2 = P[x_1, x_2] - a_2\times (x_1  + x_2) 
* c_2 = P(x_2) - a_2\times x_2^2 - b_2\times x_2
となる。ただし、
:f[u, v] = \frac{f(u) - f(v)}{u - v}
は差商である。

しかし、この近似多項式を使うことは、この多項式の根の選択に問題を生じる。そこでミュラーは同じ多項式を、根に収束する  に対する
:a_n (x - x_n)^2 + b_n (x - x_n) + c_n
の形で用いることを考えた。このアルゴリズムを詳しく書けば、 を複素数として、各係数は
* a_n = P[x_{n-2}, x_{n-1}, x_n]
* b_n = P[x_{n-1}, x_n] - a_n\times (x_{n-1} - x_n)
* c_n = P(x_n)
で与えられる。この方法は自己収束的、すなわち根の計算は徐々に精度を上げる。そこで ,  を初期値とすると、考えてる多項式が  で消えていない限り、 回目の反復で
* r = \sqrt{b_n^2 - 4 a_n c_n} または b_n^2 - 4 a_n c_n が負または複素数
** d = \begin{cases}
  \dfrac{-2 c_n}{b_n - r} & (|b_n+r| 
* x_{n+1} = x_n + d
となる。最終的に  は零点に到達する。

## 注
### 注釈

### 出典

## 参考文献
* 
* 

## 関連項目

* 
* 
* 
* 多項式方程式
** 二次方程式
* 多項式函数
* 
* ルーシェの定理

## 外部リンク
* Racines entières d'un polynôme à coefficients entiers sur gecif.net
*