ECUACIONES DIOFÁNTICAS

Estas ecuaciones reciben el nombre de diofánticas, en honor a Diofanto (325-

410 A.C.), matemático griego de la escuela de Alejandría. Dejó 13 libros de
aritmética de los cuales solo han quedado a través del tiempo los 6 primeros.

Definición: Una ecuación diofántica es una ecuación lineal con coeficientes

enteros y que exige soluciones también enteras.

Solución de una ecuación diofántica

Veremos un teorema que nos permitirá saber cuándo una ecuación de este tipo,
tiene solución y que además aporta un método para calcular una solución
particular de la misma.

Solución Particular
Sean a, b y c tres números enteros. La ecuación lineal 𝑎𝑥 + 𝑏𝑦 = 𝑐 tiene
solución entera, sí y solo sí el máximo común divisor de a y b divide a c.
Demostración:
⟹)
Supongamos que los enteros 𝑥0 𝑒 𝑦0 son solución de la ecuación 𝑎𝑥 + 𝑏𝑦 = 𝑐, es
decir 𝑎𝑥0 + 𝑏𝑦0 = 𝑐. Pues bien si 𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏), entonces
𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏) ⟹ 𝑑|𝑎 𝑦 𝑑|𝑏 ⟹ 𝑑|(𝑎𝑥0 + 𝑏𝑦0 ) ⟹ 𝑑|𝑐

⟸)
Supongamos que d = MCD(a,b) es divisor de c. Entonces
𝑎 𝑏
𝑀𝐶𝐷(𝑎, 𝑏) = 𝑑 ⟹ 𝑀𝐶𝐷 ( , ) = 1
𝑑 𝑑
𝑎 𝑏
⟹ ∃ 𝑝, 𝑞 𝜖 ℤ, ∋ 𝑝 + 𝑞 = 1
𝑑 𝑑
𝑐𝑝 𝑐𝑞
⟹𝑎 +𝑏 =𝑐
𝑑 𝑑
 𝑐
Y, como sabemos que es un entero, ya que por hipótesis d es divisor de c,
𝑑
por lo tanto, bastaría tomar
𝑐𝑝 𝑐𝑞
𝑥0 = 𝑦 𝑦0 =
𝑑 𝑑
Con lo cual tendremos
𝑎𝑥0 + 𝑏𝑦0 = 𝑐
Es decir, los enteros 𝑥0 𝑒 𝑦0 son solución de la ecuación.
La solución encontrada, se llama solución particular del sistema.
Se observa entonces que este teorema, además de asegurar la existencia de
solución para una ecuación de este tipo, ofrece un método para calcularla.
Veamos el siguiente ejemplo aclaratorio.

Ejemplo: encontrar una solución para la ecuación diofántica

525𝑥 + 100𝑦 = 50
Solución:
Veamos primero si existe solución
Calculamos el MCD(525, 100), mediante el algoritmo de Euclides.
525 : 100 = 5
25
100 : 25 = 4
0
Por lo tanto MCD(525, 100) = 25
Y como 25 divide a 50 la ecuación tiene solución
Calculemos una solución para esta ecuación
525 = 100x5 + 25
Es decir
25 = 525x1 + 100x(-5)
Por lo tanto los coeficientes buscados son:
𝑝=1 𝑦 𝑞 = −5
Y según nuestro teorema una solución para la ecuación sería:
𝑐𝑝 𝑐𝑞
𝑥0 = 𝑦=
𝑑 𝑑
Entonces
50𝑥1 50𝑥(−5)
𝑥0 = 𝑦0 =
25 25
Por lo tanto
𝑥0 = 2 𝑦0 = −10

Solución General de la Ecuación diofántica

