5to año Repartido 5

DIVISIBILIDAD
Prof. Marcos Silva

El estudio de la Teoría de la Divisibilidad se originó debido a la necesidad de

tener que repartir cantidades de cosas entre personas, dándole a cada una el
mismo número de unidades, cuestiones que a veces no tenían solución debido a
la no divisibilidad del número tratado.

Este hecho hizo que se estudiase que relación se encontraba entre los números
en los que este problema sí tenía solución y los números en los que no. De esta
forma comenzó a estudiarse la divisibilidad.

La divisibilidad de los números es conocida desde tiempos remotos. Así, los

hindúes ya conocían la divisibilidad por tres, siete y nueve y los egip cios
conocían los números pares e impares. El matemático griego Euclides demostró
los teoremas básicos de la divisibilidad de números enteros. Ya posteriormente,
el matemático francés Pascal (1623 -1662) propuso las reglas para conocer la
divisibilidad de cualquier número.

La divisibilidad estudia relaciones entre los números, nos dice si uno contiene o
está contenido por otro y la cantidad de veces que sucede, es decir Estudia las
condiciones necesarias y suficientes para que un número sea divisible por el otro.

Matemática Científica 2022 1

 5to año Repartido 5

1. DIVISIÓN ENTERA
Para cada par de naturales (𝑎,𝑏), 𝑏 ≠ 0, efectuar la división entera de 𝑎 entre 𝑏
significa determinar dos naturales (𝑞, 𝑟) tal que cumplan las siguientes
condiciones:

𝒂 𝒃 a = b.q + r

𝒓 𝒒  r b

Observación:

1) 𝑎 =dividendo; 𝑏 =divisor; 𝑞 =cociente y 𝑟 =resto.

2) Si 𝑟 = 0, la división se llama exacta y 𝑎 = 𝑏. 𝑞

Ejemplo 1:
Hallar todos los números naturales 𝑎 y 𝑟 que cumplan con la siguiente división
entera:

Aplicando la definición de división entera podemos determinar que:

𝒓 𝒂
𝑟 < 4 ⟹ 𝑟 = 0; 𝑟 = 1; 𝑟 = 2; 𝑟 = 3 0 68
 1
2
69
70
𝑎 = 4 × 17 + 𝑟 ⟹ 𝑎 = 68 + 𝑟
3 71

Matemática Científica 2022 2

 5to año Repartido 5

Teorema 1 (Existencia y unicidad del cociente y el resto):

Hipótesis: 𝑎 ∈ ℕ Tesis: 1) ∃ 𝑞, 𝑟 ∈ ℕ/ 𝑎 = 𝑏. 𝑞 + 𝑟 con 𝑟 < 𝑏 (Existencia)

𝑏 ∈ ℕ∗ 2) 𝑞 y 𝑟 son únicos (Unicidad)

Demostración:

Existencia

Sea 𝐻 = {𝑥 ∈ ℕ/𝑏. 𝑥 ≤ 𝑎} demostr aremos que 𝐻 tiene máxi mo y lo llamaremos 𝑞.

i) 𝐻⊆ℕ
ii) 0 ∈ 𝐻 ya que 𝑏. 0 = 0 ∧ 0 ≤ 𝑎 ⟹ 𝐻 ≠ ∅
iii) Sea 𝑞 ∈ 𝐻/𝑏. 𝑞 = 𝑎, (𝑞 + 1) ∈ 𝐻 ?

b ( q + 1) = b.q + b  
  b ( q + 1) = a + b 
de iii) b.q = a  sust.   b ( q + 1)  a  ( q + 1)  H i),ii)y iii) q = max H 

por Hip) b  0 

iv)

q  H  b.q  a  a − b.q  0 

por Hip) a   r / r = a − b.q   r  / a = b.q + r
b  *  b.q  
Def. 
product. 
v) de iii) ( q + 1)  H  b(q + 1)  a  b.q + b  a 
distributiva 
 transitiva
por iv) a = b.q + r  desig.

b.q + b  b.q + r  r  b
cancelativa

 q, r  / a = b.q + r  r b

Matemática Científica 2022 3

 5to año Repartido 5

Unicidad
  q, r  / a = b.q + r  r  b

Supongamos que:   q ', r '  / a = b.q '+ r '  r '  b
 q  q'
1) q q '

si q  q '   
2) q  q '


1) q  q ' ( )
por Hip) a = b.q + r 
  b.q + r = b.q '+ r '  b.q − b.q + r = r ' 
