Rev.R.Acad.Cienc.Exact.Fs.Nat.

(Esp)
Vol. 103, N. 2, pp 269-278, 2009
X Programa de Promocin de la Cultura Cientfica y Tecnolgica

EL LTIMO TEOREMA DE FERMAT: UN ENIGMA ENTRE

CLCULO E IDEAS DESDE 1630 A 1994
MANUEL LPEZ PELLICER *
* Real Academia de Ciencias Exactas, Fsicas y Naturales. Valverde 22, 28004 Madrid.

1.

EL LTIMO TEOREMA DE FERMAT

EN EL SIGLO XVIII

Alrededor de 1630 Fermat estudi la Aritmtica de

Diofanto, en una traduccin latina de Claude Bachet
(1581-1638), publicada en 1621. El problema ocho del
libro II de la Aritmtica propone descomponer un
nmero al cuadrado en suma de dos nmeros al
cuadrado y Fermat anot en el margen la imposibilidad
de hacer algo similar para los cubos, las cuartas
potencias, o cualquier potencia ms alta, afirmando
tener una prueba notable de este hecho que no poda
escribir en los mrgenes estrechos del libro (Hanc
marginis exiguitas non caperet).

Fermat escriba constantemente en sus libros resultados de este tipo sin demostracin, que enviaba a sus
amigos matemticos informndoles de sus nuevos
resultados y animndoles a encontrar las demostraciones. No se ha conservado ninguna carta donde
Fermat comente este problema, que luego se convirti
en el ltimo Teorema de Fermat, fuera del legendario
comentario marginal, lo que parece indicar que el
problema no tena ningn estatus especial para Fermat
en comparacin con los muchos otros que se le ocurrieron en sus lecturas de Diofanto y de otros clsicos.
En varias de sus cartas propuso los casos n 3 y n 4
del teorema, que fue acuado como ltimo Teorema
de Fermat muchos aos despus por ser la ltima de
las conjeturas aritmticas formuladas por Fermat que
segua sin resolverse.
Bastantes de las conjeturas matemticas propuestas
por Fermat resultaron ser falsas. Por ejemplo,
crey
2n
que los nmeros enteros de la forma 2  1 seran
primos. En 1732 Euler mostr que para n 5, el correspondiente nmero no es primo, pues 232  1 es
mltiplo de 641.
Muchos resultados y conjeturas de Fermat nos han
llegado gracias a su hijo Samuel, quien en 1670
public una edicin de la traduccin de Bachet de la
Aritmtica de Diofanto, incluyendo comentarios y
cartas de su padre. Por esta versin no se ha perdido lo
que llegara a ser el ltimo Teorema de Fermat y otras
muchas ideas. La nica demostracin que Fermat
public en teora de nmeros es que no existen tres
nmeros enteros x, y, z que satisfagan la frmula

Figura 1. Pierre de Fermat (1601-1665).

x2  y 2

z2

270

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

encontr y resolvi algunos de los problemas all propuestos. Ese ao Euler mencion a Goldbach el ltimo
Teorema de Fermat y le dijo que tena demostraciones
muy diferentes para los casos n 3 y n 4, pero que
eran tan distintas que no saba cmo obtener una
demostracin general, y que no haba encontrado la
demostracin para el caso n 5. La demostracin del
ltimo Teorema de Fermat en el caso n 4 es importante, pues reduce la demostracin del ltimo Teorema
de Fermat al caso de exponentes primos. Tambin conjetur que de la misma forma que las ecuaciones
a 2  b 2 c 2 y a 3  b 3  c 3 d 3 tienen soluciones
enteras debera suceder que la ecuacin
a 4  b 4  c 4  d 4 e 4 tambin tuviese soluciones
enteras, siendo imposible que la ecuacin
a 4  b 4  c 4 e 4 tuviese soluciones enteras, lo que
result ser falso, ya que Noam Elkis demostr en 1988
que

Figura 2. Aritmtica de Diofanto de Alejandra (aprox. 200284).

