EL TEOREMA DE FERMAT Capi Corrales Rodrigafiez En el afto 1993, y casi por primera vez en la historia, una noticia sobre _matematicas Invadié los medlos de comunicacin el teorema de Fermat, que ‘durante casi cuatroclentos aftos habla resistido los esluerzos de legos y pro- fanos, estaba précticamente demostrado, Andrew Wiles habia presentado en Cambridge, Inglaterra, la maqueta de una demostracion ante expertos de todo el mundo, y éstos habfan concluldo que la construccién -culminada de hecho on éxito por el propio Wiles afio y medio mas tarde era factible En el siglo XVI!lateorfa de los nimeros no se estudiaba en Universidades, Casi todos los mateméticos dedicados a los niimeros en Europa (en aquel momento eran todos varones, aunque no siempre fue asi antes, ni ha sido ast después) tenian profesiones paralelas, Fermat era letrado, y habian estableci- do una red epistolar alrededor del jesuita Mersenne. Algo parecido a la redes de correo electrénico de hoy en dia. A través de esta red se retaban con pro- blemas los unos alos otros. ([G-1). Pierre de Fermat fue uno de los individuos ms activos en este grupo. A su muerte, su hijo publieé sus apuntes, entre ellos el enunciado de su famoso teorema, escrito a pluma en el margen de un cjemplar de Aritmética de Diofanto (S. Id. C.): “No es posible encontrar dos ceubos cuya suma sea un cubo, dos potencias cuartas cuya suma sea una potencia cuarta y, en general, dos potencias cuya suma sea una potencia del mismo tipo. He descubierto una demostracion verdaderamente maravillosa de este hecho, que no eabe en este margen” (FD. Hay infinitas temas (x,.2) de nimeros enteros tales que x? «2 » 22, como (BA5) 0 (12,5.13), Fermat asegura que no es posible hallar xy.2 enteros y no rules tales que 28 + 8 =23,6 xt+ b= 24,6 x8 ya 25, ete Desde que se publicara la nota de Fermat, muchos han intentado sin éxito encontrar la demostracion que en su nota Fermat afirma haber hallado. La op- nidn de los especialistas es que, o bien Fermat se estaba mareando un farol, 0 bien habia dado con una solucién equivocada ({AC] pp. 1-22). Quizés la que, a finales del siglo pasado, propuso el alemn Kummer. Kummer demostr6 la afir- ‘macién de Fermat para n «100 ([R [AC] pp. 3-43) y, como tantos otros, creyé en un momento dacdo haber demostrado el teorema (es deci, para todo valor de), Al repasar sus argumentos, adem&s de un error, Kummer encontré otra cosa: un nuevo tipo de objetos matematicos, a los que llamé niimeros ieales. Los ideales de Kummer supusieron el nacer de la teoria de los nimeros alge- braicos ¥ dela geomet algebralca, marco matemético en cl que el teorema de Fermat ha sido demostrado. El camino seguldo para legar a la demostra- cin tiene tres tramos fundamentals: 1. Entre los aftos 50 y 60, Taniyama, Shimura y Weil perfilan una conjtura todas tas curvas de un cierto tipo que llamaremas E (las curvas elipticas, de Las matematicas del siglo XX. 465, 95ecuacién y2 = 33 + Ax? « Bx « Con coeficientes racionales y discriminante no nulo), tienen una cierta propiedad que llamaremos P (son modulares).. Las funciones trigonométricasx() = sent, (0 = cost, parametrizan los pun- tos del circulo x? + y2 = I: al ir tomando f distintos valores reales, el par (0, ¥(0) va recorriendo los puntos del eirculo. La conjetura de Tanlyama- ‘Shimura-Weil predice que dada una curva eliptca B= + Ax? + Bx + C,exis- ten dos funciones modulares x(2),y(2) —funciones definidas en el plano supe- rior complejo con propiedades especiales de periodicidad— que la parametri- zan: al ir tomando 2 distintos valores complejos con su parte imaginaria {Im(2) > 0, el par (x(2)9(@)) va recorriendo los puntos de la curva F ((C-2], [AC] ‘pp. 59-79). Expresamos esta propiedad diciendo que la curva E es modular, 2. A mediados de los ochenta, Frey predijo y Ribet demostré que cualquier solucién entera a a ecuacidn de Fermat para n> 5 darta lugar a una curva de tipo sin la propiedad P. Mas especiticamente, G. Frey sugirié que si pudlésemos ‘encontrar tres nimeros a, b,c tales que a+ b= ct con m > 5, la curva elipt- cay =x x-a" (x +B) no serfa modular. En 1986 K. Ribet demostr6 esta alt- ‘macién, abriendo con ello una nueva via para demostrar el teorema de Fermat: ‘demostrar la conjetura de Taniyama Shimura: Weil 3.Bn octubre de 1994, A. Wiles demos, utilizando précticamente todos los resultados obtenidos en la década previa en geometria algebraica aritmética y teorfa de los nimetos algebraicos, la conjetura de Taniyama-Shimura-Weil para ‘algunas de tas curvas de tipo E, En particular, para ta que surgifa a partir de una hipotetca solucién a la ecuacién de Fermat. Por lo tanto, tal soluelén no puede existir, pues de existir daria lugar a una curva & a la vez con la propieded Py sin la propiedad P. Nbsurdo ({W], [AC] pp. 117-136) Hay muchas personas a las que ha entristecido que este teorema haya sido resuelto, Para ellas, se ha roto un suefio. ¥ para colmo, la demostracién no es Intuitiva, no deslumbra, no se puede comercialzar y, encima, parece que la entienden sélo una minima parte de los matematicos. {No habremos matado a ‘aflonazos a un ejemplar bello y valiente? Quizis, Pero en estos tiempos que corren, somos muchas las personas dentro del mundo de la matematica a Quienes llena de esperanza el que la modernisima -por lo muy modernas y recientes que son las herramlentas que utlize- demostracién del teorema de Fermat, haya tenido lugar a (a antigua, fuera de las modas y corrientes impe- rantes hoy en el mundo de la investigacién. Porque si el teorema de Fermat es lun elésico, clsiea es también, a pesar de su modernidad, su demostracion. Por tres razones, 1. Bn un momento en el que lo que mas se fomenta es el hacer competi ‘vo, la lucha sin cuartel por la fama y la gloria del individuo alslado con nom- bre y apelios, el teorema ce Fermat, el mas famoso teorema de la matemat- a, se ha resuelto gracias al trabajo de muchos. La demostracin final ha resu- tado ser un bellisimo encaje de bolillos en el que Wiles combina resultados y piezas conseguidas por las més brillantes y astutas cabezas del pensar mate. ético contemporaneo, ademas de sus proplos resultados. La demostracién ‘de Wiles no cabe en el margen de una pagina, entre otras cosas, porquella lista 66 FE teorema de FermatPortada det arto de Andrew Wiles conta sluidn {el teorema de Fermat pare. ‘doe la vec Arnal of Mathematics en 195, Fermat's Last Theorem, de personas que han hecho posible con sus trabajos tal demostracién necest- ta por s{ misma todo un ibro (Barry Mazur en[S)) 2. Cada ver es mas frecuente que los problemas mateméticos tengan enun- ciados tan dificil y especializados que, tan s6lo para entender qué nos estan diciendo, se necesiten afios de estudlos. Si en muchos casos esta situacion es inevitable, en otros tantos es fruto de la moda del momento. El teorema de Fermat es un teorema de enunciado sencillo y aseguible. Y sin embargo, para ser resuelto ha necesitado de algunas de las téenicas més sofisticadas de la matemitica del siglo XX. 3, En mateméticas es cada vez més dificil el dedicarse al estudlo de pro- blemas que requleran muchos afios de estudio y labor. La presién a publicar por publicar, ya sea dejando resultados a medias, ya sea cortando otros en diez ‘rozos que den lugar a otros tantos articulos es cada vez mas fuerte. Més de trescientos ahs se ha tardadlo en resnlver el teorema de Format, ¥ se ha resuelto gracias a las miles de horas que miles de indivicuos han dedlcado a su estudio sin consegulr nada publicable a eambio, EI teorema esté demostrado. Un teorema que a lo largo de los aitimos siglos ha dado lugar a gran cantidad de matematica, bellsima y profunda (IRD. Ademés, siguiendo la estrategia de Wiles, los matematicos Breuil, Capi Corrales Rodriganer 467 9595 Conrad, Diamond y Taylor demostraron en 1999 la conjetura de TSW para todas las curvas eliptias. Si el teorema de Fermat no tiene ninguna aplicaci6n, préctlca, no ocurre lo mismo con la conjetura de TaniyamaShimura-Well Su emostracion supone un paso importanttsimo en el Programa Langlans, un proyecto de efecto fundamental para la matemiética, surgido en este siglo, y ‘que consiste en asociar a una estructura algebraica (en este caso una curva eliptica) un tipo especifico de serie infinita construida a parti de datos con- cretos de la estructura (a serie L de la curva, que la conjetura de Tanlyama- Shimura-Well relaciona especificamente con su parametrizacion modular), y estudiar Ia informacién que la una brinda sobre I otra. Pero no slo Ia matematica se ha beneficlado con el teorema de Fermat. Pensemos en los miles de individuos que a lo largo de los aos le han dedica- {do su tiempo. Durante las horas que le dedicaban al teorema, estas personas, hhan vivido en lafrontera de su ser, en el limite de las capacidades de su razon, Se han atrevido a dejar atrés el terreno de las certidumbres para saltar en el fespacio de las aventuras abstractas. No es cil. ;Quién no se ha sentido para- lizado de miedo ante un papel y un lapiz, atin estando a solas en una habita- ién? Al penetrar en terreno nunca antes pisado por ser humano, ya sea en la jungla como en la matemética, se dejan atrés las referencias, las coordenadas, Se vuela con la libertad del pajaro a quien no preocupa que el cielo sea timi- tado, En el hacinamiento fisico, mental y espiritual de esta sociedad nuestra, ‘el viaje matemético no es una pérdida de tlempo. Es ala con la que volar, yes, rafz con la que aflanzars. ‘Ts ples sobre a tiera antes no holla, “Tus ojs frente a lo antes nunca visto. Peregrin, Luis Cernuda, [Mi experiencia al hacer mateméticas es Ia de entrar en una mansién a oscuras. Entras en la primera habitacién y est a oscuras, completamente oscuras. Troplezas con los muebles, te tambaleas. Poco a poco aprendes donde est cada rmueble.¥finalmente, tas unos ses meses, encuentras el Interruptory das luz De repente todos lumina y puedes ver donde ests exactamente.Entonces entras nla siguiente habitaion &oscurs. ‘Andrew Wiles (SD Biblogratia [AC] Andadas,C; y Corales Rodigien,C. (Bs) 40 ats de matemdticas en torneo Teorema de Feat. Ba Complutense Maid 1858, UF] Ferma, Pde: Eres. Tannery y Henry es. pp- 18961812 (6 Geen: fn dela ero igo Vy XX, Misi de ia coca {62} —"aitour du théoréme de Ferma, en Moemosye, Université de Pals IL, 1994 [R Ribenboim, P19 lectres on Ferma’ Last Phearem. Springer Veriag, Nueva York 387. [s] Singh $: Fermat's Lasé Theorem (ideo), BBC-I987, wewbibe o.u horzontermat hte [Nt] Wiles, A: "Modular elipie curves and Fermat's Last Theorem", Ann. of Math . Ml (0989), pp #51. 468 El teorema de Fermat