Teorema Fundamental del lgebra Para Todos

Como su bonito nombre lo indica, el teorema fundamental del lgebra es una de las verdades
matemticas ms importantes. Tambin es una de las ms mentadas. Desde la escuela secundaria
nos familiarizamos con su enunciado, Todo polinomio de grado n tiene n races complejas, contan-
do multiplicidades. Sin embargo, no es inusual que personas formadas en matemtica (docentes,
ingenieros, contadores, economistas) no se hayan cruzado con una demostracin a este teorema en
ninguna instancia de sus estudios.
La razn para esto es que la mayora de las pruebas del teorema nos obligan a adentrarnos en el
clculo complejo, una materia que si bien est emparentada fuertemente con la que solemos llamar
anlisis matemtico, abarca una importante cantidad de conceptos y procedimientos muy diferentes
a los que habitualmente recorremos al trabajar con nmeros reales.
La prueba es muy interesante justamente porque esos conceptos son fuertemente sugestivos y en
general de una evidencia geomtrica considerable. As, demostrar el teorema, adems de ser un fin en
s mismo, puede ser un buen motivo para recorrer conceptos matemticos novedosos y muy potentes.
El objetivo de este artculo es recorrer una serie de conceptos propios del clculo con variable
compleja y finalmente aprovecharlos para realizar esta demostracin. Se intetar usar los conceptos
ms elementales que sae posible, de forma tal que cualquier persona familiarizada con los contenidos
de nmeros complejos, integrales y derivadas vistos en el secundario pueda seguir la exposicin.
Cabe destacar que as como las herramientas que vamos a usar son fundamentalmente analticas,
el teorema hoy en da pertenece ms bien al campo de estudio del anlisis. Obtiene este nombre
del hecho de que durante la edad media y hasta la renovacin del lgebra en Europa, el principal
problema de inters de los algebristas de ese continente fue la solucin de ecuaciones polinmicas,
como las famosas soluciones a la ecuacin cbica y curtica de Cardano y Ferrari.

1. La Potencia y el Logaritmo Complejos

Para poder estudiar al polinomio, necesitamos considerar algunas cuestiones acerca de la potencia
compleja y sus funciones inversas, logaritmo y raz.
Todo nmero complejo puede representarse por un vector en el plano complejo, por lo tanto posee
un argumento y un mdulo . Es usual recurrir a la expresin exponencial de estos nmeros, donde
ambas magnitudes aparecen representadas con claridad:

z C : ; R/z = ei
De esta forma, parece lgico definir como sigue las operaciones potencia y logaritmo1 :

n
z n = ei = n ein
1
Del estudio detallado de la definicin de las operaciones exponente, logaritmo y raz podemos obtener muchsimo
ms conocimiento, pero por lo pronto podemos tomar estas definiciones sencillas.

1
 Igualmente podemos definir el logaritmo como una inversa de esta operacin, usando operaciones
reales ya conocidas:

ln (z) = ln || + i /

eln(z) = eln||+i = ei = z
Al considerar la raz nos vamos a ver obligados a considerar un problema habitual en el estudio
de las funciones de variable compleja:

n
z = w/wn = z
Digamos que z = ei y que w = R ei :

n
R ei = ei

Rn ein = ei
p
Es decir, que el radio no nos trae problemas, |w| = n |z|. Con el argumento no pasa lo mismo.
Es evidente que la solucin hallada, n = = n es vlida, pero por cmo se comportan las
funciones que estamos estudiando, sabemos que n = + 2 nos da otra solucin vlida diferente,
= +2
n
. Esto lo podemos repetir indefinidamente, sumando cualquier mltiplo de un arco completo
2k y la relacin va a seguir siendo vlida. Tenemos infinitas k = +2k
n
y todas son solucin.
Con un poco de agudeza vamos a notar que en realidad de estas inifinitas soluciones slo son
nmeros diferentes las que van desde 0 hasta n1 . As, cada raz ensima tiene n posibles soluciones
diferentes cuando estamos trabajando con variable compleja. Esto adelanta un poco a dnde queremos
llegar, pero vamos a necesitar bastantes herramientas ms para poder usar este conocimiento en
general sobre todo polinomio posible.

2. Buena Conducta: Las Funciones Analticas

