GRUPO DE EJERCICIOS 2.

4
En los ejercicios 1 al 12 demuestre que la proposición es verdadera por medio de inducción
matemática

1. 2  4  6  2n  n  n  1

2  1(1  1)
nk
2  4  6  ...  2k  k (k  1)
n  k 1
2  4  6  ...  2k  2( k  1)  k ( k  1)  2( k  1)
 (2  k )(k  1)
 (k  1)((k  1)  1)

n(2n  1)(2n  1)
2. 12  32  52  ...  (2n  1) 2 
3
1(2 *1  1)(2 *1  1)
12 
3
nk
k (2k  1)(2k  1)
12  32  52  ...  (2k  1) 2 
3
(k  1)(2(k  1)  1)(2(k  1)  1)
n  k  1 
3
k (2k  1)(2k  1)
12  32  52  ...  (2k  1) 2  (2k ) 2   (2k ) 2
3
(2k  k )(2k  1)
2
  4k 2
3
4k 3  k  12k 2

3
(k  1)(2(k  1)  1)(2(k  1)  1)

3
3. 1  2  2  ...  2  2n1  1
1 2 n

1  211  1
nk
1  21  22  ...  2k  2k 1  1
5n(n  1)
4. 5  10  15  ...  5n 
2
 n(n  1)(2n  1)
5. 12  22  32  ...  n 2 
6
n (n  1)2
2
6. 1  2  3  ...  n 
3 3 3 3

4
7. 1  5  9  ...  (4n  3)  n(2n  1)

solucion
nk
1  5  9  ...  (4k  3)  k (2k  1)
n  k 1
1  5  9  ...  (4k  3)  (4k  1)  k (2k  1)  (4k  1)

 k (2k  1)  (4k  1)
 2k 2  3k  1
 (k  1)(2k  1)

( n)  k  1
(2n  1)  2(k  1)  1
(2n  1)  2k  1

an 1
8. 1  a  a 2  ...  a n 1 
a 1
 solucion
nk
ak 1
1  a  a 2  ...  a k 1 
a 1
n  k 1
ak 1 k
1  a  a 2  ...  a k 1  a k  a
a 1

ak 1 k
 a
a 1
a k  1  a k (a  1)

a 1
a k  1  a k 1  a k

a 1
a k 1  1

a 1

a n  1  a k 1  1

a(1  r n )
9. a  ar  ar 2  ...  ar n1 )  para r  1
1 r
solucion
nk
a (1  r k )
1  ar  ar 2  ...  ar k 1 
1 r
n  k 1
a(1  r k )
1  ar  ar 2  ...  ar k 1  ar k   ar k
1 r

a (1  r k )
  ar k
1 r
a (1  r k )  a k (1  r )

1 r
a  ar k  a k  ar k

1 r
2ar k  a k  a

