Plane curves

Suppose that X and Y are two plane projective curves defined over a field F that do not have a common component (this condition means that X and Y are defined by polynomials, without common divisor of positive degree). Then the total number of intersection points of X and Y with coordinates in an algebraically closed field E which contains F, counted with their multiplicities, is equal to the product of the degrees of X and Y.

General case

The generalization in higher dimension may be stated as:

Let n projective hypersurfaces be given in a projective space of dimension n over an algebraically closed field, which are defined by n homogeneous polynomials in n + 1 variables, of degrees ${\displaystyle d_{1},\ldots ,d_{n}.}$ Then either the number of intersection points is infinite, or the number of intersection points, counted with multiplicity, is equal to the product ${\displaystyle d_{1}\cdots d_{n}.}$ If the hypersurfaces are in relative general position, then there are ${\displaystyle d_{1}\cdots d_{n}}$ intersection points, all with multiplicity 1.

There are various proofs of this theorem, which either are expressed in purely algebraic terms, or use the language or algebraic geometry. Three algebraic proofs are sketched below.

Bézout's theorem has been generalized as the so-called multi-homogeneous Bézout theorem.

Affine case

The affine case of the theorem is the following statement, that has been proven in 1983 by David Masser and Gisbert Wüstholz.^[7]

Consider n affine hypersurfaces which are defined over an algebraically closed field by n polynomials in n variables, of degrees ${\displaystyle d_{1},\ldots ,d_{n}.}$ Then either the number of intersection points is infinite, or the number of intersection points, counted with their multiplicities, is at most the product ${\displaystyle d_{1}\cdots d_{n}.}$ If the hypersurfaces are in relative general position, then there are exactly ${\displaystyle d_{1}\cdots d_{n}}$ intersection points, all with multiplicity 1.

This version is not a direct consequence of the general case, because it is possible to have a finite number of intersection points in the affine space, with infinitely many intersection points at infinity. The above statement is a special case of a more general statement, which is the result that Masser and Wüstholz proved.

For stating the general result, one has to recall that the intersection points form an algebraic set, and that there is a finite number of intersection points if and only if all component of the intersection have a zero dimension (an algebraic set of positive dimension has an infinity of points over an algebraically closed field). An intersection point is said isolated if it does not belong to a component of positive dimension of the intersection; the terminology make sense, since an isolated intersection point has neighborhoods (for Zariski topology or for the usual topology in the case of complex hypersurfaces) that does not contain any other intersection point.

Consider n projective hypersurfaces which are defined over an algebraically closed field by n homogeneous polynomials in ${\displaystyle n+1}$ variables, of degrees ${\displaystyle d_{1},\ldots ,d_{n}.}$ Then, the sum of the multiplicities of their isolated intersection points is at most the product ${\displaystyle d_{1}\cdots d_{n}.}$ The result remains valid for any number m of hypersurfaces, if one sets ${\displaystyle d_{m+1}=0}$ in the case ${\displaystyle m<n,}$ and, otherwise, if one orders the degrees for having ${\displaystyle d_{2}\geq d_{3}\geq \cdots \geq d_{m}\geq d_{1}.}$ That is, there is no isolated intersection point if ${\displaystyle m<n,}$ and, otherwise, the bound is the product of the smallest degree and the ${\displaystyle n-1}$ largest degrees.

Two lines

The equation of a line in a Euclidean plane is linear, that is, it equates to zero a polynomial of degree one. So, the Bézout bound for two lines is 1, meaning that two lines either intersect at a single point, or do not intersect. In the latter case, the lines are parallel and meet at a point at infinity.

One can verify this with equations. The equation of a first line can be written in slope-intercept form ${\displaystyle y=sx+m}$ or, in projective coordinates ${\displaystyle y=sx+mt}$ (if the line is vertical, one may exchange x and y). If the equation of a second line is (in projective coordinates) ${\displaystyle ax+by+ct=0,}$ by substituting ${\displaystyle sx+mt}$ for y in it, one gets ${\displaystyle (a+bs)x+(c+bm)t=0.}$ If ${\displaystyle a+bs\neq 0,}$ one gets the x-coordinate of the intersection point by solving the latter equation in x and putting t = 1.

