Resumen

0.1.

Divisibilidad

Comencemos con algunas ideas b asicas acerca de la divisibilidad entre dos n umeros enteros Denici on 0.1 Un n umero entero a divide a un entero b, si existe un entero m tal que b = ma Donde a corresponde a un divisor de b y b a un m ultiplo de a y se denota a|b (2) (1)

Teorema 0.2 Sean tres n umeros enteros a, b y c, entonces se satisfacen las siguientes proposiciones: 1. Si a|b entonces a|kb para cualquier entero k 2. Si a|b y b|a entonces a = b 3. Si a|b y b|c entonces a|c 4. Si a|b y b|c entonces a|sb + tc, siendo s y c cualquier n umero entero. 5. Para cualquier entero k , a|b si y solo si ka|kb Ahora bien, n otese que todo conjunto de enteros positivos, siempre posee un n umero m as peque no, a tal hecho se le denomina principio de la buena ordenaci on. Teorema 0.3 Sean a y b dos enteros, luego existen n umeros enteros q y r tal que, b = qa + r Donde 0 r < a corresponde al resto y q al cuociente. Demostraci on: Sean a y b dos enteros, luego sea S el conjunto de los enteros mayores a b/a, de modo que existe un t en particular, de acuerdo al principio de la buena ordenaci on, perteneciente a S tal que t 1 b/a < t De modo que; a(t 1) b < at Deniendo q = t 1; qa b < (q + 1)a (6) Finalmente deniendo r = b qa o equivalentemente b = ta + r, de (6) 0 r < a, demostr andose lo pedido. (5) (4) (3)

Denici on 0.4 El entero positivo m as grande que divide a dos enteros a y b corresponde al m aximo com un divisor y se denota como M CD(a, b)

Teorema 0.5 Sean dos enteros a y b, luego d = M CD(a, b) es siempre positiva Demostraci on: Supongamos que d = M CD(a, b) < 0, luego considerando que d|d y d > 0, d > d de donde se puede concluir que d = M CD(a, b), lo cual es una contradicci on de suponer que M CD(a, b) < 0. Prob andose lo pedido. Teorema 0.6 Suponga que a y b son distintos de cero y sea d = M CD(a, b), luego d es la menor cantidad positiva que puede expresarse como una combinaci on lineal de a y b, es decir d es la menor cantidad posible del entero sa + tb sobre todas las posibilidades para los enteros s y t. Demostraci on: Considerando que una combinaci on lineal de los enteros a y b puede ser negativa, cero o positiva, si se restringe a los positivos, de acuerdo al principio de la buena ordenaci on, existe una cota inferior para todos los valores posibles de las combinaciones lineales de a y b, de modo que m = sa + tb, de acuerdo al alqoritmo de la divisi on a = qm + r (7) De modo que r = a qm = a q (sa + tb) = (a qs)a + (qt)b (8) Sin embargo r es una combinaci on lineal menor que m puesto que del algoritmo de la divisi on r < m, por lo que para que no exista una contradicci on r = 0, de aqu m|a An alogamente m|b (10) Luego m es un divisor com un de a y b. Por otra parte si d es un divisor com un es posible asegurar que d|a y d|b y de acuerdo al teorema 0.2-4 d|m as d m; luego si d es el m aximo com un divisor solo puede establecerse la igualdad, Prob andose lo pedido. Observaci on 0.7 El inter es que se tiene sobre el teorema 0.6 es importante, puesto que nos asegura que d = M CD(a, b) se puede escribir como (combinaci on lineal de los enteros a y b) d = sa + tb para algunos enteros t y s Denici on 0.8 Sean a y b enteros, se dice que a y b son primos relativos entre s , si MCD(a,b)=1, o equivalentemente si no tienen divisores en com un salvo el 1. (9)

0.2.

Algoritmo de Euclides

Lema 0.9 Sean dos enteros m y n, luego para cualquier entero t se satisface la siguiente igualdad, M CD(m, n) = M CD(n, m tn) (11)

Demostraci on: Sea d un divisor com un de m y n, luego por el teorema 0.2-4 d|m tn, siendo d un divisor com un de n y m tn, del mismo modo si d|n y d|m tn, entonces d|(m tn) + tn siendo equivalente a d|m, as d es un divisor com un de m y n De esta forma si en particular d=MCD(m,n), entonces se satisface la igualdad descrita. A partir de aqu se puede inferir el siguiente procedimiento recursivo, si n0 = m, n1 = n y t = 1, entonces para k > 0 y considerando solo n umeros positivos, sin p erdidad de generalidad; nk+1 = |nk1 | (12)

nk+2 = |nk nk1 | De modo que usando el lema: M CD(nk1 , nk ) = M CD(nk+1 , nk+2 )

(13)

(14)

dise nado as , un algoritmo. N otese que x es el valor absouluto de x, por ejemplo -4=4 y 4=4. Este algoritmo se le conoce como el algoritmo original de Euclides, denominado as por razones hist oricas. Ahora consideremos un ejemplo. Ejemplo: Calcule el m aximo com un divisor de los enteros 336 y 124 M CD(336, 124) = = = = = = = = = = = = = = = = = = = = = M CD(|124|, |336 124|) M CD(124, 212) M CD(|212|, |124 212|) M CD(212, 88) M CD(|88|, |88 212|) M CD(88, 124) M CD(|124|, |88 124|) M CD(124, 36) M CD(|36|, |124 36|) M CD(36, 88) M CD(|88|, |36 88|) M CD(88, 52) M CD(52, |88 52|) M CD(52, 36) M CD(|36|, |52 36|) M CD(36, 16) M CD(|16|, |36 16|) M CD(16, 20) M CD(|20|, |20 16|) M CD(20, 4) 4

