Captulo 2

Teora de la Divisibilidad en los enteros

2.1. El Algoritmo de la Divisin
Teorema 2.1. Dados enteros a y b, con b > 0, existen enteros nicos q y r tales que a = bq + r; 0r<b

Los enteros q y r se llaman, respectivamente, el cociente y el residuo en la divisin de a por b. Demostracin. Comenzaremos probando que el conjunto S = {a xb : x Z; a xb 0} es no vaco. Para esto, es suciente encontrar un entero x tal que a xb 0. Sea x = |a| y como b 1 entonces |a|b |a| a (|a|b) = a + |a|b a + |a| 0 es decir que para x = |a|, a (|a|)b S . Luego por el PBO S tiene un nmero mnimo r. Por denicin de S , existe q Z tal que r = a qb; 0 r.

Queda por probar que r < b. Supongamos lo contrario, es decir, supongamos que r b. Entonces t = a (q + 1)b = a qb b = r b 0. 13

14 Luego t S y adems t < r, esto es una contradiccin por la forma en que se escogi r. Por lo tanto r < b. Ahora, para demostrar la unicidad de q y r. Supngase que existen enteros q y r tales que a = qb + r = q b + r donde 0 r < b, 0 r < b. Luego r r = b(q q ), entonces |r r| = b|q q |. De las desigualdades anteriores b < r r < b o en forma equivalente |r r| < b. As b|q q | < b, de donde 0 |q q | < 1. Como |q q | es un entero no negativo, la nica posibilidad que nos queda es que |q q | = 0 y entonces q = q y r = r . Podemos usar la funcin parte entera para dar una frmula para el cociente y el residuo en el algoritmo de la divisin. Como el cociente q es el mayor entero tal que bq a y r = a bq, entonces q= a , b
125 32

r =ab

a . b

Ejemplo 6. Sea a = 125 y b = 32. Entonces a = bq + r con 0 r < 32 donde q=

125 32

= 3 y r = 125 32

= 29.

Ejemplo 7. Sea a = 220 y b = 28. Entonces a = bq + r con 0 r < 328 donde q=

220 28

= 8 y r = 220 28

220 28

= 4.

Una versin ms general del algoritmo de la divisin se obtiene al reemplazar la restriccin de que b tenga que ser positivo por la condicin de que b Corolario 2.2. Si a y b son enteros, con b tales que a = qb + r; 0 r |b| 0.

0, entonces existen enteros nicos q y r

Demostracin. Basta considerar el caso en el cual b es no negativo (b < 0). Entonces |b| > 0 y as, del teorema 2.1, existen enteros nicos q y r tales que a = |b|q + r; 0 r < |b|.

15 Como |b| = b, tomando q = q tenemos a = bq + r; 0 r < |b|.

Teorema 2.3. Si a y b son enteros, con b a = bc + d ;

0, existen enteros c y d tal que |b| |b| < d 2 2 0, del corolario2.2, existen enteros

Demostracin. Como a y b son enteros, con b nicos q existen enteros y r tales que a = bq + r; Consideremos dos casos: Cuando 0 r
|b| 2.

0 r < |b|.

Tomando d = r y c = q tenemos a = bc + d ; 0 d |b| . 2

Cuando

|b| 2

r < |b|. Tomando d = r |b| y c = q 1 si b > 0 tenemos a = b(c 1) + (d + |b|); |b| d + |b| < |b| 2 |b| d < 0. 2

de ah que a = bc + d ;

Tomando d = r |b| y c = q + 1 si b < 0 tenemos a = b(c + 1) + (d + |b|); de ah que a = bc + d ; |b| d < 0. 2 |b| d + |b| < |b| 2

En conclusin, existen enteros c y d tales que a = bc + d ; |b| |b| < d . 2 2

