EULER Y LA TEORA DE NMEROS

FERNANDO CHAMIZO LORENTE

Este artculo es una versin extendida de la charla que impart en la Jornada Euler el 14 de
febrero de 2007 en la Facultat de Matemtiques i Estadstica de la
Universitat Politcnica de Catalunya. Agradezco a los organizadores la invitacin as como el permiso para difundir este artculo.
Incluso limitndose a la contribucin de Euler a la teora de
nmeros fue necesaria una seleccin para ajustarse al tiempo jado. Mi decisin fue evitar algunos temas que podran ser tratados
por otros ponentes, especialmente la combinatoria y el estudio de
las funciones elpticas (que en tiempos de Euler no tena el valor
aritmtico actual). Reconociendo lo arbitrario de la seleccin, he
preferido conservarla aqu para ser el al material original.
Un ltimo caveat es que de ningn modo soy un especialista
en historia de las matemticas y que las aserciones originales que
pueda verter en este aspecto deben entenderse como meras opiniones. Me sentira satisfecho si consiguiera divulgar con acierto una
pequea pero fundamental parte de la teora de nmeros en la que
trabaj este gran genio de las matemticas, Leonhard Euler,
cuyo tricentenario cumpleaos celebramos ahora.
Nota preliminar del autor.

1.

En el siglo XVIII

Por mero instinto de superviviencia hay una tendencia entre los especialistas a sobredimensionar su propia disciplina, y no es raro que vaya
desde el orgullo legtimo o el proselitismo militante a la depredacin
79

80

FERNANDO CHAMIZO LORENTE

despiadada o la crtica agresiva de lo ajeno. Es por ello que cuando

examinamos las aportaciones de alguien al que se ajusta tan bien el
neologismo multidisciplinar, es fcil caer en la tentacin de convertirle en uno de los nuestros. Las contribuciones de Euler en teora de
nmeros son espectaculares pero sera una armacin injusticable decir que sta era el objeto de su principal inters. Es muy reveladora la
frase de H.M. Edwards [Ed]:
Una medida de la grandeza de Euler es que cuando uno estudia teora
de nmeros tiene la impresin de que Euler estaba principalmente interesado en teora de nmeros pero cuando estudia series divergentes
siente que las las series divergentes eran su mayor inters, cuando estudia ecuaciones diferenciales uno imagina que realmente las ecuaciones
diferenciales eran su materia favorita, y as sucesivamente. . .

Si queremos contrastar esta armacin de forma tangible podemos tratar de contar el nmero de artculos dedicados por Euler a cada una
de estas reas como muestra de la porcin del valioso tiempo que quiso
ocupar con ellas a lo largo de su vida. Por supuesto hay varios errores
de bulto en este intento, el mayor de ellos el que criticamos en muchas
evaluaciones acadmicas: no es lo mismo contar que leer; tambin es difcil dividir exhaustivamente la obra de Euler en reas por las continuas
interrelaciones entre ellas. Para no contagiar este burdo recuento con
los propios prejuicios tomemos como referencia la divisin de [Da] y sustituyamos el trmino series divergentes por series innitas, entonces
el grco que obtenemos es el del principio de la pgina siguiente.
No hay una conclusin clara que se pueda extraer ms all del hecho
de que su inters por la teora de nmeros fue constante a lo largo de
su vida, aunque no fue cronolgicamente su primer amor (de acuerdo
con [We] el detonante fue la primera carta de C. Goldbach en 1729 y
su insistencia posterior).
Parece pertinente entonces buscar entre los escritos de Euler una frase
elogiosa y lapidaria, como la famosa de C.F. Gauss1, para que los tericos de nmeros podamos justicar nuestras diversiones y adornar los
libros. Pero antes al contrario, los elogios son un poco tibios. As dedica
1Las

matemticas son la reina de las ciencias y la aritmtica la reina de las

matemticas.

EULER Y LA TEORA DE NMEROS

81

la introduccin de [E134] a justicar la investigacin en teora de nmeros, y despus de sealar que contiene las verdades ms recnditas
leemos:
Por tanto, incluso si una proposicin ya sea cierta o falsa parece que no
redunda en ninguna utilidad para nosotros, todava el mtodo mismo
por el cual se establece la certeza o falsedad usualmente abre el camino
para que entendamos otras verdades ms tiles. Por esta razn, creo
rmemente que no he desperdiciado mi trabajo y mi esfuerzo en investigar estas propiedades que contienen notables propiedades sobre los
divisores de los nmeros. Esta teora de los divisores no es de uso vano
sino que alguna vez podra mostrar alguna utilidad no despreciable en
anlisis2.

Por otro lado, Euler dedica la segunda parte de sus Elementos de lgebra [EuAl] a la teora de nmeros y en la introduccin escribe:
Cuando el nmero de ecuaciones no se ajusta al de incgnitas [. . . ] la
materia es una rama particular del lgebra llamada anlisis indeterminado.
2Vase

[We] p.121122 para una realizacin de esta utilidad segn Euler.

82

FERNANDO CHAMIZO LORENTE

[. . . ] usualmente se aade la condicin de que los nmeros buscados

sean enteros y positivos, o al menos racionales [. . . ]. Ocurre que esta
parte del anlisis frecuentemente requiere articios ajustados a ella, los
cuales hacen un gran servicio ejercitando el juicio de los principiantes
y dndoles destreza en los clculos.

Debemos pensar que para Euler la teora de nmeros era slo un ejercicio para abrir la mente de los principiantes? un entretenimiento calculstico? una esperanza de aplicabilidad en otras reas? una disciplina
subsidiaria del lgebra bsica en su sentido originario de resolucin de
ecuaciones? Es difcil mantener que la entendiese como algo subordinado y tangencial teniendo en cuenta el hecho, no muy conocido, de que
escribi una monografa inconclusa sobre el tema [E792].
Quiz la explicacin est en la propia genealoga de la teora de nmeros: muchas veces se atribuye a P. Fermat la sistematizacin de esta
rea [To] o se dice que las Disquisitiones Arithmeticae [Ga] de 1801 son
como los Elementos de Euclides para la geometra (no est de ms sealar que tres libros de los Elementos ya se dedicaban a la aritmtica).
En la Europa de la Ilustracin no haba una gran tradicin en teora
de nmeros3 que por otra parte estaba alejada de las ideas pragmticas
imperantes entonces (ntese la insistencia en la utilidad en las citas
anteriores), segn Euler [E134]:
No faltan entre los grandes matemticos quienes juzgan las verdades
de este tipo como completamente estriles y por tanto indignas para
afanarse en su investigacin.

Por cierto, en contra de lo que normalmente se admite la denominacin teora de nmeros ya aparece (quiz por primera vez) en uno de
los trabajos de Euler [E279]. Para completar el contexto, ntese que,
como seala A. Weil [We], los primeros matemticos profesionales comenzaban a aparecer entonces.
3Segn

[Du] Los matemticos estaban entusiasmados por el poder del clculo y

su amplio campo de aplicaciones. En lenguaje moderno se dira que este tema estaba
caliente. Por comparacin la teora de nmeros apenas se consideraba un objeto
matemtico serio. Tambin en [Sa] (Diciembre 2005) leemos [Euler] escribi 96
[sic ] artculos en el rea y es una medida de la relativa baja estima en la que estaba
la teora de nmeros que la mitad de esos trabajos se publicaron pstumamente.

EULER Y LA TEORA DE NMEROS

83

La herencia de Fermat es patente en Euler de la misma forma que

Gauss hered problemas de Euler. Por completar la genealoga aritmtica colindante con los tiempos de Euler hay que aadir los nombres de
J.-L. Lagrange y A.-M. Legendre.

Fermat
(1601-1665)

Euler
(1707-1783)

Lagrange
(1736-1813)

Gauss
(1777-1855)

Legendre
(1752-1833)

Podramos continuar esta tabla hacia adelante hasta nuestros das con
innumerables ramicaciones, pero hacia atrs no hay tanto que decir.
Por supuesto dos excepciones notables son los trabajos recopilados por
Euclides y los grandes logros de la matemtica hind en la ecuacin de
Pell. Esta situacin relativiza tambin el comentario de C. Truesdell en
la introduccin, siempre muy laudatoria, a [EuAl]:
[Euler] recre la teora aritmtica de nmeros [. . . ] l dio a esta materia
una nueva vida y descubri en ella mayor nmero de grandes teoremas
que todos los matemticos anteriores juntos.

Ms apropiada parece la frase de Edwards citada en [Du]:

Slo sus contribuciones a la teora de los nmeros seran sucientes
para establecer una reputacin duradera en los anales de las matemticas.

Es instructivo analizar lo que puede encontrar el lector actual cuando

compara a Euler con su antecesor Fermat y su sucesor Gauss. En la

84

FERNANDO CHAMIZO LORENTE

comparacin no hay mucho que decir sobre Fermat, ciertamente es genial y con seguridad utiliz con maestra su mtodo del descenso y otras
tcnicas originales para probar muchas de sus armaciones, pero no hay
una gran obra donde compilase sus resultados, conocemos muchas de
sus investigaciones aritmticas a travs de su correspondencia y ni siquiera hay demostraciones que leer (segn se dice, slo se conserva una),
tampoco haba revistas Matemticas donde publicarlas. Gauss, por su
parte, es completamente satisfactorio para el lector actual, los enunciados en [Ga] son claros y las demostraciones sintticas e irrepochables,
es notable que una obra juvenil sea tan madura, es como si hubiera
estado pensando en ella durante toda una vida. Euler es muy diferente,
visita recurrentemente los temas sin completarlos, las demostraciones
a veces tienen puntos oscuros con respecto al rigor, experimenta con
los nmeros, parece como si a menudo escribiera a vuela pluma, tal
como salen los temas de su mente (lo cual no es ilgico habida cuenta
de su extensa obra). Hay un aspecto positivo en ello desde el punto de
vista didctico y es que es ms fcil de entender la manera de razonar
de Euler, sus intentos y descuidos nos acercan a la comprensin de la
mente del genio mientras que Gauss se muestra impenetrable porque
slo vemos el producto en su fase nal, las mltiples demostraciones de
la ley de reciprocidad cuadrtica no maniestan diferentes estados, son
completas por s mismas (vase la opinin de Yu. Manin [Le]). Por otro
lado, la forma de proceder de Euler ha dado lugar a una herencia matemtica ms generosa, abundantsima. Posiblemente nunca sepamos de
cuntas matemticas interesantes priv a las siguientes generaciones
el lema pauca sed matura (poco pero maduro) de Gauss, mientras
que Euler ofrece generosamente sus resultados y conjeturas para benecio inmediato de todos, incluido Gauss que en [Ga] hace mltiples
referencias a Euler.
2.

Divisibilidad

Fue Goldbach quien parece haber despertado el inters de Euler en

teora de nmeros al trasladarle la conjetura de Fermat acerca de la
n
primalidad de los nmeros Fn = 22 + 1. De manera natural esto lleva
a considerar la divisibilidad de potencias lo cual condujo a Euler a
redescubrir el pequeo teorema de Fermat y dar su primera prueba
conocida. Euler public tres pruebas de este resultado a lo largo de su

EULER Y LA TEORA DE NMEROS

85

vida, [E54], [E134] y [E271] ([Su] indica cuatro) pero las dos primeras
tienen slo diferencias formales y Gauss parece reconocer slo dos4 en
[Ga]. Volviendo a la comparacin entre ambos genios, ntese que [E54]
en el facsmile en [Da] se extiende a lo largo de seis pginas en cuarto,
excesivo para los ojos actuales, mientras que en la traduccin de [Ga]
Gauss resume la demostracin en apenas seis lneas.
La tercera demostracin [E271] es la que parece satisfacer ms a Euler
(vase tambin el comentario de Gauss en la nota anterior) y le permiti
una generalizacin bien conocida que basa el actual criptosistema RSA:

Congruencia de Euler-Fermat

Sea (n) = #{1 m n : mcd(m, n) = 1}, entonces para a y n

coprimos se cumple a(n) 1 (mod n).
La demostracin de la congruencia de Euler-Fermat hoy en da se reduce a notar que el orden de cualquier elemento del grupo multiplicativo
Z debe dividir al orden del grupo, que es (n). Por supuesto, Euler
n
no poda apelar a este resultado pero en cierta forma su demostracin
se basa en la idea de la particin en cogrupos [Su], [Di].
El pequeo teorema de Fermat es el caso n = p primo, es decir p|ap1 1
si p a. Incluso este humilde resultado lleva a interesantes preguntas.
Euler ya se percat de que era inusual que un nmero compuesto n
vericase n|an1 1. Sin embargo existen algunos n llamados nmeros
de Carmichael, como n = 561, que satisfacen n|an1 1 siempre que
a y n sean coprimos. Se conjetur que slo exista un nmero nito de
ellos pero en 1994 W.R. Alford, A. Granville y C. Pomerance [AGP]
sorprendieron a la comunidad matemtica probando no slo que hay
innitos sino que no estn muy dispersos (el espaciamiento est acotado
por una potencia no muy grande) lo cual choca con los experimentos
numricos.
A travs del estudio de la divisibilidad de potencias, Euler pudo refutar la conjetura de Fermat probando explcitamente que F5 no es primo
5
porque 22 + 1 = 641 6700417. A pesar de que el resultado ya aparece
en [E54], no encontramos la explicacin hasta [E134] (prueba que los
4En el Art. 50 menciona: Como el desarrollo de una potencia binomial pareca

bastante ajena a la teora de nmeros, Euler dio otra demostracin.

86

FERNANDO CHAMIZO LORENTE

factores deben ser de la forma 64n + 1 [Su]). En artculos posteriores continu su inters por el problema numrico de la factorizacin y
generacin de primos grandes (e.g. [E283], [E369]). El progreso de las
computadoras y los algoritmos de primalidad nos permite conocer en
n
la actualidad que Fn = 22 + 1 es compuesto para 5 n 32 y se
conocen otros valores de n no consecutivos para los cuales tambin Fn
es compuesto. De hecho no se ha encontrado ningn n 5 tal que Fn
sea primo. La conjetura de Fermat fue muy arriesgada!

Euclides de Alejandra

Otro de los temas relacionados con la divisibilidad que trat Euler fueron los nmeros
amigos y los nmeros perfectos. La investigacin de los segundos parece comenzar
en [E798]. Recordemos que un nmero N es
perfecto si la suma de todos sus divisores
es 2N . Los dos primeros nmeros perfectos
son 6 y 28:
12 = 1 + 2 + 3 + 6
56 = 1 + 2 + 4 + 7 + 14 + 28

Euclides haba probado en el Libro IX de sus Elementos que si 2n+1 1

es primo entonces 2n (2n+1 1) es perfecto. La contribucin de Euler
fue probar, unos 2000 aos despus, que el recproco se cumple para
los pares, es decir:

Un nmero par N es perfecto si y slo si N = 2n (2n+1 1) con 2n+1 1

primo.
Una de las propiedades fundamentales notada por Euler sobre la funcin que asigna a N la suma de sus divisores, en notacin moderna
(N ), es la multiplicatividad [Sa]. Es decir, si n y m son coprimos
(mn) = (m)(n). Con ella no es difcil probar que si N es perfecto y par, digamos N = 2n m con 2 m, entonces debe cumplirse
(m)/m = 2n+1 /(2n+1 1). La segunda fraccin es irreducible y si la
primera tambin lo fuera se tendra (m) = 2n+1 y m = 2n+1 1 de
donde se puede deducir que m es primo y el resultado estara probado. Para demostrar la irreducibilidad de (m)/m se emplea que
(m) = k2n+1 , m = k(2n+1 1) con k > 1 implicara que los cuatro
divisores, 1, k, 2n+1 1, m, asociados a esta descomposicin de m son

EULER Y LA TEORA DE NMEROS

87

incompatibles con la condicin (m) = k2n+1 por una simple cuestin

de tamao (vase en [Di] una simplicacin).
Hay una pregunta natural, y ms todava a la luz del resultado de Euler: existen los nmeros perfectos impares? Hasta la fecha el problema
est abierto. Euler juzg en [E798] el problema como `muy difcil', tambin limit las posibilidades para la factorizacin de estos hipotticos
nmeros en la lnea de un resultado conjeturado por R. Descartes [To].
Actualmente la combinacin de trabajo computacional y terico permite asegurar que si los nmeros perfectos impares existieran, el primero
de ellos sera gigantesco (al menos varios cientos de cifras).
Las ecuaciones xr 1 (mod n) que guiaron una buena parte de las
investigaciones de Euler en divisibilidad estn ntimamente ligadas a
la estructura del grupo multiplicativo Z y a pesar de que Euler no
n
alcanz la precisin de Gauss en el anlisis de estos grupos cuando
todava no exista la teora de grupos, lleg a probar (empleando el
trabajo de Lagrange) que Z es cclico, es decir, la existencia de races
p
primitivas (vase en Art. 56 de [Ga] la opinin de Gauss). El tema por
el hecho de ser clsico no est acabado en la actualidad y hay una
conjetura de Artin que pregunta, en una forma un poco ms precisa,
acerca de si cada a Z {1, cuadrados} es generador de innitos Z .
p
Un resultado de D.R. Heath-Brown [HeBr] est increblemente cerca
de la conjetura. El caso a = 10 est relacionado con la aritmtica
elemental: Si n no es divisible por 2 ni por 5 es bien conocido que
1/n tiene un desarrollo decimal peridico puro. Con la congruencia de
Euler-Fermat se puede probar que la longitud del periodo es a lo ms
n1 y que si se alcanza, n es primo (por ejemplo esto ocurre para n = 7
y n = 17). La conjetura de Artin implicara que hay innitos de esos
primos y que incluso tienen cierta densidad. Como pasatiempo para el
lector se deja justicar que siempre para estos primos la segunda parte
del periodo es el complemento a 9 de la primera parte:

1
= 0 142857 . . .
7
857
999

1
= 0 0588235294117647 . . .
17
94117647
99999999

88

FERNANDO CHAMIZO LORENTE

3.

Ecuaciones diofnticas

Como indica la cita mencionada en la seccin introductoria, Euler extiende en [EuAl] la resolucin de ecuaciones algebraicas al caso en que
las soluciones estn en Z o Q, por ello considera all muchos tipos de
ecuaciones diofnticas.
Hoy en da podemos hacer una divisin en grandes bloques. Una buena
parte de los problemas que trat corresponden a hallar puntos racionales en curvas proyectivas sobre Q. El caso de grado 2 es de gnero
0, lo que signica que (dando por supuesto que hay un punto racional)
existe una parametrizacin racional. Por ejemplo

t2 1
2t
, y= 2
2+1
t
t +1
lo que permite hallar todas las soluciones racionales de x2 + y 2 = 1 (el
punto (1, 0) se obtiene con t = ). El caso de grado 3 tiene tpicamente
gnero 1, es decir, es una curva elptica (suponiendo de nuevo un punto
racional). No se puede parametrizar pero el hecho de que sea isomorfa a
su jacobiana se traduce en que hay una ley de grupo que permite operar
los puntos racionales (un hecho anticipado por Fermat), en palabras de
Euler:
(1)

x2 + y 2 = 1

x=

[. . . ] slo podemos dar reglas para aquellos casos en los cuales partamos
de una solucin conocida para encontrar otra nueva, por medio de la
cual podemos entonces encontrar una tercera y proceder sucesivamente
de la misma forma con las otras.

Para gneros superiores D. Mumford prob en 1965 [Mu] que los puntos
racionales deben estar muy espaciados y nalmente G. Faltings [Fa] en
1983 demostr la conjetura de Mordell : que son un nmero nito.
Deshomogeneizando, los puntos racionales en las curvas de grado 2
o 3 como antes, estn asociados a la representacin de 0 por formas
cuadrticas o cbicas ternarias. Por ejemplo, la parametrizacin (1) da
lugar a la bien conocida frmula para las ternas pitagricas (coprimas)
x2 + y 2 = z 2 :

x = m2 n2 ,

y = 2mn,

z = m2 + n2 .

Sin embargo si queremos hallar puntos enteros en curvas entramos en

terrenos bien distintos: en el caso cuadrtico se tiene la teora de formas

EULER Y LA TEORA DE NMEROS

89

cuadrticas, que trataremos ms adelante, y el caso de curvas elpticas

y de gneros superiores est relacionado con temas de aproximacin
diofntica. Un teorema de C.L. Siegel de 1929 [Si] arma que slo puede
haber un nmero nito de tales puntos. Este resultado no es efectivo,
no ofrece ningn algoritmo para hallarlos ni para decidir si hay alguno.
Euler se reere a esta dicultad en el caso elptico:
Busquemos entonces transformar la frmula a + bx + cx2 + dx3 en
un cuadrado y hallar los valores de x con este propsito expresados
como nmeros racionales. Como esta investigacin cuenta con muchas
ms dicultades que cualquiera de los casos precedentes, se requieren
ms articios para encontrar incluso valores fraccionarios y con ello
estaremos satisfechos, sin pretender averiguar valores enteros.

En vez de enumerar las ecuaciones diofnticas de las que se ocup Euler,

reservaremos la prxima seccin para las formas cuadrticas binarias
y nos centraremos aqu en una de ellas de especial relevancia: el caso
n = 3 del ltimo teorema de Fermat.
Por supuesto, el ltimo teorema de Fermat
no necesita presentacin, siendo uno de los
problemas matemticos ms difundidos en
los ltimos aos debido a su curioso origen
y a su reciente solucin. Verdaderamente es
una cita casi obligada para cualquier texto
de divulgacin matemtica. Como sntesis
brevsima de su historia (vase en [To], y
con mayor extensin en [He], una discusin
E. Kummer
que abarca hasta nuestros das) recordemos
que proviene de una anotacin de Fermat (alrededor de 1630) en la que
armaba que para cada n > 2 la ecuacin
(2)

xn + y n = z n

no tiene soluciones no triviales (xyz = 0) en enteros. El propio Fermat

prob el caso n = 4 y, sin olvidar la contribucin de S. Germain, el mayor avance general hasta el siglo XX lo hizo E. Kummer en 1847 [Ed]
creando la teora de ideales; ya en 1983 la prueba de la conjetura de
Mordell por Faltings [Fa] permiti concluir (mediante tcnicas de geometra aritmtica en variedades abelianas) que para cada n slo puede

90

FERNANDO CHAMIZO LORENTE

haber un nmero nito de soluciones (primitivas) de (2); un resultado

poco divulgado de L.M. Adleman y Heath-Brown [AdHB], basado en
un trabajo anterior de E. Fouvry, implica que para innitos exponentes
no hay solucin en el llamado primer caso ; nalmente A. Wiles dio la
prueba denitiva [Wi] estableciendo una sorprendente relacin, conjeturada aos atrs, entre la teora de curvas elpticas y la de formas
modulares (mucho ms importante que el ltimo teorema de Fermat
en s, que en gran medida es un resultado anecdtico catapultado por
su va lor histrico).
Euler prob de nuevo el caso n = 4 y su contribucin original fue el caso
n = 3. Su demostracin tiene una laguna sutil, que tambin aparece
ocasionalmente cuando estudia formas cuadrticas, pero que l podra
haber completado (por ello prcticamente nunca se le deja de atribuir
este caso del ltimo teorema de Fermat). La prueba y la propia laguna
tienen gran inters para la posterior evolucin de la teora algebraica de
nmeros, por ello respetaremos con cierta delidad los pasos principales
dados por Euler tal como aparecen en el captulo XV de [EuAl].
En la Cuestin 1, plantea el problema: Se requiere encontrar dos cubos,
x3 e y 3 , cuya suma sea un cubo. En primer lugar Euler intenta sin xito
una especie de parametrizacin de la curva elptica x3 +1 = y 3 obtenida
al deshomogeneizar (2) para n = 3, como no puede hacerlo escribe: por
tanto podemos inferir, con cierto grado de certeza, que es imposible encontrar dos cubos cuya suma sea un cubo. Pero estaremos totalmente
convencidos con la siguiente demostracin. Ciertamente este comentario y el anlisis que no conduce a la solucin difcilmente apareceran en
un texto de matemticas actual pero son indudablemente ilustrativos
y didcticos.
La demostracin a la que se reere trata de proceder como en el mtodo
del descenso de Fermat: se parte de una hipottica solucin no trivial de
x3 +y 3 = z 3 y se construye a partir de ella otra `menor', como el proceso
no se puede continuar indenidamente, se llega a una contradiccin. Lo
primero que hace Euler es escribir x = p + q , y = p q , con 4|p y p y q
coprimos. Este cambio de variable viene motivado por la factorizacin
de x3 + y 3 y con l la ecuacin se transforma en

2p (p2 + 3q 2 ) = z 3 .

EULER Y LA TEORA DE NMEROS

91

Suponiendo 3 p (el caso 3|p se trata aparte) se puede demostrar que

2p y p2 +3q 2 son coprimos. Por razones poco claras, Euler divide ambos
miembros por 8 (esto es irrelevante) y hace la armacin absolutamente
irreprochable:
Para que el producto p/4 (p2 + 3q 2 ) pueda ser un cubo, cada uno de
estos factores, a no ser que tenga un factor comn, deben ser un cubo
cada uno.