If ${\displaystyle a+bs=0,}$ that is ${\displaystyle s=-a/b,}$ the two line are parallel as having the same slope. If ${\displaystyle m\neq -c/b,}$ they are distinct, and the substituted equation gives t = 0. This gives the point at infinity of projective coordinates (1, s, 0).

A line and a curve

As above, one may write the equation of the line in projective coordinates as ${\displaystyle y=sx+mt.}$ If curve is defined in projective coordinates by a homogeneous polynomial ${\displaystyle p(x,y,t)}$ of degree n, the substitution of y provides a homogeneous polynomial of degree n in x and t. The fundamental theorem of algebra implies that it can be factored in linear factors. Each factor gives the ratio of the x and t coordinates of an intersection point, and the multiplicity of the factor is the multiplicity of the intersection point.

If t is viewed as the coordinate of infinity, a factor equal to t represents an intersection point at infinity.

If at least one partial derivative of the polynomial p is not zero at an intersection point, then the tangent of the curve at this point is defined (see Algebraic curve § Tangent at a point), and the intersection multiplicity is greater than one if and only if the line is tangent to the curve. If all partial derivatives are zero, the intersection point is a singular point, and the intersection multiplicity is at least two.

Two conic sections

Two conic sections generally intersect in four points, some of which may coincide. To properly account for all intersection points, it may be necessary to allow complex coordinates and include the points on the infinite line in the projective plane. For example:

• Two circles never intersect in more than two points in the plane, while Bézout's theorem predicts four. The discrepancy comes from the fact that every circle passes through the same two complex points on the line at infinity. Writing the circle
  $${\displaystyle (x-a)^{2}+(y-b)^{2}=r^{2}}$$

  
  in homogeneous coordinates, we get
  $${\displaystyle (x-az)^{2}+(y-bz)^{2}-r^{2}z^{2}=0,}$$

  
  from which it is clear that the two points (1 : i : 0) and (1 : –i : 0) lie on every circle. When two circles do not meet at all in the real plane, the two other intersections have non-real coordinates, or if the circles are concentric then they meet at exactly the two points on the line at infinity with an intersection multiplicity of two.
• Any conic should meet the line at infinity at two points according to the theorem. A hyperbola meets it at two real points corresponding to the two directions of the asymptotes. An ellipse meets it at two complex points which are conjugate to one another—in the case of a circle, the points (1 : i : 0) and (1 : –i : 0). A parabola meets it at only one point, but it is a point of tangency and therefore counts twice.
• The following pictures show examples in which the circle x² + y² – 1 = 0 meets another ellipse in fewer intersection points because at least one of them has multiplicity greater than one:

Using the resultant (plane curves)

Let P and Q be two homogeneous polynomials in the indeterminates x, y, t of respective degrees p and q. Their zeros are the homogeneous coordinates of two projective curves. Thus the homogeneous coordinates of their intersection points are the common zeros of P and Q.

By collecting together the powers of one indeterminate, say y, one gets univariate polynomials whose coefficients are homogeneous polynomials in x and t.

