Para a disciplina de Matemática Finita por Ronan Soares
Demonstração no contexto dos números naturais
Toda árvore binária de altura $n$ tem $2^n$ folhas
Altura é o número de níveis menos 1
Verdade para árvore de altura 0?
$2^0 = 1$ → Sim!
Árvores de $k$ altura tem $2^k$ folhas
Pegue uma árvore de altura $k$
Pela hipótese ela tem $2^k$ folhas
Adicione um nível abaixo dessas folhas
Cada folha tem que ter dois filhos
Nova Altura $k + 1$
Nova quantidade de folhas é $2 \cdot 2^k$
$2 \cdot 2^k = 2^{k + 1}$
Ele permite usar $P(r)$ como hipótese
É importante quando precisamos mais do que $P(k)$ para mostrar $P(k + 1)$
Todo número $n \geq 2$ ou é primo ou um produto de números primos
$P(2)$
$2$ é primo
$P(k)$
Assumindo $P(k)$
Mostrar que $k + 1 = ab$ ou $k + 1$ é primo
Se $k + 1$ é primo → OK!
Se $k + 1 = ab$ → nada garante $P(a)$ ou $P(b)$
$P(r)$ para todo $2 \leq r \leq k$
Assumindo $P(r)$ para todo $2 \leq r \leq k$
Mostrar que $k + 1 = ab$ ou $k + 1$ é primo
Assumindo $P(r)$ para todo $2 \leq r \leq k$
Se $k + 1 = ab$
$P(a)$ e $P(b)$
Assumindo $P(r)$ para todo $2 \leq r \leq k$
$a$ e $b$ são primos ou um produto de números primos
$k + 1$ nesse caso é um produto de números primos