Resultant Elimination Techniques
Resultant elimination techniques are used to solve multipolynomial
systems by constructing a univariate polynomial expression such that
all of the roots of the original multipolynomial system are
represented as roots of the constructed univariate polynomial.
In other words, given a system of three functions f1(x,y,z), f2(x,y,z)
and f3(x,y,z), resultant techniques can formulate a new univariate
system Q(z) such that the z' values of all of the common roots
(x',y',z') of the original system (f1,f2,f3) are also roots of the
univariate system Q(z).
Resultant techniques are based upon the Nullstellenstatz observation,
as follows:
Suppose f1,f2, and f3 are linear in x and y such that
f1(x,y,z),f2(x,y,z),f3(x,y,z) can be written in linear algebra form
as:
f2_x(z)
f3_x(z)
f1_x(z)  f1_y(z)  f1_1(z) 
f2_y(z)  f2_1(z) 
f3_y(z)  f3_1(z)

x
y
1
where f1(x,y,z) = f1_x(z) x + f1_y(z) y + f1_1(z),
f2(x,y,z) = f2_x(z) x + f2_y(z) y + f2_1(z),
f3(x,y,z) = f3_x(z) x + f3_y(z) y + f3_1(z).
Now consider any common roots (x',y',z') of the three equations
(f1,f2,f3). Since the linear algebra representation exactly
characterizes f1,f2,f3, it must be the case that the linear algebra
matrixvector is also (0,0,0) at the common roots. We know that the
column vector (x,y,1) is nonzero since it includes 1. Consequently,
from linear algebra theory, we can infer that the determinant of the
f2_x(z)
f3_x(z)
f1_x(z)  f1_y(z)  f1_1(z) 
f2_y(z)  f2_1(z) 
f3_y(z)  f3_1(z)

matrix must be 0.
Notice that the determinant of the matrix is an expression solely in
z. This is how we construct a univariate expression Q(z) =
Det(matrix) such that every roots (x',y',z') of the original system
corresponds to a root z' of Q(z)
Resultant formulations include: