Historias de Matemticas

Euler y la Conjetura de Fermat sobre

Nmeros Triangulares
Jos Manuel Snchez Muoz
Revista de Investigacin
G.I.E
Pensamient
Matemtic
ISSN 2174-0410
11 de abril de 2011
Resumen
Este artculo describe la historia de como Euler demostr la existencia
de innitos nmeros triangulares bicuadrticos, desde su correspondencia
con su amigo Christian Goldbach hasta la publicacin de sus resultados en
la Academia de San Petesburgo.
1. La Conjetura
Podemos considerar sin lugar a equvocos que el gran genio matemtico
francs Pierre de Fermat fue quizs junto a su amigo y coterrneo Ren Des-
cartes una de las principales guras de las matemticas de la primera mitad
del siglo XVII.
Fermat acostumbraba a estudiar problemas sobre propiedades de nmeros.
En sus lecturas de la Arithmetica de Diofanto, a menudo realizaba anotaciones,
desafortunadamente muchas de ellas sin demostracin, que en multitud de
ocasiones se convertiran en conjeturas unas veces, y en teoremas otras.
En una de estas anotaciones se presenta el problema que ms adelante, ya
en el segundo cuarto del siglo XVIII, el prolco matemtico suizo Leonhard
Euler, animado por su gran amigo y condente Christian Goldbach, refutara.
Fermat conjetur que
Ningn nmero triangular entero es un bicuadrado
es decir
x(x +1)
2
= n
4
1
Historias de Matemticas - Euler y la Conjetura de Fermat sobre Nmeros Triangulares Jos Manuel Snchez Muoz
2. Euler y su correpondencia con Goldbach
A lo largo de la historia de las matemticas hay personajes que escribieron
con letras de oro la evolucin y los nuevos descubrimientos y avances de la
misma, a los que admiramos por el ingenio de sus demostraciones o la efecti-
vidad que nos revelan sus aplicaciones. Desafortunadamente Christian Gold-
bach no se encuentra dentro de este grupo de elegidos, pero no por ello deja de
tener importancia y signicado dentro de la historia de las matemticas.
Euler y Goldbach se conocieron en 1727, tras la llegada del segundo a San
Petesburgo, poco antes de su nombramiento como tutor del zar Pedro II, siendo
Euler un joven de tan slo 20 aos, y Goldbach, 17 aos mayor que l, Secreta-
rio de la Academia de Ciencias. Comenzaron entonces una relacin de amistad
y condencialidad que durara hasta la muerte de Goldbach, y que di como
fruto multitud de los resultados que Euler present a lo largo de toda su vi-
da. Goldbach comprenda mejor que nadie las implicaciones de los aportes de
Fermat a la teora de nmeros, y sera injusto no reconocer el mrito que tu-
vo sobre la gura de Euler estimulndole en multitud de investigaciones que
este llev a cabo, apuntando certeramente hacia donde deban centrarse sus
esfuerzos.
Para ser justo, debemos decir que las conjeturas que Goldbach presentaba a
Euler en su correspondencia no siempre eran vlidas. Precisamente el proble-
ma que tratamos en este artculo es uno de estos casos. En una de las multitudes
cartas de su correspondencia mutua, Euler expone que poda probar que exis-
ten innitos nmeros raciones x para los cuales
x(x+1)
2
= n
4
, en particular le
expuso a Goldbach el caso x =
32
49
, para el que:
x(x + 1)
2
= n
4
=

6
7

4
Goldbach respondi enseguida que haba enviado a Daniel Bernoulli desde
Mosc una carta con una demostracin del mencionado teorema de Fermat, y
de su demostracin se poda armar que los nmeros triangulares enteros dife-
rentes del 1 y del 36 no podan ser cuadrados. AEuler este hecho le result muy
chocante y se puso a trabajar en una demostracin que lo refutara. Tras pocos
das Euler haba dado con la demostracin que buscaba. Lleg a ella mediante
el estudio profundo de las soluciones enteras de las ecuaciones diofnticas del
tipo x
2
+ x + = y
2
y el importantsimo caso estudiado por Fermat y Wallis
x
2
dy
2
= 1 donde d no es un cuadrado (*).
3. Los nmeros triangulares bicuadrados
Aparentemente la existencia de innitos nmeros triangulares que son cua-
drados perfectos no resulta tan evidente como Euler nos puede haber hecho
creer. Se trata de probar que existen innitos pares de enteros (m, n) que solu-
cionan la ecuacin:
m
2
=
n(n +1)
2
Revista Pensamiento Matemtico- Nmero 0 - Abr11
ISSN 2174-0410
2
Historias de Matemticas - Euler y la Conjetura de Fermat sobre Nmeros Triangulares Jos Manuel Snchez Muoz
transformemos la ecuacin, de tal forma que lleguemos a una ecuacin que
injusticadamente Euler llam Tipo Pell, y decimos injusticamente puesto que
el matemtico ingls John Pell
1
a quien Euler alude, no trat este asunto jams.
m
2
=
n(n+1)
2
2m
2
= n
2
+ n
8m
2
= 4n
2
+4n
8m
2
+1 = 4n
2
+ 4n + 1
8m
2
+1 = (2n +1)
2
(2n +1)
2
8m
2
= 1
Podemos observar que esta ltima es la ecuacin de Pell con x = 2n + 1,
y = m, y d = 8. Se puede comprobar que una solucin se obtiene para n =
m = 1, es decir (x
0
, y
0
) = (1, 3).
Con respecto a esta ltima ecuacin, ya anteriormente Brahmagupta en el
siglo VII la haba estudiado, y al parecer haba aparecido por primera vez en
la historia con el problema de los bueyes de Arqumedes. Esta ecuacin fue
resuelta en algunos casos particulares por el matemtico Bashkara, hind como
Brahmagupta, en el siglo XII.
Respecto a la ecuacin de Pell, se conoce un resultado, no fcilmente de-
mostrable, que expresa lo siguiente:
Sea d un nmero entero que no es cuadrado perfecto. Si el par de
enteros (x
0
, y
0
) es una solucin de la ecuacin de Pell x
2
dy
2
= 1,
entonces existen innitas soluciones (x
n
, y
n
) de la ecuacin, dadas
por la frmula:
x
n
+