La genialidad de Euler es descomponer p2 + 3q 2 como

(p + q 3)(p q 3),
un truco que emple en otros contextos, por supuesto los factores no
son nmeros enteros, ni siquiera reales pero, y aqu est la laguna, Euler
con visin proftica aplica la observacin anterior:
Para que p2 + 3q 2 sea un cubo, tenemos que suponer, como hemos
slo

visto antes p q 3 = (t u 3)3 .

Con esta relacin se puede concluir:

2p = 2t(t + 3u)(t 3u)

pero como 2p es un cubo y se puede probar que los factores son coprimos, tendremos 2t = h3 , t + 3u = f 3 , t 3u = g 3 y esto da lugar a la
nueva solucin h3 = f 3 + g 3 y se puede probar que es ms pequea que
la inicial (intuitivamente, t y u son como races cbicas de p).
El paso sospechoso en el argumento de Euler est relacionado con la
factorizacin nica en anillos de enteros algebraicos (vase la siguiente

seccin) y lo que la salva es que Z[(1 + 3)/2] es de factorizacin

nica. Por supuesto que esta nomenclatura y esta orientacin quedan
lejos de las Matemticas del siglo XVIII pero con un lenguaje diferente
el resultado es asequible con los mtodos de Euler (de hecho est muy
relacionado con [E272]).
4.

Formas cuadrticas

Dentro de las formas cuadrticas binarias, Euler se preocup especialmente por x2 + ny 2 , las que hoy llamaramos del gnero principal.
Leyendo [EuAl] no es difcil imaginar el motivo para tal restriccin:
completando cuadrados ax2 + bxy + cy 2 se escribe como x2 + y 2

92

FERNANDO CHAMIZO LORENTE

y multiplicando por o por un nuevo cambio de variable lleva a

x2 + ny 2 . Por supuesto que estos cambios no son invertibles en los
enteros y esta simplicacin pierde gran parte de la teora de formas
cuadrticas pero todava alberga una riqueza inusitada.
El tipo de problemas de los que ocup Euler a este respecto continan
los intereses de Fermat y esencialmente se centran en la representacin
de enteros por x2 + ny 2 y sobre todo en las propiedades de divisibilidad
de los nmeros representados. No es difcil imaginar a Fermat y a Euler
jugando con estos problemas de sencillo enunciado, fciles de contrastar
experimentalmente y que escapaban a veces a sus geniales habilidades.
Por comenzar con uno de los ejemplos ms sencillos que ambos supieron
abordar, al factorizar los nmeros de la forma x2 +y 2 con x e y coprimos
resulta que siempre se obtienen primos de la forma p = 4n + 1 o p = 2,
por ejemplo 82 + 12 = 5 13, 142 + 52 = 13 17, 12 + 72 = 2 52 .
De ello se puede deducir el hecho nada trivial de que hay innitos
primos de la forma 4n + 1 porque dados p1 , . . . , pk de este tipo, los
factores primos de (2p1 p2 . . . pk )2 + 12 aaden elementos nuevos a la
lista. Adems, un primo impar se puede escribir como suma de dos
cuadrados si y slo si es de la forma 4n + 1 [E228].
Otras propiedades similares y ms complejas se observan en otras formas cuadrticas del mismo tipo, por ejemplo los nmeros x2 +5y 2 con x
e y coprimos slo pueden tener como factores primos p = 2, p = 5 o en
alguna de las cuatro progresiones artimticas 20n + 1, 20n + 3, 20n + 7,
20n + 9 (Teorema 10 de [E164]) pero un primo (p = 2, 5) se puede
escribir como x2 + 5y 2 si y slo si pertenece a la primera o a la ltima
progresin. Aunque este enunciado involucre slo las operaciones de la
aritmtica elemental, de ninguna manera es sencillo.
Euler hace de [E164] una declaracin de intenciones para sus investigaciones futuras recopilando una lista de hasta 59 teoremas experimentales (en una carta a Goldbach reconoci que no tena las pruebas) y
diversos comentarios al respecto. All est por ejemplo una forma parcial de la ley de reciprocidad cuadrtica, el enunciado completo aparece
en [E552] (vase el comentario en [Le]), esta ley es uno de los resultados ms notables de la teora de nmeros. Para enunciarla en su forma
actual es conveniente denir el smbolo de Legendre para cada p primo

EULER Y LA TEORA DE NMEROS

93

yp N

N
p

1
si x2 N (mod p) tiene solucin
1 si x2 N (mod p) no tiene solucin

En el primer caso se dice que N es un residuo cuadrtico mdulo p. La

ley de reciprocidad cuadrtica arma que si p y q son primos impares
distintos entonces
p
q
= (1)(p1)(q1)/4
q
p
y se completa con las leyes suplementarias

1
2
2
= (1)(p1)/2
y
= (1)(p 1)/8 .
p
p
Esto es totalmente inesperado y adems profundo. Hubo que esperar
muchos aos hasta que Gauss diera una prueba.
Para ilustrar la aplicacin de la ley de reciprocidad cuadrtica mediante
un ejemplo, consideremos la armacin de Euler en el Teorema 10 de
[E164], que ya hemos citado antes, diciendo que los divisores primos de
x2 + 5y 2 (con x e y coprimos) estn en las progresiones 20n + 1, 20n + 3,
20n+7, 20n+9, aparte de los casos p = 2 y p = 5. En notacin moderna
lo que se requiere es x2 + 5y 2 0 (mod p). Multiplicando por el inverso
de y 2 mdulo p, se tiene z 2 + 5 0 (mod p), es decir, que 5 es un
residuo cuadrtico mdulo p. Como Euler saba, el smbolo de Legendre
es multiplicativo, con ello y la ley de reciprocidad cuadrtica tenemos
que
5
1
5
p
1=
=
= (1)(p1)/2
.
p
p
p
5
Requiere un breve clculo comprobar que los nicos residuos cuadrticos mdulo 5 son los elementos de las clases de 1 y 1 (son congruentes
a 12 y a 22 ), por consiguiente p debe cumplir o bien (1)(p1)/2 = 1 y
p 1 (mod 5), o bien (1)(p1)/2 = 1 y p 1 (mod 5), lo cual
da lugar a las progresiones de la armacin de Euler.
Una vez que uno conoce que Z es cclico, se deduce que los elementos
p
de orden par son justamente las soluciones de x(p1)/2 = 1 en este
grupo. Con ello se llega al conocido criterio de Euler que en notacin
moderna se escribe

