Premios del Departamento de Matemticas

de la Universidad Autnoma de Madrid

para Estudiantes de Secundaria
Cuarta Edicin, 2009/2010

TRABAJO: Lo racional no interesa

GANADOR EN LA CATEGORA DE BACHILLERATO

AUTORES:
o Javier Alcaide Prez
o Helia Santiago Colomer

TUTORA:
o ngela Vallego Martn Albo

CENTRO: I.E.S. El Escorial (El Escorial, Madrid)

LO RACIONAL
NO INTERESA

Javier Alcaide Prez

Helia Santiago Colomer
IES EL ESCORIAL

NDICE
1. Introduccin ...Pg. 3
2. Objetivos . Pg. 4
3. Ecuaciones en una variable .... Pg. 4
4. Ecuaciones lineales en dos variables.....Pg. 5
5. Ternas Pitagricas .... Pg. 12
6. El ltimo teorema de Fermat ... Pg. 15
7. Conclusiones ..Pg. 16
8. Datos biogrficos de algunos matemticos .. Pg. 17
Bibliografa . Pg. 18
ANEXO: PROGRAMA EN PASCAL que proporciona ternas pitagricas primitivas . Pg. 18

Lo racional no interesa

Pgina 2

1. INTRODUCCIN
Si,, el conocimiento til es aquel que probablemente va a contribuir al bienestar
material de la humanidad, ahora o en el futuro prximo, de tal forma que la mera
satisfaccin intelectual resulte irrelevante, entonces la mayor parte de las
matemticas superiores son intiles
G.H. Hardy
En su libro Apologa de un matemtico Hardy [Referencia de G. H. Hardy] dice que hay dos
tipos de matemticas, las autnticas, hechas por autnticos matemticos, y las triviales. En cierta
manera, identifica la matemtica trivial con la matemtica til y defiende con vehemencia las
matemticas autnticas an reconociendo la inutilidad de la mayor parte de ellas. Dice Hardy que las
autnticas matemticas perdurarn a lo largo del tiempo pues como ocurre con la mejor literatura,
puede causar una satisfaccin intensa a miles de personas miles de aos despus de ser creadas.
Desde este punto de vista, el tema de nuestra investigacin pertenece a esa parte de la
matemtica que, segn Hardy, se podra llamar intil. Pretendemos exponer una pequesima parte de
autntica matemtica, la que se refiere a un tipo singular de ecuaciones, las llamadas ecuaciones
diofnticas. El trabajo nos ha salido salpicado de referencias a algunos matemticos importantes que
han tenido que ver con este tema, ya sea por sus aportaciones matemticas a l o simplemente porque
se han interesado en el asunto, y nos ha parecido adecuado introducir en el texto una referencia cruzada
que conduzca a una pequea resea de la vida de ese matemtico. Por ejemplo, Hilbert fue un gran
matemtico que tuvo algo que ver con las ecuaciones diofnticas. Veamos:
En agosto de 1900 David Hilbert [Referencia de David Hilbert] propuso a la comunidad
matemtica, reunida en el Congreso Internacional de Matemticas de Pars una serie de problemas,
concretamente 23, cuya resolucin podra encuadrarse perfectamente en lo que Hardy llama las
autnticas matemticas. Se trataba de problemas que apenas conectaban con la realidad, que no
resolvan problemas prcticos, pero que preocupaban mucho a los matemticos tericos.
El dcimo problema de Hilbert planteaba:
Dada una ecuacin diofntica cualquiera, existe algn algoritmo que permita decidir si esa
ecuacin tiene o no tiene soluciones enteras?
Pero qu es una ecuacin diofntica?
El nombre a estas ecuaciones fue dado en honor de Diofanto [Referencia de Diofanto] de
Alejandra, matemtico de la Edad de Plata de la matemtica griega (poca que va desde el 250 al 350
d. C. aprox.), conocido como el padre del lgebra. Actualmente, se llama ecuacin diofntica a una
ecuacin con una o varias incgnitas, cuyos coeficientes son todos nmeros enteros, y de la que se
buscan todas las soluciones que sean nmeros enteros. Por ejemplo:
5x+10 = 0 es una ecuacin diofntica con una incgnita. Su solucin es x = 2 porque 5(-2) +
10 = 0, y esta solucin es nica.
15x + 10y 20 = 0 es una ecuacin diofntica con dos incgnitas. Una de sus soluciones es
x = 2 y = 1, porque 152 + 10(1) 20 = 0; pero esta ecuacin tiene muchas mas soluciones. De
hecho, tiene infinitas soluciones.
3x2 6y2 + 4x 47 = 0 es una ecuacin diofntica con dos incgnitas. Una de sus solucines es

x = 1 y = 9.

Lo racional no interesa

Pgina 3

El reto que Hilbert plante cuando formul su dcimo problema, era el de encontrar un
procedimiento automtico que permita decidir en un nmero finito de pasos (algoritmo) si una ecuacin
diofntica tiene o no tiene soluciones enteras.
Obsrvese que Hilbert no se interesaba tanto por las soluciones como por si se poda decidir
con antelacin la existencia de ellas.
Despus de un largo proceso en el que intervinieron varios matemticos, Matiyasevich
[Referencia de Yuri Matiyasevich] demostr en 1970 que no existe tal algoritmo.
Eso no quiere decir que, a lo largo de la historia de las Matemticas, no se haya demostrado que
determinados grupos de ecuaciones diofnticas tienen solucin. Es ms, se ha demostrado, para ciertos
tipos, cmo determinar si existen o no soluciones enteras (es decir lo que quera Hilbert para cualquier
ecuacin diofntica) y cmo encontrar esas soluciones.

2. OBJETIVOS DEL TRABAJO.

-

Presentar algunos casos de ecuaciones diofnticas de las que se puede decidir si tienen o
no solucin, y cuntas y cmo son, en caso de que las haya, dichas soluciones.

