0211.

00
Ecuaciones Diofnticas

3 487002 110000
(c) 2012 Leandro Marin

1. Introduccin Una ecuacin diofntica es una ecuacin con coecientes enteros y de la que tenemos que calcular las soluciones enteras. En este tema aprenderemos a deducir cuando tienen solucin y a calcular sus soluciones cuando las tengan, las ecuaciones diofnticas ms sencillas, las de la forma a x + b y = c siendo x e y las incgnitas y a, b y c nmeros enteros. Fijmonos por ejemplo en la ecuacin 4 x + 6 y = 1. Si x e y tienen que ser nmeros enteros, sean cuales sean los valores elegidos, el primer miembro siempre ser un nmero par, puesto que 4 x + 6 y = 2(2 x + 3 y ) por lo tanto en ningn caso podramos obtener el 1. ste es un ejemplo de ecuaciones diofnticas que no tienen solucin. El ejemplo se puede generalizar si podemos sacar un factor comn de a y b que no divida a c . Para analizar este caso empecemos viendo lo que es el mximo comn divisor. 2. Mximo comn divisor Dados dos nmeros enteroa a y b, diremos que a divide a b si existe otro nmero entero c tal que ac = b. Esta relacin se suele representar como a| b y tambin se dice que b es un mltiplo de a o que a es un divisor de b. Si a es un divisor de b entonces a tambin es un divisor de b puesto que si ac = b entonces ( a)( c ) = b. Entonces cada divisor de un nmero tiene siempre a su correspondiente divisor de signo contrario. Podemos pues considerar nicamente divisores positivos teniendo presente que los divisores negativos cumplen las mismas propiedades. Dados dos nmeros a y b, podemos considerar el conjunto de divisores comunes entre los dos. De entre todos ellos habr uno que es el ms grande de todos, al divisor comn ms grande de todos lo llamaremos mximo comn divisor y lo denotaremos mcd (a, b). Veamos un ejemplo: Consideremos a = 12 y b = 16. Podemos calcular los divisores positivos de 12 que son {1, 2, 3, 4, 6, 12} y los divisores positivos de 16 que son {1, 2, 4, 8, 16}, los comunes a ambos nmeros son {1, 2, 4} y el ms grande de todos ellos es 4 que ser por tanto el mximo comn divisor. Este mtodo de clculo es muy poco efectivo si lo aplicamos a nmeros grandes. Para nmeros grandes, se utiliza un algoritmo muy sencillo que est basado en dos propiedades:

(1) Dados dos nmeros a y b, si a| b entonces todo divisor de a es un divisor de b y en particular, como a es el mayor divisor de a, deducimos que mcd (a, b) = a. (2) Dados dos nmeros a y b, sea r el resto de dividir a entre b, entonces a = bq + r y los divisores comunes de a y b son los mismos que los de b y r , por lo tanto mcd (a, b) = mcd ( b, r ). (Si d divide a a y b entonces a = a d y b = b d y por tanto r = a bq = d (a b q ). Recprocamente si b = b d y r = r d entonces a = d ( b q + r )). Estas dos propiedades hacen que podamos calcular el mximo comn divisor reduciendo paulatinamente el tamao de los nmeros calculando el resto de la divisin hasta que lleguemos a que el segundo nmero divida exactamente al primero, en cuyo caso tendremos ya el mximo comn divisor. En forma de tabla, el algoritmo es el siguiente: Partimos de los valores de los cuales queremos calcular el mximo comn divisor, por ejemplo 360 y 228, llamndolos por ejemplo a y b. En cada paso calculamos el resto de dividir a entre b y lo llamamos r . Como sabemos que el mximo comn divisor de a y b es el mismo que el de b y r , cambiamos a y b por b y r . Esto lo hacemos mientras la divisin no sea exacta, en cuyo caso el valor que haya quedado en b es el mximo comn divisor. Si hacemos un paso ms, podemos continuar el proceso hasta que no se pueda hacer la divisin porque tengamos que dividir por 0, en ese caso el resultado estar en a. En este ejemplo llegamos al mximo comn divisor 12. a 360 228 132 96 36 24 12 b 228 132 96 36 24 12 0 r 132 96 36 24 12 0 q 1 1 1 2 1 2

