EL TEOREMA DE BEZOUT Y SUS

APLICACIONES
Resumen
ndice general
Introduccin 2
1. Preliminares 3
2. Interseccin de Curvas Planas 4
2.1. Curva Algebraica Plana . . . . . . . . . . . . . . . . . . . . . 4
2.2. Cambio de coordenadas . . . . . . . . . . . . . . . . . . . . . 7
2.3. Finitud de la interseccin . . . . . . . . . . . . . . . . . . . . . 7
2.4. La Resultante . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.5. Grado de la resultante . . . . . . . . . . . . . . . . . . . . . . 12
2.6. El teorema de los ceros . . . . . . . . . . . . . . . . . . . . . . 16
3. Multiplicidades 19
3.1. Interseccin de una curva con una recta . . . . . . . . . . . . . 19
3.2. Puntos mltiplos . . . . . . . . . . . . . . . . . . . . . . . . . 22
3.3. Diagrama de Newton . . . . . . . . . . . . . . . . . . . . . . . 26
1
Introduccin
2
Captulo 1
Preliminares
3
Captulo 2
Interseccin de Curvas Planas
Nuestro punto de partida son las curvas usualmente estudiadas en la
geometra elemental, tales como rectas, cnicas, etc. Pasamos enseguida a
una revisin crtica del concepto de curva algebraica, como tambin sus in-
tersecciones con otras curvas.
2.1. Curva Algebraica Plana
Denicin 2.1 Una curva algebraica plana es el lugar geomtrico de pun-
tos, cuyas coordenadas cartesianas satisfacen una ecuacin del tipo:
,(A. 1 ) = 0
donde , 1[A. 1 ] es un polinomio no constante y 1 es un campo
algebricamente cerrado.
Ejemplo 2.1 La /ij c:/o|c, lugar de los puntos cuyas distancias a dos pun-
tos jos, llamados focos, tienen diferencia constante 2c. Colocando los focos
en (c. 0), la diferencia de las distancias se expresa como:
_
(A c)
2
+ 1
2

_
(A + c)
2
+ 1
2
; 2c.
eliminando radicales y desarrollando obtenemos la siguiente ecuacin
A
2
c
2

1
2
/
2
= 1. /
2
= c
2
+ c
2
.
Ejemplo 2.2 La ci: oidc dc 1ioc|c:, lugar de la normales trazadas del vr-
tice de la parbola a sus tangentes. Dada la parbola de ecuacin A
2
= 4/1 ,
la tangente en un punto (r
0
.
0
) se escribe
2r
0
(A r
0
) = 4/ (1
0
) .
4
La recta tomada desde el origen (vrtice de la parbola) es
2/A + r
0
1 = 0.
La interseccin de esta recta con la tangente es dada por:
A =
r
3
0
8/
2
+ 2r
2
0
. 1 =
/r
2
0
4/
2
+ r
2
0
.
Sustituyendo r
0
= 2/A,1 y simplicando, resulta la ecuacin de la ciside,
/A
2
1
_
1
2
+ A
2
_
= 0.
Proposicin 2.1 Sea 1 un campo algebraicamente cerrado y sean ,. q
1[A. 1 ] polinomios no constantes con , irreducible, entonces:
_
(A. 1 ) 1
2
,(A. 1 ) = 0
_

