Ecuaciones diofánticas.

Gerónimo Forteza

ECUACIONES DIOFÁNTICAS
 Ecuaciones diofánticas.
Gerónimo Forteza

ÍNDICE
1. CONCEPTO.........................................................................................................................................3

2. TIPOS DE ECUACIONES DIOFÁNTICAS................................................................................................3

2.1 Ecuaciones diofánticas lineales de la forma ............................................................3

a) ¿En qué casos tiene solución?....................................................................................................3

b) Caso de tener solución, ¿cómo puede obtenerse ésta?............................................................3

Algoritmo de Euclides tradicional..................................................................................................3

c) Caso de tener solución ¿es única? o ¿Existen soluciones múltiples?.........................................4

2.2 Ecuaciones diofánticas de la forma .........................................................................5

2.3 Ecuaciones diofánticas de la forma .........................................................................5

2.4 Ecuaciones diofánticas de la forma ......................................................................5

3. Ejercicios resueltos de ecuaciones diofánticas lineales de la forma .............................5

REFERENCIAS.........................................................................................................................................9
 Ecuaciones diofánticas.
Gerónimo Forteza

1. CONCEPTO
Reciben el nombre de ecuaciones diofánticas aquellas ecuaciones polinómicas, con coeficientes
enteros, cuyas soluciones son números enteros. (Gómez, 2004)

2. TIPOS DE ECUACIONES DIOFÁNTICAS

2.1 Ecuaciones diofánticas lineales de la forma

Se plantean tres cuestiones:

a) ¿En qué casos tiene solución?

b) Caso de tener solución, ¿cómo puede obtenerse ésta?

c) Caso de tener solución ¿es única? o ¿Existen soluciones múltiples?

Se responde secuencialmente a cada una de las cuestiones anteriores:

a) ¿En qué casos tiene solución?

Para que una ecuación diofántica tenga solución, es condición necesaria y suficiente que el m.c.d (a,
b), sea divisor de c. (Felizia, 2004)

Nota: Caso de tener solución, existirán infinitas soluciones y todas ellas se obtienen de la forma:

(Hitos, 2017) (Chinea, 2010)

b) Caso de tener solución, ¿cómo puede obtenerse ésta?

Para encontrar una solución, y con ella, todas las demás, se recurre, habitualmente, al algoritmo de
Euclides para calcular el máximo común divisor de dos números a y b. (OcnoA, 1978)

Nota: Existe otro procedimiento alternativo, que es mediante el Teorema chino del resto.

Algoritmo de Euclides tradicional

Al dividir a  entre b, siendo a y b números enteros, se obtiene un cociente  q  y un resto  r. Es posible

demostrar que el máximo común divisor de a  y b,  es el mismo que el de b y  r.

El algoritmo de Euclides para encontrar m.c.d. (a, b) consta de los siguientes pasos:

1. Si a = 0 entonces m.c.d. (a, b)=b, ya que el m.c.d. (0, b)=b, y el proceso se detiene.
 Ecuaciones diofánticas.
Gerónimo Forteza

2. Si b = 0 entonces m.c.d. (a, b)=a, ya que el m.c.d. (a, 0)=a, y el proceso se detiene.  

3. Se escribe a en la forma cociente y residuo (a = b ⋅q + r).

4. Encontrar m.c.d. (b, r) utilizando el algoritmo de Euclides, ya que m.c.d. (a, b) = m.c.d. (b, r).

Ejemplo práctico de aplicación del algoritmo de Euclides tracicional:

Encontrar el m.c.d. de 270 y 192.

A=270, B=192. A ≠0 B ≠ 0
Utilizar la división para encontrar que 270/192 = 1 con un resto de 78.
Puede escribirse: 270 = 192 * 1 + 78
Encontrar el m.c.d. (192,78), ya que m.c.d. (270,192)=m.c.d. (192,78).
A=192, B=78. A ≠0 B ≠ 0
Utilizar la división para encontrar que 192/78 = 2 con un resto de 36.
Puede escribirse: 192 = 78 * 2 + 36
Encontrar el m.c.d. (78,36), ya que m.c.d. (192,78)=M.C.D. (78,36).
A=78, B=36. A ≠0 B ≠ 0
Utilizar la división para encontrar que 78/36 = 2 con un resto de 6.
Puede escribirse: 78 = 36 * 2 + 6
Encontrar el m.c.d. (36,6), ya que m.c.d. (78,36)=m.c.d. (36,6).
A=36, B=6. A ≠0 B ≠ 0
Utilizar la división para encontrar que 36/6 = 6 con un resto de 0.
Puede escribirse: 36 = 6 * 6 + 0
Encontrar el m.c.d. (6,0), ya que m.c.d. (36,6)=m.c.d. (6,0).
A=6, B=0. A ≠0 B =0, m.c.d. (6,0)=6.
Por tanto:
m.c.d. (270,192) = m.c.d. (192,78) = m.c.d. (78,36) = m.c.d. (36,6) = m.c.d. (6,0) = 6.
m.c.d. (270,192) = 6.

