UNIVERSIDAD DE PANAM

FACULTAD DE CIENCIAS NATURALES, EXACTAS Y TECNOLOGA

ESCUELA DE MATEMTICA

ECUACIONES DIOFANTINAS

PREPARADO POR:
SAMUEL PREZ DENIS
8 767 1788

MONOGRAFA PARA OPTAR

AL TTULO DE LICENCIADO
EN MATEMTICA.

CIUDAD UNIVERSITARIA, OCTAVIO MENDEZ PEREIRA

PANAM, 2011

NDICE GENERAL
Dedicatoria..4
Agradecimiento...5
Introduccin6

CAPTULO 1. HISTORIA SOBRE ECUACIONES DIOFNTICAS.7

1.1 Introduccin Histrica...8
1.2 Biografa de Diofanto de Alejandra...11

CAPTULO 2. ECUACIONES DIOFNTICAS..14

2.1 Generalidades..15
2.2 Solucin de una ecuacin diofntica lineal con dos incgnitas..15
2.3 Ecuaciones Diofnticas Cuadrticas...21
2.4 Ecuaciones de la forma

x y =a

....22
2.5 La ecuacin

x 2+ y 2 =z2 ..23

2.6 Ecuaciones de la forma

y 2=x 3 +a .24

2.7 Ecuaciones de la forma

x n+ y n=z n ...24

2.8 Ecuaciones de la forma

x=dy 2 +1 .24

CAPTULO 3. APLICACIONES DE ECUACIONES DIOFNTICAS...26

3.1 Compra de una bufanda..27
3.2 Una revisin en la tienda.31
3.3 Compra de sellos de correos34
3.4 Compra de frutas.36
3.5 Adivinar el da del nacimiento37
Conclusiones..40
Recomendaciones..41
Bibliografa....42

DEDICATORIA
Dedico con todo mi amor este trabajo a mi madre Enith Denis Patio y a mi padre Egidio
Prez, quien en el continuo esfuerzo de cada da, me concedi una educacin y con sus
consejos me inspiraron a superarme en momentos de mis flaquezas.

AGRADECIMIENTO

Agradezco primeramente a Dios por darme salud y sabidura, y por darme fuerzas,
una vez ms, para alcanzar una de mis tantas metas.
De igual manera le doy gracias a mis padres por el apoyo incondicional que me han
ofrecido siempre.
As mismo le doy gracias al profesor Jaime Gutirrez por el tiempo que me ha brindado
para la buena realizacin de este trabajo.

INTRODUCCIN
Supongamos que se te pide que des las soluciones de la ecuacin

seguramente dirs que es un problema muy sencillo, que la solucin es

donde

3 x+14 y=20 ;

y=

203 x
,
14

puede tomar cualquier valor. Otra cuestin mucho menos obvia es que halles

las soluciones con

enteros. Este tipo de ecuaciones, cuyas soluciones se

exigen que tomen valores enteros, o ms en general valores racionales, es lo que se

conocen como ecuaciones diofnticas, en honor a Diofanto, matemtico griego del ao
275 que las estudi extensivamente y dio soluciones a algunas de ellas. La teora de las
ecuaciones diofnticas ha llegado con el tiempo a contarse entre las ms bellas y difciles
reas de las matemticas; tanto es as que el gran matemtico y fsico Gauss lleg a decir
que la Matemtica es la reina de las ciencias y la Aritmtica (llamada modernamente
Teora de Nmeros) es la reina de las matemticas.
En este trabajo menciono algunas ecuaciones diofantinas, algunas de ellas muy
conocidas como el ltimo teorema de Fermat, hablar de ella estaramos hablando de
desarrollar otro trabajo ms como ste. En el ltimo captulo de este trabajo se puede
hallar algunas aplicaciones de las ecuaciones diofantinas, resueltas con sumo cuidado,
para que as sea de fcil comprensin para el lector. Las ecuaciones Diofantinas caen
dentro del marco de la teora de nmeros y de hecho es sta la disciplina encargada de
estudiarla.
Este trabajo ha sido realizado como alternativa de trabajo de graduacin para
obtener el ttulo de Licenciatura en Matemticas de la Universidad de Panam.

La Teora de nmeros como las otras ramas de la Matemtica comprende una gran
cantidad de temas que resulta de inters para aquellos que estudian matemtica.

CAPTULO 1.
HISTORIA SOBRE ECUACIONES DIOFNTICAS

1.1 INTRODUCCIN HISTRICA

Los matemticos en la India se interesaron en encontrar soluciones enteras a las

ecuaciones diofnticas desde la poca de los Vedas. El primer uso geomtrico de las
ecuaciones diofnticas se remonta a los Shulba Sutras, los cuales fueron escritos entre los
siglos VIII y VI a. C. Baudhayana (s. VII a. C.) encontr dos conjuntos de enteros
positivos a un conjunto de ecuaciones diofnticas simultneas, y tambin se usan
ecuaciones diofnticas simultneas con ms de cuatro incgnitas. Apastamba (s. VI a. C.)
usaba ecuaciones diofnticas simultneas con ms de cinco incgnitas.
La Teora de nmeros fue una de las disciplinas de estudio favoritas entre los
matemticos griegos de Alejandra, Egipto a partir del siglo III a. C., quienes tenan
conciencia del concepto de ecuacin diofntica en sus casos particulares. El primer
matemtico helenstico que estudi estas ecuaciones fue Diofanto.
Este tipo de ecuaciones se conoce, en matemticas, desde muy antiguo, pero fue tras
la obra del matemtico griego Diofanto de Alejandra (siglo III d.C.: 210 - 290) que
comenzaron a llamarse Ecuaciones Diofantinas. Se trata de Aritmtica, un tratado de 13
libros del que slo se conocen los seis primeros. Fue encontrado en Venecia por Johann
Mller (Regiomontanus, matemtico y astrnomo alemn), hacia 1464. Esta obra de
Diofanto fue preservada por los rabes y traducida al latn en el siglo XVI. Desde
entonces, muchos matemticos han realizado diversos tipos de solucin de las ecuaciones
Diofantinas.