dy
n
= (x
0
+

dy
0
)
n
Si aplicamos este resultado a nuestro caso, y consideramos como solucin
inicial (x
0
, y
0
) = (3, 1):
x
n
+2

2y
n
= (3 +2

2)
n
=
n

k=0

n
k

3
nk
(2

2)
k
=
=

02kn

n
k

3
nk
(2

2)
k
+

02k+1n

n
k

3
nk
(2

2)
k
=
=

02kn

n
k

3
n2k
(2

2)
2k
+

02k+1n

n
k

3
n2k1
(2

2)
2k+1
=

02kn

n
k

3
n2k
8
2k
+

02k+1n

n
k

3
n2k1
8
2k
1
John Pell fue un matemtico ingls que vivi durante el siglo XVII. El caso es que no est muy
claro por qu este tipo de ecuaciones llevan su nombre. Al parecer el error lo cometi Euler al
asociar un mtodo de resolucin de este tipo de ecuaciones a Pell en vez de a William Brouncker,
el verdadero propietario de dicho mtodo de resolucin, que fuera presidente de la Royal Society.
En su poca Euler era un escritor muy ledo, por lo que la inclusin de este fallo en alguna de sus
popularsimas obras, provoc que esta asociacin errnea se propagara con gran rapidez.
Revista Pensamiento Matemtico- Nmero 0 - Abr11
ISSN 2174-0410
3
Historias de Matemticas - Euler y la Conjetura de Fermat sobre Nmeros Triangulares Jos Manuel Snchez Muoz
entonces se obtienen las innitas soluciones (x
n
, y
n
) tales que:
x
n
=

02kn

n
k

3
n2k
8
2k
y
n
=

02k+1n

n
k

3
n2k1
8
2k
4. La publicacin de Euler y sus resultados
La demostracin dada por Euler de la conjetura de Fermat sobre los nme-
ros triangulares bicuadrticos fue presentada parcialmente en varias asambleas
de la Academia de Ciencias de San Petesburgo. El artculo de Euler Regla sim-
ple para resolver fcilmente ecuaciones diofnticas en enteros fue presentado a la
Academia el 15 de mayo de 1778. Euler dedic muchos esfuerzos al anlisis
particular de la ecuacin diofntica (*) y ms tarde convenci a Lagrange para
que continuara sus estudios, que condujeron a la teora general de las ecuacio-
nes binarias cuadrticas con coecientes enteros:
ax
2
+ bxy + cy
2
+ dx + ey + f = 0
Euler y Lagrange comprendieron que la solucin de este problema general
estaba ligada a la representacin de enteros en formas cuadrticas:
n = ax
2
+ bxy + cy
2
lo que di mayor atractivo al problema, tan ingenuamente tratado por Gold-
bach. La existencia siempre de solucin en enteros de la ecuacin (*) fue de-
mostrada por Lagrange en 1770.
Referencias
[1] BOYER, Carl Benjamin. Historia de la Matemtica, pp. 241, 286, 485, Alianza
Editorial, Madrid, 2010.
[2] ESCANDN MARTNEZ, Covadonga. Historia de la ecuacin de Pell,
http://astroseti.org/articulo/3594/historia-de-la-ecuacion-de-pell
[3] SNCHEZ FERNNDEZ, Carlos, y ROLDN INGUAZO, Rita. Goldbach. Una
conjetura indomable, Coleccin: La matemtica y sus personajes, pp. 6266,
1 ed. Nvola, Madrid, 2009.
Revista Pensamiento Matemtico- Nmero 0 - Abr11
ISSN 2174-0410
4
Historias de Matemticas - Euler y la Conjetura de Fermat sobre Nmeros Triangulares Jos Manuel Snchez Muoz
Sobre el autor:
Nombre: Jos Manuel Snchez Muoz
Correo Electrnico: jmanuel.sanchez@gmx.es
Institucin: Grupo de Innovacin Educativa Pensamiento Matemtico. Univer-
sidad Politcnica de Madrid, Espaa.
Esta obra est registrada
INFORMACIN SOBRE
DERECHOS
1102018390582
Revista Pensamiento Matemtico- Nmero 0 - Abr11
ISSN 2174-0410
5