Está en la página 1de 14

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
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
< ≤ ↔ < + ≤ ↔
< − + ∧ − + ≤ ↔ < − + ≤ ↔ < ≤
||
(Ejercicio 1-6, Problemas de M.D., UNED)
Probar que:
1
Ningún entero de la forma: 11, 111, 1111, … es un cuadrado.
Solución:
Todo entero puede escribirse como:
2 0 con 2 < ≤ + · r r q n
Sea
2
n tal que:
( )
( ) 4 0 2 2 2 2
4 4 2
2 2 2
2 2
2
2
< ≤ ∈ ′ + ′ · + + ·
· + + · + · ·
r y Z r k con r k r qr q
qr r q r q n m
,
Si 0 · r , entonces 0 2 + ′ · k m
Si 1 · r , entonces 1 2 + ′ · k m
Por otra parte, todo entero terminado en 11, puede escribirse como la suma de 3, más
ese mismo número terminado en 08:
xx…11 = xx…08+3
Además, si un número termina en 8, entonces es múltiplo de 2, por lo que:
3 2 3 08 + ′ · + · k xx m ...
Por lo tanto, si un número
m
termina en 11, no puede ser un cuadrado, y viceversa.
||
(Ejercicio 1-5, Problemas de M.D., UNED)
Probar que:
Si Z a ∈ no es divisible entre 2 ni 3, entonces ( ) 1
2
− a es divisible entre 24.
Solución:
( ) 1 3 2 · , MCD
, luego, dado que todo entero puede escribirse como:
( )
( )
( ) ( ) 6 0 1 2 6 6 1
6 0 2 6 6 12 36
6 0 6 3 2
2 2
2 2 2
< ≤ − + + · − ↔
< ≤ + + · + + · ↔
< ≤ + · + ⋅ ·
r con r kr k n
r con r kr k r kr k n
r con r k r k n
Y, dado que
n
no es divisible entre 2 ni 3, r sólo puede valer 1 ó 5.
Si 1 · r , entonces ( ) ( ) k k n 2 24 8 6 1
2
· · −
Si 5 · r , entonces
( ) ( ) ( )
( ) ( )
¹
'
¹
+ · + ·
· + · − + + · −
1 4 24 24 4 24
24 16 6 1 25 10 6 6 1
2
k k
k k k n
||
(Ejercicio 1-4, Problemas de M.D., UNED)
2
Probar que:
( )( )
Z
n n n
N n ∈
+ +
→ ∈
6
1 2 1
Solución:
( )( )
( )( ) [ ] 1 2 1 6
6
1 2 1
+ + ↔ ∈
+ +
n n n Z
n n n
|
Sea N n ∈ , entonces,
n
puede escribirse como:
6 0 6 < ≤ ∈ + · r y N r q con r q n ,
Por tanto:
( )( ) ( )( ) ( ) [ ]
( )( )
( )( )
( )
( ) ( )
6 0 6
3 2 6 6 36 18 72 6
3 2 6 36 36 216 108 432
2 12
2 12 6 12 72 12 24 144 36 72 432
1 2 12 6 12 36
1 2 12 6 6 6 36
1 6 2 1 6 6 1 2 1
2 3 2 2 2 3
2 3 2 2 2 3
2
2 3 2 2 2 2 2 2 3
2 2
2 2
< ′ ≤ ∈ ′ ′ ′ + ′ ·
+ + + + + + + + ·
· + + + + + + + + ·
+ + +
+ + + + + + + + + + + ·
· + + + + + + ·
· + + + + + + + ·
· + + + + + · + + ·
r y N r q con r q
r r r qr qr r q q q q
r r r q qr qr r q q q
r r qr
r r qr q qr q qr qr r q q r q q
r q r r q qr q
r q r r qr q qr q
r q r q r q n n n m
,
Y, se comprueba que, en todos los casos posibles,
m
es divisible entre 6:
( )
( )
( )
( )
( ) m q q m r r
m q q m r r
m q q m r r
m q q m r r
m q q m r r
m r r
|
|
|
|
|
|
6 55 6 330 6 330 5 75 250 5
6 30 6 180 6 180 4 48 128 4
6 14 6 84 6 30 2 12 16 3
6 5 6 30 6 30 2 12 16 2
6 1 6 6 6 6 1
6 0 0
→ + ′ · + ′ · → · + + · ′ → ·
→ + ′ · + ′ · → · + + · ′ → ·
→ + ′ · + ′ · → · + + · ′ → ·
→ + ′ · + ′ · → · + + · ′ → ·
→ + ′ · + ′ · → · ′ → ·
→ · ′ → ·
Y, por tanto:
( )( ) ( )( )
Z
n n n
N
n n n

