1.

ALGORITMOS DE DIVISIN Y EUCLIDES

1.1 Operaciones bsicas con enteros y propiedades.
1.2 Valor absoluto y propiedades.
1.3 Algoritmo de la divisin entera. Unicidad de cociente y resto.
1.4 Operado mdulo.
1.5 Divisor comn. MCD. Algoritmo de Euclides.
1
1.1 Operaciones y propiedades bsicas de los enteros.
Sean
b , a
enteros:
Definiciones:
1. La diferencia b a , se define como: el entero
c
que satisface c b a + .
2. Si 0 a y
qa b
para algn entero
q
, entonces
a
es un divisor de b , y b
es un
mltiplo
de
a
.
3. Si n natural, tal que n a b + , entonces a b > .
4. Si a b > a b , entonces a b .
Propiedades (I):
1. Asociativa:
2. Conmutativa:
3. Distributiva respecto de la suma:
4. Elemento unidad.
5. El conjunto de los enteros con la operacin suma, es un grupo abeliano.
6. El conjunto de los enteros con las operaciones suma y producto es un anillo
conmutativo.
7. No existen divisores de cero, es decir:
0 0 0 b a ab
.
Propiedades (II):
8. 0 0 a
9.
( ) ( ) b a b a ab
10. Si 0 a y
b | a
, entonces a b > .
11. Si
0 b , a
y
b | a
y
c | b
, entonces
c | a
.
12. Si 0 a y
b | a
y
c | b
, entonces
( ) cy bx | a +
para todo
y , x
enteros.
13. Si
0 > b , a
y
b | a
, entonces b a .
14. Si
0 b , a
y
b | a
y
a | b
, entonces b a b a .
EJEMPLOS:
1. Sean
d , c , b , a
enteros, probar que:
(a)
( )( ) bc bd ac ad c d b a + + + + +
( )( ) c d b a + + ( ) ( )c b a d b a + + + distributiva
bc ac bd ad + + + distributiva
|| bc ac bd ad + + +
asociativa
(b)
( )( ) ab b a
( )( ) ( )b a b a
propiedad (9)
|| ab
propiedad (9)
2. Sean
d , c , b , a
enteros, con
0 b , a
; probar que:
(a) Si
b | a
y
d | c
, entonces
bd | ac
.
2
Z q q con cq d q aq b q d | c ab
,

2 1 2 2 1 1
Def. Divisin
( ) ( ) ( ) || Z q q q con q q ac cq aq bd
2 1 2 1 2 1
Def. Mult.
(b) Si
bc | ac
, entonces
b | a
.
( ) [ ] 0 ac Z q con q ac bc q bc | ac
Def. Divisin
0 acq bc
Sumar (
acq
)
( ) 0 aq b c
Distributiva
0 aq b
0 0 c ac
Dividir (
c
)
|| aq b
Sumar (
aq
)
1.2 Valor absoluto.
Definicin: Sea Z n , se define la aplicacin valor absoluto como:
Z Z :
tal que

'

>

0
0
n si n
n si n
n
Propiedades:
Sean
Z b , a
:
1.
{ } 0 N a
2.
0 0 a a
3.
b a ab
4.
b a b a + +
5. Si 0 a y
b | a
, entonces
b a
.
EJEMPLO:
1. Probar que si
Z b , a
con 0 b , entonces
b a
sii b a y b a .
b a b a b a
Def. Valor Absoluto
Pues:
( ) ( )
( ) ( )
( ) ( )

'

< <
<

0
0
0
a si b a b a
a si b a b a
b b a
( ) ( ) ( ) ( ) b a b a b b a < < < 0 ||
1.3 Divisin entera.
Teorema de la Divisin: Sean Z a y N b , entonces
Z r , q
tales que
r bq a +

con b r < 0 , y, adems,
q
y r son nicos.
Corolario: Sean
Z b , a
con 0 b , entonces
Z r , q
tales que
r bq a +
con
b r < 0
, y, adems,
q
y r son nicos.
Dem.
3
( ) ( ) 0 > b Z b , a
( ) ( ) N b Z a
Z r q,
tales que
r bq a +
Teorema Divisin
con b r < 0 ,
q
y r nicos.
( ) ( ) 0 < b Z b , a
( ) ( ) 0 > b Z b , a Multiplicar (-1)
Z r , q
tales que
( ) r q b a +
Teorema Divisin
con b r < 0 ,
q
y r nicos.
De donde:
( ) ( )
( ) ( )
( ) ( ) b r b Z b , a
b r b Z b , a
b r b Z b , a

