Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp) Vol. 103, N.

2, pp 269-278, 2009 X Programa de Promocin de la Cultura Cientfica y Tecnolgica

EL LTIMO TEOREMA DE FERMAT: UN ENIGMA ENTRE CLCULO E IDEAS DESDE 1630 A 1994
MANUEL LPEZ PELLICER * * Real Academia de Ciencias Exactas, Fsicas y Naturales. Valverde 22, 28004 Madrid.

1.

EL LTIMO TEOREMA DE FERMAT EN EL SIGLO XVIII

Alrededor de 1630 Fermat estudi la Aritmtica de Diofanto, en una traduccin latina de Claude Bachet (1581-1638), publicada en 1621. El problema ocho del libro II de la Aritmtica propone descomponer un nmero al cuadrado en suma de dos nmeros al cuadrado y Fermat anot en el margen la imposibilidad de hacer algo similar para los cubos, las cuartas potencias, o cualquier potencia ms alta, afirmando tener una prueba notable de este hecho que no poda escribir en los mrgenes estrechos del libro (Hanc marginis exiguitas non caperet).

Fermat escriba constantemente en sus libros resultados de este tipo sin demostracin, que enviaba a sus amigos matemticos informndoles de sus nuevos resultados y animndoles a encontrar las demostraciones. No se ha conservado ninguna carta donde Fermat comente este problema, que luego se convirti en el ltimo Teorema de Fermat, fuera del legendario comentario marginal, lo que parece indicar que el problema no tena ningn estatus especial para Fermat en comparacin con los muchos otros que se le ocurrieron en sus lecturas de Diofanto y de otros clsicos. En varias de sus cartas propuso los casos n 3 y n 4 del teorema, que fue acuado como ltimo Teorema de Fermat muchos aos despus por ser la ltima de las conjeturas aritmticas formuladas por Fermat que segua sin resolverse. Bastantes de las conjeturas matemticas propuestas por Fermat resultaron ser falsas. Por ejemplo, crey 2n que los nmeros enteros de la forma 2  1 seran primos. En 1732 Euler mostr que para n 5, el correspondiente nmero no es primo, pues 232  1 es mltiplo de 641. Muchos resultados y conjeturas de Fermat nos han llegado gracias a su hijo Samuel, quien en 1670 public una edicin de la traduccin de Bachet de la Aritmtica de Diofanto, incluyendo comentarios y cartas de su padre. Por esta versin no se ha perdido lo que llegara a ser el ltimo Teorema de Fermat y otras muchas ideas. La nica demostracin que Fermat public en teora de nmeros es que no existen tres nmeros enteros x, y, z que satisfagan la frmula

Figura 1. Pierre de Fermat (1601-1665).

x2  y 2

z2

270

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

encontr y resolvi algunos de los problemas all propuestos. Ese ao Euler mencion a Goldbach el ltimo Teorema de Fermat y le dijo que tena demostraciones muy diferentes para los casos n 3 y n 4, pero que eran tan distintas que no saba cmo obtener una demostracin general, y que no haba encontrado la demostracin para el caso n 5. La demostracin del ltimo Teorema de Fermat en el caso n 4 es importante, pues reduce la demostracin del ltimo Teorema de Fermat al caso de exponentes primos. Tambin conjetur que de la misma forma que las ecuaciones a 2  b 2 c 2 y a 3  b 3  c 3 d 3 tienen soluciones enteras debera suceder que la ecuacin a 4  b 4  c 4  d 4 e 4 tambin tuviese soluciones enteras, siendo imposible que la ecuacin a 4  b 4  c 4 e 4 tuviese soluciones enteras, lo que result ser falso, ya que Noam Elkis demostr en 1988 que

Figura 2. Aritmtica de Diofanto de Alejandra (aprox. 200284).

Dos aos ms tarde, Euler seal que sus esfuerzos para demostrar la nota marginal de Fermat no haban dado fruto. En 1770 Euler public un texto de lgebra que contiene una demostracin del caso n 3 del ltimo Teorema de Fermat con un error no trivial. Ese mismo ao 1770, Joseph Louis Lagrange (1736-1813), matemtico muy prominente con contribuciones importantes en muchos campos de fsica y matemticas, incluyendo la teora de nmeros, demostr que cualquier nmero entero se puede

de manera que
xy 2

