Eu estava cá tentando demonstrar o Fibonacci recursivo por indução... Mas para se fazer uma indução, precisamos de uma base e de uma hipótese (para fazer o passo).
A base seria f(0) = 0, correto? A hipótese: f = f(n-1) + f(n-2)
Como eu construiria o passo a partir disso (na Álgebra, vimos que é equivalente a provar para o 'sucessor')?