MCD - MCM

Máximo Común Divisor

Para un entero positivo k denotamos por Dk al conjunto de todos los divisores positivos de
k (notemos que el conjunto Dk es finito). Para los enteros positivos a y b, el máximo elemento
del conjunto Da ∩ Db es llamado el máximo común divisor (o M.C.D.) de a y b, y es denotado
por mcd(a, b).

Propiedades
Sean a, b y d números enteros positivos tal que mcd(a, b) = d. Sean α y β enteros positivos
tal que a = dα y b = dβ. Si existe un primo p tal que p | α y p | beta, entonces pd es un divisor
común de a y b. Debido a que d es el máximo común divisor, concluimos que pd ≤ d. ¡Absurdo!
Por lo tanto, α y β son coprimos.
(i) Sea c un entero tal que c | a y c | b, entonces c | d.

 Prueba: Sean s y t enteros tal que a = cs y b = ct, entonces dαβ = csβ = ctα. De
donde: sβ = tα. Debido a que β es un divisor de tα, y α y β son coprimos; entonces β | t.
Sea r un entero tal que t = βr, entonces dβ = b = ct = cβr. De donde: d = cr, es decir
c | d. 

(ii) Si k es un entero positivo, entonces mcd(ak, bk) = dk.

 Prueba: Sabemos que dk | ak y dk | bk. Por la propiedad (i), dk | mcd(ak, bk). Sea s
un entero positivo tal que mcd(ak, bk) = dks. Debido a que dks | ak y dks | bk, podemos
concluir que ds es un divisor común de a y b. En consecuencia, ds ≤ d. De donde: s = 1.
Por lo tanto, mcd(ak, bk) = dk. 

(iii) Si a > b, entonces mcd(a − b, b) = d.

 Prueba: Al usar la propiedad (ii), obtenemos que mcd(a−b, b) = mcd(d(α−β), dβ) =

d × mcd(α − β, β). Supongamos que exista un factor primo p tal que p | α − β y p | β,
entonces p | α. Sin embargo, α y β son coprimos. ¡Absurdo! Por lo tanto, α − β y β son
coprimos. En consecuencia, mcd(a − b, b) = d. 

(iv) Si existen enteros positivos e y f tal que a = be + f , entonces mcd(b, f ) = d.

 Prueba: Aplicamos varias veces la propiedad (iii): d = mcd(a, b) = mcd(be + f, b) =

mcd(b(e − 1) + f, b) = · · · = mcd(f, b). 

Algoritmo de Euclides
Un algoritmo útil para encontrar el máximo común divisor de dos enteros positivos a > b es
el Algoritmo de Euclides. Consiste en la aplicación repetida del Algoritmo de División:

a = bq1 + r1 , 1 ≤ r1 < b
b = r1 q2 + r2 , 1 ≤ r2 < r1
..
.
rk−2 = rk−1 qk + rk , 1 ≤ rk < rk−1
rk−1 = rk qk+1 + rk+1 , rk+1 = 0.

kusimat.kusimat@gmail.com Grupo II
KUSIMAT página 1
Esta cadena de igualdades es finita porque
n > r1 > r2 > · · · > rk .
El último resto distinto de cero, rk , es el máximo común divisor de a y b. Efectivamente, al
aplicar sucesivamente la propiedad (iv) obtenemos
mcd(a, b) = mcd(b, r1 ) = mcd(r1 , r2 ) = · · · = mcd(rk−1 , rk ) = rk .

Mı́nimo Común Múltiplo

Para un entero positivo k denotamos por Mk al conjunto de todos los múltiplos positivos de
k (notemos que el conjunto Mk es infinito). Para los enteros positivos a y b, el mı́nimo elemento
del conjunto Ma ∩ Mb es llamado el mı́nimo común múltiplo (o M.C.M.) de a y b, y es denotado
por mcm(a, b).

Propiedades
Trabajemos con los mismos a, b, d, α, β que usamos en el bloque de propiedades anterior.
Sea m el mı́nimo común múltiplo de a y b, entonces existen enteros positivos θ y γ tal que
m = aθ = bγ. De donde:
αθ = βγ
α es un divisor de βγ. Debido a que α y β son coprimos, podemos afirmar que α | γ. Sea u un
entero positivo tal que γ = uα. Entonces, m = bγ = dβαu. Tengamos presente que dαβ es un
múltiplo común de a y b, entonces dαβ ≥ m = dβαu. De donde: u = 1. Por lo tanto, m = dαβ.
(i) a × b = d × m.

 Prueba: a × b = (dα)(dβ) = d(dαβ) = dm. 