sea el cuadrado de un nmero entero. Fermat cre en esta prueba el mtodo del descenso infinito, que puede utilizarse para demostrar el teorema de Fermat en el caso n 4. Pas casi un siglo desde la publicacin por Samuel Fermat de la edicin de la Aritmtica de Diofanto en 1670 hasta que los matemticos comenzaron a interesarse y resolver algunos de los problemas propuestos por Fermat. Nadie se preocup del ltimo Teorema de Fermat hasta 1753, ao en que Euler ley la edicin de Samuel Fermat, se impresion por las ideas que

Figura 3. Leonhard Euler (1707-1783).

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

271

Figura 4. Joseph Louis Lagrange (1736-1813).

escribir como la suma de no ms de cuatro nmeros cuadrados, problema propuesto por Fermat, que Euler tambin intent resolver sin xito.

Figura 5. Johann Carl Friedrich Gauss (1777-1855).

2.

EL LTIMO TEOREMA DE FERMAT EN EL SIGLO XIX

En 1801 Gauss public su monumental obra Disquisitiones Arithmeticae, donde present de forma sistemtica muchos resultados de Teora de Nmeros que hasta entonces eran una coleccin de problemas y tcnicas. Uno de los temas principales de Disquisitiones es el problema de la reciprocidad cuadrtica, sobre el que public siete demostraciones diferentes, buscando resolver el problema de la reciprocidad superior para potencias n-simas, que l mismo lo resolvi en los casos n 3 y n 4. Su trabajo en el problema de la reciprocidad cuadrtica le llev a la introduccin y estudio del anillo de los enteros gaussianos, que son nmeros complejos con parte real e imaginaria entera. Gauss populariz as una idea introducida por Euler consistente en obtener informacin sobre nmeros enteros por medio de dominios que incluyan ciertos nmeros complejos. Gauss, en una carta de 1816 a su amigo Heinrich Olbers (1758-1840), clebre astrnomo alemn, manifest su opinin de que el desarrollo correcto de su teora de enteros gaussianos y sus posibles generalizaciones conducira a descubri-

Figura 6. Disquisitiones arithmeticae (1801).

272

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

slo uno de esos nmeros enteros sea mltiplo de n. Germain prob el ltimo Teorema de Fermat en el caso primero para toda potencia n menor que 100, y Legendre ampli su prueba a toda potencia n menor de 197. El caso segundo result ms difcil. En 1825 se demostr para n 5 en dos trabajos complementarios de Legendre y Peter Gustav Lejeune Dirichlet (18051859). El que despus de doscientos aos desde que Fermat escribi su observacin en el margen de la Aritmtica de Diofanto an no se tuviese su demostracin aument el inters por el ltimo Teorema de Fermat. A principios de los aos 1820 la Academia Francesa de Pars convoc uno de sus premios a quien encontrara la demostracin del ltimo Teorema de Fermat, ofreciendo por su demostracin el Gran Premio de la Academia en 1857. El caso n 7 fue demostrado en 1839 por Gabriel Lam (1795-1870), con una prueba compleja, en la que desarroll una nueva tcnica dedicada especficamente a resolver el ltimo Teorema de Fermat. En 1847 Lam present ante un grupo de eminentes matemticos reunidos en la Academia de Pars una posible va para resolver el ltimo Teorema de Fermat, combinando el mtodo del descenso infinito

Figura 7. Marie-Sophie Germain (1776-1831).

mientos importantes, entre los cuales el ltimo Teorema de Fermat aparecera solamente como un corolario, y de hecho uno de los menos interesantes. En esa carta seala tambin que el ltimo Teorema de Fermat, como pregunta aislada, tiene un inters muy reducido para m, porque podra fcilmente imaginar muchas proposiciones matemticas de ese tipo, que uno no podra ni demostrar ni refutar. A pesar de la afirmacin anterior, en una carta publicada pstumamente en 1863, Gauss esboz una prueba del ltimo Teorema de Fermat para n 5, indicando que su mtodo no era aplicable para n 7. Tal vez la conexin de Gauss con este teorema se produjo a travs de MarieSophie Germain, quien en su correspondencia con Gauss le mencion sus ideas relativas al ltimo Teorema de Fermat. A Germain le debemos una contribucin importante a la solucin del ltimo Teorema de Fermat, pues demostr que si n y 2n  1 son dos nmeros primos (como 3 y 7), y si tres nmeros enteros x, y, z verifican que x n  y n z n , entonces uno de los tres nmeros x, y, z es mltiplo de n. Una consecuencia de este teorema es que la prueba del ltimo Teorema de Fermat se puede dividir en dos casos separados: Que para n 3 no existen tres enteros x, y, z que verifiquen la ecuacin x n  y n z n y que ninguno de ellos sea mltiplo de n. Que para n 3 no existen tres enteros x, y, z que verifiquen la ecuacin x n  y n z n y tales que

