Prove que 1 + 2 + 2² + .... = 2^n - 1

[danjr5]

Prove que para todo n positivo vale:

\(1 + 2 + 2^2 + ... + 2^{n - 1} = 2^n - 1\)

Editado pela última vez por danjr5 em 17 fev 2013, 16:22, num total de 1 vez.
Razão: Arrumar Título e LaTeX

[lucasmb254]

Trata-se de uma simples soma de P.G. com \(a_{1}=1\) razão igual a 2 e números de termos igual a n

Basta a aplicar a fórmula
\(Soma=a_{1}.\frac{q^n-1}{q-1}\)

[danjr5]

Outra forma...
Por indução:

Quando \(\fbox{n = 1}\):

\(2^{1 - 1} = 2^1 - 1 \\\\ 2^0 = 2 - 1 \\\\ \fbox{1 = 1}\)


Hipótese \(\fbox{n = k}\):

\(\\ 1 + 2^1 + 2^2 + ... + 2^{(n - 1)} = 2^n - 1 \\\\ \fbox{1 + 2^1 + ... + 2^{(k - 1)} = 2^k - 1}\)


Tese \(\fbox{n = k + 1}\):

\(\\ 1 + 2^1 + 2^2 + ... + 2^{(n - 1)} = 2^n - 1 \\\\ \underbrace{1 + 2^1 + ... + 2^{(k - 1)}}_{2^k - 1} + 2^{(k + 1 - 1)} = 2^{(k + 1)} - 1 \\\\ 2^k - 1 + 2^k = 2^k \cdot 2^1 - 1 \\\\ 2^k - 1 + 2^k = (1 + 1) \cdot 2^k - 1 \\\\ \fbox{2^k - 1 + 2^k = 2^k - 1 + 2^k}\)

Cqd.

[xdanilex]

poderia enviar novamente quando n=1? não consigo visualizar a imagem...

[danjr5]

Nem havia reparado, me desculpe!

Quando n = 1

2^(n - 1) = 2^n - 1

2^(1 - 1) = 2¹ - 1

2^0 = 2 - 1

1 = 1

Portanto, ok!

[xdanilex]

Você chegou em:

\(\fbox{2^k - 1 + 2^k = 2^k - 1 + 2^k}\)

Porém no lado esquerdo, não deveria ficar:

\(\fbox{2^{k-1} + 2^k = 2^k - 1 + 2^k}\) ?

E então não haveria igualdade...

[danjr5]

Note que \(\fbox{2^k - 1 + 2^k = 2^k - 1 + 2^k}\) é diferente de \(\fbox{2^{(k - 1)} + 2^k = 2^k - 1 + 2^k}\)

Poderíamos ter feito...

\(1 + 2^1 + 2^2 + ... + 2^{(n - 1)} = 2^n - 1\)

\(\underbrace{1 + 2^1 + ... + 2^{(k - 1)}}_{2^k - 1} + 2^{(k + 1 - 1)} = 2^{(k + 1)} - 1\)

\(2^k - 1 + 2^k = 2^k \cdot 2^1 - 1\)

2^k + 2^k - 1 = 2 . 2^k - 1

2^k(1 + 1) - 1 = 2 . 2^k - 1

2 . 2^k - 1 = 2 . 2^k - 1

Não sei o motivo, mas o LaTeX não está aparecendo!