Divisibilidad

Pedro Villalba

Teorı́a de Números
FACET - UNC

Pedro Villalba Divisibilidad 1 / 11

Esquema

1 Definición

2 Propiedades de la divisibilidad

3 Algoritmo de la división

4 Máximo común divisor

Pedro Villalba Divisibilidad 2 / 11

Divisibilidad

Pedro Villalba Divisibilidad 3 / 11

Divisibilidad

Definición
Dados d, n en Z, diremos que d divide a n, d|n, si existe c ∈ Z tal que
n = dc

Pedro Villalba Divisibilidad 3 / 11

Divisibilidad

Definición
Dados d, n en Z, diremos que d divide a n, d|n, si existe c ∈ Z tal que
n = dc

múltiplo
z}|{
n = dc
|{z}
divisores o factores

Pedro Villalba Divisibilidad 3 / 11

Divisibilidad

Definición
Dados d, n en Z, diremos que d divide a n, d|n, si existe c ∈ Z tal que
n = dc

múltiplo
z}|{
n = dc
|{z}
divisores o factores

96 = 12 · 8

Pedro Villalba Divisibilidad 3 / 11

Divisibilidad

Definición
Dados d, n en Z, diremos que d divide a n, d|n, si existe c ∈ Z tal que
n = dc

múltiplo
z}|{
n = dc
|{z}
divisores o factores

96 = 12 · 8 =⇒ 12 es un divisor o factor de 96

Pedro Villalba Divisibilidad 3 / 11

Divisibilidad

Definición
Dados d, n en Z, diremos que d divide a n, d|n, si existe c ∈ Z tal que
n = dc

múltiplo
z}|{
n = dc
|{z}
divisores o factores

96 = 12 · 8 =⇒ 12 es un divisor o factor de 96
=⇒ 96 es un múltiplo de 12

Pedro Villalba Divisibilidad 3 / 11

Propiedades de la divisibilidad

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n (propiedad reflexiva)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n (propiedad reflexiva)
2 Si d|n y n|m entonces d|m (propiedad transitiva)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n (propiedad reflexiva)
2 Si d|n y n|m entonces d|m (propiedad transitiva)
3 Si d|n y d|m entonces d|(an + bm) (propiedad de linealidad)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n (propiedad reflexiva)
2 Si d|n y n|m entonces d|m (propiedad transitiva)
3 Si d|n y d|m entonces d|(an + bm) (propiedad de linealidad)
4 d|n implica que ad|an (propiedad de multiplicación)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n
2 Si d|n y n|m entonces d|m
3 Si d|n y d|m entonces d|(an + bm)
4 d|n implica que ad|an
5 ad|an y a 6= 0 implica que d|n
(propiedad reflexiva)
(propiedad transitiva)
(propiedad de linealidad)
(propiedad de multiplicación)
(propiedad de simplificación)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n
2 Si d|n y n|m entonces d|m
3 Si d|n y d|m entonces d|(an + bm)
4 d|n implica que ad|an
5 ad|an y a 6= 0 implica que d|n
6 1|n
(propiedad reflexiva)
(propiedad transitiva)
(propiedad de linealidad)
(propiedad de multiplicación)
(propiedad de simplificación)
(1 es divisor de todos los enteros)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n (propiedad reflexiva)
2 Si d|n y n|m entonces d|m (propiedad transitiva)
3 Si d|n y d|m entonces d|(an + bm) (propiedad de linealidad)
4 d|n implica que ad|an (propiedad de multiplicación)
5 ad|an y a 6= 0 implica que d|n (propiedad de simplificación)
6 1|n (1 es divisor de todos los enteros)
7 n|0 (cada entero divide a 0)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad

Teorema 1.
1 n|n
2 Si d|n y n|m entonces d|m
3 Si d|n y d|m entonces d|(an + bm)
4 d|n implica que ad|an
5 ad|an y a 6= 0 implica que d|n
6 1|n
7 n|0
8 Si 0|n, entonces n = 0
(propiedad reflexiva)
(propiedad transitiva)
(propiedad de linealidad)
(propiedad de multiplicación)
(propiedad de simplificación)
(1 es divisor de todos los enteros)
(cada entero divide a 0)
(el 0 sólo divide al 0)

Pedro Villalba Divisibilidad 4 / 11

Propiedades de la divisibilidad
Teorema 1.
1 n|n
2 Si d|n y n|m entonces d|m
3 Si d|n y d|m entonces d|(an + bm)
4 d|n implica que ad|an
5 ad|an y a 6= 0 implica que d|n
6 1|n
7 n|0
8 Si 0|n, entonces n = 0
9 d|n y n 6= 0 implica que |d| ≤ |n|
Pedro Villalba Divisibilidad
(propiedad reflexiva)
(propiedad transitiva)
(propiedad de linealidad)
(propiedad de multiplicación)
(propiedad de simplificación)
(1 es divisor de todos los enteros)
(cada entero divide a 0)
(el 0 sólo divide al 0)
(propiedad de comparación)
4 / 11
Propiedades de la divisibilidad
Teorema 1.
1 n|n
2 Si d|n y n|m entonces d|m
3 Si d|n y d|m entonces d|(an + bm)
4 d|n implica que ad|an
5 ad|an y a 6= 0 implica que d|n
6 1|n
7 n|0
8 Si 0|n, entonces n = 0
9 d|n y n 6= 0 implica que |d| ≤ |n|
10 Si d|n y n|d entonces |d| = |n|
Pedro Villalba Divisibilidad
(propiedad reflexiva)
(propiedad transitiva)
(propiedad de linealidad)
(propiedad de multiplicación)
(propiedad de simplificación)
(1 es divisor de todos los enteros)
(cada entero divide a 0)
(el 0 sólo divide al 0)
(propiedad de comparación)
4 / 11
Propiedades de la divisibilidad
Teorema 1.
1 n|n
2 Si d|n y n|m entonces d|m
3 Si d|n y d|m entonces d|(an + bm)
4 d|n implica que ad|an
5 ad|an y a 6= 0 implica que d|n
6 1|n
7 n|0
8 Si 0|n, entonces n = 0
9 d|n y n 6= 0 implica que |d| ≤ |n|
10 Si d|n y n|d entonces |d| = |n|
11 Si d|n y d 6= 0, entonces (n/d)|n.
Pedro Villalba Divisibilidad
(propiedad reflexiva)
(propiedad transitiva)
(propiedad de linealidad)
(propiedad de multiplicación)
(propiedad de simplificación)
(1 es divisor de todos los enteros)
(cada entero divide a 0)
(el 0 sólo divide al 0)
(propiedad de comparación)
4 / 11
Algoritmo de la división

Pedro Villalba Divisibilidad 5 / 11

Algoritmo de la división

Teorema 2.
Dados dos enteros a y b con b > 0, existe un único par de enteros q y r
tales que

a = bq + r, con 0 ≤ r < b
Además, r = 0 si, y solo si, b|a.

Pedro Villalba Divisibilidad 5 / 11

Algoritmo de la división

Teorema 2.
Dados dos enteros a y b con b > 0, existe un único par de enteros q y r
tales que

a = bq + r, con 0 ≤ r < b
Además, r = 0 si, y solo si, b|a.

A los números enteros q y r se los denomina cociente y resto o residuo,

respectivamente.

Pedro Villalba Divisibilidad 5 / 11

Algoritmo de la división

Teorema 2.
Dados dos enteros a y b con b > 0, existe un único par de enteros q y r
tales que

a = bq + r, con 0 ≤ r < b
Además, r = 0 si, y solo si, b|a.

A los números enteros q y r se los denomina cociente y resto o residuo,

respectivamente.

Demostración:

Pedro Villalba Divisibilidad 5 / 11

Algoritmo de la división

Teorema 2.
Dados dos enteros a y b con b > 0, existe un único par de enteros q y r
tales que

a = bq + r, con 0 ≤ r < b
Además, r = 0 si, y solo si, b|a.

A los números enteros q y r se los denomina cociente y resto o residuo,

respectivamente.

Demostración:
Sea
K = {a − xb | x ∈ Z ∧ a − xb ≥ 0}

Pedro Villalba Divisibilidad 5 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b≥1

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a|

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a|

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ ,

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo,

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r,

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq.

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b,

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

a − b(q + 1)

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

a − b(q + 1) = (a − bq) − b

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

a − b(q + 1) = (a − bq) − b = r − b

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

a − b(q + 1) = (a − bq) − b = r − b ≥ 0

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

a − b(q + 1) = (a − bq) − b = r − b ≥ 0

Lo cual implica que a − b(q + 1) ∈ K

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

a − b(q + 1) = (a − bq) − b = r − b ≥ 0

Lo cual implica que a − b(q + 1) ∈ K es una contradicción

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división
• K está bien definida, es decir, K 6= ∅:
b ≥ 1 =⇒ |a|b ≥ |a| =⇒ a + |a|b ≥ a + |a| ≥ 0

Además, a + |a|b = a − (|a|) b = a − xb ∈ K, luego K 6= ∅.

|{z}
x
• Existencia de los enteros q y r tales que a = bq + r, con 0 ≥ r < b:
Como K ⊂ Z+ , podemos aplicar el principio de buen orden,
entonces K tiene un elemento mı́nimo, digamos r, entonces existe
q ∈ Z tal que r = a − bq. Afirmamos que r < b, pues si no lo fuere

a − b(q + 1) = (a − bq) − b = r − b ≥ 0

Lo cual implica que a − b(q + 1) ∈ K es una contradicción pues r

es mı́nimo y a − b(q + 1) < a − bq = r.

Pedro Villalba Divisibilidad 6 / 11

Algoritmo de la división

• Unicidad de los enteros q y r tales que a = bq + r, con 0 ≤ r < b:

Pedro Villalba Divisibilidad 7 / 11

Algoritmo de la división

• Unicidad de los enteros q y r tales que a = bq + r, con 0 ≤ r < b:

Supongamos que existen otros enteros q 0 y r0 tales que a = bq 0 + r0

con 0 ≤ r0 < b.

Pedro Villalba Divisibilidad 7 / 11

Algoritmo de la división

• Unicidad de los enteros q y r tales que a = bq + r, con 0 ≤ r < b:

Supongamos que existen otros enteros q 0 y r0 tales que a = bq 0 + r0

con 0 ≤ r0 < b. Entonces

|r − r0 | = |q − q 0 |b

Pedro Villalba Divisibilidad 7 / 11

Algoritmo de la división

• Unicidad de los enteros q y r tales que a = bq + r, con 0 ≤ r < b:

Supongamos que existen otros enteros q 0 y r0 tales que a = bq 0 + r0

con 0 ≤ r0 < b. Entonces

|r − r0 | = |q − q 0 |b y |r − r0 | < b

Pedro Villalba Divisibilidad 7 / 11

Algoritmo de la división

• Unicidad de los enteros q y r tales que a = bq + r, con 0 ≤ r < b:

Supongamos que existen otros enteros q 0 y r0 tales que a = bq 0 + r0

con 0 ≤ r0 < b. Entonces

|r − r0 | = |q − q 0 |b y |r − r0 | < b

Por lo que |q − q 0 | < 1, lo cual es posible solo si |q − q 0 | = 0.

Pedro Villalba Divisibilidad 7 / 11

Algoritmo de la división

• Unicidad de los enteros q y r tales que a = bq + r, con 0 ≤ r < b:

Supongamos que existen otros enteros q 0 y r0 tales que a = bq 0 + r0

con 0 ≤ r0 < b. Entonces

|r − r0 | = |q − q 0 |b y |r − r0 | < b

Por lo que |q − q 0 | < 1, lo cual es posible solo si |q − q 0 | = 0.

Ası́, q = q 0 y r = r0 

Pedro Villalba Divisibilidad 7 / 11

Máximo común divisor
Teorema 3.

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b.

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0,

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1,

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.
• Si b ≥ 1,

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.
• Si b ≥ 1, como (a − b) + b = a

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.
• Si b ≥ 1, como (a − b) + b = a = n − b

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.
• Si b ≥ 1, como (a − b) + b = a = n − b ≤ n − 1,

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.
• Si b ≥ 1, como (a − b) + b = a = n − b ≤ n − 1, entonces la hipótesis
inductiva es válida.

Pedro Villalba Divisibilidad 8 / 11

Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.
• Si b ≥ 1, como (a − b) + b = a = n − b ≤ n − 1, entonces la hipótesis
inductiva es válida. Entonces existen un divisor común d de a − b y
b con d = (a − b)x + by.
Pedro Villalba Divisibilidad 8 / 11
Máximo común divisor
Teorema 3.
Dados dos enteros a y b, existe un divisor común de a y b de la forma

d = ax + by

en donde x e y son enteros. Además, todo divisor común de a y b

divide a esta combinación lineal d.
Demostración:
Por inducción en n = a + b. Supondremos que a, b ≥ 0 y que a ≥ b.
• Si n = 0, d = 0 · 0 + 0 · 0
• Supongamos válido para k = 0, 1, · · · n − 1, y probemos que
también se cumple para k ≥ n.
• Si b = 0, d = a · 1 + b · 0.
• Si b ≥ 1, como (a − b) + b = a = n − b ≤ n − 1, entonces la hipótesis
inductiva es válida. Entonces existen un divisor común d de a − b y
b con d = (a − b)x + by. d también divide a (a − b) + b = a.
Pedro Villalba Divisibilidad 8 / 11
Máximo común divisor
Luego d|a y d|b, además d = ax + (y − x)b,

Pedro Villalba Divisibilidad 9 / 11

Máximo común divisor
Luego d|a y d|b, además d = ax + (y − x)b, como
querı́amos.

Pedro Villalba Divisibilidad 9 / 11

Máximo común divisor
Luego d|a y d|b, además d = ax + (y − x)b, como
querı́amos.

• Para completar la demostración,

Pedro Villalba Divisibilidad 9 / 11

Máximo común divisor
Luego d|a y d|b, además d = ax + (y − x)b, como
querı́amos.

• Para completar la demostración, supongamos ahora que e es otro

divisor común de a y b,

Pedro Villalba Divisibilidad 9 / 11

Máximo común divisor
Luego d|a y d|b, además d = ax + (y − x)b, como
querı́amos.

• Para completar la demostración, supongamos ahora que e es otro

divisor común de a y b, entonces por la propiedad de linealidad e
divide a cualquier combinación lineal de a y b,

Pedro Villalba Divisibilidad 9 / 11

Máximo común divisor
Luego d|a y d|b, además d = ax + (y − x)b, como
querı́amos.

• Para completar la demostración, supongamos ahora que e es otro

divisor común de a y b, entonces por la propiedad de linealidad e
divide a cualquier combinación lineal de a y b, por lo que e|d. 

Pedro Villalba Divisibilidad 9 / 11

Máximo común divisor
Luego d|a y d|b, además d = ax + (y − x)b, como
querı́amos.

• Para completar la demostración, supongamos ahora que e es otro

divisor común de a y b, entonces por la propiedad de linealidad e
divide a cualquier combinación lineal de a y b, por lo que e|d. 

Teorema 4.
Dados dos enteros a y b, existe un número d y sólo uno, con las
siguientes propiedades:
(a) d≥0 (d es no negativo)
(b) d|a y d|b (d es un divisor común de a y de b)
(c) Si e|a y e|b, implica que e|d (cada divisor común divide a d)

Pedro Villalba Divisibilidad 9 / 11

Máximo común divisor
Demostración:

Pedro Villalba Divisibilidad 10 / 11

Máximo común divisor
Demostración:
Por el Teorema 3 sabemos que existe un divisor d de a y b que satisface
b) y c).

