resultant

resultant

If

p

and

q

are two

polynomials

over a

commutative ring

with

identity

which can be factored into linear factors

p

⁢

(

x

)

=

a

0

⁢

(

x

-

r

1

)

⁢

(

x

-

r

2

)

⁢

⋯

⁢

(

x

-

r

m

)

q

⁢

(

x

)

=

b

0

⁢

(

x

-

s

1

)

⁢

(

x

-

s

2

)

⁢

⋯

⁢

(

x

-

s

n

)

then the

resultant

R

⁢

(

f

,

g

)

of

f

and

g

is defined as

R

⁢

(

p

,

q

)

=

a

0

n

⁢

b

0

m

⁢

∏

i

=

1

m

∏

j

=

1

n

(

r

i

-

s

j

)

From the definition, it is clear that the resultant will equal zero if and only if

p

and

q

have at least one common root. By grouping together factors, we may also rewrite the resultant as

R

⁢

(

p

,

q

)

=

a

0

n

⁢

∏

i

=

1

m

q

⁢

(

r

i

)

or

R

⁢

(

p

,

q

)

=

(

-

1

)

m

⁢

n

⁢

b

0

m

⁢

∏

j

=

1

n

p

⁢

(

s

j

)

Since the resultant is a symmetric function of the roots of the polynomials

p

and

q

, it can be expressed as a polynomial in the

coefficients

of

p

and

q

. This allows one to extend the definition to the case where

p

and

q

do not factor. An explicit formula for the resultant as a

determinant

was given by Sylvester. Suppose that

p

⁢

(

x

)

=

a

0

⁢

x

m

+

a

1

⁢

x

m

-

1

+

⋯

+

a

m

-

1

⁢

x

+

a

m

and

q

⁢

(

x

)

=

b

0

⁢

x

n

+

b

1

⁢

x

n

-

1

+

⋯

+

b

n

-

1

⁢

x

+

b

n

Then

R

⁢

(

p

,

q

)

can be expressd as an

(

m

+

n

)

×

(

m

+

n

)

determinant:

|

a

0

a

1

a

2

…

a

m

0

…

0

0

a

0

a

1

…

a

m

-

1

a

m

…

0

⋱

.

.

.

.

.

0

0

.

.

.

.

.

a

m

b

0

b

1

b

2

…

b

n

0

…

0

0

b

0

b

1

…

b

n

-

1

b

n

…

0

⋱

.

.

.

.

.

0

0

.

.

.

.

.

b

n

|

=

R

⁢

(

p

,

q

)

To construct this determinant, one first lists the coefficients of

p

, 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

q

.

Resultants are very useful for solving simultaneous systems of polynomial equations. Suppose that one has a system of two equations

f

⁢

(

x

,

y

)

=

0

,

g

⁢

(

x

,

y

)

=

0

. Then

f

and

g

can be regarded as polynomials in

x

whose coefficients are functions of

y

. One can then form the resultant by computing the determinant of a matrix as above. Since the coefficients were polynomials in

y

, the resultant will be a polynomial in

y

. 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

y

values of solutions of the system. Once one solves for these

y

values, one can substitute them back in to the original equations and solve for the corresponding

x

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

.

References

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.

Title

resultant

Canonical name

Resultant

Date of creation

2013-03-22 14:36:30

Last modified on

2013-03-22 14:36:30

Owner

Mathprof (13753)

Last modified by

Mathprof (13753)

Numerical id

18

Author

Mathprof (13753)

Entry type

Definition

Classification

msc 13P10

Synonym

eliminant

Generated on Fri Feb 9 17:39:42 2018 by

LaTeXML