El Teorema Fundamental del Algebra

May 5, 2013

Notas hist oricas.

Existen varias formulaciones del Teorema Fundamental del Algebra, en adelante TFA, como son que todo polinomio de grado n tiene n ra ces complejas o bien que todo polinomio se descompone en factores lineales y cuadr aticos. Es comumente aceptado que el primer matem atico en dar una demostraci on del TFA fue Gauss en su tesis doctoral de 1799, sin embargo esto no es exacto. En realidad ya se conoc an demostraciones anteriores del TFA, fue DAlembert quien hizo el primer intento serio de demostrar el TFA en 1746. Luego siguieron las demostraciones de Euler, Lagrange y Laplace, esta u ltima de 1795. El trabajo de Gauss consisti o en revisar los defectos de las anteriores demostraciones que criticaba como no v alidas o d ebiles y ofrecer una nueva demostraci on siguiendo las mismas ideas. La demostraci on de Gauss era de car acter geom etrico, se sirve de la representaci on gr aca de Wessel para los n umeros complejos. Las demostraciones que siguen a continuaci on en este art culo son actuales y tan s olo muestran la existencia de ra ces complejas, no son demostraciones de car acter constructivo.

2
2.1

Enunciado y demostraci on.

Teorema Fundamental del Algebra

Sea P (z ) = an xn + an1 xn1 + . . . + a1 x + a0 un polinomio con coecientes en C, an = 0. Entonces P (z ) tiene una raiz en C.

2.2

Demostraci on.

Para empezar, consideremos la funci on |P (z )|, primero hay que probar que esta funci on real de variable compleja tiene m nimo, esto es, existe z0 C tal que |P (z0 )| es m nimo. La estrategia a seguir a continuaci on consiste en suponer que |P (z0 )| > 0 y llegar a una P (z + z0 ) contradicci on. Para ello tomamos el polinomio Q(z ) = , este es de la forma P (z0 ) Q(z ) = 1 + bz m + [Potencias de orden superior], b=0

 TEOREMA FUNDAMENTAL DEL ALGEBRA

entonces introducimos una ligera modicaci on m as, deniendo el polinomio Q(z ) donde es una ra z m- esima de 1/b. Vamos con la primera parte, primero veamos que limz P (z ) = . En efecto, |P (z )| = |z n ||an + |z |n a0 an1 a1 + . . . + n1 + n | z z z |an1 | |a1 | |a0 | |an | . . . n1 n |z | |z | |z |

cuando |z | (1)

