Conteúdo
Essa é uma função definida por recorrência: cada valor é construído a partir do anterior. A estratégia é calcular os primeiros termos, farejar o padrão e depois provar que ele vale sempre.
a) Os primeiros valores. Partindo de
e aplicando
:
![]()
![]()
![]()
![]()
A sequência é
— não é progressão aritmética nem geométrica. O truque é somar 3 a cada termo:
![]()
Agora sim: cada um é o dobro do anterior, começando em 3. Ou seja,
, o que dá a fórmula geral:
![]()
Testando:
✓,
✓,
✓.
b) A prova por indução finita. Achar o padrão não é prova — ele poderia falhar mais adiante. A indução fecha isso em dois passos.
Base. Para
: a fórmula dá
, que é exatamente o
dado. A base vale.
Passo indutivo. Suponha que a fórmula vale para um certo
, ou seja, que
![]()
Essa suposição é a hipótese de indução. Queremos mostrar que ela obriga a fórmula a valer para
. Usando a recorrência:
![]()
![]()
E isso é exatamente a fórmula com
no lugar de
.
Como a fórmula vale para
e cada caso arrasta o seguinte, ela vale para todo natural
. Fica provado:
![]()
Ainda não é membro? Registrar agora
Já se cadastrou? Fala login
Me conte qual é o erro e eu corrijo. Escreva para contato@estudoemserie.com.br, citando o exercício — ou use um dos atalhos abaixo, que já vão preenchidos.