M as all a del u ltimo teorema de Fermat

AUTOR: Ismael Jim enez Calvo te Gauss conjetura, basado en la experimentaci on, ltqij04@pinar2.csic.es que la cantidad de n umeros primos menores que n www.terra.es/personal9/ismaeljc/ismael.html se aproxima a n/ ln n. La conjetura m as famosa ha sido, sin duda, el llamado u ltimo teorema de Feron se ha demorado tres siglos y Puede parecer parad ojica la importancia que tie- mat cuya demostraci ne la experimentaci on en teor a de n umeros en com- medio y que nalmente ha sido felizmente concluiparaci on con otras a reas de las matem aticas. El da en 1995 por Andrew Wiles, no sin antes haber conjunto de los n umeros naturales lo denimos de propiciado el desarrollo de extensos estudios sobre umeros algebraicos, curvas el pticas y un modo simple y sin articios, empezando por la cuerpos de n unidad y a nadiendo a esta una m as y otra m as en formas modulares. Pudiera parecer que este esfuerzo descomunal, un proceso innito. Esto es, contamos, lo que consolo accesible a contituye quiz as la abstracci on mental m as sencilla y cuyo entendimiento pleno es s as o menecesaria. Cabr a pensar que este conjunto deni- tados especialistas, cierra el tema y deja m aticos. La realidad es do de una manera tan inocente, tuviera tambi en nos tranquilos a los matem umero de conjetupropiedades simples y f acilmente accesibles al ra- muy distinta. Existe un buen n ltizonamiento . . . la realidad, sabemos perfectamente ras antiguas y modernas relacionadas con el u mo Teorema de Fermat que esperan su veredicto que no es as . de verdadero o falso. De hecho, en estos u ltimos Despu es de contar, la humanidad ha tenido la a nos, se est an realizando avances importantes que necesidad de dividir, por ejemplo, para crear siste- han permitido, por ejemplo, la demostraci on de la mas de numeraci on ecientes. De esta manera, se conjetura de Catalan de la que se habla m as adepudo ver que utilizar el seis o el diez como base de lante. No son menos importantes, aparte del reto numeraci on tiene sus ventajas. Efectivamente, una intelectual para el matem atico profesional o aciodocena de huevos la podemos partir en dos, tres, nado, los avances te oricos que se est an realizando, cuatro o seis partes iguales sin tener que recurrir al igual que el desarrollo de m etodos y algoritmos a cascar uno s olo. Es probable que la semana de que son fundamentales en el marco de la moderna siete d as apareciese a partir de la conveniencia de criptograf a. dividir el mes lunar. Es tambi en presumible adivinar el sentimiento de perplejidad e inquietud frente a este n umero siete que tan s olo es divisible por EL ULTIMO TEOREMA DE FERMAT Y la unidad y por si mismo (hoy decimos que es un LA CONJETURA ABC n umero primo) que pudo inuir en la funci on m agiEs muy conocida la conjetura que hizo Fermat ca que este n umero tiene en la biblia. Aqu pudo sobre la imposibilidad de que existan soluciones en estar el G enesis particular de la Teor a de N umen umeros naturales para la ecuaci on ros que se caracteriza por la dicultad de prever las propiedades de los n umeros y la complejidad, e xn + y n = z n , (1) incluso ausencia, de m etodos para su estudio. No existe, por ejemplo, una f ormula que d e la secuen- donde el exponente n es igual o mayor que 3 y la cia de n umeros primos y su n umero y distribuci on anotaci on que hizo el mismo Fermat en el margen est a plagada de misterios. As , la conjetura adquie- de un ejemplar de la arithmetica de Diofanto arre una importancia crucial en el desarrollo de la mando que ten a una demostraci on maravillosa pateor a de n umeros como cuando el joven estudian- ra esta proposici on. Cuando n = 2, la ecuaci on an1

terior expresa el teorema de Pit agoras, donde x e y son las longitudes de los catetos de un tri angulo recto y z la hipotenusa. En este caso, s que existen soluciones en n umeros enteros, son innitas y vienen dadas por x = a 2 b2 , y = 2ab, z = a 2 + b2 ,

