tema

15 MATEMÁTICAS

Ecuaciones diofánticas.
24-13807-13

Temario 1993
 tema 15

matemáticas

1. Ecuaciones diofánticas
1.1. Definiciones

1.2. Ecuaciones diofánticas lineales

1.3. Ecuaciones diofánticas polinómicas

1.3.1. Ecuaciones polinómicas con una incógnita
1.3.2. Ecuaciones polinómicas con más de una incógnita

3
 tema 15

matemáticas

INTRODUCCIÓN

Las ecuaciones diofánticas son uno de los problemas más difíciles de la Teoría de Números.
De hecho, se ha demostrado que un método que la resuelva es indecidible, no es posible
encontrarlo pero tampoco se puede demostrar su no existencia. Por resolver una ecuación
entendemos, además de determinar si tiene solución o no, determinar si el conjunto de so-
luciones es finito o infinito.
El nombre de ecuaciones diofánticas se debe al matemático griego Diofanto de Alejandría
(s. III) que se dedicó intensamente al estudio de dichas ecuaciones como dejó constancia en
su obra “Aritmética” que constaba de trece libros. Aunque no fue el único. Fermat estudió
la edición de Bachet, publicada en 1621, de los seis primeros libros, que entonces quedaban
de la obra de Diofanto y ello le inspiró para comenzar a investigar sobre la naturaleza de
dichas ecuaciones.

5
tema 15

matemáticas

1 Ecuaciones diofánticas

1.1. Definiciones

Definición
Recordemos que se llama ecuación a toda igualdad entre expresiones que contie-
nen una o varias letras, llamadas incógnitas.
Resolver la ecuación es buscar todos los valores de las incógnitas que satisfacen a
la igualdad. Dichos valores reciben el nombre de solución.
Se dice que una ecuación es algebraica cuando sus dos miembros son polinómicos.
Llamaremos entonces ecuación diofántica a toda ecuación algebraica con coefi-
cientes enteros, con una o varias incógnitas y cuyas soluciones se requiere que
también sean enteras.
Como hemos mencionado en la introducción, no existe un método general para
resolver ecuaciones diofánicas. No obstante, sí que hay determinados casos par-
ticulares de ecuaciones diofánticas que están totalmente estudiados y resueltos y
que veremos a lo largo del tema.

1.2. Ecuaciones diofánticas lineales

Definición:
Se llama ecuación diofántica lineal con n incógnitas a toda ecuación de la forma:

a1 x1 +  + an xn = c c ∈ , ai ∈  \ {0} ∀i

XX Teorema 1

(x1, …, xn) es solución de la ecuación a1 x1 +  + an xn = c si y sólo si ∃u ∈ 

tal que (x1, …, xn-1) es solución de:
a1 a
x1 +  + n −1 xn −1 = u
d d

y (u, xn) es solución de du + anxn= c siendo d = mcd (a1,…,an-1).

Demostración:
(⇒) Si (x1, …, xn) es solución de la ecuación a1 x1 +  + an xn = c entonces

a1 x1 +  + an −1 xn −1 = c − an xn

Sea d = mcd (a1,…,an-1). Como d | ai i = 1, … , n-1, se tiene que d | c − anxn.

Así llamando:
c − an xn
u=
d

6
 tema 15

matemáticas

se sigue que (x1, …, xn-1) es solución de:

a1 a
x1 +  + n −1 xn −1 = u
d d
y además:
c − an xn
du + an cn = d + an cn = c
d

(⇐) Sea u ∈  tal que (u, xn) es solución de du + anxn= c y (x1, …, xn-1) solución
de:
a1 a
x1 +  + n −1 xn −1 = u
d d

Entonces:
a1 a
a1 x1 +  + an xn = d x1 +  + d n −1 xn −1 + an xn = du + an xn = c
d d

El teorema anterior pone de manifiesto que el conocimiento de las soluciones de

ecuaciones diofánticas lineales de n incógnitas está relacionado con el conoci-
miento de las soluciones diofánticas lineales con dos incógnitas. Por ello vamos a
centrarnos a continuación en estas.

XX Teorema 2 (de caracterización de existencia de solución de ecuaciones

diofánticas lineales con dos incógnitas)

La ecuación lineal ax + by = c con a, b ∈  \ {0} , c ∈  tiene solución entera si y

sólo si mcd (a, b) | c. En tal caso, si (x0, y0) es una solución, el conjunto de todas
las soluciones de dicha ecuación es:

 b a
S = ( x, y ) ∈  ×  : ∃t ∈ , x = x0 + t , y = y0 − t 
 d d