(ii) Sea c un entero tal que a | c y b | c, entonces m | c.

 Prueba: Sean s y t dos enteros tal que c = as = bt. De donde: αs = βt. Notamos
que α divide a βt. Sin embargo, α y β son coprimos. Entonces, α | t. Sea u un entero tal
que t = αu. En consecuencia, c = bt = dβαu = mu. De donde: m | c. 

(iii) Si k es un entero positivo, entonces mcm(ak, bk) = mk.

(ak)(bk) (ak)(bk)
 Prueba: Al usar la propiedad (i), obtenemos que mcm(ak, bk) = mcd(ak,bk) = k×d =
k ab


d = km. 

Usando la descomposición en factores primos

Sean a y b dos enteros positivos mayores que 1. A continuación, se muestran sus respectivas
descomposiciones en factores primos:
a = P1α1 · · · Pkαk ;

b = P1β1 · · · Pkβk .
Consideremos que los exponentes son enteros no negativos, y αi + βi ≥ 1. Entonces,
mı́n(α1 ,β1 ) mı́n(αk ,βk )
mcd(a, b) = P1 · · · Pk ;
máx(α1 ,β1 ) máx(αk ,βk )
mcm(a, b) = P1 · · · Pk .

kusimat.kusimat@gmail.com Grupo II
KUSIMAT página 2
Problemas
1 2000 alumnos se han matriculado en el colegio KallpaMate. No obstante, el primer dı́a de
clases no asistieron todos. Sobre los alumnos presentes, se sabe lo siguiente:

El 12, 1212 . . . % son mujeres.

El 23, 423423 . . . % usan lentes.

¿Cuántos alumnos faltaron el primer dı́a de clases?

2 Sean a < b dos enteros positivos tal que

mcd(a, b) + mcm(a, b) = a + b.

Probar que a | b.

3 ¿Cuál es el mayor valor posible del MCD de dos números distintos que pertenecen al
conjunto {1, 2, 3, . . . , 2018}?

4 Sean a y b enteros positivos coprimos tales que a · b = mk para algunos m, k enteros

positivos mayores que 1. Probar que existen p y q enteros positivos tales que a = pk y
b = qk .

5 Encuentre todos los pares (a, b) de enteros positivos no coprimos tales que

mcd(a, b) + 9mcm(a, b) + 9(a + b) = 7ab.

6 Sea an = 20 + n2 , y dn el mcd de los números an y an+1 . Determinar el mayor valor que

puede tomar dn .

7 Sean a y b enteros positivos, si

mcm(a, a + 5) = mcm(b, b + 5)

¿podemos afirmar que a = b?

8 Sean x, y enteros positivos tales que

2xy|x2 + y 2 − x,

pruebe que x es un cuadrado perfecto.

9 Sea N un número entero positivo que se puede expresar de la siguiente forma:

p
N = 1 + 28n2 + 1

para algún n entero positivo. Probar que 2N es un cuadrado perfecto.

10 Sean m > n dos enteros positivos. Probar que

2mn
mcm(m, n) + mcm(m + 1, n + 1) > √ .
m−n

11 Determine si existen enteros positivos a, b y c para los cuales se cumpla lo siguiente:

mcm(a, b) = mcm(a + c, b + c).

kusimat.kusimat@gmail.com Grupo II
KUSIMAT página 3
 12 Encuentra todas las parejas de enteros positivos (x, y) tales que:

xx+y = y y−x .

13 Halle todas las ternas de enteros positivos (m, n, l) tales que

m + n = mcd(m, n)2 ,

m + l = mcd(m, l)2 ,
n + l = mcd(n, l)2 .

14 Sea n un entero positivo par, y sean a, b enteros positivos coprimos. Halle a y b si se cumple
que a + b es un divisor de an + bn .

15 Halle todos los enteros positivos n para los cuales se cumple que:

mcd(n, 1) + mcd(n, 2) + · · · + mcd(n, n) = 3n − 3.

kusimat.kusimat@gmail.com Grupo II
KUSIMAT página 4