16 Dado un entero positivo b, podemos clasicar los enteros de acuerdo a sus residuos. Por ejemplo, cuando b = 2, aplicando el algoritmo de la divisin a cualquier entero a y b = 2, los posibles residuos son: r = 0 y r = 1. Cuando r = 0, el entero a tienen la forma a = 2q y se llama par. Cuando r = 1, el entero a tiene la forma a = 2q + 1 y se llama impar. Luego a2 tiene una de las siguientes formas: a2 = (2q)2 = 4q2 = 4k a2 = (2q + 1)2 = 4(q2 + q) + 1 = 4k + 1. Lo cual signica que el cuadrado de un entero deja residuo 0 1 cuando lo dividimos por 4. Tambin podemos mostrar que el cuadrado de cualquier entero impar es de la forma 8k + 1. Por el algoritmo de la divisin, cualquier entero a se puede representar de una de las forma siguientes: 4q, 4q + 1, 4q + 2, 4q + 3. En esta clasicacin solo los enteros 4q + 1 y 4q + 3 son impares, entonces (4q + 1)2 = 8(2q2 + q) + 1 = 8k + 1 y(4q + 3)2 = 8(2q2 + 3q + 1) + 1 = 8k + 1. Ejemplo 8. Probar que la expresin a(a2 + 2) 3 es un entero para cada entero a 1. Solucin: Por el algoritmo de la divisin a es de la forma 3q 3q + 1 3q + 2. Si a = 3q, entonces a(a2 + 2) 3q(9q2 + 2) = = q(9q2 + 2) 3 3 lo cual es un entero. Si a = 3q + 1, entonces a(a2 + 2) (3q + 1)((3q + 1)2 + 2) (3q + 1)3(3q2 + 2q + 1) = = = (3q+1)(3q2 +2q+1) 3 3 3 lo cual es un entero. Si a = 3q + 2, entonces a(a2 + 2) (3q + 2)((3q + 2)2 + 2) (3q + 2)3(3q2 + 4q + 2) = = = (3q+2)(3q2 +4q+2) 3 3 3 lo cual es un entero. Esto concluye la prueba. Ejercicio 4. Cuales son los posibles residuos cuando un cuadrado perfecto se divide por 3 5 6?.

2.2. El Mximo comn divisor

Denicin 2.1. Se dice que un entero b es divisible por un entero a a|b, si existe un entero c tal que b = ac 0, denotado por

17 Por a b se se nota que b no es divisible por a. Adems, para decir que b es divisible por a, tambin se puede decir que a es un divisor de b; a es un factor de b; b es un mltiplo de a. Cuando se emplee la notacin a|b, se sobrentender que a es diferente de cero. Si a es un divisor de b, entonces b es tambin divisible por a, es decir los divisores de un entero vienen por pares. Para encontrar todos los divisores de un entero dado es suciente con obtener los divisores positivos y entonces unirlos a los divisores negativos correspondientes. Por est razn en lo que sigue los resultados de limitarn a divisores positivos. Teorema 2.4. Sean a, b, c enteros, entonces: 1. a|0 , 1|a, a|a; 2. a|1 si y slo si a = 1; 3. Si a|b y c|d, entonces ac|bd; 4. a|b y b|a, si y slo si a = b; 5. Si a|b y b|c, entonces a|c; 6. Si a|b y b 0, entonces |a| |b|;

7. Si a|b y a|c, entonces a|(bx + cy), para x, y Z; 8. Si a|bk , k = 1, 2, . . . , n; entonces a|(b1 x1 + + bn xn ). Demostracin. Probaremos solo algunas de las propiedades, las dems se dejan como ejercicio al lector. 3. Si a|b y c|d, existen enteros r y s tales que b = ar y d = cs, luego bd = (ar)(cs) y de la propiedad asociativa bd = (ac)(rs) donde rs es un entero, por lo tanto ac|bd. 5. Como a|b y b|c, existen enteros r y s tales que b = ar y c = bs, combinando las dos ecuaciones c = (ar)s = a(rs) donde rs es un entero. Por lo tanto a|c.

18 6. Como a|b, existe un entero t tal que b = at. Luego |b| = |at| = |a||t|. Como b entonces |t| 0, de donde |t| 1. De ah que |a||t| |a| entonces |b| |a|. 0,

