Una frase que cualquiera puede leer y casi nadie podía demostrar
El último teorema de Fermat afirma que la ecuación xn + yn = zn no tiene soluciones enteras positivas cuando el exponente n es mayor que 2. Para n = 2 sí existen infinitas ternas pitagóricas, como 3² + 4² = 5². El teorema dice que al pasar a cubos, cuartas potencias o exponentes mayores desaparecen todas las soluciones no triviales. No afirma que la ecuación carezca de soluciones reales o complejas, ni prohíbe ceros: especifica enteros no nulos. Esa combinación de enunciado elemental y dificultad profunda lo convirtió en uno de los problemas más famosos de la teoría de números.
Pierre de Fermat anotó hacia 1637 en un margen de la Arithmetica de Diofanto que poseía una prueba maravillosa demasiado grande para caber allí. No dejó esa demostración y es improbable que tuviera una prueba válida del caso general con las herramientas conocidas.
Por qué no era necesario comprobar cada número natural
Si existiera una solución para un exponente compuesto, podría reducirse a una asociada a un exponente primo o al caso n = 4. Por ejemplo, si n contiene un factor primo p, las potencias restantes pueden agruparse y producir una solución para p. Esto concentra el problema en exponentes primos impares más el cuatro, pero siguen siendo infinitos.
Fermat demostró el caso n = 4 mediante descenso infinito: una supuesta solución mínima permitiría construir otra aún menor, contradicción. Euler avanzó el caso 3; otros resolvieron exponentes concretos. Cada éxito introducía técnicas, pero una colección de casos no demostraba el enunciado universal. Un ordenador tampoco puede comprobar infinitos exponentes uno a uno.
Sophie Germain, Kummer y los números que surgieron del fracaso
Sophie Germain desarrolló a comienzos del siglo XIX un criterio que resolvía una primera parte para muchos exponentes primos y restringía posibles soluciones. Su trabajo fue extraordinario en un entorno que limitaba la participación académica de las mujeres. Legendre y Dirichlet completaron el caso 5; Lamé anunció en 1847 una prueba que fallaba por asumir factorización única en nuevos sistemas numéricos.
Ernst Kummer convirtió ese obstáculo en teoría. Introdujo números ideales y probó el teorema para una clase amplia de exponentes, los primos regulares. El problema impulsó álgebra y teoría de números aunque siguiera abierto. Esta historia corrige la idea de 358 años sin progreso: no se resolvió la meta, pero los intentos construyeron herramientas con valor mucho más amplio.
El puente inesperado hacia curvas elípticas
En el siglo XX, una posible solución a Fermat podía asociarse con una curva elíptica de forma especial, hoy llamada curva de Frey. Gerhard Frey sugirió que esa curva tendría propiedades incompatibles con la conjetura de Taniyama-Shimura-Weil, que relacionaba curvas elípticas con formas modulares. Jean-Pierre Serre precisó el vínculo y Kenneth Ribet demostró en 1986 la pieza decisiva.
La lógica quedó invertida: si toda curva elíptica semiestable sobre los racionales fuera modular, una solución de Fermat produciría una curva que tendría que ser modular y no modular a la vez. Por contradicción, la solución no existiría. El problema escolar pasó a depender de objetos avanzados: curvas, simetrías analíticas y representaciones de Galois.
Siete años en secreto, un fallo y la reparación
Andrew Wiles conocía el problema desde niño. Tras el resultado de Ribet, trabajó durante unos siete años en una parte suficiente de la conjetura de modularidad. En junio de 1993 anunció la prueba en Cambridge. La revisión detectó un fallo en un argumento sobre sistemas de Euler. Durante meses intentó repararlo y colaboró con Richard Taylor.
En septiembre de 1994, al combinar una idea abandonada con el obstáculo que bloqueaba la otra vía, encontró la solución. Dos artículos de Wiles y Taylor-Wiles aparecieron en 1995 en Annals of Mathematics. Demostraban la modularidad de curvas elípticas semiestables, suficiente para Fermat. La conjetura completa se probó después por otros matemáticos. La revisión y el fallo no debilitan la historia: muestran cómo una prueba se vuelve conocimiento aceptado.
Una prueba no es una búsqueda gigantesca de ejemplos
La demostración no toma una potencia concreta y prueba que falla. Establece un puente lógico: cualquier contraejemplo generaría un objeto imposible dentro de una teoría demostrada. Comprender todos los detalles requiere años de formación, pero la estructura puede explicarse sin fingir que modularidad significa algo sencillo. Una analogía orienta; no reemplaza definiciones y teoremas intermedios.
El resultado tampoco vuelve inútiles los intentos elementales. Casos especiales, congruencias y factorizaciones enseñan por qué el problema resiste. Su legado es una red entre aritmética y geometría, no solo una respuesta. El estudio de los primos, las curvas elípticas y las formas modulares avanzó porque generaciones persiguieron una frase escrita al margen y aceptaron transformar la pregunta cuando las herramientas antiguas no bastaban.
El puente con las curvas elípticas fue sorprendente porque cambió el tipo de objeto estudiado. A una solución hipotética se le podía asociar una curva con propiedades tan extrañas que chocaría con la conjetura de modularidad. Así, una igualdad entre enteros quedó conectada con funciones complejas y simetrías. La geometría algebraica permite precisamente traducir preguntas aritméticas a formas geométricas donde aparecen herramientas nuevas.
La demostración no verifica exponentes uno por uno. Para exponentes compuestos basta reducir a exponentes primos y al caso 4; después el argumento modular descarta todas las posibilidades restantes de una vez. Ese alcance explica la diferencia entre cálculo y prueba. Un ordenador puede revisar rangos enormes, pero Wiles y Taylor mostraron que una solución produciría un objeto matemático imposible bajo un teorema general.