a = b.q '+ r ' transitiva
b ( q − q ') + r = r '  b ( q − q ') < r ' 
−r 
  r '  b (absurdo por
(  ) q  q '  q − q '  0  q − q '  1
b
b ( q − q ' )  b  transitiva
 desig.

definición de div. entera)  q  q ' es falso 


 q = q '  q es único
 Tricotomía
2) Análogamente podemos demostrar que q  q ' es falso 

a = b.q + r  r = a − b.q 
si q = q '     r = r '  r es único
a = b.q + r '  r ' = a − b.q  transitiva

Ejercicio 1
Completar los siguientes esquemas de división entera con todas las opciones
posibles:

Matemática Científica 2022 4

 5to año Repartido 5

Ejercicio 2
Calcular 𝑎 y 𝑏 en cada caso, sabiendo que se cumple simultaneamente.

2. DIVISOR DE UN NÚMERO NATURAL

Dados dos números 𝑎 ∈ ℕ y 𝑏 ∈ ℕ∗ , decimos que el número 𝑏 es divisor del
número 𝑎 y se anotará 𝑏|𝑎, si y solo si existe un número natural 𝑘 tal que 𝑘. 𝑏 = 𝑎

𝒃|𝒂 ⟺ ∃ 𝒌 ∈ ℕ/ 𝒌. 𝒃 = 𝒂

Ejemplo 2:

• 3|12 pues ∃ 4 ∈ ℕ/4 × 3 = 12

• 1|5 pues ∃ 5 ∈ ℕ/5 × 1 = 5
• 2 no divide a 15 pues ∄ 𝑘 ∈ ℕ/ 𝑘. 2 = 15
• 0 no divide a ningún ℕ pues ∄ 𝑘 ∈ ℕ/ 𝑘. 0 = ℕ∗

Observaciones:

• El 1 es divisor de todos los números naturales.

• Todo natural distinto de cero es divisor de sí mismo.
• El 0 no es divisor de ningún número natural.

3. MÚLTIPLO DE UN NÚMERO NATURAL

Dados dos números 𝑎 ∈ ℕ y 𝑏 ∈ ℕ∗ , decimos que 𝑎 es múltiplo de 𝑏 y se anotará
•
a = b , si y solo si 𝑏|𝑎
•
a = b  𝑏|𝑎

Matemática Científica 2022 5

 5to año Repartido 5

Ejemplo 3:
•
• 10 = 2 pues 2|10
•
• 24 = 6 pues 6|24

Observaciones:

• 0 es múltiplo de todos los naturales.

• 1 solamente es múltiplo de sí mismo.
• Al conjunto de los múltiplos de un número 𝑎, lo anotaremos como 𝑚(𝑎) =
{0; 5; 10; 15; 20; … }
• El conjunto de los múltiplos de un número es infinito.

CRITERIOS DE DIVISIBILIDAD

Son
divisibl Regla de divisibilidad Ejemplos
es por:
Los números que terminan en cero o
2 cifra par 24, 30, 346, 2568, ...

Los números cuyas cifras suman

3 3 o múltiplo de 3
111, 213, 1233, 3321, ...
Los números cuyas dos últimas cifras
4 son 00 o múltiplo de 4 (12, 16, 20, 24,...)
532, 316, 3524, ...
Los números terminados en cero o 5
5 345, 480, 7.090, ...
Los números divisibles por 2 y por 3
6 642, 216, 564, ...
Los números cuya diferencia en tre el
número sin la cifra de las unidades y el 343 → 34 - 2 x 3 = 28, es múltiplo
7 doble de la cifra de las unidades de 7
es cero o múltiplo de 7 .
Los números cuyas cifras
9 suman 9 o múltiplo de 9 (al sumar pueden 32090310, 6073002, ...
descartarse las cifras 0 y 9)
Los números en los que la diferencia entre
la suma de las cifras que ocupan los
4356781 (la suma de las cifras de lugar
11 lugares pares y la de los impares
par da 17, la suma de las cifras de lugar
impar da 17, la diferencia es 0)
son cero o múltiplo de 11 .

Matemática Científica 2022 6

 5to año Repartido 5

Teorema 2: Si un número 𝑥 ∈ ℕ∗ , es divisor de dos naturales 𝑎 y 𝑏, entonces es

divisor de su suma 𝑎 + 𝑏.

Hipótesis: 𝑥|𝑎 ∧ 𝑥|𝑏 Tesis: 𝑥|(𝑎 + 𝑏)

Demostración:

x ak / k .x = a  
 k .x + h.x = a + b  (k + h) x = a + b
 sumo 
x b   h / h.x = b  miembro 
a 
miembro 
k  h  (k + h )  


 ( k + h)  / ( k + h) x = a + b  x ( a + b )
def.
divisor

• • •
Corolario: si a = x  b = x  (a + b) = x

Teorema 3: Si un número 𝑥 ∈ ℕ∗ , es divisor de un número natural 𝑎, entonces es

divisor de cualquier múltiplo (𝑚. 𝑎) de él.

• •
Hipótesis: 𝑥|𝑎 ∧ m.a = a  m Tesis: xa

Demostración:

x ak / k .x = a  m ( k .x ) = m.a  ( m.k ) x = m.a 

m Asociativa

m  k  ( m.k )  

•
 ( m.k )  / ( m.k ) x = m.a  x m.a  m   xa
def. por
Divisor Hipót.

Matemática Científica 2022 7

 5to año Repartido 5

Teorema 4: Si un número 𝑥 ∈ ℕ∗ , es divisor de dos naturales 𝑎 y 𝑏, entonces es

divisor del producto 𝑎. 𝑏

Hipótesis: 𝑥|𝑎 ∧ 𝑥|𝑏 Tesis: 𝑥|𝑎. 𝑏

Demostración:

por Hip) xa 
•   x a .b
es trivial que a.b = a 
Teo. 3

• • •
Corolario: si a = x  b = x  a.b = x

Ejercicio 3
Demostrar que la suma de dos números a y b, ambos pares o ambos impares, es
un número par.

Ejercicio 4
Demostrar las siguientes propiedades:
a) (𝑥|𝑎 ∧ 𝑎 ≠ 0) ⟹ 𝑥 ≤ 𝑎
b) (𝑥|𝑎 ∧ 𝑥|𝑏 ∧ 𝑎 ≥ 𝑏) ⟹ 𝑥|(𝑎 − 𝑏)
c) (𝑥 |𝑎 ∧ 𝑧|𝑏) ⟹ 𝑥𝑧|𝑎𝑏