Al aplicar el algoritmo de Euclides en sentido inverso se pueden obtener los valores x e y para los
cuales a x + b y = d, donde d = m.c.d. (a, b). (Jordan Lluch, 2019)

c) Caso de tener solución ¿es única? o ¿Existen soluciones múltiples?

En una ecuación diofántica, caso de tener solución, ésta nunca es única. En cualquier caso, debe
analizarse el contexto del problema en cuestión, según la naturaleza de las variables x e y.
 Ecuaciones diofánticas.
Gerónimo Forteza

2.2 Ecuaciones diofánticas de la forma

2.3 Ecuaciones diofánticas de la forma

2.4 Ecuaciones diofánticas de la forma

3. Ejercicios resueltos de ecuaciones diofánticas lineales de la forma

Ejercicio 1:     Dada la ecuación diofántica   x + 2y = 5 Obtenga una solución particular y la expresión
general del conjunto de soluciones

Solución:      Ecuación diofántica  x + 2y = 5

                       Solución particular: x0 = 1,  y0 = 2
                       Todas las soluciones:   x = 1 + 2m,  y = 2 – m,  con m en Z.  (*)
                       Otra solución particular es    x1=15,  y1= –5 
                       Luego, todas las soluciones son de la forma:   x = 15 + 2k,  y = –5 – k,  con k en Z

Ejercicio 2

Determinar si las siguientes ecuaciones tienen o no soluciones enteras:

a)     
b)     
c)     
d)     

Solución:

a)     2x + 48y = 4   tiene soluciones enteras ya que MCD (2, 48) = 2 y 2 es divisor de 4.
 
b)     12x + 48y = 4   NO  tiene soluciones enteras ya que MCD (2, 48) = 12, y 12 no es divisor de 4.
 
c)     129x + 48y = 4  NO tiene soluciones enteras ya que MCD (129, 48) = 3, y 3 no es divisor de 4.
 
d)     117x + 55y = 1   tiene soluciones enteras ya que MCD (117, 55) = 1.
 Ecuaciones diofánticas.
Gerónimo Forteza

Ejercicio 3

Usando el algoritmo de Euclides calcule el MCD para los siguientes pares de números:

427, 616

    3551, 4399

    7826, 6279

Solución:

      427, 616
616 = 1·427 + 189            MCD (616, 427) = MCD (427, 189)
427 = 189·2 + 49             MCD (427, 189) = MCD (189, 49)
189 = 49·3 + 42                MCD (189, 49) = MCD (49, 42)
49 = 42·1 + 7                     MCD (49, 42) = MCD (42, 7)
42 = 7·6 + 0                      MCD (42, 7) = 7
Luego:  MCD (616, 427) = 7
 
    3551, 4399
4399 = 1·3551+ 848           MCD (4399, 3551) = MCD (3551, 848)
3551= 848·4 + 159             MCD (3551, 848) = MCD (848, 159)
848= 159·5 + 53                  MCD (848, 159) = MCD (159, 53)
159= 53·3 + 0                      MCD (159, 53) = 53
Luego:  MCD (4399, 3551) = 53
 
   7826, 6279
7826 = 1·6279+ 1547           MCD (7826, 6279) = MCD (6279, 1547)
6279 = 4·1547 + 91              MCD (6279, 1547) = MCD (1547, 91)
1547= 17·91 + 0                    MCD (1547, 91) = 91
Luego: MCD (7826, 6279) = 91

Ejercicio 4

a)     Encuentre solución (en los números enteros) de 129x+48y=4 o explique por que no existe.

b)     Encuentre solución (en los números enteros) de 117x+55y=1 o explique por que no existe.

c)     Encuentre solución (en los números enteros) de 427x+616y=7.

d)     Encuentre solución (en los números enteros) de 6279x+7826y=91.

Ecuaciones diofánticas.
Gerónimo Forteza

Solución:

a)     Ecuación  129x+48y=4
MCD (129, 48) =  3; 3 no es divisor de 4
Luego, la ecuación 129x+48y=4 no tiene soluciones enteras.
 
b)     117x+55y=1
MCD (129, 48) =  3; 3 no es divisor de 4
Luego, la ecuación 129x+48y=4 no tiene soluciones enteras.
 
c)     Encuentre solución (en los números enteros) de 427x+616y=7.
MCD (427, 616) =  7; 7 es divisor de 7
Luego, la ecuación 427x+616y=7 tiene soluciones enteras.
 
