Conteúdo
Enunciado. Prove por indução finita que
, para todo
.
A barra
significa “divide”: queremos mostrar que
é sempre múltiplo de 8. É o primeiro exercício da lista em que a indução prova uma divisibilidade, e não uma igualdade — muda a técnica do passo.
1ª etapa — a base
. Com
:
![]()
e 8 divide 8. Verdadeira.
2ª etapa — hipótese de indução. Admitimos que
e queremos provar que
.
O truque do passo. Em divisibilidade, a jogada é fazer aparecer a expressão da hipótese dentro da nova. Começamos desenvolvendo o expoente:
![]()
Agora o passo esperto: escrevemos
, para separar um pedaço obviamente múltiplo de 8:
![]()
Conclusão. A expressão virou soma de duas parcelas, e cada uma é múltipla de 8 — a primeira por construção, a segunda pela hipótese de indução. Como a soma de múltiplos de 8 também é múltiplo de 8:
![]()
Está provado para todo
. ![]()
Guarde a técnica, porque ela se repete: quando o passo envolve uma potência, quebre a base em “múltiplo do divisor mais 1”. Aqui foi
; num exercício com
e divisor 4, seria
.
Conferência:
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.