Si un entero d divide a dos enteros a y b, se dice que d es un divisor comn de a y b. As pues 1 es un divisor comn de todo par de enteros a y b. Adems, como todo entero diferente de cero divide a 0, entonces si a = b = 0 todo entero es un divisor comn de a y b. Sin embargo, cuando al menos uno de los dos enteros, a b, es diferente de cero, existe solamente un nmero nito de divisores comunes, entre estos, hay uno que es mayor que todos, que se denomina el mximo comn divisor de ay b. Denicin 2.2. Dados dos enteros a y b (con al menos uno de los dos diferentes de cero), el mayor entero que divide a y b se denomina el mximo comn divisor de a y b, denotado por gcd(a, b). Es decir, si gcd(a, b) = d se cumple lo siguiente: 1. d|a y d|b; 2. Si c|a y c|b, entonces c d. Obsrvese que la anterior denicin da un mtodo para calcular el mximo comn divisor de dos enteros. Si a = b = 0, el gcd(a, b) no existe. Si a = 0 y b 0, el gcd(0, b) = |b|. Si a y b son diferentes de cero, con |a| |b|, se listan los divisores de a, entonces el mayor de estos que divida a b es el gcd(a, b). Esta forma de calcular el gcd(a, b) en general es muy ineciente. El siguiente teorema presenta una caracterizacin til del mximo comn divisor de a y b en trminos de sus combinaciones lineales, esto es como sumas de la forma sa + tb, donde s y t son enteros. Teorema 2.5. Sean a y b enteros (con al menos uno de los dos diferente de cero), y sea d = gcd(a, b). Entonces d es el menor entero positivo que se puede expresar como una combinacin lineal de a y b. Demostracin. Consideremos el conjunto S de todas las combinaciones lineales positivas de a y b, es decir S = {sa + tb : s, t Z; sa + tb > 0}

19 S pues si a 0, entonces |a| = a u + b 0 S donde u = 1 . Luego por el PBO

el conjunto S tiene un elemento mnimo; d, tal que d = sa + tb para t, s Z. Mostremos que d|a y a|b. Por el algoritmo de la divisin, existen enteros q y r tales que a = qd + r; Adems r = a qd = a q(sa + tb) = (1 qs)a + (qt)b; es decir, r es una combinacin lineal de a y b. Como 0 r < d y d es el menor entero positivo que es combinacin lineal de a y b, concluimos que r = 0, y as a = dq, esto es, d|a. De igual forma se prueba que d|b. Ahora, mostremos que si c es un divisor comn de a y b positivo, entonces c d. Si c|a y c|b, entonces del teorema 2.4, c|(as + bt) = d. Luego por el mismo teorema, c = |c| |d| = d, de ah que c d. Por lo tanto, d = gcd(a, b) es el menor entero positivo que es combinacin lineal de a y b. Corolario 2.6. Si c es cualquier divisor comn de a y b, entonces c divide a gcd(a, b). Demostracin. Como c|a y c|b, entonces c|(ax + by) para todo x, y Z. Como d es el menor entero que es combinacin lineal de a y b, entonces c|d. Corolario 2.7. Si a y b son enteros, con al menos uno de los dos diferente de cero, entonces el conjunto T = {ax + by : x, y Z} es el conjunto de los mltiplos de d = gcd(a, b). Demostracin. Sea M = {dn : n Z}. Mostremos que T = M. Supongamos que t T , entonces existen enteros r y s tales que t = ar + bs. Como d|a y d|b entonces d|(ax + by) para todo x, y Z, en particular d|(ar + bs) = t, de ah que t = dn para algn entero n, esto es t M. Luego T M. Sea m M, entonces existe un entero n tal que m = dn. Del teorema 2.5, existen enteros r y s tales que d = ar + bs, de as que m = dn = (ar + bs)n = a(rn) + b(rs), es decir m es combinacin lineal de a y b. As m T . Luego M T 0 r < d.

