Universidad Central del Ecuador

Facultad de ingeniera Qumica

Carrera de Ingeniera Qumica
Consulta: Clculo Integral.
Temas: Algoritmo de Euclides, 1er Teorema Fundamental del algebra.
Nombre: Carlos Montfar
semestre. Paralelo: 1

Segundo

1.- 1er Teorema Fundamental del algebra.

Ilustracin de una demostracin del Teorema Fundamental del Algebra
El Teorema Fundamental del Algebra (TFA) dice que todo polinomio a coeficientes complejos tiene
un raz compleja, es decir existe un nmero complejo donde el polinomio evalua a cero. Hay
muchas demostraciones de este importante resultado. Todas requieren bastantes conocimientos
matemticos para formalizarlas. Sin embargo, si se deja de lado algo del rigor matemtico, hay
argumentos simples y creibles, que le permiten a uno convencerse de la veracidad del TFA. Nuestro
objetivo es presentar a continuacin uno de estos argumentos.
Consideremos entonces un polinomio P(z) cualquiera de grado n. Luego, su n-simo
coeficiente Pn no puede ser igual a 0. Si P(0)=0, estarmos listos pues tendramos que 0 es una raz
de P. Supondremos entonces que se tiene el caso no trivial, es decir, que P(0) no es 0. Notar que
esto significa que P0 es distinto de 0, puesto que P(0)=P0.
Sea Cr al conjunto de nmeros complejos de mdulo r, i.e., Cr= { z : |z|=r }. Geomtricamente
dichos nmeros estn ubicados en un crculo de radio r en torno al origen del plano complejo. Por
ejemplo, si r=1, entonces Cr es:

Sea adems P(Cr) la imgen a travs de P de Cr, i.e., P(Cr)={ P(z) : |z|=r }. Observar que P(Cr) es
una curva cerrada. Porqu? Observar tambin que si r es suficientemente pequeo (cun pequeo
depender de los valores de los coeficientes del polinomio P), entonces todo elemento
de P(Cr) estar muy cerca de P0 en el plano complejo y el origen del plano complejo estar en

el "exterior" de la curva P(Cr). Porqu? Por ejemplo, si P(z)=(2+2I)-1.5*z+2Iz2+Iz3 y r=0.75,

entonces P(Cr) es:

Por el contrario, si R es suficientemente grande (nuevamente, cun grande depender de los valores
de los coeficientes del polinomio P), entonces P(CR) se parecer a n crculos del plano complejo
centrados en P0 y el origen del plano complejo estar en el "interior" de P(CR). Porqu? Por
ejemplo, si P(z)=(2+2I)-1.5*z+2Iz2+Iz3 y R=8.0, entonces P(CR) es:

Si hacemos que vare entre r y R en forma contnua y estamos dispuestos a aceptar que en dicho
caso P(C) vara en forma contnua desde P(Cr) a P(CR), tendremos que el origen pasa de estar
al "exterior" de la curva inicial al "interior" de la curva final --- necesariamente en alguno de los
valores intermedios de , tiene que suceder que P(C) pasa sobre el origen, i.e., existe un valor
de z para el cual el polinomio P(z) se anula o lo que es lo mismo, P(z) posee una raz. Se concluye
que el TFA aplica a P(z) como queramos comprobar.

El teorema fundamental del lgebra establece que todo polinomio de grado mayor que cero tiene
una raz.1 El dominio de la variable es el conjunto de los nmeros complejos, que es una extensin
2 de los nmeros reales.
Aunque este enunciado, en principio, parece ser una declaracin dbil, implica que todo polinomio
de grado n de una variable con grado mayor que cero con coeficientes complejos tiene, contando las
multiplicidades, exactamente n races complejas. La equivalencia de estos dos enunciados se realiza
mediante la divisin polinmica sucesiva por factores lineales.
Hay muchas demostraciones de esta importante proposicin, que requieren bastantes conocimientos
matemticos para formalizarlas.
El teorema se enuncia comnmente de la siguiente manera:
Todo polinomio en una variable de grado n 1 con coeficientes reales o complejos tiene por lo
menos una raz (real o compleja).3
Es ampliamente conocido tambin el enunciado: Un polinomio en una variable, no constante y con
coeficientes complejos, tiene tantas races4 como indica su grado, contando las races con
sus multiplicidades. En otras palabras, dado un polinomio complejo p(z) de grado n 1, la
ecuacin p(z) = 0 tiene exactamente n soluciones complejas, contando multiplicidades.
Otras formas equivalentes del teorema son:

El cuerpo de los complejos es cerrado para las operaciones algebraicas.

Todo polinomio complejo de grado n 1 se puede expresar como un producto

de n polinomios lineales, es decir

Demostracin
Sea

un polinomio de grado

nmero real positivo

Si

es una funcin entera. Para cada constante positiva

, existe un

tal que

no tiene races, la funcin

cualquier nmero real

, es una funcin entera con la propiedad de que para

mayor que cero, existe un nmero positvo

Concluimos que la funcin

tal que

es acotada. Pero el teorema de Liouville dice que si

funcin entera y acotada, entonces,

es constante y esto es una contradiccin.

es una

De manera que

no es entera y por tanto

tiene al menos una raz.

se puede escribir

por tanto como el producto

donde

es una raz de

anterior, el polinomio

es un polinomio de grado

. Por el argumento

a su vez tiene al menos una raz y se lo puede factorizar

nuevamente.
Repitiendo este proceso

veces,5 concluimos que el polinomio p puede

escribirse como el producto

donde

...

son las races de

(no necesariamente distintas) y

es una

constante.

Corolarios
Como el teorema fundamental del lgebra puede ser visto como la declaracin de que el cuerpo de
los nmeros complejos es algebraicamente cerrado, se sigue que cualquier teorema concerniente a
cuerpos algebraicamente cerrados aplican al cuerpo de los nmeros complejos. Se muestran aqu
algunas consecuencias del teorema, acerca del cuerpo de los nmeros reales o acerca de las
relaciones entre el cuerpo de los reales y el cuerpo de los complejos:

El cuerpo de los nmeros complejos es la clausura algebraica del cuerpo de nmeros reales.

Todo polinomio mnico en una variable

binomio de la forma
con

racionales y

trinomio

con

con coeficientes racionales es el producto de un

racional, y de un trinomio de la forma

(que es lo mismo que decir que el

no es resoluble en el conjunto de los nmeros reales). 6

Toda funcin racional en una variable

, con coeficientes reales, se puede escribir como la

suma de una funcin polinmica con funciones racionales de la forma

es un nmero natural, y
forma
nmeros reales tales que

(donde

son nmeros reales), y funciones racionales de la

(donde

es un nmero natural, y , , , y

son

). Un corolario de esto es que toda funcin racional en

una variable y coeficientes reales tiene una primitiva elemental.

Toda extensin algebraica del cuerpo de los reales es isomorfa al cuerpo de los reales o al
cuerpo de los complejos