Teorema de Bézout
# Teorema de Bézout

El teorema de Bezout, atribuido a Étienne Bézout afirma que dos curvas algebraicas proyectivas planas $C,D$ de grados m y n, definidas sobre un cuerpo algebraicamente cerrado $k$ y sin componente irreductible común, tienen exactamente mn puntos de intersección contados con su multiplicidad.
La forma débil del teorema dice que el número de intersecciones (sin tener en cuenta las multiplicidades) está acotado por $mn$. Es decir, si $F,G$ son dos polinomios homogéneos con coeficientes en $k$ (con $C=V_{+}(F)$ y $D=V_{+}(G)$) de grados respectivos $m,n$ y sin ningún factor común, entonces el sistema
$F(x,y,z)=0,\ G(x,y,z)=0$
admite a lo más $mn$ soluciones en el plano proyectivo $P^{2}(k)$.

# Teorema de Bézout
## Historia

El principio de que una curva con grado n se interseca con una de grado m en nm puntos fue supuesto verdadera por varios matemáticos. El primero en haberlo enunciado parece haber sido Isaac Newton en 1665 en The geometrical construction of equations.
En la geometría de Descartes, el cálculo de la tangente de una curva o, equivalentemente, de la recta normal en un punto, se hace mediante la búsqueda de la circunferencia osculatriz en ese punto. El método descrito por Descartes consiste en escribir la ecuación de los círculos que pasan por el punto de la curva y en buscar el de los círculos que no tienen más que un punto de intersección único con la curva.
Desde el comienzo del siglo XVIII, la investigación del número de puntos de intersección de dos curvas planas de ecuaciones cartesianas implícitas $P(x,y)=0$, $Q(x,y)=0$ donde P, Q son dos polinomios de grados respectivos m, n se hace por el método de eliminación de una de las dos variables.
Desde 1720 Maclaurin conjeturó que «en général, le nombre de points d'intersection est égal à $m\times n$». Léonard Euler examinó la cuestión en algunos casos particulares, pero no consiguió hacer entrar el caso de raíces múltiples en una demostración general. Étienne Bézout fue el primero en demostrar (1764) el enunciado en el cao donde sólo hay raíces simples.
Los matemáticos que fracasaron fue por el problema de no encontrar un método para contar "puntos en el infinito" (recuérdese que el teorema es válido en el plano proyectivo, no en el plano euclídeo).
Un correcto enunciado del teorema de Bezout, con una prueba rigurosa, no se halla hasta pasado la mitad del siglo XIX. Aparentemente, el primero que encontró una buena manera de contar raíces con multiplicidades fue Halphen en 1873.

# Teorema de Bézout
## Enunciado

Si C y D son curvas algebraicas y $P\in C\cap D$, el número de intersección entre C y D en P es intuitivamente la cantidad de derivadas en las que coinciden ambas curvas en ese punto. Por ejemplo, si las tangentes de C y D en P no coinciden entonces $I_{P}(C,D)=1$, si las tangentes coinciden entonces $I_{P}(C,D)\geq 2$.
Decimos que dos curvas C y D no tienen factores en común si el máximo común divisor entre los polinomios que definen a las curvas es 1.
Los puntos de la intersección son en el plano proyectivo.