Si alguno (o los dos) valores son negativos, podemos tomarlos positivos para el clculo de mximo comn divisor ya que los divisores de a son los mismos que los de a y mcd (a, b) = mcd ( a, b).

Si b es ms grande que a, este algoritmo sigue funcionando sin ningn problema, simplemente la primera divisin nos proporcina un cociente 0. 3. Mximo comn divisor extendido Una de las propiedades ms interesantes que tiene el mximo comn divisor d de dos nmeros a y b, es que podemos encontrar valores u y v enteros tal que d = au + bv . El clculo efectivo de dichos valores es necesario entre otras cosas para la resolucin de ecuaciones diofnticas. Vamos a ver un procedimiento para calcular dichos coecientes que requiere nicamente el clculo de dos columnas adicionales en la tabla del mximo comn divisor que hemos visto antes. Estas dos columnas las llamaremos v y t y tendrn inicialmente los valores 0 y 1 respectivamente. En cada paso, el valor de v tomar el valor de t el paso anterior y el valor de t ser v tq para los valores ( v, t ) del paso anterior. Por ejemplo, en la segunda la de esta tabla t toma el valor 0 1 1 = 1 y en la tercera 1 (1) 1 = 2. a 360 228 132 96 36 24 12 b 228 132 96 36 24 12 0 r 132 96 36 24 12 0 v 0 1 1 2 3 8 11 t 1 1 2 3 8 11 q 1 1 1 2 1 2

Al llegar al nal obtenemos el mximo comn divisor 12 y el valor que queda en la columna v el el coeciente que buscamos de b. Es decir 12 = u 360 + (11) 228 El clculo del segundo coeciente se hace despejando de la ecuacin anterior u 360 = 12 + 11 228 = 12 + 2508 = 2520 por lo que u = 2520/360 = 7. El resultado nal es pues 12 = 7 360 + (11) 228 Si alguno de los valores a o b (lo los dos) son negativos, podemos hacer el clculo como si fueran positivos y ajustar el signo al nal. Por ejemplo,

supongamos que tenemos que hacer el mximo comn divisor extendido de 360 y 228, entonces hacemos el de 360 y 228 y obtenemos 12 = 7 360 + (11) 228 Entonces ponemos un signo negativo en 360 y para compensarlo cambiamos el signo de su coeciente 7 que pasa a 7, con lo que tenemos 12 = (7) (360) + (11) 228 4. Frmula General para la Ecuacin Diofntica Vamos a utilizar el algoritmo del mximo comn divisor extendido para resolver una ecuacin diofntica del tipo a x + b y = m. Lo primero que tenemos que tener presente es que si d es un divisor comn de a y b, entonces se puede sacar factor comn del primer miembro, con lo que podemos estar seguros de que si m no es un mltiplo exacto de d , la ecuacin no tiene solucin. Al tener que suceder sto para todos los divisores comunes de a y b, tiene que suceder en particular para el mximo comn divisor de a y b. Esto ser lo primero que comprobaremos, si el mximo comn divisor de a y b no divide a m podemos estar seguros de que la ecuacin no tiene solucin. Si esa divisin es exacta, entonces podemos garantizar que la ecuacin tiene innitas soluciones y para calcularlas lo que hacemos es aplicar el algoritmo del mximo comn divisor extendido de a y b, poniendo d = au + bv para ciertos valores u y v . Con esa notacin, las soluciones de la ecuacin son: x = u ( m/ d ) + t ( b / d ) y = v ( m/ d ) t ( a / d ) Donde t puede tomar cualquier valor de (las soluciones son innitas). Comprobar que estos valores son solucin de la ecuacin es sencillo a x + b y = aum/d + t a b/m+ bvm/d t a b/m = (au+ bv )m/d = d m/d = m La demostracin de que son las nicas soluciones posibles no es tan trivial, pero no es difcil. Vamos a ver cmo se aplica con un ejemplo: Supongamos que tenemos que resolver la ecuacin 24 = 360 x + 228 y . Calculamos el mximo comn divisor extendido y obtenemos que 12 = (7) (360) + (11)

228, entonces tenemos que m = 24, d = 12, a = 360, u = 7, v = 11 y b = 228. Poniendo las frmulas tenemos que x = u (m/d ) + t ( b/d ) = 7 2 + t 19 = 14 + 19 t y = v (m/d ) t (a/d ) = 11 2 t (30) = 22 + 30 t