94

FERNANDO CHAMIZO LORENTE

N
N (p1)/2
para p primo impar p N .
p
Ntese que la primera de las leyes suplementarias es consecuencia inmediata.
Los problemas de representacin por formas cuadrticas son ms complejos que los de divisibilidad. Euler tuvo xito en los casos x2 + y 2 ,
x2 + 2y 2 y x2 + 3y 2 , y curiosamente se acerc a otros con un propsito
que podra decirse computacional, en relacin con algoritmos de primalidad. Antes de entrar en ello, veamos un escollo delicado incluso en
un ejemplo sencillo.
La ecuacin x2 + y 2 = 13 tiene una nica
solucin en enteros, 32 +22 , salvo las simetras
de la ecuacin (x x, y y , x y ).
Podramos explicar esto en la lnea del punto
sospechoso de la prueba de Euler del ltimo
teorema de Fermat para n = 3, diciendo que
13 = (3 + 2i)(3 2i) y que (salvo signos) slo
hay una forma de escribir esto como
P.G.L. Dirichlet

(x + iy)(x iy)

que conduce a la solucin x+iy = 3+2i. Aqu

3 2i son primos en el sentido de que no se pueden descomponer de
manera no trivial como (a + bi)(c + di). Si tratamos de
aplicar el mismo

razonamiento a x2 +5y 2 = 21 tenemos que 21 = (1+2 5)(12 5)

con 12 5 primos en el sentido anterior, sin embargo adems de la

solucin 12 + 5 22 = 21 se tiene otra, 42 + 5 12 = 21, que no tiene nada
que ver con esta descomposicin. La razn de este comportamiento
peculiar es que en la segunda ecuacin la factorizacin en primos no

es nica, por ejemplo 37 = (1+2 5)(12 5) y todos los factores

son irreducibles! Con un lenguaje actual, lo que ocurre es que Z[i] es un

dominio de factorizacin nica y Z[ 5] no lo es. La teora de ideales

nos permite reestablecer la analoga deniendo nmeros literalmente

ideales que
expresan por ejemplo lo que tienen en comn 3 y 1 2 5
o 7 y 1 2 5 para dar una descomposicin ms na que siempre es
nica. El paso de los nmeros ideales a los reales est regulado por
cierto grupo abeliano nito, el grupo de clases, cuyos elementos estn

EULER Y LA TEORA DE NMEROS

95

asociados a clases de formas cuadrticas y cuyo orden se expresa en

trminos de los caracteres reales de cierto Z a travs de la frmula del
n
nmero de clases probada por P.G.L. Dirichlet.
La limitacin en el tipo de formas cuadrticas que consideraba Euler
y los mrgenes de las Matemticas de su tiempo dejaron fuera de su
alcance toda la extensin del problema de representacin. Sin embargo
hay un tema de profundidad notoria en lo que se llama, siguiendo a
Euler, nmeros convenientes o nmeros idneos. El punto de partida
es que un nmero N = 4n + 1 es primo si y slo si se puede escribir
de forma (esencialmente) nica como N = x2 + y 2 , esto conduce a un
algoritmo efectivo de primalidad y de factorizacin. Euler estudi los
valores de n para los cuales nx2 +y 2 tiene una propiedad similar [E498],
textualmente:
Todos los nmeros contenidos de una sola forma en x2 + y 2 son primos
o dobles de primos donde x e y son primos entre s. He observado que
otras expresiones similares de la forma nx2 + y 2 gozan de la misma
propiedad dando a la letra n valores convenientes.

(En realidad hay que leer entre lneas para tener una denicin coherente [We]). Euler obtuvo un criterio para detectarlos (vase en [Ed] la
curiosa historia de su prueba) y dio una tabla de 65 de tales nmeros
que emple efectivamente para fabricar algunos primos grandes. Hoy en
da podemos traducir todo esto en trminos de propiedades del grupo
de clases (los nmeros convenientes ocurren si cada gnero slo tiene
una clase) [Co]. Adems W.E. Briggs y S. Chowla [BrCh] probaron en
1954 que en la tabla de Euler falta a lo ms un nmero y que si tal
nmero existiera debera tener al menos varias decenas de cifras.

Respecto a las formas cuadrticas binarias indeterminadas, el inters

de Euler por la ecuacin de Pell se maniesta en varios de sus trabajos
[E29], [E279], [E323], [EuAl], etc. Uno de los ms relevantes es [E323]
donde aparece la solucin en trminos de fracciones continuas. Con
la notacin actual, los coecientes de la fraccin continua de x son

an = [xn ] con x0 = x y xn+1 = (xn [xn ])1 . Para N la sucesin de

coecientes es peridica. A partir de los coecientes se construyen las

96

FERNANDO CHAMIZO LORENTE

convergentes pn /qn con pn y qn denidos recurrentemente por

pn = an pn1 + pn2 , p1 = 1, p0 = a0 , y
qn = an qn1 + qn2 , q1 = 0, q0 = 1.
La menor solucin en enteros positivos de la ecuacin x2 N y 2 = 1 es
(x, y) = (pn0 , qn0 ) donde n0 tiene que ver con el periodo de los an (n0 +1
es el periodo o su doble). Por ejemplo, para N = 13 la sucesin {an }
es 3, 1, 1, 1, 1, 6, 1, 1, 1, 1, 6, . . . que lleva a la solucin (x, y) = (p9 , q9 ) =
(649, 180) de x2 13y 2 = 1.
Antes de concluir esta seccin es justo mencionar que los intereses de
Euler se extendieron tambin a algunas formas cuadrticas no binarias
por ejemplo a travs de la fascinacin por la conjetura de Fermat de que
todo nmero se puede representar como suma de tres nmeros triangulares (los de la forma n(n + 1)/2) y como suma de cuatro cuadrados.
Lo primero fue probado por Gauss y lo segundo por Lagrange (con una
enorme simplicacin inmediatamente posterior de Euler [Di]).
5.

Los albores de la teora analtica de nmeros

Euler, de quien F. Arago dijo podra haber sido llamado, casi sin metfora y ciertamente sin hiprbole, la encarnacin del anlisis, conjug
su genialidad en anlisis y en teora de nmeros para dar los primeros
pasos en lo que ms tarde se llamara teora analtica de nmeros, una
disciplina cuyo nacimiento en toda regla se suele fechar en 1837 con el
trabajo de Dirichlet.
En 1737, en la segunda parte de [E72] Euler establece la frmula
(3)

