EL ENIGMA DE

FERMAT
CAPTULO 5
En 1666

Se fund la Acadmie des Sciences de Pars.

Jean Baptiste Colbert, ministro de finanzas, otorga holgados
recursos a esta institucin.
Poco a poco se invit a formar parte de ella a eminentes
cientficos de todo el mundo.

En 1721

La Acadmie des Sciences de Pars estableci una serie de

premios con el fin de estimular los avances cientficos en
determinados temas de relevante importancia.
El jurado lo conformaban expertos reconocidos a nivel mundial.
A
GANADORES TRABAJOS
O

172
4 Colin Maclaurin Impacto de los cuerpos

172 Pierre Bouguer y Charles tienne

7 Diseo de mstiles de barcos
Louis Camus

173 Estudio sobre la naturaleza

8 Leonhard Euler
del fuego

178 Investigaciones sobre el

1 Charles Augustin de Coulomb
rozamiento

181
2 Simen Denis Poisson Resultados en electricidad

181
2 Augustin Jean Fresnel Estudios sobre la difraccin
 La Acadmie, dedic en 1816 una edicin del premio a
quien diera una demostracin de el ltimo teorema de
Fermat.

Gauss tambin dedic su tiempo a pensar en el

teorema, que contenan demostraciones para los
exponentes n=3 y n=5.

En 1760, figuras de la talla de Euler ya haban afrontado

el problema. Tan solo consigui una demostracin para
el exponente n=3.

Es probable que Fermat tuviera ya una demostracin

para este exponente utilizando su mtodo de
descenso infinito.

Estaba claro que un cubo no se poda descomponer

como suma de dos cubos, pero qu poda decirse
acerca de los infinitos exponentes que todava
A Expone
INVESTIGADORES
O nte (n)

El alemn Johann Peter Gustav Lejune Dirichlet

182
5
(1805-1859) y el francs Adrien-Marie Legendre n=5
(1752-1833)

183
2
Dirichlet n = 14

183
9
El francs Gabriel Lam (1795-1870) n=7
UNA PROTAGONISTA INESPERADA

En 1823

Legendre y Auguste-Louis Cauchy se encargaron de

transmitir a la comunidad cientfica por que la Acadmie
no permita que las mujeres presentaran personalmente
sus resultados.
Si se consegua demostrar el teorema para los
exponentes primos, entonces ya quedaba demostrado
para todos los exponentes naturales. Igualmente, si una
solucin entera tiene algn factor en comn, dividiendo
entre este factor se obtiene tambin una solucin
entera. Por lo tanto, una demostracin del teorema para
las soluciones primitivas es tambin una prueba general
del mismo.
 A partir de Germain se empezaron a distinguir dos casos
en el conjunto de soluciones del ltimo teorema.
El primer caso estaba formado por soluciones tales
que ni , ni , ni eran divisibles entre .
El segundo caso estaba formado por soluciones
tales que o bien , o bien , o bien eran divisibles entre .
El resultado de Germain probaba el primer caso del
Teorema de Fermat para un enorme conjunto de
exponentes. Los que faltaban hasta llegar a 100 fueron
completados por el mismo Legendre.
( x yi ).( x yi ) z 2

LA DEMOSTRACIN DE LAM
El 1 de marzo de 1847 Gabriel Lam hizo un anuncio
espectacular a la Acadmie des Sciences de Pars.
Haba encontrado la deseada demostracin del
teorema de Fermat para todos los exponentes!
La idea era trabajar en el cuerpo de los nmeros
complejos. En este conjunto, se convierte un problema
aditivo en un problema multiplicativo. Con esta
herramienta, el teorema del tringulo rectngulo pasa
de escribirse: a escribirse: .
 SOLUCIONES IDEALES

Plantea la solucin introduciendo un nuevo tipo de nmeros complejos,

nmeros complejos ideales. Los ideales introducidos por Kummer
le permitieron recuperar la factorizacin nica y seguir avanzando en el
razonamiento.
 Para rescatar esta propiedad se puede introducir
un nmero ideal, el 5. Que no pertenece al
conjunto de los nmeros pares. Co la ayuda de
este nmero, el 10 y el 50 ya se pueden
descomponer y dejan de ser primos,
obtenindose:

Y las dos factorizaciones coinciden!

 El jurado piensa que la Acadmie debe adjudicarle la
medalla al Mr. Kummer, por sus maravillosas
investigaciones sobre los nmeros complejos formados por
races de la unidad y enteros. As, el premio fue otorgado
a Kummer en 1857, sin haberse presentado al concurso!
Sus contribuciones fueron de tal magnitud que abrieron
las puertas a nuevos campos de investigacin: primos
regulares, teora de ideales, cuerpos ciclotmicos, nmero
de clase, teora de cuerpo de clases,
RESPECTO AL CASO GENERAL
DEL TEOREMA DE FERMAT
 UN PUENTE ENTRE DOS
