Indução matemática
forma de demonstração matemática / De Wikipedia, a enciclopédia encyclopedia
Indução matemática é um método de prova matemática usado para demonstrar a verdade de um número infinito de proposições.[1]
A forma mais simples e mais comum de indução matemática prova que um enunciado vale para todos os números naturais n e consiste de dois passos:
- A base: mostrar que o enunciado vale para n = 0, ou n = 1, dependendo da definição utilizada de ;
- O passo indutivo: mostrar que, se o enunciado vale para n = k, então o mesmo enunciado vale para n = k + 1.
Esse método funciona provando que o enunciado é verdadeiro para um valor inicial, e então provando que o processo usado para ir de um valor para o próximo é valido. Se ambas as proposições são provadas, então qualquer valor pode ser obtido através da repetição desse processo. Para entender por que os dois passos são suficientes, é útil pensar no efeito dominó: se você tem uma longa fila de dominós em pé e você puder assegurar que:
- O primeiro dominó cairá.
- Sempre que um dominó cair, seu próximo vizinho também cairá.
Assim, você pode concluir que todos os dominós cairão.