Universidade Federal do Rio Grande do Norte

Instituto Metrópole Digital

Bacharelado em Tecnologia da Informação

Disciplina: IMD0028 — Fundamentos Matemáticos da Computação I

Professora: Lourena Rocha
Período: 2022.2

— Lista de Exercícios —
— Indução Matemática —

1. Estabeleça as fórmulas abaixo utilizando indução matemática:

(a) 1 + 3 + 5 + · · · + (2n − 1) = n2 , para todo n ≥ 1.

n(n+1)(n+2)
(b) 1 · 2 + 2 · 3 + 3 · 4 + · · · + n(n + 1) = 3 , para todo n ≥ 1.
n(2n−1)(2n+1)
(c) 12 + 32 + 52 + · · · + (2n − 1)2 = 3 , para todo n ≥ 1.

2. Se r 6= 1, mostre que para qualquer inteiro positivo n,

a(rn+1 − 1)
a + ar + ar2 + · · · + arn = .
r−1

3. Use o Segundo Princípio de Indução para mostrar que para todo n ≥ 1,

an − 1 = (a − 1)(an−1 + an−2 + an−3 + · · · + a + 1).

(Dica: an+1 − 1 = (a + 1)(an − 1) − a(an−1 − 1).)

4. Prove que n! > n3 para todo inteiro n ≥ 6.

5. Estabeleça a desigualdade de Bernoulli: Se 1 + a > 0, então

(1 + a)n ≥ 1 + na

para todo n ≥ 1.

6. Suponha que os números an são definidos indutivamente por a1 = 1, a2 = 2, a3 = 3,

e an = an−1 + an−2 + an−3 para todo n ≥ 4. Use o Segundo Princípio de Indução
Finita para mostrar que an < 2n para todo inteiro positivo n.

7. Se os números an são definidos por a1 = 11, a2 = 21 e an = 3an−1 − 2an−2 para

n ≥ 3, prove que an = 5 · 2n + 1, n > 1.

8. Defina a sequência a1 , a2 , a3 , · · · do seguinte modo: a1 = 1, a2 = 3 e ak = ak−1 +ak−2

para todo inteiro k ≥ 3. Esta sequência é conhecida como a Sequência de Lucas. Use
indução forte para provar que an ≤ ( 47 )n , para todo inteiro n ≥ 1.
FMCI Lista de Exercícios 02

9. Exercícios selecionados do livro Discrete Mathematics with aplications - Susanna

Epp - Fourth Edition:

(a) Seção 5.1: [warm up 1, 2, 3, 4, 10, 11, 12, 13, 14, 19, 20, 23, 27, 29, 31, 33, 35,
37, 40,43, 46, 47, 49, 51]
53, 54, 55, 56, 59, 60, 61, 80
(b) Seção 5.2: 1, 2, 3, 4, 5, 6, 8, 10, 13, 14, 15, 20, 22, 24, 25, 28, 30, 31, 33, 34, 35
(c) Seção 5.3: 1, 2, 3, 4, 5, 6, 7, 8, 11, 13, 14, 16, 19, 22, 24, 30, 31
(d) Seção 5.4: 1, 2, 3, 4, 5, 6, 7, 8, 19