_
(A. 1 ) 1
2
q(A. 1 ) = 0
_
= , [ q
Prueba. (=) Denotemos por i(,) = (A. 1 ) 1
2
,(A. 1 ) = 0 y
i(q) = (A. 1 ) 1
2
q(A. 1 ) = 0 . as supongamos que i(,) i(q)
mas , - q. luego sin prdida de generalidad , puede ser escrito como:
,(A. 1 ) =
a

i=0
,
i
(A)1
i
.
donde ,
i
1[A] con ,
a
,= 0 y : _ 1. Denotemos por = 1[A]. 1 =
(1 )(cuerpo de fracciones). asmismo, por el Lema de Gauss tenemos:
i) , irreducible en [1 ] es tambin irreducible en 1[1 ] .
ii) , - q en [1 ] entonces , - q en 1[1 ]
por tanto :cd(,. q) = 1. como 1[1 ] es un dominio principal, implica
que,
c. , 1[1 ] tal que,
c, + ,q = 1 (+)
y c. / [1 ]. y c tal que
c =
c(A. 1 )
c(A)
, =
/(A. 1 )
c(A)
5
luego reescribiendo (+) como
c(A. 1 ),(A. 1 ) + /(A. 1 )q(A. 1 ) = c(A) (++)
Sea r
0
1 tal que c(r
0
) ,= 0 y ,
a
(r
0
) ,= 0(esto es posible pues 1 es
innito), luego tomemos
0
1 tal que ,(r
0
.
0
) = 0 (esto es posible pues
1 es algebraicamente cerrado) y como i(,) i(q) sigue q(r
0
.
0
) = 0. as
tomando (A. 1 ) = (r
0
.
0
). en (++) obtenemos c(r
0
) = 0 contradiciendo a la
eleccin de r
0
. Por tanto , [ q.
(=) Desde que , [ q. / 1[A. 1 ] tal que
q = ,/
tomando (A. 1 ) = (r. ) 1
2
tal que ,(r. ) = 0. sigue que q(r. ) = 0
luego i(,) i(q).
Tomando la demostracin anloga de la proposicin anterior tenemos el
siguiente resultado:
Proposicin 2.2 Sea 1 un campo algebraicamente cerrado y sean ,. q
1[A. 1 ] polinomios no constantes, entonces
_
(A. 1 ) 1
2
,(A. 1 ) = 0
_
=
_
(A. 1 ) 1
2
q(A. 1 ) = 0
_
= , y q
tienen los mismos factores irreducibles.
Prueba. Reescribiendo la proposicin tenemos:
(A. 1 ) 1
2
,(A. 1 ) = 0 (A. 1 ) 1
2
q(A. 1 ) = 0 = , [ q (i)
y
(A. 1 ) 1
2
q(A. 1 ) = 0 (A. 1 ) 1
2
,(A. 1 ) = 0 = q [ , (ii)
ahora (i),(ii) resultan de la proposicin anterior.
Deducimos de la proposicin anterior que una curva algebraica, da-
da como el lugar de las soluciones de una ecuacin polinomial no constante
,(A. 1 ) = 0. determina (a menos de factor constante) una ecuacin de grado
mnimo: tomar el producto de los factores irreducibles de , distintos. Este
hecho nos lleva a sustituir la denicin 1.1 por la siguiente, dnde escencial-
mente pasamos a identicar "cn:c" con su ecuacin.
Denicin 2.2 Una cn:c c|qc/:cicc c,:: (o ms abreviadamente cn:c)
es una clase de equivalencia del conjunto de polinomios no constantes en
1[A. 1 ] mdulo la relacin denida por:
,. q 1[A. 1 ] . , ~ q = : 1

= 1 0. tal que , = :q
6
Notacin 2.1 El grado de la curva , es el grado del polinomio , y ser
denotado por d
0
,.
Las componentes irreducibles de una curva , son las componentes ir-
reducibles del polinomio , es decir:
, = ,
n
1
1
,
n
2
2
...,
n
r
v
.
La multiplicidad de la componente ,
i
en la curva , es :
i
.
2.2. Cambio de coordenadas
Las propiedades de curvas planas que estudiaremos son aquellas que no
dependen del sistema de coordenadas.
Denicin 2.3 Un referencial o sistema de coordenadas afn en el plano 1
2
consiste en la eleccin de un punto C 1
2
, llamado origen del referencial,
y de una base
1
.
2
del espacio vectorial 1
2
. El refencial cannico es dado
por
C = (0. 0) .
1
= (1. 0) .
2
= (0. 1) .
El vector coordenadas de un punto 1 1
2
en relacin a un refencial
1 = C.
1
.
2

es un par ordenado (1)

1
= (r
1
. r
2
) 1
2
tal que
1 = C + r
1

1
+ r
2

2
.
2.3. Finitud de la interseccin
Lema 2.1 Sean ,. q 1[A. 1 ] polinomios sin factores irreducibles en
comn. Entonces existe una relacin
c, + /q = c(A)
donde c. / 1[A. 1 ] y c 1[A].
Prueba. Denotemos por = 1[A] y 1 = 1(A). y consideremos ,. q
1[1 ]. desde que , y q no tienen factor comn en [1 ] , tambin no tienen
en 1[1 ] (por el lema de Gauss), sigue entonces que :cd(,. q) = 1, as,
:. : 1[1 ] tal que
:, + :q = 1 (+)
7
luego c. / [1 ] c tal que
: =
c(A. 1 )
c(A)
y : =
/(A. 1 )
c(A)
reemplazando :. : en (+) tenemos
c(A. 1 ),(A. 1 ) + /(A. 1 )q(A. 1 ) = c(A).
Si , 1 [A] es un polinomio no constante, sabemos que la ecuacin
, (A) = 0 admite en mximo, un nmero nito de soluciones. El prximo
resultado es una versin de este hecho para polinomios en dos variables.
Proposicin 2.3 La interseccin de dos curvas algebraicas planas ,. q sin
componentes en comn es nita.
Prueba. Sean ,. q 1[A. 1 ], usando el lema anterior tenemos las relaciones
c(A. 1 ),(A. 1 ) + /(A. 1 )q(A. 1 ) = c(A).
n(A. 1 ),(A. 1 ) + (A. 1 )q(A. 1 ) = n(A).
donde c. /. n. 1[A. 1 ], c 1[A] y n 1[1 ], si j = (r
0,

0
) , q.
sigue que c(r
0
) = 0 = n(
0
) y desde que c(A) ,= 0 ,= n(1 ), tenemos un
nmero nito de posibilidades para r
0
y
0
.As la interseccin de las curvas
,. q es nita.
2.4. La Resultante
Denicin 2.4 Sea un anillo conmutativo ( = 1[A]), y sean
, = c
o
1
o
+ c
o1
1
o1
+ ... + c
1
1 + c
0
. (d _ 1);
q = /
c
1
c
+ /
c1
1
c1
+ ... + /
1
1 + /
0
. (c _ 1);
polinomios con coecientes en . Denimos la :c:n|tc:tc de ,. q como :
1
),j
=

c
o
c
o1
... c
0
c
o
c
o1
... c
0
... ... ...
c
o
... c
0
/
c
/
c1
... /
0
/
c
/
c1
... /
0
... ... ...
/
c
... /
0

8
es decir 1
),j
es la determinante de una matriz de orden (d+c)r(d+c).
Siendo que existen c las de c
i
/: y existen d las de /
)
/:. y las las son
complementadas con ceros.
La resultante entre un polinomio , (A) y su derivada ,
0
(A) (cuando
,
0
(A) no es una constante), es llamada discriminante de ,.
Ejemplo 2.3 Sea , (A) = A
3
+ c
2
A + c
3
C[A] .Vamos a calcular la
discriminante de , (A).Tenemos
, (A) = A
3
+ 0A
2
+ c
2
A + c
3
.
,
0
(A) = 3A
2
+ 0A + c
2
.
Luego la resultante es
1
),)
0 =