Entender y exponer las demostraciones de los resultados que se mencionen de forma

completa y clara.

Conocer los detalles generales de la vida de algunos matemticos que han tenido que ver
de una u otra forma con las ecuaciones diofnticas.

Hemos resaltado en color azul los resultados importantes y hemos sombreado en gris las
demostraciones, todo ello con el objetivo de facilitar una lectura ms rpida, pudiendo saltarse las partes
grises si as se desea o buscar fcilmente uno de los resultados anteriores en el texto.

3. ECUACIONES EN UNA VARIABLE

3.1. ECUACIONES DE PRIMER GRADO.
Las ecuaciones con una incgnita de la forma ax + b = 0 , con a, b , siempre tienen una
b
solucin: x = , que, en el contexto de las ecuaciones diofnticas, slo nos interesar si a b (b es
a
b
divisible entre a) lo que implicara Z . Es decir:
a
3.1.1.
La ecuacin ax+b = 0 con a, b Z, tiene solucin entera si a b y esa solucin es
b
x=
a
Por ejemplo la ecuacin 5x 25 = 0 tiene solucin entera x = 5 (observamos que 5 25 ), mientras
que la ecuacin 4x + 21 = 0 carece de estas soluciones (observamos que 21 no es divisible entre 4).

Lo racional no interesa

Pgina 4

3.2. ECUACIONES DE GRADO SUPERIOR A UNO

Una ecuacin de la forma anxn + an-1xn -1 + + a1x + a0 =0 , con an 0 y ai Z , 0 i n
puede tener soluciones enteras, pero estarn caracterizadas por el siguiente teorema:

3.2.1.

x es solucin entera de anxn + an-1xn -1 + + a1x + a0 =0 x divide a a0

El resultado anterior es lo que se llama una condicin necesaria pero no suficiente, es decir, el
teorema no asegura que los divisores del trmino independiente sean soluciones de la ecuacin. Como
dicen algunos profesores, slo son candidatos. Por ejemplo, la ecuacin x 2 + 1 = 0 slo tiene como
soluciones a x = i, que no son nmeros enteros (son nmeros complejos).
Los divisores del trmino independiente en la ecuacin x5 + 4x2 3 = 0 son 1 y 3, pero de
ellos slo es solucin x = 1.

Demostracin
Si x es solucin entera de la ecuacin anxn + an-1xn-1 + + a1x + a0 = 0 entonces,

a0

= anxn an-1xn-1 a1x = x(anxn-1 + an -1xn-2 + + a1)

Como ai Z , anxn-1 + an -1xn-2 + + a1 es un nmero entero y por tanto, a 0 es divisible
entre x, ya que se puede expresar como producto de x por un nmero entero.

4. ECUACIONES LINEALES EN DOS VARIABLES

La forma general de las ecuaciones que vamos a estudiar en este apartado es
ax + by = c , con a,b,c , a0 y b0
Sean a,b,c , a0 y b0 .

4.1.

ax + by = c tiene solucin entera mcd(a,b)| c

Demostracin

Llamemos m.c.d.(a,b) = d d| a y d| b a = a1d y b = b1d , con a1 y b1 primos

entre s (de lo contrario d no sera el mcd de a y b).
Supongamos que x = x0 e y=y0 es una solucin de la ecuacin ax + by = c ax0+

by0 = a1dx0 + b1dy0 = d(a1x0 + b1y0) = c , lo cual implica que d| c ( pues

a1x0+ b1y0 tal que d(a1x0 + b1y0) = c) .

Supongamos que m.c.d.(a,b) = d y d| c

a = a1d y b = b1d , con a1 y b1 primos entre s (de lo contrario d no sera el mcd

de a y b) y adems c=c1d. Entonces

ax+ by = c a1dx + b1dy = c1d d(a1x + b1y) = c1d a1x+ b1y = c1

siendo m.c.d.(a1,b1) = 1

Lo racional no interesa

Pgina 5

Vamos a suponer de ahora en adelante que m.c.d.(a,b) = 1 pues, en caso de no lo sea, y

suponiendo la existencia de la solucin, es decir suponiendo que m.c.d.(a,b) = d | c, la ecuacin se
puede transformar en otra equivalente en la que a y b s seran primos entre s.
Demostracin
Por ser m.c.d.(a,b) = d se tiene a = a1d y b = b1d , con a1 y b1 primos entre s .
Como d | c , se tiene c = c1d . Entonces:

ax+ by = c a1dx + b1dy = c1d d(a1x + b1y) = c1d a1x+ b1y = c1

siendo m.c.d.(a1,b1) = 1

A continuacin nos ocuparemos de encontrar un mtodo para hallar todas las soluciones de la
ecuacin ax+by=c, con a,b,c, a0, b0 y mcd(a,b) = 1.
En primer lugar demostraremos cmo se pueden obtener todas las soluciones de una ecuacin
de este tipo a partir de una solucin concreta conocida.
4.2.
Si x= y= es una solucin de la ecuacin ax + by = c , a,b,c, a0, b0 y
mcd(a,b) = 1 entonces:
x = + bt
1) Los nmeros de la forma
con t, son tambin solucin de la ecuacin.
y = at
2) Cualquier otra solucin de la ecuacin se puede escribir de esa forma.
Observemos que el primer apartado de este resultado implica que una vez demostrada la
existencia de una solucin, habremos demostrado que hay infinitas soluciones.
Demostracin
1) Supongamos que (,) es solucin de la ecuacin ax + by = c . Tomemos t y
consideremos los nmeros +bt y at; veamos que esos nmeros son solucin de

ax+by=c

ax+by = a(+bt) + b(at ) = a + abt + b bat = a + b = c (puesto

que (,) es solucin de la ecuacin) .