MUNDOS
A finales de la dcada de 1980 los expertos conocan una serie de conjeturas que,
en caso de ser probadas, probaran tambin el ltimo teorema por implicacin, al
menos para el caso de los exponentes de mayor tamao: la conjetura abc, la
conjetura de Szpiro, la de Bogomolov-Miyaoka-Yau, etc. A este grupo se incorpor
la conjetura de Taniyama-Shimura (planteada en los aos 50 y refinada en los 70).
La conjetura de Taniyama-Shimura postula un vnculo extraordinario e inesperado
entre dos familias de objetos matemticos a primera vista totalmente dispares: las
curvas elpticas, ntimamente relacionadas con ecuaciones cbicas del tipo que
estudiara en su da Diofanto, y las formas modulares, desarrolladas a fines del
siglo XIX por el francs Henri Poincare.
EL PRIMER MUNDO: LAS CURVAS ELPTICAS
EL PUENTE: LA CONJETURA DE
TANIYAMA-SHIMURA
LA CONJETURA PSILON
Pero, la conjetura de Taniyama-Shimura afirmaba que todas las curvas elpticas son modulares.
Entonces, si Taniyama-Shimura est en lo cierto, es decir, una curva que es a la vez elptica y
no modular, es imposible. En consecuencia, si la conjetura de Frey era correcta, dado que toda
posible solucin del ltimo teorema era a su vez una curva de Frey, afirmar con Taniyama-
Shimura que no existen tales curvas, es lo mismo que decir que el ltimo teorema no tiene
soluciones y, por lo tanto.que es cierto!

El matemtico francs Jean Pierre Serre (nacido en 1926), se interes por la formulacin de
Frey y lo formaliz en trminos algo diferentes la hiptesis de Frey (completando sus huecos
mediante el uso de las denominadas representaciones modulares de Galois) y la elev
oficialmente a la categora de conjetura.
La conjetura epsiln, conllevaba una relacin necesaria entre Taniyama-Shimura y el ltimo
teorema: si la primera era cierta, la otra no poda serlo, y viceversa.
 DE CONJETURA A TEOREMA
En 1985, Kenneth Ribet, profesor de Berkeley demostr la
conjetura psilon.
El reto estaba planteado, quien probara la conjetura de Taniyama-
Shimura, probaba el ltimo teorema de Fermat.
Buena parte del problema radicaba en el hecho de que tanto las
formas modulares como las curvas elpticas, los dos tipos de
objetos matemticos que la conjetura afirmaba que estaban
relacionados entre s, eran infinitos.

En 1986, la noticia de la prueba de la conjetura psiln, por Kenneth

Ribet, motiv a Andrew Wiles, para probar la conjetura de Taniyama-
Shimura y por ende el ltimo teorema.
Wiles abandon otros proyectos y se dedic exclusivamente a
resolver el problema, en una decisin que lo tendra aislado durante
los siguientes siete aos.
EL NIO QUE QUISO DEMOSTRAR
EL TEOREMA DE FERMAT
Wiles tuvo una temprana fascinacin por el ltimo teorema, la historia del
cual conoci con apenas diez aos.
Andrew John Wiles, naci en Cambridge en 1953. Se gradu en matemticas
en Oxford. El doctorado lo curs en Cambridge, bajo la tutela del australiano
John Coates. La tesis doctoral de Wiles vers sobre la aritmtica de las
curvas elpticas segn los mtodos de la llamada Teora de Iwasawa.
Durante los siete aos siguientes a la demostracin de la conjetura psilon
por Ribet en 1986, Wiles trabaj de forma obsesiva en la demostracin del
ltimo teorema.
En un principio, Wiles valor la posibilidad de contar cada una de las
funciones elpticas (cuyo nmero era infinito), por un lado, y las funciones
elpticas modulares (tambin infinitas), por otro, y demostrar que dicho
conteo era uno y el mismo en ambos casos. Esta estrategia se demostr
ineficaz, pero se dio cuenta que en lugar de demostrar la conjetura de
Taniyama-Shimura para todas las curvas elpticas, se dio cuenta de que slo
tena que hacerlo para un subgrupo de dichas curvas, las semiestables.
En este punto de su trabajo, Wiles recurri a la teora de Galois.
 Wiles empez a definir las ecuaciones elpticas en trminos de
sus representaciones de Galois, y demostr que stas podan
asociarse con ciertos elementos caractersticos de las formas
modulares. De este modo, Wiles reformul el problema del
conteo en trminos manejables.

El nuevo mtodo de conteo ideado por Wiles ofreca adems

interesantes paralelismos con el tema en el que se haba
doctorado bajo la direccin de Coates, la teora de Iwasawa.

El da 8 de marzo de 1988, Wiles ley en las portadas de los

ms importantes diarios que el ltimo teorema de Fermat
haba sido probado por un japons de nombre Yoichi Miyaoka.
A los pocos meses, sin embargo, se hizo patente que la
supuesta prueba contena un error fatal.
FLACH, KATZ Y LA LUZ AL FINAL DEL TNEL

Para decepcin de Wiles, la teora de Iwasawa no se demostr tan