1 0 c
2
c
3
0
0 1 0 c
2
c
3
3 0 c
2
0 0
0 3 0 c
2
0
0 0 3 0 c
2

= 4c
3
2
+ 27c
2
3
Ejemplo 2.4 Sean , = 1
2
+ A
2
4, q = A1 1.Luego la resultante de
ambas curvas es
1(A) =

1 0 A
2
4
A 1 0
0 A 1

= A
4
4A
2
+ 1.
Note que este proceso de hallar la resultante coincide con un proceso
natural de resolver el siguiente sistema
_
1
2
+ A
2
= 4.
A1 = 1.
Es decir sustituir 1 = 1A en la primera ecuacin, as tenemos
A
4
4A
2
+ 1 = 0.
es decir, las intersecciones del crculo con la hiprbola tienen por abscisas
a las soluciones de sta ltima ecuacin.
9
Proposicin 2.4 Sean ,. q 1[A. 1 ]
, = c
o
(A)1
o
+ c
o1
(A)1
o1
+ ... + c
1
(A)1 + c
0
(A)
q = /
c
(A)1
c
+ /
c1
(A)1
c1
+ ... + /
1
(A)1 + /
0
(A).
donde los c
i
. /
)
son polinomios en variable A con coecientes en 1, entonces
para cada r tenemos:
1
),j
(A) = 0 =
_
_
_
c
o
(r) = /
c
(r) = 0
o
,(r. 1 ). q(r.1 ) admiten factor comn no constante
.
Prueba. (=) Tomando r 1 , tenemos que la resultante de ,(r. 1 ). q(r.1 )
es 1
),j
(r), y desde que 1 es algebraicamente cerrado ,(r. 1 ). q(r.1 ) ad-
miten una raz comn , luego tienen un factor comn no constante 1 .As
el teorema resultar del siguiente lema.
Lema 2.2 Sean
, = c
o
1
o
+ c
o1
1
o1
+ ... + c
1
1 + c
0
.
q = /
c
1
c
+ /
c1
1
c1
+ ... + /
1
1 + /
0
.
polinomios con coeentes en un dominio de factorizacin nica. Entonces
1
),j
= 0 =
_
_
_
c
o
= /
c
= 0
o
,. q admiten factor comn no constante
Prueba. (=) Si c
o
= /
c
= 0 se cumple que 1
),j
= 0 .
Ahora supongamos que c es una raz comn de , y q, as existen poli-
nomios j y de grados d 1 y c 1 respectivamente, tal que
, (1 ) = (1 c) j (1 ) y q (1 ) = (1 c) (1 )
luego tenemos
, qj = 0
(+)
As escribamos j. de la siguiente manera
j = n
o1
1
o1
+ ... + n
1
1 + n
0
.
=
c1
1
c1
+ ... +
1
1 +
0
.
10
ahora, la ecuacin (1) es equivalente a un sistema de ecuaciones en las
variables n
i
.
)
. que se obtiene comparando coecientes, es decir
c
o

0
= /
c
n
0
c
o1

0
+ c
o

1
= /
c1
n
0
+ /
c
n
1
.
.
.
c
oi

0
+ c
oi+1

1
+ ... + c
oi+c1

c1
= /
ci
n
0
+ /
ci+1
n
1
+ ... + /
ci+o1
n
o1
.
.
.
c
0

c1
= /
0
n
o1
con c
n
= /
a
= 0 si :. : < 0 : d. : c.
El sistema arriba es equivalente a
_

_
c
o
0 ... 0 /
c
0 ...
c
o1
c
o
0 /
c1
/
c
...
.
.
. c
o1
.
.
.
.
.
. /
c1
...
c
0
.
.
.
.
.
. /
0
.
.
. ...
0 c
0
0 /
0
...
.
.
.
.
.
.
.
.
.
.
.
.
...
0 ... 0 ...
_

_
. .

0
.
.
.

c1
n
0
.
.
.
.
.
.
n
o1
_

_
=
_

_
0
.
.
.
0
0
.
.
.
.
.
.
0
_

_
Luego det(
T
) = 1
),j
. y por algebra lineal, ste sistema tiene solucin
no trivial si y slo si la determinante de la matrz de los coecientes es cero,
el cual coincide con 1
),j
.
Recprocamente, supongamos que 1
),j
= 0 pero ni c
0
ni /
0
es cero. Ahora
desde que el determinante de la matriz es cero, podemos resolver el sistema
de ecuaciones lineales hallando polinomios j y satisfaciendo (+) .
Si c es una raz de ,, entonces es raz de j q.Y como d
0
j < d
0
,.
eventualmente hallar una raz de , que no es de j, es raz de q, as , y q
tiene un factor comn.
Retornando al problema de la interseccin de dos curvas ,. q observe que
1
),j
es idnticamente nulo si y slo si ,. q tiene componentes en comn, tal
es el caso en que , q no es nita.
Ahora cuando la interseccin es nita, podemos estimar el nmero de
puntos contando el nmero de sus abscisas, el cual es limitado por el grado
de la resultante 1(A) .
Ejemplo 2.5 Sean
, = A
2
+ 1
2
2A. q = 1
2
A
11
la resultante jando 1 esta dada por
1(A) =