Teorema 5: Si en una división entera, un número divide exactamente al

dividendo y al divisor, entonces divide exactamente al resto.

Hipótesis: ∧ 𝑥|𝑎 ∧ 𝑥|𝑏 Tesis: 𝑥|𝑟

Demostración:

a = b.q + r  
( )
por Hip)
  x | b.q + r 
x | a  Transitiva  x | ( b.q + r − b.q )  x | r
 Prop.

b) Cancelativa
por Hip) x | b  x | b.q
Teo 3 

Matemática Científica 2022 8

 5to año Repartido 5

Teorema 6: Si en una división entera, un número divide exactamente al d ivisor y

al resto, entonces divide exactamente al dividendo .

Hipótesis: ∧ 𝑥|𝑏 ∧ 𝑥|𝑟 Tesis: 𝑥|𝑎

Demostración: (Completar)

por Hip) x | b  ___________  

Teo 3
 __________
 Teo 
x|r  2  x|a
 Transitiva

por Hip) ____________ 

4. MÁXIMO COMÚN DIVISOR

CONJUNTO DE DIVISORES DE UN NÚMERO

Dado un número 𝑎 ∈ ℕ, denominamos conjunto de divisores de dicho número y lo

anotamos 𝑑 (𝑎), al siguiente conjunto:

𝑑 (𝑎) = {𝑥 ∈ ℕ∗ /𝑥|𝑎}

Ejemplo 4:
• 𝑑 (10) = {1; 2; 5; 10}
• 𝑑 (1) = {1}
• 𝑑 (0) = {ℕ∗ }

CONJUNTO DE DIVISORES COMUNES

Dados dos números 𝑎 ∈ ℕ y 𝑏 ∈ ℕ, llamaremos conjunto de divisores comunes de

dichos números que anotaremos 𝑑 (𝑎) ∩ 𝑑 (𝑏), al siguiente conjunto:

𝑑(𝑎) ∩ 𝑑(𝑏) = {𝑥 ∈ ℕ/𝑥|𝑎 ∧ 𝑥|𝑏}

Matemática Científica 2022 9

 5to año Repartido 5

Ejemplo 5:

d (12) = 1; 2;3; 4;6;12 

  d (12)  d (18) = 1; 2;3;6
d (18) = 1; 2;3;6;9;18 

Al máximo del conjunto anterior lo denominamos máximo común divisor de 12 y

18, y lo anotamos 𝑀. 𝐶. 𝐷(12; 18) = 6.

Definición de Máximo Común Divisor de dos números naturales

Dados dos números 𝑎 ∈ ℕ∗ y 𝑏 ∈ ℕ∗ , llamaremos máximo común di visor de dichos

números, al máximo del conjunto de divisores comunes de 𝑎 y 𝑏.

𝑀. 𝐶. 𝐷 (𝑎; 𝑏) = 𝐷 ⟺ 𝐷 = 𝑚𝑎𝑥 [𝑑 (𝑎) ∩ 𝑑 (𝑏)]

Observación:

Si 𝑎 = 0 y 𝑏 = 0 ⟹ 𝑀. 𝐶. 𝐷(0; 0) = 𝑚𝑎𝑥 [𝑑 (0) ∩ 𝑑 (0)] como 𝑑 (0) ∩ 𝑑 (0)= ℕ∗ ∩ ℕ∗ = ℕ∗

no existe un máximo.

Matemática Científica 2022 10

 5to año Repartido 5

Teorema 7 (Existencia y unicidad del M.C.D) :

Hipótesis: 𝑎 ∈ ℕ Tesis: 1) ∃ 𝐷 ∈ ℕ/ 𝐷 = 𝑀. 𝐶. 𝐷(𝑎; 𝑏) (Existencia)

𝑏 ∈ ℕ∗ 2) 𝐷 es único (Unicidad)

Demostración:

Existencia

i)  d (a)  d (b) 
1 d (a) 
ii )   1  d (a)  d (b)    d (a)  d (b)   
1 d (b) 
 x  d (a )  x  a 
 Prop. a ) 
 
iii ) Sea x   d (a)  d (b)    x  d (b)  x  b  
 
Prop. a )

Sea D = max a; b 

 D /  x   d (a)  d (b)  , x  D  D = M .C.D ( a, b )

Def.
M.C.D

Unicidad

Sea:
i ) D  D '
M .C.D(a, b) = D  
 ii ) D  D '
 Tricotomía
M .C.D(a, b) = D ' iii ) D = D '

i) D  D ' 

M .C.D(a, b) = D  D   d (a)  d (b)  / x   d (a)  d (b)  , x  D  

M .C.D(a, b) = D '  D '   d (a)  d (b)  / x   d (a)  d (b)  , x  D ' 
x   d (a)  d (b)  , x  D '  D  D '  M .C.D(a, b) (absurdo)  D  D ' es falso

ii ) Analogamente demostramos que D  D ' es falso

De i ) y de ii )  D = D '

Matemática Científica 2022 11

 5to año Repartido 5

Teorema 8: Si 𝑞 y 𝑟 son el cociente y resto de dividir 𝑎 entre 𝑏, se cumple que el

conjunto de divisores de 𝑎 y 𝑏, es igual al conjunto de los divisores
comunes de 𝑏 y 𝑟.

Hipótesis: Tesis: 𝑑 (𝑎) ∩ 𝑑 (𝑏) = 𝑑(𝑏) ∩ 𝑑(𝑟)

Demostración:

1)  x   d (a)  d (b)   x   d (b)  d (r ) 