2) Supongamos que (1,1) es otra solucin distinta de (,); veamos que t tal
1 = + bt
que
1 = at
Por ser (,) solucin a + b = c

(1)

Por ser (1,1) solucin a1 + b1 = c

(2)

Restando (2) (1): a(1 )+ b(1- ) =0 (3) a(1 )= b( 1)

a divide a b( 1 ) a divide a 1, pues mcd(a,b)=1 t / at=1

1= at.

Sustituyendo en (3): a(1 )+ b(1) =0 a(1 )+ b(at)=0

a(1 ) abt = 0 a1 a abt = 0 1 = + bt
Lo racional no interesa

Pgina 6

Para cerrar el problema de la existencia de soluciones nos queda encontrar una primera
solucin, la que hemos llamado x= y=.
Consideramos la ecuacin diofntica ax + by = c , a,b,c, a0, b0 y mcd(a,b) = 1; se
pretende hallar una solucin inicial de ella.
4.3.
Algoritmo de Euclides [Referencia de Euclides Si dividimos a entre b, obtenemos un
cociente q1 y un resto r2. Si r20, dividimos b entre r2, obteniendo un cociente q2 y un resto r3.
Si r30, dividimos r2 entre r3, obteniendo un cociente q3 y un resto r4, y as sucesivamente.
Este proceso tendr fin y llegaremos a una divisin de resto rn+1 = 0.
Supongamos que a,b, a0, b0 . Mediante sucesivas divisiones enteras, obtenemos:
a = b q1 + r2 con r2 < b (dividiendo a entre b, cociente q1, resto r2)
b = r2 q 2 + r3 con r3 < r2 (dividiendo b entre r2, cociente q2, resto r3)
r2 = r3 q3 + r4 con r4 < r3 (dividiendo r2 entre r3, cociente q3, resto r4)
r3 = r4 q 4 + r5 con r5 < r4 (dividiendo r3 entre r4, cociente q3, resto r5)
..
.
Como b > r2> r3> r4>>0 y la cantidad de nmeros enteros positivos menores que un nmero
dado b es finita, debe existir n, con rn+1 = 0. As:

rn 2 = rn 1 q n 1 + rn con rn < rn 1 (dividiendo rn-2 entre rn-1, cociente qn-1, resto rn)
rn 1 = rn q n + 0 (dividiendo rn-1 entre rn, cociente qn, resto rn+1=0)
Teniendo en cuenta todas las igualdades anteriores, se puede escribir:
r
a
1
1
1
1
= q1 + 2 = q1 +
= q1 +
= q1 +
= q1 +
=
b
r3
1
1
b
b
q2 +
q2 +
q2 +
r2
r
r2
r2
q3 + 4
r3
r3
= q1 +

1
q2 +

Lo racional no interesa

1
1
q3 +
r3
r4

= q1 +

1
q2 +

= .......

1
q3 +

1
q4

Pgina 7

Es decir

4.4.

Si a,b, a0, b0 y mcd(a,b) = 1

a
= q1 +
b

1
q2 +

1
q3 +

q4 +

1
qn1 +

1
qn

Por otra parte, consideramos las siguientes cantidades:

1

1 3 = q1 +
1 ,
1 = q1 , 2 = q1 +
,
q2 +
q2
q3

= q1 +

1
q2 + +

1 con 1 k n
qk
4.5.

Sean a,b, a0, b0 y mcd(a,b) = 1

Si efectuamos las divisiones enteras a:b, b:r2 , r2: r3, siendo r2, r3, r4, los sucesivos restos y
q1, q2, q3, los sucesivos cocientes de estas divisiones y consideramos los nmeros
1
k = q1 +
1 , k , k n cada uno de los nmeros k se puede escribir
q2 + +
qk
como una fraccin de la forma que se describe a continuacin:

Pk
Qk

donde P1 = q1 , P2 = q1 q2 + 1 , Q1 = 1 , Q2 = q 2 y

Pk = q k Pk 1 + Pk 2 , Qk = q k Qk 1 + Qk 2
Veamos cmo. Es fcil comprobar los primeros casos. La demostracin se completar por
induccin.
P = q1
P
1 = 1 = q1 1
Q1
Q1 = 1

2 = q1 +

3 = q1 +

P = q 2 P1 + 1
1 q1 q 2 + 1 q 2 P1 + 1 P2
=
=
=
2
q2
q2
q 2 Q1 + 0 Q2
Q2 = q 2 Q1
1
q2 +

1
q3

= q1 +

P3 = q3 P2 + P1
q3
q q q + q1 + q3
q P + P1
= 1 2 3
= 3 2

q 2 q3 + 1
q 2 q3 + 1
q3 Q2 + Q1
Q3 = q3 Q2 + Q1

Numerador: q1 q2 q3 + q1+q3 = P1q2 q3 + q1+q3 = (P2 -1)q3 + q1+q3 = P2q3+q1= P2q3+P1 .

q2 q3 + 1 = q2 q3 + Q1 = Q2 q3 + Q1)
LoDenominador:
racional no interesa

Pgina 8

 4 = q1 +

1
q2 +

= q1 +

1
q3 +

1
q4

1
q2 +

q4
q3 q 4 + 1

= q1 +

q3 q 4 + 1
=
q 2 q3 q 4 + q 2 + q 4

P4 = q 4 P3 + P2
q1 q 2 q3 q 4 + q1 q 2 + q1 q 4
q P + P2
= 4 3

q 2 q3 q 4 + q 2 + q 4
q 4 Q3 + Q2
Q4 = q 4 Q3 + Q2
Demostracin
Por induccin sobre k.
Como ya lo hemos comprobado para los primeros valores de k (hasta k=4), slo faltar
demostrar que si suponemos ciertas las formulas para k, entonces tambin lo son para k+1.
Supongamos que se cumple