Pedro Villalba Divisibilidad 10 / 11

Máximo común divisor
Demostración:
Por el Teorema 3 sabemos que existe un divisor d de a y b que satisface
b) y c). Pero -d también satisface.

Pedro Villalba Divisibilidad 10 / 11

Máximo común divisor
Demostración:
Por el Teorema 3 sabemos que existe un divisor d de a y b que satisface
b) y c). Pero -d también satisface. Además d|(−d) y (−d)|d y por el por
el Teorema 1, |d| = | − d|.

Pedro Villalba Divisibilidad 10 / 11

Máximo común divisor
Demostración:
Por el Teorema 3 sabemos que existe un divisor d de a y b que satisface
b) y c). Pero -d también satisface. Además d|(−d) y (−d)|d y por el por
el Teorema 1, |d| = | − d|. Luego existe un único d ≥ 0 que satisface b)
y c). 

Pedro Villalba Divisibilidad 10 / 11

Máximo común divisor
Demostración:
Por el Teorema 3 sabemos que existe un divisor d de a y b que satisface
b) y c). Pero -d también satisface. Además d|(−d) y (−d)|d y por el por
el Teorema 1, |d| = | − d|. Luego existe un único d ≥ 0 que satisface b)
y c). 

Definición
El número d del Teorema 4 se llama máximo común divisor (mcd) de a
y b, y se designa por mcd(a, b).

Pedro Villalba Divisibilidad 10 / 11

Máximo común divisor
Demostración:
Por el Teorema 3 sabemos que existe un divisor d de a y b que satisface
b) y c). Pero -d también satisface. Además d|(−d) y (−d)|d y por el por
el Teorema 1, |d| = | − d|. Luego existe un único d ≥ 0 que satisface b)
y c). 

Definición
El número d del Teorema 4 se llama máximo común divisor (mcd) de a
y b, y se designa por mcd(a, b).

Definición
Dados dos números a y b, si mcd(a, b) = 1, decimos que a y b son
primos relativos, primos entre sı́ o coprimos.

Pedro Villalba Divisibilidad 10 / 11

 FIN !!
Gracias

Pedro Villalba Divisibilidad 11 / 11