Conteúdo
Enunciado. Prove por indução finita que
![]()
1ª etapa — a base
. Com
, o lado esquerdo é
. O direito:
![]()
Confere.
2ª etapa — hipótese de indução. Admitimos válida para
:
![]()
e queremos chegar em:
![]()
O passo. A nova parcela é
. Somando à hipótese:
![]()
Colocando
em evidência:
![]()
que é exatamente o esperado. Está provado. ![]()
Este foi o passo mais curto de toda a série — a fatoração cai pronta, sem precisar desenvolver nada. Vale notar por quê: a fórmula do lado direito já está escrita em forma fatorada, e a nova parcela compartilha dois dos três fatores.
Conferência numérica: com
, a soma é
, e a fórmula dá
.
Curiosidade que ajuda a memorizar:
é sempre o dobro de um número triangular, então esta soma é o dobro da soma dos triangulares — e por isso o resultado tem a mesma cara de “três consecutivos divididos por 3”.
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.