終結式

数学において、終結式（しゅうけつしき、英: resultant）とは、2つの多項式の係数から構成される式である。そうして終結式の値が零になることと2つの多項式が（係数体の分解体上で）共通零点を持つことは同値になる。このことから2つの多項式が共通零点を持つための必要十分条件が元の多項式の係数の多項式として得られる。具体的には、次のようにして定義される：

多項式

f(x) = a_nxⁿ + a_n−1xⁿ⁻¹ + … + a₁x + a₀ (a_n ≠ 0)

の重複を含めた根を α₁, …, α_n,

g(x) = b_mx^m + b_m−1x^m−1 + … + b₁x + b₀ (b_m ≠ 0)

の重複を含めた根を β₁, …, β_m

とするとき、f, g の終結式 $\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}}$

（対角成分に a_n が m個、b₀ が n個）

右辺はシルヴェスター行列の行列式である。

終結式が 0 であることと2つの多項式が共通根を持つことは同値である。

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

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

2つの定義式が等しいことの証明

多項式

f(x) = a_nxⁿ + a_n−1xⁿ⁻¹ + … + a₁x + a₀ (a_n ≠ 0)

の重複を含めた根を α₁, …, α_n,

g(x) = b_mx^m + b_m−1x^m−1 + … + b₁x + b₀ (b_m ≠ 0)

の重複を含めた根を β₁, …, β_m

とするとき、次の等式が成り立つ：

${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_n が m個、b₀ が n個）

ここでは、文献に掲載されている方法により証明する。

（証明）

$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}}$

とおく。A の第1～m行を a_n で、第(n + 1)～(m + n)行を b_m で割ると、根と係数の関係より、成分は、0 か 1 か、α₁, …, α_n または β₁, …, β_m の基本対称式になる。

故に ${\tfrac {1}{{a_{n}}^{m}{b_{m}}^{n}}}|A|$ は、α₁, …, α_n; β₁, …, β_m の多項式である。

α_i = β_j の時を考える。α_i = β_j =: λ とし、

${\boldsymbol {x}}:={}^{t}(\lambda ^{n+m-1},\cdots ,\lambda ,1)$  （t は転置を表す）

とおく。$\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}}$  （${\boldsymbol {o}}$ は零ベクトル）

${\boldsymbol {x}}\neq {\boldsymbol {o}}$ より、この斉次連立方程式には非自明な解が存在するから、係数行列は非正則である：

$|A|=0$

${\tfrac {1}{{a_{n}}^{m}{b_{m}}^{n}}}|A|$ は、α_i = β_j のとき多項式として 0 になるから、因数定理より、α_i − β_j を因数に持つ：

${\tfrac {1}{{a_{n}}^{m}{b_{m}}^{n}}}|A|=c\,\textstyle \prod \limits _{i,j}(\alpha _{i}-\beta _{j})$

両辺の (β₁ β₂ … β_m)ⁿ の係数を比較すると、c = 1

$\therefore \ |A|={a_{n}}^{m}{b_{m}}^{n}\textstyle \prod \limits _{i,j}(\alpha _{i}-\beta _{j})\quad \blacksquare$

係数環が整域の場合

整域R が体 K に含まれるとし、f を n 次、g を m 次 の R 係数多項式とする：

$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, g は K の代数的閉包上で

$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)$ が定義できる。

脚注

参考文献

• Gelfand, I. M.; Kapranov, M.M.; Zelevinsky, A.V. (1994), Discriminants, resultants, and multidimensional determinants, Boston: Birkhäuser, ISBN 978-0-8176-3660-9 
• MacAulay, F. S. (1902), “Some Formulæ in Elimination”, Proc. London Math. Soc. 35: 3-27, doi:10.1112/plms/s1-35.1.3 
• Salmon, George (1885), Lessons introductory to the modern higher algebra origyear=1859 (4th ed.), Dublin, Hodges, Figgis, and Co., ISBN 978-0-8284-0150-0, https://archive.org/details/salmonalgebra00salmrich 
• Siegfried Bosch: Algebra. 7., überarbeitete Auflage. Springer, Berlin u. a. 2009, ISBN 978-3-540-92811-9, doi:10.1007/978-3-540-92812-6.

関連項目

• 交点数 (代数幾何学)
• 判別式
• 重根

外部リンク

• 『終結式の定義といくつかの性質』 - 高校数学の美しい物語
• Weisstein, Eric W. "Resultant". mathworld.wolfram.com (英語).
• Resultant - PlanetMath.（英語）