終結式
多項式
f(x) = anx + an−1x + ... + a1x + a0 (an ≠ 0)
の重複を含めた根を α1, ..., αn,
g(x) = bmx + bm−1x + ... + 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 | {\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}}}