Dos aos ms tarde, Euler seal que sus esfuerzos

para demostrar la nota marginal de Fermat no haban
dado fruto. En 1770 Euler public un texto de lgebra
que contiene una demostracin del caso n 3 del
ltimo Teorema de Fermat con un error no trivial. Ese
mismo ao 1770, Joseph Louis Lagrange (1736-1813),
matemtico muy prominente con contribuciones
importantes en muchos campos de fsica y
matemticas, incluyendo la teora de nmeros,
demostr que cualquier nmero entero se puede

de manera que
xy
2

sea el cuadrado de un nmero entero. Fermat cre en

esta prueba el mtodo del descenso infinito, que puede
utilizarse para demostrar el teorema de Fermat en el
caso n 4.
Pas casi un siglo desde la publicacin por Samuel
Fermat de la edicin de la Aritmtica de Diofanto en
1670 hasta que los matemticos comenzaron a interesarse y resolver algunos de los problemas propuestos
por Fermat. Nadie se preocup del ltimo Teorema de
Fermat hasta 1753, ao en que Euler ley la edicin
de Samuel Fermat, se impresion por las ideas que

Figura 3. Leonhard Euler (1707-1783).

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

Figura 4. Joseph Louis Lagrange (1736-1813).

escribir como la suma de no ms de cuatro nmeros

cuadrados, problema propuesto por Fermat, que Euler
tambin intent resolver sin xito.

2.

Figura 5. Johann Carl Friedrich Gauss (1777-1855).

EL LTIMO TEOREMA DE FERMAT

EN EL SIGLO XIX

En 1801 Gauss public su monumental obra

Disquisitiones Arithmeticae, donde present de forma
sistemtica muchos resultados de Teora de Nmeros
que hasta entonces eran una coleccin de problemas y
tcnicas. Uno de los temas principales de Disquisitiones es el problema de la reciprocidad cuadrtica,
sobre el que public siete demostraciones diferentes,
buscando resolver el problema de la reciprocidad
superior para potencias n-simas, que l mismo lo
resolvi en los casos n 3 y n 4.
Su trabajo en el problema de la reciprocidad
cuadrtica le llev a la introduccin y estudio del
anillo de los enteros gaussianos, que son nmeros
complejos con parte real e imaginaria entera. Gauss
populariz as una idea introducida por Euler consistente en obtener informacin sobre nmeros enteros
por medio de dominios que incluyan ciertos nmeros
complejos. Gauss, en una carta de 1816 a su amigo
Heinrich Olbers (1758-1840), clebre astrnomo
alemn, manifest su opinin de que el desarrollo
correcto de su teora de enteros gaussianos y sus
posibles generalizaciones conducira a descubri-

Figura 6. Disquisitiones arithmeticae (1801).

271

272

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

slo uno de esos nmeros enteros sea mltiplo

de n.
Germain prob el ltimo Teorema de Fermat en el
caso primero para toda potencia n menor que 100, y
Legendre ampli su prueba a toda potencia n menor de
197. El caso segundo result ms difcil. En 1825 se
demostr para n 5 en dos trabajos complementarios
de Legendre y Peter Gustav Lejeune Dirichlet (18051859).

Figura 7. Marie-Sophie Germain (1776-1831).

mientos importantes, entre los cuales el ltimo

Teorema de Fermat aparecera solamente como un
corolario, y de hecho uno de los menos interesantes.
En esa carta seala tambin que el ltimo Teorema de
Fermat, como pregunta aislada, tiene un inters muy
reducido para m, porque podra fcilmente imaginar
muchas proposiciones matemticas de ese tipo, que
uno no podra ni demostrar ni refutar.
A pesar de la afirmacin anterior, en una carta
publicada pstumamente en 1863, Gauss esboz una
prueba del ltimo Teorema de Fermat para n 5, indicando que su mtodo no era aplicable para n 7. Tal
vez la conexin de Gauss con este teorema se produjo
a travs de MarieSophie Germain, quien en su correspondencia con Gauss le mencion sus ideas relativas al
ltimo Teorema de Fermat. A Germain le debemos
una contribucin importante a la solucin del ltimo
Teorema de Fermat, pues demostr que si n y 2n  1
son dos nmeros primos (como 3 y 7), y si tres nmeros
enteros x, y, z verifican que x n  y n z n , entonces uno
de los tres nmeros x, y, z es mltiplo de n. Una consecuencia de este teorema es que la prueba del ltimo
Teorema de Fermat se puede dividir en dos casos separados:

