Apuntes de Matemtica Discreta a 12.

Ecuaciones Diofnticas a

Francisco Jos Gonzlez Gutirrez e a e

Cdiz, Octubre de 2004 a

Universidad de Cdiz a

Departamento de Matemticas a

ii

Leccin 12 o

Ecuaciones Diofnticas a
Contenido
12.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343 12.1.1 Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343 o 12.2 Solucin de una Ecuacin Diofntica . . . . . . . . . . . . . . . . . . . . . . . 343 o o a 12.2.1 Solucin Particular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344 o 12.2.2 Solucin General . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345 o

12.1

Generalidades

Estas ecuaciones reciben este nombre en honor a Diofanto1 , matemtico que trabaj en Alejandr a a o a mediados del siglo III a.c. Fue uno de los primeros en introducir la notacin simblica en matemticas o o a y escribi seis libros sobre problemas en las que consideraba la representacin de nmeros anterior como o o u suma de cuadrados.

12.1.1

Denicin o

Una ecuacin diofntica es una ecuacin lineal con coecientes enteros y que exige soluciones tambin o a o e enteras.

12.2

Solucin de una Ecuacin Diofntica o o a

Veremos un teorema que nos permite saber cuando una ecuacin de este tipo tiene solucin y aporta un o o mtodo para calcular una solucin particular de la misma. e o
1 Matemtico griego de la escuela de Alejandr (a.c. 325-a.c. 410). Dej trece libros de aritmtica, de los cuales slo a a o e o los seis primeros nos han llegado, y otro sobre los Nmeros angulares. Aunque tom como ejemplo para sus mtodos los u o e trabajos de Hiparco, su teor completamente nueva de ecuaciones de primer grado y la resolucin que dio a las de segundo a o hacen de l un innovador en este campo. Sus obras han constituido tema de meditacin de sus contemporneos griegos, y de e o a los rabes, y, ms tarde, de los gemetras del renacimiento. El mismo Viete en su obra capital, reproduce sus proposiciones, a a o aunque sustituye los problemas abstractos por cuestiones de geometr resolubles por lgebra. a a

343

Universidad de Cdiz a

Departamento de Matemticas a

12.2.1

Solucin Particular o

Sean a, b y c tres nmeros enteros. La ecuacin lineal ax + by = c tiene solucin entera si, y slo si u o o o el mximo comn divisor de a y b divide a c. a u Demostracin o Slo si. En efecto, supongamos que los enteros x0 e y0 son solucin de la ecuacin ax + by = c, es o o o decir, ax0 + by0 = c. Pues bien, si d = m.c.d.(a, b), entonces d = m.c.d.(a, b) = d|a y d|b = d|ax0 + by0 = d|c Si. Rec procamente, supongamos que d = m.c.d.(a, b) es divisor de c. Entonces, m.c.d.(a, b) = d = = m.c.d. a b , d d =1

p, q Z : a

a b p+ q =1 d d

cq cp +b =c d d

siendo c/d entero ya que, por hiptesis, d es divisor de c. Ahora bastar tomar o a x0 = y tendr amos que ax0 + by0 = c es decir los enteros x0 e y0 son solucin de la ecuacin. o o La solucin encontrada se llamar solucin particular del sistema. o a o Obsrvese que este teorema adems de asegurar la existencia de solucin para una ecuacin de este tipo, e a o o ofrece un mtodo para calcularla. El siguiente ejemplo aclarar estas cuestiones. e a Ejemplo 12.1 Solucin o Veamos si existe solucin entera para la ecuacin. o o Calculamos el mximo comn divisor de 525 y 100 mediante el algoritmo de Euclides. a u 5 525 25 es decir, m.c.d. (525, 100) = 25 y como 25 divide a 50, el teorema anterior asegura la existencia de solucin entera para la ecuacin. o o Calculamos una solucin para la ecuacin. o o Siguiendo el mtodo indicado en la demostracin del teorema, hallamos los coeficientes de la come o binacin lineal del mximo comn divisor de 525 y 100. Bastar seguir el algoritmo de Euclides o a u a hacia atrs. a 25 = 1 525 + (5) 100 344 100 0 4 25 Encontrar una solucin para la ecuacin diofntica 525x + 100y = 50 o o a cp cq e y0 = d d

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

por tanto, los coeficientes buscados son p = 1 y q = 5 y segn el citado teorema una solucin u o para la ecuacin ser o a cp cq x0 = e y0 = d d donde c es el trmino independiente de la ecuacin y d el mximo comn divisor de los coeficientes e o a u de x e y. Consecuentemente, 50 1 x0 = =2 25 e 50 (5) y0 = = 10 25

12.2.2

Solucin General o

Sean a, b y c tres nmeros enteros no nulos tales que el mximo comn divisor de a y b divide a c. u a u Entonces la solucin general de la ecuacin ax + by = c es o o x = x0 + k b d a y = y0 k d

donde x0 e y0 es una solucin particular de la misma y k es cualquier nmero entero. o u Demostracin o Sea d el mximo comn divisor de a y b. Por hiptesis d divide a c luego el teorema 12.2.1 asegura la a u o existencia de una solucin particular x = x0 e y = y0 para el sistema. Entonces, o ax0 + by0 = c Dividiendo ahora ambos miembros de esta ecuacin por el mximo comn divisor de a y b, tendremos, o a u a b c x0 + y0 = d d d siendo c entero y d y como 1 divide a ecuacin, luego o a b , nmeros enteros primos entre s luego el mximo comn divisor de ambos es 1 u , a u d d c , el teorema 12.2.1 asegura la existencia de una solucin particular x1 , y1 para esta o d b c a x1 + y1 = d d d Pues bien, a x1 + d a x0 + d b c y1 = d d b c y0 = d d = a b (x1 x0 ) + (y1 y0 ) = 0 d d a b (x1 x0 ) = (y0 y1 ) d d b a (x1 x0 ) d d

= y al ser b a primo con , dividir a x1 x0 , luego a d d

b b b |x1 x0 k Z : x1 x0 = k = x1 = x0 + k . d d d 345

Universidad de Cdiz a Sustituimos el valor de x1 x0 en a b (x1 x0 ) + (y1 y0 ) = 0 y resulta d d

Departamento de Matemticas a

a b b a a k + (y1 y0 ) = 0 = k + y1 y0 = 0 = y1 = y0 k . d d d d d Veamos, finalmente, que x1 e y1 es solucin de la ecuacin ax + by = c. o o En efecto, ax1 + by1 = a x0 + k b d + b y0 + k a d

= ax0 + a k = ax0 + by0 = c luego,

b a + by0 b k d d

x = x0 + k y = y0 k

b d a d

es solucin de la ecuacin ax + by = c cualquiera que sea k Z. La llamaremos solucin general de dicha o o o ecuacin. o Nota 12.1 En el ejemplo anterior, ten amos que x0 = 2 e y0 = 10 era una solucin particular para la ecuacin o o 525x + 100y = 50 luego una solucin general de la misma, ser: o a 100 = 2 + 4k 25 525 y = 10 k = 10 21k 25 x=2+k siendo k cualquier nmero entero. u Ejemplo 12.2 Solucin o Calcular las soluciones enteras de la ecuacin diofntica 66x + 550y = 88 o a

66x + 550y = 88 Veamos si la ecuacin admite solucin entera. o o Calculamos el mximo comn divisor de 66 y 550 por el algoritmo de Euclides. a u 8 550 22 346 66 0 3 22

Matemtica Discreta a luego, m.c.d. (66, 550) = 22

Francisco Jos Gonzlez Gutirrez e a e

y como 22 divide a 88, trmino independiente de la ecuacin, por el teorema 12.2.1 se sigue que la e o ecuacin propuesta admite una solucin particular x = x0 , y = y0 . o o Calculamos esta solucin particular. o Volviendo hacia atrs en el algoritmo de Euclides, tendremos a 22 = (8) 66 + 1 550 luego, x0 = y0 = es una solucin particular de la ecuacin. o o Calculemos ahora la solucin general. o Segn lo visto en el teorema 12.2.2 si una solucin particular de la misma es x0 = 32 e y0 = 4, u o entonces la solucin general es: o 550 = 32 + 25 k x = 32 + k 22 66 y =4k = 4 3k 22 siendo k cualquier nmero entero. u Ejemplo 12.3 Una persona va a un supermercado y compra 12 litros de leche, unos de leche entera y otros de desnatada, por 1200 ptas. Si la leche entera vale 30 ptas. ms por litro que la desnatada, y ha a comprado el m nimo posible de leche desnatada, Cuntos litros habr comprado de cada una? a a Solucin o Si x el nmero de litros de leche entera, entonces 12 x es el nmero de litros de leche desnatada y si y u u es el precio de la leche desnatada, entonces el precio de la leche entera ser y + 30. a Como el precio total de la leche comprada es 1200, tendremos que x(y + 30) + y(12 x) = 1200 de aqu que xy + 30x + 126 xy = 1200 o sea, 30x + 12y = 1200 Veamos si esta ecuacin admite soluciones enteras. Hallamos el mximo comn divisor de 30 y 12 o a u por el algoritmo de Euclides. 2 30 6 347 12 0 2 6 88 (8) = 32 22 88 1 =4 22

Universidad de Cdiz a luego, m.c.d. (30, 12) = 6

Departamento de Matemticas a

y dado que 6 divide a 1200, la ecuacin planteada admite soluciones enteras. o Calculamos una solucin particular. o Como m.c.d. (30, 12) = 6, existirn 2 nmeros enteros p y q tales que 6 pueda expresarse como a u combinacin lineal de 30 y 12 con coecientes enteros. Los hallaremos volviendo hacia atrs en el o a algoritmo de Euclides. 6 = 1 30 + (2) 12 luego entonces los coeficientes buscados son 1 y 2 y la solucin particular de la ecuacin es o o 1200 1 = 200 6 1200 (2) = 400 6

x0 = y0 =

La solucin general ser: o a x = 200 + k 12 = 200 + 2k 6 30 = 400 5k 6

y = 400 k siendo k cualquier nmero entero. u

Veamos, finalmente, cuantos litros se han comprado de cada tipo de leche. Segn lo visto hasta ahora, la cantidad de leche entera es u Ce = 200 + 2k : k Z y la cantidad de leche desnatada ser, por tanto, a Cd = 12 Ce = 12 200 2k = 188 2k : k Z Pues bien, suponiendo que se compra alguna cantidad de leche desnatada, tendremos que 0 < Ce < 12 0 < 200 + 2k < 12 200 < 2k < 188 100 < k < 94 k {99, 98, 97, 96, 95}

y la cantidad m nima de leche desnatada se corresponder con la mxima de leche entera y esta se a a da para el valor mximo que pueda tener k, es decir para k = 95. Por tanto, a Ce = 200 + 2(95) = 200 190 = 10 Cd = 12 Ce = 2 o sea, se compraron 10 litros de leche entera y 2 litros de leche desnatada. Ejemplo 12.4 Hallar los valores de c Z+ , con 10 < c < 20 para los cuales no tiene solucin la o ecuacin diofntica 84x + 990y = c. Determinar la solucin para los restantes valores de c. o a o Solucin o 348

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

La ecuacin 84x + 990y = c admitir solucin entera si, y slo si el mximo comn divisor de 84 y o a o o a u 990 divide a c. Hallamos dicho mximo comn divisor por el algoritmo de Euclides. a u 11 990 66 luego m.c.d. (84, 990) = 6 entonces, 84x + 990y = c tiene solucin entera 6 |c q Z : c = 6 q o y como 10 < c < 20, tendremos que las opciones posibles para las que la ecuacin tiene solucin o o son c = 12 y c = 18 por tanto los valores de c para los que la ecuacin no admite solucin entera sern: o o a 11, 13, 14, 15, 16, 17 y 19 Calculamos una solucin particular para la ecuacin propuesta. o o Volviendo hacia atrs el clculo hecho en el algoritmo de Euclides, tendremos a a 6 = 18 1 12 12 = 66 3 18 6 = 1 66 + 4 18 18 = 84 1 66 6 = 4 84 5 66 66 = 990 11 84 luego, 6 = 59 84 + (5) 990 Solucin para c = 12. o Una solucin particular es o x0 = y0 = La solucin general es o x = 118 + k y = 10 k siendo k cualquier nmero entero. u 349 990 = 118 + 165k 6 84 = 10 14k 6 12 59 = 118 6 12 (5) = 10 6 = 6 = = 6 = 6 = 84 18 1 66 12 3 18 6 1 12 0 2 6