< <
< >
0 0
0 0
0 0
||
EJEMPLOS:
1. Obtener el cociente y el resto de
b
a
, siendo
a
y b , respectivamente:
a)
7 3 0 3 0 7 3 7 3 < + con y
b)
3 1 0 1 2 3 7 3 7 < + con y
c)
( ) 8 1 0 1 2 8 15 8 15 < + con y
d)
( ) 17 17 11 0 11 2 17 23 17 23 < + con y
2. Probar mediante el teorema de la divisin:
El cuadrado de todo entero impar se puede escribir de la forma 1 8 + k con
{ } 0 N k
.
Dem.
( ) a impar Z a

1 2 + q a
con 2 1 0 < y
Z q
Teorema de la divisin
( ) ( ) 1
2
1
8 4 1 4 1 2
2 2 2 2
+
1
]
1

+ + + + q q q q q a
Y, dado que:
( ) Z q q Z q +
2
2
1
, y ( ) ( ) 0 1 8 0
2 2
+ > k k a a ,
se tiene que: 1 8
2
+ k a con
{ } 0 N k
.
||
3. Probar que:
Si un entero es, a la vez, cuadrado y cubo, entonces ste puede escribirse de la
forma k 7 1 7 + k , con
{ } 0 N k
.
Dem.
Por ejemplo, para 64 n se cumple que 64 4 8
3 2
, y se comprueba que, adems,
ste puede expresarse de la forma: 1 9 7 64 + .
En el caso general:
Sea el entero
3 2
b a n , se tiene que: r k n + 7 con
{ } 7 0 < r | Z r R
4
( ) ( )
2 2 2 2 2 2 2
7 2 7 7 7 2 7 7 7 r k r q q q r q r q a
a
+ + + + + +
{ } 4 2 1 0
1 5 7 36 6
4 3 7 25 5
2 2 7 16 4
2 1 7 9 3
4 0 7 4 2
1 0 7 1 1
0 0 7 0 0
2
2
2
2
2
2
2
, , , R
r r
r r
r r
r r
r r
r r
r r
a

+
+
+
+
+
+
+
( )[ ] ( )
3 3 2 2 2 3 2 2 3
7 2 7 7 14 49 7 14 49 7 r k r qr r q qr q q r q q r q b
b
+ + + + + + + + +
{ } 6 1 0
1 30 7 216 6
6 17 7 125 5
1 9 7 64 4
6 3 7 27 3
1 1 7 8 2
1 0 7 1 1
0 0 7 0 0
3
3
3
3
3
3
3
, , R
r r
r r
r r
r r
r r
r r
r r
b

+
+
+
+
+
+
+
Para que
n
pueda expresarse como cuadrado y como cubo, debe cumplirse que:
b b a a
r k r k r k + + + 7 7 7
Y, finalmente, dado que el cociente y el resto de la divisin deben ser nicos:
{ }

'

b a
b a b a
k k k
, R R R R donde , R r con r r r 1 0
||
1.4 Mdulo, resto residuo de la divisin entera.
Definicin:
Sean
Z b , a
con 0 b , y sea
r bq a +
con
Z r , q
y b r < 0 , se define el
operador MOD como: r b a MOD .
EJEMPLO:
( ) ( ) ( ) ( )
( ) ( ) ( ) ( ) ( ) ( ) 3 7 59 2 7 2 6 17 23 1 3 7
2 7 61 1 7 1 1 8 15 3 7 3


MOD MOD MOD MOD
MOD MOD MOD MOD
5
Propiedades:
Sean
Z m d c b a , , , ,
con 0 m ; si m c m a MOD MOD y m d m b MOD MOD ,
entonces:
1.
( ) ( ) m d c m b a MOD MOD + +
2.
( ) ( ) m cd m ab MOD MOD
EJEMPLOS:
1. Sea Z a ; probar que
1 + a a,
2 + a es mltiplo de 3.
Dem.
Sea
{ } 2 1 0 con 3 , , MOD r a r Z a
;
( )
( )

'

+ +
+ +

2 3 2
1 3 1
3 3
0
q a
q a
DE MLTIPLO q a
r
( )
( ) ( )

'

+ + +
+ +
+