siendo d = mcd (a, b).

Demostración:
(⇒) Sea (x0, y0) una solución entera de dicha ecuación. Así c = ax0 + by0.
Como d = mcd (a, b) entonces ∃a ', b ' ∈  : a = a ' d , b = b ' d . Por tanto
c = d (a ' x0 + b ' y0 ) y así d | c.
(⇐) Como d = mcd (a, b), por la Identidad de Bezout, ∃p, q ∈  : d = pa + qb y,
por hipótesis, d | c, por tanto, ∃k ∈  : c = kd = (kp )a + (kq )b luego (kp, kq)
es solución una solución entera de la ecuación.
Probemos ahora la segunda parte. Supongamos que (x0, y0) es solución de
ax + by = c.

7
tema 15

matemáticas

(⊆) Si (x, y) es también solución de dicha ecuación, restando se obtiene:

a(x − x0) + b(y − y0) = 0 y de aquí b(y − y0) = -a(x − x0).
Dividiendo por d, tenemos:
b b a
| ( y − y0 ) = − ( x − x0 )
d d d
y como:

a b
mcd  ,  = 1
d d 
se deduce que:
b
| ( x − x0 )
d
Por tanto,
b b a b a
∃t ∈  : x − x0 = t ⇒ ( y − y0 ) = − t ⇒ y − y0 = −t
d d d d d

b a
(⊇) Veamos que todo par (x, y) de la forma x = x0 + t , y = y0 − t con t ∈ 
d d
es solución. En efecto:

 b  a
ax + by = a  x0 + t  + b  y0 − t  = ax0 + by0 = c
 d  d

Según el teorema anterior, resolver una ecuación diofántica lineal con dos
incógnitas se reduce a hallar una solución particular. Para tal fin, recordemos
que el algoritmo de Euclides proporciona enteros p y q tales que ap + bq = d
cuya existencia la garantiza la Identidad de Bezout. Se sigue que:

 c c
 p ,q 
 d d

es una solución particular.
De los teoremas 1 y 2 se sigue el siguiente teorema cuya demostración omitiremos.

XX Teorema 3 (de caracterización de existencia de solución)

La ecuación diofántica a1 x1 +  + an xn = c tiene solución si y sólo si

mcd (a1 ,..., an ) | c
Nota: Dado un sistema de ecuaciones diofánticas lineales, la condición anterior es ne-
cesaria para que el sistema tenga solución pero no es suficiente para garantizarla.

8
 tema 15

matemáticas

Ejemplo:
 3x + 2 y = 1
El sistema: 
9 x − 4 y = 8
de ecuaciones lineales diofánticas con dos incógnitas no tiene soluciones enteras,
aunque cada ecuación tiene infinitas soluciones. La interpretación de esto es que
si una recta en el plano pasa por un punto de coordenadas enteras pasa por infi-
nitos con esa característica, pero el punto de corte de dos de tales rectas no tiene
porqué.

1.3. Ecuaciones diofánticas polinómicas

1.3.1. Ecuaciones polinómicas con una incógnita

Definición:
Llamaremos ecuación polinómica de grado n con una incógnita a una ecuación
de la forma:

an x n +  + a1 x + a0 = 0 ai ∈  ∀i, an ≠ 0

Por definición se observa que si x es solución de dicha ecuación entonces

x | a0. Ello indica que las soluciones se buscarán entre los divisores del término
independiente. Esto no es suficiente, como ocurre por ejemplo con la ecuación
x2 + x + 1 = 0. Este ejemplo muestra que no toda ecuación polinómica de grado
n tiene solución, pero sabemos que a lo sumo tendrá n y si en general, ante una
ecuación así, poco podemos decir acerca de sus soluciones reales o complejas,
aún menos podremos decir sobre sus soluciones enteras. Por ello sólo vamos a
estudiar ecuaciones diofánticas polinómicas con más de una incógnita las cuales
están completamente estudiadas:

1.3.2. Ecuaciones polinómicas con más de una incógnita

XX La ecuación x2 – y2 = k

Teorema (caracterización de las soluciones)

Sea k ∈  y ( x, y ) ∈  ×  . Entonces x2 − y2 = k si y sólo si ∃ p, q ∈  de la

misma paridad tales que pq = k y:

p+q p−q
x= ,y=
2 2

9
tema 15

matemáticas

Demostración:
(⇒) Si (x, y) es solución de la ecuación, entonces basta tomar p = x + y, q = x − y
(⇐) Si x, y son de la forma dada entonces x 2 − y 2 = ( x + y )( x − y ) = pq = k .
Que p, q tengan la misma paridad garantiza que:
p+q p−q
,
2 2

