Está en la página 1de 5

ALGUNAS NOTAS SOBRE EL TEOREMA FUNDAMENTAL DEL ALGEBRA Darwin Pe˜ na Gonz´ alez∗ 2011

Resumen En este art´ ıculo haremos un recorrdio por la historia del Teorema Fundamental del ´ algebra (FTA) y realizaremos una prueba de este Teorema mediante el analisis de variables complejas, por el m´ etodo del absurdo y utilizando algunos resultados importantes para su demostraci´ on, como el Teorema de Liouville

1.

´ Breve rese˜ na hist´ orica del Teorema Fundamental del Algebra (FTA)

Los primitivos estudios (circa 800 d.C.) llevados a cabo por al-Khwarizmi s´ olo buscaban ra´ ıces reales positivas y el FTA no ten´ ıa sentido. Cardano fue el primero en darse cuenta que uno pod´ ıa trabajar con cantidades m´ as generales que los n´ umeros reales. El descubrimiento lo hizo trabajando para hallar las ra´ ıces de una c´ ubica. Esos m´ etodos aplicados a la ecuaci´ on x3 = 15x + 4 dieron una respuesta que implicaban la ra´ ız cuadrada de −121, Cardano sab´ ıa que la ecuaci´ on ten´ ıa a x = 4 como ra´ ız y fue capaz de manipular con n´ umeros complejos (aunque no acababa de entender el porqu´ e) hasta hallar la soluci´ on correcta. Bombelli, en su Algebra, publicado en 1572, di´ o unas reglas para manipular estos nuevos n´ umeros.