El que despus de doscientos aos desde que

Fermat escribi su observacin en el margen de la
Aritmtica de Diofanto an no se tuviese su demostracin aument el inters por el ltimo Teorema de
Fermat. A principios de los aos 1820 la Academia
Francesa de Pars convoc uno de sus premios a quien
encontrara la demostracin del ltimo Teorema de
Fermat, ofreciendo por su demostracin el Gran
Premio de la Academia en 1857.
El caso n 7 fue demostrado en 1839 por Gabriel
Lam (1795-1870), con una prueba compleja, en la
que desarroll una nueva tcnica dedicada especficamente a resolver el ltimo Teorema de Fermat.
En 1847 Lam present ante un grupo de eminentes
matemticos reunidos en la Academia de Pars una
posible va para resolver el ltimo Teorema de
Fermat, combinando el mtodo del descenso infinito

Que para n 3 no existen tres enteros x, y, z que

verifiquen la ecuacin x n  y n z n y que ninguno de ellos sea mltiplo de n.
Que para n 3 no existen tres enteros x, y, z que
verifiquen la ecuacin x n  y n z n y tales que

Figura 8. Gabriel Lam (1795-1870).

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

273

con una factorizacin de Liouville del tipo

donde n es un
nmero natural impar y r es una de las races n-simas
de la unidad. Lam crey haber resuelto el problema,
si bien se discuti quien haba sido el primero en introducir la idea decisiva de la prueba, as como la unicidad de la factorizacin.
Meses ms tarde, Liouville ley en la Academia de
Pars una carta de Kummer comentando que desde
1844 saba que la factorizacin utilizada por Lam no
era nica, como este supona implcitamente, lo que
invalidaba su prueba. Kummer indic que la
demostracin del ltimo Teorema de Fermat le haba
ocupado bastante tiempo, si bien pensaba que este
teorema era una curiosidad y que no era un tema
importante. Kummer, igual que Gauss, pensaba que el
problema de reciprocidad superior era el tema principal de investigacin en teora de nmeros. Precisamente despus de realizar largos y complejos clculos con dominios de nmeros que generalizaban a
los enteros gaussianos, Kummer entendi que la
referida factorizacin nica podra fallar y public
muchos trabajos importantes sobre el problema de la
reciprocidad superior, siguiendo los pasos de Carl
Gustav Jacobi (1804-1851).

Figura 9. Ernst Eduard Kummer (1810-1893).

Figura 10. Julius Wilhelm Richard Dedekind (1831-1916).

Kummer tambin inform en su carta de 1847 que

para obtener factorizacin nica haba desarrollado
una teora de nmeros complejos ideales que aplic al
ltimo Teorema de Fermat y le llev a identificar los
llamados nmeros primos regulares, de los que an no
se sabe si su cardinal es infinito, si bien en los intervalos estudiados hasta ahora predominan los nmeros
primos regulares sobre los que no lo son, que tambin
se llaman nmeros primos irregulares1. En 1858 prob
su validez para los exponentes primos regulares y
recibi el Gran Premio de la Academia de Pars. Ms
adelante, Kummer prob que los nmeros primos no
regulares menores que 100 son 37, 59 y 67. Para estos
nmeros obtuvo demostraciones independientes del
ltimo Teorema de Fermat, de lo que se deduca su
validez para exponentes enteros menores que 100.
Slo unos pocos matemticos siguieron el camino
introducido por Kummer para demostrar el ltimo
Teorema de Fermat, consistente en buscar los nmeros
primos no regulares y para estos nmeros probar dicho
teorema, lo que no significa que las ideas de Kummer
no tuvieran resonancia, ya que fueron el punto de
partida del desarrollo de teoras matemticas de
enorme importancia, que, en principio, parecan no
tener relacin con el ltimo Teorema de Fermat. En
efecto, Richard Dedekind (1831-1916) y Leopold