Para poder llegar hasta nuestro teorema vamos a tener que hacer cierto sacrificio de rigor y tomar
como punto de partida algunas verdades fundamentales del clculo con variable compleja.
As como en el clculo de una variable real llevamos los valores de un eje a otro, transformando
dos rectas, en el clculo complejo transformamos un plano complejo z en otro plano complejo w.
Para considerar los conceptos que necesitamos conviene destacar que as como en el anlisis de dos
variables nos concentramos fundamentalmente en las funciones continuas y en el clculo multivariable
en las funciones diferenciables, siendo ambos conceptos que se hacen cargo de lo que podramos
llamar comportamiento suave o incluso plausibilidad de una aproximacin lineal tan precisa como
se quiera en el clculo complejo trabajamos sobre todo con la familia de las funciones analticas.
Estas pueden definirse de varias formas. Se haga esto como se haga, de una definicin se llega a la
otra. Por lo que a nosotros nos importa, podemos tomar estas dos:
Una funcin f (z) es analtica en un dominio D si, para todo punto z1 de D, la funcin es
derivable infinitas veces con continuidad en un entorno de l.

Una funcin f (z) es analtica en un dominio D si la serie de Taylor de la funcin converge a

f (z) en un entorno de todo punto de D.

2
Estas condiciones no son muy restrictivas, la mayora de las funciones ms importantes de la ma-
temtica las cumplen en un dominio y en particular los polinomios que nos interesan, al igual que
respecto a la continuidad y la diferenciabilidad, son casos modelo de buena conducta.
Como consecuencia de estas definiciones, las funciones analticas tienen una propiedad muy espe-
cial: sus integrales de contorno sobre curvas regulares a trozos y cerradas son siempre nulas. Quien
haya estudiado fsica o clculo vectorial va a ver inmediatamente una analoga con el campo de una
fuerza y la funcin potencial. b
Por las dudas aclaramos que, as como una integral sobre el eje real a f (x) dx podra entenderse
 desde a hasta b, en cada punto p sumando el valor de la funcin, f (p) la
como recorrer el eje real
integral de contorno es f () d, recorrer la curva sumando los valores de f (z) en cada punto i
de la misma. As, podemos enunciar lo que se llama el Teorema de Cauchy:

Si f es una funcin de variable compleja, analtica en D, las integrales sobre contornos

cerrados y regulares a trozos en D son siempre nulas.

2.1. No Analiticidad y Polos de una Funcin

Cuando una funcin compleja no es analtica en un punto, al igual que en el caso de los nmeros
reales podemos encontrar que tiene diversos comportamientos. En particular, puede pasar que esta
crezca en mdulo ilimitadamente al acercarnos a su punto singular z0 , pero que multiplicando por un
polinomio adecuado este comportamiento desaparezca y obtengamos una funcin acotada.

lm zzz0 f (z) =

lm zzz0 f (z) (z z0 )n = w0 /w0 C

Los puntos que cumplen esta propiedad se llaman polos de orden n, donde n es el grado del
polinomio necesario.
Podemos definir una funcin f1 (z) que haga explcita esta propiead:

f (z) (z z0 )n = f1 (z)

f1 (z)
f (z) =
(z z0 )n

3. Residuos: La Basura de unos es el Tesoro de Otros

Dada esta condicin de nulidad que es el Teorema de Cauchy, podramos preguntarnos qu hacer
cuando existen puntos de no analiticidad de nuestra funcin. Una respuesta sencilla es esquivarlos.
Dado que estamos en el plano, podemos construir curvas que bordeen los llamados puntos singulares,
dejndolos fuera del rea encerrada de tal forma que podamos considerarlas parte de un dominio de
analiticidad.

3
 Como en este procedimiento obtuvimos un recorrido que cumple las condiciones del teorema
de Cauchy, sabemos que la integral de contorno es nula. Ahora, est compuesta de varias curvas que
podemos considerar de la siguiente forma:

Los trayectos A, A0 y B, B 0 son igules y opuestos y por lo tanto sus valores van a cancelarse.

E (la curva exterior) es un contorno cerrado, dentro del cual estn los puntos singulares O y P .

O y P son curvas cerradas tambin, cada una encierra una singularidad sola. Por la forma en
que entramos desde el recorte, estas son recorridas en el sentido opuesto a E 2 .

La suma de los trayectos parciales entonces tiene un sentido revelador:

f () d = f () d + f () d + f () d + f () d + ...
A B
A 0 B0

