Seccin de Historia

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol. 9, No 1. 2008

Historia del Teorema Fundamental del lgebra (TFA) y algunas curiosidades

Vernor Arguedas
vargueda@amnet.co.cr Escuela de Matemticas Universidad de Costa Rica

Palabras clave: Historia de la matemtica, Teorema Fundamental del lgebra . Podramos enunciar el teorema fundamental del lgebra de la siguiente manera: Teorema 1.1 (TFA) Cada ecuacin polinmica de grado n , con coecientes complejos, tiene n races en el cuerpo de los complejos. De hecho existen muchas formulaciones equivalentes del TFA. Por ejemplo, que cada polinomio real puede ser expresado como producto de factores lineales reales o cuadrticos reales. Los babilonios pudieron resolver algunas ecuaciones de segundo grado y tercer grado hace bastantes siglos, la gran mayora de esta informacin esta perdida. El drama de la irracionalidad de en varios artculos anteriores.

2 en tiempos pitagricos lo hemos comentado

Los estudios (alrededor 800 d.C.) llevados a cabo por Al-Khwarizmi (780-750) quien dio origen a la palabra algoritmo slo buscaban races reales positivas y el TFA como tal careca de sentido.

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol 9, No 1. , 2008.

En http://mimosa.pntic.mec.es/jgomez53/matema/conocer/alkh warizmi.htm hay una corta pero concisa referencia a Al-Khwarizmi. Al-jabr de la cual proviene la palabra lgebra signicaba lo que es til. Para Fibonnacci -Leonardo de Piza (1170-1250) no era posible resolver las ecuaciones de grado 3 por medio de radicales. Cardano (1501-1576) fue el primero en darse cuenta que se poda trabajar con cantidades ms generales que los nmeros reales. El descubrimiento lo hizo al analizar las races de una cbica. Esos mtodos aplicados a la ecuacin x3 = 15x + 4 dieron una respuesta que implicaban la raz cuadrada de -121, Cardano saba que x = 4 era una solucin de la ecuacin y fue capaz de manipular los nuevos nmeros (aunque no entenda como era que funcionaban). Este mdico, astrlogo y jugador empedernido a quien la Santa Inquisicin persigui de viejo, es una de las guras ms importantes en el desarrollo del lgebra, a pesar de todo el Papa le otorg una pensin al nal de sus das. Una biografa de Cardano se encuentra en: http://es.wikipedia.org/wiki/Cardano La ecuacin de tercer grado nos presenta una batalla srdida entre dos personajes quienes armaban haberla resuelto: Scipione del Ferro (1465-1526) y Tartaglia (1499-1557), cuyo verdadero nombre era Niccolo Fontana. Tartaglia signica tartamudo, sobrenombre que le pusieron luego de una herida durante el asedio de su ciudad natal Brescia en 1512. Se le acusa de haber presentado como propia una traduccin de una obra de Arqumedes. En http://es.wikipedia.org/wiki/Niccol%C3%B2_Fontana_Tartaglia se puede leer una breve resea. Tartaglia empez atrabajar el problema de la solucin de la ecuacin de tercer grado cuando se enter que Scipione del Ferro haba resuelto el problema. Este ltimo no lo public y sus trabajos sobre el tema fueron dados a conocer despus de muerto por uno de sus discpulos. Su yerno Annibale Nave tambin matemtico quien estaba casado con la hija de del Ferro, Filippa.
Historia del Teorema Fundamental del lgebra (TFA) y algunas curiosidades. Vernor Arguedas T. Derechos Reservados 2009 Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/)

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol 9, No 1. , 2008.