3 1 3 3 3 2
2 3 1
1 3
1
DE MLTIPLO q q a
q a
q a
r
( ) ( )
( ) ( )

'

+ + + + + +
+ + +
+

1 1 3 1 3 3 4 3 2
3 1 3 3 3 1
2 3
2
q q q a
DE MLTIPLO q q a
q a
r
Por lo tanto, sea Z a , entonces
2 a a a + + 1 ,
es mltiplo de 3.
||
2. Sea Z n , probar que no existe ningn entero m n m | 7 1
2
+ .
Dem.
( ) 1
( ) ( ) 6 7 6 1 7 7 7 1 7 1 7
7 1 7 0 7 7
2 2
2
+ +
+
MOD
MOD |
n q q q n
q n q m m m
( ) 2
( ) ( )
( ) ( ) 7 7 7
2 1.4 Propiedad
7 7 7
2 2
MOD MOD MOD
MOD MOD MOD
n n
n n

{ } 6 5 4 3 2 1 0 7 7 , , , , , , MOD | m m
6
1 7 6 6 7
4 7 5 5 7
2 7 4 4 7
2 7 3 3 7
4 7 2 2 7
1 7 1 1 7
0 7 0 0 7
2
2
2
2
2
2
2







MOD MOD
MOD MOD
MOD MOD
MOD MOD
MOD MOD
MOD MOD
MOD MOD
m
m
m
m
m
m
m
Si
m | 7
y 1
2
+ n m , entonces, de
( ) 2
obtenemos que ( ) { } 4 2 1 0 7
2
, , , MOD n ;
pero de
( ) 1
obtenemos que ( ) 6 7
2
MOD n , de modo que se llega a una
contradiccin, habiendo demostrado que no es cierto que exista algn entero
|| . | m n m 7 1
2
+
1.5 Divisor comn de dos enteros.
Definicin:
Sean
Z b a ,
y N d , tales que
a d |
y
b d |
, entonces se dice que d es un
divisor comn de
a
y b .
Corolarios:
1. La unidad siempre es es divisor comn de
a
y b .
2. Sii 0 b a , entonces el conjunto de divisores comunes de
a
y b es
infinito, pues el conjunto de divisores de 0 es infinito.
3. Sii 0 a 0 b , entonces, el conjunto de divisores comunes de
a
y b es
finito, pues el conjunto de divisores de 0 n es finito.
4. Sii el conjunto de divisores comunes de
a
y b es finito, entonces existe un
divisor comn que es mayor que los dems, llamado mximo comn divisor de
a
y b , y se escribe
( ) b a, MCD
.
1.6 Mximo comn divisor de dos enteros.
Definicin:
Sea N d un divisor comn de
a
y b con 0 a 0 b , d es el mximo comn
divisor de
a
y b , sii todo divisor comn de
a
y b divide tambin a d .
Por convenio, en el caso de que 0 b a , se define
( ) 0 0 0 , MCD
.
Corolario:
1. Si Z a con 0 a , entonces
( ) ( ) a a a , MCD , MCD 0 0
.
2. Si
Z b a ,
,
( ) ( ) b a b a , MCD , MCD
7
EJEMPLO:
1. Lista los divisores comunes de 8 y 6.
Los divisores de 8 son:
{ } 8 4 2 1 t t t t , , , A
Los divisores de 6 son:
{ } 6 3 2 1 t t t t , , , B
Donde, los divisores comunes de 8 y 6 son:
{ } 2 1 t t , B A
y
( ) 2 2 1 + , MCD
.
2. Lista los divisores comunes de -21 y 12.
Los divisores de 21son:
{ } 21 7 3 1 t t t t , , , A
Los divisores de 12 son:
{ } 12 6 4 3 2 1 t t t t t t , , , , , B
Donde, los divisores comunes de -21 y 12 son:
{ } 3 1 t t , B A
y
( ) 3 12 21 + , MCD
.
Definicin (2):
Sea N d un divisor comn de n
a a a D , , ,
2 1

