Bézout's Theorem
Statement
Let and be two projective plane curves in over an algebraically closed field , of degrees and , sharing no common irreducible component. Counted with intersection multiplicity, they meet in exactly 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 in projective space and counting tangencies with their natural algebraic multiplicity restores complete uniformity: the intersection count depends only on the degrees and .
Proof sketch
Let and be the homogeneous polynomials of degrees and defining and . Choose projective coordinates so that the point lies on neither curve and so that no two intersection points share the same -line through .
Regard and as polynomials in the single variable with coefficients that are homogeneous polynomials in . Their Sylvester resultant is a nonzero homogeneous polynomial in (nonzero because and share no common factor), and homogeneity calculation on the Sylvester matrix shows that has degree exactly .
Over the algebraically closed field , any homogeneous polynomial in two variables of degree factors completely into linear forms, counted with multiplicity. Each linear factor corresponds to a line through containing a common zero of and , and the multiplicity of the factor matches the local intersection multiplicity at that point, giving the total .
Topics that use this theorem
Step-by-step proofs
No step-by-step proof yet for this theorem.
References
- Robin Hartshorne (1977). Algebraic Geometry (Graduate Texts in Mathematics, Vol. 52) · DOI:10.1007/978-1-4757-3849-0
- David Mumford (1999). The Red Book of Varieties and Schemes (Lecture Notes in Mathematics, Vol. 1358) · DOI:10.1007/b62130