then the resultant of and is defined as
From the definition, it is clear that the resultant will equal zero if and only if and have at least one common root. By grouping together factors, we may also rewrite the resultant as
Since the resultant is a symmetric function of the roots of the polynomials and , it can be expressed as a polynomial in the coefficients of and . This allows one to extend the definition to the case where and do not factor. An explicit formula for the resultant as a determinant was given by Sylvester. Suppose that
Then can be expressd as an determinant:
To construct this determinant, one first lists the coefficients of , padded with zeros at the end, then constructs subsequent rows by shifting one column to the right each time until one runs out of zeros at the end, then one repeats the same procedure with .
Resultants are very useful for solving simultaneous systems of polynomial equations. Suppose that one has a system of two equations . Then and can be regarded as polynomials in whose coefficients are functions of . One can then form the resultant by computing the determinant of a matrix as above. Since the coefficients were polynomials in , the resultant will be a polynomial in . In for the two equations to have a solution, the resultant must equal zero; hence setting the resultant equal to zero gives an equation for the values of solutions of the system. Once one solves for these values, one can substitute them back in to the original equations and solve for the corresponding values. In other , the resultant allows one to eliminate a variable from a system of equations. For this reason, resultants are also known as eliminants.
By using resultants to eliminate variables repeatedly one variable at a time, one solve systems of equations in more than two unknowns.
- S Sylvester, J.J, A Method of Determining By Mere Inspection the Derivatives from Two Equations of Any Degree, Phil. Mag. 16 (1840) pp. 132–135.
|Date of creation||2013-03-22 14:36:30|
|Last modified on||2013-03-22 14:36:30|
|Last modified by||Mathprof (13753)|