sean números enteros.

Según este teorema, podemos afirmar que la ecuación x2 − y2 = k tendrá solución
siempre que k sea factorizable como producto de dos números de la misma pari-
dad. Por ello, esta ecuación siempre tendrá solución a menos que k sea un número
par no múltiplo de 4.

XX La ecuación pitagórica x2 + y2 = z2

Esta ecuación es muy interesante por su claro significado geométrico. Resolver en

números naturales esta ecuación equivale a obtener todos los triángulos rectángu-
los, cuyos lados tengan longitudes enteras. En el siguiente teorema, que resuelve
esta cuestión, suponemos que x, y, z positivos puesto que si (x, y, z) es una solución
también lo es (± x, ± y, ± z) donde los ± son independientes. En dicho teorema no
se contemplan las soluciones triviales, que por contener al menos una incógnita con
valor 0, no dan lugar a ningún triángulo. Estas son (0,0,0), (±1,0, ±1), (0,±1, ±1).

Teorema
+
Sean x, y, z ∈  + . Entonces x2 + y2 = z2 si y sólo si ∃ a, b ∈  de distinta paridad
+
( )
tales que mcd(a, b) = 1 y ∃ d ∈  | z = d a + b , y = d a − b , x = 2abd
2 2 2 2
( )
(las expresiones de x e y son intercambiables).
Demostración:
+
(⇒) Sea d = mcd(x, y). Como d | x, d | y existen x ', y '∈ 
tales que x = dx ', y = dy ' . Substituyendo en la ecuación dada,
z 2 = (dx ') 2 + (dy ') 2 ⇒ d 2 | z 2 ⇒ d | z ⇒ ∃ z ' ∈  : z = dz ' ⇒

2 2 2 2 2
(
2 2 2
)
⇒ d z' = z = d x' + y' ⇒ z' = x' + y' .
2

Además mcd(x’, y’) = 1 de donde se sigue que x’ o y’ es impar. Supongamos

que y’ es impar (en caso contrario se obtendría la otra solución). Ahora bien,
x’ no puede ser impar, ya que si lo fuese tendríamos
  
x ' = 2+ 1, y ' = 2+ 1 ⇒ z '2 = x '2 + y '2 = 4+ 2

10
 tema 15

matemáticas

lo cual es imposible. Así, x’ es par, y’ es impar luego z’2 es impar y también z’.
Ahora

z '+ y ' z '− y '

2
 x'
x ' = z ' − y ' = ( z '+ y ') ( z '− y ') ⇒   =
2 2 2

2 2 2

Además
z '+ y ' z '− y '
,
2 2

son primos entre sí pues si hubiese un número primo:

z '+ y ' z '− y '
p| ,
2 2

entonces p dividiría a su suma y a su diferencia es decir a z’ y a y’ y por tanto

dividiría a x’2 y de aquí a x’ lo que contradice que mcd(x’, y’) = 1. Pero si el
producto de dos números primos entre sí es un cuadrado perfecto ellos también
lo son ⇒
z '+ y ' z '− y '
∃a, b ∈  + : = a2 , = b2
2 2

De aquí se deduce que

z = dz ' = d ( a 2 + b 2 ) , y = dy ' = d ( a 2 − b 2 ) , x = dx ' = 2abd .
Como ya hemos dicho mcd(a2, b2) = 1, por tanto mcd(a, b) = 1. Sólo queda por
ver que a y b tienen distinta paridad. Si no fuese así, a2 y b2 tendrían la misma
paridad luego y’ = a2 − b2 sería par, en contra de nuestra hipótesis.
(⇐) Basta sustituir las expresiones en la ecuación pitagórica.
La interpretación geométrica de la ecuación pitagórica consiste en dibujar una
circunferencia de centro el origen y radio un número entero positivo y encon-
trar todos los puntos de coordenadas enteras situados sobre ella. Como solu-
ciones triviales tenemos los puntos colocados sobre los ejes coordenados.

XX La ecuación de Pell x2 − dy2 = 1

Una ecuación diofántica especialmente importante, que surgió de un reto de Fer-

mat a los matemáticos ingleses de su época, es la ecuación x2 – dy2 = 1, donde d > 0
es un número entero no cuadrado perfecto. En otro caso esta sería una ecuación tipo
x2 – y2 = k con k = 1.
Normalmente dicha ecuación se conoce con el nombre de ecuación de Pell, pero
dicho nombre debido a Euler parece ser que no tiene justificación histórica ya que
Pell parece ser que no contribuyó en nada al tema.

