Historias de Matemticas Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Revista de Investigacin

Pensamient Matemtic
ISSN 2174-0410

G.I.E

1 de octubre de 2011
Resumen Este artculo ofrece en su ltima seccin, una traduccin comentada de la memoria que Niels Henrik Abel public en 1824, para demostrar la imposibilidad de resolver la ecuacin de quinto grado mediante radicales (Teorema de Abel-Rufni). Adems se ofrece una visin general de las dicultades que debi sufrir a lo largo de su vida, anhelando siempre un puesto de privilegio entre la comunidad cientca de su tiempo, que sistemticamente le neg el lugar que la historia de la matemtica acab reservndole. Palabras Clave: Abel, Quntica, ecuaciones algebraicas, mtodo de los radicales.

1. Introduccin
A lo largo de la historia, fueron muchos los que intentaron resolver las ecuaciones de grado cinco y superior por mtodos de radicales, al igual que se haba llegado previamente a esta solucin para la cuadrtica, cbica y bicuadrtica. Pero todos y cada uno de ellos lamentablemente desconocan que este logro era imposible de lograr. Ya Carl Friedrich Gauss (1777-1855) en su Disquisitiones Arithmeticae (1799) haba intuido esta posibilidad, aunque no ofreci demostracin alguna. Haciendo uso de los trabajos sobre permutaciones de Joseph Louis Lagrange ( 1736-1813), Paolo Rufni (1765-1822), fue el primero en acertar con la estrategia utilizada para demostrar que las ecuaciones polinmicas de grado superior al cuarto son irresolubles por radicales, problema que permaneca abierto desde el siglo XVI y que sera nalmente resuelto por

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

el francs alma gemela1 de Abel, Evariste Galois (1811-1832). Lamentablemente el trabajo de Rufni no fue del todo aceptado por los matemticos del momento, quizs debido a la todava en paales teora de las permutaciones de Lagrange o quizs por la negacin a la aceptacin de la imposibilidad de resolver algunas ecuaciones mediante radicales. El caso es que estudios posteriores conrmaron que haba una pequea laguna en los trabajos de Rufni, lo que haca de su demostracin insuciente. El ataque denitivo del problema se llevara a cabo desde las glidas tierras noruegas, donde el joven matemtico Abel (con tan slo 21 aos) demostrara denitivamente esta imposibilidad de resolver la ecuacin de grado cinco por mtodos radicales, y lo que resulta evidente debido al aislamiento de Noruega a principios del siglo XIX, de forma independiente a los resultados obtenidos por Rufni. Abel bas principalmente su estrategia y esfuerzos en los resultados sobre permutaciones obtenidos por Lagrange y por una gura admirada y a la vez en cierto modo odiada (ms adelante en la breve biografa de Abel el lector sabr por qu digo esto) como Augustin Louis Cauchy (1789-1857). Cabe destacar que el trabajo en cuestin de Cauchy sobre permutaciones (1815) estaba basado fundamentalmente en los trabajos de Rufni, sin embargo ste le fue ajeno a Abel, quien desconoca en 1824, ao en el que prepar su memoria, los trabajos del ilustre italiano.

2. Niels Henrik Abel (1802-1829)

Sobre la vida y obra de Niels Henrik Abel se ha escrito una gran cantidad de bibliografa. Casi toda, por no decir la totalidad, coincide en una misma armacin, que Abel ha sido el matemtico escandinavo ms brillante de la historia. Su vida presenta todos los ingredientes de un melodrama; la pobreza de un genio que muere consumido en su barrio natal, mientras que egostas acadmicos le niegan un lugar privilegiado entre ellos que tanto necesitaba y mereca. Desafortunadamente, estos mismos acadmicos slo fueron capaces de recticar la injusticia cometida con l cuando ya era demasiado tarde, el cuerpo y el genio de Abel se haban ido apagando poco a poco, vctimas de la incomprensin y la tuberculosis.

Niels Henrik Abel

Sren Georg Abel, prroco luterano de una pequea isla de la ciudad de Stavenger llamada Finny, en la costa sudoccidental noruega, era un ambicioso telogo educado en la Universidad de Copenhage; su mujer, Anne Marie Simonsen, era la hija de Niels Henrik Saxild Simonsen, un mercader de Risr, dueo de una ota de barcos. Su segundo hijo Niels Henrik, naci el 5 de Agos1 Podemos considerar que las vidas de ambos tuvieron una particular similitud. Ambos sufrieron una genialidad incomprendida para los conservadores cnones de la poca que les toc vivir. Ambos murieron jvenes, sin darles tiempo a disfrutar de un futuro ms prometedor, acorde a los resultados que fueron capaces de alcanzar. Juntos sentaron las bases del nacimiento del lgebra moderna, y sin embargo, nunca fueron sucientemente reconocidos en vida.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

to de 1802. Fue el segundo de siete hermanos (seis nios y una nia). Cuando Niels tena slo un ao de edad, su padre fue designado pastor de un lugar llamado Gjerstad cerca de Risr. Aquellos primeros aos fueron tiempos difciles, dado que Noruega pasaba por un poca crtica para su desarrollo poltico y econmico. En el pas dominaba la pobreza, el hambre, y la caresta. Antes en 1789 haba comenzado la Revolucin francesa, y aos ms tarde, el gran conquistador Napolen en el apogeo mximo de su poder e inuencia sobre Europa, haba forzado a Noruega a la unin poltica con Dinamarca, y aunque ambas naciones pretendieron ser neutraIglesia de Gjerstad. Foto tomada en torno a 1890-1895 les en el transcurso de las guerras que se desencadenaron, sufrieron un fuerte ataque naval de Inglaterra en Copenhague (1801), y un bloqueo de la costa noruega en 1807, adems de tener que afrontar posteriormente un enfrentamiento militar con Suecia (1813). Tras las guerras napolenicas, dado que los noruegos haban realizado varios intentos de independizarse de Dinamarca sin xito, su padre, un profundo nacionalista, y habida cuenta de su actividad poltica , fue considerado para ser elegido miembro en el cuerpo legislativo del Storting o Parlamento Noruego, encargado en 1814 de reescribir la constitucin noruega con el n de disolver la unin con Dinamarca y pactar la anexin a Suecia, monarqua bajo el reinado de Carlos XIII. Unos aos antes, Sren, que era un intelectual que lea con asiduidad a Voltaire, haba promovido campaas de alfabetizacin y vacunacin en la Noruega rural. Tambin promovi la fundacin de la primera Universidad noruega en Cristiana2 que tuvo lugar en 1811, la cual se pudo crear al proveerse de un Cristiana en julio de 1814 cuerpo docente constituido por Pintura de Margrethe Kristine Tholstrup los mejores maestros de la Escuela Catedralicia de Cristiana (existente desde la Edad Media), inaugurando la docencia universitaria en 1813. Pero Noruega estaba inmersa en una profunda crisis, y el padre de Abel
2 En 1624, se produjo un incendio que destruy gran parte del Oslo medieval (la parte ahora conocida como Gamlebyen) y la nueva ciudad fue ubicada cerca de la Fortaleza de Akershus. El Rey Cristin IV de Dinamarca y Noruega renombr la nueva ciudad como Christiania (o Cristiana, en castellano). Desde nales de los aos 1800, el nombre de la ciudad apareci escrito tambin como Kristiania. No se aprob ocialmente ninguna de ellas, por lo que ambas eran vlidas y se aceptaban sus usos. El nombre original de Oslo fue recuperado en una ley del 11 de julio de 1924, siendo efectiva a partir del 1 de enero de 1925.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

fue incapaz de resolver la precaria situacin familiar, por lo que difcilmente pudo lograr escolarizar a su primognito y a Niels Henrik. A la edad de trece aos, en 1815, su hijo Niels ingresara a duras penas en la Escuela Catedralicia de Cristiana. La escuela tena una inmejorable reputacin, pero acababa de perder a parte de sus mejores profesores que se haban mudado a la Universidad Real Frederik, lo que provoc que parte del entusiasmo intelectual de los alumnos de la Catedralicia se viera pronto frenado. Al principio de su instruccin, Abel se mostrara como un estudiante indiferente, ms bien mediocre y sin que ni siquiera las matemticas le despertaran atraccin alguna. Sin embargo, afortunadamente, se produjo un inesperado cambio en su actitud tras la muerte de un condiscpulo suyo ante los malos tratos recibidos por un maestro brutal que se exceda con mtodos pedaggicos mediante castigos corporales a sus alumnos. El maestro fue entonces relevado (1818) por un joven aunque capacitado profesor matemtico llamado Bernt Michael Holmbo (1795-1850), quien inici su misin motivando a sus alumnos para que resolvieran por s mismos algunos problemas de lgebra y geometra. Supo as vislumbrar entonces el gran potencial de Abel, teniendo que escoger cuestiones especiales para l, a la vista de su enorme capacidad. Segn coinciden varios historiadores, es en aquel momento crucial de la vida de Abel, cuando se consagra a las matemticas con la pasin ms ardiente, adquiriendo rpidamente un pleno conocimiento de las matemticas elementales. Bajo las enseanzas de Holmbo, el joven Abel comenz a familiarizarse con trabajos de mayor nivel como los de L. Euler (1707-1803) sobre el clculo (obras que fueron textos universitarios durante ms de cien aos)3 , Lagrange y Laplace. Registros Bibliotecarios, acreditan que durante su primer ao universitario, Abel haba solicitado en prstamo, la Arithmetica Universalis y Principia Mathematica de I. Newton, Disquisitiones Arithmmeticae de C. F. Gauss, o Calcul de fonctions de J. L. Lagrange entre otras obras de grandes maestros. Aos ms tarde le preguntaron cmo pudo situarse tan rpidamente en primera la, a lo que Abel replic: . . . estudiando a los maestros, no a sus discpulos. En esta poca, la carrera poltica del padre de Abel acababa de forma inesperada y trgica en Septiembre de 1818, expulsado del Parlamento debido a falsas acusaciones contra algunos de sus colegas. Inmerso en una profunda depresin, Sren se haba refugiado en la bebida como vlvula de escape a sus problemas lo que le hizo enfermar gravemente. El padre de Abel falleca slo dos aos despus en 1820. Como ancdota, en el funeral, su viuda Anne Marie Abel bebi en exceso y se fue a la cama con uno de sus sirvientes a la vista de todos los asistentes al acto. Esta prdida sumira a la familia en una situacin crtica, recayendo sobre Abel una gran responsabilidad para su sustento, ya que su hermano mayor estaba incapacitado para trabajar por enfermedad.
A los 16 aos, Abel generaliz el teorema del binomio formulado por Isaac Newton (y extendido luego a los nmeros racionales por Euler), dando una prueba vlida, no slo para nmeros enteros y racionales, sino tambin para los casos de exponentes irracionales e imaginarios.
3