Pk = q k Pk 1 + Pk 2 y Qk = q k Qk 1 + Qk 2

Si observamos la formacin de los k vemos que para calcular k+ 1 se puede sustituir en el

valor de k , qk por q k +

1
qk + 1

. Por tanto, y dado que en las expresiones de

Pk 1 , Pk 2 , Qk 1 y Qk 2 no interviene nunca el valor de qk , podemos escribir:

k+ 1

q k +
=

q k +

1
Pk 1 + Pk 2 q k Pk 1 +
q k + 1
=
1
Qk 1 + Qk 2 q k Pk 1 +
q k + 1

Pk 1
P
q k + 1 Pk + Pk 1
+ Pk 2 Pk + k 1
qk + 1
qk + 1
qk+ 1
=
=
=
Pk 1
Qk 1 q k + 1 Qk + Qk 1
+ Pk 2 Qk +
qk + 1
qk + 1
qk+ 1

Pk + 1 = q k + 1 Pk + Pk 1
q k + 1 Pk + Pk 1 Pk + 1
=

q k + 1 Qk + Qk 1 Qk + 1 Qk + 1 = q k + 1 Qk + Qk 1

Recordemos que nuestro propsito es obtener una solucin inicial a la ecuacin diofntica
ax+by=c, presentamos a continuacin el proceso:
4.6.
Siendo k los nmeros del resultado 4.5. se tiene:

( 1) k 1
k+ 1 k =
Qk + 1Qk

Lo racional no interesa

Pgina 9

Demostracin

k+ 1

Pk + 1 Pk
P Q Pk Qk + 1 ( q k Pk + Pk 1 ) Qk Pk ( q k Qk + Qk 1 )

= k+ 1 k
=
=
Qk + 1 Q k
Qk + 1 Qk
Qk + 1 Qk

Pk 1 Qk Pk Qk 1 ( Pk Qk 1 Pk 1 Qk )
=
Qk + 1 Qk
Qk + 1 Qk
Observando que Pk + 1 Qk Pk Qk + 1 = ( Pk Qk 1 Pk 1 Qk ) , se puede escribir :
=

k+ 1 k =

Pk + 1 Qk Pk Qk + 1 ( Pk Qk 1 Pk 1 Qk ) ( 1) 2 ( Pk 1 Qk 2 Pk 2 Qk 1 )
=
=
=
Qk + 1 Qk
Q k + 1 Qk
Qk + 1 Qk

( 1) 3 ( Pk 2 Qk 3 Pk 3 Qk 2 )
( 1) k 1 ( P2 Q1 P1 Q2 ) ( 1) k 1 ( ( q 2 q1 + 1) 1 q1 q 2 )
=
= ... =
=
=
Qk + 1 Q k
Qk + 1 Q k
Qk + 1 Q k
=

( 1) k 1
Q k + 1 Qk

4.7.
Consideremos la ecuacin ax + by = c , a,b,c, a0, b0 y mcd(a,b) = 1 entonces
Pn 1
1
= q1 +
x0 = ( 1) n Qn 1 c
1
Q
q2 +
con n 1

n
y 0 = ( 1) Pn 1 c
q3 + +

1
qn 1

es una solucin de esa ecuacin.

Demostracin

3.1.6.

Si en el resultado

n 1

se considera

k+ 1

a
, se obtiene:
b

( 1) n 2
( 1) n
a Pn 1
( 1) n
n
=

=
a Qn 1 b Pn 1 = ( 1)
Qn Q n 1 b Qn 1
b Qn 1 b Q n 1

Multiplicando la ltima expresin por c:

a Qn 1 c b Pn 1 c = ( 1) c
n

