## You are here

Homeresultant (alternative treatment)

## Primary tabs

# resultant (alternative treatment)

# Summary.

The resultant of two polynomials is a number, calculated from the coefficients of those polynomials, that vanishes if and only if the two polynomials share a common root. Conversely, the resultant is non-zero if and only if the two polynomials are mutually prime.

# Definition.

Let $\mathbb{K}$ be a field and let

$\displaystyle p(x)$ | $\displaystyle=a_{0}x^{n}+a_{1}x^{{n-1}}+\ldots+a_{n},$ | ||

$\displaystyle q(x)$ | $\displaystyle=b_{0}x^{m}+b_{1}x^{{m-1}}+\ldots+b_{m}$ |

be two polynomials over $\mathbb{K}$ of degree $n$ and $m$, respectively. We define $\mathrm{Res}[p,q]\in\mathbb{K}$, the resultant of $p(x)$ and $q(x)$, to be the determinant of a $n+m$ square matrix with columns 1 to $m$ formed by shifted sequences consisting of the coefficients of $p(x)$, and columns $m+1$ to $n+m$ formed by shifted sequences consisting of coefficients of $q(x)$, i.e.

$\mathrm{Res}[p,q]=\left|\begin{array}[]{cccccccc}a_{0}&0&\ldots&0&b_{0}&0&% \ldots&0\\ a_{1}&a_{0}&\ldots&0&b_{1}&b_{0}&\ldots&0\\ a_{2}&a_{1}&\ldots&0&b_{2}&b_{1}&\ldots&0\\ \vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 0&0&\ldots&a_{{n-1}}&0&0&\ldots&b_{{m-1}}\\ 0&0&\ldots&a_{n}&0&0&\ldots&b_{m}\\ \end{array}\right|$ |

###### Proposition 1.

The resultant of two polynomials is non-zero if and only if the polynomials are relatively prime.

Proof. Let $p(x),q(x)\in\mathbb{K}[x]$ be two arbitrary polynomials of degree $n$ and $m$, respectively. The polynomials are relatively prime if and only if every polynomial — including the unit polynomial 1 — can be formed as a linear combination of $p(x)$ and $q(x)$. Let

$\displaystyle r(x)$ | $\displaystyle=c_{0}x^{{m-1}}+c_{1}x^{{m-2}}+\ldots+c_{{m-1}},$ | ||

$\displaystyle s(x)$ | $\displaystyle=d_{0}x^{{n-1}}+b_{1}x^{{n-2}}+\ldots+d_{{n-1}}$ |

be polynomials of degree $m-1$ and $n-1$, respectively. The coefficients of the linear combination $r(x)p(x)+s(x)q(x)$ are given by the following matrix–vector multiplication:

$\begin{bmatrix}a_{0}&0&\ldots&0&b_{0}&0&\ldots&0\\ a_{1}&a_{0}&\ldots&0&b_{1}&b_{0}&\ldots&0\\ a_{2}&a_{1}&\ldots&0&b_{2}&b_{1}&\ldots&0\\ \vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 0&0&\ldots&a_{{n-1}}&0&0&\ldots&b_{{m-1}}\\ 0&0&\ldots&a_{n}&0&0&\ldots&b_{m}\\ \end{bmatrix}\begin{bmatrix}c_{0}\\ c_{1}\\ c_{2}\\ \vdots\\ c_{{m-1}}\\ d_{0}\\ d_{1}\\ d_{2}\\ \vdots\\ d_{{n-1}}\end{bmatrix}$ |

In consequence of the preceding remarks, $p(x)$ and $q(x)$ are relatively prime if and only if the matrix above is non-singular, i.e. the resultant is non-vanishing. Q.E.D.

# Alternative Characterization.

The following Proposition describes the resultant of two polynomials in terms of the polynomials’ roots. Indeed this property uniquely characterizes the resultant, as can be seen by carefully studying the appended proof.

###### Proposition 2.

Let $p(x),q(x)$ be as above and let $x_{1},\ldots,x_{n}$ and $y_{1},\ldots,y_{m}$ be their respective roots in the algebraic closure of $\mathbb{K}$. Then,

$\mathrm{Res}[p,q]=a_{0}^{m}\,b_{0}^{n}\prod_{{i=1}}^{n}\prod_{{j=1}}^{m}(x_{i}% -y_{j})$ |

Proof. The multilinearity property of determinants implies that

$\mathrm{Res}[p,q]=a_{0}^{m}\,b_{0}^{n}\left|\begin{array}[]{cccccccc}1&0&% \ldots&0&1&0&\ldots&0\\ A_{1}&1&\ldots&0&B_{1}&1&\ldots&0\\ A_{2}&A_{1}&\ldots&0&B_{2}&B_{1}&\ldots&0\\ \vdots&\vdots&\ddots&\vdots&\vdots&\vdots&\ddots&\vdots\\ 0&0&\ldots&A_{{n-1}}&0&0&\ldots&B_{{m-1}}\\ 0&0&\ldots&A_{n}&0&0&\ldots&B_{m}\\ \end{array}\right|$ |

where

$\displaystyle A_{i}$ | $\displaystyle=\frac{a_{i}}{a_{0}},\quad i=1,\ldots n,$ | ||

$\displaystyle B_{j}$ | $\displaystyle=\frac{b_{j}}{b_{0}},\quad j=1,\ldots m.$ |

It therefore suffices to prove the proposition for monic polynomials. Without loss of generality we can also assume that the roots in question are algebraically independent.

Thus, let $X_{1},\ldots,X_{n},Y_{1},\ldots,Y_{m}$ be indeterminates and set

$\displaystyle F(X_{1},\ldots,X_{n},Y_{1},\ldots,Y_{m})$ | $\displaystyle=\prod_{{i=1}}^{n}\prod_{{j=1}}^{m}(X_{i}-Y_{j})$ | ||

$\displaystyle P(x)$ | $\displaystyle=(x-X_{1})\ldots(x-X_{n}),$ | ||

$\displaystyle Q(x)$ | $\displaystyle=(x-Y_{1})\ldots(x-Y_{m}),$ | ||

$\displaystyle G(X_{1},\ldots,X_{n},Y_{1},\ldots,Y_{m})$ | $\displaystyle=\mathrm{Res}[P,Q]$ |

Now by Proposition 1, $G$ vanishes if we replace any of the $Y_{1},\ldots,Y_{m}$ by any of $X_{1},\ldots,X_{n}$ and hence $F$ divides $G$.

Next, consider the main diagonal of the matrix whose determinant gives $\mathrm{Res}[P,Q]$. The first $m$ entries of the diagonal are equal to $1$, and the next $n$ entries are equal to $(-1)^{m}Y_{1}\ldots Y_{m}$. It follows that the expansion of $G$ contains a term of the form $(-1)^{{mn}}Y_{1}^{n}\ldots Y_{m}^{n}$. However, the expansion of $F$ contains exactly the same term, and therefore $F=G$. Q.E.D.

## Mathematics Subject Classification

12E05*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new correction: Error in proof of Proposition 2 by alex2907

Jun 24

new question: A good question by Ron Castillo

Jun 23

new question: A trascendental number. by Ron Castillo

Jun 19

new question: Banach lattice valued Bochner integrals by math ias

Jun 13

new question: young tableau and young projectors by zmth

## Comments

## Large overlap between "Resolvent" and "Resultant" articles

These articles could be combined into one. Alternatively, they could reference each other.