d (a )  d (b) = d (b)  d (r )  
2)  x   d (b)  d (r )   x   d (a)  d (b) 

1) si x   d (a)  d (b)   ______________  __________  x | a  x | b.q 

Teo 3 
 Prop.
por Hip) _________  a  b.q  b)
________________  
  _____ 
a = b.q + r  r = a − b.q    ______________  x   d (b)  d (r )
_____ 

2) si _____________  ______________  __________  ____  ____ 

Teo 3 Teo. 2

________________  
  _____ 
Por Hip)__________    ______________  x   d (b)  d (r ) 
_____ 

de 1) y de 2)  d (a )  d (b ) = d (b)  d (r )

Corolario: 𝑀. 𝐶. 𝐷(𝑎; 𝑏) = 𝑀. 𝐶. 𝐷(𝑏; 𝑟)

Matemática Científica 2022 12

 5to año Repartido 5

ALGORITMO DE EUCLIDES

Para hallar el 𝑀. 𝐶. 𝐷 de dos números naturales a partir de la definición se deben

escribir primero todos los divisores de ambos números, para luego encontrar el
mayor divisor en común. Pero este método no es muy eficiente cuando los
números son grandes. Existe un método más práctico para calcular el 𝑀. 𝐶. 𝐷,
llamado algoritmo de Euclides , publicado en el libro 𝑉𝐼𝐼 de los “Elementos” de
Euclides alrededor del 300 a.C, considerado el primer algoritmo computacional,
o programa de cálculo iterati vo, de la historia.

Sean los números 𝑎 ∈ ℕ y 𝑏 ∈ ℕ∗ , cuyo 𝑀. 𝐶. 𝐷 queremos hallar. El primer paso

consiste en efectuar la división entera de 𝑎 entre 𝑏:

, 𝑟1 < 𝑏

Por Corolario del Teo. 8) 𝑀. 𝐶. 𝐷(𝑎; 𝑏) = 𝑀. 𝐶. 𝐷(𝑏; 𝑟1 )

• Si 𝑟1 = 0 ⟹ 𝑀. 𝐶. 𝐷(𝑎; 𝑏) = 𝑀. 𝐶. 𝐷(𝑏; 0) = 𝑏
• Si 𝑟1 ≠ 0, dividimos ahora 𝑏 entre 𝑟1 .

, 𝑟2 < 𝑟1

Por Corolario del Teo. 8) 𝑀. 𝐶. 𝐷(𝑏; 𝑟1 ) = 𝑀. 𝐶. 𝐷(𝑟1 ; 𝑟2 )

• Si 𝑟2 = 0 ⟹ 𝑀. 𝐶. 𝐷(𝑏; 𝑟1 ) = 𝑀. 𝐶. 𝐷(𝑟1 ; 0) = 𝑟1
• Si 𝑟2 ≠ 0, dividimos ahora 𝑟1 entre 𝑟2 .

, 𝑟3 < 𝑟2

Por Corolario del Teo. 8) 𝑀. 𝐶. 𝐷(𝑟1 ; 𝑟2 ) = 𝑀. 𝐶. 𝐷(𝑟2 ; 𝑟3 )

• Si 𝑟3 = 0 ⟹ 𝑀. 𝐶. 𝐷(𝑟1 ; 𝑟2 ) = 𝑀. 𝐶. 𝐷 (𝑟2 ; 0) = 𝑟2
• Si 𝑟3 ≠ 0, dividimos ahora 𝑟2 entre 𝑟3 .

Repitiendo el proceso se obtiene una sucesión de restos (𝑟𝑖 ) con:

𝑏 > 𝑟1 > 𝑟2 > 𝑟3 > ⋯ > 𝑟𝑘 > ⋯ ≥ 0

Matemática Científica 2022 13

 5to año Repartido 5

Al tratarse de una sucesión de naturales monótona decreciente, llegará un

momento en el que el resto sea 0, 𝑟𝑛 = 0, y en ese momento se finaliza el
proceso.

𝑴. 𝑪. 𝑫(𝒂; 𝒃) = 𝑀. 𝐶. 𝐷(𝑏; 𝑟1 ) = 𝑀. 𝐶. 𝐷(𝑟1 ; 𝑟2 ) = ⋯ = 𝑀. 𝐶. 𝐷(𝑟𝑛−1 ; 𝑟𝑛 ) = 𝑀. 𝐶. 𝐷(𝑟𝑛 ; 0) = 𝒓𝒏

Para facilitar los cálculos utilizaremos el siguiente esquema:

𝒒𝟏 𝒒𝟐 … … 𝒒𝒏 𝒒𝒏+𝟏
𝒂 𝒃 𝒓𝟏 … … 𝒓𝒏−𝟏 𝒓𝒏
𝒓𝟏 𝒓𝟐 𝒓𝟑 … 𝒓𝒏 𝟎

𝑴. 𝑪. 𝑫(𝒂; 𝒃) = 𝒓𝒏

Ejemplo 6:
Hallar el 𝑀. 𝐶. 𝐷(6684; 2700)

2 2 9 1 2 1 2
6684 2700 1284 132 96 36 24 12
1284 132 96 36 24 12 0

Ejercicio 5
Calcular mediante el algoritmo de euclides, el 𝑀. 𝐶. 𝐷 de los siguientes números:

a) (1386, 1276) b) (26400, 2178) c) (2910, 1005) d) (161914, 110331)

Ejercicio 6
Hallar 𝑎, 𝑏, 𝑟1 , 𝑟2 y 𝑟3 , teniendo en cuenta que el 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 6 y el algoritmo de
Euclides adjunto.