con algn
0
i
a
donde n i 1 ;
entonces
( ) D d MCD
es el mximo comn divisor de D, sii todo divisor comn de
D divide tambin a d .
Teorema:
Sean
Z b a ,
, con 0 a y 0 b , y N d ; entonces
( ) b a d , MCD
es nico, y,
adems, es el entero positivo ms pequeo que puede expresarse de la forma
by ax d +
con
Z y x ,
.
EJEMPLO:
( )
( ) 10 2 50 3 30 10 50 30
3 2 12 1 21 3 12 21
+
+
, MCD
, MCD
Corolario:
3. Sean
Z b a ,
, con 0 a y 0 b ; entonces
( ) 1 b a, MCD
sii existen
1 + bt as Z t s,
.
EJEMPLO:
Probar que si
( ) 1 b a, MCD
y
( ) 1 c a, MCD
, entonces
( ) 1 bc a, MCD
.
Dem.
8
A partir de la hiptesis, y de acuerdo al corolario 1.6-2:
( ) by ax Z y x b a + 1 1 , , MCD
( ) ct as Z t s c a + 1 1 , , MCD
Multiplicando ambas ecuaciones:
( )( ) ( ) ( ) yt bc bys xct axs a byct byas axct axas ct as by ax + + + + + + + + 1
De donde, bcT aS + 1 con
bys xct axs S + +
, y
yt T
.
De la definicin de
( ) + , , Z
, se deduce que:
Z T S Z t s y x c b a , , , , , , ,
Y, por el corolario 1.6-2:
( ) 1 1 + bc a bcT aS , MCD ||
1.7 Algoritmo de Euclides.
Lemas:
Sean
Z b a ,
con 0 b , tales que
r bq a +
con
Z q
y b r < 0 :
1. Los divisores comunes de
a
y b , son divisores del resto r de dividir
a
entre
b .
r d b d a d | | |
Dem.
Sea N c , tal que
a c |
y
b c |
, entonces
1
cq a
y
2
cq b
.
Por hiptesis: ( ) q q q c r r q cq cq r bq a
2 1 2 1
+ + , y, por lo tanto,
r c |
.
9
2. Los divisores comunes de b y r , son divisores de
a
.
a d r d b d | | |
Dem.
Sea N c , tal que
b c |
y
r c |
, entonces
1
cq b
y
2
cq r
.
Por hiptesis: ( )
2 1 2 1
q q q c a cq q cq a r bq a + + + , y, por lo tanto,
a c |
.
Teorema:
El mximo comn divisor de
a
y b , es el mximo comn divisor de b y r .
( ) ( ) r b b a , MCD , MCD
Dem.
Sea
b d a d | |
, y de acuerdo al lema 1.7-1, tenemos que
r d |
.
Dado que
b d |
por hiptesis, se tiene que
r d b d | |
, por lo que d es un divisor
comn de b y r .
Sea
r d b d | |
, y de acuerdo al lema 1.7-2, tenemos que
a d |
.
Dado que, por hiptesis,
b d |
, se tiene que
b d a d | |
, por lo que d es un divisor
comn de
a
y b .
De este modo, se demuestra que, si d es un divisor comn de
a
y b , entonces lo
es tambin de b y r ; y viceversa.
Por lo tanto, el conjunto de los divisores comunes de
a
y b , es equivalente al de
los divisores comunes de b y r ; de donde
( ) ( ) r b b a , MCD , MCD
.
||
Algoritmo de Euclides:
De acuerdo al corolario 1.6-2:
( ) ( ) b a b a , MCD , MCD
, de modo que es posible
suponer que 0 > b a .
Sea
Z m n ,
e N i , con
a n
, b m e 1 i :
(1) Dividiendo
n
entre
m
, se tiene que:
i i
r mq n +
con
m r
i
< 0
Si
0
i
r
, entonces
( ) m m n MCD ,
.
Si
0
i
r
, entonces, dado que
( ) ( ) r m m n , MCD , MCD
, se hace
i i
m n
+1

y
i i
r m
+1
, y se repite el paso (1) con 1 + i i .
Al aplicar ste algoritmo se obtiene una sucesin de enteros
n
r r r > > >
2 1
,
donde:
0
n
r
( ) ( ) ( ) ( ) b a r b r r r r r
n n n n n
, MCD , MCD , MCD , MCD
1 3 2 2 1 1

