[SPAM] [obm-l] Res: [obm-l] Res: [obm-l] Res: [obm-l] provas de convergência: sequência de fibonacci e análogas

[Rodrigo Cientista <rodrigocientista@xxxxxxxxxxxx>]

SPAM: -------------------- Start SpamAssassin results ----------------------
SPAM: This mail is probably spam.  The original message has been altered
SPAM: so you can recognise or block similar unwanted mail in future.
SPAM: See http://spamassassin.org/tag/ for more details.
SPAM: 
SPAM: Content analysis details:   (7.60 hits, 5 required)
SPAM: X_MAILING_LIST     (-0.3 points) Found a X-Mailing-List header
SPAM: SPAM_PHRASE_00_01  (0.8 points)  BODY: Spam phrases score is 00 to 01 (low)
SPAM:                    [score: 0]
SPAM: QUOTED_EMAIL_TEXT  (-0.8 points) BODY: Contains what looks like a quoted email text
SPAM: SUPERLONG_LINE     (0.0 points)  BODY: Contains a line >=199 characters long
SPAM: FORGED_YAHOO_RCVD  (1.4 points)  'From' yahoo.com does not match 'Received' headers
SPAM: RCVD_IN_ORBS       (2.2 points)  RBL: Received via a relay in orbs.dorkslayers.com
SPAM:                    [RBL check: found 88.38.190.206.orbs.dorkslayers.com., type: 68.178.232.99]
SPAM: RCVD_IN_OSIRUSOFT_COM (0.4 points)  RBL: Received via a relay in relays.osirusoft.com
SPAM:                    [RBL check: found 88.38.190.206.relays.osirusoft.com.]
SPAM: X_OSIRU_OPEN_RELAY (2.7 points)  RBL: DNSBL: sender is Confirmed Open Relay
SPAM: AWL                (1.2 points)  AWL: Auto-whitelist adjustment
SPAM: 
SPAM: -------------------- End of SpamAssassin results ---------------------

Prezado Nicolau,

Em primeiro lugar obrigado pela sua colaboração em esclarecer minhas dúvidas!

Em segundo, realmente não entendi seu argumento final... meu raciocínio foi de que como no limite os termos da sequência se igualam a série seja convergente.

Outra forma de provar a convergência: se uma sequência tem a característica de que a1<=a2<=a3<=...<=an, e a_n - a_(n-1) -->0 quando n--> infinito, posso afirmar q ela converge? Acho q vi isso num livro de cálculo (George Simmons) e era um método (teste de convergência) de Leibiniz. Vou olhar hoje a noite melhor, mas se for isso acredito que se encaixa na sequência estudada.

abração!

----- Mensagem original ----
De: Nicolau C. Saldanha <nicolau@xxxxxxxxxxxxxx>
Para: obm-l@xxxxxxxxxxxxxx
Enviadas: Quinta-feira, 29 de Novembro de 2007 12:40:35
Assunto: Re: [obm-l] Res: [obm-l] Res: [obm-l] provas de convergência: sequência de fibonacci e análogas

On Nov 29, 2007 11:37 AM, Rodrigo Cientista
<rodrigocientista@xxxxxxxxxxxx> wrote:
> Vou colocar oq considero a minha prova para a convergência:
>
> Inicialmente fiz algumas observações (usando a sequência de Lucas, mas pode ser generalizado):
>
> a)    (an)^2= (an-1)*(an+1) +- 5 (é +5 se n é par, e -5 se n é ímpar)  obs: com +- quero dizer + ou -
> Note que eu não sei se isto é verdade para toda a sequência, já que uma observação não é prova. Entretanto, se eu conseguisse provar que este fato é verdade, eu poderia dividir todos os termos da equação por (an)*(an-1), chegando à seguinte expressão:
>

Isto é verdade trocando 5 por outra constante para qq solução de
a_(n+1) = a_n + a_(n-1).
Há várias maneiras de ver isso. A mais óbvia é usar a fórmula a_n = A
phi^n + B phib^n.
Outra é ver que

[[a_(n+2),a_(n+1)],[a_(n+1),a_n]] = [[1,1],[1,0]] *
[[a_(n+1),a_n],[a_n,a_(n-1)]]
donde, tirando determinantes,

a_(n+2)*a_n - (a_(n+1))^2 = - (a_(n+1)*a_(n-1) - (a_n)^2)


> (an)/(an-1) = (an+1)/(an) +-5/[(an)*(an-1)]
>
> Usando-se limites, vemos que quando n--> infinito, +-5/[(an)*(an-1)]--> 0, e (an)/(an-1)--> (an+1)/(an), e por indução vemos que (an)/(an-1)--> razão áurea.
>
> Usando a própria definição da sequência:
>
> (an)^2= (an-1)*(an+1) +- 5, sabe-se que an+1=an + an-1
>
> (an)^2= (an-1)*(an + an-1) +- 5 ==> (an)^2 - (an-1)^2= (an-1)*(an) +- 5 ==>
>
> ==> (an + an-1)(an - an-1) = (an-1)*(an) +- 5, sabe-se que (an - an-1) = an-2 ==>
>
> ==> (an + an-1)(an-2) = (an-1)*(an) +- 5, sabe-se que an = an-1 + an-2 ==>
>
> ==> (an + an-1)(an-2) = (an-1)*(an-1 + an-2 ) +- 5 ==>
>
> ==> (an-2)*(an) + (an-1)*(an-2) = (an-1)^2 + (an-1)*(an-2) +- 5 ==> (an-1)^2 = (an-2)*(an) +- 5
>
> comparando-se a expressão original com esta,
> (an)^2= (an-1)*(an+1) +- 5
> (an-1)^2 = (an-2)*(an) +- 5
>
> ou mais geralmente:
>
> (ai)^2 = (ai-1)*(ai+1) +- 5, com i=2,3,4,5,6...,n
>
> provando por indução sobre n
>
> Como já foi previamente dito, agora podemos resolver o limite, a saber:
>
> LIM (an)/(an-1) =LIM{ (an+1)/(an) +-5/[(an)*(an-1)] } n--> infinito
>
> LIM (an)/(an-1) =LIM(an+1)/(an) + LIM{ +-5/[(an)*(an-1)] } n--> infinito
>
> LIM{ +-5/[(an)*(an-1)] } n--> infinito é ZERO
>
> NO LIMITE, (an)/(an-1) = (an+1)/(an) + 0
>
> Assim a prova está completa!
>

Infelizmente considero a sua demonstração incompleta (além de ser
desnecessariamente complicada).
Você demonstrou que
lim ( (a_(n+1)/a_n) - (a_n/a_(n-1)) ) = 0
Isto NÃO implica na existência de
lim a_(n+1)/a_n
Para ver isso, considere c_n = log(n).
Temos
lim c_(n+1) - c_n = 0
mas
lim c_n = +infinito.

Em outras palavras, se o termo geral de uma série tende a zero isto
não garante a convergência da série.

N.

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


      Abra sua conta no Yahoo! Mail, o único sem limite de espaço para armazenamento!
http://br.mail.yahoo.com/

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