una potencia del mismo grado. Relajando m as la proposici on, se puede armar, como se observa en la pr actica, que si sumamos dos n umeros a y b que contienen en su descomposici on potencias de n umeros primos, ser a improbable que su suma contenga primos elevados a potencias altas. Para entenderlo, tomamos la igualdad 73 + 310 = 211 29 Denimos P como el producto de todos los primos que dividen a a, b o c. En este caso P = 7 3 2 29. Cuando a y b est an elegidos al azar, lo m as probable es que P > c, de tal forma que c/P < 1, es decir que expresando c = P , el exponente ser a habitualmente menor que 1. El ejemplo de arriba es un caso excepcional porque = 1, 54708. Es m as, s olo se conocen cinco casos en los que el es superior. En concreto, el mayor exponente hallado hasta ahora es 1,62991. La conjetura original de Oesterl e postulaba que ten a un m aximo que no se pod a superar. Al a no siguiente, Masser demostr o que la relaci on P/c puede ser tan grande como se quisiera. Dicho de otro modo, existen casos en los que la relaci on c = kP exige que la constante k sea arbitrariamente grande. Consecuentemente, reformul o la conjetura de la siguiente manera: Para cada valor de tan peque no como se quiera pero siempre superior a cero, existe una constante k dependiente de tal que, para cualquier terna de enteros a, b y c tales que a + b = c, se cumple que c kP 1+ . Esta conjetura ha demostrado tener numerosas implicaciones en las propiedades de los n umeros primos, curvas el pticas, n umeros algebraicos (aquellos que son ra ces de polinomios con coecientes enteros tales como i, 2, etc.) adem as de no mostrar suras que permitan aplicar m etodos para su demostraci on o refutaci on, tanto m as, si cabe, que la propia ecuaci on de Fermat. Dos d ecadas antes, Marshall Hall propuso su conjetura sobre la dicultad de ajustar los valores de un cubo y un cuadrado cuando estos no son iguales. Arm o que el valor absoluto de x3 y 2 , distinto de cero (dicho de otro modo, en casos en que x no es un cuadrado perfecto) est a, en cierto, modo acotado por la ra z cuadrada de x (para m as informaci on se puede consultar [5]). No es dif cil percatarse de que la conjetura de Hall es un caso particular de la conjetura ABC y, por tanto, tiene implicaciones parecidas en otras a reas de la teor a de n umeros. A 2

donde a y b son dos enteros distintos cualesquiera. Este m etodo de calcular las que se conocen como ternas pitag oricas, no s olo era conocido por Pitagoras sino que tambi en debi o serlo en Babilonia hacia el 1600 a.C. ya que se encontr o una tablilla de arcilla (la Plimpton 13), donde se listaba en escritura cuneiforme un buen n umero de ternas. Porqu e al incrementar el exponente de 2 a m as de 2 pasamos de tener innitas soluciones f acilmente parametrizables a no tener ninguna? Ahora se sabe que en la ecuaci on de Fermat y en otras, las propiedades topol ogicas de las supercies planas que estas ecuaciones denen en el espacio tridimensional juegan un papel importante. En concreto, se hab a conjeturado por Mordell que las curvas con g enero superior a uno s olo pod an tener un n umero nito de puntos racionales y, por tanto, tambi en de puntos enteros. El g enero de una curva depende fundamentalmente del grado o exponente m aximo de la ecuaci on que la dene. Finalmente, el matem atico alem an Faltings pudo demostrar en 1983 esta conjetura. Otra forma de ver el problema del n umero de soluciones posibles de una ecuaci on diof antica es observar que, dentro de los n umeros enteros, los que son cuadrados est an dispersos pero los cubos lo est an m as y as para potencias superiores. Aunque esta observaci on no demuestra en absoluto nada sobre el n umero de soluciones posibles, muestra al menos, que estas son m as dif ciles de encontrar. Siguiendo esta linea, el franc es Oesterl e observ o la ecuaci on de Fermat desde una perspectiva distinta que le llev o a formular en 1988 la llamada conjetura ABC [4] que es considerada actualmente como la m as dif cil de demostrar y en cierto modo es la heredera de la conjetura de Fermat que Wiles, al demostrarla, elev o a la categor a de teorema. Seg un esta perspectiva, el Teorema de Fermat arma que dada la simpl sima ecuaci on a+b=c en la que sumamos dos potencias de grado superior a 2, a = xn y b = y n , no podemos obtener