Sean a,b,c tres enteros distintos de cero, tales que el MCD(a.b) = d, y 𝑑|𝑐 ,
entonces la solución general de la ecuación ax+by = c, es:
𝑘𝑏
𝑥 = 𝑥0 +
𝑑
𝑘𝑎
𝑦 = 𝑦0 −
𝑑
donde 𝑥𝑜 , 𝑦0 es una solución particular de la ecuación y k es un número
entero.
Demostración:
Sea 𝑑 = 𝑀𝐶𝐷(𝑎, 𝑏), por hipótesis 𝑑|𝑐, entonces por el teorema anterior existe una
solución particular para el sistema 𝑥 = 𝑥0 𝑒 𝑦 = 𝑦0 , entonces
𝑎𝑥0 + 𝑏𝑦0 = 𝑐
Dividiendo esta ecuación por el MCD de a y b, se tiene:
𝑎𝑥0 𝑏𝑦0 𝑐
+ =
𝑑 𝑑 𝑑
𝑐 𝑎 𝑏
Siendo un número entero y 𝑦 también enteros y primos entre sí, por lo
𝑑 𝑑 𝑑
𝑐
tanto el MCD entre ambos es 1 y como 1 divide a el teorema anterior nos
𝑑
garantiza la existencia de una solución particular 𝑥1 , 𝑦1 para esta ecuación,
luego
𝑎 𝑏 𝑐
𝑥1 + 𝑦1 =
𝑑 𝑑 𝑑
Tenemos entonces
𝑎 𝑏 𝑐
𝑥1 + 𝑦1 =
𝑑 𝑑 𝑑
 𝑎𝑥0 𝑏𝑦0 𝑐
+ =
𝑑 𝑑 𝑑
Restando ambas ecuaciones
𝑎 𝑏
(𝑥1 − 𝑥0 ) + (𝑦1 − 𝑦0 ) = 0
𝑑 𝑑
𝑎 𝑏
(𝑥1 − 𝑥0 ) = (𝑦0 − 𝑦1 )
𝑑 𝑑
Entonces
𝑏 𝑎
| (𝑥 − 𝑥0 )
𝑑 𝑑 1
𝑏 𝑎
Y al ser 𝑑 primo relativo con 𝑑 también dividirá a (𝑥1 − 𝑥0 ), luego
𝑏 𝑏 𝑏
|(𝑥1 − 𝑥0 ) ⟺ ∃𝑘𝜖ℤ, 𝑡𝑎𝑙 𝑞𝑢𝑒 𝑥1 − 𝑥0 = 𝑘 ∙ ⟹ 𝑥1 = 𝑥0 + 𝑘 ∙
𝑑 𝑑 𝑑
Sustituimos el valor de 𝑥1 − 𝑥0 en la ecuación
𝑎 𝑏
(𝑥1 − 𝑥0 ) + (𝑦1 − 𝑦0 ) = 0
𝑑 𝑑
Y tenemos
𝑎 𝑏 𝑏
∙ 𝑘 ∙ + (𝑦1 − 𝑦0 ) = 0
𝑑 𝑑 𝑑
𝑏
Dividiendo por
𝑑
𝑎
𝑘 + 𝑦1 − 𝑦0 = 0
𝑑
Despejando 𝑦1
𝑎
𝑦1 = 𝑦0 − 𝑘.
𝑑
Veamos finalmente que 𝑥1 , 𝑦1 es solución de la ecuación 𝑎𝑥 + 𝑏𝑦 = 𝑐. En efecto
𝑏 𝑎
𝑎𝑥1 + 𝑏𝑦1 = 𝑎 (𝑥0 + 𝑘 ∙ ) + 𝑏 (𝑦0 − 𝑘 ∙ )
𝑑 𝑑
𝑏 𝑎
= 𝑎𝑥0 + 𝑎𝑘 ∙ + 𝑏𝑦0 − 𝑏𝑘 ∙
𝑑 𝑑
= 𝑎𝑥0 + 𝑏𝑦0
=𝑐
Luego
𝑘𝑏
𝑥 = 𝑥0 +
𝑑
𝑘𝑎
𝑦 = 𝑦0 −
𝑑
Es solución de la ecuación ax + by = c, cualquiera que sea el valor de 𝑘𝜖ℤ, la
cual será llamada solución general de la ecuación.

En el ejemplo anterior, teníamos 𝑥0 = 2 𝑒 𝑦0 = −10, era una solución

particular de la ecuación 525𝑥 + 100𝑦 = 50, por lo tanto la solución general,
estará dada por
100
𝑥 =2+𝑘∙ = 2 + 4𝑘
25
525
𝑦 = −10 − 𝑘 ∙ = −10 − 21𝑘
25
Siendo k cualquier número entero.

Ejemplo: calcular las soluciones enteras de la ecuación diofántica

66𝑥 + 550𝑦 = 88