Mximo Comn Divisor - Mnimo Comn Mltiplo Estudio en los Enteros

Divisores comunes. Sean A y B dos nmeros enteros no nulos. Si d I A y d I B, decimos que d es un divisor comn de A y B Ejemplo Tenemos que los divisores comunes de 12 y -20 son 1, 2 y 4 Observacin. Como los divisores comunes difieren solo en el signo, por ejemplo 1 y 1, 2 y 2, 4 y 4; en lo que resta del capitulo trabajaremos solo con los divisores positivos. Conjunto de los divisores comunes positivos. Si d I A entonces d I A I y si d I B, entonces d I B I, por lo tanto los divisores comunes forman un conjunto finito, teniendo un elemento mnimo: la unidad y un elemento mximo, al cual llamaremos mximo comn divisor. Definicin. El mximo elemento del conjunto de los divisores comunes positivos de dos o ms nmeros enteros no nulos, recibe el nombre de mximo comn divisor Ejemplo. El conjunto de los divisores comunes positivos de 12 y 20 es {1, 2, 4} luego el MCD ( 12, -20) = 4 De manera similar se puede definir el mnimo comn mltiplo. Veamos: Mltiplos comunes. Sean A y B dos nmeros enteros no nulos. Si A I M y B I M, decimos que M es un mltiplo comn de A y B. Por ejemplo los mltiplos comunes de 12 y -20 son 60, 120, 180, 240,... Al igual que el caso anterior limitaremos nuestra atencin a los mltiplos comunes positivos. Conjunto de los mltiplos comunes positivos. Este conjunto esta dado por {MZ+ / A I M y B I M }, el cual es un conjunto no vaco ya que A B es un mltiplo de A y de B Por otro lado se deduce que este conjunto posee un elemento mnimo al cual llamaremos mnimo comn mltiplo, pero no posee un elemento mximo. Definicin. El menor elemento del conjunto de los mltiplos comunes positivos de dos o ms nmeros enteros no nulos se denomina mnimo comn mltiplo Ejemplo. El conjunto de los mltiplos comunes positivos de 12 y 20 es {60, 120, 180, 240,.. } luego el MCM ( 12, -20) = 60 Propiedades del MCD y del MCM de dos o ms nmeros. 1. Si A y B son dos nmeros enteros no nulos tales que B I A, entonces MCD (A, B ) = I B I y el MCM(A, B ) = I A I. Ejemplo: MCD (48 , -16) = I 16 I = 16, mientras que MCM (48 , -16) = 48 2. Si se tiene dos ms nmeros enteros PESI, entonces el MCD de ellos es 1 Si se tienen dos o ms nmeros PESI dos a dos, entonces el MCM ser el producto de los valores absolutos de ellos. Ejemplo: MCD ( -4, 5, 9) = 1, pero MCM(- 4,5,9) = I-4I I5I I9I = 180

3. Si dos o ms nmeros enteros no nulos se multiplican o dividen por otro entero no nulo, entonces tanto el MCD como el MCM de ellos queda multiplicado o dividido por el valor absoluto de dicho nmero. Ejemplo. Sabemos que MCD ( 32, 24 ) = 8, el cual lo podemos calcular de la siguiente manera: MCD (32, 24) = MCD (8x4, 8x3)= 8MCD ( 4, 3)= 8x1= 8 Mientras que para el MCM( 32, 24 ) hacemos: MCM ( 32, 24) = MCM ( 8x4, 8x3) = 8 MCM (4, 3)= 8x12 = 96. Ejemplo. Tenemos que MCD (A k, B k, C k) MCD (A/ k, B/ k, C/ k) MCM (A k, B k, C k) MCM (A/ k, B/ k, C/ k) = MCD(A,B,C) IkI = MCD(A,B,C) / IkI = MCM(A,B,C) IkI = MCM(A,B,C)/ IkI

4. Todo nmero entero que sea divisor comn de otros dos, divide tambin a su MCD; mientras que todo nmero entero que sea mltiplo comn de otros dos, tambin lo ser del MCM. Ejemplo. Tenemos que 4 es un divisor comn de 32 y 24 por lo tanto ser un divisor de 8 ( donde 8 = MCD ( 32, 24 )). 5. Si varios nmeros se dividen entre el MCD de ellos, los cocientes que se obtienen son primos entre si; Mientras que si el MCM se divide entre cada uno de ellos, los cocientes que se obtienen son primos entre si. Importancia. Esta propiedad nos indica que cada nmero puede expresarse en trminos del MCD o del MCM de ellos Por ejemplo si MCD ( A, B, C ) = d, tenemos I A I = dxp, I B I = dxq y I C I = dxr, donde p, q r son primos entre si. Mientras que si MCM ( A, B, C ) = m, tenemos I A I = m / p, I B I = m / q y I C I = m / r, donde p, q y r son primos entre si En los naturales para dos nmeros A y B, sea d el MCD, entonces existen dos nmeros PESI p y q tales que A = d p , B = d q y MCM =d p q 6. En los naturales se tiene

