MathLabs
TheoremProved

Bézout's Theorem

Statement

Let C1C_1 and C2C_2 be two projective plane curves in P2(k)\mathbb{P}^2(k) over an algebraically closed field kk, of degrees deg⁡(C1)\deg(C_1) and deg⁡(C2)\deg(C_2), sharing no common irreducible component. Counted with intersection multiplicity, they meet in exactly ∣C1∩C2∣=deg⁡(C1)⋅deg⁡(C2)\left| C_1 \cap C_2 \right| = \deg(C_1) \cdot \deg(C_2) points.

Why is it true?

In the ordinary real plane, two curves can miss each other when roots become complex or when intersection points escape to infinity. Working over an algebraically closed field kk in projective space P2(k)\mathbb{P}^2(k) and counting tangencies with their natural algebraic multiplicity restores complete uniformity: the intersection count depends only on the degrees deg⁡(C1)\deg(C_1) and deg⁡(C2)\deg(C_2).

Proof sketch

Let F(x,y,z)F(x,y,z) and G(x,y,z)G(x,y,z) be the homogeneous polynomials of degrees d1=deg⁡(C1)d_1 = \deg(C_1) and d2=deg⁡(C2)d_2 = \deg(C_2) defining C1C_1 and C2C_2. Choose projective coordinates so that the point [0:1:0][0:1:0] lies on neither curve and so that no two intersection points share the same [x:z][x:z]-line through [0:1:0][0:1:0].

Regard FF and GG as polynomials in the single variable yy with coefficients that are homogeneous polynomials in (x,z)(x,z). Their Sylvester resultant R(x,z)=Res⁡y(F,G)R(x,z) = \operatorname{Res}_y(F, G) is a nonzero homogeneous polynomial in (x,z)(x,z) (nonzero because FF and GG share no common factor), and homogeneity calculation on the Sylvester matrix shows that R(x,z)R(x,z) has degree exactly d1d2d_1 d_2.

Over the algebraically closed field kk, any homogeneous polynomial in two variables of degree d1d2d_1 d_2 factors completely into d1d2d_1 d_2 linear forms, counted with multiplicity. Each linear factor corresponds to a line through [0:1:0][0:1:0] containing a common zero of FF and GG, and the multiplicity of the factor matches the local intersection multiplicity dim⁡kOP(C1∩C2)\dim_k \mathcal{O}_{P}(C_1 \cap C_2) at that point, giving the total ∣C1∩C2∣=deg⁡(C1)⋅deg⁡(C2)\left| C_1 \cap C_2 \right| = \deg(C_1) \cdot \deg(C_2).

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Robin Hartshorne (1977). Algebraic Geometry (Graduate Texts in Mathematics, Vol. 52) · DOI:10.1007/978-1-4757-3849-0
  2. David Mumford (1999). The Red Book of Varieties and Schemes (Lecture Notes in Mathematics, Vol. 1358) · DOI:10.1007/b62130