1 0 A
2
2A 0
0 1 0 A
2
2A
1 0 A 0
0 1 0 A

= A
2
(A 1)
2
Podemos ver que existen dos puntos de interseccin cada una de multi-
plicidd dos.
2.5. Grado de la resultante
Es conveniente introducir el concepto de di:ccci o: c:i:t oticc de una cur-
va ,. Intuitivamente, se trata de una direccin lmite de rectas C1. donde
el punto 1 recorre , alejndose indenidamente del origen C.
Denicin 2.5 Sea , una curva denida como
, = ,
0
+ ,
1
+ ,
2
+ ... + ,
o1
+ ,
o
.
donde cada ,
i
es homogneo de grado i. y ,
o
=

o
i=1
(c
i
A + /
i
1 ) ,=
0.Cada componente cA + /1 de ,
o
es una direccin asinttica de ,.
Ejemplo 2.6 , = 1 A1 tiene las direcciones asintticas A y 1. En
efecto, , se puede descomponer como
, = 1 (A + 01 )(0A + 1 ).
Ejemplo 2.7 , = 1
2
A tiene apenas la direccin asinttica 1.pues ,
puede ser expresado como
, = (1 0) (1 0) A.
12
Note que aqu la direccin asinttica no es asntota, en el sentido de la
Geometra Anltica elemental.
Proposicin 2.5 El grado de la :c:n|tc:tc dc do: cn:c: :i: di:ccci o:
c:i:t oticc c: co: n: es igual al producto de los grados. Es decir :
d
0
1
),j
= (d
0
,)(d
0
q).
La :c:n|tc:tc aqu, es tomada atribuyndose a , y q sus grados efectivos
con respecto a la variable 1.
Prueba. Cada polinomio , puede ser expresado como
, = ,
0
+ ,
1
+ ... + ,
o
con ,
i
homogneo de grado i y ,
o
,= 0. Escribamos
,

(A. 1. 2) = 2
o
,
0
+ 2
o1
,
1
+ ... + 2,
o1
+ ,
o
.
donde 2 es una nueva variable(independiente de A. 1 ). Observemos que
,

es un polinomio de grado d = d
0
,. y evidentemente tenemos ,

(A. 1. 1) =
,(A. 1 ). Reescriendo ,

. q

en la forma
,

=
0
1
o
+
1
1
o1
+ ... +
o1
1 +
o
.
q

= 1
0
1
c
+ 1
1
1
c1
+ ... + 1
c1
1 + 1
c
.
donde
i
. 1
)
1[A. 2] son homogneas y d
0

i
= i. d
0
1
)
= ,.Ahora
calculemos la resultante
1(A. 2) = 1
)

,j
=

0
...
o
... ... ...

0
...
o
1
0
... 1
c
... ... ...
1
0
... 1
c

(i)
Lema 2.3 El polinomio 1(A. 2) denido en (i) es homogneo de grado d c
si no fuera identicamente nulo.
Prueba. En general, un polinomio no nulo j(A
1
. A
2
. .... A
a
) en : variables
es homogneo de grado : si y slo si se cumple la identidad
j(1A
1
. 1A
2
. .... 1A
a
) = 1
n
j(A
1
. A
2
. .... A
a
) en 1[A
1
. A
2
. ... A
a
. 1].
13
donde 1 es una nueva variable independiente. En efecto, siendo j homog-
neo es inmediato que cumple la identidad. Reciprocamente, supongamos que
es vlida la propiedad, y expresemos j como
j = j
0
+ j
1
+ ... + j
v
.
donde el lado derecho es la suma de polinomios homogneos con d
0
j
i
=
i. j
v
,= 0.Tomando A = (A
1
. A
2
. ... A
a
). tenemos
j(1A) = j
0
+ 1j
1
+ ... + 1
v
j
v
= 1
n
j(A)
donde por la denicin de polinomios sigue que : = : y j = j
n
. As,
continuando con la demostracin del lema, mostraremos ahora que
1(1A. 11 ) = 1
oc
1(A. 2) c:1[A. 2. 1].
luego
1(1A. 12) =

0
1
1
... 1
o

o
0
0
... 1
o1

o1
1
o

o
.
.
.
.
.
.
.
.
.
.
.
.
1
0
11
1
...
.
.
.
.
.
. 1
c
1
c

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

multiplicamos ahora la segunda la por 1, la tercera por 1

2
. .... la c-sima
por 1
c1
. la segunda la de 1: por 1, la ltima por 1
o1
. Es decir
_

0
1
1
... 1
o

o
10
0
... 1
o

o1
1
o+1

o
.
.
.
.
.
.
.
.
.
.
.
.
1
0
11
1
...
.
.
.
.
.
. 1
c
1
c

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
_