En 1915, Jensen prob la existencia de infinitos nmeros primos irregulares.

274

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

algortmico de Kronecker, debido tambin a la influencia enorme de la obra Zahlbericht de David Hilbert,
que se public en 1896, conteniendo una brillante
exposicin de las ideas de Kummer, Kronecker y de
Dedekind, dando preferencia al enfoque de este
ltimo. Hilbert declar explcitamente que haba hecho
todo el esfuerzo posible para seguir el principio de
Riemann de obtener las demostraciones no por clculos, sino ms bien por ideas puras.

Figura 11. Leopold Kronecker (1823-1891).

Kronecker (1823-1891), sistematizaron las ideas de

Kummer sobre nmeros complejos ideales lo que les
llev a la teora de los cuerpos de nmeros algebraicos,
que dio lugar al lgebra conmutativa, de gran impacto
en las matemticas del siglo XX. Por eso Hilbert
sugiri en su discurso de 1900 que el ltimo Teorema
de Fermat haba tenido un papel crucial en la historia
de las matemticas, pues los esfuerzos de Kummer
relacionados con este problema le llevaron a elaborar
ideas centrales de la teora de nmeros y del lgebra
conmutativa modernas, si bien el teorema de la reciprocidad superior fue la principal motivacin que
condujo a Kummer a la introduccin de su teora de
nmeros primos ideales.

Hilbert, adems de resumir el trabajo de sus predecesores, agreg muchos resultados y tcnicas, abriendo de hecho nuevos campos para la investigacin que
muchos seguiran en las dcadas siguientes. El papel
de Zahlbericht a fines del siglo XIX en teora nmeros
fue muy similar al de Disquisitiones Arithmeticae cien
aos antes, siendo el centro de ambos libros el problema de la reciprocidad, en tanto que el ltimo Teorema
de Fermat recibi una atencin mnima, que Hilbert
redujo a cinco pginas en la ltima seccin de su libro,
donde presenta una demostracin del ltimo Teorema
de Fermat para primos regulares basada en un artculo
suyo de 1894, donde haba corregido un error de
Kummer. Esta prueba de Hilbert, como gran parte del
Zahlbericht, reformulaba las ideas de Kummer en trminos de los conceptos y tcnicas introducidos por
Dedekind en su teora de campos de nmeros algbricos.

Los enfoques de Dedekind y Kronecker fueron

opuestos en un cierto sentido. Kronecker represent un
enfoque ms algortmico, en tanto que Dedekind fue el
representante ms puro del enfoque conceptual, pues
en la teora de Kronecker el nfasis est en los clculos
especficos realizados en casos individuales de los sistemas numricos a investigar, en tanto que Dedekind
enfoc su trabajo a encontrar la formulacin abstracta
adecuada para poder deducir resultados generales, evitando, donde sea posible, los clculos o el anlisis de
casos especficos.
El nfasis conceptual o estructural del trabajo de
Dedekind se convirti a lo largo del siglo XX en el
dominante en la Teora de Nmeros frente al desarrollo

Figura 12. David Hilbert (1862-1943) (Foto de 1900).

Manuel Lpez Pellicer

3. EL LTIMO TEOREMA DE FERMAT

