UNMSM-CENTRO PREUNIVERSITARIO Ciclo 2015-II

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Perú, DECANA DE AMÉRICA

CENTRO PREUNIVERSITARIO

Aritmética
MÁXIMO COMÚN DIVISOR Y MÍNIMO COMÚN MÚLTIPLO

DE NÚMEROS ENTEROS

1. Definición: El Máximo Común Divisor (MCD) de un conjunto de números enteros

positivos es el mayor de sus divisores comunes.

Ejemplo:
Si A = 34.57.1713 y B = 312.72.1711, el MCD (A; B) = 34.1711

 Se dice que A y B son primos entre sí (PESI), si MCD(A; B) = 1

PROPIEDADES
Dados los números enteros A, B, C y n, entonces se cumple que:

i. MCD(nA; nB; nC)  n  MCD(A; B; C)

 A B C MCD(A; B; C)
ii. MCD  ; ; 
n n n n
iii. MCD(A ; B ; C )  MCD(A; B; C) n
n n n

iv. MCD(A;B;C;D)=MCD(MCD(A;B);MCD(C;D))

v. MCD(A;B;C)=MCD(MCD(A;B);MCD(B;C))
Observación
 En general, sean los números A, B y C; de tal manera que el MCD(A; B; C) = d,
entonces existen números enteros positivos p, q y r primos entre sí tal que:

A = d  p; B = d q y C = d r

 Si a es múltiplo de b, entonces el MCD(a;b) es b.

 Si varios números naturales se dividen entre su MCD, los resultados son primos
entre sí.

 El MCD de dos números a y b coincide con el MCD de b y el resto de la división de

a entre b. En esta propiedad se basa el Algoritmo de Euclides.

 Teorema de Bezout. a y b son números enteros con MCD(a;b) = d si y solo si existen

dos números enteros p y q tales que se verifica:

d = p.a + q.b

Semana Nº 7 (Prohibida su reproducción y venta) Pág.1

UNMSM-CENTRO PREUNIVERSITARIO Ciclo 2015-II

 Según el Teorema de Bezout, a y b son PESI si y solo si existen dos números enteros
p y q tales que se verifique: p.a + q.b = 1.

2. Definición: El Mínimo Común Múltiplo (MCM) de un conjunto de números enteros

positivos es el menor de sus múltiplos comunes.

Ejemplo:
Si A = 26.54.78 y B = 25.33.79, el MCM (A; B) = 26.33.54.79
 Si A y B son primos entre sí, entonces MCM (A; B) = A  B

PROPIEDADES.

Dados los números A, B, C y n, entonces se cumple que:

i. MCM(nA; nB; nC)  n  MCM(A; B; C)

 A B C MCM(A; B; C)
ii. MCM  ; ; 
n n n n
iii. MCM(A ; B ; C )  MCM(A; B; C) n
n n n

 Solo para dos números enteros se cumple que

MCD(A; B)  MCM(A; B)  A  B

Observación
 En general, sean los números A, B y C; de tal que el MCM(A; B; C) = m; entonces
existen números enteros positivos p, q y r primos entre sí tal que:

m = A  p, m = B q y m = C r

 Si a es múltiplo de b, entonces el MCM de ambos es a.

 Si varios números naturales se multiplican (o dividen exactamente) por otro natural

m, su MCM queda también multiplicado (o dividido exactamente) por m.

ALGORITMO DE EUCLIDES PARA EL CÁLCULO DEL MCD DE DOS NÚMEROS

El procedimiento se puede organizar en el siguiente esquema:

Cocientes

Semana Nº 7 (Prohibida su reproducción y venta) Pág.2

UNMSM-CENTRO PREUNIVERSITARIO Ciclo 2015-II

Cocientes q1 q2 q3 q
4
q
5

Dividendo y # Mayor # Menor

r1 r2 r3 r4 = d = MCD(A;B)
divisor A B

Residuos r1 r2 r3 r4 0

Ejemplo: Halle el MCD de 42 y 9

4 1 2
42 9 6 3 MCD(42 ; 9) = 3
6 3 0

Por lo tanto, MCD (42; 9) = 3

PROPIEDADES

 MCD  N a - 1 ; N b - 1  = N MCD(a; b) - 1 .
 

  

 Si N = a+ k y N = b k , k  Z  N = MCM (a ; b) + k

Semana Nº 7 (Prohibida su reproducción y venta) Pág.3