Bernt Michael Holmbo

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Su madre cay en una profunda depresin difcil de superar lo que la hizo convertirse en una alcohlica. En 1821, a pesar de la precaria situacin en la que vivan l y su familia, Abel logra ser matriculado en la Universidad Real Frederik y en atencin a una solicitud tramitada por su mentor Holmbo, se le concede a Abel con carcter excepcional, alojamiento gratuito y una modesta aportacin monetaria para pequeos gastos (parte de la misma sufragada particularmente por el propio Holmbo). En aquel entorno universitario y en su ciudad, Abel ya estaba reconocido como un genio sobre el que sus profesores comenzaban a depositar grandes esperanzas desde el punto de vista cientco. Durante su ltimo ao en la universidad, cuando slo tena veinte aos, Abel comenz a atacar el viejo problema de encontrar la solucin de la ecuacin general quntica mediante operaciones algebraicas. En trminos concretos, se trataba de encontrar la solucin mediante radicales de la ecuacin general de quinto grado ax5 + bx4 + cx 3 + dx2 + ex + f = 0; es decir, hallar una frmula que exprese sus races en trminos de coecientes a, b, c, d, e y f dados, de modo que slo incluya un nmero nito de las operaciones de adicin, sustraccin, multiplicacin, divisin y extraccin de races. Abel no slo estuvo al tanto de los trabajos desarrollados por Niels Henrik Abel (retrato original)4 Cardano, Tartaglia y Bombelli para las ecuaciones cbica y curtica, sino que conoca muy bien la problemtica pendiente, estimulado por el trabajo de algunos maestros como Lagrange y su obra Rexions sur la rsolution algbrique des quations (1770)5 donde haba reconsiderado crticamente los mtodos y fracasos de todas las tentativas de bsqueda de soluciones para las ecuaciones algebraicas. Paolo Rufni (1765-1822) intent probar la imposibilidad de la resolucin algebraica de la ecuacin general de grado n > 4, primeramente en su Teoria generale della equazione en 1799, y ms tarde en su Reessioni intorno alla soluzione della equazioni algebriche generali en 1813. Tuvo xito con su primera versin de la demostracin haciendo uso del mtodo de Lagrange, que establece que no existe ninguna ecuacin resolvente6 que satisfaga una ecuacin de
4 Este es el nico retrato de Abel que se hizo en vida. Se trata de un grabado realizado por Johan Grbitz en otoo de 1826 durante su estancia en Pars. Matematisk Institutt, Universidad de Oslo. 5 Este trabajo inuy tanto en Rufni como en Abel para el caso n > 4, y tambin condujo a Galois a su Teora de Grupos. Debe aadirse que Abel tuvo conocimiento de los trabajos de Rufni, por una referencia que realiz Cauchy sobre l en su trabajo de 1815. 6 El trmino resolvente (del latn aequatio resolvens) signica ecuacin que resuelve. Los referidos intentos de resolucin eran equivalentes al establecimiento de la teora algebraica de la resolvente, es decir, el hallazgo de otra ecuacin algebraica de grado menor (en general) cuyos coecientes sean funciones racionales de los coecientes de la ecuacin de partida, y tal que aquella permita hallar las races de esta ltima.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

grado menor que cinco. Rufni hizo uso, aunque sin demostrarlo, de un teorema ya hoy conocido como el Teorema de Abel-Rufni, en el que se arma que si una ecuacin es resoluble con el uso de radicales, las expresiones para las races pueden darse de tal forma que los radicales en ellas sean funciones racionales con coecientes racionales de las races de la ecuacin dada y las races de la unidad. A pesar de todo, no pudo lograr una fundamentacin de acuerdo a los estndares matemticos de la poca. En trabajos posteriores, formulara una regla de clculo aproximado de races. El primer triunfo real del problema corresponde a Abel, al parecer independientemente de Rufni, seguramente debido a la imposibilidad de encontrar en una Noruega bastante precaria, documentos cientcos importantes de calidad, y adems, de haberlos hipotticamente, Abel hubiera sido incapaz de comprenderlos, ya que no manejaba por aquel entonces el italiano. Rufni haba basado sus trabajos sobre el problema en los resultados sobre permutaciones obtenidos por J. L. Lagrange. Al igual que otros que haban considerado errneamente Paolo Rufni resolver el problema antes que l, Abel crey en un principio haber descubierto la resolucin del problema de la quntica; sin embargo, a la vista de que ni Holmbo ni ninguno de los mejores matemticos de Noruega (Christopher Hansteen, Sren Rasmussen,. . .) pudieron comprobar la veracidad de su conjetura, envi a travs de Holmbo la presunta resolucin al matemtico profesor Ferdinand Degen en Copenhague, para que la presentase a la Real Sociedad de Ciencias de Dinamarca. Degen le contest requirindole algn ejemplo numrico, sin comprometerse a emitir un juicio. Esa respuesta contena la advertencia de que estudiara las integrales elpticas7 . Fue entonces cuando Abel se puso a trabajar en la bsqueda de ejemplos, hallando ms tarde un error en su razonamiento, lo que le suscit su primera gran decepcin, aunque este hecho le motivara para reconducir su estrategia en la direccin correcta. Abel se dio cuenta de que su estrategia no era la adecuada y no haba tenido xito en su empresa y aparc de momento el problema de la quntica. Entonces centr su atencin y sus energas en las integrales elpticas y se dio cuenta de que las funciones inversas de las integrales elpticas, esto es las funciones elpticas, tenan propiedades muy interesantes. Con respecto a sus gustos, aciones y carcter, Abel mostraba un gran inters por el teatro, pero nulo por la msica. A veces mostraba un espritu impetuoso, mientras que otras entraba en profundas depresiones; todo esto sugiere que sufra cambios de humor con tendencias manaco depresivas. Era muy modesto y aparentemente amable, y siempre estaba dispuesto a ayudar a sus amigos cuando fuera necesario. Abel no ofreca nada notable en su aspecto general. Era de estatura media, complexin delicada y ojos azul claro, y vesta siempre con un atuendo simple y descuidado. Quizs lo nico destacable de su carcter era que no resultaba ser una persona demasiado extrovertida. En 1822 conseguira la graduacin.
7 Esto hizo que Abel se iniciara en la que sera su segunda contribucin fundamental para las matemticas, que le condujo a su famosa memoria de Pars y su posterior competicin con Jacobi.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Durante su estancia en la Universidad, fueron los propios profesores quienes le ayudaron a su manutencin. Abel haba encontrado en cierto modo una acogida lo ms similar posible a un ambiente familiar en la casa del cientco, explorador, catedrtico de Oslo y profesor de Astronoma Christopher Hansteen, Residencia de estudiantes en Oslo quien le haba dado un techo en una habitacin del tico de su vivienda, y consideraba a su esposa como una segunda madre, ya que sta cuid de l como si de un hijo se tratara, y en estos aos difciles le ayud enormemente. Abel public su primer artculo en una revista de Ciencias Naturales (Magazin for Naturvidenskaben) impresa en NoAntigua Universidad de Cristiana (a nales del siglo XIX) ruega, y de la que Hansteen era uno de sus editores. Se publicaron algunos breves trabajos de Abel, pero pronto se comprob que aquel material que Abel presentaba no era muy comn. En 1823, escribi un ensayo en francs titulado Solution de quelques problmes a laide dintgrales dnies, aparece por primera vez el planteamiento y la solucin de una ecuacin integral. Busc nanciacin en la Universidad para poder publicarlo, sin embargo el trabajo se perdi mientras estaba siendo revisado. Al contrario que Noruega, Dinamarca contaba con una buena escuela de matemticas. Por ello en el verano de 1823, con la edad de veintin aos, y a instancias de su benefactor Hansteen, el profesor Rasmussen concedi a Abel una modesta beca de 100 speciedaler8 (propulsada con la ayuda de profesores de la Universidad) para visitar a Ferdinand Degen o von Schmidten entre otros clebres matemticos daneses en Copenhague. Una vez all, Abel realiz algunos estudios acerca del ltimo teorema de Fermat. El to de Abel, Peder Mandrup Tuxen, traba- Christine Kemp, retrato jaba en la base naval de Christianshavn, en Copenhague, de Johan Grbitz, 1835 donde conoci a una joven llamada Christine Kemp, hija de un comisario de guerra en Dinamarca, con quien entabl una relacin sentimental. Se dice de ella que no era especialmente bella, pero gozaba de un
8 Moneda Noruega en circulacin entre 1816 y 1875. Ms tarde sera sustituida por el rigsdaler specie, y este a su vez por la corona noruega. Al cambio 1 corona noruega = 1 /4 speciedaler.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