MCD( Na -1, Nb -1, .,Nc -1) = NMCD(a,b,,c) -1

Asimismo se tiene MCD(An,Bn) = (MCD(A,B))n 7. El producto de los valores absolutos de dos nmeros enteros no nulos, es igual al producto del minimo comun multiplo por su maximo comun divisor. Generalizacin. Para n numeros enteros no nulos A1, A2, ......,An tenemos: I A1 I.IA2 I. ......IAnI = MCM (A1, A2, ......,An ).d1 .d2 ......dn Donde d1 = MCD (A1, A2), d2 = MCD (A1 A2 / d1, A3), d3 = MCD (A1 A2.A3 / (d1 d2), A4), ..., dn-1 = MCD(A1 A2 ... An-1/ ( d1 d2....dn-2 ), An).

8. Ramificacin rbol. Si en un conjunto de nmeros, parte de ellos se reemplaza por el MCD, entonces el MCD no vara, algo similar se cumple para el MCM Ejemplo. MCD(A,B,C,D) = MCD( MCD(A,B), MCD(A,B,C), D ) MCM(A,B,C,D) = MCM( MCM(A,B,C), MCM(C,D) ) 9.En una divisin inexacta por defecto se tiene MCD( D, d ) = MCD ( d, rd ) = MCD ( d, re) Consecuencia. Propiedad de la linealidad del MCD. Sean A y B dos nmeros enteros no nulos y sea d = MCD ( A, B), entonces existen dos nmeros enteros no nulos s y t PESI tales que d = s A + t B 10.Algoritmo de Euclides en los enteros. Sean A y B nmeros enteros diferentes de cero. Para hallar el MCD(A, B) podemos utilizar la propiedad 9 varias veces, de la siguiente forma, sea d=MCD(A, B) Divisin A = B q + r, d = MCD(B, r) B = r q1 + r1, d = MCD(r, r1) , r1 < r r = r1 q2 + r2 , d = MCD(r1, r2) , r2 < r1 r1= r2 q3 + r3 , d = MCD(r2, r3) , r3 < r2 r2= r3 q4 + r4 , d = MCD(r3, r4) , r4 < r3 rt= rt+1 qt+2, d = MCD(rt, rt+1) = rt+1 Observacin: Los residuos van disminuyendo y son mltiplos del MCD, adems va a llegar un momento en que se va tener divisin exacta Cocientes A Residuos q B r q1 r r1 q2 r1 r2 q3 r2 r3 r4 q4 r3 .. rt rt+1 qt+2 rt+1

MCD(A,B) = rt+1 Ejemplo Hallar el MCD(336, 102) 336 3 102 30 3 30 12 2 12 6 2 6 0

Entonces el MCD(336, 102) = 6 Ejemplo Hallar el MCD(336, -102)

336

-4 -102 72

-2 72 42

1 42 30

1 30 12

2 12 6

2 6 0

Entonces el MCD(336, -102) = 6

Mtodos para hallar el MCD y MCM en el campo de los nmeros naturales Por descomposicin individual en factores primos: Se descompone todos los nmeros como producto de sus factores primos. - Para hallar el MCD se multiplican los factores comunes elevados al menor exponente. - Para hallar el MCM se multiplican los factores comunes y no comunes elevados al mayor exponente. Por ejemplo: Hallar el MCD y MCM de 504 y 540. Hacemos 504 = 23 x 32 x 7, 540 = 22 x 33 x 5; luego: MCD = 22 x 32 = 36 y MCM = 23 x 33 x 5 x 7 = 7560 Por descomposicin simultnea en factores primos. Para hallar el MCD de varios nmeros se descomponen simultneamente en factores primos, multiplicando luego solo los factores comunes. Por ejemplo, hallar el MCD de 504 y 540. 504 252 126 42 14 540 270 135 45 15 2 2 3 3 MCD = 22 x 32 = 36

Para hallar el MCM de varios nmeros se les descompone simultneamente en factores primos y luego se multiplican los factores comunes y no comunes. Ejemplo: hallar el MCM de 504 y 540 504 252 126 42 14 14 14 7 1 540 270 135 45 15 5 1 1 1 2 2 MCM = 23 x 33 x 5 x 7 = 7560 3 3 3 5 2 7