En 1543, Cardano y Ludovico Ferrari (un alumno de Cardano) viajan a Bolonia en busca de Nave y del manuscrito de su suegro, para analizar este tema. Segn cuenta Ferrari, ambos se encontraron con Nave en Bolonia y ste les muestra el manuscrito de del Ferro donde apareca la resolucin de la ecuacin de tercer grado. Aunque el manuscrito no se conserva, hay conjeturas sobre si del Ferro trabaj sobre el tema como consecuencia de una visita que realiz Pacioli (1445-1517) a Bolonia. Pacioli (http://mimosa.pntic.mec.es/jgomez53/matema/cono cer/pacioli.htm) ense en la Universidad de Bolonia entre 1501 y 1502 y discuti distintos temas matemticos con del Ferro. No se sabe si trataron este tema, pero Pacioli lo incluy en su famoso tratado Summa . En: http://www.sil.si. edu/digitalcollections/incunabula/CF/image_details.cfm?goff =L-0315 se encuentran fotos muy hermosas de esta obra que haba publicado en 1514. Algn tiempo despus de la visita de Pacioli, parece que del Ferro haba resuelto uno de los dos casos con coecientes positivos. En 1925, de acuerdo a manuscritos del siglo XVI, se atribuye a del Ferro un mtodo para resolver el caso: 3x3 + 18x = 60 . Hoy se cree que del Ferro slo poda resolver cbicas de esa forma x3 + mx = n , con m y n positivos. Se sabe, que el caso general, y3 by2 + cy d = 0 , se reduce a este por medio del cambio lineal y = x + b/3 . Obtenindose la cbica reducida anterior con los valores m = c b/3 , n = d bc/3 + 2b/27 . De esta disputa nos ha llegado que Tartaglia ret pblicamente a Nava a resolver una serie de problemas, disputa que nos da una cierta idea de los conocimientos de esa poca. Hasta donde sabemos el combate lo gan ampliamente Tartaglia, eso inclua las bebidas y la comida. Estos acontecimientos llegaron a odos de Cardano quien le solicit a Tartaglia los mtodos que l usaba para resolver la ecuacin de tercer grado. En 1539 Tartaglia le trasmiti a Cardano sus secretos -en la forma de un poema cifrado-con la condicin de que no los revelara. En 1543 Cardano pudo nalmente ver los trabajos originales de del Ferro que mostraban que ste haba resuelto la ecuacin de tercer grado antes que Tartaglia. De esta manera Cardano consider que quedaba libre del compromiso con Tartaglia. En su obra Ars Magna(1545) Cardano describe el mtodo y se lo atribuye a del Ferro.

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol 9, No 1. , 2008.

Bombelli(1526-1572) en su Algebra, publicado en 1572, di unas reglas para manipular estos nuevos nmeros. En la siguiente referencia: http://web.educastur.princast.es/ies/elpiles/ARCHIVOS/paginas/ depar/matematicas/bombelli.htm se encuentra algunos datos adicionales. Con Descartes - 1596- 1650 comienza una nueva poca en su Geometra introduce el concepto de nmero imaginario. No podemos dejar de mencionar que ese apndice del Discurso del Mtodo, es una de las obras ms importantes en la Historia con mayscula de la Matemtica. Con Franciscus Vieta(1540-1603) comienza otro momento en esta milenaria historia. Algunos historiadores arman que con Vieta se inician los fundamentos de lo que 4 siglos despus sera el lgebra moderna.El arm que todo polinomio de grano n , admite n soluciones, no fue el primero, el matemtico amenco Albert Girard en 1629 en su Linvention en algebre, hizo tal armacin, sin embargo no indic que fueran complejos; o sea, nmeros de la forma a + bi , a, b reales. De hecho, ese fue el problema del TFA durante muchos aos puesto que los matemticos aceptaban la armacin de Albert Girard como inmediata!. Aceptaban que una ecuacin de grado n debe tener n races, el problema para ellos era demostrar que tenan la forma a + bi , a, b reales. Aunque parece que Harriot saba que un polinomio que tiene una raz a (en un cuerpo), era divisible por x a . Esto fue establecido por Descartes en 1637 en La gomtrie. Albert Girard no dio estas razones para entender el concepto de raz. Una demostracin de la falsedad del TFA fue dada por Leibniz en 1702 (demostrando as que todos nos equivocamos) cuando asegur x4 + 1 no poda ser escrito como el producto de dos factores cuadrticos complejos. Su error fue no darse cuenta que la unidad imaginaria i tiene dos races cuadradas complejas

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol 9, No 1. , 2008.

2 2 2 2 +i y +i 2 2 2 2 Leibniz era falso.

. Euler, en 1742 demostr que el contraejemplo de

Volvamos a Vieta, el matemtico belga Adrian van Roomen plante como problema a todos los matemticos del mundo, la siguiente ecuacin de grado 45 en 1593, el embajador belga le coment en una visita al rey Enrique IV, que pena, que ningn matemtico francs, pudiera resolver ese problema. El rey mand a llamar a Vieta: la leyenda dice que Vieta la vio, reconoci inmediatamente unas relaciones trigonomtricas y la resolvi. En su euforia el rey imitando a Pitgoras ofreci sacricar cien ovejas para celebrar la ocasin. La ecuacin es la siguiente: A

En donde

= 45x 3795x3 + 95634x5 1138500x7 + 7811375x9 34512, 075x11 +105306075x13 232676280x115 + 384942375x17 488494125x19 +483841800x21 378658800x23 + 236030652x25 117679100x27 +46955700x29 14945040x31 + 3764565x33 740259x35 +111150x37 12300x39 + 945x41 45x45 + x45 45

A=

7 4

5 16

15 8

45 64

El matemtico acionado Larry Freeman mantiene un blog y la solucin de Vieta se puede leer en: http://fermatslasttheorem.blogspot.com/2007/02/van-roomens-pr oblem-solution-explained.html La historia contina: En 1746, DAlembert hizo el primer intento serio de demostracin del TFA. Para un polinomio f, tom dos nmeros reales b, c tal que f (b) = c . Entonces, demostr

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol 9, No 1. , 2008.

que existen dos nmeros complejos z1 y w1 tal que

|z1 | < |c| y |w1 | < |c| con f (z1 ) = w1

Luego, hace un proceso de iteracin el proceso para encontrar una raz de f. Su demostracin tena varias debilidades. En primer lugar, usa un lema sin demostracin que no fue demostrado hasta 1851, por Puiseau, pero cuya demostracin usa el TFA! En segundo lugar, no us ningn criterio de compacidad para la existencia de la convergencia. No obstante, las ideas de la esta demostracin son muy importantes. Eso ha pasado muchas veces y posiblemente pasar, los mtodos se van perfeccionando y las teoras se van anando. Al poco tiempo, Euler fue capaz de probar que todo polinomio real con grado, n < 7 , tiene exactamente n races complejas. En 1749, intent una demostracin del caso general, o sea, el TFA para polinomios reales. Su demostracin, que aparece en Recherches sur les racines imaginaires des quations, est basada en descomponer un polinomio mnico reducido (con an1 = 0 ), de grado n = 2r como el producto de dos polinomios mnicos de grados iguales, 2r1 . Multiplicando posiblemente el polinomio inicial por un factor de la forma ax k y aplicando despus un cambio lineal para convertirlo en uno mnico reducido y de grado potencia de dos. Ya en el Ars Magna de Cardano aparece el cambio de variable para hacer cero el coeciente de la segunda potencia ms grande de la indeterminada. O sea, en descomponer un polinomio mnico de grado 2n en dos de grados m = 2n 1 . En 1772, Lagrange plante objeciones a la demostracin de Euler. Arm que las 0 funciones racionales podan conducir eventualmente a la contradiccin 0 . Lagrange us su conocimiento de las permutaciones de las races para encontrar todos los puntos dbiles de la demostracin de Euler. El nico incoveniente es que el propio Lagrange estaba usando que las races existan y que poda trabajar con ellas y deducir diferentes propiedades. En 1795, Laplace trat de probar el TFA usando el discriminante de un polinomio. Su demostracin era muy elegante solo que de nuevo supona la existencia de las races. A Gauss se le concede el crdito de la primera demostracin del TFA. En 1799, en su tesis doctoral present su esquema de demostracin y tambin todas las objeciones a las anteriores. Fue el primero en observar que todas ellas suponan la existencia de las races y deducan propiedades de ellas. l mismo no arm tener

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol 9, No 1. , 2008.

la demostracin, sino que una demostracin rigurosa deba ir en esos trminos. Esta primera demostracin de Gaus es en esencia topolgica y tiene serios inconvenientes. Hoy da no es aceptada. En 1814, el contable suizo Jean Robert Argand public una demostracin del TFA que posiblemente sea la ms simple de todas. Su demostracin est basada en una idea de dAlembert de 1746. Argand haba esquematizado esas ideas en una publicacin anterior, Essai sur une manire de reprsenter les quantitis imaginaires dans les constructions gometriques. En ese artculo interpretaba la unidad imaginaria i como un giro de 90 en el plano, haciendo surgir lo que hoy da llamamos plano de Argand o diagrama de Argand; o sea, la representacin geomtrica de los nmeros complejos. En su artculo Rexions sur la nouvelle thorie danalyse, Argand simplica la idea usando un teorema general sobre la existencia de un mnimo de una funcin continua. En 1820, Cauchy le dedic un captulo completo de su Cours danalyse a la demostracin de Argand (aunque sorprendentemente no adjudica el crdito a nadie, o sea no nombra a Argand). Esta demostracin en aquella poca no es completamente rigurosa, ya que el concepto de extremo inferior no haba sido desarrollado todava. La demostracin de Argand fue recogida por Chrystal en su libro de texto Algebra en 1886. Este libro fue muy divulgado y la demostracin de Argand se hizo famosa. En 1816, dos aos mas tarde de la demostracin de Argand, Gauss di una demostracin del TFA. Gauss us la aproximacin de Euler pero en vez de operar con races que pueden no existir, Gauss opera con indeterminadas. Esta demostracin completa la de Euler y parece correcta. Otra demostracin (tercer intento) de Gauss tambin de 1816 es, como la primera, de naturaleza topolgica. Gauss introduce en 1831 el trmino nmero complejo. En 1821, Cauchy haba introducido el trmino conjugado. Sin embargo, las crticas de Gauss a la demostracin de Lagrange-Laplace del TFA no fueron aceptadas en Francia. En la segunda edicin, de 1828, del tratado de ecuaciones de Lagrange no aparece todava ninguna demostracin salvo la incorrecta de Laplace-Lagrange. En 1849, 50 aos despus de su primer intento, Gauss produjo la primera demostracin del enunciado general de que una ecuacin de grado n con coecientes complejos tiene n races complejas. La demostracin es similar a la primera (con
Historia del Teorema Fundamental del lgebra (TFA) y algunas curiosidades. Vernor Arguedas T. Derechos Reservados 2009 Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/)

Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/). Vol 9, No 1. , 2008.