Encontrando una solución  de la ecuación 427x+616y=7 en los enteros:
616 = 1·427 + 189              MCD (616, 427) = MCD (427, 189)
427 = 2·189 + 49                MCD (427, 189) = MCD (189, 49)
189 = 3·49 +  42                 MCD (189, 49) = MCD (49, 42)
49 = 1·42 + 7                      MCD (49, 42) = MCD (42, 7) = 7
42 = 6·7 + 0
 
Luego:
      7 = 49 – 1·42  =  49 − 1(189 − 3·49) = 4·49 + (−1) ·189
      7 = 4· (427 − 2·189) + (–1) ·189 = 4·427 + (−9) ·189
      7 = 4· 427 + (−9) · (616 − 1·427)
      7 = 13· 427 + (−9) · 616
 
Así, una solución particular de la ecuación 427x + 616y=7 es x = 13, y = −9.
Por lo tanto, todas las soluciones de la ecuación 427x + 616y = 7 en los enteros son:
s = 13+88m       t = −9−61m   con m en Z
 
d)     Encuentre solución (en los números enteros) de 6279x+7826y=91.
MCD (6279, 7826) =  91; 91 es divisor de 91
Luego, la ecuación 6279x+7826y=91 tiene soluciones enteras.
 
Encontrando una solución de la ecuación 6279x+7826y=91en los enteros:
7826= 1· 6279+ 1547              MCD (7826, 6279) = MCD (6279, 1547)
6279= 4· 1547 + 91                 MCD (6279, 1547) = MCD (1547, 91)
1547 = 17· 91 +  0                 MCD (1547, 91) = 91
 
Luego:
      91 = 6279 − 4· 1547 =  6279 − 4· (7826 − 1· 6279)
 
Así, una solución particular de la ecuación 6279x+7826y=91 es  x = 5, y = −4.
 
Por lo tanto, todas las soluciones de la ecuación 6279x+7826y=91 en los enteros son:
s = 5+86m     t = −4−69m     con m en Z
 Ecuaciones diofánticas.
Gerónimo Forteza

Ejercicio 5

Hace algunos años  con $500 se podían comprar varias cosas. Por ejemplo Miguel compró plátanos y
manzanas gastando $563. Si un plátano costaba $13 y una manzana $7. ¿Que posibles combinaciones de
plátanos y manzanas podría haber adquirido Miguel? (OJO en este caso hay que buscar soluciones con
números no cero ni negativos

Solución:

Sean x= n° de plátanos, y=n° de manzanas.

El problema consiste en resolver la ecuación diofántica:
13x + 7y = 563
    Averiguaremos si tiene solución en los enteros: MCD (13, 7) =1

Luego, la ecuación 13x + 7y = 563  tiene solución en  los enteros.

     Determinaremos una solución particular, en los enteros:

13 = 1· 7 + 6
7 = 1· 6 + 1                   MCD (13,7) = MCD (7,6) = MCD (6,1) = 1
6 = 6· 1 + 0
 
1 = 7 − 1· 6 = 7 − 1· (13 − 1· 7)
1 = 2· 7 + (−1) · 13
Multiplicando por 563, se obtiene:
13· (–563) + 7· 1126 = 563
 
Así, una solución particular es: x0  = –563,  y0  = 1126
 
Luego, todas las soluciones en los enteros son:
 x = −563 +7m,  y =1126 − 13m,   con m en Z
 
Para determinar las soluciones en los enteros positivos, se debe resolver las inecuaciones:
 −563 +7m > 0     y    1126 − 13m > 0
Obteniendo:      81 ≤m ≤ 86
 
Por lo tanto, las soluciones en los enteros positivos son:

y:
m x: Plátanos
Manzanas
81 4 73
82 11 60
83 18 47
84 25 34
85 32 21
86 39 8
 Ecuaciones diofánticas.
Gerónimo Forteza

REFERENCIAS

Chinea, C. S. (2010). Acerca de las Ecuaciones Diofánticas Lineales. n.d.

Felizia, E. (2004). Las Ecuaciones Diofánticas. Ciencia hoy, 6(34), 21-24.

Gómez, A. R. (2004). Ecuaciones Diofánticas. Isagogé, 1(9).

Hitos, J. R. (2017). Ecuaciones diofánticas en enteros gaussianos. Pensamiento Matemático, 7(2), 21-26.

Jordan Lluch, C. (2019). Algoritmo de Euclides. n.d.

OcnoA, J. (1978). La ecuación Diofántica. Gaceta matemática: revista publicada por el Instituto" Jorge Juan"
de Matemáticas y la Real Sociedad Matemática Española.
Ecuaciones diofánticas.
Gerónimo Forteza
1
2
3