EN LA PRIMERA MITAD DEL SIGLO XX
En 1882 Ferdinand Lindemann (1852-1939)
demostr la trascendencia del nmero S. Despus de
este importante trabajo no volvi a publicar nada ms
de nivel elevado. A principios de siglo intent probar
el ltimo Teorema de Fermat, sobre el que public
cuatro intentos fallidos entre 1901 y 1909.
El premio establecido por Wolfskehl en 1908 para
la resolucin del ltimo Teorema de Fermat impuls a
cientos de aficionados a enviar a Gttingen sus
supuestas respuestas, que no tenan contribuciones
matemticas significativas. Tambin probaron sus
fuerzas matemticos destacados, como Erich Hecke
(1887-1947), Philip Furtwngler (1869-1940) y Flix
Bernstein (1878-1956), cuyos trabajos fueron comunicados por el mismo Hilbert a la Academia de Ciencias
de Gttingen en 1910. Furtwngler en un nota de pie
de pgina seal que el estado actual de su investigacin no lo satisfaca plenamente, pero haba
decidido publicar sus resultados por el inters en el
problema motivado por el anuncio del premio.
Tres matemticos con contribuciones significativas
al ltimo Teorema de Fermat fueron Dimitry
Mirimanoff (1861-1945), Arthur Wieferich (18841954) y Harry Schutz Vandiver (1882-1973).
Mirimanoff public unos 60 artculos en Teora de
Conjuntos, Probabilidades y Teora de Nmeros, de los
que doce se relacionan con el ltimo Teorema de
Fermat, con contribuciones relevantes en la mitad de
estos artculos. En uno de ellos de 1904, Mirimanoff
indicaba con cierto asombro que algunos de los criterios importantes que Kummer haba desarrollado
para probar ltimo Teorema de Fermat hubieran
recibido tan poca atencin y que no se hubiesen apreciado debidamente. Wieferich public tan solo nueve
artculos, de los que cuatro pueden considerarse de
importancia, estando uno de ellos dedicado al ltimo
Teorema de Fermat; fue publicado en 1909.
Vandiver es un caso singular y tal vez el ltimo representante del enfoque algortmico. Vandiver sigui
siempre su propio rumbo original, tal vez debido a que
nunca complet estudios secundarios y lo poco que
estudi a nivel universitario lo hizo de manera espor-

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

275

dica y poco sistemtica. En 1900 comenz a publicar

trabajos de investigacin originales en varias revistas,
algunos de ellos en colaboracin con George David
Birkhoff (1884-1944), entonces el matemtico ms
influyente en Estados Unidos y que le consigui un
puesto de trabajo en la Universidad de Cornell en
1919. Ms adelante Vandiver se traslad a la
Universidad de Tejas, donde obtuvo una posicin permanente y trabaj muchos aos. A pesar de que sus
investigaciones fueron siempre en lgebra y teora de
nmeros, era miembro del Departamento de Matemticas Aplicadas de dicha universidad, tal vez por sus
diferencias profesionales y personales con Robert Lee
Moore (1882-1974). Desde 1924, Vandiver public
muchos artculos sobre el ltimo Teorema de Fermat,
convirtindose en el gran experto norteamericano en
este teorema, y tal vez el mayor experto en el mundo,
dedicando gran parte de su vida profesional a este
teorema, siendo probablemente el matemtico de la
primera mitad del siglo XX que ms tiempo le dedic.
Uno de sus trabajos ms importantes, publicado en
1929, le vali el premio Cole de la American
Mathematical Society, otorgado a trabajos excepcionales en Teora de Nmeros.
Con largos y pesados clculos, Vandiver y sus
colaboradores identificaron nuevos nmeros primos
no regulares. Con una sofisticada calculadora de mesa
prob en 1937 la validez del ltimo Teorema de
Fermat para los exponentes primos menores que 619,
incluyendo 36 casos de primos irregulares.
En 1954, en colaboracin con la pareja Emma y
Derrick Lehmer de Berkeley y con la ayuda por
primera vez de una computadora electrnica, probaron
que casi la mitad de los nmeros primos menores que
2500 no son regulares y que el ltimo Teorema de
Fermat es vlido para exponentes menores o iguales
que 2500. Este mtodo de trabajo sigue estando activo
en la actualidad, tanto en Teora de Nmeros como en
otras partes de la Matemtica, con desarrollos espectaculares debidos a la potencia de clculo de los ordenadores actuales, que en Teora de Nmeros han
llevado a demostrar el ltimo Teorema de Fermat
hasta exponentes del orden de mil millones.
No obstante, las mquinas no pueden dar lo que el
genio humano deseaba: probar el ltimo Teorema de
Fermat para todos los exponentes. En el prximo