1 r
a(2r k  a k  a
1 r
a 1
a(2r k  2)
1 r

10. 1  2n  3n , para n  2
 solucion
nk
1  2k  3k
n  k 1
1  2k  3k 1  3k  3k 1

 3k  3k 1
 3k  3k .3
 12k

11. n  2 n , para n  1

solucion
nk
k  2k
n  k 1
k  k  1  2k  (k  1)

 2k  k  1

(2n  1) 2
12. 1  2  3  ...  n 
8
solucion
nk
(2k  1) 2
1  2  3  ...  k 
8
n  k 1
(2k  1) 2
1  2  3  ...  k  ( k  1)   ( k  1)
8

(2k  1) 2
  (k  1)
8
(2k  1) 2  (2k  8)

8
(4k 2  4k  1)  (2k  8)

8
4k 2  4k  1

8
(2k  3)(2k  3)

8
13. Demuestre por inducción matemática, que, si un conjunto A tiene n elementos,
entonces P  A tiene 2 n elementos.
14. Demuestre por inducción matemática, que 3 |(n3  n) para todo entero positivo n .
15. Demuestre por inducción matemática, que, si A1 , A2 ,..., An son n conjuntos
cualesquiera, entonces

 n  n

 Ai   Ai
 i 1  i 1

A A
P( K  1)
 K 1 
 Ai   A1  A2  ...  AK  AK 1
 i 1 
 ( A1  A2  ...  AK )  AK 1
 ( A1  A2  ...  AK )  AK 1
 K 1 
 Ai   AK 1
 i 1 

16. Demuestre por inducción matemática, que si A1 , A2 ,..., An y B son n  1 conjuntos

cualesquiera, entonces

 n  n

 Ai  B ( Ai  B )
 i 1  i 1

A A
P( K  1)
 K 1 
 Ai  B  ( A1  A2  A3  ...  Ak  Ak 1 )  B
 i 1 
 (( A1  B )  ( A2  B )  ( A3  B )  ...  ( Ak  B)  ( Ak 1  B ))
k 1
 ( Ai  B)
i 1

17. Demuestre por inducción matemática, que si A1 , A2 ,..., An y B son n conjuntos

cualesquiera, entonces
  n  n

 Ai  B ( Ai  B )
 i 1  i 1

A A
P( K  1)
 k 1 
 Ai  B  ( A1  A2  A3  ...  Ak  Ak 1 )  B
 i 1 
 (( A1  B )  ( A2  B )  ( A3  B )  ..  ( Ak  B)  ( Ak 1  B ))
k 1
 ( Ai  B)
i 1

18. Sea P  n  la proposición 2 |  2n 1 .

(a) Demuestre que P  k   P  k  1 es una tautología.
(b) Demuestre que no existe entero n para la cual P  n  sea verdadera.
(c) ¿Contradicen los resultados de las partes (a) y (b) el principio de la inducción
matemática? Explique.
En los ejercicios 19 al 23 , demuestre la proposición dada acerca de las matrices.

19. ( A1  A 2  ...  A n )T  A1T  AT2  ...  ATn

20. ( A1A 2 ...A n )T  ATn ATn1...AT2 A1T
21. A 2 A n  A 2 n
22. (A2 )n  A2 n
23. Sean A y B matrices cuadradas. Si AB  BA , entonces  AB   A n B n , para
n

n  1.
24. Utilice inducción para demostrar que si p es un número primo y p | a n para n  1,
entonces p | a.
25. Demuestre que si MCD  a, b   1 , entonces MCD  a n , b n   1 para todos los
valores de n  1 (Sugerencia: Utilice el ejercicio 24.)
26.
(a) Encuentre el entero positivo más pequeño n0 tal que 2n0  n02
(b) Demuestre que 2 n >n 2 para todos los valores de n  n0 .

En los ejercicios 27 al 30 , demuestre que el algoritmo dado usado correctamente produce

el resultado establecido utilizando inducción matemática para demostrar que la relación
indicada es una invariante de rizo y verificando los valores cuando deja de producirse el
lanzamiento. Todas las variables representan enteros no negativos.

27. SUBROUTINE COMP  X , Y ; Z 

 1. Z  X
2. W  Y
3. WHILE W  0 
a. Z  Z  Y
b. W  W 1
4. RETURN
FIN DE LA SUBRUTINA COMP
CALCULA: Z  X  Y 2
INVARIANTE DE CICLO: Y W   Z  X  Y 2
28. SUBROUTINE DIFF  X , Y ; Z 
1. Z  X
2. W  Y
3. WHILE W  0 
a. Z  Z 1
b. W  W 1
4. RETURN
FIN DE LA SUBRUTINA DIFF
CALCULA: Z  X  Y
INVARIANTE DE CICLO: X  Z  W  Y
29. SUBROUTINE EXP2  N , M ; R 
1. R  1
2. K  2M
3. WHILE  K  0
a. R  R  N
b. K  K 1
4. RETURN
FIN DE LA SUBRUTINE EXP 2
CALCULA: R  N 2M
INVARIANTE DE CICLO: R  N k  N 2 M
30. SUBROUTINE POWER  X , Y ; Z 
1. Z  0
2. W  Y
3. WHILE W  0 
a. Z  Z  X
b. W  W 1
4. W  Y 1
5. U  Z
6. WHILE W  0 
 a. Z  Z  U
b. W  W 1
7. RETURN
FIN DE LA SUBRUTINA POWER
CALCULA: Z  X  Y 2
INVARIANTE DE CICLO (primer ciclo): Z   X W   X  Y
INVARIANTE DE CICLO (segundo ciclo): Z   X  Y W   X  Y 2

(Sugerencia: Utilice el valor de Z al final del primer ciclo y utilice el que se tiene en el
ciclo 2.)