pues an = 0 Vamos a probar ahora que |P | tiene m nimo. Para empezar, sea m = inf |P | el extremo inferior de la imagen de f (z ) = |P (z )|. Para cada n N consideremos el disco cerrado D(0, n). La imagen por f es un subintervalo cerrado y acotado de [0, +). Por lo tanto existe el m nimo rn = minz D(0,n) f (z ) = f (zn ) m. Tenemos una sucesi on decreciente r1 r2 . . . rn . . . y minorada por m. Por tanto convergente, {rn } r m. Supongamos que r > m, entonces, por ser m el extremo inferior, debe existir un z C tal que r > f (z ) > m pero z D(0, N ) para alg un N , luego f (z ) rN r lo cual es absurdo. Por lo tanto, r = m. Centremos nuestra atenci on ahora en la sucesi on {zn }. Supongamos que {zn } est a acotada, entonces existe una subsucesi on {z(n) } convergente. Sea {z(n) } z0 entonces, por ser f (z ) continua, debe ser f (z0 ) = r. Si por contra, la sucesi on {|zn |} no est a mayorada, es decir |zn | , entonces, como la funci on f (z ) tiene l mite innito en el innito, debe ser {f (zn )} +, pero {f (zn )} r < +. Por tanto, queda demostrado que existe un punto z0 tal que |P (z0 | es m nimo. Lo siguiente consiste en probar que |P (z0 )| = 0, se procede por reducci on al absurdo. Supongamos que |P (z0 )| > 0. Denimos Q(z ) = Entonces Q(z ) = 1 an (z + z0 )n + an1 (z + z0 )n1 + . . . + a1 (z + z0 ) + a0 = P (z0 ) 1 P ( z0 )
n1

P ( z + z0 ) , z C P (z0 )

P (z0 ) + a1 z + . . . + an
k=0 m

n nk k z z k

1 + bz + [ Potencias de orden superior] donde b = 0, pues al menos an = 0. Si tomamos ahora una ra z m- esima de 1/b, digamos , entonces Q(z ) = 1 z m + c1 z m+1 + . . . + cnm z n El m odulo |Q(z )| alcanza un m nimo en z = 0 y este valor es Q(0) = 1 = |Q(0)|. Vamos a probar que es posible tomar un n umero z1 tal que |Q(z1 )| < 1 con lo cual llegamos

 TEOREMA FUNDAMENTAL DEL ALGEBRA

a una contradicci on. Tenemos que en un cierto entorno del cero en el plano complejo se verica |c1 z m+1 + . . . + cnm z n | = |z m ||c1 z + c2 z 2 + . . . + cnm z nm | < |z m | pues como limz 0 c1 z + . . . cnm z nm = 0 entonces tendremos un cierto > 0 tal que |z | < |c1 z + c2 z 2 + . . . + cnm z nm | < 1 Por otra parte, podemos elegir un z1 R tal que 0 < z1 < < 1 de manera que
nm m m 2 m m m m |Q(z1 )| |1 z1 | + |z1 ||c1 z1 + c2 z1 + . . . + cnm z1 | < |1 z1 | + |z1 | = 1 z1 + z1 =1

Y con esto queda completada la demostraci on.

Otra demostraci on.

Otra demostraci on muy divulgada del teorema fundamental del algebra se consigue a partir de la teor a de funciones anal ticas. Esta se consigue a partir del Teorema de Liouville que permite una demostraci on muy sencilla.

3.1

El teorema de Liouville.

El teorema de Liouville arma que una funci on entera y acotada debe ser necesariamente constante, se demuestra a partir de la f ormula integral de Cauchy que es uno de los teoremas importantes de la teor a de funciones en variable compleja. Teorema. que Sea f : C C una funci on entera, y supongamos que es acotada, es decir M > 0 tal que |f (z )| M, Entonces f (z ) es constante. Demostraci on. Como f (z ) es entera, entonces para cada z C tenemos que se verica la f ormula integral de Cauchy f (z ) = 1 2i f ( ) d ( z )2 (2) z C

| z |=r

Pero por ser f (z ) acotada entonces de (2) resulta que dado un r positivo arbitrario |f (z )| 1 M M 2r = , 2 2 r r z C

De aqu se deduce que f (z ) = 0, z C. Luego f (z ) es constante, por ser este un dominio simplemente conexo. 3

 TEOREMA FUNDAMENTAL DEL ALGEBRA

3.2

Demostraci on del TFA

Pasamos a continuaci on a ver como se demuestra el TFA a partir del teorema de Liouville enunciado. Consideremos el polinomio no constante P (z ), en particular se trata de una funci on entera. Si suponemos que no se anula en ning un punto, es decir que carece de ra ces, entonces la funci on 1 Q(z ) = , z C P (z ) tambi en es una funci on entera. Pero como limz P (z ) = entonces podemos tomar un K > 0 tal que |P (z )| 1, z : |z | K , esto es |Q(z )| = 1 1, |P (z )| z : |z | K

y por otra parte, por ser Q(z ) continua, entonces es acotada en el disco D(0, K ). Por tanto, Q(z ) es una funci on entera y acotada, aplicando el teorema de Liouville, debe ser constante en C, pero entonces P (z ) es constante contra la hip otesis.

References
[1] Boyer, Carl B.Historia de la Matem atica.Alianza Editorial. Madrid, 1999. [2] Mir Sabat e, Ferran.El Teorema Fundamental del Algebra. Universitat de Barcelona, 2005. [3] Spivak, M.Calculus.Ed. Revert e. Barcelona, 1992.