excepcional buen carcter. En 1824, Christine se mudara a Son en Noruega donde trabaj como institutriz para estar cerca de su novio, y en las navidades de ese mismo ao se prometeran. Tras su retorno de Copenhague, Abel retom nuevamente el problema de la ecuacin quntica. Ya a nales de 1823, fue capaz de demostrar correctamente que en general, sta no poda ser resuelta mediante radicales, resultado ampliado ms tarde por Galois a las ecuaciones de grado mayor. Public su primera demostracin en una memoria en 1824 que comenzaba as: Los gemetras se han ocupado mucho de la solucin general de las ecuaciones algebraicas y varios de ellos trataron de probar la imposibilidad. Pero, si no estoy equivocado, no han tenido xito hasta ahora. y segua, Uno de los problemas ms interesantes del lgebra es el de la solucin algebraica de las ecuaciones, y observamos que casi todos los matemticos distinguidos se han ocupado de este tema. Llegamos sin dicultad a la expresin de las races de las ecuaciones de los cuatro primeros grados en funcin de sus coecientes. Fue descubierto un mtodo uniforme para resolver estas ecuaciones, y se crey sera aplicable a las ecuaciones de cualquier grado, pero, a pesar de todos los esfuerzos de Lagrange y de otros distinguidos matemticos, el n propuesto no fue alcanzado. Esto llev a la creencia de que la solucin de las ecuaciones generales era algebraicamente imposible; pero esta creencia no poda ser comprobada, dado que el mtodo seguido slo llevaba a conclusiones decisivas en los casos en que las ecuaciones eran solubles. En efecto, los matemticos se proponan resolver ecuaciones sin saber si era posible. As se poda llegar a una solucin, pero si por desgracia la solucin era imposible, podramos buscarla durante una eternidad sin encontrarla. Para llegar infaliblemente a una conclusin debemos por tanto seguir otro camino. Podemos dar al problema tal forma que siempre sea posible resolverlo, cosa que podemos hacer con cualquier problema. En lugar de preguntarnos si existe o no una solucin de relacin que no nos es conocida, debemos preguntarnos si tal relacin es en efecto posible. . . Cuando se plantea un problema de esta forma, el enunciado contiene el germen de la solucin e indica el camino que debe seguirse, y yo creo que habr pocos ejemplos donde seamos incapaces de llegar a proposiciones de ms o menos importancia, hasta cuando la complicacin de los clculos impida una respuesta completa al problema. Abel sigue diciendo que debe seguirse el mtodo cientco, pero ha sido poco usado debido a la extraordinaria complicacin de los clculos algebraicos que supone. Pero en muchos ejemplos esta complicacin es slo aparente y se desvanece en cuanto se aborda. y aade,

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

He tratado de esta forma diversas ramas del Anlisis, y aunque muchas veces me he encontrado ante problemas ms all de mi capacidad, he llegado de todos modos a gran nmero de resultados generales que aclaran la naturaleza de esas cantidades cuya dilucidacin es el objeto de las Matemticas. En otra ocasin mencionar los resultados a que he llegado en esas investigaciones y el procedimiento que me ha conducido a ellos. En la presente memoria tratar el problema de la solucin algebraica de las ecuaciones en toda su generalidad. Desafortunadamente el resultado de la impresin de este trabajo dej mucho que desear, fundamentalmente debido a que Abel slo utiliz seis pginas para ello con el objetivo de ahorrar costes de impresin, lo que le inri un carcter bastante eclctico e incluso ilegible en ocasiones. Una versin mucho ms elaborada aparecera ms tarde en 1826, en el primer volumen del Journal de Crelle (del que hablaremos ms adelante). Para entonces el Senado de la Universidad de Cristiana, reconoci la excepcional habilidad de Abel, y decidi que deba ser considerado receptor de una beca para estudiar alemn y francs, y visitar los centros matemticos ms importantes del continente (en Alemania y Francia). Los fondos necesarios provendran del Estado (200 speciedaler anuales por un periodo de dos aos). En agosto de 1825, Abel junto a otros cuatro jvenes cientcos de la universidad (Christian P. B. Boeck, Balthazar M. Keilhau, Nicolay B. Mller y Otto Tank) emprendieron su viaje por las universidades de Francia y Alemania. El plan original consista en que primeramente Abel deba visitar a Degen en Dinamarca, pero a su llegada encontr que ste ya haba fallecido. En su viaje por tierras germanas, Abel decidi acompaar a sus compaeros que se dirigan a Berln. Previamente hizo un alto en las proximidades de Hamburgo, en Altona, donde contact con el astrnomo Heinrich Christian Schumacher (amigo de Gauss). Una vez llegaron a Berln, decidieron que pasaran all el invierno. Abel gast gran parte de sus fondos en Berln, pero tuvo la Berln, Heinrich Hintze, 1829 gran suerte de que entr en contacto, previa misiva de recomendacin de von Schimidten, con August Leopold Crelle (1780-1855), quien se convertira en un personaje vital en su vida tanto personal como profesional. Crelle era un exitoso ingeniero civil que diriga grandes obras pblicas de ferrocarril en Prusia, y gozaba de un mayor peso especco en el mundo matemtico que su gran benefactor hasta el momento Holmbo. Nacido en 1780, haba desarrollado un temprano inters por las matemticas, y publicado algunas obras sobre matemticas aplicada y escolar. En 1826, cuando lleg Abel, Crelle acababa de fundar el Journal fr die reine und angewandte Mathematik (Diario sobre matemtica pura y aplicada), llamado comnmente Journal de Crelle. 9

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Este hecho provoc que debido a la emisin regular del diario, Berln fuera considerada una importante ciudad en el mundo matemtico. Aunque su objetivo era cubrir tambin aspectos formales de matemticas aplicadas, pronto se centra prcticamente de forma exclusiva en la matemtica pura. Crelle sostena que: . . . las matemticas puras deberan ser explicadas en primera instancia sin prestar atencin a sus aplicaciones. Debera desarrollarse puramente desde y para s misma, para que slo de esta manera pueda ser libre para moverse y evolucionar en cualquier direccin. En la enseanza de las aplicaciones matemticas, ste es el resultado particular que la gente busca. Sern extremadamente sencillas de encontrar para aquellos que estn cientcamente entrenados, y los que hayan captado su espritu. En el prefacio del primer nmero de su Journal, Crelle declar sus objetivos: no slo se publicaran nuevos artculos sino que una seleccin de artculos publicados en otras lenguas seran traducidos al alemn. El propio Crelle haba traducido al alemn el libro de geometra de Legendre y algunos de los trabajos de Lagrange. Pronto, el Journal adquiri carcter internacional, gracias a los contactos de Crelle en Pars entre otros lugares. Tena un don extraordinario para descubrir jvenes prometedores matemticos y animarlos. Los primeros trabajos de Abel, Dirichlet, Eisenstein, Grassmann, Hesse, Jacobi, Kummer, Lobachevski, Mbius, Plcker, von Staudt, Steiner y Weiertrass fueron todos publicados en el Journal de Crelle.

August Leopold Crelle

Crelle era un hombre de carcter afable y sociable. Despus de que Abel lo conociera en Enero de 1826, ste escribi a su antiguo profesor Holmbo: No puede usted imaginar qu hombre tan excelente es, exactamente tanto como uno mismo debera ser; pensativo y sin embargo terriblemente corts como muy poca gente, bastante honesto llegado el caso. Cuando me encuentro con l, me siento tan agusto como cuando estoy con usted o con otros buenos amigos. Cuando Abel lleg a Berln, Crelle estaba pensando en lanzarse a esta gran aventura con sus propios medios econmicos y Abel tuvo una parte en que tomara la decisin. Existen dos relatos acerca de la primera visita de Abel a Crelle, ambos interesantes. Por aquella poca Crelle desempeaba un cargo del gobierno para el que tena poca aptitud y menos gusto: el de examinador del Instituto de Industria (Gewerbe-Institut) en Berln. El relato de Crelle, de tercera mano (Crelle a Weierstrass y ste a Mittag-Lefer), de esta visita histrica es el siguiente: Un buen da, un joven muy desconcertado, con un rostro juvenil e inteligente, penetr en mi habitacin. Creyendo que se trataba de un candidato para ingresar en el Instituto le expliqu que eran necesarios diversos
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

10

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

exmenes. Al n, el joven abri su boca y dijo en muy mal alemn: No exmenes, slo Matemticas!. Con los nimos, el apoyo y la amistad de Crelle, Abel public sus trabajos de forma regular en el Journal; para entonces Crelle ya se haba percatado de que estaba ante un autntico genio matemtico. El primer volumen por s slo contena siete de sus trabajos, y los siguientes volmenes muchos ms la mayora de ellos de importancia suprema. En total lleg a publicar 22. La estancia de Abel en Berln, de unos cinco meses, inuy sobremanera en su vida profesional. All ley el Analyse Algbrique de A. L. Cauchy por quien manifestara ms adelante una gran admiracin por el conjunto de sus trabajos. En uno de sus artculos sobre la quntica, Abel ya haba usado resultados de Cauchy sobre permutaciones. En una carta a Hansteen, Abel habla fundamentalmente de dos temas, el primero la necesidad de inferir al Anlisis Matemtico un fundamento rme, y el segundo una imagen de su humanidad y optimismo a pesar de todas las contrariedades con las que se haba encontrado a lo largo de su vida. En el anlisis superior pocas proposiciones han sido demostradas con un rigor suciente. En todas partes encontramos el desgraciado procedimiento de razonar desde lo especial a lo general, y es un milagro que esta forma de razonar slo rara vez nos haya llevado a la paradoja. Es en efecto extraordinariamente interesante buscar la razn de esto. Esta razn, en mi opinin, reside en el hecho de que las funciones que hasta ahora se presentan en el Anlisis pueden ser expresadas en su mayor parte por potencias. . .. Cuando seguimos un mtodo general ello no es muy difcil [para evitar trampas]; pero tengo que ser muy circunspecto, pues las proposiciones sin prueba rigurosa (es decir sin prueba alguna) se han apoderado de m en tal grado que constantemente corro el riesgo de usarlas sin nuevo examen. Estas bagatelas aparecern en el Journal publicado por el Sr. Crelle. Expresa luego la gratitud a como fue tratado en Berln. Cierto es que pocas personas se interesaron por m. Pero estas pocas han sido innitamente cariosas y amables. Quiz pueda responder en alguna forma a las esperanzas que han puesto en m, pues es desagradable para un bienhechor ver perderse todos sus esfuerzos. En la primavera de 1826, era el momento de que Abel se dirigiera a Pars. Crelle prometi acompaarle e intentar realizar una parada en Gotinga y concertar una visita con Gauss. Desafortunadamente asuntos de negocios impidieron a Crelle dejar Berln. Previamente Abel haba enviado a C. F. Gauss una copia de sus trabajos con la demostracin del problema de la quntica, motivo principal por lo que en el viaje se haba planicado hacer un alto en Gotinga para tener una entrevista con l. Cabe destacar la gran decepcin y desengao que sufri Abel cuando se enter de la noticia de que Gauss, sin ni siquiera echar un vistazo al breve folleto con la demostracin de la resolucin de la quntica por radicales, manifestaba textualmente:
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

11

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

