Re: carta

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxxxxxxx>]

On Thu, 11 Feb 1999, Jo�o Linneu wrote:

> Caro prof. Nicolau C Saldanha
> 
> Sou professor de Matem�tica aposentado, vou completar, no pr�ximo dia 6 de mar�o 80 anos.. Para passar o dia costumo perambular pela Internet H� alguns dias descobri a sua brilhante "pagina". O motivo da minha mensagem tem origem no problema 154 (Revista RPM). Que n�o conseguir solucionar. Vou resumir o que conseguir elaborar:
> 
> 1. Sejam Po, P1, P2 , P3 v�rtice de um quadrado unit�rio.
> 
> 2 Seja S sistema cartesiano ortogonal : P0 : origem, P1 : ponto unidade
> 
> 3 Para k inteiro � 0, tem-se : Pk+4 = ( Pk + Pk+1)/2
> 
> 4 Indicaremos com Qk o quadril�tero [PkPk+1Pk+2Pk+3]
> 
> 5 Ak = Int(Qk)
> 
> 6 Prova-se : Qk � Qk+1 , donde Ak � Ak+1
> 
> 7 Donde : Existe um �nico ponto P tal que : � Ak = { P }
> 
> 
> Seja : Xi = (1/2)3i+1 , i =0,1,2,3....
> 
> Indicando com S = ( si ) a s�rie geom�trica pela P.G ( Xi )
> 
> Tem-se S = 4/7
> 
> Sejam Di = ( si , si ) � [ P0P2 ] � lim Di = (4/7 , 4/7)
> 
> Falta provar: [(P0P2] � Ak � { }, k = 0,1,2,3...
> 
> Falta provar: Dk � Ak , k = 0,1,2,3....
> 
> ( ? ) Donde : P = D = (4/7, 4/7) . 
> 
> Consideremos as duas sequencias:
> 
> X = (xi ) = ( 0,1,1,0 , .... ), i = 0.1.2.3 ..
> 
> Y = (yi ) = ( 0,0,1,1, ..... ), i = 0.1.2.3 ....
> 
> e, as condi��es: xk+4 = ( xk + xk+1 )/2 , k=0,1,2,3....
> 
> yk+4 = ( yk + yk+1 )/2 , k=0,1,2,3..... 
> 
> Observando que : X = Y - { yo } e, supondo que uma das duas admita limite, podemos concluir: lim X = lim Y = l . 
> 
> Usando o software Basic cheguei ao resultado: lim X = lim y = 4/7. Resultado que me agradou, mas gostaria de obter o resultado por via "honesta", i.� , usando "matem�tica"
> 
> N�o querendo abusar gostaria de obter uma sugest�o sua.
> 
> Com um abra�o amigo, Linneu
> 
> Jo�o Linneu do Amaral Prado
> 
> Rua Jos� Bernardi, 27 Jau . SP Meu e mail : joaolinneu@netsite.com.br
> 
> 17209170
> 
> 

Tudo o que voc� diz � correto, e parece-me que sua �nica dificuldade
� demonstrar que as seqs x_k e y_k efetivamente convergem para os valores
que voc� encontrou "experimentalmente". � poss�vel dar uma f�rmula
mais ou menos expl�cita para xk e yk usando recorr�ncias.
Temos
               x_k = a_0 + a_1 b_1^k + a_2 b_2^k + a_3 b_3^k

onde b_0 = 1, b_1, b_2 3 b_3 s�o as ra�zes da eq polinomial

X^4 = (1+X)/2,

com valores aproximados de

b_1 = -.6477988713,
b_2 = -.1761005644 - .8607166186 I,
b_3 = -.1761005644 + .8607166186 I.

Como os m�dulos destas raizes s�o menores do que 1,
o limite de x_k � a_0.
Os valores de a_0, a_1, a_2, a_3 podem ser facilmente encontrados
a partir dos valores de x_0, x_1, x_2, x_3.

Mudando de assunto, gostaria de fazer um convite:
h� um grupo de discuss�o de problemas de matem�tica elementar chamado 

obm-rj@mat.puc-rio.br

Participam desta lista alunos e professores.
Vou enviar seu nome para o majordomo (o programa que administra a lista)
e voc� deve receber um convite em ingl�s, automaticamente gerado
pelo majordomo e (espera-se) auto-explicativo.
Em caso de d�vida, escreva para mim.

[]s, N.