INDUÇÃO FINITA

Princípio da Boa Ordem (PBO).

Todo conjunto não-vazio de inteiros positivos contém um elemento mínimo.
Primeira forma do princípio de Indução Finita.
Seja B um subconjunto dos inteiros positivos. Se B possui as duas seguintes propriedades.
i)
ii) sempre que então B contém todos os inteiros positivos.
Segunda forma do Princípio de Indução Finita
Seja B um subconjunto dos inteiros positivos . Se B possui as duas seguintes propriedades
i)
ii) sempre que então B contém todos os inteiros positivos.
Exemplo: Prove que, para todo inteiro positivo n, a soma dos n primeiros inteiros

positivos seja .

Solução
Para um inteiro positivo arbitrário n, seja

Queremos provar que é verdadeira.

i) Fazendo .

1=1 1º termo da sequência, então é verdadeira.

ii) Hipótese de indução: Suponhamos verdadeira.

iii) Tese: Provar que é verdadeira.

Pela fórmula de hipótese de indução

Obteremos a fórmula para a soma dos primeiros inteiros, somando k+1 a ambos os
membros da sequência.
 é verdadeira. Portanto está completa a
demonstração.

EXERCÍCIOS RESOLVIDOS
1.Prove que a fórmula dada é verdadeira para todo inteiro positivo n.
a) .
Solução
Queremos provar que é verdadeira.
(i) Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para → .
(ii) Hipótese de indução: Se , é verdadeira.

.
Tese: Provar que para , é verdadeira.

Pela fórmula de hipótese de indução,temos

.

É verdadeira e portanto está provada.

 b) .
Solução
Queremos provar que é verdadeira.
(i) Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para → .
(ii) Hipótese de indução: Se , é verdadeira.

.
Tese: Provar que para , é verdadeira.

Pela fórmula de hipótese de indução,temos

.

É verdadeira e portanto está provada.

 c) .

Solução
Queremos provar que é verdadeira.
(i) Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para →

(ii) Hipótese de indução: Se , é verdadeira.

.
Tese: Provar que para , é verdadeira.

..
Pela fórmula de hipótese de indução,temos

.
Resolvendo a equação do 2º grau do numerador do 2º membro da igualdade.

{ ⟹ →
 √ √
→

Utilizando a fórmula do produto do polinômio fatorado

[ ( )]

( )

( )

Substituindo este resultado na expressão

.
E, finalmente,temos:

.
É verdadeira e portanto está provada.
 d)
Solução
Queremos provar que é verdadeira.
(i) Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para → .
(ii) Hipótese de indução: Se , é verdadeira.

.
Tese: Provar que para , é verdadeira.

Pela fórmula de hipótese de indução,temos

.

É verdadeira e portanto está provada.

 e) .

Solução
Queremos provar que é verdadeira.
(i) Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para → .
(ii) Hipótese de indução: Se , é verdadeira.

.
Tese: Provar que para , é verdadeira.

.
Pela fórmula de hipótese de indução,temos
.

É verdadeira e portanto está provada.

 f) ,

Solução
Queremos provar que é verdadeira.
i. Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para →

ii.Hipótese de indução: Se , é verdadeira.

Tese: Provar que para , é verdadeira.

Pela fórmula de hipótese de indução,temos

Colocando (k+1) em evidência

Colocando (k+2) emevidência

É verdadeira e portanto está provado.

 g) .

Solução
Queremos provar que é verdadeira.
Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para →

ii.Hipótese de indução: Se , é verdadeira.

Tese: Provar que para , é verdadeira.

Pela fórmula de hipótese de indução,temos

Resolvendo a equação do 2º grau do numerador do 2º membro da igualdade.

{ ⟹ →

√ √
→
Utilizando a fórmula do produto do polinômio fatorado

[ ( )]

( )

( )

Substituindo este resultado na expressão

E, finalmente,temos:

É verdadeira e portanto está provada.

h) ,

Solução
Queremos provar que é verdadeira.
(i) Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →
Para →
(ii) Hipótese de indução: Se , é verdadeira.

Tese: Provar que para , é verdadeira.

Pela fórmula de hipótese de indução,temos

Vamos colocar (k+1) em evidência.

 Resolvendo a equação do 2º grau do numerador do 2º membro da igualdade.

{ ⟹ →

√ √
→

Utilizando a fórmula do produto do polinômio fatorado

[ ( )]

( )

( )

Substituindo este resultado na expressão

É verdadeira e portanto está provado.

 2.Mostre que .

Queremos provar que é verdadeira.

(i) Para é verdadeira.

é verdadeira.
Verificando se para os outros termos a fórmula é verdadeira.
Para →

Para → .
(ii) Hipótese de indução: Se , é verdadeira.

Tese: Provar que para , é verdadeira.

Pela fórmula de hipótese de indução,temos

É verdadeira e portanto está provado.