20 Por lo tanto, se concluye que M = T . Denicin 2.3. Dos enteros a y b se dice que son primos relativos si gcd(a, b) = 1; esto es, si el nico factor comn positivo que tienen es 1. Teorema 2.8. Sean a y b enteros, con al menos uno de los dos diferente cero. Entonces a y b son primos relativos si y slo si existen enteros x y y tales que 1 = ax + by. Demostracin. Supongamos que a y b son primos relativos, entonces gcd(a, b) = 1, luego existen enteros x y y tales que gcd(a, b) = ax + by, esto es 1 = ax + by. Recprocamente, sea d = gcd(a, b). Como d|a y d|b entonces d|(ar + bs) para tod entero r y s, en particular d|ax + by = 1, lo que implica que d = 1. Corolario 2.9. Sean a, b y c enteros con d = gcd(a, b), entonces gcd
a b d, d

= 1.

Demostracin. Si d = gcd(a, b), existen enteros x y y tales que d = ax + by. Luego dividiendo por d, tenemos 1 =
a d

x+

b d

y. Por lo tanto, gcd

a b d, d

= 1.

Ejercicio 5. Sean a, b y c enteros con d = gcd(a, b). Demuestre que gcd(a + cb, b) = gcd(a, b). Corolario 2.10. Si a|c y b|c con d = gcd(a, b) = 1, entonces ab|c. Demostracin. Si a|c y b|c, existen enteros r y s tales que c = ar = bs. Adems gcd(a, b) = 1, implica que existen enteros x y y tales que 1 = ax + by. Multiplicando por c ambos lados, c = c(ax) + c(by) sustituyendo c, de manera apropiada, en el lado derecho c = (bs)(ax) + (ar)(by) = ab(sx + ry) es decir, existe un entero t = sx + ry tal que c = (ab)t. esto es, ab|c. Teorema 2.11 (Lema de Euclides). Si a|bc y gcd(a, b) = 1, entonces a|c. Demostracin. Como gcd(a, b) = 1, entonces existen enteros r y s tales que 1 = ar + bs multiplicando por c c = c(ar + bs) = acr + bcs

21 como bc = at para t Z entonces c = acr + ats = a(cr + ts) entonces a|c. Teorema 2.12. Si k 0 entonces gcd(ka, kb) = |k| gcd(a, b).

Ejemplo 9. Demuestre que si a y b son primos relativos, entonces gcd(3a b, 4a +b) = 1 7. Solucin: Sea d = gcd(3a b, 4a + b), entonces d|3a b y d|4a + b. Luego d|(3a b) + (4a + b) = 7a y d| 4(3a b) + 3(4a + b) = 7b y de donde d| gcd(7a, 7b) = 7 gcd(a, b). Luego d|7 y por lo tanto d = 1 d = 7.

2.3. El Algoritmo de Euclides

Antes de ver el Algoritmo de Euclides para calcular el mximo comn divisor de dos nmeros se presenta el siguiente resultado fundamental dentro del algoritmo. Lema 1. Sean a y b enteros. Si a = bq + r, entonces gcd(a, b) = gcd(b, r) Demostracin. Sean d = gcd(a, b) y c = gcd(b, r). Como d = gcd(a, b), entonces d|a y d|b. Luego d|(a qb) = r. As d|b y d|r, pero como c = gcd(b, r),entonces d c. Por otro lado, Como c = gcd(b, r), entonces c|b y c|r. Luego c|(bq + r) = a. Es decir c|a y c|b, pero d = gcd(a, b), entonces c d. Por lo tanto c = d, es decir, gcd(b, r) = gcd(a, b). Descripcin del Algoritmo de Euclides: El algoritmo de Euclides se puede describir como sigue: Sean a y b enteros. Dado que gcd(|a|, |b|) = gcd(a, b) sin perdida de generalidad se puede suponer que a b > 0.

22 El primer paso consiste en aplicar el Algoritmo de la Divisin para a y b, entonces existen enteros q1 , r1 tales que a = q1 b + r1 ; 0 r1 < b 0 se divide b por

Si r1 = 0, entonces b|a y as gcd(a, b) = gcd(b, 0) = b. Cuando r1 r1 para obtener enteros q2 y r2 tales que b = q2 r1 + r2 ; 0 r2 < r1