10
EJEMPLO:
1. Calcular
( ) 30 280, MCD
.
30 10 0 10 9 30 280
30
280
< + con
Como
0 10
1
r
,
30 0 0 0 3 10 30
10
30
< + con
Como
0
2
r
, entonces ( ) 10
1
b a MCD r , .
2. Calcular
( ) 270 3120, MCD d
, y encontrar
y x d Z y x 270 3120 + ,
.
270 150 0 150 11 270 3120
270
3120
< + con
Como
0 150
1
r
,
150 120 0 120 1 150 270
150
270
< + con
Como
0 120
2
r
,
120 30 0 30 1 120 150
120
150
< + con
Como
0 30
3
r
,
30 0 0 0 4 30 120
30
120
< + con
Como
0
4
r
, entonces
( ) 30
3
b a MCD r ,
.
Para obtener
y x Z y x 270 3120 30 + ,
, efectuamos sustituciones regresivas a
partir de
30
3
r
:
( )
270 2 150
150 270 150 30
1 150 270 120 120 1 150 270
150
270
1 120 150 30 30 1 120 150
120
150
2 3
2
3

+
+ :
:
: r r
r
r
11
( )
( )
( ) 23 270 2 3120
270 2 11 270 3120 30
11 270 3120 150 150 11 270 3120
270
3120
270 2 150 30
1 2 3
1
2 3
+

+
:
:
: r r r
r
r r
De modo que 2 x e
23 y
.
Teorema (Lam):
El nmero de pasos requeridos por el algoritmo de Euclides para calcular
( ) b a, MCD
es, a lo sumo, cinco veces el nmero de dgitos de
( ) b a, min
.
Teorema:
Si 0 > k , entonces
( ) ( ) b a k kb ka , MCD , MCD
.
Corolarios:
1. Para todo Z k , se cumple que
( ) ( ) b a k kb ka , MCD , MCD
.
2. Para cada N n , es posible encontrar
Z b a
n n
,
tales que slo se requieran
n

divisiones para hallar
( )
n n
b a , MCD
.
EJEMPLO:
1. Calcular
( ) 90 36, MCD
.
Al encontrar que 9 es un divisor comn de 36 y 90, tenemos que:
( ) ( ) ( ) 10 4 9 10 9 4 9 90 36 , MCD , MCD , MCD
De igual modo, observamos que 2 es un divisor comn de 4 y 10:
( ) ( ) ( ) 18 1 2 9 5 2 2 9 5 2 2 2 9 10 4 9 , MCD , MCD , MCD
Por lo tanto:
( ) ( ) 18 5 2 18 90 36 , MCD , MCD
2. Demostrar que
( ) b a d , MCD
sii
a d |
,
b d |
y
1
,
_

d
b
d
a
, MCD
.
Dado que, por hiptesis,
( ) b a d , MCD
y, de la definicin de mximo comn
divisor, se tiene que:
d
b
q
d
a
q dq b dq a b d a d + +
2 1 2 1
0 0 | |
.
12
Y, para estos valores de
1
q
y
2
q
, se comprueba que:
Sea
( )
,
_

,
_

d
b
d
a
d
d
b
d
d
a
d b a d , MCD , MCD , MCD

1
,
_

d
d
d
b
d
a
, MCD
||
3. Demostrar que si
( ) 1 b a, MCD
, entonces
( ) 2 + b a b a , MCD
.
Sean
Z b a ,
, siempre podemos encontrar ( ) ( ) b a b b a a Z b a + , .
Sea ( ) ( ) b a b a b a + , MCD , MCD , con b a a + y b a b .
De donde,
( ) ( ) a b a b a b a + + + 2
( ) ( ) b b a b a b a + 2
Por lo tanto,
( ) ( ) ( ) b a b a b a b a + , MCD , MCD , MCD 2 2 2
Por otra parte, se tiene que:
( )
( ) ( )
( ) ( ) ( ) ( )
( ) 1
son lo e pues enteros, con 1
e de valor algn para con 1
1

+ + +
+ +
+
b a
y x y x y x y x b y x a
y x Z y x y b a x b a
b a b a
, MCD
. ,
. ,
, MCD
De aqu, que:
( ) ( )
( ) ( )
( ) ( )
( )
( ) 2
1
2
1 1
+

b a b a
b a
b a b a b a
b a b a b a
b a b a b a
, MCD
, MCD
, MCD , MCD
, MCD , MCD
, MCD , MCD
||
13
EJERCICIOS:
- Divisin Entera.
(Ejercicio 1-3, Problemas de M.D., UNED)
Probar que:
a) El cuadrado de todo entero es de la forma: k 3 1 3 + k
b) El cubo de todo entero es de la forma: k 9 , 1 9 + k 8 9 + k
14
Solucin:
Por el algoritmo de la divisin, todo N n puede expresarse de la forma:
r q n + 3
con
Z r q ,
y 3 0 < r .
a) ( ) ( )
2 2 2 2
2
2
2 3 3 6 9 3 r qr q qr r q r q n + + + + +
( ) k q n r r 3 3 3 0 0
2 2 2
con
2
3q k
( ) 1 3 1 2 3 3 1 1
2 2 2
+ + k q q n r r con q q k 2 3
2

