Let for a nonzero homogeneous linear polynomial . Because does not contain , the restriction is a nonzero section of . Its zero divisor is the hyperplane-section divisor of a projective plane curve
where is the local intersection multiplicity; equivalently, it is the order of vanishing of at .
The curves and have no common component and have degrees and . The Bézout theorem therefore gives

Articles by others on the same topic (0)

There are currently no matching articles.