He aqu otra de esas monstruosidades! Es claramente evidente que si Gauss se hubiera dignado a enterarse de algunos de los prrafos de la obra, hubiera mostrado otro inters por el trabajo que lleg a sus manos. Quizs no atribuy la importancia que mereca a la resolubilidad por radicales, y no supo vislumbrar que estaba ante el nacimiento del lgebra moderna, de la que tanto Abel como Galois deben ser considerados los padres naturales. Cuando Abel se enter de la reaccin de Gauss, decidi no visitarlo, no ocultando desde entonces su antipata por aqul, que manifestaba siempre que encontraba ocasin. As, Abel llegara a decir de Gauss: Jams en sus grandes trabajos descubre la idea generadora. Es como el zorro, que con la cola va borrando el camino que sigue, para que nadie pueda ir detrs. Durante la estancia de Abel en Berln, surgi un puesto vacante de profesor en su alma mater9 de forma inesperada, pero antes incluso de que Abel conociera este hecho la vacante fue ocupada por su mentor Holmbo. Abel fue considerado demasiado joven e inexperto. Una vez conoci la noticia se sinti terriblemente desdichado, puesto que sera bastante difcil que volviera a surgir una oportunidad similar en bastante tiempo. Quera casarse pero difcilmente podra hacerlo sin una posicin asegurada. Christopher Hansteen Quizs el querer resarcirse de esta decepcin fue el motivo por el que en lugar de encaminarse a Pars, Abel decidi prolongar su viaje (a todas luces, en perjuicio de su salud y de su carrera, adems de tratarse de un viaje que poco tena que ofrecerle desde el punto de vista cientco) para disfrutar en algunas juergas con sus compaeros estudiantes, dirigindose hacia Venecia y el norte de Italia, para atravesar los Alpes en su ruta hacia la capital francesa. Como justicacin, Abel escribira a Hansteen: Pens al principio marchar directamente desde Berln a Pars, satisfecho con la promesa de que el Sr. Crelle me acompaara. Pero el Sr. Crelle tuvo dicultades, y tendr que viajar solo. Estoy constituido de tal modo que no puedo tolerar la soledad. Cuando estoy solo me hallo deprimido, me siento pendenciero, y tengo poca inclinacin para el trabajo. Por tanto me he dicho a m mismo que sera mucho mejor ir con el Sr. Boeck a Viena, y este viaje me parece injusticado por el hecho de que en Viena hay hombres como Litrow, Burg, y otros, todos ellos excelentes matemticos; adase tambin que ser la nica ocasin en mi vida de hacer este viaje. Hay algo que no sea razonable en este deseo mo de ver algo de la vida del Sur? Puedo trabajar activamente mientras viajo. Una vez en Viena, existe para ir a Pars, una va directa por Suiza. Por qu no ver un poco todas estas cosas? Dios mo! tambin a m me gustan las bellezas de la naturaleza
9 Alma mater es una expresin procedente de la locucin latina, que signica literalmente madre nutricia (que alimenta) y que se usa para referirse metafricamente a una universidad, aludiendo a su funcin proveedora de alimento intelectual, generalmente para referirse al sitio en donde determinada persona cursa o curs sus estudios universitarios.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

12

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

como a cualquier otro. Este viaje me har llegar a Pars dos meses ms tarde, esto es todo. Podr rpidamente recuperar el tiempo perdido. No le parece que este viaje me har mucho bien?. Visitaron Leipzig, Freiburgo, Dresden, Praga, Viena, Graz, Trieste, Venecia, Verona, Innsbruck, Lucerna, Zurich, y Basilea. En Freiburgo, visit a Georg Amadeus Carl Friedrich Naumann y su hermano el matemtico August Naumann, y fue aqu donde Abel llev a cabo descubrimientos interesantes sobre teora de funciones, sobre todo elpticas e hiperelpticas, y unas clases de funciones que son ahora conocidas como funciones abelianas. Era Julio cuando Abel lleg a Pars y con la ayuda de su amigo Johan Grbitz encontr acomodo con una familia pobre pero codiciosa que le proporcionaba dos malas comidas por da y un inmundo aposento a cambio de un elevado alquiler. Haba mandado a Berln la mayora de sus trabajos para la publicacin en el Journal, pero se haba reservado el que consideraba el ms importanPars, Seyfert, 1818 te para presentarlo en la Academia de Ciencias de Francia. El trabajo en cuestin era un teorema sobre funciones trascendentales. Las vacaciones de verano haban comenzado recientemente, por lo que aquellos matemticos con los que esperaba entrevistarse estaban fuera de la ciudad. Por lo tanto Abel continu trabajando en su teorema hasta Octubre momento en el que lo naliz para su presentacin en la Academia. Cuando los profesores regresaron, Abel sinti que stos eran demasiado inaccesibles, adems de que difcilmente le entendan quizs porque su francs no era lo sucientemente uido. Legendre, cuya principal especialidad eran las integrales elpticas, tuvo su primer encuentro efmero con Abel antes de subir a un carruaje, y slo tuvo tiempo de saludarle cortsmente y presentarle sus excusas pues deba marcharse. Cauchy tambin lo recibi con su caracterstica descortesa. Abel coment sobre este encuentro en una carta fechada el 24 de octubre de 1826, dirigida a Holmbo: Le dir que esta ruidosa capital del continente me ha producido por el momento el efecto de un desierto. Prcticamente no conozco a nadie, a pesar de hallarnos en la ms agradable estacin cuando todos se hallan en la ciudad . . .. Hasta ahora he conocido al Sr. Legendre, al Sr. Cauchy, al Sr. Hachette y a algunos matemticos menos clebres, pero muy capaces: el Sr. Saigey, editor del Bulletin des Sciences y el Sr. Lejeune-Dirichlet, un prusiano que vino a verme el otro da creyndome compatriota suyo. Es un matemtico de gran penetracin. El Sr. Legendre ha probado la imposibilidad de resolver la ecuacin x 5 + y 5 = z5 en enteros, y otras cosas importantes. Legendre es un hombre extraordinariamente corts, pero desafortunadamente tan viejo como las piedras.
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

13

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Cauchy es un excntrico, y no se puede llegar a ningn lado con l, aunque es el matemtico que sabe en estos momentos cmo desarrollar la matemtica. Al principio no comprenda prcticamente nada, pero ahora veo algunas cosas con ms claridad. Cauchy es extremadamente Catlico y fantico. Una cosa muy extraa en un matemtico (. . .). Es el nico que se preocupa de las matemticas puras. Poisson, Fourier, Ampre, trabajan exclusivamente en problemas de magnetismo y en otras materias fsicas. El Sr. Laplace creo que ahora no escribe nada. Su ltimo trabajo fue un complemento a su teora de las probabilidades. Muchas veces le veo en la Academia. Es un buen sujeto (. . .) Poisson es un hombre bajo con una tripita muy graciosa. Es un agradable camarada y sabe comportarse con dignidad. Tambin Fourier (. . .) Lacroix es extremadamente viejo. El lunes el Sr. Hachette me presentar a varios de estos caballeros. Por otro lado, los franceses no me gustan tanto como los alemanes; los franceses son anormalmente reservados hacia los extranjeros. Es difcil acercarse a ellos. Y no me atrevo a presentar mis pretensiones. Todo el mundo trabaja en sus propios asuntos sin importarle los otros. Todo el mundo quiere ensear y nadie aprender. El ms absoluto egosmo prevalece por todos los sitios. Lo nico que buscan los franceses de los extranjeros es la prctica (. . .) puede imaginar qu difcil es hacerse notar, especialmente para un principiante (. . .) He realizado un trabajo sobre ciertas clases de funciones trascendentes, para presentarlo a la Academia (. . .). Se lo mostr a Cauchy, pero seguramente ni se dignar a mirarlo. Y me atrevo a decir sin jactancia, que es un buen trabajo. Siento gran curiosidad por conocer el juicio de la Academia. Luego cuenta lo que est haciendo, y aade un resumen de sus proyectos no muy optimistas. Lamento haber pedido dos aos para mis viajes, pues ao y medio habran sido sucientes. El estudio fue presentado al Secretario de la Academia de Ciencias de Pars, Joseph Fourier, el 30 de octubre de 1826, para ser publicado en su revista. El trabajo se remiti a Cauchy y Legendre, con Cauchy como responsable principal, para que fuera evaluado. Para aquel entonces, Legendre, que contaba ya con 74 aos, consider pobre y difcilmente legible el manuscrito, manifestando: . . . percibimos que la memoria era apenas legible; estaba escrita con una tinta casi blanca y los caracteres algebraicos a menudo mal formados; estuvimos de acuerdo en que el autor debi proporcionarnos una copia ms limpia para ser leda. por lo que con a Cauchy (con 37 aos) para que se encargara del informe, informe que Abel esperaba lleno de esperanza pero que nunca llegaba. Lamentablemente como ms tarde se conrmara, no recibi respuesta en vida sobre el trabajo presentado. Sumergido en su propia tarea, Cauchy quizs no le prest la atencin merecida, tal vez porque vislumbrara en aquel msero estudiante noruego un pobre diablo con ensoaciones imposibles o incluso quizs
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

14

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