( ) ( )
( ) 1 4 3 con 1 3 1 1 4 3 3
1 3 4 3 3 4 4 3 3 4 2
2 2
2 2 2 2
+ + + +
+ + +
q q k k q q
q q q q n r r
||
b)
( )
( )
3 2 2 3
3 2 2 3
3
3
3 3 9
9 27 27 3
r qr r q q
r qr r q q r q n
+ + +
+ + + +
( )
3 3 3 3
3 con 3 3 9 0 0 q k k q n r r
( ) q q q k k q q q n r r + + + + +
2 3 2 3 3 3
3 3 con 3 1 3 3 9 1 1
( ) q q q k con q q q n r r 4 6 3 8 4 6 3 9 8 2
2 3 2 3 3 3
+ + + + +
||
(Ejercicio 1-2, Problemas de M.D., UNED)
Probar que:
Si
Z b a ,
con 0 > b , entonces
Z r q ,
, nicos, tales que
r bq a +
con
Z r q ,
y b r b 3 2 < .
Solucin:
Por el algoritmo de la divisin: sean
Z b a ,
con 0 > b , existen
Z t s ,
tales que
t bs a + con b t < 0 . De aqu, se deduce que:

( ) ( ) r bq a b t s b b b t bs a t bs a + + + + + + 2 2 2 2

( ) ( )
b r b b b t b
b b b t b b t b b b t b t
3 2 3 2 2
2 2 2 2 0 2 2 0 0
< < +
< + + < + <
||
(Ejemplo 3.3 y sol. prop., pg 73. Diseo de progs. UNED)
Disear un algoritmo recursivo que responda a la siguiente especificacin:
( ) ( ) { }
( ) ( )
( ) ( ) { } b r r bq a R
entero entero divide
b a Q
< +

