Divisibilidad en N

2º E.M.S. Científico – Matemático

Divisibilidad en N
Definición. Divisor de un número natural.
Dado, a  N , b  N *
a b  h  N / b  a.h

Definición. Conjunto de divisores de un número natural

Dado a  N * definimos:
D(a)  x  N * : x a
Obs.
i) a  N se tiene que D(a)   pues1 D(a)
ii) a  N * se tiene que D(a) es un conjunto acotado

Definición. Múltiplo de un número natural

Dado, a  N , b  N
b  a  a b
Definición. Conjunto de múltiplos de un número natura
Dado a  N * definimos:
Mult (a)  x  N * : x  a x  N * : a x
Observación.
i) a  N * se tiene que Mult (a)   pues a  Mult (a)
ii) a  N * se tiene que Mult (a) es un conjunto no acotado

Ejemplo:
2|16 ya que existe 8, natural / 16 = 2 . 8 . De la igualdad podemos deducir que 8|16 y que 16 es
múltiplo de 8 y también de 2.

Ejercicio.
1) Mostrar que todo a natural tiene al menos dos divisores.
2) Escribir el conjunto de divisores de 42.

Definición. Número Primo

p  N  p es primo  admite sólo dos divisores

Obs.
- p es primo  D( p)  1, p
- O no es primo
- 1 no es primo
Definición. Número compuesto
a  N  a es compuesto  admite más de dos divisores

Obs.
- 0 es un natural compuesto ya que tiene infinitos divisores
- 1 no es primo ni compuesto
Teorema. Si p y q son primos y p q  p  q
Demostración:

Prof.: Mauricio Anselmi 1

 Divisibilidad en N
2º E.M.S. Científico – Matemático

Como p q  p  Div(q)  1, q p  1 lo que no es posible pues p es primo  p  q

Propiedades de la relación Divisor.

1- Simétrica: a / a  N * a a
2- Antisimétrica: a  N * , b  N * ab y baa b
3- Transitiva: a  N * , b  N * , c  N ab bcac
Dados a  N , b  N , d  N *
4- d a  d b  d (a  b)
5- d a  d k.a k , k  N
Ejercicios.
1) Probar que un número de tres cifras iguales es múltiplo de 37 y de3
2) Probar que la suma de dos número impares es par
3) Sea n = abc+2cba. Probar que 3|n. Hallar b y c tales que n = 765, a=1 y b + c =5

Definición. División Entera.

Dados a  N , b  N , b  0 dividir a por b consiste en encontrar dos números naturales q y r llamados
cociente y resto respectivamente, que verifican:
i ) a  b.q  r
ii ) r  b

Obs. -Representaremos la división entera con el siguiente esquema

a b Donde a se denomina dividendo y b divisor.
r q

Teorema.
Existencia y unicidad del cociente y el resto en la división entera
Dados a  N , b  N , b  0 , existen y son únicos q y r naturales tales que:
i ) a  b.q  r
ii ) r  b
Teorema.
Dado:
a b 1) d a  d b  d r
r q
2) d b  d r  d a

Teorema.
Dado:
ka kb
a b y kN* 
kr q
r q
Teorema.
Si n  1 , n a  n no divide a (a  1)
Demostración:
Supongo que:

Prof.: Mauricio Anselmi 2

 Divisibilidad en N
2º E.M.S. Científico – Matemático

n (a  1)
 n1 
  n a 1 a  absurdo  n no divide a a  1
na 
 n  1

Ejercicios.
1) Completar de todas formas posibles los siguientes esquemas
27 b a 16 a b 2 5
3 q r 3 7 13 r q

2) Hallar los naturales mayores que 500 que divididos por 23 den un cociente y resto que difieran en
dos.

Definición. Máximo común divisor de a  N y b  N *

Llamamos máximo común divisor de a y b b  0 al máximo del conjunto de los divisores
comunes.
D(a, b)  máxD(a)  D(b)

Ejercicios.
1) Hallar D(20, 12)
2) Hallar D(0,b)
3) Hallar D(a,b) / b|a

Algoritmo de Euclides.

Para hallar D(720,4620) el método anterior no es muy apropiado, y más si sabemos que la cantidad
de divisores de 720 es 30, y la cantidad de divisores de 4620 es 48.

Busquemos otro método.

Hallemos el D(300,120), sabemos que si 120|300D(300,120)=120

300 120 Confirmamos que 120 no es divisor de 300

60 2

Sabemos que los divisores comunes del divisor y del resto son divisores del dividendo. Busquemos
los divisores de 60 y 120
120 60 Observamos que 60|120, por lo que D(120,60)=60
0 2 Tenemos que 60|120 y 60|60 entonces 60|300

¿Es el mayor divisor entre 300 y 120?

Si. Ya que si hubiera otro divisor común d, con d>60 tendríamos que d|300 , d|120 entonces d|60 y
tendríamos un divisor de 60 mayor que 60. Absurdo.

Las divisiones realizadas se suelen disponer en el siguiente esquema.

Cocientes  2 2
Dividendos  300 120 60 D(300,120)
Restos  60 0