+ +
→ ∈
+ +
6
1 2 1
6
1 2 1
||
(Ejercicio 1-7, Problemas de M.D., UNED)
Probar que:
a) La suma de los cuadrados de dos enteros impares no puede ser un cuadrado.
b) El producto de cuatro enteros consecutivos es igual a un cuadrado menos la
unidad.
3
Solución:
a)
Sea Z n ∈ , éste puede expresarse como:
2 0 2 < ≤ ∈ + · r y Z r q con r q n ,
Para que éste sea impar, debe ser 1 · r ; de modo que:
( ) Z q con q q n n n ∈ ′ ′ · + · · + 2 1 2 2 2
2
2 2 2
Donde se tiene que la suma de los cuadrados de dos enteros impares siempre es un
entero par.
Que
N q ∈ ′
se deduce del hecho de que
Z q ∈
, y, por tanto, ( ) Z q ∈ +
2
1 2 .
||
b)
Sea Z n ∈ , y sean
3 2 1 + + + n n n n , , ,
cuatro enteros consecutivos:
( )( )( ) ( )( )
· + + + ·
· + + + + + · + + + · + + +
n n n n
n n n n n n n n n n n n n n
6 11 6
6 5 6 5 6 5 3 2 1
2 3 4
2 3 2 3 4 2 2
(pensar, revisar y termina el ap.b), no está nada claro…)
(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
4
Solución:
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.
5
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) [ ] ( )
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) [ ] ( )
( ) ( ) ( )
||
) (
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
6
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
- Consecuencias y aplicaciones de la definición del operador MOD.
(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:
7
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:
8
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 .
||
(Ejercicio 1-14, Problemas de M.D., UNED)
Sean
Z c b a ∈ , ,
con 0 ≠ c , probar que:
Si c b c a MOD MOD · , entonces
( ) ( ) c b c a , MCD , MCD ·
.
Solución:
9
c b c a r
r cq b
r cq a
c b c a MOD MOD MOD MOD · ·
¹
'
¹
+ ·
+ ·
↔ · con
2
1
Y, por Euclides:
( ) ( )
( ) ( )
( ) ( ) c b c a
r c c b
r c c a
, MCD , MCD
, MCD , MCD
, MCD , MCD
· ↔
¹
'
¹
·
·

||
- Uso de las 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.
10
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:
( )
( )
( )
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


- Consecuencias y aplicaciones de las definiciones de Divisor común y MCM .
(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:
11
( ) ( )
( ) 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 | ′
.
||
(Ejercicio 1-15, Problemas de M.D., UNED)
Probar que:
Sii
N n b a ∈ , ,
y
n n
b a | , entonces
b a |
.
Solución: (revisar, queda poco claro)
Sea
( ) b a MCD d , ·
con
N d b a ∈ , ,
, entonces:

a d |
y
b d |
con
1 ·
,
_

¸
¸
d
b
d
a
MCD ,


a
dq a ·
y
b
dq b ·
con
N q q
b a
∈ ,
y
( ) 1 ·
b a
q q MCD ,
Por una parte, tenemos que:
( ) ( )
b a b a
q q dq dq b a | | | ↔ ↔
de donde:
( ) [ ] [ ] 1 1 · ↔ ∧ ·
a a a b a
q q q q q MCD | ,
Por último: ( ) ( ) ( ) ( )
n
b
n
a
n
b
n
a
n n
q q dq dq b a | | | ↔ ↔ y, además: 1 1 · ↔ ·
n
a a
q q , por lo que, si
1 ·
n
a
q y ( ) ( )
n
b
n
a
q q | , entonces ( ) ( ) 1 1 · ·
n
b
n
b
n
a
q MCD q q MCD , , .
Siendo ( ) ( ) 1 · ·
b a
n
b
n
a
q q MCD q q MCD , , , entonces
n
b
n
a b a
q q q q | | ↔
.
||
-Cálculo del MCD mediante el algoritmo de Euclides.
(Ejercicio 1-13, Problemas de M.D., UNED)
(Ejercicio 1-7, Teoría de M.D., UNED)
Calcular
( ) b a d , MCD ·
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:
De acuerdo al algoritmo de Euclides:
12
( ) ( )
1 1 2 1 − − −
· · · ·
n n n
r r r r b b a ) , MCD( , MCD , MCD 
Así, para obtener el máximo común divisor, se realizan sustituciones regresivas,
comenzando con la expresión de
1 − n
r
, y continuando sucesivamente con
1 3 2
r r r
n n
, , , 
− −
, de la forma:
( )
( ) ( )
( )( )
0
1
1
1 4 1 2 3 4 5
1 4 1 2 3 1 2 3 4 3
1 2 3
1
≠ ∈ + ·
·
· − + ⋅ − ·
− + · ⋅ ⋅ − − ·
⋅ − ·
·
− − − − − − −
− − − − − − − − − −
− − −

y x y Z y x con yb xa
q r q q q r r
q r q q r q q r r r
q r r
r
b a MCD
n n n n n n n
n n n n n n n n n n
n n n
n
, ,
...
,

a) 1312 · a y 800 · b
( )
( )
( )
( )
( )
( )
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
+ ⋅ · ↔ ↔
+ ⋅ · ↔ ↔
+ ⋅ · ↔ ↔
+ ⋅ · ↔ ↔
+ ⋅ · ↔ ↔
+ ⋅ · ↔
Por lo tanto:
( ) 32 32 64 800 1312 · · ) , MCD( , MCD
Sustituyendo regresivamente a partir de 1 − n
r
:
( ) ( )
( )
( ) ( )
( )
( ) 18 11 con 800 1312 32 800 1312
800 18 1312 11
800 7 800 1312 11 800 7 512 11 512 800 7 512 4
288 7 512 4 288 3 288 512 4 288 3 244 4
3 224 288 244 3 64 244 800 1312 32
5
− · ∧ · + · · ·

⋅ − + ⋅ ·
· ⋅ − − ⋅ · ⋅ − ⋅ · − ⋅ − ⋅ ·
· ⋅ − ⋅ · ⋅ − − ⋅ · ⋅ − ⋅ ·
· ⋅ − − · ⋅ − · · ·
y x y x d
r
, MCD
, MCD
b) 322 · a y 406 · b
Dado que
( ) b b a · , max
, en esta ocasión, para aplicar el algoritmo de Euclides,
consideramos 406 · · ′ b a y 322 · · ′ a b , y comenzamos efectuando
b
a


:
13
( )
( )
( )
( )
4
3
2
1
0 5 14 70
14
70
14 1 70 84
70
84
70 3 84 322
84
322
84 1 322 406
322
406
r
r
r
r
+ ⋅ · ↔ ↔
+ ⋅ · ↔ ↔
+ ⋅ · ↔ ↔
+ ⋅ · ↔
Por lo tanto:
( ) d · · · 14 14 70 322 406 ) , MCD( , MCD
Para obtener
by ax d Z y x + · ∋ ∈ ,
( ) ( )
( )
( ) 5 4 con 322 406 322 406
322 5 406 4
322 322 406 4 322 84 4 84 3 322 84 70 84 14
− · ∧ · + · ·

⋅ − + ⋅ ·
· − − ⋅ · − ⋅ · ⋅ − − · − · ·
y x y x d
d
, MCD
14