18 1(66 3 18)

= 1 66 + 4 18 = 1 66 + 4(84 1 66) = 4 84 5 66 4 84 5(990 11 84)

= 5 990 + 59 84

Universidad de Cdiz a Solucin para c = 18. o Una solucin particular es o x0 = y0 = La solucin general es o x = 177 + k y = 15 k siendo k cualquier nmero entero. u Ejemplo 12.5 Hallar las soluciones enteras de la ecuacin o 990 = 177 + 165k 6 84 = 15 14k 6 18 59 = 177 6 18 (5) = 15 6

Departamento de Matemticas a

(x + y)(x y) + (2x + 2y 3)y 2(x 7) = x + y + 3 Solucin o Elevando al cuadrado ambos miembros x2 y 2 + 2xy + 2y 2 3y 2x + 14 = x2 + y 2 + 2xy + 6x + 6y + 9 y simplificando, resulta 8x + 9y = 5 Veamos si tiene soluciones enteras. 8 y 9 son primos entre s luego , m.c.d. (8, 9) = 1 y como 1 divide a 5, trmino independiente de la ecuacin, esta tendr soluciones enteras. e o a Calculamos una solucin particular o El mximo comn divisor de 8 y 9 escrito en combinacin lineal de ambos, es a u o 1 = (1) 8 + 1 9 luego una solucin particular es: o x0 = y0 = La solucin general, por tanto, ser o a x = 5 + 9k y = 5 8k siendo k cualquier nmero entero. u 350 5 (1) = 5 1 51 =5 1

Matemtica Discreta a

Francisco Jos Gonzlez Gutirrez e a e

Ejemplo 12.6 Una mujer tiene un cesto de manzanas. Haciendo grupos de 3 sobran 2 y haciendo grupos de 4 sobran 3. Hallar el nmero de manzanas que contiene el cesto sabiendo que estn entre 100 u a y 110. Solucin o Sean x e y los nmeros de grupos de tres y cuatro manzanas, respectivamente. Si N es el nmero total u u de manzanas que contiene el cesto, tendremos 3x + 2 = N 4y + 3 = N y restando miembro a miembro, resulta 3x 4y = 1 Veamos si esta ecuacin tiene soluciones enteras. o Como m.c.d. (3, 4) = 1 y 1 divide a 1, trmino independiente de la ecuacin, resulta que la misma e o admite soluciones enteras. Solucin particular o 1 = (1) 3 + (1)(4) luego, x0 = y0 = 1 (1) = 1 1 1(1) = 1 1

es una solucin particular de la ecuacin. o o Solucin general o x = 1 + y =1 siendo k cualquier nmero entero. u Calculemos, finalmente, cuantas manzanas hay en el cesto. 3x + 2 = N x = 1 4k y como 100 tendremos 100 12k 1 110 = = = y como k es un nmero entero, tendremos que u k = 9 351 N 110 101 k 12 111 k 12 9.25 k 111 12 101 12 8.42 = 3(1 4k) + 2 = N = N = 12k 1 4 k = 1 4k 1

3 k = 1 3k 1

Universidad de Cdiz a Consecuentemente, N = 12(9) 1 = 108 1 = 107 es decir el cesto contiene 107 manzanas.

Departamento de Matemticas a

Ejemplo 12.7 Hallar el menor nmero de cuatro cifras que dividido por 4, 7 y 11 da resto 3, y que u dividido por 13 da resto 1. Solucin o Sea n el nmero buscado, entonces por el algoritmo de la divisin existen q1 , q2 y q3 tales que u o n = 4 q1 + 3 = n 3 = 4 q1 n = 7 q2 + 3 = n 3 = 7 q2 n = 11 q3 + 3 = n 3 = 11 q3 luego 4 |n 3 , 7 |n 3 y 11 |n 3 es decir, n 3 es un mltiplo comn a 4,7 y 11, por tanto ha de ser mltiplo de su m u u u nimo comn u mltiplo y al ser u m.c.m.(4, 7, 11) = 4 7 11 = 308 ser a 308 |n 3 luego existir un entero x tal que a n 3 = 308x es decir, n = 308x + 3 Por otro lado y tambin por el algoritmo de la divisin, existir un entero y tal que e o a n = 13y + 1 por tanto, n = 308x + 3 n = 13y + 1 Veamos si esta ecuacin admite soluciones enteras. o Calculamos el mximo comn divisor de 308 y 13 por el algoritmo de Euclides. a u 23 308 9 luego m.c.d. (308, 13) = 1 y 1 divide a 2, trmino independiente de la ecuacin, luego tiene soluciones enteras. e o Solucin particular o Buscamos los coeficientes enteros de 1 expresado como combinacin lineal de 308 y 13. o 1=924 4 = 13 1 9 1 = 2(13) + 3 9 9 = 308 23 13 = 1 = = 352 = 1 = = 13 4 1 9 1 2 4 0 4 1 = 308x 13y = 2