Dentro de tal grupo de matemticos puede citarse a: Bhaskara, Fermat, Lagrange,

Euler, Hilbert, Gauss, Thue, Baker, Peano, Pell, cuyos aportes han jalonado no slo el
campo de las ecuaciones Diofantinas sino tambin el de otras reas de las matemticas.
Diofanto investig un mtodo para encontrar las soluciones enteras para las
ecuaciones lineales indeterminadas, ecuaciones en las que falta informacin suficiente
para producir un conjunto nico de respuestas discretas. La ecuacin

x+ y=5

es un

ejemplo de ellas. Diofanto descubri que muchas ecuaciones indeterminadas pueden ser
reducidas a una forma en donde cierta categora de soluciones son conocidas, incluso a
travs de una solucin que no lo es.
Diofanto conoci y emple los nmeros negativos y a l se atribuye la norma emprica de
menos por menos da ms, y menos por ms da menos, aplicada en Aritmtica y en
lgebra moderna. Sin embargo la notacin algebraica de Diofanto fue sustituida ms
tarde, en el siglo XVII, por la que propuso el matemtico francs Francois Viete (1540 1603), que es la que se sigue actualmente. Sobre las ecuaciones Diofantinas de orden 2 y
superiores se han realizado prolijos estudios, algunos de los cuales son:
Solucin de la ecuacin cuadrtica diofantina

A x2 + Bxy+ C y 2+ Dx+ Ey+ F=0

para

la cual Lagrange en 1769 encontr un algoritmo completo.

Ecuacin de Pell. Es un caso especial de la ecuacin cuadrtica diofantina de la forma
x 2D y 2=N , donde

es un entero positivo que no es un cuadrado,

es un

entero diferente de cero. Para el caso general de la ecuacin de Pell (cualquier) hay por lo
menos cinco buenos mtodos de solucin: 1. Bsqueda de Fuerza Bruta, que es la base
de los otros mtodos; 2. El algoritmo de Lagrange-Matthews-Mollin (LMM); 3. Sistema
de reducciones de Lagrange; 4. El mtodo cclico; 5. El uso de formas cuadrticas
binarias.
Dificultades en la elaboracin de un algoritmo para resolver ecuaciones Diofantinas.

10

Un ejercicio consistente en analizar una ecuacin Diofantina desde diversas

perspectivas:

x +7=8 p

, con

p primo.

Qu es el Mtodo del descenso Infinito? (propuesto por Lagrange).

El problema multigrados Tarry-Escott: dado un entero positivo n, hallar dos conjuntos
de enteros

a1 , , ar

b1 , , br

, con

tan pequeo como sea posible, tal que

suma(a j )k =suma(b j) k , para k =1,2, , n . Conjetura r=n+1 para todo n .

El problema multigrados (hallar conjuntos de enteros cuyas sumas sean iguales; sumas
de cuadrados, sumas de cubos,...).
Nueva solucin del problema Prouhet-Tarry-Escott para k=11; otras restricciones.
Sugerido por el ordenamiento de nmeros en un torneo de baloncesto: resolver
ab=c +d , cd=a+ b

en enteros.

El rompecabezas Times: Hallar soluciones racionales

x 3+ y3 =6 . (Una curva

elptica).
Cuestiones relativas a una conjetura de Erds: que
todo nmero natural
Soluciones para

4 1 1 1
= + +
n x y z

n .
a6 +5 a 4 b+6 a 2 b 2+b 3=1

en enteros.

Generar todas (pequeas) ternas Pitagricas.

Tringulos enteros con un ngulo de 120 grados.

tiene solucin para

11

Teorema de Runges: lmite en el nmero de soluciones para ciertas ecuaciones

Diofantinas en dos variables.
Un par de ecuaciones se convierten en una sola ecuacin en enteros Gaussianos.
Ecuacin de Fermat.
x n+ d y n =c : Ecuacin de Thue.

Resolver

Ecuaciones Diofantinas Exponenciales.

Completa parametrizacin de la superficie cbica de Fermat:

w 3+ x 3 + y 3 + z 3=0 . Este

es un famoso problema Diofantino.

Las ecuaciones diofantinas fueron estudiadas de manera intensiva por los
matemticos hindes medievales, quienes fueron los primeros en buscar sistemticamente
mtodos para la determinacin de soluciones enteras. Aryabhata en el ao 499 da la
primera descripcin explcita de la solucin entera general de la ecuacin diofantina lineal
ax +by=c

la cual aparece en su texto Aryabhatiya. El algoritmo kuttaka es

considerado como una de las contribuciones ms significativas de Aryabhata en las

matemticas puras, el cual encuentra las soluciones enteras de un sistema de ecuaciones
diofantinas lineales, un problema de importante aplicacin en la astronoma. Tambin
encuentra la solucin general de la ecuacin lineal indeterminada utilizando este mtodo.
Brahmagupta trabaja en 628 las ecuaciones diofantinas ms difciles. Utiliza el
mtodo chakravala para resolver las ecuaciones diofantinas cuadrticas, incluyendo
aquellas de la forma de la ecuacin de Pell tal que

61 x +1= y

. Su Brahma Sphuta

Siddhanta fue traducido al rabe en 773 y al latn en 1126. La ecuacin

61 x +1= y

fue propuesta como un problema por el matemtico francs Pierre de Fermat. La solucin
general de esta forma particular de la ecuacin de Pell fue encontrada 70 aos ms tarde
por Leonhard Euler, aunque la solucin general de la ecuacin de Pell fue encontrada 100

12