por indiferencia al principiante. Al igual que Legendre, Cauchy extravi y olvid aquel ensayo del que era depositario. Al parecer, cuando Abel se enter de que Cauchy no lo haba ledo, aguard con paciente resignacin el veredicto de la Academia (que nunca recibira), como as revel a Holmbo en otra carta: Espero todos los das la decisin sobre los trabajos que present a la Academia. Pero los lentos nunca acaban. Legendre y Cauchy fueron los jueces, Cauchy es el principal y Legendre simplemente se deja llevar. Pero cuando tuvo constancia de que su manuscrito se haba extraviado, hizo adems otra cosa, redactar de nuevo el principal resultado. El artculo, an siendo el ms profundo de todos sus trabajos, constaba tan slo de dos breves pginas. Abel lo llam estrictamente teorema; no tena introduccin alguna, ni contena observaciones superuas, ni aplicaciones. Como hemos comentado antes, Holmbo haba sido contratado como profesor de la Universidad de Oslo. Holmbo no quera el puesto, pensando en que Abel era verdaderamente merecedor de l, pero lamentablemente no tuvo eleccin, ya que la Universidad de Oslo no poda aguardar la decisin, y en caso de no contestar (Abel para entonces se encontraba en Berln), se lo ofreceran a otro candidato. Desafortunadamente este hecho signic la imposibilidad de que Abel pudiera ocupar un puesto apropiado regular en la enseanza superior de matemticos. Despus del tiempo transcurrido en Berln con Crelle, Abel se haba cargado de deudas y, aunque su colega y amigo quiso que volviera a Berln con algunas ofertas para intentar retenerle, una vez agotado incluso el prstamo de Holmbo, Abel quera volver a casa. Sobre todo porque la situacin familiar, especialmente la de sus hermanos, era ya desesperada. En una carta, Abel expresa su necesidad de abandonar la Europa Continental, pues quera dedicarse en profundizar en su matemtica. Muchas cosas me quedan por hacer, pero en tanto me halle en el extranjero todo lo que haga ser bastante malo. Si yo tuviera mi ctedra como el Sr. Kielhau tiene la suya!. Mi posicin no est asegurada, pero no me inquieto acerca de esto; si la fortuna no me acompaa en una ocasin, quiz me sonra en otra. Regres a Cristiana en Mayo de 1827, y para ganar algn dinero tuvo que dar instruccin a algunos escolares. Su novia Christine se emple como institutriz en casa de unos amigos de su familia en Frland. Abel pas el verano con su novia en esa ciudad. Estaba a la sazn, dedicado a la teora de funciones elpticas, en su competicin con Jacobi, escribiendo algunos artculos sobre la misma. En la Navidad de ese ao, hubo de viajar en trineo para visitar a su novia en Frland, llegando tras su viaje bastante enfermo. El riguroso clima noruego ya le haba hecho desde haca tiempo padecer tuberculosis pulmonar, de la que tuvo conocimiento mdico durante su estancia en Pars y que Abel haba atribuido a un fro persistente. Quizs el trajn y la excesiva tensin de aquel largo viaje al extranjero de ms de ao y medio de duracin, contribuyeron a que esa enfermedad le llevara ms tarde a su fatal desenlace.
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

15

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

En 1828, Hansteen recibi una subvencin para investigar el magnetismo terrestre en Siberia y se nombr entonces a Abel para que lo sustituyera en su puesto docente en la Universidad y tambin en la Academia Militar. Este hecho mejor su precaria situacin econmica. Pero Abel continuaba entregado en cuerpo y alma a su investigacin matemtica, si bien su salud se iba deteriorando cada da. Las vacaciones veraniegas de 1828 las pas junto a su novia en Frland y volvera a viajar de nuevo a esta ciudad para celebrar la Navidad de ese ao. A mediados de enero de 1829, Abel empeor notablemente. Supo que no vivira mucho tiempo, a causa de una hemorragia que no fue posible detener. Con anterioridad ya haba escrito a su amigo Keilhau, con quien Abel se senta profundamente unido, implorndole que se hiciera cargo de la asistencia de su madre; y adems de aquel requerimiento, al visitarle le aconsej que entablara una relacin seria con Christine (a quien Keilhau no conoca), manifestndole: No es bella; tiene el cabello rojo y es pecosa, pero se trata de una mujer admirable. (un tiempo despus de que Abel muriera, result que ambos se casaron). As fueron los ltimos das de Abel en Frland en el hogar de la familia inglesa en la que Christine era institutriz. La debilidad y la creciente tos hicieron que slo pudiese estar fuera de la cama unos pocos minutos. Ocasionalmente intentaba trabajar en su matemtica, pero ya no poda escribir. A veces reviva el pasado, hablando de su pobreza y de la bondad de la Seora Hansteen. Padeci su peor agona durante la noche del 5 de abril. En la madrugada lleg a sentirse ms tranquilo, y durante la maana a las once en punto del 6 de abril de 1829, exhal su ltimo suspiro. Tena 26 aos y ocho meses. Dos das ms tarde de la muerte de Abel llegaba una carta de Crelle, quien se haba encargado de intermediar con el ministro de educacin en Berln para que Abel obtuviera una plaza denitiva como profesor de la Universidad de Berln en un nuevo Instituto Tecnolgico. All tendra por compaeros de trabajo a Dirichlet, Jacobi y Steiner. Lamentablemente la Casa donde muri Abel en Frland carta llegaba demasiado tarde. El propio Gauss, con el n de reparar dignamente su anterior comportamiento para con Abel, haba intermediado junto a Humboldt, solicitando una ctedra para l. Legendre, Poisson y Laplace, haban escrito asimismo al rey de Suecia para que Abel ingresara en la Academia de Estocolmo. Para entonces Cauchy no haba an emitido informe alguno sobre el primer ensayo de Abel, a pesar de que Legendre haba emitido varias protestas al respecto, pero para este momento ya se conoca la esencia de la misma a travs del Journal de Crelle. El propio Crelle escribi un largo elogio en su Journal en el que deca: Todo el trabajo de Abel lleva la imprenta de la genialidad y la fuerza de
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

16

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

su intelecto que es extraordinario y en ocasiones increble, an cuando la juventud del mismo no fuera tomada en consideracin. Se puede decir que fue capaz de salvar todos los obstculos hasta llegar a la raz de los problemas con un vigor que pareca inagotable. Atacaba los problemas con extraordinaria energa; l los consideraba desde su supercie y era capaz de vislumbrar con tal perspectiva su estado, que todas las dicultades parecan desvanecerse bajo el victorioso ataque de su genio. . .. Pero no slo era su gran talento lo que foment el respeto de los dems por Abel y lo que hace innitamente lamentable su prdida. Se distingui por la pureza y la nobleza de su carcter y por una rara modestia que le hizo ser una persona tan apreciada como su genialidad. Al nal de sus das, ajeno al conocimiento de Abel y otras instituciones noruegas competentes, ocurri que C. G. J. Jacobi (1804-1851) tuvo noticias del teorema de Abel por el propio Legendre (con quien Abel sostuvo correspondencia despus de su regreso a Noruega) y en una carta a Legendre fechada el 14 de marzo de 1829, ste coment: Qu descubrimiento es ese Abel!(. . .) Cmo es posible que ese descubrimiento, quizs el ms importante que se haya hecho en nuestro siglo, se comunicara a su Academia hace dos aos y se escapara a la atencin de sus colegas?. Esta noticia lleg hasta Noruega, lo que unido a las expectativas que en su momento se haban depositado en la gura de Abel, hizo que el propio cnsul de Noruega en Pars interpusiera una reclamacin diplomtica con la rme intencin de que el manuscrito perdido se recuperara. La Academia indag en el asunto y Cauchy encontr nalmente dicho manuscrito en 1830. En una carta fechada en abril de 1829 que contestaba a la del 14 de marzo a Jacobi, Legendre comentaba: Esta memoria ha sido encargada en principio al seor Legendre que la ha examinado, pero viendo que la escritura era poco legible y los caracteres algebraicos a menudo mal formados, la remiti a su colega, el seor Cauchy, con el ruego de que se encargara del informe (. . .). El Sr. Cauchy (. . .) olvid durante mucho tiempo la memoria del Sr. Abel, de la cual era depositario. No fue hasta el mes de marzo de 1829 que los dos comisarios supieron, por el aviso que uno de ellos recibi de un sabio de Alemania, que la memoria del Sr. Abel, que haba sido presentada a la Academia, contena o deba contener unos resultados de anlisis muy interesantes y que estaba sorprendido de que no se hubiera hecho un informe de este en la Academia. Una vez hallado el manuscrito, Cauchy se dispuso a redactar el correspondiente informe, pero ambos (Legrende y Cauchy), se vieron retenidos al sopesar que Abel ya haba publicado parte de la memoria en el Journal de Crelle. En palabras de Legendre: Bajo ese aviso, el Sr. Cauchy busc la memoria, la encontr y se dispuso a hacer un informe sobre ella, pero los comisarios se vieron retenidos considerando que el Sr. Abel haba publicado ya una parte de la memoria en
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

17

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

el Journal de Crelle, y que el autor probablemente continuara hasta hacer aparecer el resto, y que entonces el informe de la memoria, que no poda ser sino verbal, estara fuera de lugar. En este estado de cosas sabemos sbitamente de la muerte del Sr. Abel, prdida muy penosa para la ciencia y que puede hacer ahora el informe necesario para conservar, si ha lugar, este trabajo, que es de los principales de su autor, en la coleccin de ttulos de sabios extranjeros. Cuando, tras su muerte, la fama de Abel ya estaba cimentada, su apreciadsima memoria afortunadamente no se haba extraviado, sin embargo no fue publicado hasta el ao 1841 en Mmoires des savants etrangers, vol.7, 176-264. Para colmo de desgracias, editor, impresor, o ambos, perdieron el manuscrito antes de que fueran ledas las pruebas de imprenta. La Academia en 1830, quiso sincerarse con Abel, concedindole el Gran Premio de Matemticas, en unin con Jacobi, pero Abel ya haba fallecido. Los siguientes prrafos de la memoria muestran su objeto: Las funciones trascendentes hasta ahora consideradas por los matemticos son escasas en nmero. Prcticamente toda la teora, de funciones trascendentes se reduce a la de funciones logartmicas, circulares y exponenciales, funciones que en el fondo forman una sola especie. Tan slo recientemente se ha comenzado a considerar algunas otras funciones. Entre las ltimas, las trascendentes elpticas, algunas de cuyas notables y elegantes propiedades han sido desarrolladas por el Sr. Legendre, ocupan el primer lugar. El autor [Abel] considera, en la memoria que tiene el honor de representar a la Academia, una clase muy extensa de funciones, todas aquellas cuyas derivadas pueden expresarse por medio de ecuaciones algebraicas cuyos coecientes sean funciones racionales de una variable, y ha demostrado para estas funciones propiedades anlogas a la de las funciones logartmicas y elpticas . . . y ha llegado al siguiente teorema10 : Si tenemos varias funciones cuyas derivadas pueden ser races de una, y la misma ecuacin algebraica cuyos coecientes son funciones racionales de una variable, podemos siempre expresar la suma de cualquier nmero de tales funciones por una funcin algebraica y logartmica, siempre que establezcamos cierto nmero de relaciones algebraicas entre las variables de las funciones en cuestin. El nmero de estas relaciones no depende en modo alguno del nmero de funciones, sino slo de la naturaleza de las funciones particulares. Realmente, y aparte de la escasez de sus recursos, lo ms razonable es deducir que despus del episodio acaecido, la estancia de Abel en Pars slo pudo proporcionarle una amarga tristeza en todos los sentidos. Resulta evidente que a Abel, resumiendo, le sobraran razones para sentir resentimiento de la actitud de Cauchy, an cuando jams dudase de que ste fuera indiscutiblemente un gran maestro del anlisis. Cabe destacar, que para mayor gloria de la ciencia, fue determinante la atencin que Jacobi solicit para con Abel, como muestra de su noble rivalidad,
10

