DIVISIBILIDAD
Fundamentos de la Matemtica
Instituto de Profesores Artigas 2008 1
1 Divisibilidad en ( , , , ) <
Si utilizamos la definicin ya vista de divisin en para , es sta una operacin
binaria?
Definicin
Dados a y b naturales, 0 b , realizar la divisin entera de a entre b significa
determinar dos naturales ( , ) q r que cumplan:
a bq r
r b
'
1
=
1
1
1
1
!
1
1
1
<
1
1+
Simblicamente:
a b a bq r
r q
r b
' ' =
1 1
1 1
! !
1 1 <
1 1
+ +
Teorema
*
, , , , , , , / , y nicos a a b b q q r r a b q r r b q r = <
Demostracin:
Consideramos
/ H x bx a = . Demostraremos que H tiene mximo y que
ste es el cociente de la divisin entera.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 2
i) H , por cmo est definido.
ii) H , pues H0 0 0 b a H =
iii) H est acotado superiormente, ya que cualquier natural mayor o igual que
a
b
es cota superior de H .
Entonces (por consecuencia del Teorema de Buena Ordenacin) existe el mximo de
H , al que llamaremos q .
Entonces:
como ,
q H bq a
a bq
a bq
'
1
1
!
1
1
+
. Sea r a bq = , entonces a bq r = .
Probaremos ahora que r b < :
mx 1
( 1)
como 1
q H q H
b q a bq b a bq r b r
q
' =
1
1
=
!
1
1
+
Probemos ahora que q es nico:
Suponemos que existen , / y q r a bq r r b
= <
Si q q
, por tricotoma: ' q q o ' q q < .
Si 0 1 q q q q q q
. Como b >0: ( ) b q q b
Si ' r y r , ' q y q , son restos y cocientes de la divisin entera de a entre b
cumplen: ( ) 0 ( ) ( )
a bq r
b q q r r r b q q r b q q b r b
a bq r
' =
1
1
1
= =
!
1 =
1
1+
.
Esto es absurdo (contradice la definicin de divisin entera). Si ' q q < se llega a una
contradiccin anlogamente.
Por lo tanto q q
= .
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 3
Probemos ahora que r es nico:
Si
a bq r
q q bq r bq r r r
a bq r
' ' =
1 1
1 1
1 1
= = =
! !
1 1 =
1 1
1 1 + +
Por lo tanto: q y r son nicos.
Definiciones
A la divisin entera de a entre b , cuando 0 r = , la llamaremos divisin exacta.
En el caso anterior decimos que b divide a a o que a es mltiplo de b .
Notacin / b a o a b =
.
Observemos que lo anterior puede escribirse: / tal que b a q a bq =
Ejercicios
(1) Consideramos
* *
: | / R xRy x y . Probar que R es una relacin de orden
amplio.
(2) En cada uno de los siguientes casos: investigue, exprese simblicamente su
conclusin y justifique sus respuestas:
i) Si un natural a divide a otros dos, dividir a su suma, a su diferencia, su
producto, a cualquier combinacin lineal entre ellos?
ii) Si un natural divide a otro, dividir a la suma de ste con otro cualquiera, y al
producto de ste por otro cualquiera?
iii) Si un natural divide a otros dos, dividir al resto de su divisin entera?
iv) El divisor de un natural, es siempre menor o igual que ese natural?
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 4
Definicin
Sea a un nmero natural llamaremos conjunto de divisores de a , notaremos ( ) d a ,
al conjunto de todos sus divisores
( ) ; / d a x x a =
Ejercicios
(3) Completa:
( )
( )
.......................................................
.......................................................
.......................................................
..................
(5)
(15)
1
0
d
d
d
d
=
=
=
=
.....................................
(4) Completar de todas las formas posibles:
a)
9
13
b)
35 4
a
, 200 a <
c)
60
12
d)
17 a
q q
, 200 a
(5) Hallar a natural sabiendo que:
2
37 a
q q
(6) Hallar todas las posibles ternas de naturales ( , , ) a b c tales que:
7 17
12
a a b
c b c
Actividad
Dados dos naturales a y b , existir el mximo del conjunto de los divisores
comunes de a y b ?
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 5
Definicin
Dados a , b ,
2 2
0 a b , llamaremos mximo comn divisor de a y b
(notaremos ( , ) D a b ) al
( )
( ) ( ) max d a d b .
Halla:
( ) ( ) ( ) max 4 6 d d
( ) ( ) ( ) max 0 7 d d
( ) ( ) ( ) max 6 1 d d
( ) ( ) ( ) max 20 1000 d d
( ) ( ) ( ) max 9 10 d d
( ) ( ) ( ) max 12 13 d d
( ) ( ) ( ) max 20 21 d d
Generaliza una propiedad en funcin de las ltimas tres igualdades y demustrala.
Sugerencia: puedes trabajar con una demostracin por reduccin al absurdo.
Ejercicio
(7)
a) Determina ( ) ( ) ( ) 132 30 d d
b) Realiza la divisin entera de 132 entre 30
c) Siendo r el resto de la divisin anterior, determina
( )
( ) ( ) 30 d r d
d) Generaliza la situacin anterior.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 6
Teorema
( ) ( ) ( ) ( )
a b
d a d b d b d r
r q
'
1
1
=
!
1
1
+
Demostracin:
Demostraremos la igualdad entre los dos conjuntos por doble inclusin.
Primero probaremos que ( ) , ( ( ) ( )) ( ) ( ) x x d a d b x d b d r
Por especificacin universal:
( ) /
( ( ) ( )) /
( ) / /
x d a x a
x d a d b x a bq r
x d b x b x bq
' '
1 1
1 1
1 1
1 1
1 1
=
! !
1 1
1 1
1 1
1 1
1 1 + +
( ) x d r como
( ) x d b ( ( ) ( )) x d b d r
Generalizando universalmente:
( ) , ( ( ) ( )) ( ( ) ( )) x x d a d b x d b d r
Segundo probaremos que: ,( ( ( ) ( )) ( ( ) ( ))) x x d b d r x d a d b
Por especificacin universal:
( ) / /
( ( ) ( )) /( )
( ) /
x d b x b x bq
x d b d r x bq r a
x d r x r
' '
1 1
1 1
1 1
=
! !
1 1
1 1
1 1 + +
( ) x d a
( ( ) ( )) x d a d b
Generalizando universalmente:
,( ( ( ) ( )) ( ( ) ( ))) x x d b d r x d a d b
Corolario
( , ) ( , )
a b
D a b D b r
r q
'
1
1
=
!
1
1
+
La demostracin es una consecuencia inmediata del teorema anterior.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 7
Ejercicio
(8) Utilizando el corolario anterior halla el ( ) ( ) ( ) max 1300 625 d d
Algoritmo de Euclides
Consideramos , , 0 a b a b . Para hallar ( , ) D a b realizamos la divisin
1
1 1
( , ) ( , )
a b
D a b D b r
r q
'
1
1
=
!
1
1
+
Si
1
0 ( , ) ( , 0) r D a b D b b = = =
Si
1
0 r realizamos la divisin
1
1 1 2
2 2
( , ) ( , )
b r
D b r D r r
r q
=
Si
2 1 1 1
0 ( , ) ( , ) ( , 0) r D a b D b r D r r = = = =
Si
2
0 r realizamos la divisin
1 2
1 2 2 3
3 3
( , ) ( , )
r r
D r r D r r
r q
=
Si
3 1 1 2 2 2
0 ( , ) ( , ) ( , ) ( , 0) r D a b D b r D r r D r r = = = = =
Si
3
0 r .
El proceso continua hasta encontrar un resto nulo. No existir algn caso en donde
esto no ocurra? (o sea, que el proceso sea infinito).
Aparentemente no, pues:
1 2 3
... b r r r Probmoslo mas rigurosamente.
Consideramos el conjunto H de los restos obtenidos mediante este proceso de
divisiones sucesivas; demostremos que H tiene mnimo y que ste es 0.
1
mn
( )
n
H
r H
H r H
'
1
1
1
=
!
1
1
1+
Si 0
n
r realizamos la divisin
1
1
1
n n
n
n n q
r r
r H
r q
y
1
min
n n
r r H
< = : absurdo.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 8
Por lo tanto 0
n
r = , y en consecuencia, este mecanismo de divisiones sucesivas nos
conduce en todos los casos a un resto nulo, siendo el ltimo resto no nulo (
1
)
n
r
el mximo
comn divisor buscado.
Suele utilizarse el siguiente esquema:
1 2 3
1 2 2 1
1 2 3
0
n
n n
q q q q
a b r r r r
r r r
1
( , )
n
D a b r
=
Ejercicio
Completa el siguiente algoritmo de Euclides
24 6
924
12
Nota
Si en el algoritmo anterior utilizamos sucesivamente el teorema, en lugar del
corolario, tenemos:
1 1 2 1 1
( ) ( ) ( ) ( ) ( ) ( ) ......................... ( ) (0) ( )
n n
d a d b d b d r d r d r d r d d r
= = = = =
Y como
1
( , ) ( ) ( ) ( ( , ))
n
r D a b d a d b d D a b
= = , el conjunto de los divisores comunes
a a y a b es el conjunto de los divisores de su mximo comn divisor.
En otras palabras:
/
/ ( , )
/
x a
x D a b
x b
'
1
1
1
!
1
1
1+
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 9
Teorema
) / /
( , )
) Si / / /
i D a D b
D a b D
ii x a x b x D
'
1
1
1
=
!
1
1
1+
Demostracin
( ) Partimos de la hiptesis que ( , ) max( ( ) ( )) D D a b d a d b = = ( ) ( ) D d a d b
( ) /
( ) /
D d a D a
D d b D b
'
1
1
1
!
1
1
1+
Quedara por demostrar la condicin ii), pero ello ya fue probado.
( ) Ahora debemos demostrar que max ( ) ( ) D d a d b =
) ( ) ( )
) ( ) ( )
i D d a d b
ii D x x d a d b
'
1
1
1
!
1
1
1+
i) Por hiptesis
/ ( )
( ) ( )
/ ( )
D a D d a
D d a d b
D b D d b
'
1
1
1
!
1
1
1+
ii)
como 0
( ) ( ) / / entonces por hiptesis /
D
x d a d b x a x b x D x D
De i) y ii) deducimos que max ( ) ( ) ( , ) D d a d b D a b = =
Nota:
El teorema recin demostrado nos brinda una condicin necesaria y suficiente para
que D sea mximo comn divisor de a y b . Y como tal, podra sustituir a la definicin
dada de mximo comn divisor.
Propiedades
Veamos ahora algunas otras propiedades del mximo comn divisor.
1.
a b
ax bx
r q
rx q
x
'
1
1
'
1 1
1 1 1
! !
1 1
1 1
+
1
1
1+
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 10
2.
( , )
( , )
*
D a b D
D ax bx Dx
x
' =
1
1
1
=
!
1
1
1+
3.
/ /
,
( , )
x a x b
a b D
D
D a b D x x x
'
1
1
1
1
=
!
( ) 1 =
1
1+
Definicin
Consideramos a y b dos nmeros naturales.
Decimos que a y b son primos entre s ( , ) 1 D a b =
Observacin: a y b son primos entre s si, y slo si, el 1 es su nico divisor comn
Teorema
( , )
( , ) 1
a Da
D a b D b Db
D a b
'
1
=
1
1
1
1
= =
!
1
1
1
=
1
1+
Demostracin a cargo del lector
Teorema de Euclides
/
/
( , ) 1
c ab
c b
D a c
'
1
1
1
!
1 =
1
1+
Demostracin
( , ) 1 ( , ) D a c D ab cb b = =
/ por hiptesis
/ ( , ) /
/ por definicin
c ab
c D ab cb c b
c cb
'
1
1
1
!
1
1
1+
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 11
Mnimo comn mltiplo
Siendo a
, anotamos ( ) m a al conjunto de sus mltiplos no nulos; ms
precisamente:
( ) ; * m a na n =
Definicin
, a b
. Llamamos mnimo comn mltiplo de a y b (anotamos ( , ) m a b ) al
nmero natural ( , ) min ( ) ( ) m a b m a m b =
Teorema
, min ( ) ( ) a b m a m b
Demostracin
) ( ) ( ) por definicin
) ( ) ( ) pues ( ( ) ( ))
i m a m b
ii m a m b ab m a m b
Entonces por P.B.O. min ( ) ( ) m a m b
Teorema
( , ) ( , ) m a b D a b ab = con , a b
Demostracin
Intentaremos escribir ( ) ( ) m a m b de tal forma que pueda hallarse su mnimo; para
ello buscamos una condicin necesaria y suficiente para que ( ) ( ) x m a m b .
Si
( ) *;
( ) ( )
( ) *;
x m a k x ka
x m a m b ka hb
x m b h x hb
' ' =
1 1
1 1
1 1
=
! !
1 1 =
1 1
1 1 + +
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 12
Por otra parte si ( , ) D a b D =
con ( , ) 1
a Da
b Db
D a b
'
1
=
1
1
1
1
=
!
1
1
1
=
1
1+
Sustituyendo, tenemos
kDa hDb ka hb
= = .
Entonces / a hb
, y como ( , ) 1 D a b
= por Euclides: / *, a h t h ta
=
Adems x hb = x ta b
= ; como b Db x ta b D
= =
Probamos entonces que: ( ) ( ) x m a m b x ta b D
= . Demostremos ahora que
tambin es cierto el recproco.
( )
, ( ) ( )
( )
x ta b x m b
x x ta b D x m a m b
x tab x m a
' '
= 1 1
1 1
1 1
=
! !
1 1
=
1 1
1 1 + +
Por lo tanto: , ( ) ( ) x x ta b D x m a m b
=
Podemos afirmar que:
( ) ( ) , , * m a m b x N x ta b D t
= =
El mnimo del conjunto se da para 1 t = . Entonces: ( , ) m a b a b D
= con ( , ) D D a b =
multiplicando ambos miembros por D tenemos ( , ) ( , ) m a b D a b ab =
Nmeros primos y compuestos
Definicin
a , 0 a , 1 a . Decimos que a es primo ( ) 1, d a a = . Si a no es primo lo
demominamos compuesto
Observacin
Como todos los naturales no nulos aceptan a 1 y a s mismos como divisores,
podemos decir que un nmero es primo si y slo si acepta dos divisores.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 13
Mediante esta definicin los nmeros naturales quedan clasificados en: primos,
compuestos, 0 y 1.
Por qu 0 y 1 no son ni primos ni compuestos? Por qu los naturales distintos de
0 y de 1 que no son primos se llaman compuestos y no simplemente no primos?
Teorema
El menor de los divisores distintos de 1 de un nmero compuesto es primo.
Demostracin
Consideramos a
, 1 a , ( ) min ( ) 1 d d a = . Debemos probar que d es primo.
Obsrvese que d existe pues ( ) 1 d a es un conjunto de naturales no vaco.
Intentaremos una demostracin por absurdo; suponemos que d no es primo, como
no es ni 0 ni 1, entonces es compuesto, aceptando entonces un divisor distinto de 1 y de d .
' d
, ' 1 d , ' d d tal que '/ d d ; como / / ( ) 1 d a d a d d a
. Pero
'/ d d y d d d d
< .
Encontramos pues un elemento del conjunto menor que el mnimo, lo que genera el
absurdo.
Teorema
El conjunto de los nmeros primos no tiene mximo
Demostracin
Sea H el conjunto de todos los nmeros primos; queremos probar que H no tiene
mximo, lo cual haremos por absurdo.
Suponemos que existe max M H = . Consideramos ahora 2 3 5 1 P M = (el
producto de todos los nmeros primos ms 1). max P M H = P H , como adems
0 P y 1 P P es compuesto. Aplicando ahora el teorema inmediato anterior:
[ [ min ( ) 1 d d P = es primo; pero por la definicin dada de P , ste dividido cualquier
nmero primo da resto 1, generndose as la contradiccin buscada.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 14
Teorema de Euclides para primos
/
/
primo
/
p a
p ab
p
p b
'
1
1
1 '
1
1
1 1
! !
1 1
1 1
+
1
1
1+
.
Demostracin
Si / p a , el teorema est demostrado.
Si / p a ( , ) 1 D a p = pues p es primo; como por hiptesis / p ab , aplicando
Euclides tenemos que / p b .
Definicin
Consideramos a un nmero compuesto. Si
1 2
...........
n
a p p p = con
i
p primo.
decimos que a admite una descomposicin en producto de factores primos (D.P.F.P.)
Teorema
a , a compuesto
1) admite una D.P.F.P
2) Dicha D.P.F.P. es nica
a '
1
1
1
!
1
1
1+
Demostracin
(1) Existencia
a es compuesto ( )
1
min ( ) 1 p d a = siendo
1
p primo
1 1
a p d =
Si
1
d es primo entonces
1 1
p d es D.P.F.P. de a .
Si
1
d es compuesto ( )
2 1
min ( ) 1 p d d = siendo
2
p primo
1 2 2 1 2 2
d p d a p p d = =
Si
2
d es primo entonces
1 2 2
p p d es la D.P.F.P. de a .
Si
2
d es compuesto .........................................................................................................
..............................................................................................................
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 15
El proceso contina hasta que llegamos a un cociente
n
d primo; si este mecanismo de
divisiones sucesivas fuera siempre finito nos aseguraramos de la existencia de la D.F.
Probemos entonces que siempre llegamos a un
n
d primo.
Sea H el conjunto de los
i
d , H , H
1
( ) d H min
n
d H = . Adems
n
d
primo pues si
n
d fuese compuesto existira ( )
1
min ( ) 1
n n
p d d
= con
1 n
p
primo
1 1 n n n
d p d
=
1 n
d H
y adems
1
min
n n
d d H
< = , lo cual es contradictorio; en
consecuencia el proceso descrito es finito y nos conduce en todos los casos a la D.F. de a .
(2) Unicidad:
1 2
...
n
a p p p = con
i
p primo
1 2
1,..., , ........
n
i n p p p =
1 2
...
n
a q q q = con
i
q primo
1 2
1,..., , ........
m
i m q q q =
Queremos demostrar que n m = y , 1,...,
i i
p q i n = = . Igualando nos queda:
1
1
1 1 2 1 1 1
primo primo
1 2 1 2
1 1 2 1 1 1
primo primo
/ .... / para algn de 1 a
... ...
/ .... / para algn de 1 a
j
k
m j j
p q
n m
n k k
q p
p q q q p q j m p q q
p p p q q q
q p p p q p k n q p p
' =
1
1
1
=
!
1
=
1
1
+
Entonces
1 1
p q = . Simplificando tenemos:
2 2
... ...
n m
p p q q = . Reiterando el razonamiento
2 2
p q = ,
3 3
p q = , ,
n n
p q = (si n m ).
Si n m , despus de simplificar nos queda
1 2
... 1
n n m
q q q
=
1 2
... 1
n n m
q q q
= = = = ,
lo que contradira que
i
q fuera primo; por lo tanto n m = .
Ejercicios:
(9) Si
1 2
1 2
...
n
n
a p p p
= con
i
p primo, probar que
1 2
1 2
/ ...
n
n
x a x p p p
= con
0 , 1,...,
i i
i n =
(10) Si
1 2
1 2
...
n
n
a p p p
= y
1 2
1 2
...
n
n
b p p p
= con
i
p primo, probar que:
i)
1 2
1 2
( , ) ...
n
n
D a b p p p
= siendo min ,
i i i
= .
ii)
1 2
1 2
( , ) ...
n
n
m a b p p p
= siendo max ,
i i i
= .
(11) Utilizando la D.P.F.P de un nmero escribir todos sus divisores, y describir un
mtodo prctico para obtenerlos.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 16
(12) Deducir una frmula que permita calcular la cantidad de divisores de un nmero
dado.
(13) Probar que si
1 2
1 2
...
n
n
a p p p
= con
i
p primo los divisores de a son los sumandos
que se obtienen al desarrollar el producto
0 1 0 1 0 1
1 1 1 2 2 2
( .... )( .... ) ( .... )
n n n
P p p p p p p p p p
=
(14) Utilizando la conclusin anterior, probar que el nmero de divisores de a ( ( ) v a )
es:
1 2
( ) ( 1)( 1)...( 1)
n
v a = y que la suma de todos ellos (
a
S ) es
1 2 2
1 1 1
1 2
1 2
1 1 1
1 1 1
n
a
n
p p p
S
p p p
=
Ejercicios
(15) Completar los siguientes esquemas de algoritmo de Euclides
3
3 1
0
1 2 3
75
0
(16) Hallar dos naturales a y b sabiendo que 360 a b = y ( , ) 30 D a b =
(17) Hallar dos naturales a y b sabiendo que 9900 ab = y ( , ) 30 D a b =
(18) Hallar a y b naturales sabiendo que: 48 a b = , 88
( , )
a b
D a b
=
(19) Hallar los naturales a y b sabiendo que: ( , ) ( , ) 9000 m a b D a b = ,
( , )
90
( , )
m a b
D a b
= y
adems 200 a b < .
(20) Hallar los naturales a y b sabiendo que 192 ab = ,
2
( ) 169
4 48
m D
mD
= siendo
( , ) m m a b = y ( , ). D D a b =
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 17
(21) Hallar los naturales a y b sabiendo que:
2 2 2
( , ) 36 D a ab b a = ,
2 2
2
29
a b
D
=
siendo ( , ) D D a b = .
(22) Hallar los naturales a y b sabiendo que:
2 2
6399 a b = y ( , ) 4620 m a b = .
(23) Hallar los naturales a y b sabiendo que: ( , ) 504 m a b = , a b y
20
a b
.
(24) Se sabe que: 11 8 9 a b
= , 3 4 9 a b
=
i) Probar que: 9 a
= y 9 b
= .
ii) Si adems ( , ) 9, D a b =
27
a b
q
, 2 135 a b = . Calcular a y b .
(25) Sabiendo que: ( , ) 3 ( , ) D b c D a c = y ( , ) 2 ( , ) m a c m b c =
i) Probar que: 2 a
= y 3 b
=
ii) Demostrar que:
3 3
( )( 9 ) 162 a a b b =
i
iii) Si ( , ) 1 D a b = calcular: ( , ) D b c y ( , ). D a c
(26) Determinar un nmero natural n compuesto de los factores primos 2, 5 y 7
sabiendo que 5n tiene 8 divisores mas que n , 7n tiene 12 divisores ms que n y
8n tiene 18 divisores ms que n .
(27) Hallar 2 3 5
a b c
x = sabiendo que
2
x
tiene 30 divisores menos que x,
3
x
tiene 35
divisores menos que x y
5
x
tiene 42 divisores menos que x .
(28) Determinar el nmero ms pequeo que admite 15 divisores.
(29)
i) Probar que si m tiene un nmero impar de divisores entonces n ,
2
n m =
ii) Hallar m sabiendo que tiene 9 divisores y que 1 39 m p = , p primo.
(30) Determinar todas las ternas de nmeros naturales ( , , ) a b c que verifican:
3
( , ) 3 5 D a b = ,
4
( , ) 2 3 5 7 m b c = y
5
2 3 5 7 13 a c = .
(31) Hallar n
q p
n p q = con p y q primos, p q , sabiendo que el nmero de
divisores de n es 2pq .
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 18
(32)
i) Hallar a y b naturales sabiendo que: 1 n , ( , ) 21 D an bn = ,
3
2 2
2
21
a b
n
= y
21 a b =
ii) Sea 2 N a
= y
1
' 5 N b
= . Hallar N y ' N sabiendo que 5N tiene 20
divisores ms que
'
2
N
y que
N
N
tiene dos divisores.
iii) Hallar todos los naturales h sabiendo que:
2
4 7 h h
= , ( 4, 7) 1 D h = y
4
( , 70) ' m h N =
(33)
i) Qu condicin deben cumplir los nmeros naturales a para que tengan 12
divisores y ( , 225) 15 D a = ?
ii) Hallar a para que cumpla adems que la suma de sus divisores sea 168.
iii) Para el valor de a hallado en la parte anterior probar que:
5 2
5 6 n n n a
=
(34) Probar: ( , ( 2) ) 1 2 D a nb a n b n b
= = y ( , ) 1 D a b = .
(35)
i) Hallar a sabiendo que: ( , 75) 5 D a = y ( , 75) 150 m a =
ii) Para a hallado probar que:
1
1 99
n n
a a a
=
i
(36) Se realizan las divisiones enteras de un natural n entre dos naturales
consecutivos p y 1 p Demostrar que la condicin necesaria y suficiente para
que los cocientes sean iguales es que el cociente de la primera divisin sea menor
o igual que el resto de la primera divisin.
(37) Sean a , b y c nmeros naturales tales que:
3 2
( , ) 2 3 D a b = ,
5 3 2
( , ) 2 3 7 m b c = y
5 2
( , ) 2 .3 .5.7 m a c =
i) Probar:
5 2 2
2 .7/ , 7 / , 7 / , 5/ c b c a y
2
3 / . b
ii) Si adems se sabe que: ( ) 30 v a = , ( ) 48 v b = y ( ) 36 c = , hallar a , b y c .
(38) a , b y c son tres nmeros naturales que cumplen:
2 3
( , ) 2 3 D a b = ,
2
( , , ) 3 D a b c = ,
3 4
( , , ) 2 3 5 7 m a b c = , 5/b , ( ) 32 v b = y ( ) 9. v c = Determinar a , b y c
justificando el procedimiento.
DIVISIBILIDAD
Instituto de Profesores Artigas 2008 19
(39)
i) Probar: ( , ( , )) ( , ) D a b m a b D a b =
ii) Hallar dos naturales a y b para que: ( , ) 630 m a b = y 231 a b = .
(40)
i) Se sabe que ( , ) ( , ) D a b D c d = , ( , ) ( , ) m a b m c d = ,
7 4 2
2 3 5 c d = y ( ) 7 v a = .
Hallar a y b .
ii) Hallar todas las parejas ( , ) c d sabiendo adems que 25 c =
i
(41) Hallar N sabiendo que N abcd = , 2( ) cd ab a c d = y 3( ) d c b = .
(42) Hallar N sabiendo que 9 N abc = =
, 56 ab bc = y 99 cba abc = .
(43)
i) Hallar m abcd = , sabiendo que 4 m =
, 4 ab =
y ( , ) 1 D a b = y 63 ad bc =
ii) Hallar n tal que ( , ) 126 D n m = (con el m de la parte anterior), ( ) 16 v n = y n
tiene 3 divisores.
(44) Hallar N abcd = sabiendo que a b c dc = y 3cd bc = .
(45) Dado N abcabc =
i) Demostrar que 7 N =
, 11 N =
i
, 13 N =
i
ii) Hallar todos los N tales que 2 bc a = y 5 N =
(46) Demostrar los criterios de divisibilidad entre 2, 3, 4, 5, 6, 10 y 11 para un nmero
de cuatro cifras.
