You are on page 1of 14

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
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
< < +
< + + < + <
||
(Ejercicio 1-6, Problemas de M.D., UNED)
Probar que:
1
Ningn entero de la forma: 11, 111, 1111, es un cuadrado.
Solucin:
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, ms
ese mismo nmero terminado en 08:
xx11 = xx08+3
Adems, si un nmero termina en 8, entonces es mltiplo de 2, por lo que:
3 2 3 08 + + k xx m ...
Por lo tanto, si un nmero
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.
Solucin:
( ) 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 slo 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
Solucin:
( )( )
( )( ) [ ] 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
Solucin:
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., 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
4
Solucin:
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.
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
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
6
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
- Consecuencias y aplicaciones de la definicin 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 +
Solucin:
Por la definicin 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, 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:
8
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 .
||
(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
.
Solucin:
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 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.
10
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:
( )
( )
( )
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 comn y MCM .


(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:
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 hiptesis,
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 |
.
Solucin: (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, adems: 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 | |
.
||
-Clculo del MCD mediante el algoritmo de Euclides.
(Ejercicio 1-13, Problemas de M.D., UNED)
(Ejercicio 1-7, Teora 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
Solucin:
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 mximo comn divisor, se realizan sustituciones regresivas,
comenzando con la expresin 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 ocasin, 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