APLICACIN DEL ALGORITMO DE EUCLIDES EN LA REPRESENTACION DE UN NUMERO RACIONAL MEDIANTE FRACCIONES CONTINUAS SIMPLES FINITAS Observacin:
2+ 1 1 1 67 9 1 29 2 1 3+ =2+ =2+ = 2 + 3+ = 2 + 3+ = 1 29 29 4+ 9 9 9/2 1

Definicin: Se define a una fraccin continua simple finita por la siguiente expresin

a0 +

1 a1 + 1 a2 + 1 a3 + . . 1 . . a n-1 + 1 an

donde a0 es entero y los nmeros a1, a2, a3, an son enteros positivos y n es finito La expresin anterior se puede expresar por : [a 0; a1, a2, a3, , an] y tambin por:

a0 +
2+ 3+

1 1 1 1 ..... a1 + a2 + a3 + an
1 1 4+ 1 2

67 Observacin: Como = 29

Entonces:

67 = [2; 3, 4, 2] 29

67 1 1 1 =2 + 29 3+ 4+ 2

Uso del algoritmo de Euclides para hallar la fraccin continua a simple del racional Siendo a y b b Para ello se realiza la tabla del algoritmo de Euclides para el calculo del MCD(a,b)

x
a b _

y
_ _

z
_ _

. . .

. . .

v
_ 1

w
1 0

Entonces

a =x + b y+

1 1 z+ 1 . . . . . 1 v+ w

Ejm 1

Para 67

67 29

2 29 9

3 9 2

4 2 1

2 1 0

Entonces

67 = 29

2+

1 3+ 1 1 4+ 2

67 = [2; 3, 4, 2] , 29

67 1 1 1 =2 + 29 3+ 4+ 2
Ejm 2 Para
29 67

0 29 67 29

2 29 9

3 9 2

4 2 1

2 1 0

0+
29 Entonces = 67

1 2+ 1 3+ 1 4+ 1 2 ,
29 = [0;2 , 3, 4, 2 ] 67

29 1 1 1 1 =0 + 67 2+ 3 + 4 + 2

Ejm 3

Para

29 11

-29

-3 11 4

2 4 3

1 3 1

3 1 0

Entonces

29 = 11

3 +

1 2+ 1 1 1+ 3 ,
29 = [-3; 2, 1, 3] 11

Ejm 4

29 1 1 1 =3 + 11 2 + 1+ 3
7 12

Para

-7

-1 12 5

2 5 2

2 2 1

2 1 0

Entonces

7 = 12

1 +

1 2+ 1 1 2+ 2 ,
7 = [-1; 2, 2, 2] , 12

Teorema:

7 1 1 1 = 1 + 12 2+ 2+ 2

Todo nmero racional puede ser representado mediante una fraccin continua simple finita y tal representacin es bsicamente nica. Adems toda fraccin continua simple finita representa a un nmero racional.

Definicin: Se denomina convergente o aproximante de orden i de C, a la expresin: Ci = [a0; a1,. . . , ai ] , i = 0,1,2,3,... Aqu, Ci puede expresarse como una expresin racional Ci = pi / qi i=0,1,2,3, pi es llamado el i -simo numerador y qi es llamado el i -simo denominador Proposicin: (i) (ii) Los convergentes pares C2i forman una sucesin creciente y los impares C2i+1 una sucesin decreciente. Cada convergente impar es mayor que cada convergente par y el valor de la fraccin continua est entre los convergentes pares y los impares.

Observacin: Para C = [a0; a1, an] es evidente que Cn coincide con el valor de C y es un nmero racional. Ejemplos:

37 7 1 1 1 = 1+ = 1+ = 1+ = 1+ 30 2 1 30 30 4+ 4+ 7 7 7 2 1 = 1+ 1 4+ 1 3+ 2
Entonces
37 = [ 1, 4, 3, 2] 30

Convergentes: C0 = 1 C1 = 1 +
1 5 = = 1,25 4 4 1 = 1+

1 3 16 = 1+ = 1 13 C2 = 13 13 = 1,230769... ; 4+ 3 3 1 1 1 1 7 37 1+ = 1+ = 1+ = 1+ = 1+ = 1 1 2 30 30 30 4+ 4+ 4+ C3 = = 1 7 7 7 3+ 2 2 1+

1,2333..... Observacin: C0 < C2 < C4 <.. C ..< C5 < C3 < C1