Si r2 = 0 entonces el algoritmo se detiene pues gcd(a, b) = gcd(b, r1 ) = gcd(r1 , 0) = r1 . De otra manera , se procede como antes para obtener r1 = q3 r2 + r3 ; 0 r3 < r2

Este proceso continua hasta que algn residuo dentro del algoritmo sea cero, por ejemplo en el (n + 1)-simo paso cuando rn1 , sea divisible por rn (un residuos igual acero debe aparecer dado que la sucesin b > r1 > r2 > 0 no puede contener ms de b enteros). El resultado es el siguiente sistema de ecuaciones a = q1 b + r1 ; b = q2 r1 + r2 ; r1 = q3 r2 + r3 ; . . . rn3 = qn1 rn2 + rn1 ; rn2 = qn rn1 + rn ; rn1 = qn+1 rn + 0; Entonces por el lema 1 se tiene que gcd(a, b) = gcd(b, r1 ) = = gcd(rn1 , rn ) = gcd(rn , 0) = rn . La descripcin del algoritmo, es la base de la prueba del siguiente teorema Teorema 2.13 (Algoritmo de Euclides). Sea r0 = a y r1 = b dos enteros tales que a b > 0. Si Si el algoritmo de la divisin se aplica sucesivamente y se obtienen las ecuaciones r j = r j+1 q j+1 + r j+2 con 0 < r j+2 < r j+1 para j = 0, 1, , n 2 y rn+1 = 0, entonces gcd(a, b) = rn , el ltimo residuo distinto de cero. 0 < rn1 < rn2 0 < rn < rn1 0 < r1 < b 0 < r2 < r1 0 < r3 < r2

23 Se sabe que el gcd(a, b) se puede expresar en la forma ax + by, pero la prueba de este resultado no da ningn indicio de como determinar los enteros x, y. El Algoritmo de Euclides que se acaba de presentar da un mtodo para calcularlos. Se tiene que rn = rn2 qn rn1 . Sustituyendo rn1 = rn3 qn1 rn2 en la anterior ecuacin se tiene rn =rn2 qn (rn3 qn1 rn2 ) = rn2 qn rn3 + qn qn1 rn2 =(1 + qn1 qn )rn2 + (qn )rn3 donde esta ltima ecuacin presenta a rn como una combinacin lineal de rn2 y rn3 . Si se continua sustituyendo cada una de las ecuaciones encontradas, se podr representar a rn como una combinacin lineal de a y b. Ejemplo 10. Encontrar el gcd(678, 234) y expresarlo como combinacin lineal de 678 y 234. Solucin: Apliquemos el algoritmo de Euclides para hallar el gcd(678, 234) = gcd(678, 234). 687 =234 2 + 219 234 =219 1 + 15 219 =15 14 + 9 15 =9 1 + 6 9 =6 1 + 3 6 =3 2 + 0 Por lo tanto gcd(678, 234) = gcd(678, 234) = 3. Adems, comenzando con la penltima ecuacin y reemplazando sucesivamente, tenemos que: 3 =9 6 = 9 (15 9) = 2 9 15 = 2 (219 15 14) 15 = 29 15 + 2 219 = 29(234 219) + 2 219 =31 219 29 234 = 31(687 234 2) 29 234 = 91 234 + 31 687 Luego, gcd(678, 234) = 3 = 31 687 + (91) 234

24 . Existe un concepto paralelo al del mximo comn divisor de dos enteros, conocido como el mnimo comn mltiplo. Se dice que un entero c es un mltiplo comn de dos enteros (diferentes de cero) a y b si a|c y b|c. Evidentemente, 0 es un mltiplo comn de cualquier par de enteros a y b. Para ver que existen mltiplos comunes que no son triviales, notese que tanto ab como (ab) son mltiplos de a y b y uno de estos debe ser positivo. Luego por el PBO, el conjunto S = {c Z+ : a|c y b|c}