los mismos inconvenientes), lo nico que hace es deducir el resultado para coecientes complejos a partir del resultado sobre polinomios reales. Merece la pena resaltar que, a pesar de la insistencia de Gauss de no suponer la existencia de las races cuando se trata de demostrar su existencia. l msmo crea, como todos en su poca, que haba una jerarqua de cantidades imaginarias de las cuales los nmeros complejos eran solo los ms simples. Gauss los llam "sombra de sombras". En 1843, buscando esas generalizaciones de los nmeros complejos, Hamilton descubri los cuaternios, aunque estos no son conmutativos. Tienen todas las propiedades de un cuerpo salvo la conmutativa del producto. La primera demostracin de que el nico cuerpo (conmutativo) algebraico que contiene a los nmeros reales es C, la di Weierstrass en sus lecciones de 1863. sta fue publicada en el libro de Hankel, Theorie der complexen Zahlensysteme. Naturalmente, todas las demostraciones anteriores son vlidas, una vez que se establece el resultado de la existencia del cuerpo de descomposicin de cualquier polinomio. Frobenius, en la celebracin en Besel del bicentenario del nacimiento de Euler dijo: Euler di la demostracin ms algebraica de la existencia de las races de una ecuacin, basndose en que una ecuacin real de grado impar tiene, por continuidad, que tener una raz real. Es injusto atribuir la demostracin totalmente a Gauss, que en realidad slo aadi los toques nales. La clebre demostracin de Argand del TFA es un teorema de existencia que no es constructivo. Sin embargo, en 1940,el matemtico alemn Hellmuth Kneser(18981973). public una versin constructiva de la demostracin de Argand. H. Kneser, Der Fundamentalsatz der Algebra und der Intuitionismus, Math. Zeitschrift, 46, 1940, pp. 287-302. Esa demostracin fue simplicada en 1981, por su hijo Martin Kneser. M. Kneser, Ergaeanzung zu einer Arbeit von Hellmuth Kneser uber den Fundamentalsatz der Algebra, Math. Zeitschrift, 177, 1981, pp. 285-287. En la Universidad de Nijmegen en Holanda se estableci un proyecto de investigacin sobre el TFA , el cual creo lleg hasta el ao 2000. En la direccin http://www.cs.ru.nl/~freek/pubs/kneser.pdf se puede bajar un artculo muy interesante al respecto en donde se presenta un versin constructiva del TFA en base a los trabajos de los Knessers. El grupo sobre el TFA mantiene una pgina en http://www.cs.ru.nl/~freek/fta/ que da informacin valiosa a quienes deseen ver los lenguajes de computacin que utilizan

en algunas soluciones constructivas. Incluso hay algoritmos en Coq (el programa desarrollado por el INRA de Francia) implementando el teorema de Kneser.

Historia del Teorema Fundamental del lgebra (TFA) y algunas curiosidades. Vernor Arguedas T. Derechos Reservados 2009 Revista digital Matemtica, Educacin e Internet (www.cidse.itcr.ac.cr/revistamate/)