Sistema de ecuaciones diofánticas lineales

Un sistema de ecuaciones diofánticas lineales se define como $A{\vec {x}}={\vec {b}}$ de manera similar a un sistema de ecuaciones lineales clásico donde $a_{ij},b_{i},x_{i}\in \mathbb {Z}$ . En el caso de la ecuación diofántica se busca conseguir una única ecuación diofántica lineal usando sustitución y otros métodos comunes de la resolución de sistemas de ecuaciones lineales. Una vez se haya encontrado la solución de esta ecuación única se aplican las igualdades obtenidas para obtener el resultado de las demás incógnitas. Para que la ecuación tenga soluciones debe cumplir las condiciones necesarias de cualquier sistema de ecuaciones lineales y además $mcd(a_{i1},...,a_{ij})\mid b_{i}$ (El máximo común divisor de cada fila debe poder dividir a $b_{i}$ de su correspondiente fila).

Una única ecuación diofántica lineal

Definición

Una ecuación diofántica lineal se define como $ax+by=c$ donde $a,b,c\in \mathbb {Z}$ y $a,b\neq 0$ , y los pares de soluciones $(x,y)$ deben cumplir: $x,y\in \mathbb {Z}$ .^[1]

Estas ecuaciones se pueden expresar con congruencias:

$ax\equiv c{\pmod {b}}$

$by\equiv c{\pmod {a}}$

También se cumple que:

$(\exists x,y\{ax+by=c\land x,y\in \mathbb {Z} \})\Leftrightarrow (mcd(|a|,|b|)\mid c)$ ^[2]

Esto define que en la ecuación es condición necesaria y suficiente que c sea divisible por $mcd(|a|,|b|)$ para que la ecuación tenga soluciones y además el número de pares de soluciones es infinito.^[3]

Demostración que el número de soluciones es infinito si existe al menos una solución

Se puede demostrar esta afirmación mediante reducción al absurdo: suponemos que existe un único par que sea solución a la ecuación $ax+by=c$ , este par será denominado $(x_{0},y_{0})$ .

Se forma una combinación lineal $(x_{0}-bm,y_{0}+am)$ donde m es un entero arbitrario.

Sabiendo que $(x_{0},y_{0})$ es un par solución, se tiene la siguiente igualdad: $ax_{0}+by_{0}=c$ . Se quiere averiguar si la siguiente igualdad es verdadera:

$a(x_{0}-bm)+b(y_{0}+am)=ax_{0}+by_{0}$

$ax_{0}-abm+by_{0}+abm=ax_{0}+by_{0}$

$ax_{0}+by_{0}=ax_{0}+by_{0}$

Con esto se puede concluir que la igualdad es verdadera y por lo tanto:

$a(x_{0}-bm)+b(y_{0}+am)=c,\forall m\in \mathbb {\mathbb {Z} }$ ,

Sabiendo esto se puede afirmar que para cualquier m entero que se escoja en la combinación lineal, será solución de la ecuación haciendo que se produzca una contradicción con la hipótesis de partida, llevando por reducción al absurdo a que el número de soluciones es infinita si existe al menos una solución.

Además, la demostración que se ha empleado será similar para obtener todas las soluciones de la ecuación solo teniendo un par solución.

Resolución

Encontrar todas las soluciones a la ecuación diofántica lineal $ax+by=c$ .

El primer paso es averiguar si existen soluciones y a la vez intentar simplificar la ecuación, para ello se averigua el $mcd(|a|,|b|)$ y se realiza lo siguiente:

${\frac {ax}{mcd(|a|,|b|)}}+{\frac {by}{mcd(|a|,|b|)}}={\frac {c}{mcd(|a|,|b|)}}$ ^[2]

Si resulta que ${\frac {c}{mcd(|a|,|b|)}}$ no es un número entero la ecuación no tendrá solución como se especifica en la definición. El siguiente paso se trata de obtener que $(x_{0},y_{0})$ sean un par solución de la ecuación. En ocasiones se puede obtener este resultado de manera sencilla, pero en otras será necesario utilizar un método sistemático utilizando el Algoritmo de Euclides.

Y en último lugar, usando el par solución obtenido anteriormente se puede generalizar el par solución a un infinito par de soluciones utilizando el mismo procedimiento que en la demostración en la definición.

$(x,y)=(x_{0}-bm,y_{0}+am)$ o $(x_{0}+bm,y_{0}-am)$ , $\forall m\in \mathbb {Z}$

Corolarios

Corolario 1

Si $c|ab$ y $(c,a)=1$ , entonces $c|b$ ^[1]

Demostración

Definimos que $c|ab$ y $(c,a)=1$ . Como $(c,a)=1$ existen enteros $x$ e $y$ tal que: $cx+ay=1$ .

Multiplicando ambos lados de la ecuación por $b$ se obtiene: $bcx+bay=b$ .

Como $c|bx$ y $c|bay$ (como $c|ab$ ), entonces se debe obtener que $c|b$ tal como se quería demostrar.^[1]

Corolario 2

Si $(a,b)=d$ , $c|a$ y $c|b$ entonces $c|d$ ^[1]

Demostración

Como $(a,b)=d$ existen enteros $x$ e $y$ tal que: $ax+by=d$ . Si $c|a$ y $c|b$ entonces: $c|(ax+by)$ .

Como $ax+by=d$ se debe tener que $c|d$ ^[1]

Corolario 3

Si $(a,b)=1$ , $a|m$ , y $b|m$ entonces $ab|m$ ^[1]

Demostración

Como $a|m$ y $b|m$ , existen enteros $q_{1}$ y $q_{2}$ tal que: $aq_{1}=m$ y $bq_{2}=m$ . Por consecuencia: $aq_{1}=bq_{2}$ .

Tenga en cuenta que $a|bq_{2}$ y $(a,b)=1$ . Por el corolario 1, se puede observar que $a|q_{2}$ . Por lo tanto existe algún entero $r$ tal que: $ar=q_{2}$ .