数学において、終結式（しゅうけつしき、英: 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 の終結式 Res ( f , g ) {\displaystyle \operatorname {Res} (f,g)} を、次の等式のどちらかで定義する： a n m b m n ∏ i , j ( α i − β j ) = 。 a n a n − 1 ⋯ ⋯ a 0 ⋱ ⋱ ⋱ a n a n − 1 ⋯ ⋯ a 0 b m b m − 1 ⋯ b 0 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ b m b m − 1 ⋯ b 0 。 {\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}}} （対角成分に an が m個、b0 が n個）右辺はシルヴェスター行列の行列式である。
終結式が 0 であることと2つの多項式が共通根を持つことは同値である。
多項式 f の導関数を f' で表すと、 Res ( f , f ′ ) {\displaystyle \operatorname {Res} (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
とするとき、次の等式が成り立つ： a n m b m n ∏ i , j ( α i − β j ) = 。 a n a n − 1 ⋯ ⋯ a 0 ⋱ ⋱ ⋱ a n a n − 1 ⋯ ⋯ a 0 b m b m − 1 ⋯ b 0 ⋱ ⋱ ⋱ ⋱ ⋱ ⋱ b m b m − 1 ⋯ b 0 。