Sei sulla pagina 1di 3

UNIVERSIDAD CENTRAL DE VENEZUELA

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

Práctica: Inducción Matemática

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) = ñ) 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 = o) 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.
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.

1
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

Ley distribuitiva generalizada de la unión:


n n
!
\ \
A∪ Bi = (A ∪ Bi ).
i=1 i=1

2
9. Sea I = {1, 2, . . . , n} = {i ∈ Z : 1L
≤ 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

12. ¿Cuál es el error en la siguiente demostración:


Teorema: Todos los caballos tienen el mismo color.
Demostración: Sea Pn la proposición “Todos los caballos de un conjunto de n caballos son
del mismo color”.

a) P1 es claramente verdadera.
b) Supongamos que Pk es verdadera. Veamos que Pk+1 también es verdadera. Sean c1 , c2 , · · · ck+1
los k + 1 caballos en un conjunto de k + 1 caballos. Consideremos el conjunto de k ca-
ballos {c1 , c2 , · · · , ck−1 , ck }. Por hipótesis inductiva todos estos caballos son del mismo
color. En el conjunto anterior reemplacemos ck por ck+1 . Luego el conjunto resultante
{c1 , c2 , · · · , ck−1 , ck+1 } de k caballos, por hipótesis inductiva, todos son del mismo color.
Ahora bien, como c1 y ck al igual que ck+1 y c1 son de igual color, todos los k + 1 caballos
son del mismo color. Luego Pk+1 es verdadera y por el principio de inducción se sigue
que todos los caballos son del mismo color.

Elaborado por Prof. M. Monsalve.

Potrebbero piacerti anche