Descartes en 1637, dijo que uno puede imaginar para cada ecuaci´ on de grado n, n ra´ ıces pero que estas n ra´ ıces pod´ ıan no corresponder con cantidad real alguna. Vieta di´ o ecuaciones de grado n con n ra´ ıces. Sin embargo, el primero que afirm´ o que siempre exist´ ıan n soluciones fue un matem´ atico flamenco Albert Girard en 1629 en su L invention en alg e `bre. Pero no afirm´ o que fueran complejos; o sea, n´ umeros de la forma a + bi, a, b reales, permitiendo la posibilidad de cuerpos m´ as grandes que C. De hecho, ese fue el problema del FTA durante muchos a˜ nos puesto que los ¡matem´ aticos aceptaban la afirmaci´ on de Albert Girard como inmediata!. Aceptaban que una ecuaci´ on de grado n debe tener n ra´ ıces, el problema para ellos era demostrar que ten´ ıan la forma a + bi, a, b reales.

Aunque parece que Harriot sab´ ıa que un polinomio que tiene una ra´ ız a (en un cuerpo), era divisible por x − a. Esto fue establecido por Descartes en 1637 en La g´ eom´ etrie. Albert Girard no di´ o estas razones para entender el concepto de ra´ ız. Una demostraci´ on de la falsedad del FTA fue dada por Leibniz en 1702 (demostrando que hasta los grandes se equivocan) cuando asegur´ o que x4 + 1 no pod´ ıa ser escrito como el producto de dos factores cuadr´ aticos complejos. Su error √ √ 2 2 + i fue no darse cuenta que la unidad imaginaria i tiene dos ra´ ıces cuadradas complejas 2 2

Magister en Ciencias Matem´ aticas

1

n < 7. Euler fue capaz de probar que todo polinomio real con grado. Hoy d´ ıa no es aceptada. usa un lema sin demostraci´ on que no fue demostrado hasta 1851. como funciones racionales de los coeficientes originales A. ´ mismo no afirm´ El o tener la demostraci´ on. O sea. . . en su tesis doctoral present´ o su esquema de demostraci´ on y tambi´ en todas las objeciones a las anteriores. las ideas de la esta demostraci´ on son importantes. En 1799. Entonces. . Lagrange us´ o su conocimiento 0 de las permutaciones de las ra´ ıces para encontrar todos los puntos d´ ebiles de la demostraci´ on de Euler. que aparece en Recherches sur les racines imaginaires des ´ equations. En 1772. no us´ o ning´ un criterio de compacidad para la existencia de la convergencia. c tal que f (b) = c.) y entonces multiplica en el segundo miembro e iguala coeficientes. 2 En 1746. itera el proceso para converger a una ra´ ız de f .A Gauss se le concede el cr´ edito de la primera demostrraci´ on del FTA. 2 . en 1742 demostr´ o que el contraejemplo de Leibniz era falso. No obstante. 2r−1 . Su demostraci´ on era muy elegante solo que de nuevo supon´ ıa la existencia de las ra´ ıces. En primer lugar. Afirm´ o que las funciones 0 racionales pod´ ıan conducir eventualmente a la contradicci´ on . .TEOREMA FUNDAMENTAL DEL ALGEBRA √ y− 2 2 √ + 2 i . D’Alembert hizo el primer intento serio de demostraci´ on del FTA. pero esquematiz´ o el caso general. . Para un polinomio f. . Esta primera demostraci´ on de Gaus es en esencia topol´ ogica y tiene serios inconvenientes. Entonces. Su demostraci´ on ten´ ıa varias debilidades. Al poco tiempo. . Laplace trat´ o de probar el FTA usando el discriminante de un polinomio. demostr´ o que existen dos complejos z1 y w1 tal que |z1 | < |c|. est´ a basada en descomponer un polinomio m´ onico reducido (con an−1 = 0). En segundo lugar. Esto lo realiz´ o paea n = 4. tom´ o dos n´ umeros reales b. h.)(xm − txm−1 + hxm−2 + . En 1749. Lagrange plante´ o objeciones a la demostraci´ on de Euler. En 1795. B. Multiplicando posiblemente el polinomio inicial por un factor de la forma axk y aplicando despu´ es un cambio lineal para convertirlo en uno m´ onico reducido y de grado potencia de dos. . Su demostraci´ on. Suponiendo que x2m + Ax2m−2 + Bx2m−3 + . o sea. en descomponer un polinomio m´ onico de grado 2n en dos de grados m = 2n − 1. |w1 | < |c| y f (z1 ) = w1 . . Fue el primero en observar que todas ellas supon´ ıan la existencia de las ra´ ıces y deduc´ ıan propiedades de ellas. . el FTA para polinomios reales. sino que una demostraci´ on rigurosa deb´ ıa ir en esos t´ erminos. Euler. intent´ o una demostraci´ on del caso general. . El u ´nico incoveniente es que el propio Lagrange estaba usando que las ra´ ıces exist´ ıan y que pod´ ıa trabajar con ellas y deducir propiedades. por Puiseau. pero ¡cuya demostraci´ on usa el FTA!. tiene exactamente n ra´ ıces complejas. = (xm + txm−1 + gxm−2 + . Euler afirm´ o que esto conduce a obtener los coeficientes g. en el producto de dos polinomios m´ onicos de grados iguales. . de grado n = 2r . Ya en el Ars M agna de Cardano aparece el cambio de variable para hacer cero el coeficiente de la segunda potencia mas grande de la indetrerminada.

Gauss introduce en 1831 el t´ ermino ’n´ umero complejo’. o sea. Otra demostraci´ on (tercer intento) de Gauss tambi´ en de 1816 es. La demostraci´ on de Argand fue recogida por Chrystal en su libro de texto Algebra en 1886. Cauchy hab´ ıa introducido el t´ ermino ”conjugado”. Merece la pena resaltar que. que hab´ ıa una jerarqu´ ıa de cantidades imaginarias de las cuales los n´ umeros complejos eran solo los m´ as simples. las cr´ ıticas de Gauss a la demostraci´ on de Lagrange − Laplace del FTA no fueron aceptadas en Francia. la representaci´ on geom´ etrica de los n´ umeros complejos. aunque estos no son conmutativos. en la celebraci´ on en Besel del bicentenario del nacimiento de Euler dijo: Euler di´ o la demostraci´ on mas algebr´ aica de la existencia de las ra´ ıces de una ecuaci´ on. En su art´ ıculo Re ´f lexions sur la nouvelle thorie d analyse. Gauss produjo la primera demostraci´ on del enunciado general de que una ecuaci´ on de grado n con coeficientes complejos tiene n ra´ ıces complejas. bas´ andose en que una ecuaci´ on real de grado impar 3 . Gauss us´ o la aproximaci´ on de Euler pero en vez de operar con ra´ ıces que pueden no existir. En 1820. La demostraci´ on es similar a la primera (con los mismos inconvenientes). o sea no nombra a Argand). En 1821. de 1828. Gauss di´ o una demostraci´ on del FTA. Esta demostraci´ on completa la de Euler y es correcta. En ese art´ ıculo interpretaba la unidad imaginaria i como un giro de 90 en el plano. El ısmo cre´ ıa. En 1843. Tienen todas las propiedades de un cuerpo salvo la conmutativa del producto. Cauchy le dedic´ o un cap´ ıtulo completo de su Cours d’analyse a la demostraci´ on de Argand (aunque sorprendentemente no adjudica el cr´ edito a nadie. haciendo surgir lo que hoy d´ ıa llamamos plano de Argand o diagrama de Argand. ´ Esta fue publicada en en el libro de Hankel. La primera demostraci´ on de que el u ´nico cuerpo (conmutativo) algebr´ aico que contiene a los n´ umeros reales es C. Su demostraci´ on est´ a basada en una idea de d’Alembert de 1746. Gauss opera con indeterminadas. Argand simplifica la idea usando un teorema general sobre la existencia de un m´ ınimo de una funci´ on continua. lo u ´nico que hace es deducir el resultado para coeficientes complejos a partir del resultado sobre polinomios reales. como todos en su ´ epoca. 50 a˜ nos despu´ es de su primer intento. todas las demostraciones anteriores son v´ alidas. Theorie der complexen Zahlensysteme. Esta demostraci´ on en aquella ´ epoca no es completamente rigurosa. ya que el concepto de extremo inferior no hab´ ıa sido desarrollado todav´ ıa. En 1816. del tratado de ecuaciones de Lagrange no aparece todav´ ıa ninguna demostraci´ on salvo la incorrecta de Laplace − Lagrange. como la primera. una vez que se establece el resultado de la existencia del cuerpo de descomposici´ on de cualquier polinomio.TEOREMA FUNDAMENTAL DEL ALGEBRA En 1814. Hamilton descubri´ o los cuaternios. el contable suizo Jean Robert Argand public´ o una demostraci´ on del FTA que posiblemente sea la m´ as simple de todas. de naturaleza topol´ ogica. Este libro fue muy divulgado y la demostraci´ on de Argand se hizo famosa. En 1849. Naturalmente. Essai sur une manire de repre ´senter les quantitis imaginaires dans les constructions gometriques. En la 2a edici´ on. Frobenius. Argand hab´ ıa esquematizado esas ideas en una publicaci´ on anterior. Sin embargo. dos a˜ nos mas tarde de la demostraci´ on de Argand. Gaus los llam´ o ”sombra de sombras”. buscando esas generalizadciones de los n´ umeros complejos. a pesar de la insistencia de Gauss de no suponer la existencia de ´ m´ las ra´ ıces cuando se trata de demostrar su existencia. la di´ o Weierstrass en sus lecciones de 1863.

por su hijo Martin Kneser. r) ⊆ Ω. es decir.TEOREMA FUNDAMENTAL DEL ALGEBRA tiene. Entonces. Posiblemente extra˜ ne un poco que exista preocupaci´ on en este sentido pero ocurre que hay ecuaciones no algebraicas que no tienen ninguna soluci´ on. Dado (2) Teorema 1 (Teorema de Liouville). que en realidad s´ olo a˜ nadi´ o los toques finales. necesariamente es constante. f (n) (a) ≤ M (f. (3) ∂D(a. en 1940. para todo R > 0 se tendr´ a f (a) = 1 2πi C. Algunos resultados preliminares Cualquier ecuaci´ on de cualquier grado siempre tiene por lo menos una soluci´ on ya sea un n´ umero real o un n´ umero complejo. a. Si f est´ a acotada. En vista de su importancia se le conoce con el nombre de T eorema F undamental del lgebra. Entonces. Sea Ω un abierto no vacio de f ∈ H(Ω). Es injusto atribuir la demostraci´ on totalmente a Gauss. Sea f una funci´ on entera. que tener una ra´ ız real. Esa demostraci´ on fue simplificada en 1981. Supongamos que para alg´ un K > 0 es |f (z )| ≤ K cualquiera que sea z ∈ dado a ∈ C. Proposici´ on 1 (F´ ormula de Cauchy para las derivadas). Entonces. por continuidad. r) n! rn ∀n ∈ N ∪ {0} C y f ∈ H(Ω). r) ⊆ Ω. f ∈ H(C). cuando R −→ +∞ 2 (w − a) R R Por tanto f (a) = 0 para todo a ∈ C.r) 1 K f (w ) dw ≤ K = −→ 0. para lo que f debe ser constante. Hellmuth Kneser public´ o una variante constructiva de la demostraci´ on de Argand.r) Proposici´ on 2 (Desigualdades de Cauchy). Dms. Para la demostraci´ on del teorema mostraremos algunos resultados que necesitamos para este cometido. 2. para n ∈ N f (n) (z ) = n! 2πi f (w ) dw (w − z )n+1 C y (1) ∂D(a. Dado a ∈ Ω sea r > 0 tal que D(a. si |z − a| < r. El teorema que dice que toda ecuaci´ on algebraica tiene por lo menos una soluci´ on. a pesar de ser uno de los m´ as importantes postulados de la matem´ atica permaneci´ o mucho tiempo sin demostraci´ on. Sea Ω un abierto no vacio de a ∈ Ω sea r > 0 tal que D(a. Sin embargo. La c´ elebre demostraci´ on de Argand del FTA es un teorema de existencia que no es constructivo.2 4 .

Algebra Universidad de Granada. Dpto. Teorema de ´ Liouville. 5 . 4. n ≥ 1) que no se anule.pdf . para todo positivo existe R tal que para todo z > R se tiene que |f (z ) − L| < Luego z →∞ (5) (6) l´ ım |f (z )| = 0 Es decir para ( = 1) |f (z )| < 1.TEOREMA FUNDAMENTAL DEL ALGEBRA 3. www. Todo polinomio no constante tiene al menos una raiz en C Dms.htm.es/analisis matematico/varcompleja/apuntes/06 − cauchylocal. Enrique R. El teorema Teorema 2. www.pdf . Referencias 1. Teorema Fundamental del Algebra . 2. Aznar. Enrique de Amo Artero. CAPITULO 6:Teoria local de Cauchy. Por la definici´ on de limite al infinito.es/ eaznar/F T A. con lo que p(z ) es constante lo cual es una contradicci´ on a la hip´ otesis. Universidad de Zaragoza. 3.unizar. Universidad de Almer´ ıa.es/ edeamo/capitulo4 ac/vc0405. Facultad de Ciencias Historia ´ del Teorema Fundamental del Algebra (FTA). Desigualdades de Cauchy. www. Departamento de Matem´ aticas. Definamos la funci´ on f (z ) = 1 p(z ) (4) seria una funci´ on entera no nula (anal´ ıtica en toda parte). f (z ) permanece acotado (teorema de Weierstrass) y por el Teorema (1) f tiene que ser constante.ual.ugr. La prueba la haremos por Absurdo. Supongamos que p(z ) = an z n + · · · + a0 es un polinomio no constante (an = 0.