終結式

数学において、**終結式**（しゅうけつしき、）とは、2つの多項式の係数から構成される式である。そうして終結式の値が零になることと2つの多項式が（係数体の分解体上で）共通零点を持つことは同値になる。このことから2つの多項式が共通零点を持つための必要十分条件が元の多項式の係数の多項式として得られる。具体的には、次のようにして定義される：
:多項式
::
:の重複を含めた根を ,
::
:の重複を含めた根を 
:とするとき、 の終結式 \operatorname{Res} (f,g) を、次の等式の左辺か右辺どちらかで定義する：
::{a_n}^m {b_m}^n \textstyle \prod\limits_{i,j} ( \alpha_i - \beta_j ) = \begin{vmatrix}
a_n &a_{n-1} &\cdots &\cdots  &a_0     &       &    \\
    &\ddots  &\ddots &        &        &\ddots &    \\
    &        &a_n    &a_{n-1} &\cdots  &\cdots &a_0 \\
b_m &b_{m-1} &\cdots &b_0     &        &       &    \\
    &\ddots  &\ddots &        &\ddots  &       &    \\
    &        &\ddots &\ddots  &        &\ddots &    \\
    &        &       &b_m     &b_{m-1} &\cdots &b_0
\end{vmatrix}
:（対角成分に  が 個、 が 個）
:右辺はシルヴェスター行列の行列式である。
終結式が  であることと2つの多項式が共通根を持つことは同値である。

多項式  の導関数を  で表すと、\operatorname{Res} (f,f') は  の**[[判別式]]**に等しい。

終結式は、数論で広く用いられている。有理係数あるいは多項式係数の2つの多項式の終結式はコンピュータで効率的に計算できる。それはの基本的なツールであり、たいていの数式処理システムの組み込み関数である。それはとりわけ、 (CAD), 有理関数の逆微分、二変数代数方程式によって定義された曲線の描画に対して使われる。

## 2つの定義式が等しいことの証明
多項式
:
の重複を含めた根を ,
:
の重複を含めた根を 

とするとき、次の等式が成り立つ：
:{a_n}^m {b_m}^n \textstyle \prod\limits_{i,j} ( \alpha_i - \beta_j ) = \begin{vmatrix}
a_n &a_{n-1} &\cdots &\cdots  &a_0     &       &    \\
    &\ddots  &\ddots &        &        &\ddots &    \\
    &        &a_n    &a_{n-1} &\cdots  &\cdots &a_0 \\
b_m &b_{m-1} &\cdots &b_0     &        &       &    \\
    &\ddots  &\ddots &        &\ddots  &       &    \\
    &        &\ddots &\ddots  &        &\ddots &    \\
    &        &       &b_m     &b_{m-1} &\cdots &b_0
\end{vmatrix}
:（対角成分に  が 個、 が 個）
ここでは、文献に掲載されている方法により証明する。

（証明）
:A := \begin{bmatrix}
a_n &a_{n-1} &\cdots &\cdots  &a_0     &       &    \\
    &\ddots  &\ddots &        &        &\ddots &    \\
    &        &a_n    &a_{n-1} &\cdots  &\cdots &a_0 \\
b_m &b_{m-1} &\cdots &b_0     &        &       &    \\
    &\ddots  &\ddots &        &\ddots  &       &    \\
    &        &\ddots &\ddots  &        &\ddots &    \\
    &        &       &b_m     &b_{m-1} &\cdots &b_0
\end{bmatrix}
とおく。 の第～行を  で、第～行を  で割ると、根と係数の関係より、成分は、 か  か、 または  の基本対称式になる。

故に \tfrac{1}{{a_n}^m {b_m}^n} |A| は、 の多項式である。

 の時を考える。 とし、
:\boldsymbol{x} := {}^t( \lambda^{n+m-1}, \cdots , \lambda , 1) &nbsp;（ は転置を表す）
とおく。\textstyle \sum\limits_{i=0}^n a_i \lambda^i = \sum\limits_{j=0}^m b_j \lambda^j =0 より、
:A\boldsymbol{x} = \boldsymbol{o} &nbsp;（\boldsymbol{o} は零ベクトル）
\boldsymbol{x} \neq \boldsymbol{o} より、この斉次連立方程式には非自明な解が存在するから、係数行列は非正則である：
:|A|=0
\tfrac{1}{{a_n}^m {b_m}^n} |A| は、 のとき多項式として  になるから、因数定理より、 を因数に持つ：
:\tfrac{1}{{a_n}^m {b_m}^n} |A| = c \, \textstyle \prod\limits_{i,j} ( \alpha_i - \beta_j )
両辺の  の係数を比較すると、
:\therefore \ |A| = {a_n}^m {b_m}^n \textstyle \prod\limits_{i,j} ( \alpha_i - \beta_j ) \quad \blacksquare

## 係数環が整域の場合
整域 が体  に含まれるとし、 を  次、 を  次 の  係数多項式とする：
:f(x)=f_n x^n + f_{n-1} x^{n-1} + \cdots + f_1 x + f_0,
:g(x)=g_m x^m + g_{m-1} x^{m-1} + \cdots g_1 x + g_0
 は  の代数的閉包上で
:f = f_m \textstyle \prod\limits_{i=1}^n ( x - \alpha_i )
:g = g_n \textstyle \prod\limits_{j=1}^m ( x - \beta_j )
と因数分解され、終結式 \operatorname{Res} (f,g) が定義できる。

## 脚注
### 注釈

### 出典

## 参考文献
*
*
*
* Siegfried Bosch: *Algebra.* 7., überarbeitete Auflage. Springer, Berlin u. a. 2009, ISBN 978-3-540-92811-9, .

## 関連項目
*交点数 (代数幾何学)
*判別式
*重根

## 外部リンク
* 
* 
*