トップQs
タイムライン
チャット
視点
終結式
ウィキペディアから
Remove ads
数学において、終結式(しゅうけつしき、英: 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 の終結式 を、次の等式のどちらかで定義する:
- (対角成分に an が m個、b0 が n個)
- 右辺はシルヴェスター行列の行列式である。
![]() | この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
終結式が 0 であることと2つの多項式が共通根を持つことは同値である。
多項式 f の導関数を f' で表すと、 は f の判別式に等しい。
終結式は、数論で広く用いられている。有理係数あるいは多項式係数の2つの多項式の終結式はコンピュータで効率的に計算できる。それは計算機代数の基本的なツールであり、たいていの数式処理システムの組み込み関数である。それはとりわけ、柱形代数分解 (CAD), 有理関数の逆微分、二変数代数方程式によって定義された曲線の描画に対して使われる。
Remove ads
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
とするとき、次の等式が成り立つ:
- (対角成分に an が m個、b0 が n個)
ここでは、文献[2]に掲載されている方法により証明する。
(証明)
とおく。A の第1~m行を an で、第(n + 1)~(m + n)行を bm で割ると、根と係数の関係より、成分は、0 か 1 か、α1, …, αn または β1, …, βm の基本対称式になる。
故に は、α1, …, αn; β1, …, βm の多項式である。
αi = βj の時を考える。αi = βj =: λ とし、
- (t は転置を表す)
とおく。 より、
- ( は零ベクトル)
より、この斉次連立方程式には非自明な解が存在するから、係数行列は非正則である:
は、αi = βj のとき多項式として 0 になるから、因数定理より、αi − βj を因数に持つ:
両辺の (β1 β2 … βm)n の係数を比較すると、c = 1
Remove ads
係数環が整域の場合
要約
視点
整域R が体 K に含まれるとし、f を n 次、g を m 次 の R 係数多項式とする:
- ,
f, g は K の代数的閉包上で
と因数分解され、終結式 が定義できる。
Remove ads
脚注
参考文献
関連項目
外部リンク
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads