Lecci on 12

Ecuaciones Diof anticas

Contenido
12.1 Generalidades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343 12.1.1 Denici on . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 343 12.2 Soluci on de una Ecuaci on Diof antica . . . . . . . . . . . . . . . . . . . . . . . 343 12.2.1 Soluci on Particular . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344 12.2.2 Soluci on General . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345

12.1.1

Denici on

Una ecuaci on diof antica es una ecuaci on lineal con coecientes enteros y que exige soluciones tambi en enteras.

12.2

Soluci on de una Ecuaci on Diof antica

Veremos un teorema que nos permite saber cuando una ecuaci on de este tipo tiene soluci on y aporta un m etodo para calcular una soluci on particular de la misma.
1 Matem atico griego de la escuela de Alejandr a (a.c. 325-a.c. 410). Dej o trece libros de aritm etica, de los cuales s olo los seis primeros nos han llegado, y otro sobre los N umeros angulares. Aunque tom o como ejemplo para sus m etodos los trabajos de Hiparco, su teor a completamente nueva de ecuaciones de primer grado y la resoluci on que dio a las de segundo hacen de el un innovador en este campo. Sus obras han constituido tema de meditaci on de sus contempor aneos griegos, y de los arabes, y, m as tarde, de los ge ometras del renacimiento. El mismo Viete en su obra capital, reproduce sus proposiciones, aunque sustituye los problemas abstractos por cuestiones de geometr a resolubles por algebra.

ww

w.

Li

Estas ecuaciones reciben este nombre en honor a Diofanto1 , matem atico que trabaj o en Alejandr a a mediados del siglo III a.c. Fue uno de los primeros en introducir la notaci on simb olica en matem aticas y escribi o seis libros sobre problemas en las que consideraba la representaci on de n umeros anterior como suma de cuadrados.

br

os

x.
343

bl

og

sp

ot

12.1

Generalidades

.co

Universidad de C adiz

Departamento de Matem aticas

12.2.1

Soluci on Particular

Sean a, b y c tres n umeros enteros. La ecuaci on lineal ax + by = c tiene soluci on entera si, y s olo si el m aximo com un divisor de a y b divide a c. Demostraci on S olo si. En efecto, supongamos que los enteros x0 e y0 son soluci on de la ecuaci on ax + by = c, es 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 hip otesis, d es divisor de c. Ahora bastar a tomar x0 = y tendr amos que cp cq e y0 = d d

Ejemplo 12.1 Soluci on

Encontrar una soluci on para la ecuaci on diof antica 525x + 100y = 50

Veamos si existe soluci on entera para la ecuaci on. Calculamos el m aximo com un divisor de 525 y 100 mediante el algoritmo de Euclides. 5 525 25 es decir, m.c.d. (525, 100) = 25 y como 25 divide a 50, el teorema anterior asegura la existencia de soluci on entera para la ecuaci on. Calculamos una soluci on para la ecuaci on. Siguiendo el m etodo indicado en la demostraci on del teorema, hallamos los coeficientes de la combinaci on lineal del m aximo com un divisor de 525 y 100. Bastar a seguir el algoritmo de Euclides hacia atr as. 25 = 1 525 + (5) 100 344 100 0 4 25

ww

Obs ervese que este teorema adem as de asegurar la existencia de soluci on para una ecuaci on de este tipo, ofrece un m etodo para calcularla. El siguiente ejemplo aclarar a estas cuestiones.

w.

Li b

La soluci on encontrada se llamar a soluci on particular del sistema.

ro

sx

.b

es decir los enteros x0 e y0 son soluci on de la ecuaci on.

lo

gs

ax0 + by0 = c

po

t.c

om

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

por tanto, los coeficientes buscados son p = 1 y q = 5 y seg un el citado teorema una soluci on para la ecuaci on ser a cp cq x0 = e y0 = d d donde c es el t ermino independiente de la ecuaci on y d el m aximo com un divisor de los coeficientes de x e y . Consecuentemente, 50 1 x0 = =2 25 e 50 (5) y0 = = 10 25

12.2.2

Soluci on General

Sean a, b y c tres n umeros enteros no nulos tales que el m aximo com un divisor de a y b divide a c. Entonces la soluci on general de la ecuaci on ax + by = c es x = x0 + k b d a y = y0 k d

donde x0 e y0 es una soluci on particular de la misma y k es cualquier n umero entero. Demostraci on

ww

Dividiendo ahora ambos miembros de esta ecuaci on por el m aximo com un divisor de a y b, tendremos, a b c x0 + y0 = d d d

