Conteúdo
Enunciado. Prove por indução finita que
, para todo
.
Em palavras:
é sempre par.
1ª etapa — a base. Como o enunciado diz
, a base é
:
![]()
e 0 é par. Verdadeira.
2ª etapa — hipótese de indução. Admitimos que
e queremos provar que
.
O passo. Desenvolvemos a expressão nova, procurando fazer aparecer
:
![]()
Agora as duas parcelas:
![]()
Conclusão. Soma de dois pares é par, logo
. Está provado para todo
. ![]()
Uma leitura que dispensa a indução — boa para conferir, mas que não substitui a prova pedida: colocando
em evidência,
, que é o produto de dois naturais consecutivos. Entre dois consecutivos um é sempre par, então o produto é par. É o mesmo argumento que apareceu no exercício 104.
Conferência:
dá
;
dá
;
dá
. Todos pares.
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.