276

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

apartado veremos la solucin de Wiles, comunicada en

1993, corregida con la ayuda de Taylor en ocho meses
adicionales de trabajo y publicada en 1995

4. EL LTIMO TEOREMA DE FERMAT

EN LA SEGUNDA MITAD DEL SIGLO XX:
PRUEBA DE WILES
Alrededor de los aos 1950 comenz una transicin
de los mtodos clsicos de la teora de nmeros hacia
nuevos mtodos que permitieron su desarrollo posterior. El libro de A. Weil, Foundations of Algebraic
Geometry, de 1946, y la teora de esquemas de
Grothendieck favorecieron enfoques mucho ms conceptuales, siendo dos de las nociones ms influyentes
la creacin de Grothendieck de la topologa de
esquemas y de las cohomologas l-dicas asociadas.
De la gran labor realizada por Grothendieck y su
escuela es especialmente notable la demostracin de
las conjeturas de Weil. La prueba de la racionalidad de
las funciones zeta, su ecuacin funcional y su relacin
con los nmeros de Betti se debe al propio
Grothendieck. La localizacin de ceros y polos (es
decir la hiptesis de Riemann en este contexto) se debe
a Deligne en 1974, por lo que recibi la Medalla Fields
en 1978.
En la sesin de problemas de un simposio internacional sobre teora algebraica de nmeros celebrado en
Tokyo-Nikko en 1955, un joven matemtico llamado

Figura 13. Alexander Grothendieck (1928-

).

Figura 14. Yutaka Taniyama (1927-1958).

Taniyama propuso averiguar si las curvas elpticas

definidas sobre un cuerpo de nmeros son parametrizables mediante funciones automorfas, lo que podra
ser un camino para probar la conjetura de Hasse-Weil.
Shimura en 1964 y Weil en 1967 delimitaron la pregunta de Taniyama a curvas elpticas definidas sobre el
cuerpo racional preguntando si seran parametrizables
mediante funciones modulares. As naci la conjetura
de modularidad de Shimura-Taniyama-Weil que, en
principio, proporcionaba un camino para probar la

Figura 15. Goro Shimura (1930-

).

Manuel Lpez Pellicer

Figura 16. Andr Weil (1906-1998).

conjetura de Hasse-Weil, pero despus de los resultados de Gunther Frey (1986), de la conjetura de modularidad de Jean-Pierre Serre (1987) y de su
demostracin por Kenneth Ribet en 1990 de un caso
particular, conocido como conjetura epsilon, qued
claro que la demostracin de la conjetura de modularidad de Shimura-Taniyama-Weil para las curvas
elpticas semiestables implicaba el teorema de Fermat.
Lo que Frey observ en 1986 fue que si la terna de
enteros (a, b, c) fuese una hipottica solucin entera de
la ecuacin de Fermat x p  y p z p para un exponente
primo p 5 entonces la curva elptica definida sobre
Q

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

El inters de Wiles por el ltimo Teorema de

