Está en la página 1de 24

1.

ALGORITMOS DE DIVISIÓN Y EUCLIDES
1.1 Operaciones básicas con enteros y propiedades.
1.2 Valor absoluto y propiedades.
1.3 Algoritmo de la división entera. Unicidad de cociente y resto.
1.4 Operado módulo.
1.5 Divisor común. MCD. Algoritmo de Euclides.
1
1.1 Operaciones y propiedades básicas 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 algún entero
q
, entonces
a
es un divisor de b , y b
es un
múltiplo
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 operación 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. División
( ) ( ) ( ) || 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. División
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.
Definición: Sea Z n ∈ , se define la aplicación 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 División entera.
Teorema de la División: Sean Z a ∈ y N b ∈ , entonces
Z r , q ∈ ∃
tales que
r bq a + ·

con b r < ≤ 0 , y, además,
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, además,
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 División
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 División
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 división:
“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 división
( ) ( ) 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, además,
é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 división 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 Módulo, resto ó residuo de la división entera.
Definición:
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 múltiplo 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 MÚLTIPLO q a
r
( )
( ) ( )
¹
¹
¹
'
¹
+ · + · +
+ · +
+ ·
→ ·
3 1 3 3 3 2
2 3 1
1 3
1
DE MÚLTIPLO 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 MÚLTIPLO q q a
q a
r
Por lo tanto, sea Z a ∈ , entonces
2 a a a + + ó 1 ,
es múltiplo de 3.
||
2. Sea Z n ∈ , probar que no existe ningún 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
contradicción, habiendo demostrado que no es cierto que exista algún entero
|| . | m n m 7 1
2
∋ + ·
1.5 Divisor común de dos enteros.
Definición:
Sean
Z b a ∈ ,
y N d ∈ , tales que
a d |
y
b d |
, entonces se dice que d es un
divisor común de
a
y b .
Corolarios:
1. La unidad siempre es es divisor común 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 común que es mayor que los demás, llamado máximo común divisor de
a
y b , y se escribe
( ) b a, MCD
.
1.6 Máximo común divisor de dos enteros.
Definición:
Sea N d ∈ un divisor común de
a
y b con 0 ≠ a ó 0 ≠ b , d es el máximo común
divisor de
a
y b , sii todo divisor común de
a
y b divide también 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
.
Definición (2):
Sea N d ∈ un divisor común de n
a a a D , , , 
2 1
·
con algún
0 ≠
i
a
donde n i ≤ ≤ 1 ;
entonces
( ) D d MCD ·
es el máximo común divisor de D, sii todo divisor común de
D divide también a d .
Teorema:
Sean
Z b a ∈ ,
, con 0 ≠ a y 0 ≠ b , y N d ∈ ; entonces
( ) b a d , MCD ·
es único, y,
además, es el entero positivo más pequeño 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 hipótesis, 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 definición 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 hipótesis: ( ) 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 hipótesis: ( )
2 1 2 1
q q q c a cq q cq a r bq a + · ↔ + · ↔ + · , y, por lo tanto,
a c |
.
Teorema:
El máximo común divisor de
a
y b , es el máximo común 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 hipótesis, se tiene que
r d b d | | ′ ∧ ′
, por lo que d′ es un divisor
común de b y r .
Sea
r d b d | | ′ ∧ ′
, y de acuerdo al lema 1.7-2, tenemos que
a d | ′
.
Dado que, por hipótesis,
b d | ′
, se tiene que
b d a d | | ′ ∧ ′
, por lo que d′ es un divisor
común de
a
y b .
De este modo, se demuestra que, si d′ es un divisor común de
a
y b , entonces lo
es también 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 sucesión 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 número de pasos requeridos por el algoritmo de Euclides para calcular
( ) b a, MCD
es, a lo sumo, cinco veces el número de dígitos 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 sólo se requieran
n

divisiones para hallar
( )
n n
b a , MCD
.
• EJEMPLO:
1. Calcular
( ) 90 36, MCD
.
Al encontrar que 9 es un divisor común 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 común 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 hipótesis,
( ) b a d , MCD ·
y, de la definición de máximo común
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 algún 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:
- División 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
Solución:
Por el algoritmo de la división, 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 < ≤ .
Solución:
Por el algoritmo de la división: 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., pág 73. Diseño de progs. UNED)
Diseñar un algoritmo recursivo que responda a la siguiente especificación:
( ) ( ) { }
( ) ( )
( ) ( ) { } b r r bq a R
entero entero divide
b a Q
< ≤ ∧ + · ≡
≥ ∧ ≥ ≡
0
r q, b a,
0 0
: dev : fun
Solución:
15
Existen numerosas soluciones, si bien todas ellas proceden de forma similar:
- Efectúan una operación sobre los valores iniciales que reduce el número de pasos
requeridos para resolver el problema.
- Establece la relación entre las soluciones del problema inicial y el problema reducido.
1ª aproximación. 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 análisis 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ª aproximación. Se plantea duplicar el divisor en cada llamada, en lugar de restar al
dividendo, para reducir el problema mucho más drásticamente.
Para ello, se establece la siguiente relación:
( )
( )
( )
( ) ( )
( ) ( ) [ ]
( ) ( ) ( ) 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
ANÁLISIS 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ª aproximación. En la tercera aproximación, 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
ANÁLISIS 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, página 77. Diseño de programas. UNED)
Diseñar un algoritmo recursivo que responda a la siguiente especificación:
( ) { }
( ) ( )
{ }
n
a p R
entero p entero potencia
b Q
· ≡
≥ ≡
: dev : fun n a,
0
17
1ª aproximación. Consiste en restar la unidad al exponente en cada llamada, reduciendo
así el tamaño 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ª aproximación. 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
- Definición de módulo o resto de la división 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 +
Solución:
Por la definición 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, Teoría de M.D., UNED)
Sean
Z m y x ∈ , ,
con 0 ≠ m , probar que:
( ) y x m y m x − ↔ · MOD MOD
es múltiplo de
m
.
Solución:
Por la definición de la operación módulo:
¹
'
¹
+ · ↔
+ · ↔
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 .
Solución:
19
Por hipótesis:
¹
¹
¹
'
¹


· ↔

< ≤
¹
'
¹
+ ·
+ ·
↔ ·
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 módulo o resto de la división entera.
(Ejercicio 1-10, Problemas de M.D., UNED)
(Ejercicio 1-5, Teoría de M.D., UNED)
Calcular: ( ) 4 100 3 2 1
3 3 3 3
MOD + + + + 
Solución:
Por las propiedades del módulo:
( ) 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 módulo:
( )
( )
( ) ( ) 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


-Máximo común divisor.
(Ejercicio 1-12, Problemas de M.D., UNED)
(Ejercicio 1-6, Teoría de M.D., UNED)
Sean
Z d b a ∈ , ,
con 0 > d , probar que:
Si d es divisor común de
b a y
, y d puede escribirse como combinación
lineal de
b a y
, entonces
( ). , MCD b a d ·
Solución:
Por definición,
( ) b a d , MCD ·
sii d es divisor común de
b a y
, y todos los divisores
comunes de
b a y
dividen también a d .
- De acuerdo a la hipótesis, d es divisor común de
b a y
.
- Para comprobar que todos los divisores comunes de
b a y
dividen también a d :
Sea d′ un divisor común 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 hipótesis,
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, Teoría 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
Solución:
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