2 3 5
p
1 1 1 1 1

= + + + + + ...
1 2 4
p1
1 2 3 4 5

donde p recorre los primos. Ciertamente esta igualdad desazona al lector actual porque la serie del segundo miembro es divergente. Para
nuestra tranquilidad poco despus escribe una identidad que utilizando la notacin de Riemann (s) = ns es
n=1
(4)

(1 ps )1 .

(s) =
p

EULER Y LA TEORA DE NMEROS

97

Esto es lo que se llama producto de Euler para (s) o identidad de Euler

(pero hay tantas identidades de Euler. . . ), formalmente (3) es el caso
s = 1 de (4). La demostracin es elemental e ingeniosa:

(s)(1 2s ) = 2 (s),
donde 2 (s) es como (s) pero restringiendo la sumacin a los impares,
es decir, a mcd(n, 2) = 1. De la misma forma

(s)(1 2s )(1 3s ) = 2 (s) 3s 2 (s) = 6 (s),

donde la sumacin en 6 (s) se restinge a los n con mcd(n, 6) = 1.
Iterando se deduce, para s > 1, que

(s)(1 2s )(1 3s ) . . . (1 ps ) 1 cuando p

porque 1 es el nico nmero natural que no es divisible por ningn
primo.
Por qu (4) es algo ms que una identidad curiosa? qu la diferencia por ejemplo de = 4 (1)k+1 /(2k 1)? Para responder es
k=1
pertinente usar las palabras de Hardy cuando en 11 [Ha] justica la
seriedad y belleza de los teoremas matemticos:
Se puede decir aproximadamente que una idea matemtica es `signicante' si se puede conectar, de manera natural y esclarecedora, con
un gran complejo de otras ideas matemticas.

Por supuesto que conectar con los inversos de los impares es inesperado y se puede utilizar para deducir otros resultados pero esta conexin
es dbil en comparacin con la que expresa la identidad de Euler (4):
en un lado tenemos los primos (aparentemente caticos) y en el otro
los naturales (el prototipo de orden), y adems hay una variable que se
puede acercar a voluntad a la singularidad para dar mayor importancia
a los trminos lejanos de la series. Con ello se crea una relacin bsica
entre la aritmtica y el anlisis.
El primer uso que dio Euler a (4) es una prueba de la innitud de los
primos. Hoy en da tomaramos s 1+ en (4) pero cualquiera que haya
disfrutado de la lectura de [EuIn] sabr que Euler no se arredraba ante
los innitos y trabaj directamente con (3), como el segundo miembro
es el primero debe serlo y por tanto no puede haber un nmero nito
de primos. Qu pensara Euclides de esta prueba? En realidad Euler
establece su resultado de una forma ms (o menos?) precisa y arma

98

FERNANDO CHAMIZO LORENTE

que (1 p1 )1 = log donde  log es el mnimo entre todas las

potencias de innito.
Otro conclusin que extrajo es que Los primos son innitamente ms
numerosos que los cuadrados porque (1 n2 )1 = 2. Si los primos
crecieran tan deprisa o ms que los cuadrados, deberamos tener =
(1) < 2. Con la lgica aplastante de log < y (1 n1 )1 = ,
concluye tambin que Los primos son innitamente menos numerosos
que los naturales. Hoy en da probaramos que (1n1 )1 /(s)
cuando s 1+ .
El resultado ms importante que alcanz en esta lnea es que la suma
de los inversos de los primos diverge aunque muy lentamente, para
l la suma es slo de tamao log log (vase en [Du] una prueba
completamente satisfactoria para el lector moderno).
La importante conclusin de todo esto es que gracias a (4) se puede
establecer una relacin entre el crecimiento de los primos y el comportamiento de una funcin, (s). Euler tambin construy variantes de
los argumentos anteriores para tratar primos en algunas progresiones
aritmticas, especialmente los de la forma 4n + 1, pero hasta Dirichlet no se pudieron integrar dentro de un mismo marco para probar un
resultado general.
El tema de la distribucin de los primos permaneci durante todo el
siglo XIX y cabe citar los resultado de Chebychev [Sm] (quien por
cierto particip en la edicin en 1849 de los trabajos de Euler sobre
teora de nmeros) que se acercaban al teorema de los nmeros primos
que Gauss haba conjeturado tras unos extensos clculos en la forma:
x

(5)

(x)
2

dt
log t

con (x) = #{p x}.

De hecho, numricamente esta aproximacin tiene un error relativo

notablemente pequeo.
El gran salto vino con Riemann que en su celebrrima y brevsima
memoria de 1859 (vase [Ri] p. 7986) `despej' (x) de (4) en trminos
de los ceros de la extensin meromorfa de (s) al plano complejo. Es
ms sencillo escribir el resultado poniendo algunos pesos al contar los

EULER Y LA TEORA DE NMEROS

99

primos:

log p = x
pm x

(0)

(0)

donde recorre los ceros de (la extensin meromorfa de) y por razones
tcnicas x Z. Esta frmula no se puede aprovechar si no tenemos
cierto control sobre y sobre la convergencia de la serie, sobre cundo
la podemos truncar. ste es un tema delicado que Riemann no trat por
completo, por ello la prueba de (5), en una forma un poco ms precisa
no lleg hasta 1896, con los trabajos independientes de Hadamard y de
la Valle Poussin.
Cuanto menor sea , menor es la contribucin de la serie innita anterior para x
grande, lo que se traduce en un menor error
en (5). Se sabe por cierta ecuacin funcional (tambin relacionada con el trabajo de
Euler) que si es un cero con > 0, entonces 1 tambin lo es, por consiguiente
la mejor situacin se dara bajo la llamada
Hiptesis de Riemann : Todos los ceros en
> 0 satisfacen = 1/2. ste antiguo
B. Riemann
e importante problema permanece abierto.
En caso de que la armacin fuera correcta, se podra deducir
x

(x)
2

dt
+ O( x log x).
log t

La relacin analtico-aritmtica funciona en los dos sentidos: la frmula

anterior es cierta si y slo si se cumple la hiptesis de Riemann. Es decir,
conocer la distribucin de los primos equivale a saber si los ceros de
cierta funcin meromorfa estn en la india. Una relacin que, con toda
seguridad, hubiera hecho las delicias de Euler.

Agradecimientos: Quisiera expresar mi gratitud a A. Ro y a S. Xam-