El cual es un procedimiento muy largo, ahora la pregunta Por qu e es largo?, Puesto que existe una forma apropiada de escoger el t. De acuerdo al algoritmo de la divisi on, es posible encontrar enteros q y r tal que m = qn + r (15) Donde 0 r < n, luego si reordenamos r r = m qn De modo que usando el lema anterior para t = q M CD(m, n) = M CD(n, r) (17) (16)

Siendo esta la versi on actualizada del Algoritmo de Euclides. Veamos el mismo ejemplo usando ahora esta versi on. Ejemplo:

Usando el algoritmo de la divisi on, 336 124 88 36 16 = = = = = 2 124 + 88 1 88 + 36 2 36 + 16 2 16 + 4 44

De acuerdo al algoritmo de Euclides actualizado M CD(336, 124) = M CD(124, 88) = M CD(88, 36) = M CD(36, 16) = M CD(16, 4) = 4

Lo cual es signicativamente m as reducido en t erminos de c alculo y es posible usando el teorema 0.6, encontrar los enteros s y t correspondientes.

0.3.

M nimo Com un M ultiplo

Denici on 0.10 Suponga que a y b son enteros distintos de cero. El entero positivo m as peque no que es m ultiplo de a y b se denomina m nimo com un m ultiplo de a y b y se denota MCD(a,b)

Teorema 0.11 Sea a y b enteros positivos. Luego M CD(a, b) M CM (a, b) = ab. Demostraci on: Sea d = M CD(a, b), de esta forma existen enteros s y t tal que d = sa + tb por el teorema 0.6, luego como d divide a ab, m = ab/d es un entero. De la denici on de m se puede ver que m es un m ultiplo com un de a y b. De modo que si n es un m ultiplo com un de a y b, es posible establecer la siguiente igualdad; n/m = nd/ab = n/ab(sa + tb) = (n/b)s + (n/a)t (18) Lo cual es un entero, esto implica que m|n y por ende m n, sin embargo como n es arbitrario, m es el m nimo com un m ultiplo. Observaci on 0.12 Este teorema nos permite estudiar las propiedades del m nimo com un m ultiplo usando las propiedades del m aximo com un divisor, siendo as ambos conceptos hom ologos.

0.4.

Problemas Resueltos

1. Determine el m nimo com un m ultiplo y el m aximo com un divisor entre 495 y 210 y exprese el m aximo com un divisor como una combinaci on lineal de 495 y 210, es decir encuentre los enteros s y t que satisfacen M CD(495, 210) = 495s + 210t (19) Soluci on: De acuerdo al algoritmo de la divisi on es posible establecer las siguientes igualdades 495 210 75 60 = = = = 2 210 + 75 2 75 + 60 1 60 + 15 4 15 (20) (21) (22) (23)

Usando el algoritmo de Euclides: M CD(495, 210) = = = = M CD(210, 75) M CD(75, 60) M CD(15, 60) 15

Siendo 15 el m aximo c omun divisor, ahora de la ecuaci on (21), despejando 15 en funci on de los dem as n umeros; 15 = 75 1 60 (24) Despejando 60 de la ecuaci on (20); 60 = 210 2 75 Sustituyendo en (24) en (23), se tiene; 15 = 75 1 60 = 75 1 (210 2 75) = 3 75 1 210 Despejando 75 de la ecuaci on (19); 75 = 495 2 210 Finalmente sustituyendo (26) en (25); 15 = 3 75 1 210 = 3 (495 2 210) 1 210 = 3 495 7 210 De modo que s = 3 y t = 7 Por u ltimo para calcular el m nimo com un m ultiplo entre ambos n umeros, basta usar el teorema 0.11, M CD(a, b) M CM (a, b) = ab 15 M CM (495, 210) = 495 210 M CM (495, 210) = 6930 (29) 2. Existen enteros a y b tal que sumados sean 500 y tengan a 7 como divisor? Soluci on: Supongamos que existen dos enteros a y b que satisfacen la denominada condici on, es decir que existen enteros a y b tal que 7|a y 7|b y a + b = 500, sin embargo de acuerdo al teorema 0.2-4, 7|a + b. Lo cual es falso ya que 7 no es divisor de 500 llegando a una contradicci on de suponer la existencia de tales n umeros, luego no existe ning un par de n umeros enteros que satisfagan la denominada condici on. 3. Demuestre que n y n+1 son primos relativos Soluci on: Sea d un divisor com un positivo de n y n + 1, luego usando el teorema 0.2-4 d es un divisor com un de 1 (n + 1) 1 n = 1, as d|1 y por ende M CD(n, n + 1) = 1. Siendo primos relativos entre s . Otra demostraci on es usando el lema 0.9, para m = n + 1 y t = 1, as M CD(n + 1, n) = M CD(n, 1) = 1 4. Indique si las siguientes armaciones son verdaderas o falsas. Justique su respuesta; a ) Para n umeros enteros a,b,c si c divide a (a + b) entonces c divide a a o c divide a b Soluci on: Falso, puesto que 3|(4 + 5), sin embargo 3 4 y 3 5 (30) (28) (27) (26) (25)

b ) Para n umeros enteros a,b,c si c divide a (ab) entonces c divide a a o c divide a b Soluci on: Verdadero. Sean a, b y c enteros, luego si c divide a ab, entonces existe un entero k tal que ab = k c (31)

Supongamos que a no es divisible por c, de modo que para que la ecuaci on (30) se mantenga, debe existir un entero m, tal que b=mc (32) De esta forma c|b. An alogamente si c b, entonces c|a; prob andose lo pedido.