este respecto, cabe hacer la observaci on de la importancia de los trabajos computacionales a la hora de obtener evidencias y orientaciones sobre las conjeturas. Si bien el computador se suele quedar desbordado y empeque necido ante la innitud de los n umeros, a veces, gracias al hallazgo de un contraejemplo, muestra un poder contundente. Tal es el caso de la conjetura de Euler sobre la imposibilidad de que la ecuaci on x4 + y 4 + z 4 = w 4 , tenga soluciones enteras. Noam Elkies us o la aritm etica de las curvas el pticas para encontrar con el ordenador la siguiente soluci on: 26824404 + 153656394 + 187967604 = 206156734 que zanja la cuesti on y evita a generaciones de matem aticos, el suplicio de buscar una quim erica demostraci on para una proposici on que no es cierta. LA CONJETURA DE CATALAN En una carta al editor de la revista Journal f ur die reine und angewandte Mathematik, el matem atico belga Eug` ene Catalan se preguntaba sobre la posibilidad de que dos n umeros consecutivos pudiesen ser potencias perfectas, aparte de 8 y 9 que son un cubo y un cuadrado respectivamente. Esta proposici on, lanzada en 1844, equivale a decir que no existen soluciones en n umeros enteros para la ecuaci on

Preda Mih ailescu [6], nacido en Ruman a, que estudi o y trabaj o en Z urich y que, actualmente se encuentra adscrito a la Universidad de Paderborn en Alemania, ha concluido una prueba que cierra un largo proceso de resoluci on de casos particulares y desarrollo de t ecnicas que guarda ciertos paralelismos con el que hizo posible la demostraci on de Wiles del u ltimo teorema de Fermat. A mediados del siglo XIX, era perfectamente conocida la teor a de los n umeros enteros de Gauss. Los n umeros enteros de Gauss son de la forma a + bi umeros enteros cualesdonde i = 1 y a y b son n quiera y forman lo que se denomina un dominio de enteros con muchas propiedades similares a las de los enteros habituales. Podemos factorizar un entero de Gauss en factores primos y, adem as, de forma u nica, lo que no ocurre con otros dominios de enteros formados a partir de otras ra ces irracionales de polinomios. As , el entero de Gauss compuesto 1+5i, es el producto de los primos 1+i y 2+3i como se puede comprobar. Esto le permiti o a V. A. Lebesgue en 1850 (no confundir con Henri Lebesgue conocido en la teor a de la integraci on) atacar con exito el caso xp y 2 = 1 a trav es de la factorizaci on xp = (y + i)(y i).

Sin embargo el caso x2 y p = 1 se resisti o m as de un siglo hasta que el matem atico chino Chao Ko lo resolvi o en 1961 y lo dio a conocer al mundo occidental mediante una publicaci on en Scientia Sinica en 1964, precisamente el a no en que comenz o la u v Revoluci o n Cultural. x y = 1, x, y, u, v > 1, (2) Quedaba, por tanto, tratar el caso en el que p y salvo la mencionada 32 23 = 1. En su nota, el jo- q son dos primos impares cualesquiera. Sin embar ven profesor de la Ecole Polytechnique de Par s que go, en la segunda mitad del siglo XX, los esfuerzos debe su fama a este problema y a sus aportacio- para su demostraci on tomaron un derrotero inespenes dentro del campo de la combinatoria, armaba rado. Tidjeman, en 1976, encontr o que las posibles creer que era cierta, aunque no pod a demostrarla soluciones de la ecuaci on de Catalan deb an, caso en todos sus casos. Es f acil ver que una hipot eti- de que existiesen, ser inferiores a cierta cota. Dica soluci on en la que uno o ambos exponentes es cho de otro modo, el n umero de soluciones posibles compuesto, implica la existencia de otra soluci on en x, y , p y q es nito y, en teor a, pueden ser con exponentes primos. Por ejemplo, si u = pa y examinadas por un ordenador zanjando la cuesti on v = qb, p y q primos, tenemos que la ecuaci on ante- denitivamente. Desgraciadamente, la cota proporrior equivale a (xa )p (y b )q = 1. Basta, por tanto, cionada por Tidjeman era tan desmesurada que la mostrar la ausencia de soluciones de la ecuaci on convert a en impracticable. El resultado de Tidjeman se basaba en teoremas propios de la teor a de xp y q = 1, la aproximaci on diof antica que trata temas del tie medida se pueden aproximar con p y q primos, para demostrar la conjetura de po de, como y en qu umeros irracionales mediante n umeros racionales. Catalan. Todo parece indicar que el matem atico n 3

Fue precisamente Liouville, un profesor de Catalan en la Escuela Polit ecnica de Par s, el que puso la semilla de estos m etodos descubriendo un famoso teorema sobre la aproximaci on de n umeros irracionales algebraicos (aquellos que son ra ces de polinomios). Posteriormente, se pudo constatar que esos teoremas sobre la aproximaci on de n umeros racionales, impon an cotas nitas a la soluci on de ciertas ecuaciones diof anticas. Tidjeman se bas o en un resultado previo de Baker de 1972 sobre formas lineales en logaritmos. Anecd oticamente, Liouville, no s olo puso los medios para el avance en la comprensi on de la ecuaci on de Catalan, sino que tambi en le pudo ayudar personalmente proporcion andole un modesto puesto de profesor ayudante (r ep etiteur) de geometr a descriptiva ya que sus tendencias pol ticas de izquierda no obraban a su favor. A partir de ese momento, parec a que el problema podr a alcanzar su soluci on mejorando la cota de Tidjeman y encontrando condiciones adicionales que restringiesen el n umero de soluciones a comprobar por el ordenador. A esta tarea se aplicaron matem aticos como Inkieri, Steiner, Mignote y el propio Mih ailescu. Cassels, ya en 1960 demostr o que x debe ser divisible por q , a la vez que y debe serlo por p. Inkieri y Steiner demostraron que p y q deben cumplir la doble condici on pq1 1 (mod q 2 ), q p1 1 (mod p2 ),

nester utiliz o los cuerpos ciclot omicos que son extensiones del cuerpo de los n umeros racionales al que se le a nade una ra z p- esima de la unidad = e2i/p (de una forma parecida a c omo se obtiene el cuerpo de los n umeros imaginarios adjuntando la ra z cuadrada de -1 al cuerpo de los n umeros reales). Los cuerpos ciclot omicos juegan un papel preponderante en la soluci on del problema de Catalan. De hecho, la ecuaci on de Catalan se puede expresar de la siguiente manera: (x 1)
p

xp 1 = yq , x1

lo que se denomina un par de primos de Wieferich (por analog a con el papel que juegan los primos de Wieferich en el u ltimo teorema de Fermat), propiedad que cumplen escasos pares de primos. Inicialmente, tanto Inkieri como Steiner deb an incluir ciertas condiciones adicionales, pero nalmente Mih ailescu en 2000 pudo demostrar que, incondicionalmente, un par (p, q ) en la ecuaci on de Catalan debe ser necesariamente un par de primos de Wieferich. Adem as, fue m as all a que Cassels demostrando que x debe ser divisible por q 2 e y por p2 . A un as , el problema segu a siendo no computable en la pr actica. Mih ailescu, que proced a del a rea de la criptograf a, lo denominaba coloquialmente como problema criptogr acamente seguro. Sus trabajos precedentes, en el Institute of Scientic Computing de Z urich, estaban relacionados con pruebas de primalidad y generaci on de primos seguros en algoritmos criptogr acos. Para este me4

1 omico Q( ). donde x x1 factoriza en el cuerpo ciclot El 18 de abril de 2002, Mih ailescu envi o un manuscrito al Journal f ur die reine und andgewandte Matematik, la misma revista que acogi o el problema planteado por Eug` ene Catalan en 1844, con una prueba para la conjetura. La prueba radica en que las soluciones posibles de la ecuaci on de Catalan son incompatibles con las propiedades de los cuerpos ciclot omicos. En el momento de redactar estas lineas, el art culo no ha sido a un aceptado por la revista, pero todo apunta a que la prueba ser a dada por v alida ya que ha sido aceptado para publicaci on en el Bulletin of the American Mathematical Society un art culo de Tauno Mets ankil a donde avala y explica la demostraci on de Mih ailescu. La prueba est a igualmente avalada por Yuri Bilu mediante un escrito donde la describe y comenta.

