[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Prova por indução finita

2003-07-22 Por tôpico Frederico Reis Marques de Brito
Henrique, você fez exatamente o que eu temia que houvesse feito. No processo 
de indução , nós assumimos que o resultado é válido para um vcerto número 
natural, k, e devemos PROVAR que esse resultado também é válido para  o 
próximo número natural (k+1). Assim, quando  assumimos que
k!  2^k , estamos supondo que isto ocorra para um valor de k , o famoso 
fixo porém arbitrário e não podemos trocar  k por  k+1.  Este foi seu 1o 
erro. O segundo é que não  podemos demonstrar uma igualdade ou uma 
desigualdade , mechendo nos dois membros e chegando ao final numa 
igualdade obviamente verdadeira, tipo 0=0  ou  1 0, por exemplo.  Para se 
convencer disso, veja este exemplo simplório:

Vamos provar que  -1 =1 .  Elevando ao quadrado dos dois lados: 1 = 1 , 
que é uma afirmação obviamente verdadeira, embora nossa tese não seja.

Grande abraço.(  E não se envergonhe, qq dúvida, escreva novamente!!! )

Frederico.


From: Henrique Patrício Sant'Anna Branco [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Prova por 
indução finita
Date: Tue, 22 Jul 2003 02:40:52 -0300

 Desta vez fui eu que não entendi sua dúvida. De qq forma pela 
experiência
 que tenho em sala de aula imaginoque o seguinte te ajude:

 supomos que  k!  2^k  . Portanto, desde que  k+1 é positivo, podemos
 multiplicar essa desigualdade dos dois lados por (k+1)  =  (k+1). 
k!

 (k+1). 2^k   = (k+1)!  (k+1) . 2^k   2 . 2^k , pois   k+1  2 .
Segue
 que  (k+1)!  2^{k+1} .

 Ajudou? Se não, pode escrever novamente, mas explique-me melhor sua
dúvida.

Ah, certo, você multiplicou os dois lados por (k+1).
O que eu tinha pensado é o seguinte:
Sabemos que k!  2^k nas condições do enunciado. Então, temos que (k+1)! 
2^(k+1), (k+1)! = k!*(k+1) e 2^(k+1) = 2*2^k (de acordo?).
Portanto, a igualdade fica k!(k+1)  2(2^k). Como temos que k!  2^k e 
(k+1)
 2 (pelo enunciado), então, está demonstrado.
Isso estaria certo?

Abraços,
Henrique.
=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=
_
MSN Hotmail, o maior webmail do Brasil.  http://www.hotmail.com
=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=


[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Prova por indução finita

2003-07-22 Por tôpico Henrique Patrício Sant'Anna Branco
 Henrique, você fez exatamente o que eu temia que houvesse feito. No
processo
 de indução , nós assumimos que o resultado é válido para um vcerto número
 natural, k, e devemos PROVAR que esse resultado também é válido para  o
 próximo número natural (k+1). Assim, quando  assumimos que
 k!  2^k , estamos supondo que isto ocorra para um valor de k , o famoso
 fixo porém arbitrário e não podemos trocar  k por  k+1.  Este foi seu
1o
 erro. O segundo é que não  podemos demonstrar uma igualdade ou uma
 desigualdade , mechendo nos dois membros e chegando ao final numa
 igualdade obviamente verdadeira, tipo 0=0  ou  1 0, por exemplo.  Para se
 convencer disso, veja este exemplo simplório:

Frederico,
Obrigado pela atenção, entendi problema.
Meu erro estava exatamente no conceito da indução finita: achei que esta
funcionasse de modo que, trocando k por k+1, chegamos a algo também
verdadeiro, mas acho que agora esse problema foi sanado... É o que eu espero
:)

Grato,
Henrique.

=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=


[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Prova por indução finita

2003-07-21 Por tôpico Frederico Reis Marques de Brito
Desta vez fui eu que não entendi sua dúvida. De qq forma pela experiência 
que tenho em sala de aula imaginoque o seguinte te ajude:

supomos que  k!  2^k  . Portanto, desde que  k+1 é positivo, podemos 
multiplicar essa desigualdade dos dois lados por (k+1)  =  (k+1). k!   
(k+1). 2^k   = (k+1)!  (k+1) . 2^k   2 . 2^k , pois   k+1  2 . Segue 
que  (k+1)!  2^{k+1} .

Ajudou? Se não, pode escrever novamente, mas explique-me melhor sua dúvida.

Boa Sorte.

Um abraço,
Frederico.

From: Henrique Patrício Sant'Anna Branco [EMAIL PROTECTED]
Reply-To: [EMAIL PROTECTED]
To: [EMAIL PROTECTED]
Subject: [obm-l] Re: [obm-l] Re: [obm-l] Prova por indução finita
Date: Sun, 20 Jul 2003 21:16:59 -0300
 Suponha que k! 2^k.Então(k+1)! = (k+1) . k!  (k+1). 2^k  , 
pela
 hipótese de indução. Como  k=4 , claramente   k+1 2   =   (k+1)! 
 2^{k+1} .

Não entendi a parte (k+1) . k!  (k+1). 2^k... Isso não deveria ser (k+1) .
k!  2 * 2^k.
Daí, sabemos que k!  2^k e, claramente, k + 1  2. Ou não?
Grato,
Henrique.
=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=
_
MSN Hotmail, o maior webmail do Brasil.  http://www.hotmail.com
=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=


[obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Re: [obm-l] Prova por indução finita

2003-07-21 Por tôpico Henrique Patrício Sant'Anna Branco
 Desta vez fui eu que não entendi sua dúvida. De qq forma pela experiência
 que tenho em sala de aula imaginoque o seguinte te ajude:

 supomos que  k!  2^k  . Portanto, desde que  k+1 é positivo, podemos
 multiplicar essa desigualdade dos dois lados por (k+1)  =  (k+1). k!

 (k+1). 2^k   = (k+1)!  (k+1) . 2^k   2 . 2^k , pois   k+1  2 .
Segue
 que  (k+1)!  2^{k+1} .

 Ajudou? Se não, pode escrever novamente, mas explique-me melhor sua
dúvida.

Ah, certo, você multiplicou os dois lados por (k+1).
O que eu tinha pensado é o seguinte:
Sabemos que k!  2^k nas condições do enunciado. Então, temos que (k+1)! 
2^(k+1), (k+1)! = k!*(k+1) e 2^(k+1) = 2*2^k (de acordo?).
Portanto, a igualdade fica k!(k+1)  2(2^k). Como temos que k!  2^k e (k+1)
 2 (pelo enunciado), então, está demonstrado.
Isso estaria certo?

Abraços,
Henrique.

=
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=