Conteúdo
Enunciado. Prove por indução finita que
, para todo
.
O produto de três naturais consecutivos é sempre múltiplo de 6. Faz sentido intuitivamente — entre três consecutivos há pelo menos um par e exatamente um múltiplo de 3 — mas vamos provar pela indução, como o exercício pede.
1ª etapa — a base. O enunciado diz
, então começamos em
:
![]()
e 0 é múltiplo de 6 (pois
). Verdadeira.
2ª etapa — hipótese de indução. Admitimos que
e queremos provar que
.
O passo. A ideia é a mesma do exercício anterior: fazer aparecer a expressão da hipótese. Repare que os dois produtos compartilham o fator
. Colocando em evidência:
![]()
![]()
A primeira parcela já está resolvida. Falta mostrar que a segunda também é múltipla de 6.
A segunda parcela. Ela já tem o fator 3, então basta garantir mais um fator 2 — ou seja, que
seja par. E é:
e
são dois inteiros consecutivos, e entre dois consecutivos um deles é sempre par. Logo o produto é par, e
é múltiplo de
.
Conclusão. A expressão é soma de duas parcelas múltiplas de 6, logo também é múltipla de 6:
![]()
Está provado para todo
. ![]()
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.