de los mltiplos comunes de a y b tiene un elemento mnimo. A este mnimo se le denomina el mnimo comn mltiplo de a y b. Denicin 2.4. El mnimo comn mltiplo de dos enteros a y b, denotado por lcm(a, b), es el entero positivo m tal que: 1. a|m y b|m. 2. Si a|c y b|c, con c > 0, entonces m c. Dados enteros a y b (diferentes de cero), lcm(a, b) siempre existe y lcm(a, b) |ab|. Tambin se usa mcm(a, b) [a, b] para notar el mnimo comn mltiplo de a y b. lcm(a, b) = lcm(a, b) = lcm(a, b) = lcm(a, b) Teorema 2.14. Sean a y b dos enteros no nulos, entonces m = lcm(a, b) si y solo si 1. m > 0 2. a|m y b|m. 3. Si a|c y b|c, con c > 0, entonces m|c. Demostracin. (ejercicio) Teorema 2.15. Sean a y b enteros no nulos, entonces gcd(a, b)lcm(a, b) = |ab|. Demostracin. Sin perdida de generalidad supongamos que a y b son enteros positivos. ab Sea d = gcd(a, b) y m = . Vamos a probar que m satisface la denicin 2.4. d

25 Como d = gcd(a, b), entonces d|a y d|b; esto es, a = dr y b = ds para algn r, s Z. Luego ab ab = rb y m= = as, d d es decir, m es un mltiplo comn de a y b. Sea c cualquier enteros positivo mltiplo m= comn de a y b, esto es c = au y c = bv para u, v Z. Como se sabe existen enteros x, y tales que d = ax + by. En consecuencia cd c(ax + by) c c c = = = x+ y = vx + uy, m ab ab b a entonces m|c. Lo que implica nalmente que m c. As por denicin m = lcm(a, b).

Por el anterior teorema lcm(a, b) =

ab . gcd(a, b)

Corolario 2.16. Sean a y b enteros positivos. lcm(a, b) = ab si y slo si gcd(a, b) = 1. Demostracin. (Ejercicio) Ejemplo 11. Si sabemos que gcd(a, b) = 18 y lcm(a, b) = 1512. Hallar a y b. Como gcd(a, b) = 18, entonces 18|a y 18|b, esto es a = 18t y b = 18k con t, k Z. Luego ab = 182 tk. Por otro lado, gcd(a, b)lcm(a, b) = |ab|, entonces (18)(1512) = 182 tk, de donde tk = 84. Luego los posibles valores para (t, k), salvo el orden, son: (4, 21), (12, 7), (28, 3) y (84, 1). Por lo tanto , los numeros (a, b) que cumplen la condicin pedida son: (72, 378), (504, 54), (216, 126) y (1512, 18) Ejercicio 6. Sean a y b enteros positivos, el nmero de mltiplos de b en la sucesin a, 2a, 3a, . . . , ba es precisamente gcd(a, b).

2.4. La Ecuacin Diofntica ax + by = c

Ahora la atencin recae en el estudio de las ecuaciones diofnticas. El nombre hace honor al matemtico Diofanto, quien inici el estudio de tales ecuaciones. Es costumbre utilizar el trmino Ecuacin Diofntica para cualquier ecuacin en una o ms variables que se resuelve en los nmeros enteros. El tipo ms simple de ecuacin diofntica que se considera es la Ecuacin Lineal Diofntica en dos variables ax + by = c