LA ECUACION GENERALIZADA DE FERMAT-CATALAN Y LA CONJETURA DE BEAL Qu e ocurre cuando, en la ecuaci on de Fermat (1), permitimos que los exponentes sean n umeros cualesquiera superiores a 1 y no necesariamente iguales? xa + y b = z c , a, b, c > 1. (3)

Podemos ver que la ecuaci on de Catalan (2) es un caso particular de esta u ltima, si la ponemos en la forma xa + 1b = z c . Aqu tenemos que hacer una distinci on importante que no hac amos en el caso de la ecuaci on de Fermat. Si x, y y z comparten un factor com un en la ecuaci on de Fermat, debido a que los tres exponentes son iguales, este factor se puede eliminar. Sin embargo, la ecuaci on (3) no es

ser menos abundantes que en el caso 2. De hecho, son nitas para cada terna (a, b, c) como han demostrado Darmon y Granville [9] aplicando un teorema de Faltings ya mencionado anteriormente. Sin embargo, permanece abierta la cuesti on de si el n umero de soluciones es nito para todas las ter(rt)a + (st)a = ta+1 , nas posibles, lo que se conoce como conjetura de Fermat-Catalan. para cualquier terna (r, s, t) en la que t = r a + Desde principios de los a nos noventa, se han essb . Por tanto, centramos nuestra atenci on en las tado buscando ejemplos del caso 3 con el ordellamadas soluciones propias en las que x, y y z nador. En diciembre de 2002, Henri Cohen [10] son primos entre s . Desde antiguo, se han tratado anunciaba el resultado de una b usqueda sistem atialgunos casos particulares pero, en la actualidad, se ca con potencias por debajo de 293 que ha enha completado el conocimiento b asico de todo los contrado u nicamente doce ejemplos que van desde 1 1 5 2 4 casos posibles que dependen del valor de a +1 as complicado b + c , el simple 2 + 7 = 3 hasta el m 8 3 en la forma siguiente: 43 + 96222 = 300429072. En todos los casos, uno de los exponente es 2, lo que, seg un se arma, no 1 1 +1 Caso 1: a b + c =1 pas o desapercibido desde un principio. No sin cier3 6 2 S olo existe la soluci on 2 +1 = 3 que coincide con ta pol emica entre medias, el matem atico acionado la u nica soluci on de la ecuaci on de Catalan. Las soAndrew Beals, propuso la conjetura de que no exis3 3 3 luciones del tipo x + y = z son un caso particular te ning un caso en el que todos los exponentes sean de la ecuaci on de Fermat que Euler ya demostr o co4 4 2 superiores a 2, con x, y y z coprimos [11]. Beals, mo imposibles. Las soluciones del tipo x + y = z empresario y poseedor de un banco en Texas, hizo tambi en son imposibles seg un demostr o el mismo algo m as. Ofrece 100.000 dolares USA al que enFermat. Recordamos aqu que, ya que una cuarta cuentre una demostraci on para su conjetura, que potencia es tambi en un cuadrado, Fermat estaba sea aceptada en el mundo acad emico o para aquel demostrando su conjetura para el caso n = 4. Lo que encuentre un contraejemplo que demuestre su que hizo Fermat fue tomar las soluciones para las falsedad. ternas pitag oricas X 2 + Y 2 = z 2 y demostrar que X e Y no pod an ser ambos un cuadrado. Para esto, Bibliograf a: utiliz o el m etodo del descenso innito descubierto por el. [1] W. J. LeVeque. Fundamentals of Number 1 1 Theory. (1977). Edit. Dover Publications, inc. Caso 2: a +1 + > 1 b c New York. Las soluciones son innitas y se pueden expresar en funci on de par ametros como ocurre con ternas pitag oricas que entran dentro de este ep grafe. Este [2] I. Niven, H. S. Zuckerman y H. L. Montgomery. An introducction to the theory of numcaso comprende aquellos en los que (a, b, c) toman bers (1991). Edit. John Wiley and sons, inc. los valores de las ternas (2,2,c) con c 2, (2,3,3), New York. (2,3,4) y (2,3,5), en cualquier orden. Recientemente homog enea y este caso no se puede obviar sin m as. En el primer caso, cuando x, y y z comparten un factor com un podemos encontrar f acilmente soluciones en n umeros enteros para muchas familias de exponentes. Este es el caso de la identidad Fritz Beukers [7] logr o encontrar todas las soluciones para las ternas (2, 2, c) con c > 2, (2,3,3), (2,3,4) y su alumno Johnny Edwards [8] ha caracterizado las correspondientes a la terna (2,3,5) aplicando la teor a de invariantes de las formas de Klein.
1 1 +1 Caso 3: a b + c <1 Los exponentes son superiores a aquellos que se presentan en los casos anteriores. Por lo que hemos visto hasta ahora sobre la conjetura ABC, cabe suponer que las soluciones, si es que existen, deben

[3] S. Singh. El enigma de Fermat. (1997). Edit. Planeta. Barcelona. [4] http://www.math.unicaen.fr/%7Enitaj/ abc.html. [5] http://www.terra.es/personal9/ismaeljc/ hall.html. [6] http://www-math.uni-paderborn.de/ preda. 5

[7] F. Beukers The Diophantine equation Axp + By q = Cz r . Duke Math. 91 (1998), 6188. [8] http://www.math.uu.nl/people/edwards [9] H. Darmon y A. Granville On the equation z m = F (x, y ) and Axp + By q = Cz r . Bull. London Math. Soc. 27 (1995), 513543. [10] http://www.math.u-bordeaux.fr/cohen/ fermatgen. [11] R. Daniel Mauldin A generalization of Fermats last theorem: The Beal conjecture and prize problem. Notices of the AMS 44 (1997), 14361437.