Sir Andrew John Wiles KBE FRS (n.
Cambridge, Inglaterra, 11 de abril de 1953) es un
matemtico britnico. Alcanz fama mundial en 1993 por exponer la demostracin del
ltimo teorema de Fermat, que aunque en esa oportunidad result fallida, finalmente logr
completarla correctamente en 1995.1
Wiles pudo demostrar el ltimo teorema de Fermat a partir de la conexin, esbozada por
Frey, y demostrada por Ken Ribet en 1985, de que una demostracin de la llamada
Conjetura de Taniyama-Shimura conducira directamente a una demostracin del ltimo
teorema de Fermat. En resumen, la conjetura de Taniyama-Shimura establece que cada
curva elptica puede asociarse unvocamente con un objeto matemtico denominado forma
modular. Si el ltimo teorema de Fermat fuese falso, entonces existira una curva elptica
tal que no puede asociarse con ninguna forma modular, y por lo tanto la conjetura de
Taniyama-Shimura sera falsa. Por lo tanto, Taniyama-Shimura demuestra el ltimo
teorema de Fermat.
La demostracin de la conjetura de Taniyama-Shimura supona ya de por s un reto de suma
importancia, ya que constitua uno de los puntos del llamado Programa Langlands, cuyo
objetivo consiste en unificar reas de las matemticas que aparentemente no tienen relacin
entre s. Wiles pas los 8 aos siguientes a la demostracin de Ribet en completo
aislamiento trabajando en el problema, lo cual es un modo de trabajo inusual en
matemticas, donde es habitual que matemticos de todo el mundo compartan sus ideas a
menudo. Para no levantar sospechas, Wiles fue publicando artculos peridicamente, como
hara cualquier matemtico de cualquier universidad del mundo.
En 1993, Wiles crey que su demostracin estaba cerrada:
Uno entra en la primera habitacin de una mansin y est en la oscuridad. En una
oscuridad completa. Vas tropezando y golpeando los muebles, pero poco a poco
aprendes dnde est cada elemento del mobiliario. Al fin, tras seis meses ms o
menos, encuentras el interruptor de la luz y de repente todo est iluminado. Puedes
ver exactamente dnde ests. Entonces vas a la siguiente habitacin y te pasas
otros seis meses en las tinieblas. As, cada uno de estos progresos, aunque a veces
son muy rpidos y se realizan en un solo da o dos, son la culminacin de meses
precedentes de tropezones en la oscuridad, sin los que el avance sera imposible.
ltimo teorema de
Fermat establece que no
existe solucin con
nmeros enteros no nulos
(ni x=0, ni y=0, ni z=0)
para la ecuacin: xn + yn
= zn si n es un entero ms
grande que dos.
____________________
________________
Asociacin entre
Fermat y Taniyama
Si p es un primo mayor
que 2 y a, b y c son
enteros positivos tales
que ap+bp=cp entonces la
ecuacin correspondiente
y = x(x - ap)(x + bp)
define una curva elptica
hipottica, llamada la
curva de Frey, que debe
existir si hay un
contraejemplo al ltimo
teorema de Fermat.
Siguiendo el trabajo de
Yves Hellegouarch, quien
fue el primero en
considerar esta curva,
Frey seal que si tal
curva existiese tendra
propiedades peculiares, y
sugiri en particular que
aquella curva no sera
una curva modular.
Aprovech una serie de conferencias en el Instituto Isaac Newton, de la Universidad de
Cambridge, para realizar su anuncio. El ttulo de sus conferencias fue deliberadamente poco
especfico. Al cabo del primero de los tres das que dur las conferencias, se comenz a
expandir el rumor de que Wiles iba a demostrar el ltimo teorema de Fermat, lo cual
provoc que su ltima conferencia estuviera abarrotada de gente. Al final de esta
conferencia, Wiles pronunci: "[...] y esto demuestra el ltimo teorema de Fermat. Creo
que lo dejar aqu". Lo siguiente fue una estruendosa ovacin.
Sin embargo, Wiles no quiso exponer su artculo al escrutinio detallado de toda la
comunidad matemtica hasta que hubiera sido revisado por un pequeo grupo de
matemticos, a cada uno de los cuales fue encargado revisar una parte del manuscrito
original de ms de 100 pginas. Dicho escrutinio revel un error fatal, que Wiles no pudo
solucionar de inmediato. Tras dos aos de trabajo intenso y la ayuda de su ex doctorando
Richard Taylor, Wiles public en Annals of mathematics el artculo definitivo (Wiles,
Andrew. Modular elliptic curves and Fermat's last theorem. Ann. of Math. (2) 141 (1995),
no. 3, 443--551.), junto con otro artculo escrito en colaboracin con Taylor en el cual
detallaba las tcnicas que permiten resolver el fallo de la primera demostracin.2
Dado que Wiles utiliz ms de 100 pginas y modernas tcnicas matemticas, es en la
prctica imposible que esta demostracin sea la misma que insinu Fermat. (Fermat posea
un ejemplar de la Arithmetica de Diofanto en cuyos mrgenes anotaba las reflexiones que le
iban surgiendo. En uno de estos mrgenes enunci el teorema y escribi Cuius rei
demonstrationem mirabilem sane detexi. Hanc marginis exiguitas non caperet, cuya
traduccin es Poseo una demostracin en verdad maravillosa para este hecho, pero este
margen es demasiado estrecho para contenerla). Fermat lleg a demostrar el caso
mediante el mtodo de descenso infinito; es probable que se haya engaado al creer que
tena una prueba para el caso general. Puede ser incluso que se haya percatado de su error
ulteriormente: sus notas marginales eran de uso personal, y por lo tanto Fermat no hubiera
tenido que desdecirse con sus correspondientes.