... + f () d + f () d + f () d
E O P

La integral
f (z) dz es nula por el teorema de Cauchy, los recorridos de recorte A y B se
cancelan.

0= f () d + f () d + f () d
E O P

2
La segunda en sentido positivo o antihorario, las primeras en sentido negativo u antihorario.

4
  
f () d = f () d + f () d
E O P

Como en las integrales reales, podemos invertir el sentido de recorrido para cambiar el signo.

f () d = f () d + f () d
E O P

Lo que acabamos de demostrar es, fundalmentalmente, el teorema del residuo. Si en el rea encerrada
por la curva E existe una cantidad finita de puntos singulares (O, P...), la suma de las integrales
sobre curvas que encierran a cada una de ellas individualmente tiene el mismo valor que la integral
sobre la curva exterior.
Las integrales en torno a las discuntonuidades zk nos permiten definir el concepto de residuo:

1
Res [f (z) ; zk ] = f () d
2i

Donde f () d es la integral en torno a la singularidad zk tal y como vimos mas arriba3
Vamos a introducir sin demostracin una segunda forma de calcular el residuo, slo vlida cuando
este pierde su condicin de singular multiplicando la funcin por un polinomio de grado 1 (es decir,
cuando es un polo de grado 1).

Res [f (z) ; zk ] = lm f (z) (z zk )

zzk

Tal y como est definido el residuo, la consideracin sobre sumas de integrales que hicimos ms arriba
puede escribirse en forma ms general:
N
X
f () d = 2i Res [f (z) ; zn ]
n=1

Donde f es una funcin analtica en todas partes en tod el dominio D, excepto en sus singularidades
aisladas {zk }.

3.1. Residuos Logartmicos: La Basura Logartmica de Unos es el Tesoro

Logartmico de Otros
Lo que a nosostros nos interesa son las races de los polinomios. Ahora vamos a considerar una
variacin de esta idea de residuo a travs de la cual nos acercamos a nuestra meta:

Para una funcin f (z), en dominios de analiticidad D, llamos derivada logartmica a otra,
0 (z)
d
(z) = dz [lnf (z)] = ff (z) .
3 1
Omitimos justificar la presencia del coeficente 2i porque nos alejara mucho del teorema estudiado.

5
Lo que nos interesa de esta funcin es que los ceros {zk } de f (z) van a llevar a a tener divisor nulo,
lo cual al igual que en el clculo real implica indefinicin en ellos. Es decir, los ceros de f son puntos
singulares de . Como son puntos singulares, podemos buscar el residuo en ellos.
Como f (z) es analtica en el dominio considerado, podemos representarla como como una serie
de Taylor con centro el cualquier punto zi del dominio:

X f (n) (zi )
f (z) = (z zi )n
n=0
n!
Adems, si consideramos que zk es un cero de orden nk , esta expresin se simplifica:

X f (n) (zk ) X f (k+nk ) (zk )
f (z) = (z zk )n = (z zk )n+nk
n=n
n! n=0
k + n k !
k

X f (k+nk ) (zk )
f (z) = (z zk )nk (z zk )n
n=0
k + nk !
La serie que obtuvimos es tambin una serie de Taylor, por las propiedades de f sabemos que va
a converger en una nueva funcin a la cual vamos a llamar f1 (z). Por cmo est definida, sabemos
que zk no es un cero de ella.

f (z) = (z zk )nk f1 (z)

Evaluamos en las proximidades de del cero zk de orden nk , usando la regla de la cadena.

0
(z) = [lnf (z)]0 = {ln [(z zk )nk f1 (z)]} = [nk ln (z zk ) + lnf1 (z)]0

nk f 0 (z)
(z) = + 1
z zk f1 (z)
Esta formulacin hace simple buscar el residuo en nuestro 0, con la segunda frmula considerada.

f10 (z)
 
nk
Res [ (z) ; zk ] = lm + 0 (z zk )
z z k z zk f1 (z)

Res [ (z) ; zk ] = nk

El residuo logartmico en torno a un cero de la funcin es el grado de ese cero.

Por un procedimiento anlogo, podemos considerar el caso de un polo, para zj polo de orden nj :

Res [ (z) ; zj ] = nj

