Mximo Comn Divisor

Definicin El mximo comn divisor de dos nmeros enteros no nulos a y b, denotado mcd (a, b), es el mayor entero positivo que divide a ambos nmeros. A veces se conoce como el mximo comn divisor (MCD) o ms alto factor comn.

Ejemplos (i) Los divisores positivos de 20 son 1, 2, 4, 5, 10 y 20. Los divisores positivos de 12 son 1, 2, 3, 4, 6 y 12. Por lo tanto el mximo comn divisor es 4. (ii) El mximo comn divisor de 65 y 36: 1.
Ejercicio. Encontrar mcd (50, -35).

Estudiemos algunas de las propiedades bsicas del mximo comn divisor. teorema Para cualquier enteros a y b tenemos (i) mcd (a, b) = mcd (b, a), (ii) mcd (a, b) 1, (iii) mcd (a, b) = mcd (| a |, | b |), (iv) mcd[a/mcd (a, b), b/mcd (a, b)]= 1, (v) mcd (a, b) = mcd (a + nb, b) para todo n enteros.

Prueba. (i) Este es trivial. Nos limitamos a usar la definicin. (ii) El mcd se define como un nmero entero positivo por lo que debe ser mayor o igual a 1. (iii) Por misma razn anterior.

(iv) Vamos a empezar por dar mcd (a, b) un nombre. Vamos a mcd (a, b) = d. As que tenemos rd =a y b = sd para algunos enteros r y s como el mximo comn divisor es un divisor. Por lo tanto

mcd[a/mcd (a, b), b/mcd (a, b) =mcd[rd/d , sd/d]=mcd(r,s). Demos un nombre a este ltimo. Sea d=mcd(r, s), entonces, r=pd y s=qd, para p y q enteros. De aqu se tiene que: a=pdd y b=qdd, esto nos diria que dd es un divisor comn de a y b, por lo tanto d no podra ser el mximo.

Por tanto mcd(r,s)=1

(v) Tenemos mcd (a, b) | a, y mcd (a, b) | b por definicin de mcd. As que mcd (a, b) es un divisor comn para a+ nb y b (Por qu?). que no se ha probado sea el ms grande As que lo que podemos decir hasta aqu es que: mcd (a, b) mcd (a + nb, b).

Nos restara probar que: mcd (a, b) mcd (a + nb, b). Tenemos mcd (a + nb, b) | a + nb y mcd (a + nb,b) | b por definicin de mcd. Luego mcd (a +nb,b) divide a una combinacin lineal de ellos. mcd (a + nb, b) | (a + nb) + (-n) b

As: mcd (a + nb, b) divide a a y a b. Pero como no necesariamente es el mayor, se tiene que: mcd (a, b)mcd (a + nb, b). Finalmente se tiene que: mcd (a, b)=mcd (a + nb, b).

Ejercicio. Para cada nmero entero positivo, demostrar que x3 - x es divisible por 3 y x5 - x es divisible por 5. Se puede generalizar? Es xn - x divisible por n?

resumen Un entero a divide el entero b si existe un entero k tal que b = ka. Decimos b es divisible por a y escribir a | b. Se dice que a es un divisor de b. Si a | b y a | c, entonces a | (mb + nc), para todos los enteros m y n. El mximo comn divisor de dos nmeros enteros no nulos a y b, denotado mcd (a, b), es el mayor entero positivo que divide a y b. n| ab no implica que n divide a uno de los dos.

Calculando mcd Ejemplo Buscar mcd (14441, 3563). Aplicar repetidamente el algoritmo de la Divisin produce: 14441 = 4 3.563 + 189 3563 = 18 189 + 161 189 = 1 x 161 + 28 161 = 5 x 28 + 21 28 = 1 21 + 7 21 = 3 x 7 + 0. Por lo tanto, mcd (14441, 3563) = 7.

Compare este procedimiento con el que usted usualmente aplicara Hgalo para el caso de encontrar mcd(45,78)

Ejercicio.

Buscar mcd (315, 462) Buscar mcd (9100, 546). .

Ejercicio. Si n no es un nmero cuadrado, entonces n1/2 es irracional.

Este algoritmo muestra tambin que para un par de nmeros enteros a y b existen nmeros enteros y tales que mcd (a, b) = a + b . Esta ecuacin es llamada representacin de Bzout para el mximo comn divisor. y se obtienen eliminado consecutivamente los restos r1, r2, . . . , rn , empezando por la penltima igualdad.

Teorema (Lema de Bzout) Sean a, b Z . Si d = mcd (a, b), entonces existen enteros m, n Z tales que d = ma + nb

Teorema Si m|ab y mcd (m, b) = 1 , entonces m|a .

Intente probarlo.