Conocido hoy en da como Teorema de Abel-Rufni.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

18

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

adems del mismo requerimiento por parte de toda la Alemania cientca, para que se buscase con empeo la admirable memoria de Abel. Con todo lo escrito anteriormente, no acabaron an las peripecias habidas con el manuscrito de Abel. Cuando los matemticos noruegos Ludwing Sylow y Sophus Lie elaboran en la dcada de 1870-1880 la publicacin de las obras completas de Abel, se encontraron con la desagradable sorpresa de que el manuscrito que Abel haba presentado a la Academia de Pars se haba perdido. Qu haba ocurrido esta vez?. Segn se pudo averiguar ms adelante, a un profesor matemtico italiano rival de Cauchy para el puesto de profesor en el Colegio de Francia, de nombre Guglielmo Bruto Icilio Timoleone, conde Libri-Carucci della Sommaia, alumno de Legendre, le fue asumida la responsabilidad de seguir la impresin de Mmoires des savants antes citadas. Al parecer Libri lleg a ser un especialista consumado en el arte de expoliar importantes legados de las bibliotecas aprovechando su privilegiado puesto como inspector de bibliotecas. Hacia 1846 se empez a sospechar de sus hurtos, pero el presidente del consejo de ministros, Franois Guizot, amigo de Libri, archiv las investigaciones. En 1952, siglo y cuarto despus de que Abel presentara la Memoria sobre funciones elpticas a la Academia de Pars fue nalmente encontrada por Viggo Brun, de Oslo, en la biblioteca Moreniana de Florencia (Italia). Brun, que visitaba la ciudad, aprovech para saber si en la biblioteca matemtiPrimera pgina de la Memoria que Abel present a ca haba legados de Guglielmo Libri, la Academia de Pars (la segunda, escrita en 1826) sospechando la implicacin de ste en la desaparicin del manuscrito. Despus de realizar algunas pesquisas, Brun encontr lo que buscaba, es decir la Memoria original de Abel que el pcaro de Libri habra logrado llevarse consigo. Sobre este hecho, Brun escriba: Fue un momento de gran intensidad cuando con ayuda del catedrtico Procissi abr el antiguo manuscrito en la biblioteca Moreniana. Ah se encontraban las hojas de amarillo pardo, densamente escritas par N. H. Abel, norvegian segn constaba bajo el ttulo. No conoca yo bien esa letra! Con toda seguridad era Abel! Las letras eran pequeas, el espacio aprovechado al mximo, las dos caras de la hoja escritas. Al nal se lea la direccin de Abel en Pars Rue St. Margherite, n. 41 faub. St. Germain (ahora Rue Gozlin). La narracin de la vida de Abel es terriblemente triste, claro ejemplo como en muchos casos, de la ntima conexin entre la pobreza y la tragedia. Su corta vida y su trgica muerte ha dado lugar a numerosos mitos sobre su persona. Algunos lo han considerado como el Mozart de la ciencia. Junto a Galois, ambos son considerados como los precursores del lgebra moderna. Ambos viRevista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

19

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

vieron la poca del Romanticismo en su plenitud, y como otros tantos jvenes incomprendidos dejaron su existencia terrenal a muy corta edad. Sin embargo su legado fue tan inmenso que ser imposible que sus nombres queden en el olvido. Como dijo Charles Hermite en referencia a Abel, Ha legado a los matemticos algo que les mantendr activos durante 500 aos. En Noruega, Abel es considerado un hroe nacional. El centenario de su nacimiento es ampliamente celebrado, y varios han sido los honores a ttulo pstumo otorgados al joven sabio, como un crter lunar o un asteroide que llevan su nombre, una calle del distrito duodcimo de Pars denominada rue Abel, una estatua en bronce realizada por el escultor Gustav Vigeland en 1908 que se encuentra en el Jardn Abel del Royal Park de Oslo, y que constituye hoy da una de las imgenes ms representativas de la ciudad, o una estatua en la Universidad de Oslo. Adems de todas estas muestras de afecto, su rostro aparece en multitud de tiradas de sellos latlicos, o en antiguos billetes noruegos.

Tumba de Abel en Frland

Escultura de Abel en el Royal Park de Oslo

Estatua de Abel en la Universidad de Oslo

Sello conmemorativo de Abel (2002)

Billete de 500 coronas noruegas (1978)

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

20

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Sellos conmemorativos del centenario de la muerte de Abel (Noruega-1929)

De estudiante, Abel vivi en Lille Grensen 5. En 2002 la Sociedad Patrimonial de Oslo coloc una placa en su recuerdo. Sello conmemorativo de Abel (Noruega-1983)

Busto de Abel en Gjerstad

Estatua de Abel en Frland

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

21

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

3. Memoria sobre ecuaciones algebraicas, en la que se demuestra la imposibilidad de resolver la ecuacin general de quinto grado (1824)
Nuestros comentarios a lo descrito por Abel irn de aqu en adelante en cuadros de texto similares a ste. Adicionalmente se le han aadido a las ecuaciones un nmero para facilitar su referencia. Los gemetras se han ocupado mucho de la solucin general de las ecuaciones algebraicas y varios de ellos trataron de probar la imposibilidad. Pero, si no estoy equivocado, no han tenido xito hasta ahora. Por eso, espero que acojan con agrado esta memoria, la cual est destinada a llenar el hueco existente en la teora de ecuaciones algebraicas. Sea y5 ay4 + by3 cy2 + dy e = 0 (1)

la ecuacin general de quinto grado y supongamos que es resoluble algebraicamente, es decir, y puede ser expresada por una funcin formada por radicales de las cantidades a, b, c, d y e. Hemos seguido una notacin para los coecientes ligeramente distinta a la utilizada por Abel en su Memoria. El consider los coecientes a como la suma de las races, b la suma de sus productos tomados dos a dos, c la suma de sus productos tomando las races de tres en tres, as sucesivamente, de acuerdo a las identidades de Girard, esto es, considrese la ecuacin cbica cuyas races son x1 , x2 , x3 . La ecuacin puede ser escrita de la forma ( x x1 )( x x2 )( x x3 ) = 0. Multiplicando esta expresin, tendremos x3 ( x1 + x2 + x3 ) x2 + ( x1 x2 + x1 x3 + x2 x3 ) x x1 x2 x3 = 0. Obsrvese que el coeciente del trmino x2 , es la suma con signo negativo de las tres races, mientras que el coeciente del trmino x es el producto simtrico de todas las races, tomadas de dos en dos de una vez: ( x1 x2 + x1 x3 + x2 x3 ). Finalmente, el trmino constante de la ecuacin es el producto negativo de las tres races: x1 x2 x3 . Podemos aplicar el mismo razonamiento a cualquier ecuacin de grado n, de forma que el coeciente desconocido correspondiente al grado n 1 debe ser la suma con signo negativo de todas las races, el siguiente coeciente debe ser la suma simtrica de todas las races tomadas de dos en dos de una vez, y as sucesivamente. A estas relaciones las denominamos identidades de Girard, las cuales Newton generaliz acertadamente mediante expresiones que obtuvo de la suma del cuadrado de todas las races, o la suma de sus n-simas potencias, denominadas identidades de Newton. Claramente en este caso podemos expresar y de la forma: y = p + p 1 R m + p 2 R m + + p m 1 R
1 2 m 1 m

(2)

siendo m un nmero primo y R, p, p1 , p2 , etc., funciones similares a y, y as hasta que obtenemos funciones racionales expresadas en funcin de los trminos a , b, c , d , y e.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

22

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Esencialmente Abel muesta que una suma de radicales, que por su parte estn interrelacionados, pueden siempre ser expresados de la forma de la ecuacin (2), incluso poniendo todos los trminos en un denominador comn, de tal modo que uno consiga nicamente funciones racionales dentro de los radicales ms ntimos de la expresin. Abel utiliza (2) por lo tanto para llevar a cabo una reduccin al absurdo en su demostracin. Recordemos que haba asumido que y poda ser expresado como una serie nita de trminos algebraicos, en donde R, p, p1 , p2 ,. . . eran cada uno funciones algebraicas de los coecientes a, b, c, d, e, entendido en trminos de los sucesivos rdenes de las funciones como radicales interrelacionados. Podemos tambin asumir que es imposible expresar R m mediante una funcin racional en trminos de a, b, etc. p, p1, p2 , y considerando pR m en lugar de 1 R, est claro que podemos hacer que p1 = 1. Entonces y = p + R m + p 2 R m + + p m 1 R
1 2 m 1 m 1

.
R m, p1

(3) de modo

Abel simplica (2) deshacindose de p1 , redeniendo R que p1 pR m 1 eliminar p1 .

1 m 1

= R m . En lo que sigue, Abel asume que esto se ha hecho para

Sustituyendo este valor de y en la ecuacin propuesta (1) y reduciendo, obtenemos un resultado de la forma: P = q + q1 R m + q2 R m + + q m 1 R
1 2 m 1 m

(4)

siendo q, q1 , q2 , etc, racionales de funciones enteras (p. ej. polinomiales) de los trminos a, b, c, d, e, p, p2 ,. . . y R. Abel sustituye la presunta solucin (3) nuevamente en la ecuacin principal (1). De este modo llega a (4), donde las nuevas funciones q, q1 , q2 ,. . . dependen de todos los trminos anteriores: los coecientes a, b, c, d, e y las cantidades que acaba de utilizar p, p1 , p2 ,. . ., R. Obsrvese que de igual modo que (1) representa un polinomio igualado a 0, esta nueva ecuacin tambin lo hace, de forma que P = 0. Obsrvese tambin que, Abel ha denido q, q1 , q2 ,. . . 1 de modo que cada uno multiplique la potencia apropiada de R m . Obsrvese 1 tambin que la mayor potencia de R en (4) ser mm . En realidad, denominando R m = z, tenemos dos ecuaciones zm R = 0 y q + q1 z + + qm1 zm1 = 0. (5)
1

