[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

=?WINDOWS-1252?Q?Re:_[obm-l]_S=E9rie?=



Olá Bruno.

Não entendi muito bem o teorema que você citou na sua "2ª" prova.

A outra maneira é usar um teoreminha que diz que se f é uma função contínua e a seq a_n é definida por a_(n+1) = f(a_n) e é convergente, então ela converge para um ponto fixo de f (um ponto fixo de uma função é um valor x tal que f(x) = x). Isso é fácil de demonstrar (e inclusive já enviei um email aqui para a lista com uma demonstração gigantesca e complicada e depois o Salvador Zanata respondeu com uma demonstração bem mais simples, que infelizmente eu não tinha visto), bastando tomar o limite para n --> oo, dos dois lado da definição da seqüência.

Abraços

2006/9/1, Bruno França dos Reis <bfreis@gmail.com>:
Oi, Jonas.

Quais passagens você não entendeu? Se eu souber, terei prazer em explicar melhor. Pelo que compreendi, vc não disse as mesmas coisas, deu outra idéia!

Quanto à sua solução, só para explicitar o seu "k", acho que vc pensou isso:

a_(n+1)  =  a_1 * 2^(-n) + sum(k=1..n) 5 * 2^(-k)

Tomando lim para n --> oo, temos:

lim a_(n+1) = lim [ a_1 * 2^(-n) + sum(k=1..n) 5 * 2^(-k) ]
Como lim a_1 * 2^(-n) = 0, e lim sum(k=1..n) 5 * 2^(-k) = sum(k=1..oo) 5 * 2^(-k) = (5/2) / (1 - 1/2) = 5, temos que
lim a_(n+1) = 0 + 5 = 5

Logo, a seqüência a_n converge para 5. Legal.

Abraço
Bruno



On 8/31/06, J. Renan < jrenan@gmail.com> wrote:
Não dispondo das ferramentas matemáticas sofisticadas que muitos possuem aqui, acho que existe uma prova mais elementar da convergência dessa série.

Aproveitando a definição do Bruno,


a_(n+1) = 1/2 * (a_n + 5)

Desenvolvendo a recorrência da série temos:

a_(n+1) = a1*2(^-n) + k

Sobre esse número que eu chamei de k, vejamos o valor dele para alguns n's:
__________
| n | valor     |
------------------
| 1 |  2.5      |
------------------
| 2 |  3.75    |
------------------
| 3 |  4.375  |
------------------
| 4 | 4.6875 |
------------------

A "prova" de que k é realmente essa série é porque ele se constitui de uma soma infinita de frações.

Podemos reescreve-lo como uma soma de uma pg infinita, quando ele está no infinito

S = 2,5 + 1,25 + 0,625 ...

quando n-> oo, S -> 5


Vamos voltar pra nossa série

a_(n+1) = a1*2(^-n) + k

Quando n tornasse infinitamente grande, o primeiro termo [a1*2^(-k)] tende a zero e k tende a 5.

Espero ter ajudado (e espero também não ter dito as mesmas coisas do e-mail anterior, infelizmente não entendi todas as passagens)

2006/8/31, Bruno França dos Reis < bfreis@gmail.com>:
Olá

Podemos fazer isso de duas formas (há muitas, mas selecionei duas para discutirmos aqui).

Note que a_(n+1) = 1/2 * (a_n + 5). Vamos mostrar que a seqüência converge para 5. Para isso, vamos fazer umas continhas:

|a_n - 5| = |a_n - 5|  <==>  |a_n + 5 - 10| = |a_n - 5|  <==>  |1/2 * (a_n + 5) - 5| = 1/2 * |a_n - 5| <==> |a_(n+1) - 5| = 1/2 * |a_n - 5|

Isto é, cada elemento da seqüência está a metade da distância do 5 que o elemento anterior estava. Temos então que:
|a_n - 5| = (1/2)^n * |a_0 - 5|, onde |a_0 - 5| = k é uma constante. Para mostrar que a seq. converge para 5, precisamos mostrar que para cada eps > 0, existe um n_0 tal que n > n_0 ==> |a_n - 5| < eps (pela definição de convergência). Fácil: vamos escolher um n_0 de forma que (1/2)^(n_0) * k < eps  <==> n_0 * ln(1/2) < eps / k  <==>  n_0 > eps / (k*ln(1/2)). Logo, a seqüência converge para 5.

A outra maneira é usar um teoreminha que diz que se f é uma função contínua e a seq a_n é definida por a_(n+1) = f(a_n) e é convergente, então ela converge para um ponto fixo de f (um ponto fixo de uma função é um valor x tal que f(x) = x). Isso é fácil de demonstrar (e inclusive já enviei um email aqui para a lista com uma demonstração gigantesca e complicada e depois o Salvador Zanata respondeu com uma demonstração bem mais simples, que infelizmente eu não tinha visto), bastando tomar o limite para n --> oo, dos dois lado da definição da seqüência.

Usando o teorema, precisamos demonstrar que a seqüência converge para todo a_0 escolhido (o que é simples: precisa mostrar que ela é monótona e que é limitada), e depois basta dizer que ela converge para um valor a, tal que f(a) = a  <==>  1/2 * (a + 5) = a  <==>  a = 5.


Abraço
Bruno

ps: aqui vão dois exercícios pra vc brincar, usando o teorema que mencionei:
Mostre que as expressões a seguir representam um número real cada e calcule-os.
a) sqrt(2 * sqrt(2 * sqrt( 2 * ...)))
b) sqrt(2) ^ sqrt(2) ^ sqrt(2) ^ ...



On 8/31/06, Josh Rodrigues < joshrodr@hotmail.com> wrote:
Olá, hoje encontrei o seguinte exercício numa apostila:

"João pegou a calculadora de seu pai e começou a brincar, repetindo uma
mesma seqüência de operações várias  vezes para ver o que acontecia. Uma
dessas experiências consistia em escolher um número x1  qualquer, somar 5 e
dividir o resultado por 2, obtendo um novo número x2. A seguir ele somava 5
a x2 e dividia o resultado por 2, obtendo um novo número x3 . Repetindo esse
processo, ele obteve uma seqüência de números

x1 , x2 , x3 , x4 , x5 ,…, xn

Após repetir o processo muitas vezes, não importando com qual valor tivesse
iniciado a seqüência de operações,
João reparou que o valor xn se aproximava sempre do mesmo número. Que número
era esse?"

É bem fácil ver que o número é 5 fazendo algumas contas. Mas eu gostaria de
saber como que eu escrevo essa sequência e, de maneira mais rigorosa,
mostrar que xn se aproxima sempre de 5.

Muito obrigado pela atenção.

_________________________________________________________________
O Windows Live Spaces é seu espaço na internet com fotos (500 por mês), blog
e agora com rede social http://spaces.live.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
=========================================================================



--
Bruno França dos Reis
email: bfreis - gmail.com
gpg-key: http://planeta.terra.com.br/informatica/brunoreis/brunoreis.key
icq: 12626000

e^(pi*i)+1=0



--
Um Grande Abraço,
Jonas Renan



--
Bruno França dos Reis
email: bfreis - gmail.com
gpg-key: http://planeta.terra.com.br/informatica/brunoreis/brunoreis.key
icq: 12626000

e^(pi*i)+1=0