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

Re: [obm-l] Desigualdade com Pi



é realmente, pelo fato de a ter uma potencia sexta ela converge primeiro por isso é bem melhor.......

Rogerio Ponce <rogerioponce-obm@yahoo.com.br> escreveu:
Ola' Diego,
ja' que a inequacao e' sabidamente verdadeira, o interessante deste problema e' arranjar uma demonstracao que possa ser feita 'na mao' . Isto significa que as contas nao devem ultrapassar as 4 operacoes, e que o processo nao deve ser longo.

Entretanto, se voce quiser usar a soma dos termos da serie 1/n^2 , mais de mil termos sao necessarios para se chegar `a casa dos milesimos correta. Fora o fato de que voce estara' chegando a PI com uma aproximacao "por baixo" . E no nosso problema, voce precisa chegar com uma aproximacao "por cima".

Repare que, na serie que eu sugeri, voce consegue isso com apenas 3 termos. Mas outras series parecidas (de ordem superior) tambem poderiam ser usadas. Mas, como em todas elas, os 3 primeiros termos eram necessarios, preferi usar a de menor ordem.

Grande abraco,
Rogerio Ponce

PS: ontem, um colega me perguntou
 "afinal, qual a dificuldade em se provar que raiz(2) + raiz(3) > PI , ja' que
 raiz(2) > 1.414 , raiz(3) > 1.732 ,  e  3.146 > 3.14159...= PI " ?

Obviamente mostrar que 3.146 > 3.14159... nao tem nada de mais.
A questao aqui e' como calcular PI  ( em vez de "olhar o valor de PI"  ), com uma precisao suficiente que nos permita fazer a afirmacao original.




diego andres <diegoandresk8@yahoo.com.br> escreveu:
uma outra forma de chegar em pi é que :
zeta(2)=pi²/6       *obs:( zeta(2)=1/1²+1/2²+1/3²+1/4²+...+1/n²+..... )
então se somar alguns termos chega com uma boa aproximacao que pi=3.1415....(agora se somarmos no computador varios termos chegamos a uma boa quantidade de casas)

Rogerio Ponce <rogerioponce-obm@yahoo.com.br> escreveu:
Ola' Claudio e Bernardo,
nao gostei da solucao 'na marra' porque o valor de PI
foi tirado da cartola. Como provar que PI vale
3.141592653...?

Por outro lado, nao precisava de tanto pra mostrar que
1.414 * 1.414 < 2
1.732 * 1.732 < 3
De onde sqrt(2) + sqrt(3) > 3.146 , que 'deve ser
maior que PI' - foi isto que tentei provar quando
tambem resolvi 'fazer na marra'...


Eu ja' havia tentado sair por 'n*tan(pi/n)' , usando o
'arco-metade' sucessivamente, a partir de pi/4 ou de
pi/6 . Mas, como isso passa a valer somente para n>47,
a expressao final e' cavalar. E ainda por cima os dois
termos principais do numerador sempre sao uma
diferenca, embora eu quisesse obter uma soma 'com cara
de sqrt(2) + sqrt(3)' para ajudar na simplificacao.


Tambem tentei usar alguma integral que o resultado
fosse uma fracao de pi, ou de tg(pi/n) . Entao,
alterando 'conveniente' o integrando, talvez fosse
possivel obter sqrt(2)+sqrt(3) , ou alguma coisa
intermediaria, para o mesmo intervalo. Mas tambem nao
consegui.


Entao apelei para a soma dos termos da serie
(-1)^(n-1) * n^(-6) , que, para n de 1 em diante, vale
(31/30240)*pi^6

Assim, com os 3 primeiros termos, podemos dizer:
1/1 - 1/64 + 1/729 > (31/30240) * pi^6
de onde, pi < 3.142 .


Ficou muito feia, mas ate' agora nao consegui nada
melhor...

[]s,
Rogerio Ponce





--- "claudio.buffara"
escreveu:

> Bem, eu estava me referindo a uma demonstracao
> geometrica ou trigonometrica com um minimo de
> elegancia (com todo o respeito a sua solucao,
> claro!) ...
>
> A aproximacao Pi ~ raiz(2) + raiz(3) eh bastante
> boa. A diferenca eh de apenas 0.00467..., ou seja,
> menos de 0,15%.
> Ao aproximar Pi por excesso por meio do
> semi-perimetro (ou da area) de um poligono regular
> (e convexo) circunscrito ao circulo unitario, esta
> precisao soh eh ultrapassada quando o numero de
> lados eh >= 48.
> Ou seja, 47*tan(Pi/47) > raiz(2) + raiz(3) >
> 48*tan(Pi/48) > Pi.
> Isso talvez signifique que uma demonstracao
> puramente geometrica nao eh muito trivial.
>
> []s,
> Claudio.
>
> De:owner-obm-l@mat.puc-rio.br
>
> Para:obm-l@mat.puc-rio.br
>
> Cópia:
>
> Data:Sat, 15 Jul 2006 17:33:12 +0200
>
> Assunto:Re: [obm-l] Casa de Pombos e Desigualdade
> com Pi
>
> > Viva as férias (até que enfim)
> >
> > Bom, o seu PCP ainda nao foi, mas pra \pi (estilo
> "NA MARRA"):
> > Eleve ao quadrado (todo mundo é positivo):
> > 2 + 2 raiz(6) + 3 > Pi^2 <=> 2 raiz(6) >= Pi^2 - 5
> >
> > E mais uma vez (notar que Pi > 3 => Pi^2 > 9 > 5):
> > 24 > Pi^4 - 10Pi^2 + 25 <=>
> > 0 > Pi^4 - 10 Pi^2 + 1
> >
> > Agora calcule as raízes de x^4 - 10x^2 + 1 ...
> > x^2 = 5 +/- raiz(25 + 1) => apenas duas raizes, as
> da raiz positiva do quadrado
> > x^2 = 10 + um pouquinho
> >
> > Agora saiba que Pi = 3.14159265358979... e que
> raiz(10) = 3.16.. e pronto:
> > as raizes do polinômio sao maiores do que +- Pi, e
> portanto o valor em
> > Pi é menor do que zero pois o coeficiente de
> segundo grau é positivo.
> >
> > Uma calculadora dá:
> > sqrt(2) + sqrt(3) - %pi
> > ans = 0.0046717
> >
> > T+,
> > --
> > Bernardo Freitas Paulo da Costa
> >
> >
> > On 7/15/06, claudio.buffara wrote:
> > >
> > > Esse tah me enchendo o saco:
> > >
> > > Prove que toda sequencia de 2n-1 inteiros (nao
> necessariamente distintos)
> > > possui uma subsequencia de n inteiros cuja soma
> eh divisivel por n.
> > >
> > > ***
> > >
> > > Ha alguns meses alguem mandou pra lista o
> problema de se provar que:
> > > raiz(2) + raiz(3) > Pi.
> > > Foi enviada alguma solucao?
> > >
> > > []s,
> > >
> > > Claudio.



_______________________________________________________
Novidade no Yahoo! Mail: receba alertas de novas mensagens no seu celular. Registre seu aparelho agora!
http://br.mobile.yahoo.com/mailalertas/


=========================================================================
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
=========================================================================


Novidade no Yahoo! Mail: receba alertas de novas mensagens no seu celular. Registre seu aparelho agora!


Novidade no Yahoo! Mail: receba alertas de novas mensagens no seu celular. Registre seu aparelho agora!


Yahoo! Search
Música para ver e ouvir: You're Beautiful, do James Blunt