_
Resulta de ah que la 2
oo
columna es divisible por 1. la 3
vo
por 1
2
. ctc.
Obtenemos
1
.
1(1A. 12) = 1
A
1(A. 2).
donde ` = (1 +... +c 1) +(1 +... +d1). ` = 1 +2 +... +d+c 1
luego,
` ` =
(d + c)(d + c 1)
2

c(c 1)
2

d(d 1)
2
= d c.
14
Completando la demostracin de la proposicin anterior vamos a com-
parar 1(A. 2) con 1(A), luego es evidente que 1(A. 1) es la resultante de
,. q con d
0
, = d y d
0
q = c. Como , y q no tienen direcciones asintticas en
comn,supongamos
0
,= 0 entonces 1(A) ,= 0 sigue que 1(A. 1) ,= 0. Y
desde que d
0
1(1A. 12) = d c sigue
d
0
1(A. 2) = d
0
1(A. 1) = d
0
1(A) = d c
a menos que 1(A. 2) sea un mltiplo de 2. Y si fuera el caso, tendramos
entonces 1(1. 0) = 0 y ,

(1. . 0) = q

(1. . 0) para algn . donde ,

o
(1. ) =
q
c
(1. ) = 0 de aqu que , y q admitirian una direccin asinttica A 1.
lo cual contradice la hiptesis. Por tanto
d
0
1
),j
= (d
0
,)(d
0
q).
Teorema 2.1 (Bezout) Sea 1 un campo algebraicamente cerrado, y sean
,. q polinomio en 1[A. 1 ] de grados d,c respectivamente. Si ,,q no tienen
factores en comun en 1[A. 1 ], entonces
#(, q) = d c
contando con multiplicidades.
Prueba. Desde que ,. q no admiten factores en comn, la interseccin de
ambas curvas es nita.
Como 1 es un campo innito, existe c 1 tal que denamos el siguiente
homomorsmo lineal
,
c
: 1
2
1
2
(A. 1 ) (A. 1 + cA)
luego ste mismo homomorsmo lleva los puntos de las curvas , y q en
los puntos de las curvas ,
1
y q
1
. es decir
,
c
: \ (,) \ (,
1
)
,
c
: \ (q) \ (q
1
)
donde
,
1
(A. 1 ) : = ,(A. 1 + cA).
q
1
(A. 1 ) : = q(A. 1 + cA).
15
Notemos que d
0
,
1
= d
0
, = d y d
0
q
1
= d
0
q = c. en efecto;
Sea
, = c
0
(1 ) A
o
+ c
1
(1 ) A
o1
+ ... + c
o
(1 ) . c
0
,= 0.
q = /
0
(1 ) A
c
+ /
1
(1 ) A
c1
+ ... + /
c
(1 ) . /
0
,= 0.
donde para todo i,c
i
1 [1 ],d
0
c
i
= i. y para todo ,,/
)
1 [1 ],d
0
/
)
=
,.Luego escribimos
c
i
(1 ) = c
i
1
i
+ (trminos de grado menor) . para 0 _ i _ d.
/
)
(1 ) = d
)
1
)
+ (trminos de grado menor) . para 0 _ , _ c.
As tenemos
,
1
(A. 1 ) = ,(A. 1 + cA) = c
0
(1 + cA) A
o
+ ... + c
o
(1 + cA) .
q
1
(A. 1 ) = q(A. 1 + cA) = /
0
(1 + cA) A
c
+ ... + /
c
(1 + cA) .
de aqu que d
0
,
1
= d
0
, = d y d
0
q
1
= d
0
q = c.
Luego sea
,
1
(A. 1 ) = n
0
A
o
+ n
1
(1 ) A
o1
+ ... + n
o
(1 ) . n
0
,= 0.
q
1
(A. 1 ) =
0
A
c
+
1
(1 ) A
c1
+ ... +
c
(1 ) .
0
,= 0.
donde c
i
. /
)
1 [1 ] para todo i. ,. Consideremos la resultante de ,
1
. q
1
es
decir 1
)
1
,j
1
(1 ) .
As tenemos
#, q = #,
1
q
1

= # 1. ,
1
(A. ) y q
1
(A. ) tienen una raz comn en 1
= # 1. ,
1
(A. ) y q
1
(A. ) tienen un factor comn en 1[A]
= #
_
1. 1
)
1
(A,j),j
1
(A,j)
= 0
_
= d
0
1
)
1
,j
1
= d
0
1
),j
= d c
2.6. El teorema de los ceros
Finalizamos este captulo discutiendo una versin particular del clebre
`n||:tc||c::ct. de Hilbert.Se trata de aclarar en qu condiciones un sistema
de ecuaciones polinomiales admite solucin.
16
Teorema 2.2 Sea 1 _ 1 campos donde 1 es algebraicamente cerrado ,en-
tonces,
si 1 ,= 1[A
1,...
. A
a
] es un ideal propio de 1[A
1
. ... A
a
]. entonces
(A
1,...
. A
a
) 1
a
,(A
1,...,
A
a
) = 0. \, 1 , = O.
Prueba. Sea 1 _ ` _ 1[A
1
. ... A
a
] un ideal maximal conteniendo 1. luego
tenemos que 1
0
= 1[A
1
. ... A
a
]` es un campo generado por : elementos

i
= A
i
+`. i = 1. .... :.sigue que (1
0
. 1) es una extensin algebraica. Sea
j un homomorsmo inyectivo denido por
j: 1 1
luego podemos extender a un homomorsmo como en el diagrma
1
0
,
1
o
1
j
1
es claro que (,(
1
) . .... ,(
a
)) 1
a
es un elemento de \ (`) \ (1) .
donde
\ (`) = (A
1,...
. A
a
) 1
a
,(A
1,...,
A
a
) = 0. \, `.
\ (1) = (A
1,...
. A
a
) 1
a
,(A
1,...,
A
a
) = 0. \, 1.
En efecto tomemos , `
,(A
1,...,
A
a
) =