Matemática Científica 2022 14

 5to año Repartido 5

Ejercicio 7
Hallar 𝑎, 𝑏, 𝑟1 , 𝑟2 y 𝑟3 , teniendo en cuenta que el 𝑎 − 𝑏 = 124 y el algoritmo de
Euclides adjunto.

Ejercicio 8
Considerando el algoritmo de Euclides adjunto, y sabiendo que 𝑟1 + 𝑟2 = 𝑏. Hallar
𝑎, 𝑏, 𝑟1 , 𝑟2 .

Teorema 9: Todo divisor común de 𝑎 ∈ ℕ y 𝑏 ∈ ℕ∗ , es divisor de su máximo común

divisor y recíprocamente.

𝑥|𝑎 ∧ 𝑥|𝑏 ⟺ 𝑥|𝑀. 𝐶. 𝐷(𝑎, 𝑏)

(⟹)(Directo)

Hipótesis: 𝑥|𝑎 ∧ 𝑥|𝑏 Tesis: 𝑥|𝑀. 𝐶. 𝐷(𝑎, 𝑏)

Demostración: (Completar)

x | a  x | b  x  ___________
por Hip) 

por Teo 8) y alg. Euclides) ___________________________________ 
__________  x | rn 
  ___________
por alg. Euclides) M .C .D ( a, b) = rn 

Matemática Científica 2022 15

 5to año Repartido 5

(⇐)(Recíproco )

Hipótesis: 𝑥|𝑀. 𝐶. 𝐷(𝑎, 𝑏) Tesis: 𝑥|𝑎 ∧ 𝑥|𝑏

Demostración:

por Hip) ___________  

  ______  _______ 
por alg. Euclides) M .C.D ( a, b) = rn  

por Teo 8) y alg. Euclides) d (a )  d (b ) = d ( rn ) 

______________  x  d (a)  x  d (b)  ______________

Ejercicio 9
Demostrar los siguientes teoremas:
a) Teorema 10:

Hipótesis: , 𝑏 ∈ ℕ∗ ⋀ 𝑥 ∈ ℕ∗ Tesis:

b) Teorema 11:
Hipótesis: 𝑀. 𝐶. 𝐷(𝑎; 𝑏) = 𝐷 ∧ 𝑥 ∈ ℕ∗ Tesis: 𝑀. 𝐶. 𝐷(𝑎𝑥, 𝑏𝑥 ) = 𝐷𝑥

c) Teorema 12:
𝑎 𝑏 𝐷
Hipótesis: 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝐷 Tesis: 𝑀. 𝐶. 𝐷 (𝑥 ; 𝑥) = 𝑥
∗
𝑥 ∈ ℕ /𝑥|𝑎 ∧ 𝑥|𝑏

4. NÚMEROS PRIMOS ENTRE SÍ

Dos números son primos entre sí, si y solo sí su máximo común divisor es 1.

𝒂 ∧ 𝒃 𝒔𝒐𝒏 𝒑𝒓𝒊𝒎𝒐𝒔 𝒆𝒏𝒕𝒓𝒆 𝒔í ⟺ 𝑀. 𝐶. 𝐷 (𝑎, 𝑏) = 1

Ejemplo 7:
𝑀. 𝐶. 𝐷(9, 10) = 1 ⟺ 9 ∧ 10 𝑠𝑜𝑛 𝑝𝑟𝑖𝑚𝑜𝑠 𝑒𝑛𝑡𝑟𝑒 𝑠í

Matemática Científica 2022 16

 5to año Repartido 5

Teorema 13:
Hipótesis: 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝐷 Tesis: 𝑀. 𝐶. 𝐷 (𝑎′ , 𝑏′) = 1
𝑎 𝑏
Sean 𝑎′ = 𝐷 ∧ 𝑏′ = 𝐷

Demostración:

a b D 
por Hip) M .C.D(a, b) = D  M .C.D  ,  = 
Teo. 12
D D D
  M .C.D(a ', b ') = 1
a b 
a'=  b' =
D D 

Ejercicio 10
Hallar todos los números naturales 𝑎 y 𝑏 que cumplan en cada caso :
a) 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 12 y 𝑎 + 𝑏 = 96
b) 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 17 y 𝑎. 𝑏 = 3468
c) 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 13 y 𝑎 − 𝑏 = 156, 𝑎 < 234
d) 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 14 y 𝑎2 + 𝑏2 = 2548

Ejercicio 11
Hallar 𝑎 y 𝑏 y el 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝐷 sabiendo que 𝐷 2 es un divisor de 150 y que 𝑎2 +
𝑏 = 80, 𝐷 ≠ 1.

Ejercicio 12
Hallar 𝑎 y 𝑏, sabiendo que: 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 15, 𝑎2 − 𝑏 2 = 2925

Ejercicio 13
Determinar todos los naturales 𝑎 y 𝑏 posibles tal que:
𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝐷 = 30 y 𝑎2 + 𝑏. 𝐷 = 13500

Ejercicio 14
Hallar 𝑎 y 𝑏 el 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝐷 sabiendo que 𝐷 2 es un divisor de 98 y que
3𝑎2 + 2𝑏 = 602 y 𝐷 ≠ 1

Matemática Científica 2022 17

 5to año Repartido 5

Ejercicio 15
Hallar 𝑎 y 𝑏 el 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝐷 sabiendo que 𝐷 2 es un divisor de 360 y que
𝑎2 + 𝑏2 =900, y 𝐷 ≠ 1