0
r q, b a,
0 0
: dev : fun
Solucin:
15
Existen numerosas soluciones, si bien todas ellas proceden de forma similar:
- Efectan una operacin sobre los valores iniciales que reduce el nmero de pasos
requeridos para resolver el problema.
- Establece la relacin entre las soluciones del problema inicial y el problema reducido.
1 aproximacin. Consiste en restar el divisor al dividendo para reducir el problema.
Sea
( ) ( ) 0 0 b a
, entonces:
Si b a < , entonces a b a + 0 , de modo que
a r q , , 0
.
Si b a , entonces
( ) r q b b a r bq a + + 1
, reduciendo el problema,
de modo que:
( ) r q b b a r q + , en , divide , 1
.
De modo que, el anlisis por casos resulta:
b a <
a r q , , 0
b a ( ) b b a r q r r q q , divide , , + siendo y 1
2 aproximacin. Se plantea duplicar el divisor en cada llamada, en lugar de restar al
dividendo, para reducir el problema mucho ms drsticamente.
Para ello, se establece la siguiente relacin:
( )
( )
( )
( ) ( )
( ) ( ) [ ]
( ) ( ) ( ) b r r q q b b r con b r q b a
b r b con b r b q b a
b r b b r con b r b r
b r b con r q b a b r b
r r q q b r con r q b a b r
b r con r q b a b r con r bq a
+ < + +
< + +
< +
< + <
< + <
< + < +
1 2 0 1 2
2 2
entre dividimos 0 1
2 2 2
2 0 2 0
2 0 2 0
ANLISIS POR CASOS
b a <
a r q , , 0
b a
Sea
( ) b a r q 2 , divide ,
b r <
r q r q , , 2
b r b r q r q + , , 1 2
3 aproximacin. En la tercera aproximacin, se plantea dividir por dos el dividendo en
cada llamada, en lugar de restarle la base, con el mismo fin que en el caso anterior.
16
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) [ ] ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) [ ] ( )
( ) ( ) ( )
||
) (
b r r q q
b b r b r q b a
b r b b r b q b a
b b r con b r b r
b r b r q b a b r b
r r q q b r r q b a b r
b r r q b a a
b r r q q
b b r b r q b a
b r b b r b q b a
b b r con b r b r
b r b r q b a b r b
r r q q b r r q b a b r
b r r q b a a
a a
a a
a r con r a a
r con r a a a
b r r q b a b r con r bq a
+ +
< + + + +
< + + + +
< + + + +
< + + + <
+ < + + + < +

< + + + +
+
< + +
< + +
< +
< + <
< + <

< +
+

< +
< +
< + < +
1 2 1 2
1 2 0 con 1 2 1 2
2 1 2 con 1 2 2
b entre r 2 dividimos 1 2 0 1 2 1 1 2
2 1 2 con 1 2 2 2 2
1 2 2 1 2 0 con 1 2 2 1 2 0
2 1 2 0 con 1 2 2 1 2
2 1 2
2 0 con 2 1 2
2 2 con 2 2
b entre r 2 dividimos 2 0 2 1 2
2 2 con 2 2 2 2
2 2 2 0 con 2 2 2 0
2 2 0 con 2 2 2
1 2 1 r
2 0 r
2 entre Dividir 2 0 2
2 0 2 que tal
y
0 con 0
2
2
2 2
2 2
ANLISIS POR CASOS
b a <
a r q , , 0
b a
Sea
( ) a r a mitad ,
2
Sea
( ) b a r q , divide ,
0
2
r
b r < 2
r q r q 2 2 , ,
b r 2
b r q r q + 2 1 2 , ,
1
2
r
b r < + 1 2
1 2 2 + r q r q , ,
b r + 1 2
b r q r q + + 1 2 1 2 , ,
(Ejercicio 3.12, pgina 77. Diseo de programas. UNED)
Disear un algoritmo recursivo que responda a la siguiente especificacin:
( ) { }
( ) ( )
{ }
n
a p R
entero p entero potencia
b Q


: dev : fun n a,
0
17
1 aproximacin. Consiste en restar la unidad al exponente en cada llamada, reduciendo
as el tamao del problema. De esta manera,
( )
( )
( ) 1
0
1 que tal
0
1 0
+

+

>

n n
n
n
n
a a p
n n a p n a
a p n a
n
a a n
, potencia
, potencia
2 aproximacin. Se pretende dividir entre 2 el exponente en cada llamada, en lugar de
restarle una constante.
( )
( )
( )
( )
a a a a p r
a a a a p r
r r n n a p n a
y
n a p n a
n
a a n
n n n
n n n n
n
n
n

< +

>

+
+

1 2
2 0 2
0
1
0
2 0 y 2 que tal
0 con
0
1 0
, potencia
, potencia
- Definicin de mdulo o resto de la divisin entera.
(Ejercicio 1-9, Problemas de M.D., UNED)
Dados
5 7 3 7 MOD MOD y x
, encontrar:
a)
( ) 7 MOD y x +
b)
( ) 7 MOD y x
c)
( ) 7 MOD xy
d)
( ) 7 3 4 MOD y x +
Solucin:
Por la definicin de resto:
18
3 7 3 7
1
+ q x x MOD
5 7 5 7
2
+ q y y MOD
a)
( ) ( ) ( ) ( )
( ) 1 7
1 1 7 8 7 5 7 3 7
2 1 2 1 2 1
+
+ + + + + + + + +
MOD y x
q q q q q q y x
b)
( ) ( ) ( ) ( )
( ) 5 7
5 1 7 2 7 5 7 3 7
2 1 2 1 2 1

+ + +
MOD y x
q q q q q q y x
c)
( )( ) ( )
( )
( ) 1 7
1 2 5 3 7 7
15 5 3 7 7 5 7 3 7
1 2 2 1
1 2 2 1 2 1

+ + + +
+ + + + +
MOD xy
q q q q
q q q q q q xy
d)
( ) ( ) ( )
( ) ( )
( ) 4 7 3 4
4 1 3 4 7 3 3 4 7
15 12 3 4 7 5 7 3 3 7 4 3 4
2 1 2 1
2 1 2 1

+
+ + +
MOD y x
q q q q
q q q q y x
(Ejercicio 1-8, Problemas de M.D., UNED)
(Ejercicio 1-4, Teora de M.D., UNED)
Sean
Z m y x , ,
con 0 m , probar que:
( ) y x m y m x MOD MOD
es mltiplo de
m
.
Solucin:
Por la definicin de la operacin mdulo:

'