aos ms tarde por Joseph-Louis de Lagrange en 1767. Sin embargo, varios siglos antes,
la ecuacin de Pell fue trabajada por Bhaskara II en 1150 utilizando una versin
modificada del mtodo chakravala de Brahmagupta, encontrando la solucin general de
otras ecuaciones cuadrticas intermedias indeterminadas y ecuaciones diofnticas
cuadrticas. El mtodo chakravala para encontrar la solucin general de la ecuacin de
Pell era ms simple que el mtodo utilizado por Lagrange 600 aos ms tarde. Bhaskara
encuentra tambin la solucin de otras ecuaciones cuadrticas indeterminadas, cbicas,
curticas y polinmicas de mayores grados. Narayana Pandit perfeccion an ms las
dems cuadrticas indeterminadas para las ecuaciones de grados superiores.

1.2 BIOGRAFA DE DIOFANTO DE ALEJANDRA

Diofanto, a menudo conocido como el padre del algebra, es mejor conocido por su
Aritmtica, un trabajo sobre la solucin de ecuaciones algebraicas y sobre la teora de los
nmeros.
Nacimiento: alrededor del 200 d.C.
Muri: alrededor del 284 d.C.
Diofanto de Alejandra fue un matemtico griego del ltimo periodo alejandrino
tardo. Sus mayores logros fueron de carcter eminentemente geomtricos. Durante este
periodo, cuando la ciencia griega y la filosofa como un todo estaba en decadencia, con
esta su matemtica y los mtodos algebraicos ocuparon un primer plano. Po este tiempo
Diofanto, el ms reconocido exponente del lgebra griega, vivi en Alejandra.
Prcticamente no se conoce nada sobre su vida y ha existido mucho debate respecto de la
fecha en que vivi.
Existe una coleccin de problemas griegos escritos en forma potica, la Antologa
Palatina, que fue probablemente compilada en la primera centuria despus de la muerte

13

de Diofanto. Contiene ciertos problemas que pueden ser resueltos mediante ecuaciones.
Entre ellos se encuentra el siguiente que contiene toda la informacin acerca de Diofanto.
Aqu ves la tumba que contiene los restos de Diofanto, se pude notar:
ingeniosamente se cuenta la medida de su vida. Su niez ocup la sexta parte de su vida.
Despus, durante la doceava parte se le creci la barba. Pas an una sptima parte de
su vida antes de tomar esposa, y en el quinto ao fue padre. Elas, su hijo, un querido
pero desafortunado nio, vivi la mitad de la edad de su padre, pereci de una muerte
desgraciada. Su padre tuvo que sobrevivirle, llorndole, durante cuatro aos. De todo
esto se deduce su edad.
x x x
x
+ + +5+ +4=x donde x es laedad que vivi Diofanto
6 12 7
2
De modo que se cas a la edad de 26 y tuvo un hijo que muri a la edad de 42, aos
antes de que el propio Diofanto muriese a la edad de 84 aos.
El matemtico alejandrino debe su renombre a su obra Aritmtica. La Aritmtica es
una coleccin de 130 problemas dando soluciones numricas de determinadas ecuaciones
(sas con una solucin nica) y de ecuaciones indeterminadas. El mtodo para resolver
estas ltimas es conocido como el anlisis Diofantino.
En esta obra realiza sus estudios de ecuaciones con variables que tienen un valor racional
(ecuaciones diofnticas), aunque no es una obra de carcter terico sino una coleccin de
problemas. Importante fue tambin su contribucin en el campo de la notacin; si bien los
smbolos empleados por Diofanto no son como los concebimos actualmente, introdujo
importantes novedades como el empleo de un smbolo nico para la variable desconocida
y para la sustraccin, aunque conserv las abreviaturas para las potencias de la incgnita.
Se cree que slo seis de los 13 libros originales se conservaron y tambin se cree que los
otros deben haberse perdido muy pronto despus de haber sido escritos. Existen muchas
traducciones arbigas, por ejemplo de Abu'l-Wafa, pero nicamente el material de estos
seis libros apareci.

14

Sin embargo, un manuscrito en rabe en la biblioteca Astan-i Quds (La biblioteca del
Templo Sagrado) en Meshed, Irn lleva un ttulo reivindicando y que es una traduccin
hecha por Qusta ibn Luqa, quien muri en el ao 912, de los libros IV al VII de
Aritmtica de Diofanto de Alejandra. F Sezgin hizo este notable descubrimiento en 1968.
Rashed compara los cuatro libros en esta traduccin al rabe con los seis libros Griegos
conocidos y sostiene que este texto es una traduccin de los libros perdidos de Diofanto.
La traduccin latina ms famosa de la Aritmtica de Diofanto se debe a Bachet en
1621, edicin reimpresa con posterioridad en 1670 por el hijo de Pierre de Fermat
incluyendo los comentarios que el clebre matemtico francs haba realizado en los
mrgenes de un ejemplar de la edicin de Bachet que posea. En una de dichas
anotaciones se expona, sin demostracin, el ltimo teorema de Fermat. En el precioso
ejemplar de la edicin de Bachet que Fermat posea l dijo "haber encontrado una gran
luz."

CAPTULO 2.

15

ECUACIONES DIOFNTICAS

2. ECUACIONES DIOFNTICAS

2.1 Generalidades
Como se dijo anteriormente, estas ecuaciones reciben este nombre en honor a
Diofanto, matemtico que trabaj en Alejandra a mediados del siglo III a.C. Fue uno de

16

los primeros en introducir la notacin simblica en matemtica y escribi seis libros sobre
problemas en las que consideraba la representacin de nmeros anterior como suma de
cuadrados.
2.1.1 Definicin
Una ecuacin diofntica tiene la forma general
a1 x1 + a2 x 2 ++a n x n=b
donde

a1 , a2 , , an

son enteros y se exige soluciones tambin enteras.

La ecuacin diofntica ms simple es la ecuacin diofntica lineal con dos incgnitas,

ax +by=c

donde a y b son enteros dados, no ambos cero.

2.2 Solucin de una Ecuacin Diofntica Lineal con dos incgnitas

Veremos un teorema que nos permite saber cundo una ecuacin de este tipo tiene
solucin y aporta un mtodo para calcular una solucin particular de la misma.
2.2.1 Solucin Particular de una Ecuacin Diofntica Lineal con 2 Incgnitas

