Conteúdo
Enunciado. Prove por indução finita que
![]()
É a soma das potências de 2 começando do expoente zero. Antes de provar, vale ver o padrão:
;
;
. Cada soma fica sempre uma unidade abaixo da próxima potência — é isso que a fórmula afirma.
1ª etapa — a base
. Com
, o lado esquerdo tem só o termo
. O lado direito:
![]()
Confere.
2ª etapa — hipótese de indução. Admitimos válida para
:
![]()
e queremos provar para
:
![]()
Repare que o último termo passa de
para
— é esse o termo novo que entra na soma.
O passo. Partindo do lado esquerdo e usando a hipótese:
![]()
E
é justamente
:
![]()
que é o que queríamos. Logo a fórmula vale para todo
. ![]()
Onde isso aparece na prática: é a razão de um número binario de
algarismos 1 valer
— por exemplo,
. Também é a fórmula da soma de uma progressão geométrica de razão 2.
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.