Fermat empez su niez al haber ledo el libro de E.T.
Bell, El ltimo problema, dedicado a la popularizacin
del entonces no demostrado teorema de Fermat, lo que
le impuls a seguir una carrera profesional como
matemtico con la esperanza de llegar l mismo a
resolverlo. Ya licenciado, Wiles crey que los mtodos
existentes para resolver el ltimo Teorema de Fermat
estaban agotados, lo que haca incompatible buscar su
solucin y desarrollar su carrera matemtica. Wiles
hizo una carrera matemtica distinguida trabajando en
otros campos, siendo uno de ellos la teora de las
curvas elpticas. Fue en 1986 cuando Wiles decidi
dedicarse de lleno a obtener la demostracin del
ltimo Teorema de Fermat, despus de conocer el
trabajo de Frey sobre la curva
.
El trabajo de Wiles estuvo orientado a probar la conjetura de Shimura-Taniyama-Weil para las curvas elpticas semiestables.
Adems, esta conjetura termin en teorema gracias
al impresionante trabajo de Wiles (1995), Taylor-Wiles
(1995), Diamond (1996), Conrad-Diamond-Taylor
(1998) y Breuil-Conrad-Diamond-Taylor (1999). Con
ello no slo qued probado el teorema de Fermat sino
que, adems, se dio un paso para resolver uno de los
siete Problemas del Milenio propuestos por el Instituto
Clay de Matemticas, la conjetura BSD, que tras experiencias numricas realizadas en curvas con multipli-

pareca contradecir la conjetura Shimura-TaniyamaWeil, lo que efectivamente se demostr como consecuencia de los resultados de Serre y Ribet, que permitieron probar que si tal solucin (a, b, c) existiese
entonces la curva de Frey
no
sera modular.
Tras ocho aos de muy intenso trabajo, Wiles present su demostracin del ltimo Teorema de Fermat
en su famosa conferencia en Cambridge en 1993, pero
se encontr un error que oblig a Wiles a dedicar otros
ocho meses antes de poder lograr, en colaboracin con
Richard Taylor, la conclusin final de su prueba.

277

Figura 17. Andrew John Wiles (1953-

).

278

Manuel Lpez Pellicer

Rev.R.Acad.Cienc.Exact.Fs.Nat. (Esp), 2009; 103

6.

CONCLUSIN

Fermat no pudo imaginar todo lo que se desarroll

alrededor de su nota en el margen del lgebra de
Diofanto durante ms de 350 aos con las aportaciones
de muchos matemticos que, la gran mayora no
tuvieron la proposicin de Fermat en el centro de su
investigacin matemtica. No obstante, las apariciones
espordicas del conocido como ltimo Teorema de
Fermat en las investigaciones sobre Teora de
Nmeros, catalizaron el desarrollo de grandes teoras,
como sucedi con el trabajo de Kummer. El final del
camino estuvo coronado por el gran trabajo de Wiles,
merecedor de la admiracin del mundo matemtico.

Figura 18. Jean-Pierre Serre (1926-

).

cacin compleja entre los aos 1963 y 1965, llevaron a

Birch y Swinnerton-Dyer a conjeturar que el rango r de
una curva elptica E/Q coincida con el orden en el
punto s 1 del cero de la funcin L(E/Q, s).
No estamos en el final de un camino, pues la propia
conjetura de Shimura-Taniyama-Weil forma parte de
una extensa familia de conjeturas conocidas como conjeturas de modularidad. Ya hemos indicado que lo que
Ribet demostr en 1990 fue la llamada conjetura H, que
slo es un caso muy particular de la conjetura de modularidad que formul Serre en 1987. Actualmente, las
tcnicas de Wiles y sus mltiples ramificaciones se
estn utilizando para probar la conjetura de Serre en
toda su generalidad.

BIBLIOGRAFA
1.

2.
3.

4.
5.

Bayer Isant, P. Antecedentes y evolucin de la teora

de la multiplicacin compleja. Discurso de ingreso
en la Real Academia de Ciencias de Madrid. Real
Academia de Ciencias de Madrid (2010). ISBN: 97884-87125-48-5. ISSN: 0214-9540.
Derbyshire, J. Prime Obsession. Joseph Henry Press,
New York (2003).
Dieudonn, J. Abrg dhistoire des mathmatiques
17001900. Tomos I, II. Hermann, Pars (1978).
ISBN: 2-7056-5870-X y 2-7056-5871-9.
Ribenboim, P. Fermats Last Theorem for Amateurs.
Springer, New York (1999).
Wiles, A. Modular elliptic curves and Fermats Last
Theorem. Ann. of Math. 141 (1995), 443-551.