Sean

a,b y c

tres nmeros enteros. La ecuacin lineal

ax +by=c

entera si, y slo si el mximo comn divisor de a y b divide a

tiene solucin

c .

Demostracin
Supongamos que los enteros
ax +by=c , es decir,

ax 0 +by 0=c

x0

y0

son soluciones de la ecuacin

. Pues bien, si d=m. c . d .(a , b) , entonces

d=m. c . d .(a , b) d a

d |b d|(a x 0 +b y 0 ) dc

Recprocamente, supongamos que d=m. c . d .(a , b) es divisor de c . Entonces,

17

m. c . d . ( a , b )=d m .c . d .

( da , bd )=1
p,qZ:

a
b
p+ q=1
d
d

cp
cq
a d +b d =c
Siendo c/d entero ya que, por hiptesis, d es divisor de c. Ahora bastara tomar
x 0=

cp
d

y 0=

cq
d

y tendramos que
a x 0+ by 0=c
es decir los enteros

x0

y0

son soluciones de la ecuacin.

La solucin encontrada se llamar Solucin Particular del sistema.

Obsrvese que este teorema adems de asegurar la existencia de solucin para una
ecuacin de este tipo, ofrece un mtodo para calcularla. El siguiente ejemplo aclarar
estas cuestiones.
Ejemplo 2.1

Encontrar una solucin para la ecuacin diofntica

525 x+100 y=50

Solucin
- Veamos si existe solucin entera para la ecuacin.
Calculamos el mximo comn divisor de 525 y 100 mediante el algoritmo de Euclides
525 = 5(100) + 25
100 = 4(25) + 0
Es decir,
m.c.d. (525, 100)= 25

18

y como 25 divide a 50, el teorema anterior asegura la existencia de solucin entera para la
ecuacin.
- Calculamos una solucin para la ecuacin.
Siguiendo el mtodo indicado en la demostracin del teorema, hallamos los coeficientes
de la combinacin lineal del mximo comn divisor de 525 y 100. Bastara seguir el
algoritmo de Euclides hacia atrs.
25= 1(525) + (-5)100

Por tanto, los coeficientes buscados son

p=1

q=5

y segn el citado teorema

una solucin para la ecuacin sera

x 0=

Donde c

cp
d

y 0=

cq
d

es el trmino independiente de la ecuacin y d

de los coeficientes de

x 0=

x e

50 ( 1 )
=2
25

el mximo comn divisor

y . Consecuentemente,

y 0=

50 (5 )
=10
25

2.2.2 Solucin General de una Ecuacin Diofntica Lineal con 2 Incgnitas

Sean

a,b y

tres nmeros enteros no nulos tales que el mximo comn divisor de

a y b divide a c . Entonces la solucin general de la ecuacin ax +by=c

es

19

x=x 0+ k .

b
d

y= y 0 k .

Donde

x0

y0

a
d

es una solucin particular de la misma y k es cualquier nmero

entero.

Demostracin
Sea

el mximo comn divisor de

b . Por hiptesis

luego el teorema 2.3.1 asegura la existencia de una solucin particular

divide a

x=x 0 e y= y 0

para el sistema. Entonces,

ax 0 +by 0=c
Dividiendo ahora ambos miembros de esta ecuacin por el mximo comn divisor de
a y b , tendremos,
a
b
c
x 0+ y 0 =
d
d
d

Siendo

c
d

entero y

a b
,
d d

nmeros enteros primos entre s, luego el mximo comn

divisor de ambos es 1 y como 1 divide a

una solucin particular

x1, y1

c
d , el teorema 2.3.1 asegura la existencia de

para esta ecuacin, luego

20

a
b
c
x1 + y 1=
d
d
d
Pues bien,

