Bézout's Theorem
Theorem
Let $X$ and $Y$ be two plane projective curves defined over a field $F$ that do not have a common component.
(This condition is true if both $X$ and $Y$ are defined by different irreducible polynomials. In particular, it holds for a pair of "generic" curves.)
Link to a proof of the above, and (preferably) move this statement to the proof itself.
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
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$.
Proof
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.
When this page/section has been completed, {{ProofWanted}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Source of Name
This entry was named for Étienne Bézout.
Historical Note
Bézout's Theorem was originally published in $1779$ by Étienne Bézout in his Théorie Générale des Équations Algébriques.
Sources
- 1779: Étienne Bézout: Théorie Générale des Équations Algébriques
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): Entry: Bézout's Theorem
