Conteúdo
Enunciado. Prove por indução finita que
, para todo
.
1ª etapa — a base. Com
:
![]()
e 3 divide 0. Verdadeira.
2ª etapa — hipótese de indução. Admitimos que
e queremos provar que
.
O passo. Desenvolvemos o cubo com calma:
![]()
Somando a segunda parcela:
![]()
Agora reorganizamos para fazer aparecer
, que é o da hipótese. Separamos
em
:
![]()
Conclusão. A primeira parcela é múltipla de 3 pela hipótese; a segunda tem 3 em evidência, logo também é. Soma de múltiplos de 3 é múltiplo de 3:
![]()
Está provado para todo
. ![]()
Repare no padrão dos três últimos exercícios: em toda prova de divisibilidade por indução, o passo consiste em quebrar a expressão nova em a de sempre mais um resto, e mostrar que o resto também é múltiplo. Muda a álgebra, não a estratégia.
Conferência:
dá
;
dá
;
dá
.
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.