Elimination Theory
摘要
This chapter will study systematic methods for eliminating variables from systems of polynomial equations. The basic strategy of elimination theory will be given in two main theorems: the Elimination Theorem and the Extension Theorem. We will prove these results using Gröbner bases and the classic theory of resultants. The geometric interpretation of elimination will also be explored when we discuss the Closure Theorem. Of the many applications of elimination theory, we will treat two in detail: the implicitization problem and the envelope of a family of curves.