Fórum de Matemática
DÚVIDAS? Nós respondemos!

Um Fórum em Português dedicado à Matemática
Data/Hora: 19 jun 2025, 12:59

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 
Autor Mensagem
MensagemEnviado: 17 fev 2016, 23:19 
Offline

Registado: 01 Oct 2013, 17:38
Mensagens: 66
Localização: Rio de Janeiro
Agradeceu: 13 vezes
Foi agradecido: 25 vezes
Olá, boa noite.

Andei meio afastado da matemática (tive que trancar a faculdade), estou voltando agora e estou dando uma revisada por conta própria.

Travei em uma questão, talvez trivial para alguns, e estou precisando de ajuda. Segue abaixo.

-
Demonstre usando o princípio da indução finita:
\(2^0 + 2^1 + 2^2 + ... + 2^n^-^1 = 2^n - 1\)
\(\forall n E \mathbb{N}^*\)


Grato por qualquer ajuda.

_________________
Se algum erro houver em minhas resoluções, notificar!
Não se esqueça de fechar a perguntar e agradecer.
-
Ciências Econômicas - EPGE/FGV


Topo
 Perfil  
 
MensagemEnviado: 18 fev 2016, 00:50 
Offline

Registado: 10 nov 2012, 00:19
Mensagens: 1432
Localização: Mogi das Cruzes - SP - Brasil
Agradeceu: 47 vezes
Foi agradecido: 452 vezes
Boa noite,

Para n=1, a expressão é claramente verdadeira.

Vamos assumir que ela seja verdadeira para n=k: \(2^0 + 2^1 + ... + 2^{k-1} = 2^k - 1\), nossa hipótese de indução.

Agora vamos ver se vale para n=k+1: Neste caso a expressão seria: \(2^0 + 2^1 + ... + 2^{k-1} + 2^k = 2^k - 1 + 2^k = 2.2^k -1 = ...\)

Dá para completar e formalizar com isso?

_________________
Fraol
Você também pode contribuir, se souber alguma questão responda ou participe da discussão. Divulgue nosso forum.


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 12 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para: