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

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

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 4 mensagens ] 
Autor Mensagem
MensagemEnviado: 16 mai 2014, 15:52 
Offline

Registado: 14 mai 2014, 13:41
Mensagens: 88
Localização: São Leopoldo
Agradeceu: 40 vezes
Foi agradecido: 0 vez(es)
Bom dia
Alguém sabe responder o exercício abaixo?

Pelo princípio de indução matemática demonstre que a igualdade abaixo é verdadeira:

4 elevado a n + 2 é dividível por 3, A(paratodo)n >= 0


Topo
 Perfil  
 
MensagemEnviado: 16 mai 2014, 21:34 
Offline

Registado: 21 jul 2013, 00:22
Mensagens: 673
Localização: Manchester
Agradeceu: 93 vezes
Foi agradecido: 340 vezes
Jow Escreveu:
Bom dia
Alguém sabe responder o exercício abaixo?

Pelo princípio de indução matemática demonstre que a igualdade abaixo é verdadeira:

4 elevado a n + 2 é dividível por 3, A(paratodo)n >= 0



tem coisa erra aí perceba que para n=0:

\(4^{2}=16 \;\;\;\; \text{ nao e divisivel por 3}\)


eu acho que vc quis dizer : \(4^{n+2}-1\) . Então primeira solução usando a indução finita:

testando n=0 :

\(4^{0+2}-1=15\) é divisivel por \(3\).

vamos supor n=k verdadeiro:

\(4^{k+1}-1=3p \;\;\;\;\; \Rightarrow \;\;\;\; 4^{k+1}=3p+1\) , em que \(p\) é inteiro.



temos que provar para n=k+1 :


\(4^{k+2}-1\)

\(4^{k+1}*4-1\)

\((3p+1)*4-1\)

\(3*4p+3\)

\(3(4p+1)\)


então obviamente \(3(4p+1)\) é divisível por 3.CQD.


2º Solução usando congruência linear :


supondo \(n=k\) ,\(4^{k+1}-1\equiv 0 \; mod(3)\) verdadeiro, afinal esta é nossa hipótese.

Temos que provar para \(n=k+1\)

então multiplique por 4 os dois lados da congruência :


\(4^{k+2}-4 \equiv 0 \; mod(3)\)


mas sabemos que : \(4 \equiv 1 \; mod(3)\)

daí:


\(4^{k+2}-1 \equiv 0 \; mod(3)\)
\(c.q.d\)


Topo
 Perfil  
 
MensagemEnviado: 17 mai 2014, 21:47 
Offline

Registado: 14 mai 2014, 13:41
Mensagens: 88
Localização: São Leopoldo
Agradeceu: 40 vezes
Foi agradecido: 0 vez(es)
Man Utd Escreveu:
Jow Escreveu:
Bom dia
Alguém sabe responder o exercício abaixo?

Pelo princípio de indução matemática demonstre que a igualdade abaixo é verdadeira:

4 elevado a n + 2 é dividível por 3, A(paratodo)n >= 0



tem coisa erra aí perceba que para n=0:

\(4^{2}=16 \;\;\;\; \text{ nao e divisivel por 3}\)


eu acho que vc quis dizer : \(4^{n+2}-1\) . Então primeira solução usando a indução finita:

testando n=0 :

\(4^{0+2}-1=15\) é divisivel por \(3\).

vamos supor n=k verdadeiro:

\(4^{k+1}-1=3p \;\;\;\;\; \Rightarrow \;\;\;\; 4^{k+1}=3p+1\) , em que \(p\) é inteiro.



temos que provar para n=k+1 :


\(4^{k+2}-1\)

\(4^{k+1}*4-1\)

\((3p+1)*4-1\)

\(3*4p+3\)

\(3(4p+1)\)


então obviamente \(3(4p+1)\) é divisível por 3.CQD.


2º Solução usando congruência linear :


supondo \(n=k\) ,\(4^{k+1}-1\equiv 0 \; mod(3)\) verdadeiro, afinal esta é nossa hipótese.

Temos que provar para \(n=k+1\)

então multiplique por 4 os dois lados da congruência :


\(4^{k+2}-4 \equiv 0 \; mod(3)\)


mas sabemos que : \(4 \equiv 1 \; mod(3)\)

daí:


\(4^{k+2}-1 \equiv 0 \; mod(3)\)
\(c.q.d\)



Desculpe, o enunciado correto é:

Pelo princípio de indução matemática demonstre que a igualdade abaixo é verdadeira:

(4^n) + 2 é dividível por 3, ∀n >= 0


Topo
 Perfil  
 
MensagemEnviado: 18 mai 2014, 01:02 
Offline

Registado: 21 jul 2013, 00:22
Mensagens: 673
Localização: Manchester
Agradeceu: 93 vezes
Foi agradecido: 340 vezes
1º) passo, teste para n=0 :

\(4^{0}+2 \;\;\; \Rightarrow \;\;\; 3\) é divisivel por 3 , então supormos verdadeiro para \(n=k\) :


\(4^{k}+2=3p \;\;\;\;\; \Rightarrow \;\;\;\;\; 4^{k}=3p-2\) "p" é inteiro. Temos que provar para \(n=k+1\) :


\(4^{k+1}+2 \\\\\\\)

\(4^{k}*4+2 \\\\\\\)

\((3p-2)*4+2 \\\\\\\)

\(3*4p-8+2\)

\(3(4p-2)\)


\(\;\;\;\; c.q.d\)


é certamente divisivel por 3.


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

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Google [Bot] e 20 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:  
cron