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

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

1. Use indução matemática para provar os problemas abaixo.

(a) Para todo inteiro n ≥ 8, mostre que n centavos podem ser obtidos usando
moedas de 3 centavos e 5 centavos.
Pn i rn+1 −1
(b) Prove que i=0 r = r−1 , para todo inteiro n ≥ 0 e todo número real r,
exceto 1.
(c) (1 − 21 )(1 − 31 ) · · · (1 − n1 ) = n1 , para todo inteiro positivo n > 1.
1 1 1 1 1
(d) 1 + 2 + 4 + 8 + ··· + 2n =2− 2n , para todo inteiro não-negativo n.
(e) Um L-treminó é uma figura plana como a do desenho abaixo (ou uma rotação
dela). Considere um "‘tabuleiro de xadrez"’ de tamanho 2n × 2n do qual se
remove uma casa qualquer. Mostre que o restante do tabuleiro pode ser coberto
por L-treminós sem superposição.

(f) 7n − 1 é divisível por 6, para todo inteiro não-negativo n.

(g) 2n < (n + 1)! para todo inteiro n ≥ 2.
(h) 1 + nx ≤ (1 + x)n , para todo número real x > −1 e todo inteiro n ≥ 2.
(i) Um polígono é dito convexo quando todos os seus ângulos internos são menores
que 180 graus. Prove que para todo inteiro n ≥ 3, a soma dos ângulos internos
de um polígono convexo de n lados é 180(n − 2) graus.

2. Use indução forte para provar os problemas abaixo:

(a) Suponha que a1 , a2 , a3 , · · · é uma sequência definida do seguinte modo: a1 =

1, a2 = 3, ak = ak−2 + 2ak−1 para todo inteiro k ≥ 3. Prove que an é ímpar para
todo inteiro n ≥ 1.
(b) Suponha que b1 , b2 , b3 , · · · é uma sequência definida do seguinte modo: b1 =
4, b2 = 12, bk = bk−2 + bk−1 para todo inteiro k ≥ 3. Prove que bn é divisível
por 4 para todo inteiro n ≥ 1.
Fundamentos Matemáticos da Computação I Lista de Exercícios

(c) Suponha que c0 , c1 , c2 , · · · é uma sequência definida como segue: c0 = 2, c1 =

2, c2 = 6, ck = 3ck−3 para todo inteiro k ≥ 3. Prove que cn é par para todo
inteiro n ≥ 0.
(d) Defina a sequência a1 , a2 , a3 , · · · da seguinte maneira: 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.