6
4. Conteo de los Ceros y Polos de una Funcin Analtica en un
Dominio
Con los conceptos ya definidos, podemos demostrar una teorema que va a ser la herramienta fun-
damental en nuestra demostracin: Existe una integral de contorno que nos permite saber la diferencia
entre la cantidad de ceros y la de polos de una funcin en un dominio, contando multiplicidades4 .

Si f (z) es analtica en un dominio D excepto en una cantidad finita de puntos que son
todos polos, y dentro de D se delimita un rea con la curva siendo P y N es el nmero
de polos y ceros que tiene en el interior de la curva (a lo largo de la cual f no se anula)
en este dominio se cumple la siguiente propiedad:

1 f 0 ()
N P = d
2i f ()
0
Para demostrar esto, observemos que el integrando ff (z) (z)
es la derivada logartmica de f (z), que
podemos llamar ms sintticamente (z).
Los ceros y polos de f (z) van a ser los nicos puntos singulares de (z), por lo que vale nuestro
teorema del residuo. La integral de a lo largo de la curva exterior se puede calcular como la suma
de los residuos alrededor de las singularidades de , que son los ceros dentro de :
(K
X XJ
)
() d = 2i Res [ (z) ; zk ] + Res [ (z) ; zj ]
k=1 k=1

Todos los residuos de son sobre ceros zk y polos zj de f y por lo tanto su valor va a ser el grado
de estos ceros, nk .
" K
X XJ
#
() d = 2i nk + (nJ )
k=1 j=1

La suma de todos los grados de los ceros es N , para los polos es P .

1
() d = N P
2i

1 f 0 ()
d = N P
2i f ()

4.1. Principio del Argumento: Una interpretacin Geomtrica del Teore-

ma
d
Es interesante considerar otra vez al integrando (z) como una derivada logartmica: dz ln [f (z)].
Recordemos que por lo considerado al principio de este agotador texto, la funcin lorgaritmo
complejo puede dividirse en componentes:
4
Ya hasta va apareciendo la redaccin de nuestro teorema.