b por la invitacin y su atenta amabilidad, as como a A. Ubis por sus

acertadas sugerencias. Tambin quisiera agradecer especialmente el apoyo
de E. Valenti.

100

FERNANDO CHAMIZO LORENTE

Referencias5
[AdHB] L.M. Adleman; D.R. Heath-Brown. The rst case of Fermat's last theorem.
Invent. Math. 79 (1985), no. 2, 409416.
[AGP] W.R. Alford, A. Granville, C. Pomerance. There are innitely many Carmichael numbers. Ann. of Math. (2) 139 (1994), no. 3, 703722.
[BrCh] S. Chowla; W.E. Briggs. On discriminants of binary quadratic forms with
a single class in each genus. Canadian J. Math. 6, (1954), 463470.
[Co]
D.A. Cox. Primes of the form x2 + ny 2 . Fermat, class eld theory and
complex multiplication. A Wiley-Interscience Publication. John Wiley &
Sons, Inc., New York, 1989.
[Da]
The Euler archive. http://www.math.dartmouth.edu/euler/ .
[Di]
L.E. Dickson. History of the theory of numbers. Vol. I,II,III. Chelsea Publishing Co., New York 1966.
W. Dunham. Euler. El maestro de todos los matemticos. Nivola 2000.
[Du]
[Ed]
H.M. Edwards. Fermat's last theorem. A genetic introduction to algebraic
number theory. Graduate Texts in Mathematics, 50. Springer-Verlag, New
York-Berlin, 1977.
[EuAl] L. Euler. Elements of Algebra. New York Springer-Verlag, 1984.
[EuIn] L. Euler. Introduction to analysis of the innite. Book I. Springer-Verlag,
New York, 1988. (Introduccin al anlisis de los innitos [Traducido por
Jos Luis Arantegui Tamayo y anotado por Antonio Jos Durn Guardeo].
Real Sociedad Matemtica Espaola, Madrid, 2000).
[E54]
L. Euler. Theorematum quorundam ad numeros primos spectantium demonstratio. (Traducido al ingls por D. Zhao).
[E29]
L. Euler. De solutione problematum diophanteorum per numeros integros.
(Traducido al ingls por D. Otero).
[E72]
L. Euler. Variae observationes circa series innitas. (Traducido al ingls
por P. Viader y L. Bibiloni).
[E134] L. Euler. Theoremata circa divisores numerorum. (Traducido al ingls por
D. Zhao).
[E164] L. Euler. Theoremata circa divisores numerorum in hac forma paa qbb
contentorum. (Traducido al ingls por J. Bell).
[E228] L. Euler. De numeris, qui sunt aggregata duorum quadratorum.
[E271] L. Euler. Theoremata arithmetica nova methodo demonstrata.
[E272] L. Euler. Supplementum quorundam theorematum arithmeticorum, quae in
nonnullis demonstrationibus supponuntur.
[E279] L. Euler. De resolutione formularum quadricarum indeterminatarum per
numeros integros.
[E283] L. Euler. De numeris primis valde magnis.
[E323] L. Euler. De usu novi algorithmi in problemate Pelliano solvendo.
5En las referencias de los artculos de Euler seguimos la numeracin de Enes-

trm. Todas ellas se pueden consultar en [Da]. En el caso de que se hayan usado
traducciones, se indican los traductores.

EULER Y LA TEORA DE NMEROS

101

L. Euler. Quomodo numeri praemagni sint explorandi, utrum sint primi

necne.
[E498] L. Euler. Extrait d'un lettre de M. Euler a M. Beguelin en mai 1778.
[E552] L. Euler. Observationes circa divisionem quadratorum per numeros primos.
[E792] L. Euler. Tractatus de numerorum doctrina capita sedecim, quae supersunt.
[E798] L. Euler. De numeris amicibilibus.
[Fa]
G. Faltings. Endlichkeitsstze fr abelsche Varietten ber Zahlkrpern.
Invent. Math. 73 (1983), no. 3, 349366.
[Ga]
C.F. Gauss. Disquisitiones arithmeticae. Springer-Verlag, New York, 1986.
(Disquisicions aritmtiques [traducido al cataln por G. Pascual Xufr].
Institut d'Estudis Catalans, Societat Catalana de Matemtiques, Barcelona 1996).
[Ha]
G.H. Hardy. A Mathematician's Apology. Cambridge University Press.
Canto 2001. (Autojusticacin de un matemtico [traducido por Domnec Bergad]. Ariel, Barcelona 1981. Apologa de un matemtico. Nivola,
Madrid 1999).
[HeBr] D.R. Heath-Brown. Artin's conjecture for primitive roots. Quart. J. Math.
Oxford Ser. (2) 37 (1986), 2738.
[He]
Y. Hellegouarch. Invitation to the mathematics of Fermat-Wiles. Academic
Press, Inc., San Diego, CA, 2002.
[Le]
F. Lemmermeyer. Reciprocity laws. From Euler to Eisenstein. Springer
Monographs in Mathematics. Springer-Verlag, Berlin, 2000.
[Mu]
D. Mumford. A remark on Mordell's conjecture. Amer. J. Math. 87 (1965),
10071016.
[Ri]
B. Riemann. Riemanniana Selecta (edicin, estudio introductorio y notas de Jos Ferreirs). Coleccin Clsicos del Pensamiento. Madrid, CSIC,
2000.
[Sa]
E. Sandifer. Ed Sandifer's How Euler Did It. The Mathematical Association of America. http://www.maa.org/news/howeulerdidit.html.
[Si]
C.L. Siegel. ber einige Anwendungen Diophantischer Approximationen.
Abh. Preussischen Akademie der Wissenschaften, Phys. Math. Klasse
(1929), 41-69.
[Sm]
D.E. Smith. A source book in mathematics. New York: Dover Publications,
1959.
[Su]
J. Suzuki. Euler and Number Theory: A Study in Mathematical Invention.
In Leonhard Euler: Life, Work and Legacy. R.E. Bradley, C.E. Sandifer
(Ed.). Elsevier, 2007.
[To]
B. Torrecillas Jover. Fermat. El mago de los nmeros. Nivola 1999.
[We]
A. Weil. Number theory. An approach through history. From Hammurapi
to Legendre. Birkhuser Boston, Inc., Boston, MA, 1984.
A. Wiles. Modular elliptic curves and Fermat's last theorem. Ann. of Math.
[Wi]
(2) 141 (1995), no. 3, 443551.
[E369]