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 . We will regard as polynomials in these variables using the expression of coefficients of a polynomial as symmetric functions of its roots, e.g.
Note that is a order polynomial in the ’s and is a order polynomial in the ’s.
Let be the polynomial
and let be the polynomial which is gotten by replacing occurrences of in Sylvester’s matrix by their expressions in of . We want to show that .
First, note that, in each row of Sylvester’s matrix, every entry is multiplied by either an or a . By a fundamental property of determinants, this means that we may pull all those factors of and outside the determinant. Since there are rows containing and rows containing , this means that . Note that these factors correspond to the powers of and in the definition of . Hence, to show that it only remains to show that , where
Second, note that the degree of is not greater than the degree of . From the definition, it is obvious that is a polynomial of degree . By examining Sylvester’s determinant and keeping in mind that and are of degree , it is not hard to see that the degree of cannot exceed .
Third, we will show that divides . In the derivation of the Sylvester determinant, we saw that if for some choice of and , then , and hence . The only way for a non-zero polynomial to to equal zero when is for to be a factor of the polynomial. It is easy to see that is not the zero polynomial, and hence, must be a factor of . This means that every factor of is also a factor of . Since all the factors of occur with multiplicity one, it follows that is a multiple of .
Combining the of the last two paragraphs, we come to the conclusion that must be a constant multiple of . 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 and . Both and equal for this special set of values, and hence .
|Title||proof that Sylvester’s matrix equals the resultant|
|Date of creation||2013-03-22 14:36:50|
|Last modified on||2013-03-22 14:36:50|
|Last modified by||rspuzio (6075)|