5. NÚMERO PRIMO

Decimos que un número natural es primo, si y solo si, admite únicamente dos
divisores distintos: a la unidad y a sí mismo.

𝒑 𝒆𝒔 𝒑𝒓𝒊𝒎𝒐 ⟺ 𝑑(𝑝) = {1; 𝑝} ∧ 1 ≠ 𝑝

Observaciones:

• Por la propia definición, deducimos que el número 1 no es primo, pues no

admite dos divisores distintos.
• El cero no es primo pues admite infinitos divisores.
• Indicaremos al conjunto de los números primos como:
𝑃 = {𝑝 ∈ ℕ/ 𝑝 > 1 ∧ 𝑑 (𝑝) = {1; 𝑝}}

CRIBA DE ERATÓSTENES

En el siglo III a.C., Eratóstenes ideó un algoritmo realizado sobre una plancha de
cobre, en la cual se hallaban escritos los números naturales del 1 al 100, y que
permitía hallar números primos. El mecanismo consiste en marcar el primer
número primo (2), y luego perforar todos los compuestos múltiplos de 2; a
continuación, marcar el siguiente primo (3), y perforar todos los números
compuestos múltiplos de 3, y así sucesivamente .
Luego de este procedimiento repetido, la plancha quedaba con un aspecto
similar al de una criba.
Seguir el procedimiento anterior y para hallar los números primos menores a
100.

Matemática Científica 2022 18

 5to año Repartido 5

1 2 3 4 5 6 7 8 9 10
11 12 13 14 15 16 17 18 19 20
21 22 23 24 25 26 27 28 29 30
31 32 33 34 35 36 37 38 39 40
41 42 43 44 45 46 47 48 49 50
51 52 53 54 55 56 57 58 59 60
61 62 63 64 65 66 67 68 69 70
71 72 73 74 75 76 77 78 79 80
81 82 83 84 85 86 87 88 89 90
91 92 93 94 95 96 97 98 99 100

6. NÚMERO COMPUESTO
Decimos que un número natural mayor que uno es compuesto, si y solo si,
admite más de dos divisores distintos.

Observaciones:

• El número 1 no es compuesto ni primo

• El 0 no es compuesto pues es menor que 1.
• Todo número natural cumple con una y solo una de las siguientes
alternativas:
a) 𝐸𝑠 𝑝𝑟𝑖𝑚𝑜 𝐛) 𝐸𝑠 𝑐𝑜𝑚𝑝𝑢𝑒𝑠𝑡𝑜 𝐜) 𝐸𝑠 1 𝐝) 𝐸𝑠 0

Matemática Científica 2022 19

 5to año Repartido 5

Teorema 14 (Teorema de Euclides): Si un número es divisor de un producto de

dos factores y es primo con uno de ellos,
entonces es divisor del otro.

Hipótesis: 𝑥|𝑎𝑏 ∧ 𝑀. 𝐶. 𝐷 (𝑥, 𝑎) = 1 Tesis: 𝑥|𝑏

Demostración:

por Hip) M .C.D( x, a) = 1  

  M .C .D ( xb, ab ) = b 
Sea b  *  Teo. 11 
 x|b
 Transitiva
por Hip) x | ab 
 
  x | M .C.D( xb, ab) 
x | x  x | xb  Teo. 9

es trivial que:
Teo. 3 

3. CONJUNTO DE LOS DIVISORES DE UN NÚMERO

En este apartado nos proponemos hallar el conjunto de los divisores de un

número por extensión, y conocer su cardinal.

Observaciones: (Teorema fundamental de la aritmétic a)

Todo número natural mayor que 1, es primo o puede descomponerse de manera

única como el producto de factores primos en orden no decreciente.

Matemática Científica 2022 20

 5to año Repartido 5

Ejemplo 8:

Hallar todos los divisores de 700.

• En primer lugar, realizamos su descomposición en producto de factores

primos:

700 2
350 2
175 5 mmm⟹ 𝟕𝟎𝟎 = 22 × 52 × 71
35 5
7 7
1

• Construimos una tabla donde organizaremos los siguientes conjuntos de

divisores:

𝑑(𝟐𝟐 ) = {20 ; 21 ; 22 }
𝟐𝟎 𝟐𝟏 𝟐𝟐
𝑑(𝟓𝟐 ) = {50 ; 51 ; 52 }
𝑑(𝟕𝟏 ) = {70 ; 71 } 𝟓𝟎 1 2 4
𝟓𝟏 5 10 20
𝟓𝟐 25 50 100

7 14 28

𝟕𝟏 35 70 140

175 350 700

• De esta forma concluimos que: 𝑑(𝟕𝟎𝟎) =

{1; 2; 4; 5; 7; 10; 14; 20; 25; 28; 35; 50; 70; 100; 140; 175; 350; 700}

4. NÚMERO DE DIVISORES
Buscaremos ahora una fórmula que nos permita saber el número de divisores
que tiene un natural cualquiera. Observemos en primer lugar que el número de
divisores de una potencia cualquiera 𝑝𝛼 , cuya base es un número primo, es igual
a (𝛼 + 1), por ejemplo los divisores 34 son: 30 , 31 , 32 , 33 , 34 , es decir 4 + 1 = 5
divisores.

Matemática Científica 2022 21

 5to año Repartido 5

En el ejemplo anterior: 700 = 22 . 52 . 71 . Según el mecanismo empleado en la tabla,