a
b
c
x1 + y 1=
d
d
d a x x + b y y =0
(
) (
)
d 1 0 d 1 0
a
b
c
x 0 + y 0=
d
d
d
a
b
x 1x 0 )= ( y 0 y 1 )
(
d
d

b a
(x x )
d d 1 0

b
d

Y al ser

primo con

a
d , dividir a

x 1x 0

, luego

b
b
b
x 1x 0
k Z : x1x 0 =k . x 1=x 0+ k .

d
d
d

Sustituimos el valor de

x 1x 0

x
b
( 1x 0 )+ ( y 1 y 0 )=0
d
en
a

y resulta

a
b b
a
a
. k . + ( y 1 y 0 )=0 . k + y 1 y 0 =0 y1 = y 0k .
d
d d
d
d

Veamos, finalmente, que

En efecto,

x1

y1

es solucin de la ecuacin ax +by=c .

21

ax 1+ by 1=a x0 + k .

b
a
+b ( y 0+ k . )
d
d

b
a
ax 0 +a . k . + by 0b . k .
d
d
ax 0 +by 0
c
luego,
x=x 0+ k .

b
d

y= y 0 k .

a
d

es solucin de la ecuacin

ax +by=c

cualquiera que sea

Solucin General de dicha ecuacin.

Nota: En el ejemplo anterior, tenamos que
x 0=2 e y 0=10
era una solucin particular para la ecuacin
525 x+100 y=50
luego una solucin general de la misma ser:
x=2+k .

100
=2+ 4 k
25

k Z . La llamaremos

22

y=10k .

525
=1021 k
25

siendo k cualquier nmero entero.

Ejemplo 2.2

Calcular las soluciones enteras de la ecuacin diofntica

66 x+ 550 y =88.
Solucin
66 x+ 550 y =88

- Veamos si la ecuacin admite solucin entera.

Calculamos el mximo comn divisor de 66 y 550 por el algoritmo de Euclides.
550 = 8(66) + 22
66 = 3(22) + 0
luego,
m.c.d. (66, 550) = 22
y como 22 divide a 88, trmino independiente de la ecuacin, por el teorema 2.2.1 se
sigue que la ecuacin propuesta admite una solucin particular
- Calculamos esta solucin particular.
Volviendo hacia atrs en el algoritmo de Euclides, tendremos
22 = (-8) (66) + (1) (550)
luego,
x 0=

88 (8 )
=32
22

x=x 0 , y = y 0 .

23

y 0=

88 ( 1 )
=4
22

es una solucin particular de la ecuacin.

- Calculemos ahora la solucin general.
Segn lo visto en el teorema 2.2.2 si una solucin particular de la misma es
x 0=32

y 0=4

, entonces la solucin general es:

x=32+ k .

550
=32+25 k
22

y=4k .

siendo k

66
=43 k
22

cualquier nmero entero.

2.3 Ecuaciones Diofnticas Cuadrticas

Las ecuaciones diofnticas cuadrticas se encuentran, por ejemplo en problemas
tales como el siguiente: Encuentre un entero

tal que sea posible expresar, mediante

una ecuacin cuadrtica factorizable en el sentido del lgebra elemental; esto es

mediante una ecuacin de segundo grado cuyas races sean nmeros racionales, la
siguiente ecuacin
1
b
+
=1.
x1 x4
Simplificando tenemos
x 2x ( 6+ b ) +b+ 8=0.

24

Si se pide que esta ecuacin tenga soluciones racionales, su discriminante debe ser un
cuadrado perfecto, es decir, para algn entero s ,
s 2=b 2+ 8 b+4=( b +4 )212.
Por tanto necesitamos resolver en trminos de b la ecuacin diofntica
2

12=( b+ 4 ) s

En consecuencia, un factor de 12 debe ser b+4+ s y el otro, b+ 4s

En smbolos,
r=b+4 +s

t=b+ 4s

donde

rt=12 . Por tanto,

r +t=2(b+ 4)

rt=2 s .

Debido a que el factor 2

aparece en el segundo miembro en ambas ecuaciones, sta pueden resolverse en trminos

de los enteros b y s, si y slo si, r y t son pares ambos, o ambos impares. Ya que al
intercambiar r y t no cambia b, podemos escoger a r como menor que t en valor absoluto
y tener los siguientes pares de valores posibles para r y t:
r= 1, t=12 ; r= 2, t=6 ; r = 3,t= 4
Sin embargo, r y t deben tener la misma paridad y, por tanto, los nicos valores por
considerarse son:
r=2, t=6
que darn

r=2, t=6,

25

b=0

b=8 .

x y =a

2.4 Ecuaciones de la forma

Como

2
2
x y =( x+ y )(x y ) . La ecuacin queda ( x+ y )( x y ) =a .

Ahora hacemos a=bc ,

y c

deben ser ambos pares o ambos impares, pues la

suma de dos nmeros y su diferencia son ambas pares o ambas impares. Entonces
x+ y=b

x y=c
Resolviendo el sistema se obtiene:
x=

y=

b+c
2

bc
2

2.5 La Ecuacin

x + y =z

Supondremos

x , y , z primos entre s ya que si x , y , z

tambin lo es

ax , ay , az para cualquier

solucin hay infinitas.

es solucin de la ecuacin

a . De ah se deduce que encontrada una

26

Suponemos

impar, lo podemos hacer ya que al ser

x, y ,z

primos entre s no

puede haber dos pares.

Transformamos la ecuacin en
z 2 y 2=x 2

Como
z 2 y 2=( z + y )( z y )

( z+ y )( z y ) =x2

El problema se reduce a descomponer

s. Sean u y v

x como producto de dos nmeros primos entre

estos nmeros

( z+ y )( z y ) =u2 v 2

obtenemos
u2v 2
u 2+ v 2
y=
, z=
2
2

Son dos soluciones enteras puesto que la suma y la diferencia de dos impares es un
nmero par.
2.6 Ecuaciones de la forma

y 2=x 3 +a

Esta ecuacin con a , nmero natural, se llama ecuacin de Louis Mordell.

27

Con a cualquier nmero natural.

Su representacin grfica es una curva elptica en el plano Real. Para cada

posee un

nmero finito de soluciones enteras.

2.7 Ecuaciones de la forma

La ecuacin

x n+ y n=z n

x n+ y n=z n no tiene solucin para n>3 , siendo n un nmero entero.

Expresado en palabras significa que un cubo no se puede expresar como suma de dos
cubos, y ninguna potencia mayor o igual que tres se puede expresar como suma de otras
dos similares.
Este teorema estuvo sin demostrar durante ms de trescientos aos, aunque Fermat anot
en el margen del libro de Aritmtica de la edicin de Bachet "Para esto he descubierto una
demostracin verdaderamente maravillosa, pero el margen de ste libro es demasiado
pequeo para contenerla...". Nadie encontr esa demostracin y se dud de su existencia.
El intento por demostrar ste teorema ocasion una evolucin de las matemticas.
Finalmente en 1993 Andrew Wiles demostr el teorema relacionndolo con las curvas
elpticas modulares, en un manuscrito de doscientos folios.

2.8

Ecuaciones de la forma

x=dy 2 +1

Esta ecuacin, con d un nmero natural mayor que cero, se llama ecuacin de John Pell,
aunque fue Lagrange quien resolvi la ecuacin.

28

Lagrange demostr que la ensima solucin

( x n , y n ) se puede expresar en trminos de

la primera de esta forma:

n

x n+ y n d=( x 1+ y 1 d)

Resolver la ecuacin de Pell significa encontrar

x1

y1

2.8.1 Fracciones Continas

Definicin: Una funcin contina es una fraccin escrita en la forma
a1 +

b1
b2
a2 +
b3
a3 +
b4
a4 +
a5 .
con ai 0,i=2,3,
ai , bi Z

Si los

ai

son enteros positivos y

se llama Fraccin Contina Simple.

Ejemplo:
5
2
1
1
=1+ =1+ =1+
2
3
3
1
1+
2
2

bi=1

para todo

i=1,

entonces la fraccin

29

17
3
1
1
=2+ =2+ =2+
7
7
7
1
2+
3
3

CAPTULO 3.
APLICACIONES DE ECUACIONES DIOFNTICAS

30

3. Aplicaciones de Ecuaciones Diofnticas

3.1 Compra de una bufanda

Una bufanda cuesta 19 rublos, pero el comprador no tiene ms que billetes de tres
rublos; y la cajera, slo de cinco. Puede en estas condiciones abonarse el importe de la
compra, y cmo hacerlo?
La misin de este problema se reduce a saber cuntos billetes de tres rublos deben
entregarse a la cajera para que ella d las vueltas con billetes de cinco, cobrando los 19
rublos. Las incgnitas del problema son dos: el nmero de billetes de tres rublos (x) y el
nmero de billetes de cinco (y). Slo puede plantearse una ecuacin:
3 x5 y=19
Aunque una ecuacin con dos incgnitas tiene infinidad de soluciones, esto no quiere
decir que entre ellas haya alguna en las que

sean nmeros enteros y positivos

(recordemos que se trata del nmero de billetes de banco). He aqu por qu el lgebra ha
elaborado el mtodo de solucin de estas ecuaciones "indeterminadas". El mrito de
haberlas introducido en el lgebra pertenece al primer sabio europeo que cultiv esta
ciencia, a Diofanto, clebre matemtico de la antigedad, por lo que estas ecuaciones se
llaman con frecuencia "ecuaciones de Diofanto".
Solucin

31

En el ejemplo citado mostremos cmo deben resolverse tales ecuaciones. Hay que hallar
el valor de

x y de

en la ecuacin

3 x5 y=19

sin olvidar que tanto

como

son nmeros enteros y positivos. Despejando la

incgnita cuyo coeficiente es menor, es decir, 3 x tendremos:

3 x=19+5 y
de donde
x=

19+ 5 y
1+2 y
=6+ y +
3
3

Como

x ,

caso de que

1+2 y
3

son nmeros enteros, la ecuacin puede ser acertada slo en el

sea tambin un nmero entero. Expresmosle con la letra

Entonces
x=6+ y +t ,

donde
t=

1+2 y
3

y, por tanto,
3 t=1+ 2 y 2 y =3 t1.

De la ltima ecuacin despejaremos la

t .

32

y=

3 t1
t1
=t +
2
2

Comoquiera que
t1

son nmeros enteros,

t1
2 debe ser un nmero entero

. Por consiguiente,

y=t +t 1
y, adems,
t1 =

t1
2

de donde
2t 1=t1
t=2 t 1 +1 .
Sustituyamos el valor de

t=2 t 1 +1

en las igualdades anteriores:

y=t +t 1=2t 1 +1+t 1 =3t 1 +1

x=6+ y +t=6 + ( 3 t 1 +1 ) + ( 2t 1+ 1 )=8+5 t 1

De esta forma hemos encontrado la expresin para

x=8+5 t 1
y=1+3 t 1

y para

33

Es sabido que

son enteros y adems positivos, es decir, mayores que 0; por

lo tanto,
8+5 t 1> 0
1+3 t 1 >0
De estas desigualdades resulta que
5 t 1 >8

3 t 1 >1

t1

Con esto el valor

t1

t1 >

8
5

t1 >

1
3

est acotado.

De aqu que la magnitud

Ms, como

t1

1
3 , (y claro, mucho mayor que

es mayor que

8
5 ).

es un nmero entero, se deduce que puede tener tan slo los siguientes

valores:
t 1 =0,1, 2, 3, 4,

Los valores correspondientes de

x y de

son:

x=8+5 t 1=8, 13,18, 23,

y=1+3 t 1=1, 4,7, 10,
Veamos ahora de qu manera puede efectuarse el pago: o bien se entregan 8 billetes de 3
rublos, recibiendo de vuelta uno de cinco:

34

( 8 ) ( 3 )5=19
o se entregan 13 billetes de 3 rublos, recibiendo de vuelta 4 billetes de 5 rublos:
(13)(3) (4) (5)= 19
Tericamente, este problema tiene infinidad de soluciones, pero en la prctica su nmero
es limitado, por cuanto ni el comprador, ni la cajera tienen una cantidad ilimitada de
billetes de banco. Si cada uno dispone, por ejemplo, de 10 billetes, el pago puede
efectuarse slo de una forma: entregando 8 billetes de 3 y recibiendo uno de 5. Como
vemos, en la prctica las ecuaciones indeterminadas pueden dar soluciones determinadas.
Volviendo a nuestro problema, proponemos al lector que, en calidad de ejercicio, resuelva
por su cuenta una de las variantes: concretamente, examinar el caso en que el comprador
no tenga ms que billetes de 5 rublos, y la cajera, slo de 3. En este caso aparecen las
siguientes soluciones:
x = 5, 8, 11,....
y = 2, 7, 12,....
En efecto,
5 * 5 - 2 * 3 = 19
8 * 5 - 7 * 3 = 19
11 * 5 - 12 * 3 = 19
Podramos obtener tambin estos resultados al tomar las soluciones del problema central
mediante un sencillo procedimiento algebraico. Puesto que entregar billetes de cinco
rublos y recibir de tres rublos equivale a "recibir billetes negativos de cinco rublos" y "dar
billetes negativos de 3 rublos", la nueva variante del problema se resuelve con la ecuacin
planteada en el problema central:
3x - 5y = 19
pero con la condicin de que x e y sean nmeros negativos. Por eso, de las igualdades

35

x=8+5

t1

y=1+3

t1

sabiendo que x < 0 e y < 0, deducimos:

8+5

t1

<0

1+3

t1

<0

y, por consiguiente,

t1 <

Tomando

t1

valores para

8
5

= - 2, - 3, - 4, etc., obtenemos de las frmulas anteriores, los siguientes

x e

t 1 =2 x=2,t 1=3 x=7, t 1=4 x =12

y=5 y=8 y=11

El primer par de soluciones x=2 ,

y=5 , significa que el comprador "paga

menos dos billetes de tres rublos" y "recibe menos cinco billetes de cinco", es decir,
traducido al idioma comn, quiere decir que paga con cinco billetes de a cinco, recibiendo
como vuelta 2 billetes de a tres. De esta misma manera interpretaremos tambin las
dems soluciones.

36

3.2 Una revisin en la tienda

Al revisar los libros de contabilidad de la tienda, uno de ellos apareci con borrones de
tinta, presentando este aspecto:

No era posible descifrar el nmero de metros vendidos, pero no caba duda de que ste
no era un decimal. En el importe de la venta podan distinguirse slo las tres ltimas
cifras y establecer que, delante de stas, haba otras tres. Poda la comisin revisora
averiguar qu cifras eran las del libro auxiliar, valindose tan slo de estos datos?
Solucin
Representemos el nmero de metros con la

y el importe de la venta, expresado en

kopeks, con el nmero 4.936 x .

Las tres cifras cubiertas por el borrn las expresamos con una

y . Esto, sin duda,

expresa la cantidad de millares de kopeks; y toda la suma de kopeks ser:

1.000y + 728.
Tenemos la ecuacin
4.936x = 1.000y + 728.
Despus de dividir los dos miembros de la igualdad por 8, resulta
617x - 125y = 91

37

En esta ecuacin, los nmeros

son enteros y, adems,

no es superior a

999, por cuanto no puede tener ms de tres cifras. Resolvamos la ecuacin como
indicamos antes:
125y = 617x 91
y=5 x1+

(Aqu hemos tomado

2 (174 x )
348 x
=5 x1+
=5 x1+2 t
125
125

617
8
=5
125
125 , ya que nos conviene que haya el menor residuo

posible. El quebrado
2 ( 174 x )
125

es un nmero entero, y como 2 no se divide por 125,

174 x
,
125

nmero entero, que representaremos con la t. Despus, de la ecuacin

( 174 x )
=t
125
se obtiene
17 - 4x = 125t
x=431 t+

donde
t1 =

1t
4

1t
=431t +t 1
4

debe ser un

38

por lo tanto
4 t 1=1t
t=14 t 1
x=125 t 127
y=617 t 1134
Se sabe que
100 y <100.
Por consiguiente
100 617 t 1134< 1000 ,
de donde
t1

t1 =

234
617

1134
617

Es evidente que para

t1

existe solamente un valor entero:

t 1 =1

, de donde

x=98, y=483 ; es decir, fueron vendidos 98 metros por una suma total de 4.837 rublos

28 kopeks. El libro auxiliar, pues, ha sido restablecido.

3.3 Compra de sellos de correos

39

Se dispone de 1 rublo para comprar 40 sellos de correos: de 1, 4 y 12 kopeks. Cuntos

sellos de cada uno de estos precios debern comprarse?
Solucin
En este caso tenemos dos ecuaciones con tres incgnitas:
x+ 4 y +12 z=100,
x+ y+ z=40,

donde

es el nmero de sellos de 1 kopeks;

y , el de 4 kopeks, y

z , el de 12

kopeks. Restando de la primera ecuacin la segunda, obtendremos una ecuacin con dos
incgnitas:
3 y+ 11 z=60

Despejemos la
y=20

y :

11z
3

Es evidente que 3 es un nmero entero. Indiqumosle con la t . Tenemos:

y=2011 t
z=3 t

Sustituyamos la

y la

x+ 2011 t +3 t=40 ;

de aqu que

z en la segunda de las ecuaciones iniciales:

40

x = 20 + 8t
Como
0 t

x 0, y 0, y z 0 , no es difcil establecer los lmites de t:

19
11

de donde se deduce que para t son posibles slo dos valores enteros: t = 0 y t = 1.
Los valores correspondientes de

x, y , y

son:

t=0

x = 20

28

y = 20

z=0

Prueba:
y = 20 * 1 + 20 * 4 + 0 * 12 = 100
z = 28 * 1 + 9 * 4 + 3 * 12 = 100
En la compra de sellos, como vemos, son posibles dos variantes (si van a exigir que se
compre aunque sea un solo sello de cada valor, es posible una sola variante).
Pasemos al segundo problema de este mismo tipo.

3.4 Compra de frutas

Por 5 rublos se compraron 100 unidades de diferentes frutas. Sus precios son los
siguientes:
Sanda

50 kopeks cada una

41

Manzanas

10 kopeks cada una

Ciruelas

1 kopeks cada una

Cunta fruta de cada clase fue comprada?

Solucin
Indicando el nmero de sandas con la
ciruelas con la

x , el de las manzanas con la

y el de las

z , establezcamos dos ecuaciones:

+1 z=500
{50 xx++10y +yz=100
Restando de la primera ecuacin la segunda, obtendremos una ecuacin con dos
incgnitas
49x + 9y = 400.
El anterior desarrollo del problema ser el siguiente:
y=

t=

4 ( 1x )
4009 x
=445 x+
=445 x +4 t
9
9

1x
x =19 t
9

y=775 ( 19 t )+ 4 t =39+ 49 t
De las desigualdades
19 t 0
se deduce que

39+49 t 0

42

1
39
t
9
49
por consiguiente, t = 0. Por eso.
x=1 ,

Sustituyendo los valores de

y de

y
y

y=39

en la segunda ecuacin, deduciremos que

z = 60.
Se compraron 1 sanda, 39 manzanas y 60 ciruelas.

3.5 Adivinar el da de nacimiento

Las ecuaciones indeterminadas permiten efectuar el siguiente truco matemtico. Se
propone a una persona que multiplique la fecha del da de su nacimiento por 12, y el
nmero del mes, por 31. Con la suma de los productos de esos datos puede calcularse la
fecha del nacimiento de la persona dada. Si por ejemplo naci el 9 de febrero, se
efectuarn las siguientes operaciones:
9 ( 12 )=108, 2 ( 31 )=62,108+62=170
Cmo se deducir el da del nacimiento conociendo esa suma?
Solucin
La tarea se reduce a resolver la ecuacin indeterminada
12x + 31y = 170
en la que los valores de las incgnitas deben ser enteros y positivos; adems, la fecha del
mes,

x , no es superior a 31, y el nmero del mes,

y , no pasa de 12.

43

x=

17031 y
2+5 y
=143 y+
=143 y+ t
12
12

2+5 y=12 t

y=

2+12 t
21t
=2t
=2t2 t 1
5
5

1t=5 t 1 , t=15 t 1
y=2( 15 t 1 )2 t 1 =212 t 1
x=143( 212 t 1 ) +15 t 1=9+31t 1
t
Se sabe que 31 x >0 y 12 y> 0 , por lo que los lmites para 1 :
9
1
<t <
31 1 6
Por lo tanto,
t 1 =0, x=9, y =2.

La fecha de nacimiento es el da 9 del segundo mes, es decir, el 9 de febrero. Se puede

proponer otra solucin que no exige el empleo de ecuaciones. Nos han dicho la cifra
a=12 x +31 y . Puesto que 12x + 24y se divide entre 12, en este caso los nmeros

7y

a , despus de ser divididos entre 12, tienen restas iguales. Al multiplicar por

7 resulta que

49 y

7 a , despus de ser divididos entre 12, tienen restas iguales.

44

Pero

49 y=48 y + y , y

48 y

se divide entre 12. Resulta que

7a

al ser

divididos entre 12 tienen restas iguales.

Con otras palabras, si

7a

la divisin del nmero

12. Este nmero

no se divide entre 12, en este caso

entre 12; pero si

es igual a la resta de

se divide entre 12, entonces

(nmero del mes) se determina enteramente. Sabiendo

muy fcil determinar

ya es

7a

entre

x .

Un pequeo consejo: antes de determinar la resta de la divisin del nmero

12, cambie el mismo nmero

por su resta de la divisin entre 12 - ser ms fcil

a =170, Ud. tiene que efectuar mentalmente los siguientes

calcular. Por ejemplo, si

clculos:

170 = (12) (14) + 2 (entonces la resta es 2)

2 * 7 = 14; 14 = (12) (1) + 2 (entonces
'

x=

= 2)

17031 y 17031 ( 2 ) 180

=
=
=9
12
12
12

entonces
x=9
Ahora Ud. puede comunicar que la fecha del nacimiento es el 9 de febrero. Demostremos
que el truco nunca falla, es decir, que la ecuacin tiene siempre una sola solucin, siendo
sus valores enteros y positivos. Representemos por
En este caso, la fecha

el nmero que se nos comunica.

45

del nacimiento vendr expresada por la ecuacin

12 x +31 y=a
Razonemos "por reduccin al absurdo". Supongamos que esta ecuacin tiene dos
soluciones diferentes enteras y positivas, concretamente: la solucin
solucin
y2

x2 , y2

; adems, tanto

x1

como

x2

x1 , y1

no son superiores a 31;

y la
y1

tampoco son mayores que 12. Tenemos:

12 x 1 +31 y1 =a
12 x 2 +31 y 2=a .
Restando la segunda ecuacin de la primera, tendremos:
12 ( x 1x 2 ) +31 ( y 1 y 2 ) =0

De esta igualdad se desprende que el nmero 12(

x1

x2

) es divisible por 31. Como

, son nmeros positivos que no superan 31, su diferencia,

magnitud menor que 31. Por eso, el nmero 12(

cuando

x 1x 2

x 1=x 2

x1 x2

x 1x 2

es una

) puede dividirse por 31 slo

, es decir, si la primera solucin coincide con la segunda. De esta

manera, la suposicin de que existen dos soluciones diferentes conduce a una

contradiccin.

CONCLUSIONES

46

Las ecuaciones diofnticas han sido un tema de mucho inters para los matemticos
de todos los tiempos y es por eso que, como matemticos que somos, lo es tambin para
nosotros.
Una de las caractersticas de la teora de nmeros es la facilidad con que surgen gran
cantidad de problemas muchos de los cuales pueden ser abordados, en principio, sin
necesitar grandes requisitos.
Estudiamos que este tipo de ecuaciones se conoce, en Matemtica, desde muy
antiguo, pero fue tras la obra del matemtico griego Diofanto de Alejandra (siglo III d.C.:
210 - 290) que comenzaron a llamarse Ecuaciones Diofantinas.
Hemos aprendido lo que es una ecuacin diofntica, y tambin hemos aprendido a
resolver algunas de ellas, concretamente las ecuaciones diofnticas lineales con dos
incgnitas (Solucin Particular y Solucin General), con

a,b, y

nmeros

enteros. Finalmente, aprendimos a cmo resolver problemas de aplicacin mediante

ejemplos.
La teora de nmeros es tan importante en la Matemtica como la Matemtica en
todas las dems disciplinas.

47

RECOMENDACIONES

1. Este trabajo de investigacin, es realizado con la finalidad de que sirva de motivacin

para los lectores, para seguir realizando trabajos en el campo de la investigacin, y as
poder dar aportes al campo de la Matemtica.
2. Las Ecuaciones Diofantinas son tan importantes que desde las ecuaciones ms simples
hasta las ms complejas se pueden verse como una ecuacin diofntica. As que animo al
lector a seguir investigando ms sobre estas ecuaciones diofantinas.
3. Para nosotros que somos los estudiantes de Matemtica, debera ser de mucha
importancia, estudiar temas relacionados a la Teora Elemental de Nmeros.

48

BIBLIOGRAFA
http://www2.uca.es/matem
aticas/Docencia/ESI/1710003/Apuntes/Leccion12.pdf
http://biblio3.url.edu.gt/Libros/2011/alg-recre/cap04.pdf
http://www.telefonica.net/web2/lasmatematicasdemario/Algebra/Ecuaciones/EcuDio.htm
http://matematica.lacoctelera.net/post/2006/03/20/ecuaciones-diofanticas
http://www.astroseti.org/articulo/3629/

BARRANTES, HUGO, y otros. 1998. Introduccin a la Teora de Nmeros. San Jos,

Costa Rica; Pgs. 39 40.