終結式

数学において、終結式（しゅうけつしき、英: resultant）^{[注 1]}とは、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 の終結式 ${\displaystyle \operatorname {Res} (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}}}$

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

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

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

多項式 f の導関数を f' で表すと、${\displaystyle \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

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

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

（対角成分に a_n が m個、b₀ が 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}}}$

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

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

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

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

とおく。${\displaystyle \textstyle \sum \limits _{i=0}^{n}a_{i}\lambda ^{i}=\sum \limits _{j=0}^{m}b_{j}\lambda ^{j}=0}$ より、

${\displaystyle A{\boldsymbol {x}}={\boldsymbol {o}}}$  （${\displaystyle {\boldsymbol {o}}}$ は零ベクトル）

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

${\displaystyle |A|=0}$

${\displaystyle {\tfrac {1}{{a_{n}}^{m}{b_{m}}^{n}}}|A|}$ は、α_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})}$

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

${\displaystyle \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 係数多項式とする：

${\displaystyle f(x)=f_{n}x^{n}+f_{n-1}x^{n-1}+\cdots +f_{1}x+f_{0}}$,

${\displaystyle g(x)=g_{m}x^{m}+g_{m-1}x^{m-1}+\cdots g_{1}x+g_{0}}$

f, g は K の代数的閉包上で

${\displaystyle f=f_{m}\textstyle \prod \limits _{i=1}^{n}(x-\alpha _{i})}$

${\displaystyle g=g_{n}\textstyle \prod \limits _{j=1}^{m}(x-\beta _{j})}$

と因数分解され、終結式 ${\displaystyle \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.（英語）

表 話 編 歴 多項式
元数	多変数
次数	多項式 零多項式 定数多項式 斉次多項式 函数 次数不確定 (or −∞)（零函数） 零次（非零定数函数） 一次 二次 三次 四次 五次 方程式 一次 二次 三次 四次 五次 六次 七次 八次
項数	零項 定数項 単項 二項 三項 無限変数（フランス語版） 座標に依らない記述（英語版）
係数条件	容量 1（原始的） 主係数 1（モニック）
アルゴリズム	因数分解 最大公約式（英語版） 除法（英語版） ホーナー法 終結式 判別式 グレブナー基底
関連項目	代数方程式 多項式の根 重根 (多項式) 根と係数の関係 剰余の定理 因数定理 多項式の展開 多項定理 二項定理 整式 解の公式 二次方程式の解の公式 陰計算
カテゴリ

表 話 編 歴 線型代数学・行列解析
連立一次方程式	ガウスの消去法 クラメルの公式 ガウス＝ザイデル法 ヤコビ法
ベクトル	線型独立 線型結合 基底 双対基底
ベクトル空間	双対空間 核空間 固有空間 広義固有空間 線型包 行空間 列空間 次元
計量ベクトル空間	ドット積 コーシー＝シュワルツの不等式 直交 正規直交系 正規直交基底 グラム・シュミットの正規直交化法 直交補空間
行列・線型写像	演算・操作 乗法 転置 逆行列 サラスの方法 基本変形 対角化 分解 LU QR コレスキー シューア 特異値 固有値 不変量 行列式 跡 階数 固有値と固有ベクトル 固有多項式 最小多項式 単因子 階数標準形 スミス標準形 ジョルダン標準形 有理標準形 小行列式 クラス 正則 基本 対称 エルミート 正規 直交 回転 ユニタリ 冪零 射影 正定値 ユニモジュラー 置換 区分
行列式	余因子展開 余因子行列 ヴァンデルモンドの行列式 終結式 コーシー・ビネの公式
多重線型代数	外積 外積代数 対称代数 テンソル代数
数値線形代数	基本的な概念 浮動小数点 数値的安定性 疎行列 Z-行列 M行列 条件数 ゲルシュゴリンの定理 クリロフ部分空間 ソフトウェア MATLAB 数値解析ソフトの比較/一覧 ライブラリ Armadillo Basic Linear Algebra Subprograms (BLAS) INTLAB Intel oneAPI Math Kernel Library LAPACK NumPy OpenBLAS 線型代数学ライブラリの比較 反復法・技法 SOR法 共役勾配法 GMRES法 固有値問題の数値解法 ランチョス法 QR法 べき乗法 逆べき乗法 ヤコビ法 (固有値問題) シュトラッセンのアルゴリズム ハウスホルダー変換 ギブンス回転 人物 ジェームズ・H・ウィルキンソン クリーブ・モラー ニコラス・ハイアム ジーン・ゴラブ リチャード・バルガ
行列値関数	行列指数関数 行列の対数 行列の平方根
その他	スカラー ケイリー・ハミルトンの定理 ペロン＝フロベニウスの定理 シューア補行列 シルヴェスターの慣性法則
カテゴリ