siendo

c entero y d y como 1 divide a ecuaci on, luego

a b , n umeros enteros primos entre s , luego el m aximo com un divisor de ambos es 1 d d c , el teorema 12.2.1 asegura la existencia de una soluci on particular x1 , y1 para esta 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 a x1 x0 , luego d d b b b |x1 x0 k Z : x1 x0 = k = x1 = x0 + k . d d d 345

w. Li

br o
=

ax0 + by0 = c

sx

Sea d el m aximo com un divisor de a y b. Por hip otesis d divide a c luego el teorema 12.2.1 asegura la existencia de una soluci on particular x = x0 e y = y0 para el sistema. Entonces,

.b lo

gs po

t.c om

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

Departamento de Matem aticas

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 soluci on de la ecuaci on ax + by = c. 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

Nota 12.1

En el ejemplo anterior, ten amos que

luego una soluci on general de la misma, ser a: 100 = 2 + 4k 25 525 y = 10 k = 10 21k 25 x=2+k siendo k cualquier n umero entero. Ejemplo 12.2 Soluci on Calcular las soluciones enteras de la ecuaci on diof antica 66x + 550y = 88

ww

Veamos si la ecuaci on admite soluci on entera. Calculamos el m aximo com un divisor de 66 y 550 por el algoritmo de Euclides. 8 550 22 346 66 0 3 22

w.

Li

era una soluci on particular para la ecuaci on

br

525x + 100y = 50

66x + 550y = 88

os

x0 = 2 e y0 = 10

x.

bl

og sp

ot

es soluci on de la ecuaci on ax + by = c cualquiera que sea k Z. La llamaremos soluci on general de dicha ecuaci on.

.co

Matem atica Discreta luego, m.c.d. (66, 550) = 22

Francisco Jos e Gonz alez Guti errez

y como 22 divide a 88, t ermino independiente de la ecuaci on, por el teorema 12.2.1 se sigue que la ecuaci on propuesta admite una soluci on particular x = x0 , y = y0 . Calculamos esta soluci on particular. Volviendo hacia atr as en el algoritmo de Euclides, tendremos 22 = (8) 66 + 1 550 luego, x0 = y0 = es una soluci on particular de la ecuaci on. Calculemos ahora la soluci on general. Seg un lo visto en el teorema 12.2.2 si una soluci on particular de la misma es x0 = 32 e y0 = 4, entonces la soluci on general es: 550 = 32 + 25 k x = 32 + k 22 66 y =4k = 4 3k 22 siendo k cualquier n umero entero. 88 (8) = 32 22 88 1 =4 22

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. m as por litro que la desnatada, y ha comprado el m nimo posible de leche desnatada, Cu antos litros habr a comprado de cada una? Soluci on Si x el n umero de litros de leche entera, entonces 12 x es el n umero de litros de leche desnatada y si y es el precio de la leche desnatada, entonces el precio de la leche entera ser a y + 30. 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 ecuaci on admite soluciones enteras. Hallamos el m aximo com un divisor de 30 y 12 por el algoritmo de Euclides. 2 30 6 347 12 0 2 6

ww

w.

Li b

ro

sx

.b

lo

gs p

ot

.co

Universidad de C adiz luego, m.c.d. (30, 12) = 6

Departamento de Matem aticas

y dado que 6 divide a 1200, la ecuaci on planteada admite soluciones enteras. Calculamos una soluci on particular. Como m.c.d. (30, 12) = 6, existir an 2 n umeros enteros p y q tales que 6 pueda expresarse como combinaci on lineal de 30 y 12 con coecientes enteros. Los hallaremos volviendo hacia atr as en el algoritmo de Euclides. 6 = 1 30 + (2) 12 luego entonces los coeficientes buscados son 1 y 2 y la soluci on particular de la ecuaci on es 1200 1 = 200 6 1200 (2) = 400 6

x0 = y0 =

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

y = 400 k siendo k cualquier n umero entero.

y la cantidad de leche desnatada ser a, por tanto, 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 a con la m axima de leche entera y esta se da para el valor m aximo que pueda tener k , es decir para k = 95. Por tanto, 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 soluci on la ecuaci on diof antica 84x + 990y = c. Determinar la soluci on para los restantes valores de c. Soluci on 348

ww

w.

Li b

Seg un lo visto hasta ahora, la cantidad de leche entera es Ce = 200 + 2k : k Z

ro

sx

Veamos, finalmente, cuantos litros se han comprado de cada tipo de leche.

