![cover image](https://wikiwandv2-19431.kxcdn.com/_next/image?url=https://upload.wikimedia.org/wikipedia/commons/thumb/9/92/Dominoeffect.png/640px-Dominoeffect.png&w=640&q=50)
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]
![Thumb image](http://upload.wikimedia.org/wikipedia/commons/thumb/9/92/Dominoeffect.png/640px-Dominoeffect.png)
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.