Figura 8. Gabriel Lam (1795-1870).

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

273

con una factorizacin de Liouville del tipo donde n es un nmero natural impar y r es una de las races n-simas de la unidad. Lam crey haber resuelto el problema, si bien se discuti quien haba sido el primero en introducir la idea decisiva de la prueba, as como la unicidad de la factorizacin. Meses ms tarde, Liouville ley en la Academia de Pars una carta de Kummer comentando que desde 1844 saba que la factorizacin utilizada por Lam no era nica, como este supona implcitamente, lo que invalidaba su prueba. Kummer indic que la demostracin del ltimo Teorema de Fermat le haba ocupado bastante tiempo, si bien pensaba que este teorema era una curiosidad y que no era un tema importante. Kummer, igual que Gauss, pensaba que el problema de reciprocidad superior era el tema principal de investigacin en teora de nmeros. Precisamente despus de realizar largos y complejos clculos con dominios de nmeros que generalizaban a los enteros gaussianos, Kummer entendi que la referida factorizacin nica podra fallar y public muchos trabajos importantes sobre el problema de la reciprocidad superior, siguiendo los pasos de Carl Gustav Jacobi (1804-1851).

Figura 10. Julius Wilhelm Richard Dedekind (1831-1916).

Kummer tambin inform en su carta de 1847 que para obtener factorizacin nica haba desarrollado una teora de nmeros complejos ideales que aplic al ltimo Teorema de Fermat y le llev a identificar los llamados nmeros primos regulares, de los que an no se sabe si su cardinal es infinito, si bien en los intervalos estudiados hasta ahora predominan los nmeros primos regulares sobre los que no lo son, que tambin se llaman nmeros primos irregulares1. En 1858 prob su validez para los exponentes primos regulares y recibi el Gran Premio de la Academia de Pars. Ms adelante, Kummer prob que los nmeros primos no regulares menores que 100 son 37, 59 y 67. Para estos nmeros obtuvo demostraciones independientes del ltimo Teorema de Fermat, de lo que se deduca su validez para exponentes enteros menores que 100. Slo unos pocos matemticos siguieron el camino introducido por Kummer para demostrar el ltimo Teorema de Fermat, consistente en buscar los nmeros primos no regulares y para estos nmeros probar dicho teorema, lo que no significa que las ideas de Kummer no tuvieran resonancia, ya que fueron el punto de partida del desarrollo de teoras matemticas de enorme importancia, que, en principio, parecan no tener relacin con el ltimo Teorema de Fermat. En efecto, Richard Dedekind (1831-1916) y Leopold

Figura 9. Ernst Eduard Kummer (1810-1893).

En 1915, Jensen prob la existencia de infinitos nmeros primos irregulares.

274

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

algortmico de Kronecker, debido tambin a la influencia enorme de la obra Zahlbericht de David Hilbert, que se public en 1896, conteniendo una brillante exposicin de las ideas de Kummer, Kronecker y de Dedekind, dando preferencia al enfoque de este ltimo. Hilbert declar explcitamente que haba hecho todo el esfuerzo posible para seguir el principio de Riemann de obtener las demostraciones no por clculos, sino ms bien por ideas puras. Hilbert, adems de resumir el trabajo de sus predecesores, agreg muchos resultados y tcnicas, abriendo de hecho nuevos campos para la investigacin que muchos seguiran en las dcadas siguientes. El papel de Zahlbericht a fines del siglo XIX en teora nmeros fue muy similar al de Disquisitiones Arithmeticae cien aos antes, siendo el centro de ambos libros el problema de la reciprocidad, en tanto que el ltimo Teorema de Fermat recibi una atencin mnima, que Hilbert redujo a cinco pginas en la ltima seccin de su libro, donde presenta una demostracin del ltimo Teorema de Fermat para primos regulares basada en un artculo suyo de 1894, donde haba corregido un error de Kummer. Esta prueba de Hilbert, como gran parte del Zahlbericht, reformulaba las ideas de Kummer en trminos de los conceptos y tcnicas introducidos por Dedekind en su teora de campos de nmeros algbricos.