i
1;
...,i
n
c
i
1
,...,
c
i
n
A
i
1
1...
A
i
n
a
con coecientes c
i
1
,...,
c
i
n
1. Desde que , es un homomorsmo implica
que
, (,(
1
) . .... ,(
a
)) =

i
1;
...,i
n
c
i
1
,...,
c
i
n
,(
1
)
i
1
. .... ,(
a
)
i
n
= ,
_
_

i
1;
...,i
n
c
i
1
,...,
c
i
n

i
1
1
. ....
i
n
a
_
_
= ,
_
_

i
1;
...,i
n
c
i
1
,...,
c
i
n
A
i
1
1...
A
i
n
a
+ `
_
_
= ,(, + `)
= ,(`) = ,(0) = 0
17
por tanto
\ (`) \ (1) ,= O.
Teorema 2.3 Sea 1 un campo algebraicamente cerrado.Entonces los ideales
maximales del anillo de polinomios 1[A
1,...
. A
a
] son exactamente conjuntos
de la forma
A
1
c
1
. .... A
a
c
a
= , 1[A
1,...
. A
a
], (c
1
. .... c
a
) = 0 con c
1
. .... c
a
1.
Prueba. Como en la demostracin anterior, sea ` _ 1[A
1
. ... A
a
] un ide-
al mximal, luego 1
0
= 1[A
1
. ... A
a
]` = 1[
1
. ...
a
] es una extensin
algebraico de 1. Sea
j : 1 1
0
un homomorsmo inyectivo, desde que 1 es un campo algebraicamente
cerrado y no posee extensin algebraica propia, luego tenemos que 1
0
=
j (1) . as j es un isomorsmo.
Sea c
I
= j
1
(
I
), sigue que A
I
c
I
` para todo /, luego
A
1
c
1
. .... A
I
c
I
_ `. y como ` es un ideal maximal tenemos
A
1
c
1
. .... A
I
c
I
= `.
18
Captulo 3
Multiplicidades
La nocin de multiplicidad es clave en la teora de curvas algebraicas.
Histricamente, se orgina del simple hecho de que todo polinomio de grado
: en una variable admite : races, contando sus multiplicidades. Nuestro
objetivo es dar un sentido preciso a la idea de que una curva pase un cierto
nmero de veces por un mismo punto.
3.1. Interseccin de una curva con una recta
Sea , 1[A. 1 ] una curva, y sea | una recta de ecuacin 1 = cA + /.
Los puntos de , | pueden ser obtenidos eliminando 1 y resolviendo la
ecuacin
,
|
(A) : = , (A. cA + /) .
Y las posibilidades son:
(1) ,
|
(A) = 0. en el caso en que | es una componente de ,, esto es
, (A. 1 ) : = (1 cA /) q (A. 1 ) == ,
|
(A) = 0
(2) ,
|
(A) = d ,= 0.cuando , | = O.
(3) ,
|
(A) ,= d. luego se puede descomponer en la forma
,
|
(A) = c
v

i=1
(A r
i
)
n
i
.
donde c es una constante y los r
i
son las abscisas(dos a dos distintas) de
los puntos de la interseccin.
19
Lema 3.1 Los enteros :
i
son independientes del referencial afn.
Prueba. Denamos el epimorsmo(de sustitucin)
c: 1[A. 1 ] 1[A]
q q (A. cA + /)
armamos que ker c = |. donde | = 1 (cA + /) . en efecto
i) ker c |
Sea , = q| |. luego aplicando c. tenemos
c(,) = c(q|)
= c(q) c(|)
= q (A. cA + /) (cA + / cA /) = 0
sigue que , ker c
ii) ker c |
Sea , 1[A. 1 ] , armamos que , puede ser expresado como
, = q| . q 1[A. 1 ]
Usando el algoritmo de la divisin, tenemos
, = q| + : . d
0
: < d
0
| o : = 0
aplicando c tenemos
0 = c(,) = c(q|) + c(:)
= q (A. cA + /) (cA + / cA /) + c(:)
= c(:)
de ah que c(:) = 0. sigue que : = 0, luego tenemos
, = q| |
por tanto ker c = |.
Haciendo uso del primer teorema del isomorsmo tenemos el siguiente
diagrama
1[A. 1 ]

1[A]
o|
1[A. 1 ]|
20
de ah que , es un isomorsmo
c: 1 [A. 1 ]| 1[A]
/ c(q| + ,) = ,
|
(A)
visto que 1[A] es factorial, sigue que
c(/) = ,
|
(A) =
v

i=1
(A r
i
)
n
i
Ahora si 1 es una afnidad, este induce un isomorsmo
1

: 1[A. 1 ]| 1[A. 1 ]1

|
, +| 1

, +1

|
as vemos el siguiente diagrama
1[A. 1 ]|

1[A]
1

| (1
1

)
1[A. 1 ]1