11
tema 15

matemáticas

Fermat hizo la conjetura de que hay al menos una solución no trivial con x e y
enteros, es decir, una solución distinta de x = 1, y = 0.
Postériormente esta suposición de Fermat fue probada por Lagrange en 1768. El
razonamiento además se cumple para cualquier d, no cuadrado perfecto.
Hay una única solución de la ecuación de Pell en la que los enteros x, y tienen
valores positivos mínimos. Dicha solución recibe el nombre de solución funda-
mental.
Se cumple que si x’, y’ es la solución fundamental entonces cualquier otra solu-
ción x, y verifica que:

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

con n = 0, 1, 2, ... Justamente para n = 0 se obtienen las soluciones triviales.

En particular se sigue que la ecuación de Pell tiene infinitas soluciones.
Dependiendo del valor de d, la búsqueda de la solución fundamental puede lle-
varnos incluso a hacer uso del algoritmo de las fracciones continuas para expresar
d en término de estas, para lo cual remitimos al lector a la bibliografía que
aparece al final del tema.
Las ecuaciones de Pell aparecen muchas veces de forma implícita en problemas
aritméticos.
Por ejemplo:
Determinar todos los números triangulares que son cuadrados perfectos, nos con-
duce a una ecuación de Pell con d = 8.
En efecto, todo número triangular es de la forma 1 + 2 + … + n, es decir,:
n(n +1)
2

Así queremos hallar todos los n tales que:

n(n + 1)
= y2
2

para cierto y. Despejando n obtenemos:

−1 + 1 + 8 y 2
n=
2

Por tanto se trata de hallar todos los valores de y tales que 1 + 8y2 sea cuadra-
do perfecto es decir, de la forma 1 + 8y2 = x2. Por tanto, nuestro problema tie-
ne infinitas soluciones, que coinciden con las soluciones de la ecuación de Pell
x2 − 8y2 = 1 con x impar y mayor que 1, para que:
x −1
n=
2

12
 tema 15

matemáticas

sea un entero positivo. Esta ecuación tiene por solución fundamental x = 3, y = 1,

y a partir de la expresión general del conjunto de soluciones se sigue que todo n
buscado es de la forma
1
( ) 1
( ) 1
k k
n = 3+ 8 + 3− 8 −
con ∈ +
k (1)
4 4 2
Si deseamos obtener la relación de recurrencia para los posibles valores de n, sim-
plemente observemos que la expresión anterior corresponde a la forma explícita
de una sucesión recurrente {nk }k =1 cuya ecuación característica es:
+∞

( x − (3 + 8 )) ( x − (3 − 8 )) ( x − 1) = x − 7 x 3 2
+ 7x −1 = 0

Por tanto dicha sucesión viene dada por la relación de recurrencia

nk +3 = 7 nk + 2 − 7 nk +1 + nk con valores iniciales n1 = 1, n2 = 8, n3 = 49 obtenidos
de la expresión (1) para k = 1, 2, 3 respectivamente.

XX La ecuación de Mordell y2 = x3 + k

Algunos resultados relativos a la ecuación y2 = x3 + k siendo k un número entero

distinto de cero fueron descubiertos en 1922 por Mordell.
Dicha ecuación representa una curva elíptica en el plano proyectivo real. Por un
punto racional sobre la curva entendemos, o bien un par (x, y) de números racio-
nales que verifican la ecuación o bien el punto del infinito de la curva, es decir, los
puntos racionales están dados en coordenadas homogéneas por (x, y, z) donde λx,
λy, λz son racionales para algún λ.
Se sabía que la cuerda que une dos puntos racionales de la curva, corta a la curva de
nuevo en un punto racional, y análogamente que la tangente en un punto racional
corta de nuevo a la curva en un punto racional. Por esto, Fermat observó que si hay
un punto racional sobre la curva que no sea el punto del infinito entonces si toma-
mos cuerdas y tangentes obtendríamos, en general, infinitos puntos racionales.
Mordell creyó que para ciertos valores de k la ecuación tendrá infinitas soluciones
enteras x, y, pero más tarde se demostró que no para todo k existe solución y cuan-
do la hay sólo existe un número finito de soluciones.

XX La ecuación de Fermat xn + yn = zn

En el margen de un deteriorado manuscrito de la edición de Bachet de los trabajos

