数学において、終結式(しゅうけつしき、英: resultant)[注 1]とは、2つの多項式の係数から構成される式である。そうして終結式の値が零になることと2つの多項式が(係数体の分解体上で)共通零点を持つことは同値になる。このことから2つの多項式が共通零点を持つための必要十分条件が元の多項式の係数の多項式として得られる。具体的には、次のようにして定義される:
- 多項式
- f(x) = anxn + an−1xn−1 + … + a1x + a0 (an ≠ 0)
- の重複を含めた根を α1, …, αn,
- g(x) = bmxm + bm−1xm−1 + … + b1x + b0 (bm ≠ 0)
- の重複を含めた根を β1, …, βm
- とするとき、f, g の終結式
を、次の等式のどちらかで定義する: ![{\displaystyle {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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c07c64385a5b00a76175e486d57b1c52eb5dc00)
- (対角成分に an が m個、b0 が n個)
- 右辺はシルヴェスター行列の行列式である。
終結式が 0 であることと2つの多項式が共通根を持つことは同値である。
多項式 f の導関数を f' で表すと、
は f の判別式に等しい。
終結式は、数論で広く用いられている。有理係数あるいは多項式係数の2つの多項式の終結式はコンピュータで効率的に計算できる。それは計算機代数(英語版)の基本的なツールであり、たいていの数式処理システムの組み込み関数である。それはとりわけ、柱形代数分解(英語版) (CAD), 有理関数の逆微分、二変数代数方程式によって定義された曲線の描画に対して使われる。
多項式
- f(x) = anxn + an−1xn−1 + … + a1x + a0 (an ≠ 0)
の重複を含めた根を α1, …, αn,
- g(x) = bmxm + bm−1xm−1 + … + b1x + b0 (bm ≠ 0)
の重複を含めた根を β1, …, βm
とするとき、次の等式が成り立つ:
![{\displaystyle {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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c07c64385a5b00a76175e486d57b1c52eb5dc00)
- (対角成分に an が m個、b0 が n個)
ここでは、文献[2]に掲載されている方法により証明する。
(証明)
![{\displaystyle 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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f9053346961b0158be4765b8610d592e45481842)
とおく。A の第1~m行を an で、第(n + 1)~(m + n)行を bm で割ると、根と係数の関係より、成分は、0 か 1 か、α1, …, αn または β1, …, βm の基本対称式になる。
故に
は、α1, …, αn; β1, …, βm の多項式である。
αi = βj の時を考える。αi = βj =: λ とし、
(t は転置を表す)
とおく。
より、
(
は零ベクトル)
より、この斉次連立方程式には非自明な解が存在するから、係数行列は非正則である:
![{\displaystyle |A|=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0cab43b4103cbd0531df56aae55513866e85cb31)
は、αi = βj のとき多項式として 0 になるから、因数定理より、αi − βj を因数に持つ:
![{\displaystyle {\tfrac {1}{{a_{n}}^{m}{b_{m}}^{n}}}|A|=c\,\textstyle \prod \limits _{i,j}(\alpha _{i}-\beta _{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/342a126ca8c20da16ddb4892980ce6d86f974219)
両辺の (β1 β2 … βm)n の係数を比較すると、c = 1
![{\displaystyle \therefore \ |A|={a_{n}}^{m}{b_{m}}^{n}\textstyle \prod \limits _{i,j}(\alpha _{i}-\beta _{j})\quad \blacksquare }](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f81cd82160f70725ea9f72dd45002cc08c0ea95)
整域R が体 K に含まれるとし、f を n 次、g を m 次 の R 係数多項式とする:
, ![{\displaystyle g(x)=g_{m}x^{m}+g_{m-1}x^{m-1}+\cdots g_{1}x+g_{0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5d4ae2094bd5ca9235bca9e52fe448250a160e6)
f, g は K の代数的閉包上で
![{\displaystyle f=f_{m}\textstyle \prod \limits _{i=1}^{n}(x-\alpha _{i})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14f4cc56f93f90290102cf4e7ebc64af8a9203fb)
![{\displaystyle g=g_{n}\textstyle \prod \limits _{j=1}^{m}(x-\beta _{j})}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fec0fc07d5fa0d20f6849f43260dee5908b2148)
と因数分解され、終結式
が定義できる。
- ^ 古い文献では eliminant(消去式)と呼ばれることもある。
- 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.