Template para provas por Indução Matemática1

1. Expresse a afirmação que deve ser provada na forma “para todo n ≥ b, P(n)” para um
valor inteiro fixo b.
2. Escreva as palavras “Passo base”. Então mostre que P(b) é verdadeiro, tomando
cuidado para que o valor correto de b seja usado. Isso completa a primeira parte da
prova.
3. Escreva as palavras “Passo Indutivo”.
4. Declare e identifique claramente a hipótese indutiva na forma “assuma que P(k) é
verdadeiro para um inteiro arbitrário fixo k ≥ b”.
5. Declare o que precisa ser provado sob a suposição de que a hipótese indutiva é
verdadeira. Isto é, escreva o que P(k+1) diz.
6. Prove a afirmação P(k+1) usando a suposição P(k). Tenha certeza de que sua prova é
válida para todos os inteiros k com k ≥ b, tome cuidado para que a prova funcione para
todos os valores menores do que k, incluindo k = b.
7. Claramente, identifique a conclusão do passo indutivo dizendo, por exemplo, “isto
completa o passo indutivo”.
8. Após completar o passo base e o passo indutivo, estabeleça a conclusão pela indução
matemática, P(n) é verdadeiro para todos os inteiros n com n ≥ b.

1
Copiado do livro Discrete Mathematics and Its Applications 7th Edition, Rosen. Página 329.