Figura 11. Leopold Kronecker (1823-1891).

Kronecker (1823-1891), sistematizaron las ideas de Kummer sobre nmeros complejos ideales lo que les llev a la teora de los cuerpos de nmeros algebraicos, que dio lugar al lgebra conmutativa, de gran impacto en las matemticas del siglo XX. Por eso Hilbert sugiri en su discurso de 1900 que el ltimo Teorema de Fermat haba tenido un papel crucial en la historia de las matemticas, pues los esfuerzos de Kummer relacionados con este problema le llevaron a elaborar ideas centrales de la teora de nmeros y del lgebra conmutativa modernas, si bien el teorema de la reciprocidad superior fue la principal motivacin que condujo a Kummer a la introduccin de su teora de nmeros primos ideales. Los enfoques de Dedekind y Kronecker fueron opuestos en un cierto sentido. Kronecker represent un enfoque ms algortmico, en tanto que Dedekind fue el representante ms puro del enfoque conceptual, pues en la teora de Kronecker el nfasis est en los clculos especficos realizados en casos individuales de los sistemas numricos a investigar, en tanto que Dedekind enfoc su trabajo a encontrar la formulacin abstracta adecuada para poder deducir resultados generales, evitando, donde sea posible, los clculos o el anlisis de casos especficos. El nfasis conceptual o estructural del trabajo de Dedekind se convirti a lo largo del siglo XX en el dominante en la Teora de Nmeros frente al desarrollo

Figura 12. David Hilbert (1862-1943) (Foto de 1900).

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

275

3. EL LTIMO TEOREMA DE FERMAT EN LA PRIMERA MITAD DEL SIGLO XX

En 1882 Ferdinand Lindemann (1852-1939) demostr la trascendencia del nmero S. Despus de este importante trabajo no volvi a publicar nada ms de nivel elevado. A principios de siglo intent probar el ltimo Teorema de Fermat, sobre el que public cuatro intentos fallidos entre 1901 y 1909. El premio establecido por Wolfskehl en 1908 para la resolucin del ltimo Teorema de Fermat impuls a cientos de aficionados a enviar a Gttingen sus supuestas respuestas, que no tenan contribuciones matemticas significativas. Tambin probaron sus fuerzas matemticos destacados, como Erich Hecke (1887-1947), Philip Furtwngler (1869-1940) y Flix Bernstein (1878-1956), cuyos trabajos fueron comunicados por el mismo Hilbert a la Academia de Ciencias de Gttingen en 1910. Furtwngler en un nota de pie de pgina seal que el estado actual de su investigacin no lo satisfaca plenamente, pero haba decidido publicar sus resultados por el inters en el problema motivado por el anuncio del premio. Tres matemticos con contribuciones significativas al ltimo Teorema de Fermat fueron Dimitry Mirimanoff (1861-1945), Arthur Wieferich (18841954) y Harry Schutz Vandiver (1882-1973). Mirimanoff public unos 60 artculos en Teora de Conjuntos, Probabilidades y Teora de Nmeros, de los que doce se relacionan con el ltimo Teorema de Fermat, con contribuciones relevantes en la mitad de estos artculos. En uno de ellos de 1904, Mirimanoff indicaba con cierto asombro que algunos de los criterios importantes que Kummer haba desarrollado para probar ltimo Teorema de Fermat hubieran recibido tan poca atencin y que no se hubiesen apreciado debidamente. Wieferich public tan solo nueve artculos, de los que cuatro pueden considerarse de importancia, estando uno de ellos dedicado al ltimo Teorema de Fermat; fue publicado en 1909. Vandiver es un caso singular y tal vez el ltimo representante del enfoque algortmico. Vandiver sigui siempre su propio rumbo original, tal vez debido a que nunca complet estudios secundarios y lo poco que estudi a nivel universitario lo hizo de manera espor-

