UFG - Instituto de Informática Fundamentos de Matemática para Computação CC/ES/SI

Professores: Dra. Elisângela Silva Dias e Dr. Julliano Rosa Nascimento1

8a Lista de Exercícios – 2021.1

Indução Matemática
1. (a) Encontre uma fórmula para:
1 1 1
+ + ··· +
1·2 2·3 n · (n + 1)
examinando os valores dessa expressão para pequenos valores de n.
Para encontrar a resposta, você deve testar para alguns valores de n, por exemplo:
1
• Para n = 1, temos que 1·2 = 21
1 1
• Para n = 2, temos que 1·2 + 2·3 = 21 + 16 = 64 = 23
1 1 1
• Para n = 3, temos que 1·2 + 2·3 + 3·4 = 21 + 16 + 121
= 9
12 = 3
4
• ...
(b) Demonstre a fórmula que você conjecturou no item (a).
(c) A partir de que inteiro positivo a desigualdade seguinte é válida?

2n ≤ n!

(d) Usando a indução, mostre a validade do item anterior.

2. Para que valores de n ≥ 0, 2n+1 ≥ n2 + 2? Se for válida para todo n, prove usando indução matemática. Se não
for, mostre um contraexemplo.
3. Use a indução matemática para demonstrar que as proposições abaixo são verdadeiras.

(a) 2 + 6 + 10 + · · · + (4 · n − 2) = 2 · n2 , para todo n ≥ 1.

n·(n+1)·(2·n+1)
(b) 12 + 22 + · · · + n2 = 6 , para todo n ≥ 1.
(c) 12 + 32 + 52 + · · · + (2 · n + 1)2 = (n+1)·(2·n+1)·(2·n+3)
3 , para todo n ≥ 0.
n·(n+1)·(n+2)
(d) 1 · 2 + 2 · 3 + · · · + n · (n + 1) = 3 , para todo n ≥ 1.
(e) 1 · 1! + 2 · 2! + · · · + n · n! = (n + 1)! − 1, para todo n ≥ 1.
(f) n2 − 5 · n + 3 > 0, para todo n ≥ 5.
(g) (1 + x)n > 1 + xn para todo n > 1, n ∈ Z+ e x ∈ N+ .
Pn
(h) (2 · i + 3) = n · (n + 4), para todo n ≥ 1.
i=1
n
1 1
P
(i) i·(i+1) =1− n+1 , para todo n ∈ N∗ .
i=1
n
1 n
P
(j) (2·i−1)·(2·i+1) = 2·n+1 para todo n ∈ N∗ .
i=1

4. Demonstre, por indução matemática, que 3 divide n3 + 2 · n sempre que n for um número inteiro positivo.
5. Demonstre, por indução matemática, que o produto de três números inteiros consecutivos quaisquer é divisível
por 6.
6. Demonstre, por indução matemática, 42·n+1 + 3n+2 é divisível por 13 para todo n ∈ N.
7. Demonstre, por indução matemática, 3n+1 + 7n é divisível por 4 para todo n ∈ N.

1 e-mail: {elisangelasd, jullianonascimento}@ufg.br