Ecuaciones Diofantinas* Lineales

Solo números enteros, por favor.

Diofanto
Diofanto de Alejandría

¿Podemos resolver una ecuación usando solo números enteros?

ax + by = c

Es lineal porque las variables x y y no tienen exponentes como x2, etc.

Y se llaman Diofantinas por Diofanto, a quien le encantaba jugar con enteros.

*Las ecuaciones Diofantinas también se conocen como Diofánticas.

tazón

Ejemplo: Johana vendió algunos tazones en el mercado a $21 cada uno y compró algunos jarrones a $15 cada uno para obtener una ganancia de $33.

¿Cuántos tazones vendió y cuántos jarrones compró?

Lo escribimos como ecuación:

21x − 15y = 33

Intenta resolver esto tú mismo primero...

 

... OK, tengo esta solución:

21×3 − 15×2 = 33

Entonces, una solución es que Johana vendió 3 tazones y compró 2 jarrones.

Esa era una ecuación lineal diofántica.

Prueba un poco más tú mismo (usa los controles deslizantes):

images/dio-linear.js

¡Pero podemos quedarnos estancados!

Ejemplo: ¿Podría Johana haber obtenido una ganancia de $34?

21x − 15y = 34 ...?

Lo intenté pero no tuve éxito. Lo más cerca que estuve fue:

  • 21×3 − 15×2 = 33, o
  • 21×1 + 15×1 = 36

Pero no encontré nada entre 33 y 36.

¿Por qué ocurre eso?

Esto se debe a que:

15 = 3 × 5
21 = 3 × 7

no podemos evitar la parte "3 ×"

Observa también los múltiplos de 15 y 21 juntos:

múltiplos de 15 y 21
Todas las diferencias son múltiplos de 3.

Entonces, en 21x − 15y = c solo podemos crear valores de c que sean múltiplos de 3.

Puede haber más de un factor en común, por lo que para asegurarnos de obtenerlos todos utilizamos el máximo factor común.

Pasos

Nos gusta seguir estos pasos:

Un ejemplo ayudará:

Ejemplo: 66x + 27y = 9

Ya en forma estándar.

Usamos el algoritmo euclidiano para encontrar el máximo común divisor:

Empezamos con: 66/27 = 2 R 12
Sea a=b=27 y b=r=12: 27/12 = 2 R 3
Sea a=b=12 y b=r=3: 12/3 = 4 R 0

El máximo común divisor es 3. Y 9 es múltiplo de 3, así que podemos continuar.

Ahora usemos el algoritmo euclidiano al revés, pero comencemos reescribiendo cada paso así:

resto = 1(dividendo) − cociente(divisor)

66/27 = 2 R 12 → 12 = 1(66) − 2(27)
27/12 = 2 R 3 → 3 = 1(27) − 2(12)
12/3 = 4 R 0 → (ignoramos el último paso)

y hacemos una sustitución hacia atrás con este patrón:

método de sustitución

de este modo:

Empezamos con: 3 = 1(27) − 2(12)
12 = 1(66) − 2(27), entonces: 3 = 1(27) − 2(1(66) − 2(27))
Simplificamos: 3 = 5(27) − 2(66)

En forma ax + by = c, es decir:

−2(66) + 5(27) = 3

Pero queremos c=9, así que multiplicamos todos los términos por 3:

−6(66) + 15(27) = 9

Tenemos una solución: x = −6 y y = 15

Infinidad...

¡Pero hay más soluciones!

Volvamos al primer ejemplo:

Ejemplo: 21x − 15y = 33

Tenemos esta solución:

21×3 − 15×2 = 33

Pero al observar nuestra ilustración anterior, observa que en 105 la diferencia vuelve a ser cero

múltiplos de 15 y 21

De hecho, 21×5 − 15×7 = 0, entonces podemos hacer esto:

Nuestra solución:21×3 − 15×2 = 33
Nuestra ecuación "igualada a cero":21×5 − 15×7 = 0
Suma las dos ecuaciones y obtén esto:21×8 − 15×9 = 33

¡Tenemos otra solución!

Es posible que Johana haya vendido 8 tazones y haya comprado 9 jarrones.

De hecho, podemos sumar cualquier múltiplo de 21×5 − 15×7 = 0 para obtener nuevas soluciones, infinitas de ellas:

21×(3+5n ) − 15×(2+7n ) = 33

Donde n = cualquier número entero.

El truco

¿Cómo encontramos la ecuación "igualada a cero"?

El truco consiste en usar a y b pero reducidos por el máximo factor común divisor de esta manera:

abmfc − bamfc = 0

Entonces obtenemos esto:

Una solución:21×3 − 15×2 = 33
Ecuación "igualada a cero":21×153 − 15×213 = 0
Simplificamos a:21×5 − 15×7 = 0
Nos da todas las soluciones:21×(3+5n) − 15×(2+7n) = 33

Y para el ejemplo anterior:

Una solución:66×(−6) + 27×15 = 9
Ecuación "igualada a cero":66273 − 27×663 = 0
Simplificamos a:66×9 − 27×22 = 0
Nos da todas las soluciones:66×(−6+9n) + 27×(15−22n) = 9

Ejemplo más grande, hecho más rápido

Ejemplo: 1512x + 444y = 96

Ya está en forma estándar.

Usamos el algoritmo euclidiano para encontrar el máximo factor común, y también escribir en estilo "Residuo=":

Algoritmo Euclideano En estilo "Residuo="
1512/444 = 3 R 180 180 = 1(1512) − 3(444)
444/180 = 2 R 84 84 = 1(444) − 2(180)
180/84 = 2 R 12 12 = 1(180) − 2(84)
84/12 = 7 R 0 (no es necesario)

El máximo factor común es 12. Y 96 es múltiplo de 12, así que podemos continuar.

Ahora haz una sustitución hacia atrás con este patrón:

método de sustitución

De este modo:

Empieza con: 12 = 1(180) − 2(84)
84 = 1(444) − 2(180), entonces: 12 = 1(180) − 2(1(444) − 2(180))
Simplifica: 12 = 5(180) − 2(444)
180 = 1(1512) − 3(444), entonces: 12 = 5(1(1512) − 3(444)) − 2(444)
Simplifica: 12 = 5(1512) − 17(444)

En la forma ax + by = c, es decir:

1512(5) + 444(−17) = 12

Pero queremos c=96, así que multipliquemos todos los términos por 8:

1512(40) + 444(−136) = 96

Obtenemos esta solución: x = 40 e y = −136

Intenta encontrar tú mismo la solución completa.

Otros tipos

Existen otros tipos de ecuaciones diofánticas lineales como ax + by + cz = d.

Y hay muchos tipos de ecuaciones diofantinas para analizar y jugar con ellas.

 

¡Refuerza tu aprendizaje resolviendo los siguientes retos sobre este tema! (Nota: están en inglés).

25383, 25384, 25385, 25386, 25387