+
+
2 2
1 1
r mq y m y
r mq x m x
MOD
MOD
Sea
m y m x MOD MOD
2 1
r r
( ) ( ) ( ) ( ) y x m q q m r r q q m y x + + | 0
2 1 2 1 2 1
||
(Ejercicio 1-11, Problemas de M.D., UNED)
Sean
Z n n b a , , ,
con 0 n y 0 n , probar que:
Si n b n a MOD MOD y
n n |
, entonces n b n a MOD MOD .
Solucin:
19
Por hiptesis:

'

<

'

+
+

Z q q n n n n
n r
r nq b
r nq a
n b n a
con
0 con
2
1
|
MOD MOD
De donde:
( )
( )
n r
r qq n b
r qq n a
r n

<

'

>

0 con
2
1
( )
( )
n r
r q qq n b
r q qq n a
n r r q n r r n

<

'

<

0 con y 0 con
2
1
Donde observamos que, en ambos casos, n b n a MOD MOD con
0 n .
||
20
- Propiedades del mdulo o resto de la divisin entera.
(Ejercicio 1-10, Problemas de M.D., UNED)
(Ejercicio 1-5, Teora de M.D., UNED)
Calcular: ( ) 4 100 3 2 1
3 3 3 3
MOD + + + +
Solucin:
Por las propiedades del mdulo:
( ) 4 4 4
3 3
MOD MOD MOD n n con 4 4 0 < MOD n
Y, contemplando los posibles valores de valores de
( ) 4 MOD n
,se obtiene:
3 4 3 4 3 4
0 4 2 4 2 4
1 4 1 4 1 4
0 4 0 4 0 4
3 3
3 3
3 3
3 3




MOD MOD MOD
MOD MOD MOD
MOD MOD MOD
MOD MOD MOD
n n
n n
n n
n n
Donde observamos que para
100 2 1 , , , n
, los valores de de ( ) 4
3
MOD n se repiten
de cuatro en cuatro, de modo que tenemos
25
4
100

sub-secuencias de la forma:
1,0,3,0,1,0,3,0.
Por las propiedades del mdulo:
( )
( )
( ) ( ) m m n m n m n n
m m n m n
m m n m n
MOD MOD MOD MOD
MOD MOD MOD
MOD MOD MOD
2 1 2 1
2 2
1 1
+ +

De modo que:
21
( )
( )
( )
0
4 100 4
4
100
0 3 0 1
4 4 100 4 3 4 2 4 1
4 100 3 2 1
3 3 3 3
3 3 3 3

1
]
1

+ + +
+ + + +
+ + + +
MOD MOD
MOD MOD MOD MOD MOD
MOD

-Mximo comn divisor.

(Ejercicio 1-12, Problemas de M.D., UNED)
(Ejercicio 1-6, Teora de M.D., UNED)
Sean
Z d b a , ,
con 0 > d , probar que:
Si d es divisor comn de
b a y
, y d puede escribirse como combinacin
lineal de
b a y
, entonces
( ). , MCD b a d
Solucin:
Por definicin,
( ) b a d , MCD
sii d es divisor comn de
b a y
, y todos los divisores
comunes de
b a y
dividen tambin a d .
- De acuerdo a la hiptesis, d es divisor comn de
b a y
.
- Para comprobar que todos los divisores comunes de
b a y
dividen tambin a d :
Sea d un divisor comn de
b a y
, entonces:
( ) ( )
( ) Z x,y yb xa d
d d yb xa
d d yb d b
d d xa d a
+

con
0 0 0
0 0 0
0 0 0
|
MOD MOD
MOD MOD MOD
MOD MOD MOD
Y, como , por hiptesis,
Z x,y yb xa d + con
, se tiene que:
d d |
.
||
22
-Algoritmo de Euclides.
(Ejercicio 1-13, Problemas de M.D., UNED)
(Ejercicio 1-7, Teora de M.D., UNED)
Calcular
( ) b a MCD d ,
y obtener
by ax d Z y x + ,
, para los siguientes pares de
valores de
b a y
:
a) 1312 a y 800 b
b) 322 a y 406 b
Solucin:
a)
( )
( )
( )
( )
( )
( )
6
5
4
3
2
1
0 2 32 64
32
64
32 3 64 244
64
224
64 1 224 288
224
288
224 1 288 512
288
512
288 1 512 800
512
800
512 1 800 1312
800
1312
r
r
r
r
r
r
+
+
+
+
+
+
b)
23
24