.b

lo

gs p

ot

.co

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

La ecuaci on 84x + 990y = c admitir a soluci on entera si, y s olo si el m aximo com un divisor de 84 y 990 divide a c. Hallamos dicho m aximo com un divisor por el algoritmo de Euclides. 11 990 66 luego m.c.d. (84, 990) = 6 entonces, 84x + 990y = c tiene soluci on entera 6 |c q Z : c = 6 q y como 10 < c < 20, tendremos que las opciones posibles para las que la ecuaci on tiene soluci on son c = 12 y c = 18 por tanto los valores de c para los que la ecuaci on no admite soluci on entera ser an: 11, 13, 14, 15, 16, 17 y 19 Calculamos una soluci on particular para la ecuaci on propuesta. Volviendo hacia atr as el c alculo hecho en el algoritmo de Euclides, tendremos 6 = 18 1 12 12 = 66 3 18 6 = 1 66 + 4 18 18 = 84 1 66 6 = 4 84 5 66 84 18 1 66 12 3 18 6 1 12 0 2 6

x. br os
= = x0 = y0 = 349

bl
6 = 1 66 + 4(84 1 66) = 6 = 4 84 5 66 4 84 5(990 11 84) = 5 990 + 59 84 6 = 59 84 + (5) 990 12 59 = 118 6 12 (5) = 10 6 990 = 118 + 165k 6 84 = 10 14k 6

66 = 990 11 84 luego, Soluci on para c = 12. Una soluci on particular es

La soluci on general es x = 118 + k y = 10 k siendo k cualquier n umero entero.

ww

w.

Li

og s

po

t.c o

= 18 1(66 3 18)

= 1 66 + 4 18

Universidad de C adiz Soluci on para c = 18. Una soluci on particular es x0 = y0 = La soluci on general es x = 177 + k y = 15 k siendo k cualquier n umero entero. Ejemplo 12.5 Hallar las soluciones enteras de la ecuaci on 990 = 177 + 165k 6 84 = 15 14k 6 18 59 = 177 6 18 (5) = 15 6

Departamento de Matem aticas

(x + y )(x y ) + (2x + 2y 3)y 2(x 7) = x + y + 3

ww

8 y 9 son primos entre s , luego

y como 1 divide a 5, t ermino independiente de la ecuaci on, esta tendr a soluciones enteras. Calculamos una soluci on particular El m aximo com un divisor de 8 y 9 escrito en combinaci on lineal de ambos, es 1 = (1) 8 + 1 9 luego una soluci on particular es: x0 = y0 = La soluci on general, por tanto, ser a x = 5 + 9k y = 5 8k siendo k cualquier n umero entero. 350 5 (1) = 5 1 51 =5 1

w.

Li

Veamos si tiene soluciones enteras.

br

m.c.d. (8, 9) = 1

os

y simplificando, resulta

8x + 9y = 5

x.

bl

x2 y 2 + 2xy + 2y 2 3y 2x + 14 = x2 + y 2 + 2xy + 6x + 6y + 9

og sp

Elevando al cuadrado ambos miembros

ot

.co

Soluci on

Matem atica Discreta

Francisco Jos e Gonz alez Guti errez

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 n umero de manzanas que contiene el cesto sabiendo que est an entre 100 y 110. Soluci on Sean x e y los n umeros de grupos de tres y cuatro manzanas, respectivamente. Si N es el n umero total 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 ecuaci on tiene soluciones enteras. Como m.c.d. (3, 4) = 1 y 1 divide a 1, t ermino independiente de la ecuaci on, resulta que la misma admite soluciones enteras. Soluci on particular 1 = (1) 3 + (1)(4) luego, x0 = y0 = 1 (1) = 1 1 1(1) = 1 1

es una soluci on particular de la ecuaci on. Soluci on general

w.

Li b

ro

sx

ww

x = 1 + y =1

siendo k cualquier n umero entero. Calculemos, finalmente, cuantas manzanas hay en el cesto. 3x + 2 = N x = 1 4k y como 100 tendremos 100 12k 1 110 N = 110 111 12 101 12 8.42 = 3(1 4k ) + 2 = N = N = 12k 1

y como k es un n umero entero, tendremos que k = 9 351

.b

lo

3 k = 1 3k 1

gs p

4 k = 1 4k 1

101 k 12 111 = k 12 = 9.25 k

ot

.co

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

Departamento de Matem aticas