|
entonces para q 1[A. 1 ]1

|
( (1
1

))(q) = (1
1

(q)) = (,) 1[A]

y desde 1[A] es factorial
(,) = ,
|
(A) =
v

i=1
(A r
i
)
n
i
de ah que :
i
no depende del referencial afn.
Denicin 3.1 La multiplicidad o ndice interseccin de |. , en el punto 1
es dada por
(|. ,)
1
=
_
_
_
0 si 1 , | ,
si 1 | ,
:
i
si 1 = (r
i
. cr
i
+ /)
si | ,.El entero
:
1
= d
0
,
v

i=1
:
i
se llama multiplicidad de interseccin de |. , en el punto impropio o
punto en el innito.
21
Ejemplo 3.1 Sean
, = 1 A
2
. | = 1 (cA + /)
Si c
2
+4/ ,= 0 . tenemos dos puntos de interseccin distintos. Si c
2
+4/ = 0.
tenemos un punto de interseccin de multiplicidad 2.
Ejemplo 3.2 Sean , = 1
2
A
2
(A + 1) y | = 1 cA.
En la grca abajo observamos que el origen absorve dos intersecciones.
Si c = 1 la multiplicidad en el origen es (|. ,)
O
= 3
3.2. Puntos mltiplos
En esta seccin presentaremos la nocin de multiplicidad de un punto
sobre una curva.
Proposicin 3.1 Sea , una curva y 1 un punto de ,. Existe un entero
: = :
1
(,) _ 1 tal que, para toda recta | pasando por 1 tenemos
(|. ,)
1
_ :
Prueba. Sin prdida de generalidad supongamos 1 = (0. 0). Escribamos
, = ,
n
+ ... + ,
o
con ,
i
homogneo de grado i para : _ i _ d. y ,
n
,= 0. Desde que 1 ,,
se tiene que : _ 1, luego supongamos que A - ,
n
.
Ahora desde que ,
i
es homogneo, ste puede ser expresado como
,
i
(A. 1 ) =
i

)=1
(c
)
A + /
)
1 ) para : _ i _ d.
22
luego
,
i
(0. 1 ) =
i

)=1
(/
)
1 ) para cada : _ i _ d.
= ,
i
(A. 1 ) para cada : _ i _ d.
= 1
i
i

)=1
/
)
para cada : _ i _ d.
= 1
i
,
i
(0. 1) para cada : _ i _ d.
entonces
,(0. 1 ) = 1
n
,
n
(0. 1) + ... + 1
o
,
o
(0. 1)
= 1
n
(,
n
(0. 1) + .. + 1
on
,
o
(0. 1)) ; ,
n
(0. 1) ,= 0
De ah vemos que (|. ,)
1
= :.Tomando las rectas que pasan por el origen
|
t
= 1 tA , y hallando la interseccin con ,, tenemos
,(A. tA)A
n
(,
n
(1. t) + ... + A
on
,
o
(1. t))
de aqu sigue que (|
t
. ,)
1
_ : y ocurre (|
t
. ,)
1
= : si y slo si ,
n
(1. t) ,=
0 ,y desde que A - ,
n
sigue que ,
n
(1. t) es un polinomio de grado d
0
,
n
=
:(_ 1) y que se anula para al menos un valor de t y un mximo : valores
de t distintos.
Ejemplo 3.3 Del ejemplo anterior tenemos que
(|. ,)
O
= 3 _ 2:
O
(,)
Denicin 3.2 El entero : = :
1
(,) descrito en la proposicin anterior es
la multiplicidad del punto 1 en la curva , o multiplicidad de , en 1.
Si 1 , ,. convencionamos :
1
(,) = 0.
Si 1 = (r. ) ,.escribimos ,(A r. 1 ) = ,
n
(A. 1 ) + (trminos
de grado :).
El polinomio homogneo ,
n
(A. 1 ) puede ser descompuesto de manera
nica,
,
n
=