For technical reasons, one must change of coordinates in order that the degrees in y of P and Q equal their total degrees (p and q), and each line passing through two intersection points does not pass through the point (0, 1, 0) (this means that no two point have the same Cartesian x-coordinate.

The resultant R(x ,t) of P and Q with respect to y is a homogeneous polynomial in x and t that has the following property: ${\displaystyle R(\alpha ,\tau )=0}$ with ${\displaystyle (\alpha ,\tau )\neq (0,0)}$ if and only if it exist ${\displaystyle \beta }$ such that ${\displaystyle (\alpha ,\beta ,\tau )}$ is a common zero of P and Q (see Resultant § Zeros). The above technical condition ensures that ${\displaystyle \beta }$ is unique. The first above technical condition means that the degrees used in the definition of the resultant are p and q; this implies that the degree of R is pq (see Resultant § Homogeneity).

As R is a homogeneous polynomial in two indeterminates, the fundamental theorem of algebra implies that R is a product of pq linear polynomials. If one defines the multiplicity of a common zero of P and Q as the number of occurrences of the corresponding factor in the product, Bézout's theorem is thus proved.

For proving that the intersection multiplicity that has just been defined equals the definition in terms of a deformation, it suffices to remark that the resultant and thus its linear factors are continuous functions of the coefficients of P and Q.

Proving the equality with other definitions of intersection multiplicities relies on the technicalities of these definitions and is therefore outside the scope of this article.

Using U-resultant

In the early 20th century, Francis Sowerby Macaulay introduced the multivariate resultant (also known as Macaulay's resultant) of n homogeneous polynomials in n indeterminates, which is generalization of the usual resultant of two polynomials. Macaulay's resultant is a polynomial function of the coefficients of n homogeneous polynomials that is zero if and only the polynomials have a nontrivial (that is some component is nonzero) common zero in an algebraically closed field containing the coefficients.

The U-resultant is a particular instance of Macaulay's resultant, introduced also by Macaulay. Given n homogeneous polynomials ${\displaystyle f_{1},\ldots ,f_{n}}$ in n + 1 indeterminates ${\displaystyle x_{0},\ldots ,x_{n},}$ the U-resultant is the resultant of ${\displaystyle f_{1},\ldots ,f_{n},}$ and ${\displaystyle U_{0}x_{0}+\cdots +U_{n}x_{n},}$ where the coefficients ${\displaystyle U_{0},\ldots ,U_{n}}$ are auxiliary indeterminates. The U-resultant is a homogeneous polynomial in ${\displaystyle U_{0},\ldots ,U_{n},}$ whose degree is the product of the degrees of the ${\displaystyle f_{i}.}$

Although a multivariate polynomial is generally irreducible, the U-resultant can be factorized into linear (in the ${\displaystyle U_{i}}$) polynomials over an algebraically closed field containing the coefficients of the ${\displaystyle f_{i}.}$ These linear factors correspond to the common zeros of the ${\displaystyle f_{i}}$ in the following way: to each common zero ${\displaystyle (\alpha _{0},\ldots ,\alpha _{n})}$ corresponds a linear factor ${\displaystyle (\alpha _{0}U_{0}+\cdots +\alpha _{n}U_{n}),}$ and conversely.

This proves Bézout's theorem, if the multiplicity of a common zero is defined as the multiplicity of the corresponding linear factor of the U-resultant. As for the preceding proof, the equality of this multiplicity with the definition by deformation results from the continuity of the U-resultant as a function of the coefficients of the ${\displaystyle f_{i}.}$

This proof of Bézout's theorem seems the oldest proof that satisfies the modern criteria of rigor.

Using the degree of an ideal

Bézout's theorem can be proved by recurrence on the number of polynomials by using the following theorem.

Let V be a projective algebraic set of dimension ${\displaystyle \delta }$ and degree ${\displaystyle d_{1}}$, and H be a hypersurface (defined by a single polynomial) of degree ${\displaystyle d_{2}}$, that does not contain any irreducible component of V; under these hypotheses, the intersection of V and H has dimension ${\displaystyle \delta -1}$ and degree ${\displaystyle d_{1}d_{2}.}$

For a (sketched) proof using Hilbert series, see Hilbert series and Hilbert polynomial § Degree of a projective variety and Bézout's theorem.

Beside allowing a conceptually simple proof of Bézout's theorem, this theorem is fundamental for intersection theory, since this theory is essentially devoted to the study of intersection multiplicities when the hypotheses of the above theorem do not apply.