# proof that Sylvester’s matrix equals the resultant

In the derivation^{} of Sylvester’s matrix for the resultant^{}, it was seen that if two polynomials^{} have a common root, then Sylvester’s determinant will equal zero. Since two polynomials have a common root if and only if their resultant is zero, it follows that if the resultant is zero, then Sylvester’s determinant equals zero. In this entry, we shall use this fact to show that Sylvester’s determinant equals the resultant.

The secret is to view both Sylvester’s determinant and the resultant as functions of the roots. A more precise way of saying what this means is that we will study polnomials in the indeterminates ${a}_{0},{r}_{1},{r}_{2},\mathrm{\dots},{r}_{m},{b}_{0},{s}_{1},{s}_{2},\mathrm{\dots},{s}_{n}$. We will regard ${a}_{1},{a}_{2},\mathrm{\dots},{a}_{m},{b}_{1},{b}_{2},\mathrm{\dots},{b}_{m}$ as polynomials in these variables using the expression of coefficients of a polynomial as symmetric functions of its roots, e.g.

$${a}_{1}={a}_{0}({r}_{1}+{r}_{2}+\mathrm{\cdots})$$ |

$${a}_{2}={a}_{0}({r}_{1}{r}_{2}+{r}_{1}{r}_{3}+\mathrm{\cdots})$$ |

Note that ${a}_{k}$ is a ${k}^{\text{th}}$ order polynomial in the ${r}_{i}$’s and ${b}_{k}$ is a ${k}^{\text{th}}$ order polynomial in the ${s}_{i}$’s.

Let $R$ be the polynomial

$$R={a}_{0}^{n}{b}_{0}^{m}\prod _{i=1}^{m}\prod _{j=1}^{n}({r}_{i}-{s}_{j})$$ |

and let $D$ be the polynomial which is gotten by replacing occurrences of ${a}_{1},{a}_{2},\mathrm{\dots},{a}_{m},{b}_{1},{b}_{2},\mathrm{\dots},{b}_{m}$ in Sylvester’s matrix by their expressions in of ${a}_{0},{r}_{1},{r}_{2},\mathrm{\dots},{r}_{m},{b}_{0},{s}_{1},{s}_{2},\mathrm{\dots},{s}_{n}$. We want to show that $R=D$.

First, note that, in each row of Sylvester’s matrix, every entry is multiplied by either an ${a}_{0}$ or a ${b}_{0}$. By a fundamental property of determinants, this means that we may pull all those factors of ${a}_{0}$ and ${b}_{0}$ outside the determinant. Since there are $n$ rows containing ${a}_{0}$ and $m$ rows containing ${b}_{0}$, this means that $D={a}_{0}^{m}{b}_{0}^{n}{D}^{\prime}({r}_{1},\mathrm{\dots},{r}_{m},{s}_{1},\mathrm{\dots},{s}_{n})$. Note that these factors correspond to the powers of ${a}_{0}$ and ${b}_{0}$ in the definition of $R$. Hence, to show that $D=R$ it only remains to show that ${D}^{\prime}={R}^{\prime}$, where

$${R}^{\prime}=\prod _{i=1}^{m}\prod _{j=1}^{n}({r}_{i}-{s}_{j})$$ |

Second, note that the degree of ${D}^{\prime}$ is not greater than the degree of ${R}^{\prime}$. From the definition, it is obvious that ${R}^{\prime}$ is a polynomial of degree $mn$. By examining Sylvester’s determinant and keeping in mind that ${a}_{k}$ and ${b}_{k}$ are of degree $k$, it is not hard to see that the degree of ${D}^{\prime}$ cannot exceed $mn$.

Third, we will show that ${R}^{\prime}$ divides ${D}^{\prime}$. In the derivation of the Sylvester determinant, we saw that if ${r}_{i}={s}_{j}$ for some choice of $i$ and $j$, then $D=0$, and hence ${D}^{\prime}=0$. The only way for a non-zero polynomial to to equal zero when ${r}_{i}={s}_{j}$ is for ${r}_{i}-{s}_{i}$ to be a factor of the polynomial. It is easy to see that ${D}^{\prime}$ is not the zero polynomial^{}, and hence, ${s}_{i}-{s}_{j}$ must be a factor of ${D}^{\prime}$. This means that every factor of ${R}^{\prime}$ is also a factor of ${D}^{\prime}$. Since all the factors of ${R}^{\prime}$ occur with multiplicity^{} one, it follows that ${D}^{\prime}$ is a multiple^{} of ${R}^{\prime}$.

Combining the of the last two paragraphs, we come to the conclusion^{} that ${D}^{\prime}$ must be a constant multiple of ${R}^{\prime}$. To determine the constant of proportionality, all one needs to do is to compare the values of the two polynomials for a set of value of the variables for which they to not vanish. For instance, one could try ${r}_{1}={r}_{2}=\mathrm{\cdots}={r}_{m}=1$ and ${s}_{1}={s}_{2}=\mathrm{\cdots}={s}_{n}=0$. Both ${R}^{\prime}$ and ${D}^{\prime}$ equal $1$ for this special set of values, and hence ${R}^{\prime}={D}^{\prime}$.

Title | proof that Sylvester’s matrix equals the resultant |
---|---|

Canonical name | ProofThatSylvestersMatrixEqualsTheResultant |

Date of creation | 2013-03-22 14:36:50 |

Last modified on | 2013-03-22 14:36:50 |

Owner | rspuzio (6075) |

Last modified by | rspuzio (6075) |

Numerical id | 8 |

Author | rspuzio (6075) |

Entry type | Definition |

Classification | msc 13P10 |