26 donde a, b y c son enteros dados y a, b no son los dos cero. Una solucin de esta ecuacin es una pareja de enteros x0 , y0 tales que satisfacen la ecuacin dada, esto es ax0 + by0 = c. Una ecuacin lineal diofntica puede tener varias soluciones, por ejemplo la ecuacin 3x + 6y = 18 tiene las siguientes soluciones 18 = 3 4 + 6 1 = 3 (6) + 6 6 = 3 10 + 6 (2) Por el contrario, no existe una solucin para la ecuacin 2x + 10y = 17. Puesto que el lado izquierdo de la ecuacin es un entero par, cualquiera que sea la escogencia de x y y, mientras que el lado derecho no es par. De acuerdo a esto, es razonable preguntar por las circunstancias bajo las que una solucin es posible, y cuando una solucin existe y cuando se pueden determinar todas las soluciones explcitamente. La condicin de solucin es fcil de establecer : La ecuacin diofntica ax + by = c tiene solucin si y slo si d|c, donde d = gcd(a, b). En efecto, se sabe que existen enteros r y s tales que a = dr y b = ds. Si existe una solucin de ax + by = c, entonces c = ax0 + by0 = drx0 + dsy0 = d(rx0 + sy0 lo que implica que d|c. Inversamente, suponga que d|c, as c = dt. Adems existen enteros x0 y y0 tales que d = ax0 + by0 , luego multiplicando esta ltima ecuacin por t se tiene que c = dt = t(ax0 + by0 ) = a(tx0 ) + b(ty0 ) De aqu la ecuacin diofntica ax + by = c tiene a x = tx0 y y = ty0 como una solucin particular. Teorema 2.17. La ecuacin lineal diofntica ax + by = c tiene una solucin si y slo si d|c, donde d = gcd(a, b). Si x0 , y0 es una solucin de esta ecuacin, entonces todas las otras soluciones estn dadas por: x = x0 + (b/d)t; para cualquier t Z. Demostracin. Para establecer la segunda armacin del teorema, suponga que una solucin x0 , y0 de la ecuacin dada se conoce. Si x , y es otra solucin entonces: ax0 + by0 = c = ax + by y = y0 (a/d)t

27 Existen enteros primos relativos r y s tales que a = dr, b = ds, entonces r(x x0 ) = s(y0 y ) luego r|s(y0 y ) pero como gcd(r, s) = 1. Por el Lema de Euclides, se debe tener que r|(y0 y ), en otras palabras y0 y = rt para algn t Z y entonces x x0 = st. Luego x = x0 + st = x0 + (b/d)t y = y0 + rt = y0 (a/d)t As existe un nmero innito de soluciones de la ecuacin dada. Es til tener en cuenta la versin que tiene el teorema anterior cuando los coecientes son primos relativos. Corolario 2.18. Si gcd(a, b) = 1 y si x0 , y0 es una solucin particular de la ecuacin lineal diofntica ax + by = c, entonces todas las soluciones estn dadas por x = x0 + bt y = y0 at para t Z. Ejemplo 12. Por el teorema 2.17, no existe soluciones enteras para la ecuacin 60x + 18y = 97. Pues gcd(60, 18) = 6 no divide a 97. Ejemplo 13. Encuentre las soluciones enteras de la ecuacin 21x + 14y = 147. Solucin: Como el gcd(21, 14) = 7 y 7|147, la ecuacin tiene soluciones enteras. Del algoritmo de la divisin 7 = 21(1) + 14(1), multiplicando por 21 tenemos 147 = 21(21) + 14(21), luego una solucin particular de la ecuacin es x0 = 21 y y0 = 21. Por lo tanto las soluciones son de la forma x = 21 + 2t y y = 21 3t para t Z. Ejemplo 14. Un hombre compr doce piezas de fruta (manzanas y naranjas) por 99 cntimos. Si una manzana cuesta 3 cntimos ms que una naranja, y compr ms manzanas que naranjas, cuntas piezas de cada fruta compr? Solucin: Llamamos x, y al nmero de manzanas y naranjas, respectivamente, y p al precio de una naranja. Entonces

28 x + y = 12 (p + 3)x + py = 99 x + y = 12 3x + p(x + y) = 99

sustituyendo la primera ecuacin en la segunda, tenemos que 3x + 12p = 99 y dividiendo por tres(3) obtenemos x + 4p = 33. Como gcd(1, 4) = 1 y 1 | 33, entonces la ecuacin tiene solucin. Usemos el algoritmo de Euclides para resolver esta ecuacin. Dado que 1 = 43, entonces 33 = 99+4(33), as una solucin particular es: x0 = 99 y p0 = 33, luego las soluciones son de la forma: x = 99 + 4t p = 33 t

Ya que hay mas manzanas que naranjas, x 7 99 + 4t 7 t 26,5. Por otro

lado x 12 99 + 4t 12 t 27,75. Como t es un nmero entero, entonces t = 27 y por lo tanto x = 9 y y = 3.