(c
i
A + /
i
1 )
c
i
donde los factores lineales c
i
A + /
i
1 son rectas distintas. Las rectas
|
i
= c
i
(A r) +/
i
(1 ) son las :cctc: tc:qc:tc: de , en 1. El exponente
c
i
es la multiplicidad de la tangente |
i
.
23
Denicin 3.3 Se dice que un punto 1 , es |i:o(:o :i:qn|c: o :i:j|c)
si :
1
(,) = 1 .Luego 1 ser un punto :i:qn|c: si :
1
(,) = : _ 2. Un punto
1 es o:di:c:io si , admite : tangentes distintas en 1. Una c n:jidc es un
punto duplo con tangentes coincidentes. Un punto es :odo si es un punto
duplo ordinario.
Ejemplo 3.4 La lemniscata cuya ecuacin es dada por
(A
2
+ 1
2
)
2
= A
2
1
2
representa un :odo en el origen con tangentes 1 = A
Ejemplo 3.5 Rossea de tres ptalos cuya ecuacin es dada por
(A
2
+ 1
2
)
2
= 1
2
3A
2
1
En este caso el origen es un punto triplo ordinario.
Proposicin 3.2 (1)Un punto 1 es |i:o, si y slo si al menos una de sus
derivadas parciales ,
A
. ,
Y
no se anula en 1.
(2)Si 1 = (c. /) , es |i:o entonces la (nica) tangente a , en 1 es
dada por
,
A
(1)(A c) + ,
Y
(1)(1 /) = 0 .
Prueba. Las armaciones ocurren fcilmente de la frmula de Taylor,
,(A + c. 1 + /) = ,(c. /) + ,
A
(c. /)A + ,
Y
(c. /)1 + q(A. 1 ).
donde todos los trminos de q tienen grado _ 2.
Proposicin 3.3 Si , es una curva sin componentes mltiples, el conjunto
de los puntos :i:qn|c:c: de , es nito.
24
Prueba. Por la proposicin anterior el conjunto de los puntos :i:qn|c:c: es
dada por las ecuaciones
, = ,
A
= ,
Y
= 0
Ahora, al menos una de las derivadas parciales, digamos ,
A
no es iden-
ticamente nula; luego armamos que , = ,
A
= 0 admite slo un nmero
nito de soluciones. De lo contrario, por la proposicin(1.2.2).existira una
componente irreducible j comn a , y ,
A
lo cual es absurdo pues , no
posee componentes mltiples.
Proposicin 3.4 Sea , una curva sin componentes mltiples. Entonces para
cada 1 del plano, y cada recta | conteniendo 1. Entonces | corta , fuera de
1 en d
0
, :
1
(,) puntos distintos.
Prueba. Inicialmente supongamos que , es irreducible. Sin prdida de gen-
eralidad podemos suponer 1 = (0. 0). Pongamos : = :
1
(,). d
0
, = d y
escribamos , como
, = ,
n
+ ... + ,
o
donde ,
i
es homogneo de grado i para : _ i _ d y ,
n
,
o
,= 0.Sea 1 una
nueva variable, as denamos
q(A. 1) = A
n
,(A. 1A) = ,
n
(1. 1) + ... +
A
on
,
o
(1. 1) (i)
esto es claro, desde que cada ,
i
es homogneo
,
i
(A. 1 ) =
i

)=1
(c
)
A + /
)
1 ) =
i

)=1
c
)
A
)
1
i)
As tenemos (i). Enseguida armamos que q(A. 1) 1[A. 1] es irre-
ducible, en efecto, supongamos que q es reducible, entonces q
A
[ q, ahora
q
A
= :A
n1
, + A
n
,
A
.
luego existe / 1[A. 1] tal que
q = /q
A
== A
n
, = / (:A
n1
, + A
n
,
A
)
== , = /(:A
n1
, + A
n
,
A
)
== , =
A,
A
:
lo cual es una contradiccin ya que , es irreducible(,
A
- ,). En particular
q
A
y q no tienen componentes en comn, sigue que existe un nmero nito
25
de valores t de 1 para los cuales q(A. t) y q
A
(A. t) admiten raz comn,
tales races tambin anulan ,
n
(1. 1),
o
(1. 1). Concluimos que d
0
q = d :
en la variable A, con ese mismo nmero de races distintas y todas distintas
de cero. Ahora, teniendo en cuenta que
,
|
(A) = ,(A. tA) = A
n
q(A. t)
concluimos que la recta 1 = tA intercepta , en d
0
, :
1
(,) puntos
distintos .
3.3. Diagrama de Newton
Finalizamos este captulo describiendo el dicq:c:c dc `cnto:, un mto-
do prctico para ver a grandes rasgos el trazo de una curva en la vecindad
de uno de sus puntos. As, para cada trmino c
i)
A
i
1
)
de la ecuacin de
una curva,marcamos el punto (i. ,) en un nuevo plano. Trazamos enseguida
aquellos segmentos uniendo dos o ms de esos puntos, con la propiedad de
que la recta determinada aisla los dems puntos en el semiplano opuesto al
del origen.
Ejemplo 3.6 Sea , = A
5
5A1
2
+ 21
5
.
A continuacin tenemos el primer grco que es el diagrama de Newton,
en ella ubicamos los puntos (5. 0) . (1. 2) y (0. 5)
Enseguida tenemos el siguiente grco el cual es el esbozo de la traza
de , al rededor del origen. En este ejemplo el segmento que une los puntos
(0. 5),(1. 2) corresponde a 21
5
5A1
2
,cancelando el factor 1 obtenemos
21
3
5A. Esta parte del trazo de , es la que se halla en el grco punteado.
El segmento de recta que une los puntos (5. 0) . (1. 2) corresponde a A
5

5A1
2
de ah tenemos el par de parbolas A
2
=
_
51 marcadas en lineas
punteadas.
Ejemplo 3.7 Sea q = A
4
+2A
2
1
2
+1
4
1
3
+3A
2
1. El segmento (0. 3) (2. 1)
selecciona 1
3
3A
2
1 , cancelando el factor 1 tenemos 1
2
3A
2
del cual
26
obtenemos dos rectas 1 =
_
3A. El otro segmento corresponde a la parbo-
la A
2
31. Comparando con el ejemplo (2) anterior vemos que efectivamente
el mtodo de Newton esboza su traza en una vecindad pequea del origen.
Conclusin 3.1
27
Bibliografa
[1] D. Perrin, Algebraic Geometric An Introduction , Springer -Verlag
(2008)
[2] I. Vainsencher, Introduo s Curvas Algbricas Planas, IMPA
(2005)
[3] K. Spindler, Abstract Algebra With Applications, Marcel Dekker
(1994)
[4] A. Yves, Elementos del Algebra, IMPA (2010)
28