(( 1)

Qn 1 c a + ( 1)

Lo cual demuestra que una solucin inicial para la ecuacin

x = ( 1) Qn 1 c
siendo

y = ( 1) n 1 Pn 1 c
n

Lo racional no interesa

Pn 1
= q1 +
Qn 1

n 1

Pn 1 c b = ( 1)

ax + by = c

2n

c= c

es:

1
q2 +

1
q3 + +

1
qn 1

Pgina 10

(De la anterior demostracin, se observa que para hallar la solucin inicial de la ecuacin
a
diofntica ax + by = c , nicamente tenemos que calcular la diferencia n 1 y multiplicar por c)
b
A continuacin veamos dos situaciones en las que se requiere el planteamiento y la resolucin
de una ecuacin de este tipo.
Ejemplo 1: El promotor de un concierto decide establecer el precio de la entrada para la zona en
la que el pblico est de pie en 20 y el precio de las entradas numeradas de asiento en 50 . Cmo
se puede distribuir la venta de entradas si quiere recaudar 38700 ?
Planteamos la ecuacin: 20x+50y=38700 2x+5y=3870
Tiene soluciones la ecuacin? Si, ya que el m.c.d(2, 5) =1
Hallemos una primera solucin:

5
1
= 2 + ; de manera que n 1 = 2
2
2
5
1
2=
5(1)+2(2 ) =1 (multiplicando por 3870) 2(7740)+53870 = 3870
2
2

x0 = 7740
Por tanto, una de las soluciones de la ecuacin es
y 0 = 3870
x = 7740 + 5t
con t
Todas las soluciones de la ecuacin son de la forma
y = 3879 2t
Solo nos interesan las soluciones positivas, asi que:
7740
3870
7740 + 5t 0 t
1550
y
3870 2t 0 t
1930
5
2
Por tanto slo valen las soluciones que se obtienen para t entre 1550 y 1930.
Hay 380 soluciones distintas. En el contexto de nuestro problema, tres de ellas seran:
Si t = 1550 N de entradas de 20 = 10 y N de entradas de 50 = 770
Si t = 1740 N de entradas de 20 = 960 y N de entradas de 50 = 390
Si t = 1930 N de entradas de 20 = 1910 y N de entradas de 50 = 10
Ejemplo 2: Una persona compra 40 sellos por un valor total de 10 euros. Los sellos son de 10 cts,
40 cts, y 1,4 . Cuntos sellos ha comprado de cada clase?
Planteamos la ecuacin: 10x+40y+140(40 x y) = 1000
en la que x son los sellos de 10 cts, y los sellos de 40cts y 40 x y los sellos de 1,40.
10x + 40y + 140(40 x y) = 1000 10x + 40y + 14040 140x 140y = 1000
130x + 100y = 4600 13x + 10y = 460
Tiene soluciones la ecuacin? Si, ya que el m.c.d(13,10) =1
Hallemos una primera solucin:

Lo racional no interesa

Pgina 11

13
3
= 1+
= 1+
10
10

1
1
3+
3

Por lo que

n 1

= 1+

1 4
=
3 3

13 4
1
=
; 13 (3) + 10 ( 4) = 1 ; 13 ( 1380) + 10(1840) = 460
10 3
30
x = 1380

Una de las soluciones es y = 1840

z = 40 x y = 420

(Obtenemos z = 40 (1380+10t) (1840 13t) = 420 + 3t)

x = 1380 + 10t

Todas las soluciones son de la forma y = 1840 13t t

z = 420 + 3t

1380 + 10t 0 t 138

1840 13t 0 t 141
420 + 3t 0 t 140

Solo nos interesan las soluciones positivas, asi que:

y por tanto las soluciones vlidas son las que obtenemos para t = 140 y t = 141, que son:
x = 20

y = 20 y
z= 0

x = 30

y= 7
z= 3

5. TERNAS PITAGRICAS
Consideremos la ecuacin: x2 + y2 = z2.
Es obvio que esta ecuacin tiene solucin. Por ejemplo, una de ellas es la formada por los nmeros
3, 4 y 5. En realidad, una solucin de esta ecuacin est formada por las medidas de los lados de un
tringulo rectngulo, por ello las soluciones de esta ecuacin reciben el nombre de ternas pitagricas. En
el contexto de las ecuaciones diofnticas, consideraremos solamente las soluciones formadas solamente
por nmeros enteros.
En este apartado, vamos a intentar describir la forma de obtener todas las soluciones de esta
ecuacin. El proceso requiere algunos resultados previos:
5.1.
Si (x0, y0, z0) es una solucin de la ecuacin x2 + y2 = z2 y si es cualquier nmero
entero, entonces (x0, y0, z0) tambin es otra solucin de la misma ecuacin.
Demostracin

Es evidente ya que: ( x 0 ) 2 + ( y 0 ) 2 = 2 x 0 2 + y 0 2 = 2 z0 2 = ( z0 ) 2

Lo racional no interesa

Pgina 12

5.2.
Si (x0, y0, z0) es una solucin de la ecuacin x + y = z y m.c.d.(x0,y0) = d entonces
2

x0 y 0 z 0
d tambin divide a z0 y adems los nmeros enteros , , forman tambin una
d d d
solucin de esa ecuacin.

Demostracin

Podemos escribir:
x 0 = d x1
2
2
2
2
2
2
2
z 0 = x 0 + y 0 = ( dx1 ) + ( dy1 ) = d 2 x1 + y1

y 0 = d y1
d2 divide a z0 2 d divide a z0
x y
z
Por tanto los nmeros 0 , 0 y 0 son enteros y forman una nueva solucin ya
d d
d
que:
2
2
2
2
2
2
x0 + y 0
z0
x0
y0
z0
+
=
=
=

d2
d2 d
d
d

Gracias a las proposiciones anteriores, es suficiente con hallar las soluciones de la ecuacin
x 2 + y 2 = z 2 en las que los nmeros x e y sean primos entre s; a estas soluciones las denominaremos
soluciones primitivas El resto de soluciones se obtendrn sin ms que multiplicar los tres nmeros
iniciales por un mismo nmero entero.
Cmo hallar una solucin primitiva de la ecuacin x 2 + y 2 = z 2 ?
Si x,y,z y se cumple x + y = z
2

5.3.
con x e y primos entre s, es decir m.c.d.(x,y) = 1

entonces los nmeros z + y y z y tambin son primos entre s.

Demostracin
Como x e y son primos entre s uno de ellos tiene que ser impar (si los dos fueran pares no seran
primos entre s). Supongamos sin perder generalidad que x es impar. Sea = mcd( z + y , z y).

Entonces:

z + y = u

z y = v
x 2 = z 2 y 2 = ( z + y )( z y ) = u v = 2 uv
u , v , mcd (u , v) = 1 tales que

2 divide a x 2 divide a x
Por otra parte debe ser impar ya que de lo contrario x 2 = 2 uv sera mltiplo de 4 y,
por tanto, x sera par en contra de la hiptesis inicial.
Ahora restamos z + y y z y
Lo racional no interesa

Pgina 13

u v
divide a y
2
Como divide a x y divide a y y m.c.d.(x,y) = 1 , tendremos = 1
z + y ( z y) = u v 2 y = ( u v ) y =

Como x 2 = 2 uv = uv, mcd (u , v ) = 1 u y v deben ser cuadrados perfectos.

Sean u = a 2 y v = b 2 donde a y b sern tambin primos entre s.
Tenemos, pues, la ecuacin x 2 = a 2 b 2 x = a b donde a y b son primos entre s e
impares. Volviendo al sistema:

a2 + b2
z
=
2
2

z + y = u
z + y + z y = u + v 2 z = a + b
2

2
2
2
2
z y = v
z + y z + y = u v 2 y = a b
y= a b

2
Es decir:
5.4.
Si x,y,z con x e y primos entre s, las soluciones primitivas de la ecuacin
x2 + y2 = z2 vienen dadas por
x = ab

y=

a 2 b2
2

z=

a2 + b2
2

con a, b impares, primos entre s y b<a.

As hemos encontrado un mtodo para obtener infinitas ternas pitagricas. Estas infinitas ternas
ya aparecen descritas en Los Elementos de Euclides. Veamos unos ejemplos:
Ejemplos:
x = ab

3
5
7
9
11
15
15
21

3
5
7
9
11
5
15
7

1
1
1
1
1
3
1
3

Lo racional no interesa

y=

a2 b2
2
4
12
24
40
60
8
112
20

z=

a2 + b2
2
5
13
25
41
61
17
113
28

Terna
(3,4,5)
(5,12,13)
(7,24,25)
(9,40,41)
(11,60,61)
(15,8,17)
(15,112,113)
(21,20,28)

Pgina 14

6. EL LTIMO TEOREMA DE FERMAT.

Por fin se haba demostrado el ltimo teorema de Fermat [Referencia de Fermat . La noticia
sali en aquellos das de
en algn telediario y en algn peridico, cosa muy excepcional porque no
suele haber noticias relacionadas con las Matemticas. Esta historia es bastante conocida entre los
matemticos y los profesores de matemticas: Fermat estudiaba el libro Aritmtica de Diofanto y en el
margen escriba numerosas anotaciones que ampliaban lo que en su Aritmtica expona Diofanto.
Una parte de ese libro se dedicaba a las ternas pitagricas. En lenguaje actual, para qu
valores enteros de x, y, y z, se cumple que x2 + y2 = z2? Sobre ellas ya hemos hablado en el punto
anterior de este trabajo y ya sabemos que hay infinitas soluciones y cmo hallarlas.
Pero qu ocurre si se cambia el dos del exponente por un tres, por un cuatro, por un cinco,?
Fermat escribe en una de sus anotaciones que ha encontrado una demostracin maravillosa de que no
existen nmeros enteros que cumplan xn + yn = zn para n = 3, 4, 5, . pero que esa demostracin no le
cabe en ese margen (se excluye el caso xyz = 0; al decir enteros, se entiende enteros positivos). Desde
entonces hasta ningn matemtico haba podido demostrar ese resultado.
Cuius rei demonstrationem mirabilem sane detexi. Hanc marginis exiguitas
non caperet
Fermat se haba tirado un farol?
Parece que Fermat si pudo demostrar este resultado para n = 4 porque, en una de las pocas
demostraciones completas que se conservan dejadas por l, se demuestra - utilizando un mtodo
famoso: el mtodo de Fermat de descenso infinito - que el rea de un tringulo rectngulo cuyos lados
son nmeros enteros, no puede ser el cuadrado de un nmero entero y a partir de este resultado se
deduce la demostracin del ltimo teorema de Fermat para n = 4.
De todos los teoremas que Fermat dej enunciados sin demostracin los matemticos, especialmente de los siglos XVIII y XIX, fueron demostrando uno a uno todos menos ste y de ah el
sobrenombre de el ltimo.
Pronto se descubri que si el teorema de Fermat fuese cierto para n primo y n = 4, entonces
sera cierto para todos los nmeros.
En 1753 Euler [Referencia de Euler afirm haber encontrado una demostracin para el caso n
= 3. Aunque esta demostracin contena un error, relacionado con una suposicin que Euler haca con
respecto a la descomposicin en factores primos, la comunidad matemtica admite a Euler como el
autor de la demostracin para este caso.
En 1895 Dirichlet y Legendre demostraron el teorema para n = 5. Y en 1839 fue Lam el que
demostr el teorema para n = 7.
Pero fue Kummer en el 1847 el matemtico que fue capaz de pasar de los casos particulares a
un caso mas general y, gracias a la teora de los nmeros ideales que desarroll, hoy ideales sin mas,
consigui demostrar que el ltimo teorema de Fermat se cumpla para todos los exponentes primos
regulares (NOTA: hemos ledo que la mayora de los nmeros primos son primos regulares pero que la
definicin de primo regular es muy difcil y por eso no la ponemos aqu).
Posteriormente los intentos de encontrar la demostracin provocaron que surgiera, gracias a
Kummer y Dedekind sobre todo, una nueva rama de la matemtica, la geometra algebraica (estudio de
curvas y superficie a travs de objetos algebraicos. As el punto (2,3) es el punto en el que se hacen
cero los polinomios x 2, y 3). Despus, en 1983, Faltings demuestra la conjetura de Mordell (Toda

Lo racional no interesa

Pgina 15

curva racional de gnero mayor que 1 tiene, como mucho un nmero finito de puntos con coordenadas
enteras) cuya comprensin se nos escapa pero que al parecer supuso otro gran avance. El resto es
ms difcil todava. Citemos solamente algunos hechos y fechas.
En 1955 Taniyama conecta las curvas elpticas y las funciones modulares. Y este hecho es el
que propicia la aparicin del autor de la demostracin definitiva, Wiles, que era especialista en curvas
elpticas.
Ribet demuestra en 1985 la conjetura de Frey, que relaciona las curvas elpticas con el ltimo
teorema de Fermat.
Andrew Wiles [Referencia de A. Wiles anuncia en junio de 1993 que haba logrado demostrar la
conjetura de Shimura Taniyama, lo cual implicara la demostracin completa del ltimo teorema de
Fermat. Pero en diciembre tuvo que admitir un error encontrado en su demostracin. Corregir ese error,
con ayuda de otro matemtico, Taylor, que era alumno suyo, le llev otro ao y pico de trabajo.
Finalmente, en septiembre de 1994, el ltimo teorema de Fermat qued demostrado.
Y terminamos casi volviendo al punto de partida del trabajo:
La pregunta surge inevitable. El teorema est demostrado, y qu?, para qu
tanto esfuerzo intil? La respuesta es tambin inevitable. Intil?, seguro que
intil?
Capi Corrales

7. CONCLUSIONES.
Como ya dijimos en el apartado de objetivos, una de las cosas que se pretendan en este trabajo era
mostrar algunos casos de ecuaciones con soluciones enteras, y demostrar si tienen solucin y como
hallarla. No podemos alargarnos ms, tanto por falta de tiempo y espacio, como por falta de
conocimientos. Sin embargo, creemos haber conseguido dar una visin general de lo que son estas
ecuaciones, su forma y sus soluciones.
Queda demostrado, pues, la existencia (o no existencia) de soluciones en algunos de los casos mas
importantes de las ecuaciones diofnticas como son ax+by=c x2+y2=z2. Tambin, inevitablemente,
hemos hecho un repaso del proceso histrico que llevo a la demostracin del ltimo Teorema de
Fermat.
Sin embargo dejamos atrs el estudio de otro tipo de ecuaciones que tambin tienen solucin, como por
ejemplo las de la forma x2 Ay2 = 1, donde A es un entero positivo no cuadrado perfecto, y de otras que
no la tienen, por ejemplo x4 + 2y4 = z2.
Despus de 4 meses de trabajo, creemos haber conseguido los objetivos que nos propusimos al
comienzo y estamos contentos porque cada uno de nosotros ha podido aportar algo para lo que tiene
ms facilidad. No es lo mismo entender una demostracin, que redactar la parte de objetivos, o que
hacer la presentacin electrnica en formato A1. Quizs la organizacin de este concurso considere
mejor un trabajo en el que todos hagan todo, pero hemos de reconocer que nosotros no hemos podido.
Sin embargo, consideramos ms real y mas til para nuestra vida conocer nuestros puntos fuertes y
nuestras limitaciones y sacar partido de ello.

Lo racional no interesa

Pgina 16

8. DATOS BIOGRFICOS DE LOS MATEMTICOS CITADOS, POR ORDEN DE

APARICIN.
Referencia de G. H. Hardy (1877-1947). Matemtico britnico, discpulo de B Russell, con una
produccin muy extensa dedicada sobre todo al Anlisis y a la Teora de Nmeros. Colabor
fundamentalmente con Littlewood y con Ramanujan (al que junto descubri). Con el primero demostr
que existen infinitos ceros sobre la recta, lo que no demuestra la hiptesis de Riemann, pero la
reafirma. [Volver pgina 3]
Referencia de David Hilbert (1862-1943). Matemtico alemn que lider la llamada escuela
formalista frente a los matemticos que se agruparon en torno a Poincar, ms intuicionistas. Fueron
llamados formalistas e intuicionistas dependiendo de sus puntos de vista con respecto a los
fundamentos de la matemtica; tambin exista la escuela logicista, cercana a los formalistas,
encabezada por B. Russell. Hilbert, famoso por su discurso en el Congreso Internacional de Pars, dej
para la posteridad numerosos avances en teora de nmeros, lgica matemtica, ecuaciones
diferenciales y fsica matemtica sobre todo [Volver a pgina 3]
Referencia de Diofanto de Alejandra (vivi alrededor del ao 250 d.C.). Fue el mas
importante de los algebristas griego y vivi durante la llamada Edad de Plata de la matemtica griega,
tambin conocida como Edad Alejandrina Tarda . Poco mas se sabe de su vida pero de su obra mas
importante, su Arithmetica , un tratado dedicado a la resolucin exacta de ecuaciones determinadas e
indeterminadas, nos han llegado los seis primeros libros. La Arithmetica de Diofanto constaba de trece
libros y a lo largo de los seis que no se han perdido, se ve cmo Diofanto anticipa anticipa por ejemplo el
uso de abreviaturas para potencias y el uso de una letra, la letra s, para representar un nmero
desconocido. [Volver a la pgina 3]
Referencia de Yuri Matiyasevich. Matemtico ruso conocido especialmente por resolver el
dcimo problema de Hilbert. Actualmente es Director del Laboratorio de Lgica Matemtica del Instituto
Steklov de Matemticas en San Petersburgo, Director del Instituto Euler para las Matemticas, y
Profesor (en excedencia) del Computer Software en la Universidad de San Petersburgo en Rusia. En
1964 obtuvo una medalla de oro en la IMO celebrada en Mosc. [Volver a la pgina 4]
Referencia de Euclides (vivi aproximadamente entre el 335 a.C. y el 265 a.C.) Ptolomeo I le
llam para formar parte de los sabios que ensearon en la Biblioteca de Alejandra. Su obra ms famosa
es un conjunto de libros, Los Elementos, en el que se exponen en orden lgico los fundamentos de la
matemtica elemental conocida hasta entonces, es decir de aritmtica (en el sentido de teora de
nmeros), de geometra (de puntos, rectas, planos, crculos y esferas) y de lgebra (no en el sentido
moderno sino en el sentido griego de lgebra geomtrica) [Volver a la pgina 7]
Referencia de Fermat (1601 1665). Francs, abogado de carrera y magistrado de profesin,
por lo que fue apodado como el prncipe de los aficionados, reconociendo la gran pasin y los
importantes resultados matemticos que obtuvo a lo largo de su vida sin ser un matemtico de profesin.
Transmiti sus ideas por carta sin publicar sus importantes descubrimientos realizados sobre todo en el
campo de la teora de nmeros, de la probabilidad y en el clculo diferencial [Volver a la pgina 15 ]
Referencia de Euler (1707 1783). Muchos autores le describen como uno de los mayores
genios de la historia que adems plasmaba por escrito y muy rpidamente sus descubrimientos. Se le
calcula una media de 800 pginas anuales de resultados brillantes e importantes. Sus logros en partes
de la matemtica ya conocidas, como teora de nmeros, clculo, lgebra y geometra, no le impidieron
que alumbrara casi en solitario nuevas ramas de la matemtica como la topologa, sobresaliendo
tambin en Matemticas aplicadas. [Volver a la pgina 15]

Lo racional no interesa

Pgina 17

Referencia de A. Wiles (1953 ) Matemtico britnico que alcanz fama mundial cuando en
1993 en unas conferencias que pronunciaba en el Instituto Isaac Newton, de la Universidad de
Cambridge, anunci la demostracin del ltimo teorema de Fermat. Posteriormente se encontr un error
que fue subsanado en septiembre del 94. En este ao Wiles fue designado Eugene Higgins Professor of
Mathematics en Princeton. El artculo en el que prueba el ltimo Teorema de Fermat es Modular
elliptic curves and Fermat's Last Theorem y fue publicado en el Annals of Mathematics en 1995. A
partir de 1995 Wiles comenz a recibir premios y distinciones por su trabajo pero no pudo llegar a tiempo
de que se le otorgara una de las ms famosas distinciones matemticas, La medalla Field, que no se
concede a matemticos mayores de 40 aos. [Volver a la pgina 16]

BIBLIOGRAFA
Boyer, C. B. Historia de la matemtica. Ed. Alianza Universidad Textos.
Corrales, C. El ltimo teorema de Fermat S.M.P.M.Emma Castelnuovo, n 9.
Devlin, K. El lenguaje de las Matemticas. Ed MA Non Troppo, 2002.
Guelfond, A.O. Resolucin de ecuaciones en nmeros enteros. Ed. Mir, 1984
Hardy, G.H. Apologa de un matemtico. Madrid: Ed. Nivola, 1999
Faria, J. C. Los 23 problemas de Hilbert. Las matemticas del siglo XX. Una mirada en 101
artculos. Madrid: Ed. Nivola, 2000.
Poblacin Sez, Jess. Julia Robinson y el H 10 DivulgaMat. Revista virtual. Enero 2010.

ANEXO:
PROGRAMA EN PASCAL QUE PROPORCIONA TERNAS PITAGRICAS PRIMITIVAS
Adjuntamos adems un programa informtico escrito en lenguaje PASCAL que proporciona ternas
pitagricas primitivas. El programa solicita introducir un nmero impar u y devuelve todas las ternas
pitagricas primitivas de la forma:

u2 v2 u2 + v2
uv,

,
2
2

siendo v otro nmero impar menor que u y u y v primos entre s

PROGRAMA
program ternas_pitagoricas;
uses crt;
var
i, u:integer;
cont: char;
(* se programa una funcin que decida si dos nmeros enteros
son o no primos entre s *)
function primos_entre_si (n,m:integer):boolean;
Lo racional no interesa

Pgina 18

var control: boolean;

a:integer;
begin
control:=true;
if n=m then control:=false;
if n<m then
begin
for a:=2 to n do
if (n mod a=0) and (m mod a=0) then control:=false;
end;
if n>m then
begin
for a:=2 to m do
if (n mod a=0) and (m mod a=0) then control:=false;
end;
primos_entre_si:=control;
end;
begin
clrscr;
(*Se solicita un nmero impar*)
write ('Introduce un nmero entero impar mayor que 1: ');
readln (u);
while ((u mod 2=0) or (u=1)) do
begin
write ('El nmero introducido no es correcto. Por favor introduce otro: ');
readln (u);
end;
clrscr;
(*Se escribe todas las ternas pitagricas que contienen
al nmero solicitado*)
writeln ('
TERNAS PITAGRICAS PRIMITIVAS (con base u=',u,')');
writeln;
for i:=1 to u-2 do
begin
if i=1 then
writeln (u,' ',(u*u-1)/2:0:0, ' ',(u*u+1)/2:0:0);
if ( (i>1) and (i mod 2=1) and (primos_entre_si(u,i)=true) ) then
begin
writeln (u*i,' ',(u*u-i*i)/2:0:0, ' ', (u*u+i*i)/2:0:0);
end;
end;
writeln;
writeln ('Nota: tomando como base estas ternas primitivas,');
writeln('se pueden obtener otras sin ms que multiplicar los');
writeln('tres nmeros que las forman por un mismo nmero.');
Lo racional no interesa

Pgina 19

(*Se pregunta si se quieren ms ternas*)

writeln;
writeln;
writeln ('
Quieres ms ternas?');
writeln;
writeln( '
MENU:');
writeln ('
S (S)');
writeln ('
SALIR (Z)');
readln(cont);
while (cont='s') or (cont='S') do
begin
clrscr;
(*Se solicita un nmero impar*)
write ('Introduce un nmero entero impar mayor que 1: ');
readln (u);
while ((u mod 2=0) or (u=1)) do
begin
write ('El nmero introducido no es correcto. Por favor introduce otro: ');
readln (u);
end;
(*Se escribe todas las ternas pitagricas que contienen
al nmero solicitado*)
writeln ('
TERNAS PITAGRICAS PRIMITIVAS (con base u=',u,')');
writeln;
writeln (u,' ',(u*u-1)/2:0:0, ' ', (u*u+1)/2:0:0);
for i:=3 to u-2 do
begin
if (((i mod 2=1) and (primos_entre_si(u,i)=true))) then
begin
writeln (u*i,' ',(u*u-i*i)/2:0:0, ' ', (u*u+i*i)/2:0:0);
end;
end;
writeln;
writeln ('Nota: tomando como base estas ternas primitivas,');
writeln('se pueden obtener otras sin ms que multiplicar los');
writeln('tres nmeros que las forman por un mismo nmero.');
(*Se pregunta si se quieren ms ternas*)
writeln;
writeln;
writeln ('
Quieres obtener ms ternas?');
writeln;
writeln( '
MENU:');
writeln ('
S (S)');
writeln ('
SALIR (Z)');
readln(cont);
end;
end.

Lo racional no interesa

Pgina 20