dica y poco sistemtica. En 1900 comenz a publicar trabajos de investigacin originales en varias revistas, algunos de ellos en colaboracin con George David Birkhoff (1884-1944), entonces el matemtico ms influyente en Estados Unidos y que le consigui un puesto de trabajo en la Universidad de Cornell en 1919. Ms adelante Vandiver se traslad a la Universidad de Tejas, donde obtuvo una posicin permanente y trabaj muchos aos. A pesar de que sus investigaciones fueron siempre en lgebra y teora de nmeros, era miembro del Departamento de Matemticas Aplicadas de dicha universidad, tal vez por sus diferencias profesionales y personales con Robert Lee Moore (1882-1974). Desde 1924, Vandiver public muchos artculos sobre el ltimo Teorema de Fermat, convirtindose en el gran experto norteamericano en este teorema, y tal vez el mayor experto en el mundo, dedicando gran parte de su vida profesional a este teorema, siendo probablemente el matemtico de la primera mitad del siglo XX que ms tiempo le dedic. Uno de sus trabajos ms importantes, publicado en 1929, le vali el premio Cole de la American Mathematical Society, otorgado a trabajos excepcionales en Teora de Nmeros. Con largos y pesados clculos, Vandiver y sus colaboradores identificaron nuevos nmeros primos no regulares. Con una sofisticada calculadora de mesa prob en 1937 la validez del ltimo Teorema de Fermat para los exponentes primos menores que 619, incluyendo 36 casos de primos irregulares. En 1954, en colaboracin con la pareja Emma y Derrick Lehmer de Berkeley y con la ayuda por primera vez de una computadora electrnica, probaron que casi la mitad de los nmeros primos menores que 2500 no son regulares y que el ltimo Teorema de Fermat es vlido para exponentes menores o iguales que 2500. Este mtodo de trabajo sigue estando activo en la actualidad, tanto en Teora de Nmeros como en otras partes de la Matemtica, con desarrollos espectaculares debidos a la potencia de clculo de los ordenadores actuales, que en Teora de Nmeros han llevado a demostrar el ltimo Teorema de Fermat hasta exponentes del orden de mil millones. No obstante, las mquinas no pueden dar lo que el genio humano deseaba: probar el ltimo Teorema de Fermat para todos los exponentes. En el prximo

276

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

apartado veremos la solucin de Wiles, comunicada en 1993, corregida con la ayuda de Taylor en ocho meses adicionales de trabajo y publicada en 1995

4. EL LTIMO TEOREMA DE FERMAT EN LA SEGUNDA MITAD DEL SIGLO XX: PRUEBA DE WILES
Alrededor de los aos 1950 comenz una transicin de los mtodos clsicos de la teora de nmeros hacia nuevos mtodos que permitieron su desarrollo posterior. El libro de A. Weil, Foundations of Algebraic Geometry, de 1946, y la teora de esquemas de Grothendieck favorecieron enfoques mucho ms conceptuales, siendo dos de las nociones ms influyentes la creacin de Grothendieck de la topologa de esquemas y de las cohomologas l-dicas asociadas. De la gran labor realizada por Grothendieck y su escuela es especialmente notable la demostracin de las conjeturas de Weil. La prueba de la racionalidad de las funciones zeta, su ecuacin funcional y su relacin con los nmeros de Betti se debe al propio Grothendieck. La localizacin de ceros y polos (es decir la hiptesis de Riemann en este contexto) se debe a Deligne en 1974, por lo que recibi la Medalla Fields en 1978. En la sesin de problemas de un simposio internacional sobre teora algebraica de nmeros celebrado en Tokyo-Nikko en 1955, un joven matemtico llamado

Figura 14. Yutaka Taniyama (1927-1958).

Taniyama propuso averiguar si las curvas elpticas definidas sobre un cuerpo de nmeros son parametrizables mediante funciones automorfas, lo que podra ser un camino para probar la conjetura de Hasse-Weil. Shimura en 1964 y Weil en 1967 delimitaron la pregunta de Taniyama a curvas elpticas definidas sobre el cuerpo racional preguntando si seran parametrizables mediante funciones modulares. As naci la conjetura de modularidad de Shimura-Taniyama-Weil que, en principio, proporcionaba un camino para probar la

Figura 13. Alexander Grothendieck (1928-

).

Figura 15. Goro Shimura (1930-

).

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

277

Figura 16. Andr Weil (1906-1998).