til como hubiera esperado.
Tras cinco aos de aislamiento, Wiles decidi airearse y retomar el
contacto con algunos colegas, entre ellos su antiguo mentor, John
Coates. ste le contact con uno de sus estudiantes, Matthias
Flach, que al parecer haba desarrollado, sobre el trabajo del ruso
Vctor Kolyvagin, una potente herramienta que poda servirle para
dominar las ecuaciones elpticas que todava se resistan.
Haba llegado el momento de abandonar el secretismo y convertir
su lucha individual en una modesta conspiracin.
En enero de 1993, la persona elegida por Wiles como confidente
y ayudante fue su compaero de facultad Nick Katz, experto en el
tipo de lgebra empleada en los trabajos de Flach-Kolyvagin.
Aparte de sus conocimientos matemticos, Wiles acudi a Katz
porque tena la seguridad de que ste mantendra el secreto. Y no
se equivoc.
 Para mayor seguridad, Wiles incorpor a Peter Sarnak, otro
de sus colegas de Princeton.
Todava quedaba un ltimo obstculo, sin embargo. Algunas
curvas elpticas an se le resistan. Fue entonces cuando
apareci la figura de Mazur, de uno de cuyos artculos Wiles
extrajo la idea de variar uno de los parmetros de estudio.
Wiles estaba convencido de haber resuelto el ltimo
teorema de Fermat. Su supervisor en Cambridge, John
Coates, iba a organizar una conferencia a los pocos das,
entre el 21 y 23 de junio. Wiles orden el fruto de sus
ltimos siete aos de trabajo. En su versin final, el
manuscrito alcanzaba las 200 pginas.
SIGO SIN ENTENDERLO, ANDREW
 La revista estadounidense People incluy a Wiles entre los
25 personajes ms fascinantes del ao.
Wiles haba decidido publicar su prueba en las pginas de
la revista acadmica Inventiones Mathematicae, cuyo
editor era Barry Mazur. Mazur encarg la supervisin a un
equipo de expertos entre los cuales se encontraba Gerd
Faltings o Nick Katz. ste ltimo dedic prcticamente
todos los das de julio y agosto a repasar el trabajo Wiles
lnea por lnea.
Katz haba verificado ya aproximadamente dos tercios del
captulo asignado y encontr dificultades para entender un
argumento concreto, cuya validez requera el
establecimiento y aplicacin de una herramienta
matemtica denominada Sistema de Euler.
 Era una parte especialmente enrevesada de la prueba y Katz remiti
sus dudas a Wiles en un fax: Sigo sin entenderlo, Andrew. En
setiembre, Wiles no tuvo ms remedio que aceptar que algo no
marchaba del todo bien.

Aunque todos esperaban que la evaluacin de un manuscrito de

dicha caracterstica pudiera tomarse varios meses, a mediados de
otoo de 1993 la comunidad matemtica empez a sospechar de la
existencia de algn problema grave y a manifestar su impaciencia.

Por consejo de Sarnak, Wiles recab la ayuda de un ex estudiante,

Richard Taylor, un brillante y joven matemtico. Ambo a se pusieron
a trabajar arduamente, pero a pesar de ello, la mayor parte de 1994
transcurri sin que hallaran el modo de ajustar el mtodo de Flach-
Kolyvagin a las necesidades de la prueba original.
 REVELACIN
En otoo de ese mismo ao, Wiles, habiendo alcanzado el
lmite de su fuerza, se rindi definitivamente. No haba
manera humana de reconstruir la prueba. Retrocedi tres
aos en el tiempo y volvi a examinar la tcnica de Flach-
Kolyvagin desde el principio, para determinar por qu tan
prometedora lnea de ataque haba resultado balda.
En la maana del lunes 19 de setiembre, Wiles tuvo una
revelacin. Se dio cuenta que el mismo problema que le
impeda avanzar era a la vez la solucin a sus
dificultades de haca tres aos con la teora de Iwasawa.
Su lnea de ataque original de haca tres aos resolva el
problema de Flach-Kolyvagin. Durante los das siguientes,
Taylor y Wiles repasaron los detalles de la nueva prueba
corregida, sin encontrar ningn error.
 Poco ms de un mes, se hicieron pblico los dos
manuscritos, a saber: uno, firmado por Andrew Wiles,
llevaba por ttulo Curvas elpticas modulares y el
ltimo teorema de Fermat, el otro, se llamaba
Propiedades anulares tericas de ciertas lgebras
de Hecke, y estaba firmado por Wiles y Richard Taylor. El
primero contena la demostracin de la conjetura
Taniyama-Shimura para el caso de las curvas elpticas
semiestables; uno de cuyos pasos se apoyaba en lo
expuesto en el segundo. Ambos fueron comentados hasta
la saciedad, y remitidos para su publicacin a la revista
acadmica Annals of Mathematics, que tras la pertinente
revisin por parte de los expertos, dio por buenas sus
afirmaciones y los public en su nmero de mayo de 1995.