Prof.: Mauricio Anselmi 3

 Divisibilidad en N
2º E.M.S. Científico – Matemático

Para hallar el D(a,b)

q1 q2 q3 … qn qn+1
a B r1 r2 rn-1 rn
r1 r2 r3 r4 0

Obs.
- Siempre obtenemos un resto 0. Si no fuera así y el menor resto posible r n+1 fuera
distinto de cero podríamos hacer otra división y obtendríamos otro resto menor que
el menor posible, lo que es absurdo.
- ¿rn es D(a,b)? sabemos que:
D(a)  D(b)  D(b)  D(r1 ) 
D(b)  D(r1 )  D(r1 )  D(r2 ) 
  D(a)  D(b)  D(rn )  D(0)  D(rn )
 
D(rn 1 )  D(rn )  D(rn )  D(0)
 max( D(a)  D(b))  max( D(rn ))  rn

Ejercicio
Hallar D(720,4620) usando el algoritmo de Euclides.
6 2 2 2
4620 720 300 120 60
300 120 30 0
Ejercicios.
Hallar a, b, c, d, y e conociendo el algoritmo de Euclides.
1 2 3
a b c 75
d e 0

Definición. Números primos entre sí, o corrimos

a y b naturales primos entre sí  D(a,b)=1

Teorema.
a N *,b N D(a, b)  d  a  a .d  b  b.d con D(a , b)  1

Demostración.
D(a, b)  d  d a  d b  a  a .d  b  b .d
D(a.b)=d
 D(a, b)  D(a d , b d )  dD(a , b )  D  D(a , b )  1

Ejercicios.
1) Hallar dos naturales que sumen 144 y cuyo máximo común divisor sea 24
2) Hallar a y b sabiendo que D(a,b)= 13 y a2 + b2 = 70135

Teorema de Euclides.
si x (a.b) y D(a, x) 1  x b
Demostración

Prof.: Mauricio Anselmi 4

 Divisibilidad en N
2º E.M.S. Científico – Matemático

D(a, x)  1  b.D(a, x)  D(ab, ax)  b.1  b

x (a.b)
  x D(ax, xb)  x b
x ( x.b) 

Corolario
Si p es primo y p a.b  p a  p b
Demostración
1) D(a, p)  p  p a
Puede suceder que: p (a.b) 
2) D(a, p)  1   pb
D(a, p)  1

Observación: p x 2  p x Si p no es primo dicha afirmación rápidamente se visualiza su falsedad;

4 6.6 y 4 no divide a 6

Teorema fundamental de la aritmética (TFA)

n  N * , n  1 entonces existen y son únicos p1 , p 2 ,..., p m ; pi primo i  1,..., m

Si
tales que n  p1 . p 2 .... p m

Ejemplo:
1500  2 2.3.53 De donde podemos deducir fácilmente los divisores de 1500 y también la
cantidad de divisores que posee. ¿Cómo?

(sug. para encontrar la cantidad de divisores recordar el principio de la multiplicación y relacionar

la cantidad de los divisores con los exponentes de cada factor)

Mínimo común múltiplo

Definición. Dados a, b  N * definimos:

Mult(a,b)=Mult(a)  Mult(b)

Teorema. Existencia del Mínimo Común Múltiplo.

Dados a, b  N * m  N * / m es el mínimo de los múl`tiplos comunes de a y b.
Notación: m=M(a,b)
Demostración:
Sea
 
H  x  N * , a x  b x  Mult (a, b)
H   pues ab  H 
  m  mím( H )
HN 

Teorema.

Prof.: Mauricio Anselmi 5

 Divisibilidad en N
2º E.M.S. Científico – Matemático

i) M (a, b)  a .b.d

Dados a  N * , b  N * d  D(a, b) a  d .a  b  d .b  
ii ) M (a, b).D(a, b)  a.b

Teorema.
Dados a, b, k  N * , si a k  b k  M (a, b) k
Demostración.
Dividimos k entre M(a.b),
q, r  N / k  M (a, b).q  r ;0  r  M (a, b)
ak 
 ar
a M (a, b)
bk 
br
b M (a, b)
Deducimos que r  Mult (a, b) y r  M (a, b) lo que es absurdo por lo que r = 0 y
M ( a, b) k

Otra forma de obtener el D(a,b) y M(a,b)

a= 720
b= 4620
a= 24.32.5
b= 22.3.5.7.11
22 divide a 720 y a 4620 por lo que divide a D(720,4620)
3 divide a 720 y a 4620 por lo que divide a D(720,4620)
5 divide a 720 y a 4620 por lo que divide a D(720,4620)

Por lo que 22.3.5 divide a D(720,4620)

El máximo común divisor de dos números se obtiene multiplicando las potencias de base común
con menor o igual exponente

Hallemos M(720,4620)
Sabemos que:
m.d  720.4620
m.d  (2 4.3 2.5).(2 2.3.5.7.11)
2 6.33.5 2.7.11
m
2 2.3.5
m  2 4.3 2.5.7.11

El mínimo común múltiplo se obtiene multiplicando las potencias de base común o no con su mayor
exponente.

Prof.: Mauricio Anselmi 6