Abel trata de demostrar que q = 0, q1 = 0, q2 = 0,. . ., qm1 = 0; su demostracin requiere de varios pasos, nalizando con la expresin (8). Comienza 1 deniendo z = R m , de modo que zm = R o zm R = 0. Entonces, en (4) susti1 tuye z = R m , resultando q + q1 z + + qm1 zm1 = 0. Estas dos partes de (5) delimitan z. Si los trminos q, q1 ,. . . no son igual a cero, las ecuaciones expresadas en (5) tienen necesariamente uno o ms races en comn. Si k es el nmero de estas
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

23

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

races comunes, sabemos que podemos encontrar una ecuacin de grado k que tenga tantas como las k races mencionadas y en la cual todos los coecientes sean funciones racionales de R, q, q1 , y qm1 . Sea r + r1 z + r2 z 2 + + r1 z k = 0 (6)

dicha ecuacin. Esta tiene races en comn con la ecuacin zm R = 0; as, todas las races de esta ecuacin tienen la forma z, donde designa una de las races de la ecuacin m 1 = 0. Entonces sustituyendo (en (6) z z) , tenemos las siguientes ecuaciones, r + r1 z + r2 z 2 + + r k z k = 0 r + r1 z + 2 r2 z 2 + + k r k z k = 0 (7.1) (7.2) (7.k)

r
2 + k 2 r1 z + 2 k 2 r2 z k + + k k 2 rk z = 0.

En la expresin z = z, el subndice es un ndice que vara desde 1 a k (el total de races comunes de (5), z, z, 1 z, 2 z,. . ., k2 z). Sustituyendo z = z m m de nuevo en zm R = 0 resulta m z R = 0, pero z = R y esto signica m que R R = 0. Dividiendo por R (que es distinto de 0) se muestra que es una raz de la ecuacin m 1 = 0. Ahora es sinnimo de toda la serie de valores 1, , 2 ,. . ., k2 , donde Abel observa que 1 es una raz de esta ecuacin y la denomina 1 = . Obsrvese que entonces existen slo k 2 valores de , ya que de las k races, la primera y la segunda son 1 y ). Abel sustituye ahora los valores sucesivos z = z, z, 2 z,. . ., k2 z nuevamente en la expresin (6). Sustituyendo 1 por nos da la expresin (7.1); sustituyendo nos da (7.2),. . . as hasta sustituir k2 que nos da (7.k). En estas k ecuaciones, uno puede siempre encontrar el valor de z expresado mediante una funcin racional de los trminos r, r1 , r2 ,. . ., rk , y, como los trminos son en s mismo funciones racionales de a, b, c, d, e, R,. . ., p, p2 ,. . ., se deduce que z es tambin una funcin racional de estos mismos trminos, lo cual es contrario a la hiptesis. Por lo tanto, tiene que cumplirse necesariamente que q = 0, q1 = 0, . . . , qm1 = 0. (8) Ahora Abel realiza una observacin crtica: de las k ecuaciones (7.1-7.k), siempre podemos encontrar un z como una funcin racional de r, r1 , r2 ,. . ., rk , y , ya que tenemos simultneamente k ecuaciones para determinar k incgnitas, z1 , z2 ,. . ., zk . Obsrvese que esto diere de la situacin de la ecuacin original (1), la cual era una ecuacin para determinar cinco valores de y; (7.1-7.k) son k ecuaciones lineales para determinar k incgnitas, y pueden ser resueltas por eliminacin, tratando cada potencia de z como una incgnita separada y resolviendo las k ecuaciones como si fueran ecuaciones lineales simultneas para 1 esas k incgnitas. Pero asumimos que z = R m no es una funcin racional de sus variables, por lo que la nica alternativa es que q = q1 = = qm1 = 0, concluyendo la demostracin de (8).

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

24

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Si ahora estas ecuaciones son vlidas, est claro que la ecuacin propuesta 1 (1) es satisfecha por todos los valores que se obtienen para y dndole a R m todos los valores R m , R m , 2 R m , 3 R m , . . . , m 1 R m , siendo una raz de la ecuacin m1 + m2 + + + 1 = 0.
1 2 m 1 1 1 1 1 1 1

(9)

(10)

Si y1 = p + R m + p2 R m + + pm1 R m (3), entonces q + q1 R m + + m 1 qm1 R m = 0. Esto sucede porque, al sustituir esta expresin de y1 en (1), ob2 1 tenemos trminos como (productos de p, p2 ,. . .) ( R m ) a ( R m )b . Agrupando 1 potencias, resulta (productos de p, p2 ,. . .) ( R m ) a+2b+ . Por lo tanto el exponente a + 2b + puede ser siempre expresado como mi + j, donde i y j son 1 enteros ( j m 1), entonces las potencias enteras de Ri = ( R m )mi puede ser sacadas fuera e incluso tanto los productos de p, p2 ,. . . como q, q1 , . . . en (4). Abel acaba de demostrar que todas estas qs son iguales a cero. Ahora si con1 1 sideramos y2 , en la cual R m R m , puede aplicarse un argumento similar, excepto que haya un factor de elevado a la misma potencia ( a + 2b + ) multiplicando a estos factores previos de q y R. Pero como qs son cero, entonces cada trmino desaparece e y2 tambin satisface P = 0 en (4). El mismo 1 1 argumento tambin se aplica a y3 ( R m 2 R m ) y todos los otros valores de (9). Tenemos entonces que todos los valores de y son diferentes, por el contrario en el caso de que tuviramos un ecuacin de la misma forma que la ecuacin P = 0, sta nos llevara, como hemos visto, a un resultado que no puede ser vlido. El nmero m por lo tanto no puede exceder de 5. Por lo tanto designando y1 , y2 , y3 , y4 , y y5 como las races de la ecuacin propuesta (1), tendremos y 1 = p + R m + p 2 R m + + p m 1 R
1 2 1 2 m 1 m

,
m 1 m

(11.1) , . (11.2) (11.m)

y 2 = p + R m + 2 p 2 R m + + m 1 p m 1 R

y m = p + m 1 R + m 2 p 2 R m + + p m 1 R
1 m 2 m 1 m

Obsrvese que, si por el contrario y1 = y2 (por poner un ejemplo), entonces (11.1)=(11.2), lo cual requiere que 1 = 0 = 2 1 = 3 1 = , lo cual contradice (10). Por lo tanto todos los valores de y son diferentes. Por supuesto, hay casos especiales de ecuaciones qunticas que tienen races iguales, pero se puede comprobar que sus soluciones son racionales simples. Por ejemplo, si todas las races son iguales, y = y0 , entonces la ecuacin quntica puede ser factorizada como (y y0 )5 = 0, y claramente puede verse que esa situacin se puede dar nicamente si los coecientes son muy restringidos. Abel tambin nos recuerda que las races no pueden ser nunca ms de cinco.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

25

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

De estas ecuaciones, deducimos fcilmente que: p= Rm =

1

1 ( y + y2 + + y m ), m 1

(12.1) (12.2) (12.3) (12.m)

1 ( y + m 1 y 2 + + y m ) , m 1 2 1 p 2 R m = ( y 1 + m 2 y 2 + + 2 y m ) , m m 1 1 p m 1 R m = ( y 1 + y 2 + + m 1 y m ) . m
1

Vemos de esto que p, p2 ,. . ., p m1, R, y R m son funciones racionales de las races de la ecuacin propuesta (1). Ahora hace uso de estas cinco races y1 , y2 ,. . ., y5 y utiliza (3) y el resultado obtenido de (9-10) para expresar explcitamente las ecuaciones (11.1-11.m). Entonces suma estas ecuaciones y obtiene y1 +y2 + + ym = mp + (1 + + 2 + + m1 ) R m
1

+ p 2 ( 1 + + 2 + + m 1 ) R m + + p m 1 ( 1 + + 2 + + m 1 ) R
m 1 m

(12.1)

Pero por (10) esto nos lleva inmediatamente a (12.1), por lo que todas las sumas (1 + + 2 + + m1 ) desaparecen. Ahora Abel dirige sus esfuerzos a los trminos de (4) multiplicando cada ecuacin de tal modo que asla cada 1 trmino. Para obtener el trmino R m , multiplica (11.1) por 1, (11.2) por m1 , (11.3) por m2 ,. . ., (11.m) por . Entonces sumndolas todas, obtenemos: y1 +m1 y2 + m2 y3 + + ym = mp + (1 + + 2 + + m1 ) p

+ m m R m + p 2 m ( 1 + + 2 + + m 1 ) R m + + m p m 1 ( 1 + + 2 + + m 1 ) R
1 m 1 m

(12.2)

Como m = 1, entonces mR m = y1 + m1 y2 + m2 y3 + + ym , (12.2). Se utiliza la misma estrategia para el resto de ecuaciones (12.2-12.m). Consideremos ahora uno de estos trminos, por ejemplo R. Sea R = S + v n + S2 v n + + Sn1 v
1 2 n 1 n

(13)

Tratando este trmino del mismo modo que y, obtenemos un resultado si1 milar, mostrando que los trminos v n , v, S, S2 ,. . ., son funciones racionales de los diferentes valores de la funcin R, y como estos valores son funciones ra1 cionales de y1 , y2 , etc., entonces tambin lo son las funciones v n , v, S, S2 ,. . .. Siguiendo este razonamiento, concluimos que todas las funciones irracionales contenidas en la expresin de y son funciones racionales de las races de la ecuacin propuesta.
Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

