終結式

数学において、終結式（しゅうけつしき、）とは、2つの多項式の係数から構成される式である。そうして終結式の値が零になることと2つの多項式が（係数体の分解体上で）共通零点を持つことは同値になる。このことから2つの多項式が共通零点を持つための必要十分条件が元の多項式の係数の多項式として得られる。具体的には、次のようにして定義される：
終結式が であることと2つの多項式が共通根を持つことは同値である。
多項式 の導関数を で表すと、formula_3 は の判別式に等しい。
終結式は、数論で広く用いられている。有理係数あるいは多項式係数の2つの多項式の終結式はコンピュータで効率的に計算できる。それはの基本的なツールであり、たいていの数式処理システムの組み込み関数である。それはとりわけ、 (CAD), 有理関数の逆微分、二変数代数方程式によって定義された曲線の描画に対して使われる。
2つの定義式が等しいことの証明.
多項式
の重複を含めた根を ,
の重複を含めた根を 
とするとき、次の等式が成り立つ：
ここでは、文献に掲載されている方法により証明する。
（証明）
とおく。 の第～行を で、第～行を で割ると、根と係数の関係より、成分は、 か か、 または の基本対称式になる。