de Diofanto, Fermat escribió:
«Es imposible escribir un cubo como suma de dos cubos, una cuarta potencia
como suma de dos cuartas potencias y en general. cualquier potencia superior a
la segunda como suma de dos potencias similares. Para esto he descubierto una
prueba verdaderamente maravillosa pero el margen es demasiado pequeño para
contenerla...»
Esto se traduce en que la ecuación
xn + yn = zn

13
tema 15

matemáticas

no admite soluciones, distintas de las triviales, cuando n > 2. Existen serias dudas
sobre si Fermat tenía realmente una prueba de ello y, como es sabido, durante mu-
chos años numerosos matemáticos han intentado demostrar lo anterior que había
dejado escrito Fermat y que recibió el nombre de Conjetura de Fermat.
Fue en 1995 cuando el matemático inglés Andrew Wiles probó que Fermat tenía
razón y dicha conjetura pasó a llamarse: «El Último Teorema de Fermat».

14
 tema 15

matemáticas

BIBLIOGRAFÍA
BURN, R. P.: A pathway into number theory. Cambridge University Press, 1996.
HARDY, G. H.; WRIGHT, E.: An introduction to the theory of numbers. Oxford Science Publica-
tions, 1979.
ORE, OYSTEIN: Number theory and its history. Editorial Dover, New York, 1988.
REY PASTOR: Análisis algebraico. Euler Editorial, 1981.
ROSE, H. E.: A course in Number theory. Clarendon Press, 1995.
SHIDLOVSKI, A. B.: Arpoximaciones diofánticas y números trascendentes. Universidad del País
Vasco, 1989.

15
 tema 15

matemáticas

RESUMEN

ECUACIONES DIOFÁNTICAS.

1.
1 Ecuaciones diofánticas

1.1. Definiciones
Ecuación diofántica es toda ecuación algebraica con coeficientes enteros, con una o varias
incógnitas y cuyas soluciones se requiere que también sean enteras.

1.2. Ecuaciones diofánticas lineales

Definición
Se llama ecuación diofántica lineal con n incógnitas a toda ecuación de la forma:
a1 x1 +  + an xn = c c ∈ , ai ∈  \ {0} ∀i
XX Teorema 1
(x1, …, xn) es solución de la ecuación a1 x1 +  + an xn = c si y sólo si ∃u ∈  tal que
(x1, …, xn-1) es solución de:
a1 a
x1 +  + n −1 xn −1 = u
d d

y (u, xn) es solución de du + anxn= c siendo d = mcd (a1,…,an-1)

XX Teorema 2 (de caracterización de existencia de solución de ecuaciones
diofánticas lineales con dos incógnitas)
La ecuación lineal ax + by = c con a, b ∈  \ {0} , c ∈  tiene solución entera si y sólo si
mcd (a, b) | c. En tal caso, si (x0, y0) es una solución, el conjunto de todas las soluciones
de dicha ecuación es:
 b a
S = ( x, y ) ∈  ×  : ∃t ∈ , x = x0 + t , y = y0 − t 
 d d

siendo d = mcd (a, b)

XX Teorema 3 (de caracterización de existencia de solución)
La ecuación diofántica a1 x1 +  + an xn = c tiene solución ⇔ mcd (a1 ,..., an ) | c

1.3. Ecuaciones diofánticas polinómicas

1.3.1. Ecuaciones polinómicas con una incógnita

Este es el caso más común.
Definición
Llamaremos ecuación polinómica de grado n con una incógnita a una ecuación de la forma:
an x n +  + a1 x + a0 = 0 ai ∈  ∀i, an ≠ 0

17
tema 15

matemáticas

1.3.2. Ecuaciones polinómicas con más de una incógnita

Dentro de este tipo de ecuaciones se estudian y analizan las completamente conocidas:
XX La ecuación x2 – y2 = k2
„„ Teorema (caracterización de las soluciones)
Sea k ∈  y ( x, y ) ∈  ×  . Entonces x2 − y2 = k si y sólo si ∃ p, q ∈  de la misma pari-
dad tales que pq = k y:
p+q p−q
x= ,y=
2 2

XX La ecuación pitagórica x2 + y2 = z2
„„ Teorema
Sean x, y, z ∈  + . Entonces x2 + y2 = z2 si y sólo si ∃ a, b ∈  + de distinta paridad tales
que mcd(a, b) = 1 y ∃ d ∈  + | z = d ( a 2 + b 2 ) , y = d ( a 2 − b 2 ) , x = 2abd (las expresiones
de x e y son intercambiables).
XX La ecuación de Pell x2 – dy2 = 1
XX La ecuación de Mordell y2 = x3 + k
XX La ecuación de Fermat xn + yn = zn

18