UNIVERSIDAD CENTRAL DE VENEZUELA

FACULTAD DE CIENCIAS
ESCUELA DE COMPUTACIÓN
MATEMÁTICAS DISCRETAS I (6106)
SEMESTRE II-2023

Práctica: Inducción Matemática

Nota Preliminar: Para la realización de esta práctica se requieren los siguientes conceptos: Principio
de inducción matemática. Método de inducción completa. Definiciones recursivas. Relación entre
recursión e inducción.

1. Demuestre por inducción

n n  2
X
i n+1
X
3 n(n + 1)
(a) 2 =2 −2 (i) k =
2
i=1 k=1
n m
X 2n(n + 1)(2n + 1) m(2a + d(m + 1))
(2k)2 =
X
(b) (j) (a + kd) =
3 2
k=1 k=1
n m
X n(n + 1)(n + 2) X (−1)m+1 m(m + 1)
(c) j(j + 1) = (k) (−1)k+1 k 2 =
3 2
j=1 k=1
n n
X n(n + 1)(2n + 7) X 1 n
(d) j(j + 2) = (l) =
6 k(k + 1) n+1
j=1 k=1
n p
X X 1 p
(e) 2j = n(n + 1) (m) =
j=1
(2i − 1)(2i + 1) 2p + 1
i=1
n n
X X k 1
(f) (2j − 1) = n2 (n) =1−
(k + 1)! (n + 1)!
j=1 k=1
n n
X n(3n + 1) X
(g) (3k − 1) = (o) k(k!) = (n + 1)! − 1
2 k=1
k=1
n n  
X
2 n(n + 1)(2n + 1) Y 1 n+2
(h) k = (p) 1− 2
= .
6 (k + 1) 2(n + 1)
k=1 k=1

2. Demuestre que n2 + n es un número par, para todo n ≥ 1.

3. Demuestre que la suma de los cubos de tres naturales consecutivos es divisible por nueve.

4. Demuestre por inducción que a es múltiplo de b, donde

(a) a = n2 + 2n y b = 3, para n ≥ 1.
(b) a = 7m − 1 y b = 6, para m ≥ 1.
(c) a = 7m − 1 y b = 8, para todo impar m ≥ 1.
(d) a = 11n − 6 y b = 5, para n ≥ 1.
(e) a = n(n4 − 1) y b = 5, para n ≥ 1.

1
 (f) a = 6.7n − 2.3n y b = 4, para n ≥ 0.
(g) a = 3m + 7m − 2 y b = 8, para m ≥ 1.
(h) a = 10n+1 + 10n + 1 y b = 3, para n ≥ 0.
(i) a = 34n + 9 y b = 10, para n ≥ 0.
(j) a = xn − y n y b = x − y, para n ≥ 0 y cualesquiera x, y ∈ R.

5. Demuestre por inducción las siguientes desigualdades

(a) 2n + 1 ≤ 2n , para n ≥ 3.
(b) 2n ≥ n2 , para n ≥ 4.
(c) 3m ≥ 2m + 3, para m ≥ 2.
(d) (1 + c)n ≥ 1 + nc, para cualquier c ≥ −1 y n ≥ 1.
1 n
 
(e) 1 + < n, para n ≥ 3.
n
n
X 1 13
(f) > , para n ≥ 2.
n+i 34
i=1
m
X (m + 1)3
(g) i2 < .
3
i=1
1 1.3.5. · · · .(2n − 1)
(h) ≤ , para n ≥ 1.
2n 2.4.6. · · · .2n
(i) 2k < k!, para k ≥ 4.
Yn
(j) i > 2n
i=1
n n
6. Sean di ∈ N con i = 1, 2, . . . k los dı́gitos que conforman al natural 22 + 1, es decir, 22 + 1 =
d1 d2 . . . dk−1 dk . Demuestre que para todo natural n ≥ 2, se tiene que dk = 7.

7. Demuestre que existen exactamente 2n subconjuntos de un conjunto cuyo cardinal es n.

8. Sea A ⊆ U y sea I ⊆ N un conjunto de ı́ndices tal que para cada i ∈ I se tiene un conjunto
Bi ⊆ U. Demuestre mediante inducción matemática que

ˆ Ley de De Morgan generalizada de la unión:

n
[ n
\
Bi = Bi .
i=1 i=1

ˆ Ley de De Morgan generalizada de la intersección:

n
\ n
[
Bi = Bi .
i=1 i=1

ˆ Ley distribuitiva generalizada de la intersección:

n n
!
[ [
A∩ Bi = (A ∩ Bi ).
i=1 i=1

2
 ˆ Ley distribuitiva generalizada de la unión:
n n
!
\ \
A∪ Bi = (A ∪ Bi ).
i=1 i=1

9. Sea I = {1, 2, . . . , n} = {i ∈ Z : 1 L
≤ i ≤ n} un conjunto de ı́ndices que define a los conjuntos
Ai ⊆ U. Considere a la operación definida como

M n
M
Ai = Ai = A1 − A2 − . . . − An .
i∈I i=1

Demuestre que
n n
" #
M \
Ai = A1 ∩ Ai para n ≥ 2.
i=1 i=2

10. Sea {cn } una sucesión generada por c1 = 0, c2 = 1 con la relación cn+1 = 3cn − 2cn−1 para
n ≥ 2. Demuestre que:
cn = 2n−1 − 1, n ≥ 3.

11. Sea {an } una sucesión generada por a0 = 0, a1 = 1 con la relación an+2 = (an+1 + an )/2
para n ≥ 0. Demuestre que:
  n 
2 1
an = 1− − , n ≥ 2.
3 2

Elaborado por Prof. M. Monsalve.