El inters de Wiles por el ltimo Teorema de Fermat empez su niez al haber ledo el libro de E.T. Bell, El ltimo problema, dedicado a la popularizacin del entonces no demostrado teorema de Fermat, lo que le impuls a seguir una carrera profesional como matemtico con la esperanza de llegar l mismo a resolverlo. Ya licenciado, Wiles crey que los mtodos existentes para resolver el ltimo Teorema de Fermat estaban agotados, lo que haca incompatible buscar su solucin y desarrollar su carrera matemtica. Wiles hizo una carrera matemtica distinguida trabajando en otros campos, siendo uno de ellos la teora de las curvas elpticas. Fue en 1986 cuando Wiles decidi dedicarse de lleno a obtener la demostracin del ltimo Teorema de Fermat, despus de conocer el trabajo de Frey sobre la curva . El trabajo de Wiles estuvo orientado a probar la conjetura de Shimura-Taniyama-Weil para las curvas elpticas semiestables. Adems, esta conjetura termin en teorema gracias al impresionante trabajo de Wiles (1995), Taylor-Wiles (1995), Diamond (1996), Conrad-Diamond-Taylor (1998) y Breuil-Conrad-Diamond-Taylor (1999). Con ello no slo qued probado el teorema de Fermat sino que, adems, se dio un paso para resolver uno de los siete Problemas del Milenio propuestos por el Instituto Clay de Matemticas, la conjetura BSD, que tras experiencias numricas realizadas en curvas con multipli-

conjetura de Hasse-Weil, pero despus de los resultados de Gunther Frey (1986), de la conjetura de modularidad de Jean-Pierre Serre (1987) y de su demostracin por Kenneth Ribet en 1990 de un caso particular, conocido como conjetura epsilon, qued claro que la demostracin de la conjetura de modularidad de Shimura-Taniyama-Weil para las curvas elpticas semiestables implicaba el teorema de Fermat. Lo que Frey observ en 1986 fue que si la terna de enteros (a, b, c) fuese una hipottica solucin entera de la ecuacin de Fermat x p  y p z p para un exponente primo p 5 entonces la curva elptica definida sobre Q

pareca contradecir la conjetura Shimura-TaniyamaWeil, lo que efectivamente se demostr como consecuencia de los resultados de Serre y Ribet, que permitieron probar que si tal solucin (a, b, c) existiese entonces la curva de Frey no sera modular. Tras ocho aos de muy intenso trabajo, Wiles present su demostracin del ltimo Teorema de Fermat en su famosa conferencia en Cambridge en 1993, pero se encontr un error que oblig a Wiles a dedicar otros ocho meses antes de poder lograr, en colaboracin con Richard Taylor, la conclusin final de su prueba.

Figura 17. Andrew John Wiles (1953-

).

278

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

6.

CONCLUSIN

Fermat no pudo imaginar todo lo que se desarroll alrededor de su nota en el margen del lgebra de Diofanto durante ms de 350 aos con las aportaciones de muchos matemticos que, la gran mayora no tuvieron la proposicin de Fermat en el centro de su investigacin matemtica. No obstante, las apariciones espordicas del conocido como ltimo Teorema de Fermat en las investigaciones sobre Teora de Nmeros, catalizaron el desarrollo de grandes teoras, como sucedi con el trabajo de Kummer. El final del camino estuvo coronado por el gran trabajo de Wiles, merecedor de la admiracin del mundo matemtico.

Figura 18. Jean-Pierre Serre (1926-

).

cacin compleja entre los aos 1963 y 1965, llevaron a Birch y Swinnerton-Dyer a conjeturar que el rango r de una curva elptica E/Q coincida con el orden en el punto s 1 del cero de la funcin L(E/Q, s). No estamos en el final de un camino, pues la propia conjetura de Shimura-Taniyama-Weil forma parte de una extensa familia de conjeturas conocidas como conjeturas de modularidad. Ya hemos indicado que lo que Ribet demostr en 1990 fue la llamada conjetura H, que slo es un caso muy particular de la conjetura de modularidad que formul Serre en 1987. Actualmente, las tcnicas de Wiles y sus mltiples ramificaciones se estn utilizando para probar la conjetura de Serre en toda su generalidad.

BIBLIOGRAFA
1. Bayer Isant, P. Antecedentes y evolucin de la teora de la multiplicacin compleja. Discurso de ingreso en la Real Academia de Ciencias de Madrid. Real Academia de Ciencias de Madrid (2010). ISBN: 97884-87125-48-5. ISSN: 0214-9540. Derbyshire, J. Prime Obsession. Joseph Henry Press, New York (2003). Dieudonn, J. Abrg dhistoire des mathmatiques 17001900. Tomos I, II. Hermann, Pars (1978). ISBN: 2-7056-5870-X y 2-7056-5871-9. Ribenboim, P. Fermats Last Theorem for Amateurs. Springer, New York (1999). Wiles, A. Modular elliptic curves and Fermats Last Theorem. Ann. of Math. 141 (1995), 443-551.

2. 3.

4. 5.