26

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Con esto naliza el segundo paso de toda la demostracin. Siendo establecido este resultado, no es difcil completar la demostracin. 1 Consideremos primero las funciones irracionales de la forma R m , siendo R una 1 funcin racional de a, b, c, d, y e. Sea R m = r, donde r es una funcin racional de las races y1 , y2 , y3 , y4 e y5 y R una funcin simtrica de estos trminos. Ahora como el caso en cuestin es la solucin general de la ecuacin de quinto grado, est claro que uno puede considerar y1 , y2 , y3 , y4 e y5 como variables 1 independientes; por lo tanto la ecuacin R m = r puede mantenerse bajo esta suposicin. En consecuencia, podemos intercambiar los trminos y1 , y2 , y3 , y4 1 1 e y5 entre ellos en la ecuacin R m = r, ya que por el intercambio, R m necesariamente toma m diferentes valores ya que R es una funcin simtrica. En este ltimo paso de la demostracin comienza la reduccin al absurdo. 1 Abel establece que R m = r y nos recuerda que acaba de mostrar que es una funcin racional de las races y1 , y2 , y3 , y4 e y5 . Es ms, R es una funcin simtrica de estas races. Esto signica que podemos permutar las races entre 1 ellas sin cambiar R. Esto tambin signica que la ecuacin R m = r puede ser permutada entre las m races, y se asumir entonces que r toma los diferentes m valores. La funcin r debe tomar tambin los m diferentes valores de la permutacin de las cinco variables que contiene de todas las formas posibles. Para mostrar esto, es necesario que m = 5 o m = 2, ya que m es un nmero primo. (Ver la memoria del Sr. Cauchy en el Journal de lcole Polytechnique, vol. 17.) En este paso, Abel hace referencia al trabajo de Cauchy. El Teorema de 1 Cauchy establece que si m = 5, nuestra funcin r = R m puede slo tomar los valores cinco o dos, nunca dos o cuatro. El Teorema de Cauchy establece que r slo puede tomar un valor, pero esto contradice la suposicin inicial de que todas las races eran diferentes. Primeramente, sea m = 5. La funcin r por lo tanto tiene cinco valores diferentes y consecuentemente puede ser expresada de la forma
3 4 R 5 = r = p + p1 y1 + p2 y2 1 + p3 y1 + p4 y1 ,
1

(14)

siendo p, p1 , p2 ,. . . funciones simtricas de y1 , y2 , . . .. Intercambiando y1 e y2 , la ecuacin nos da,

2 2 4 3 4 p + p1 y1 + p2 y2 1 + p3 y1 + p4 y1 = p + p1 y2 + p2 y2 + p3 y3 + p4 y2

(15) (16)

donde

4 + 3 + 2 + + 1 = 0.

Pero esta ecuacin resulta imposible, por lo que consecuentemente m debe ser igual a 2.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

27

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

En su artculo de 1826, Abel ofrece una demostracin ms profunda y ms simple de esta armacin. Primero, considera expresar una de las races y1 co1 2 4 mo en (11a), y1 = p + R 5 + p2 R 5 + + p4 R 5 y entonces obtiene la expresin 1 1 (y1 + 4 y2 + 3 y3 + 2 y4 + y5 ), como en (12.2), donde el caso para R 5 = 5 m = 5 es considerado. Sin embargo, esta expresin es imposible, ya que el lado izquierdo de la igualdad toma cinco valores (los posibles valores de las cinco races), mientras que la parte derecha tiene 120 (las permutaciones de las cinco races). Por lo tanto el caso m = 5 debe ser excluido. Entonces sea R 2 = r,
1

(17)

donde r debe tomar dos valores diferentes de distinto signo. Entonces tenemos (ver la memoria del Sr. Cauchy) R 2 = r = v(y1 y2 )(y1 y3 ) (y2 y3 ) (y4 y5 ) = vS 2 siendo v una funcin simtrica. Abel considera dos posibles valores para r de la ecuacin (17), recordando que la raz cuadradada toma siempre los signos . El Teorema de Cauchy establece en este caso que r puede ser expresado de la forma de la ecuacin (18), 1 donde v es una funcin simtrica (dependiente de los coecientes) y S 2 es una 1 funcin especial, S 2 = (y1 y2 )(y1 y3 ) (y2 y3 ) (y4 y5 ). Obsrvese que S no puede ser cero, ya que ninguna de las dos races son iguales. Consideremos ahora las funciones irracionales de la forma p + p 1 R + p 2 R1 +
1 1 1 m 1 1

(18)

(19)

siendo p, p1 , p2, etc., R, R1 , etc., funciones racionales de a, b, c, d, y e y consecuentemente funciones simtricas de y1 , y2 , y3 , y4 e y5 . Como hemos visto, debemos tomar = = etc. = 2, R = v2 S, R1 = v2 1 S, etc. La funcin procedente de (19) puede por lo tanto ser expresada de la forma p + p1 S 2 Sean r = p + p1 S 2
1 1 1 m

.
1 m

(20)

, .

(21) (22)

r1 = p p 1 S 2 Multiplicndolas, obtenemos rr1 = p2 p2 1S

1 m

1 m

(23)

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

28

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Abel nos recuerda que ahora sabemos que estamos manejando R 2 , en lugar 1 de R 5 . Utilizando las deniciones R = v2 S, R1 = v2 S, . . ., puede expresar las , (21), donde ha funciones irracionales como (19), de la forma r = p + p1 S 2 eliminado los otros trminos de (19) ya que su objetivo es mostrarnos la forma general que tomarn. Igualmente, expresa el otro trmino irracional del mismo modo r1 = p p1 S 2 , (22). Multiplicando ambos, obtiene la expresin (23), eligiendo convenientemente el signo negativo para r1 . Ahora si rr1 no es una funcin simtrica, m debe ser igual a 2, pero en este caso r tendra cuatro valores diferentes, lo cual es imposible; por lo tanto rr1 debe ser una funcin simtrica. Abel argumenta que el producto rr1 es una funcin simtrica, por que si no, entonces por el Teorema de Cauchy, m = 2. Qu signica esto?. En (21), r tendra cuatro valores, ya que esto implica que la raz cuadrada de los trminos incluye a su vez races cuadradas. Esto no es posible; slo son posibles los valores m = 5 y m = 2. Por lo tanto, rr1 es una funcin simtrica (23). Sea v esta funcin simtrica (v = rr1 ) , entonces r + r1 = p + p 1 S 2
1 1 m 1 1 m 1 1 m

+ v p + p1 S 2

1 m

= z.

(24)

Esta funcin tiene m diferentes valores, entonces m debe ser igual a 5, ya que m es un nmero primo. Por lo tanto, tenemos z = q + q1 y + q2 y 2 + q3 y 3 + q4 y 4 = p + p 1 S 2
1 1 5

+ v p + p1 S 2

1 5

(25)

siendo q, q1 , q2 , etc., funciones simtricas de y1 , y2 , y3 , etc. y por lo tanto funciones racionales de a, b, c, d y e. Como ha excluido la posibilidad de que m = 2, entonces por eliminacin m = 5. Abel expresa z en (25) en trminos de las races de la quntica. Combinando esta ecuacin con las ecuacin propuesta, podemos expresar y en trminos de una funcin racional de z, a, b, c, d y e. Ahora tales funciones son siempre reducibles a la forma y = P + R 5 + P2 R 5 + P3 R 5 + P4 R 5 ,
1 1 2 3 4

(26)

donde P, R, P2 , P3 , y P4 son funciones de la forma p + p1 S 2 , siendo p, p1, y S funciones racionales de a, b, c, d y e. De esta expresin para y obtenemos que R5 = donde
1 1 1 ( y1 + 4 y2 + 3 y3 + 2 y4 + y5 ) = p + p1 S 2 5 1 5

(27) (28) 29

4 + 3 + 2 + + 1 = 0.

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Ahora el lado izquierdo de la igualdad (27) tiene 120 valores diferentes y el lado derecho slo 10; consecuentemente, y no puede tener la forma que hemos considerado, pero hemos demostrado que y debe ser necesariamente de esta forma si la ecuacin propuesta es resoluble. Por lo tanto concluimos que es imposible resolver por radicales la ecuacin general de quinto grado. De este teorema se deduce inmediatamente que resulta tambin imposible resolver por radicales ecuaciones de grado superior a cinco. Esta ltima deduccin es muy sencilla, ya que si se multiplica la ecuacin quntica por y, entonces tendremos una ecuacin de sexto grado, donde una de sus races es precisamente y = 0, y las otras races son irresolubles por radicales, por lo tanto para grados superiores a cinco, es imposible resolverlas mediante radicales.

Referencias
[1] B ELL, Eric Temple. Men of Mathematics, pp. 307326, Simon & Schuster, Inc, New York, 1986. [2] D URN, Antonio Jos. Cauchy. Hijo rebelde de la revolucin, pp. 106111, 172 175, Editorial Nvola, Coleccin La matemtica en sus personajes, Tres Cantos, Madrid, 2009. [3] H AYEK, Ncere. Una Biografa de Abel, Revista Nmeros, Vol. 52, pp. 326, Sociedad Canaria Isaac Newton de Profesores de Matemticas, diciembre 2002. [4] J AMES, Ioan. Remarkable Mathematicians, pp. 9197, Cambridge University Press, The Mathematical Association of America, Cambridge, 2002. [5] K ATZ, Victor J. A History of Mathematics: An Introduction, 2nd. Ed., pp. 665 666, Adisson Wessley Educational Publishers, Inc., USA, 1998. [6] P ESIC, Peter. Abels Proof, The MIT Cambridge Press, Massachusetts, Londres, 2003. [7] R OUSE B ALL, Walter William. A Short Account of The History of Mathematics, 4th. Ed., pp. 461462, MacMillan and Co., Limited, Londres, 1919. [8] S NCHEZ M UOZ, Jos Manuel. Abel y las ecuaciones integrales, Revista Escolar de la Olimpiada Iberoamericana de Matemtica, N. 42, marzo - junio, 2011. [9] S TEWART, Ian. Historia de las Matemticas (En los ltimos 10.000 aos), 1.Ed. pp. 190193, Crtica Editorial, Coleccin Drakontos, 2008. [10] T HE A BEL P RIZE W EBSITE. Pgina completa dedicada a la gura de Abel,
http://www.abelprisen.no/en/abel/

[11] W IKIPEDIA Niels Henrik Abel, http://en.wikipedia.org/wiki/Niels_Henrik_Abel

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

30

Historias de Matemticas - Abel y la imposibilidad de resolver la quntica por radicales

Jos Manuel Snchez Muoz

Paolo Rufni, http://en.wikipedia.org/wiki/Paolo_Ruffini

Sobre el autor: Nombre: Jos Manuel Snchez Muoz Correo Electrnico: jmanuel.sanchez@gmx.es Institucin: Grupo de Innovacin Educativa Pensamiento Matemtico. Universidad Politcnica de Madrid, Espaa.

Esta obra est registrada

1109150070433 INFORMACIN SOBRE DERECHOS

Revista Pensamiento Matemtico- Nmero 1 - Oct11 ISSN 2174-0410

31