a cada divisor de 22 , lo hemos multiplicado por los divisores de 52 , que a su vez
hemos multiplicado por los di visores de 71 . Considerando que el número de
divisores de 22 es tres, el número de divisores de 52 es tres y el número de 71 es
dos, resulta que el número de divisores de 700 es igual a: 3 × 3 × 2 = 18.

Podemos concluir que existe una relación entre el exponente de cada número
primo y su número de divisores . Anotaremos con la letra griega 𝜈 (ni), al cardinal
del conjunto de divisores de un número natural. Entonces 𝜈(700) =
(2 + 1)(2 + 1)(1 + 1) = 18, siendo 2, 2 y 1 los exponentes de los números primos
de la descomposición factorial 700.

Generalizando lo anterior para un número natural cualquiera 𝑛, donde 𝑝1 , 𝑝2 , … ,

𝑝𝑘 son números primos de su descomposición factorial, y 𝛼1 , 𝛼2 , … , 𝛼𝑘 son
exponentes naturales, el número de divisores 𝜈(𝑛) estará dado por la siguiente
formula:

𝛼 𝛼 𝛼
𝑛 = 𝑝1 1 . 𝑝2 2 . … . 𝑝𝑘 𝑘 ⟹ 𝜈(𝑛) = ( 𝛼1 + 1). (𝛼2 + 1) . … . ( 𝛼𝑘 + 1)

Ejercicio 16
Sean los números: 72, 600, 33.075 y 54.925
a) Realizar la descomposición en factores primos de cada uno.
b) Calcular la cantidad de divisores de cada uno.
c) Hallar los divisores de cada uno.

Ejercicio 17
Hallar un número natural 𝑛 que tiene 20 divisores, tal que
𝑛 = 3𝛼 . 5𝛽 , 𝛼 > 𝛽, 𝑛 = 25̇

Ejercicio 18
Hallar un número natural 𝑛 que tiene 15 divisores tal que 𝑛 = 2𝛼 . 5𝛽 , 𝛼 > 𝛽

Ejercicio 19
Hallar un número natural 𝑛, tal que 𝑛 = 3𝛼 . 5𝛽 . 11𝛾 , además se sabe que 5𝑛 tiene 8
divisores más que 𝑛, y 11𝑛 tiene 10 divisores más que 𝑛.

Matemática Científica 2022 22

 5to año Repartido 5

5. MÍNIMO COMÚN MÚLTIPLO

CONJUNTO DE MÚLTIPLOS DE UN NÚMERO

Denominamos conjunto de múltiplos de un número natural 𝑎 no nulo, al

conjunto:

𝑚(𝑎) = {𝑥 ∈ ℕ/ 𝑥 = 𝑎̇ }

CONJUNTO DE MÚLTIPLOS COMUNES

Dados dos números 𝑎 ∈ ℕ∗ y 𝑏 ∈ ℕ∗ , llamaremos conjunto de múltiplos comunes

de dichos números que anotaremos 𝑚(𝑎) ∩ 𝑚(𝑏), al siguiente conjunto:

𝑚(𝑎) ∩ 𝑚(𝑏) = {𝑥 ∈ ℕ/ 𝑥 = 𝑎̇ ∧ 𝑥 = 𝑏̇}

DEFINICIÓN DE MÍNIMO COMÚN MÚLTIPLO

Dados dos números 𝑎 ∈ ℕ∗ y 𝑏 ∈ ℕ∗ , llamaremos mínimo común múltiplo de

dichos números, al m enor número no nulo del conjunto de múltiplos comunes de
𝑎 y 𝑏.

𝑚. 𝑐. 𝑚(𝑎; 𝑏) = 𝑚 ⟺ 𝑚 = 𝑚í𝑛[𝑚(𝑎) ∩ 𝑚(𝑏) − {0}]

Ejemplo 9:

m(2) = 0; 2; 4;6;8;10;12;14;16;18;...

  m(12)  m(18) = 0;8;16;...  m.c.m(2,8) = 8
m(8) = 0;8;16; 24;32;... 

Observaciones :

• Si 𝑎 = 0 y 𝑏 = 0 ⟹ 𝑚. 𝑐. 𝑚(0; 0) = 𝑚í𝑛[𝑚(0) ∩ 𝑚(0) − {0}] (absurdo).

• La existencia y la unicidad del mínimo común múltiplo la asumiremos sin
demostración.

Matemática Científica 2022 23

 5to año Repartido 5

Teorema 15:

Hipótesis: 𝑚. 𝑐. 𝑚(𝑎, 𝑏) = 𝑚 ∧ 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝐷 Tesis: 𝑚 = 𝑎′ . 𝑏′ . 𝐷

𝑎 = 𝑎′ . 𝐷 ∧ 𝑏 = 𝑏 ′ . 𝐷
Demostración:

En primer lugar, demostraremos que el conjunto de los múltiplos comunes de 𝑎 y

𝑏 puede ser expresado por comprensión de la siguiente manera:
m(a)  m(b) =  x  *
/ x = k .a '.b '.D

 x  m(a)   h1  *
/ x = a.h1  
x   m(a)  m(b)      a.h = b.h1

1
 x  m(b)   h2  / x = b.h2  Transitiva
*


por Hip) a = a '.D  b = b '.D 

a '.D.h1 = b '.D.h2  a '.h1 = b '.h2  a ' | b '.h2 

Cancelativa

 Teo.
por teo. 13) M .C .D (a ', b ') = 1  Euclides

a ' | h2   k  *
/ k .a ' = h2  
  x = b .k .a ' 
x = b.h2  Transitiva   x = k .a '.b '.D