7
 (
u = ln |z|
ln (z) = u + iv/
v = arg (z)
Reinterpretamos la integral as:
0
1 f () 1 1 1
N P = d = d [lnf ()] = dln |f ()| + i argf ()
2i f () 2i 2i 2


dln |f ()| es la integral sobre un contorno cerrado de una funcin continua (el logaritmo real,
siendo que sobre nuestro contorno f (z) 6= 0 por hiptesis).
Por otro lado, la integral que nos queda es sencillamente la variacin del argumento de la imagen
f (z), es decir el ngulo rotado.
1
N P =0+ Var [argf (z)]
2
Es decir: en la medida en que la variable a integrar recorre la curva imagen5 , el fasor (un vector con
origen en el origen de coordenadas y extremo en el punto de la curva ) va variando su argumento.
En el grfico adjunto se ve cmo si recorremos el borde de una cierta figura en el plano z tomando
sus puntos como preimagen, obtenemos por imagen otra figura, de borde regular y tambin cerrada
en el plano w. Consideremos los argumentos de todos los puntos w al recorrer este borde.
Si el punto w = 0 est fuera del contorno de la curva imagen de , G, esta variacin va a ser nula.

Si est dentro de ella, el grado del zk que tiene w = 0 por imagen va a determinar cuantas veces
la funcin recorre la curva G al recorrer y por ende cuntas veces pasa por el 0, su grado. Esta
cantidad va a ser un mltiplo de 2, el argumento de una vuelta completa.
5
Podemos decir con poco rigor que la analiticidad garantiza que as imagenes se porten en forma continua y de esa
forma la imagen de una curva regular es otra curva regular.

8
5. El teorema de Rouch (Es el anteltimo)
Este teorema nos va a permitir conocer la cantidad de ceros de una funcin en un dominio
expresndola como la suma de otras dos, una de las cuales tiene cantidad de ceros conocidos, por lo
cual obviamente el teorema fundamental va a ser una consecuencia suya.

Sean las funciones f (z) y (z) analticas en el dominio cerrado D y con la siguiente
desigualdad vlida sobre la frontera del mismo:

|f (z)| > | (z)|

Entonces, el nmero total de ceros en D de la funcin F (z) = f (z) + (z) es el mismo

que el nmero total de ceros de f (z).

Tanto f como F satisfacen todas las condiciones del teorema que permite determinar la diferencia
entre polos y ceros.
f (z) no slo no tiene singularidades en , si no que por la desigualdad |f (z)| > | (z)| tampoco
tiene ningn cero en .
Estas condiciones tambin se satisfacen para F :

|F (z)| = |f (z) + (z)| |f (z)| | (z)| > 0

Aplicamos la frmula hallada para relacionar el nmero de rotaciones sobre el contorno en el
wplano con la diferencia entre las cantiadades de ceros y polos.
1
N P = Var [argf (z)]
2
Estudiamos F . Por lo antes razonado no hay polos:
1
N [f (z)] = Var [argf (z)]
2
1
N [F (z)] = Var [arg (f + ) (z)]
2
Planteamos la diferencia entre las cantidades de races:

9
 1
N [F (z)] N [f (z)] = Var [arg (f + ) (z) argf (z)]
2
   
arg (f + ) arg (f ) = arg f +
f
= arg 1 + 6
f
  
1
N [F (z)] N [f (z)] = Var arg 1 +
2 f
Consideramos la funcin w = 1 + (z)f (z)
, analtica dado que [f (z)] 6= 0.
Por las hiptesis, mientras z recorre , w recorre una curva C que es un contorno cerrado tambin.
Sin importar su forma, podemos asegurar la siguiente cadena de desigualdades:
 
 (z) 
 f (z)  = |w 1| < 1
 

Esto significa que el recorrido de la variable w, nuestra curva imagen C, puede encerrarse dentro
de una circunferencia de centro (1; 0) y radio menor a uno.

|w 1| < 1
El punto w = 0 queda fuera de este radio. Esto alcanza para garantizar lo que se quera:

Var [arg (w)] = 0

Las cantidades de ceros de ambas funciones son iguales y por lo tanto se cancelan.

N [F (z)] N [f (z)] = 0

N [F (z)] = N [f (z)]

6. Por Fin!: Teorema Fundamental del lgebra:

Cada polinomio de grado n tiene exactamente n ceros en el plano complejo, contando
multiplicidades.
Pn
Representamos el polinomio F (z) = j=0 anj z j como la suma de dos polinomios: f (z) = a0 z n y
(z) = n1 j
P
j=0 anj z .

F (z) = f (z) + (z)

Estudiamos la desigualdad entre las funciones elegidas:
Pn1
(z) j=0 anj
=
f (z) a0 z n
6
Como las imgenes de las funciones son nmeros complejos, estos pueden pensarse en forma exponencial lo cual
da sentido a la identidad, anloga a las de la razn de potencias.

10
 n1
(z) X anj 1
= nj
f (z) j=0
a0 z

Con que exista un coeficiente no nulo, est garantizado que esta funcin nunca se anula y por lo
tanto no se va a anular en ninguna curva sobre la cual la evaluemos.
Considerando que todos los n j > 0, es fcil ver que esta razn es tan pequea como se quiera
incrementando R.
Existe un R0 que garantiza

|z| = R > R0
 
 (z) 
0 <   <1
f (z) |z|=R
Ahora estamos seguros de que F y f satisfacen las condiciones del teorema de Rouch. Este
asegura que el total de ceros del polinomio F es el mismo que el de f .
La funcin raz compleja es multivaluada, as que sabemos que la ecuacin f (z) = 0 degenera en
n soluciones iguales, zk = 0.
F tiene n races y el teorema queda probado.
Evidentemente, los polinomios de coeficientes reals son un caso particular y por lo tanto el teorema
queda probado para ellos tambin.

7. Consecuencias Fundamentales
Algunas de las consecuencias de este teorema son:

1. Todo polinomio puede ser expresado como producto de expresiones lineales complejas, en par-
ticular lo que llamamos expresin factorizada, considerando constantes complejas, es posible
para todo polinomio.

2. Todas las funciones racionales pueden representarse como combinacin lineal de funciones ra-
cionales ms simples, tal y como lo hacemos al resolver integrales por el mtodo de fracciones
simples.

3. Los nmeros complejos son un cuerpo algebricamente cerrado y clausuran a los reales.

Esto ltimo significa que todo polinomio que pueda ser construido con coeficientes reales puede
resolverse igualado a cualquier variable si toleramos soluciones de variable compleja. En particular,
siempre puede despejarse a 0, es decir que todo polinomio tiene por lo menos una raz permitiendo
dividirlo sucesivamente hasta el grado 0.

11