Ejemplo 12.7 Hallar el menor n umero de cuatro cifras que dividido por 4, 7 y 11 da resto 3, y que dividido por 13 da resto 1. Soluci on Sea n el n umero buscado, entonces por el algoritmo de la divisi on existen q1 , q2 y q3 tales que 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 m ultiplo com un a 4,7 y 11, por tanto ha de ser m ultiplo de su m nimo com un m ultiplo y al ser m.c.m.(4, 7, 11) = 4 7 11 = 308 ser a 308 |n 3 n 3 = 308x es decir, luego existir a un entero x tal que

Por otro lado y tambi en por el algoritmo de la divisi on, existir a un entero y tal que

por tanto,

w.

n = 308x + 3 n = 13y + 1

Li br

Veamos si esta ecuaci on admite soluciones enteras. Calculamos el m aximo com un divisor de 308 y 13 por el algoritmo de Euclides. 23 308 9 luego m.c.d. (308, 13) = 1 y 1 divide a 2, t ermino independiente de la ecuaci on, luego tiene soluciones enteras. Soluci on particular Buscamos los coeficientes enteros de 1 expresado como combinaci on lineal de 308 y 13. 1=924 4 = 13 1 9 1 = 2(13) + 3 9 9 = 308 23 13 13 4 1 9 1 2 4 0 4 1

ww

os

n = 13y + 1

x.
= 308x 13y = 2 = 1 = = = 1 = = 352 9 2(13 1 9) 2(13) + 3 9 2(13) + 3 [308 + 23 (13)] 3 308 + 71 (13)

bl og

n = 308x + 3

sp

ot

.co

Matem atica Discreta luego 1 = 3 308 + 71 (13) y una soluci on particular es: x0 = y0 = (2) 3 6 1 (2) 71 142 1

Francisco Jos e Gonz alez Guti errez

Soluci on general x = 6 + k 13 = 6 13k 1 308 = 142 308k 1

y = 142 k donde k es cualquier n umero entero. Calculemos, finalmente, el n umero pedido.

y al ser n > 0, tendremos

y el n umero m as peque no se producir a para el valor m as alto de k .

y es el menor n umero de cuatro cifras que cumple las condiciones del enunciado. Ejemplo 12.8 Un granjero gast o 100.000 pts. en 100 animales entre pollos, conejos y terneros. Si los pollos los compr o a 50 pts, a 1000 pts. los conejos y a 5000 pts. los terneros y adquiri o animales de las tres clases, Cu antos animales compr o de cada clase? Soluci on Sean x, y y z el n umero de pollos, conejos y terneros, respectivamente. De acuerdo con el enunciado tendremos el siguiente sistema de ecuaciones: x + y + z = 100 50x + 1000y + 5000z = 100000 = = = x + y + z = 100 x + 20y + 100z = 2000 x + y + z = 100 x + y + z + 19y + 99z = 2000 100 + 19y + 99z = 2000

Veamos si la ecuaci on propuesta tiene soluciones enteras. Calculamos el m aximo com un divisor de 19 y 99 por el algoritmo de Euclides. 353

ww

w.

Para k = 1,

n = 1845 4004(1) = 2159

Li br

os

x.

1845 4004k > 0 = k <

bl o

gs p
1845 = k < 0.46 = k 4004

ot .c

x = 6 13k

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

om

n = 308x + 3

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

Departamento de Matem aticas

y como 1 divide a 1990, t ermino independiente de la ecuaci on, esta tiene soluciones enteras. Calculamos una soluci on particular Expresamos 1 como combinaci on lineal de 19 y 99 volviendo hacia atr as los c alculos en el algoritmo de Euclides. 1=413 3 = 19 4 4 1 = 1 19 + 5 4 4 = 99 5 19 luego, 1 = (26) 19 + 5 99

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

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

La soluci on general ser a,

ww

w.

Li br os x.
z = 9500 k

z0 =

1900 5 = 9500 1

bl

y = 49400 + k

siendo k cualquier n umero entero. Veamos, nalmente, cuantos animales de cada clase compr o. Teniendo en cuenta que adquiri o animales de las tres clases, tendremos y > 0 = 49400 + 99k > 0 = 99k > 49400 = k > 498.9 z > 0 = 9500 19k > 0 = 19k < 9500 = k < 500 y como k es un n umero entero, se sigue que k = 499. 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 o 80 pollos, 1 conejo y 19 terneros. 354 = 498.9 < k < 500

og

19 = 9500 19k 1

sp o

y0 =

1900 (26) = 49400 1

99 = 49400 + 99k 1

t.c o

por tanto, una