por Hip) b = b '.D 

Como m(a)  m(b) =  x  *

/ x = k .a '.b '.D , el menor elemento de este conjunto se
obtiene cuando k = 1 y a la vez por definición, el menor elemento del conjunto
anterior será m = m.c.m ( a, b ) . Por lo tanto: m = a '.b '.D

Corolario: 𝑚. 𝑐. 𝑚(𝑎, 𝑏) = 𝑚 ∧ 𝑀. 𝐶. 𝐷 (𝑎, 𝑏) = 𝐷 ⟹ 𝑚. 𝐷 = 𝑎. 𝑏

Ejercicio 20
Hallar el mínimo común múltiplo de:
a) 72 𝑦 96 b) 126 𝑦 207 c) 12.155 𝑦 19448

Matemática Científica 2022 24

 5to año Repartido 5

Ejercicio 21
Hallar todos los naturales 𝑎 y 𝑏 que cumplan que 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 10 y
𝑚. 𝑐. 𝑚(𝑎; 𝑏) = 210

Ejercicio 22
Hallar todos los naturales 𝑎 y 𝑏 que cumplan: 𝑚. 𝐷 = 1210, siendo 𝑀. 𝐶. 𝐷 (𝑎, 𝑏) = 𝐷
y 𝑚. 𝑐. 𝑚(𝑎; 𝑏) = 𝑚 , 𝐷 ≠ 1.

Ejercicio 23
Hallar todos los naturales 𝑎 y 𝑏 sabiendo que:
480 < 𝑎. 𝑏 < 720 𝑦 𝑚. 𝑐. 𝑚(𝑎; 𝑏) = 120

Ejercicio 24
Hallar los naturales 𝑎y 𝑏 sabiendo que: 𝑎2 − 𝑏2 = 6.399 y 𝑚. 𝑐. 𝑚(𝑎; 𝑏 = 4620.

EJERCICIOS COMPLEMENTARIOS

Ejercicio 25
Completar los siguientes esquemas de algoritmo de Euclides:

a) b)

Ejercicio 26
Determinar todos los naturales 𝑎 y 𝑏 posibles tal que:
𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝑀. 𝐶. 𝐷 (2517, 426), y que 2𝑎2 + 𝑏 = 165

Ejercicio 27
Determinar todos los naturales 𝑎 y 𝑏 posibles tal que:
𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 𝑀. 𝐶. 𝐷 (2184, 2475), y que 3𝑎 + 2𝑏 = 60

Ejercicio 28
Hallar 𝑎 y 𝑏, sabiendo que: 𝑎. 𝑏 = 32340; 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 14; 𝑎 = 11̇; 𝑎 ≠ 3̇;
𝑎 ≠ 5̇.

Matemática Científica 2022 25

 5to año Repartido 5

Ejercicio 29
1 1 115
Hallar 𝑎 y 𝑏, tal que 𝑀. 𝐶. 𝐷(𝑎, 𝑏) = 20 y 𝑎
+ 𝑏 = 12.000

Ejercicio 30
2 3 1
Hallar todos los naturales 𝑎 y 𝑏 que cumplan: 𝑚. 𝑐. 𝑚(𝑎; 𝑏) = 372 y + 𝑎 = 31
𝑏

Ejercicio 31
1 1 1
Hallar todos los naturales 𝑎 y 𝑏 que cumplan: 𝑚. 𝑐. 𝑚(𝑎; 𝑏) = 252 y + 𝑎 = 28
𝑏

Ejercicio 32
Demostrar por Inducción Completa:

a) 32𝑛 + 7 = 8̇
̇
b) 53𝑛 − 1 = ̅̅̅̅̅
124
c) 6𝑛 − 2𝑛 = 4̇
d) 2𝑛+2 + 32𝑛+1 = 7̇
e) 𝑛3 − 𝑛 = 6̇

Ejercicio 33
Existen dos tipos de años bisiestos: los que son múltiplos de 4 pero no de 100
(año no secular), y los que son multiplos de 400 (seculares). Responde las
siguientes preguntas y justifica tu respuesta.
a) ¿Cuántos años son bisi estos entre 1997 y 2401?
b) Si el primero de enero de 1997 fue miércoles, qué día será el primero de
enero del año 2500?
c) ¿Cuál es el primer año a partir de de 1997, en el cual el primero de enero
será también miércoles?

Matemática Científica 2022 26

 5to año Repartido 5

Ejercicio 34
La cédula de identidad uruguaya tiene un número de siete cifras seguida s por un
dígito de una cifra. Este carácter se calcula tomando como base el número
2.987.634 al que llamaremos módulo verificador 𝑚. Para calcular el dígito de
control de una cédula se procede de la siguiente forma: Supongamos que el
número del documento es el 1.913.577 lo que haremos será multiplicar cada
dígito por el dígito que ocupa igual posición en el módulo verificador y separa r
del producto las unidades.

Ahora de la suma de las unidades solo conservaremos la unidad: 2 + 1 + 8 + 1 +

0 + 1 + 8 = 21 ↦ 1
Finalmente 10 − 1 = 9 por lo cual el dígito de control es 9. Y número de la
cédula es 1.913.577 − 9.

a) Suponga que una persona se encuentra realizando un trámite por teléfono

y en determinado momento se le solicita el número de cédula y este
transmite el número 2.495.512. ¿ Cuál es el dígi to de control
correspondiente al número transmitido?
b) Calcula los dígitos de control de las cédulas: 1.074.512, 1.073.512, 1.074.012.

Matemática Científica 2022 27