9 2(13 1 9) 2(13) + 3 9 2(13) + 3 [308 + 23 (13)] 3 308 + 71 (13)

Matemtica Discreta a luego 1 = 3 308 + 71 (13) y una solucin particular es: o x0 = y0 = (2) 3 6 1 (2) 71 142 1

Francisco Jos Gonzlez Gutirrez e a e

Solucin general o x = 6 + k 13 = 6 13k 1 308 = 142 308k 1

y = 142 k donde k es cualquier nmero entero. u Calculemos, finalmente, el nmero pedido. u n = 308x + 3 x = 6 13k y al ser n > 0, tendremos 1845 4004k > 0 = k <

= n = 308(6 13k) + 3 = 1845 4004k

1845 = k < 0.46 = k 4004

y el nmero ms pequeo se producir para el valor ms alto de k. u a n a a Para k = 1, n = 1845 4004(1) = 2159 y es el menor nmero de cuatro cifras que cumple las condiciones del enunciado. u Ejemplo 12.8 Un granjero gast 100.000 pts. en 100 animales entre pollos, conejos y terneros. Si los o pollos los compr a 50 pts, a 1000 pts. los conejos y a 5000 pts. los terneros y adquiri animales de las o o tres clases, Cuntos animales compr de cada clase? a o Solucin o Sean x, y y z el nmero de pollos, conejos y terneros, respectivamente. De acuerdo con el enunciado u tendremos el siguiente sistema de ecuaciones: x + y + z = 100 = 50x + 1000y + 5000z = 100000 = x + y + z + 19y + 99z = 2000 = 100 + 19y + 99z = 2000 Veamos si la ecuacin propuesta tiene soluciones enteras. o Calculamos el mximo comn divisor de 19 y 99 por el algoritmo de Euclides. a u 353 x + 20y + 100z = 2000 x + y + z = 100 x + y + z = 100

Universidad de Cdiz a 5 99 4 luego, m.c.d. (19, 99) = 1 19 3 4 4 1 1 3 0 3 1

Departamento de Matemticas a

y como 1 divide a 1990, trmino independiente de la ecuacin, esta tiene soluciones enteras. e o Calculamos una solucin particular o Expresamos 1 como combinacin lineal de 19 y 99 volviendo hacia atrs los clculos en el o a a algoritmo de Euclides. 1=413 3 = 19 4 4 1 = 1 19 + 5 4 4 = 99 5 19 luego, 1 = (26) 19 + 5 99 por tanto, una y0 = z0 = La solucin general ser, o a y = 49400 + k z = 9500 k siendo k cualquier nmero entero. u Veamos, nalmente, cuantos animales de cada clase compr. o Teniendo en cuenta que adquiri animales de las tres clases, tendremos o y > 0 = 49400 + 99k > 0 = 99k > 49400 = k > 498.9 z > 0 = 9500 19k > 0 = 19k < 9500 = k < 500 y como k es un nmero entero, se sigue que k = 499. u As pues, y = 49400 + 99 499 = 1 z = 9500 19 499 = 19 y al ser x + y + z = 100 ser a x = 100 1 19 = 80 por tanto compr 80 pollos, 1 conejo y 19 terneros. o 354 = 498.9 < k < 500 99 = 49400 + 99k 1 1900 (26) = 49400 1 1900 5 = 9500 1 = 1 = 1 =

4 1(19 4 4)

= 1 99 + 5 4 = 1 19 + 5(99 5 19) = 5 99 26 19

19 = 9500 19k 1