Raciocínio intuitivo e equações de recorrência: um instrumento para o aprendizado de indução finita no ensino médio