Re: [obm-l] Credo!!!

[Carlos Yuzo Shine <cyshine@xxxxxxxxx>]

Oi, amigos da lista.

Dado x real n�o nulo, e a_1,a_2,...,a_n reais
positivos, o valor
   M(x) = ((a_1^x + a_2^x + ... + a_n^x)/n)^(1/x)
� chamado m�dia potencial de ordem x de a_1, a_2, ...,
a_n. Para x=0, definimos M(0) como a m�dia geom�trica
de a_1,a_2,...,a_n, ou seja,
   M(0) = (a_1a_2...a_n)^(1/n)

O que foi pedido � o limite de M(x) quando x tende a
zero e a_i = i. Considerando a defini��o de M(0), �
conveniente que o resultado d� (n!)^(1/n).

Vamos provar que a defini��o de M(0) � consistente com
o limite de M(x) para x indo a zero.

De fato, tirando log (na base e) de M(x),
  log(M(x)) = log((a_1^x + a_2^x + ... + a_n^x)/n)/x

Observe que quando x tende a zero, o numerador da
�ltima express�o, que � log((a_1^x + a_2^x + ... +
a_n^x)/n), tende a 0 (cada a_i^x tende a 1; somamos n
n�meros pr�ximos de 1 e obtemos um n�mero pr�ximo de
n; um n�mero pr�ximo de n dividido por n � pr�ximo de
1 e log de um n�mero pr�ximo de 1 � pr�ximo de 0). O
denominador, que � x, tamb�m. Podemos, ent�o aplicar a
regra de L'Hospital para obter

lim(log(M(x)), x->0 =
  ([log(a_1)*a_1^x + ... + log(a_n)*a_n^x]/n):
  [(a_1^x + a_2^x + ... + a_n^x)/n]
= [log(a_1) + ... + log(a_n)]/n
= log(a_1a_2...a_n)^(1/n)

Logo lim(M(x)), x->0 = (a_1a_2...a_n)^(1/n).

[]'s
Shine

--- Ricardo Bittencourt <ricbit@700km.com.br> wrote:
> Eduardo Henrique Leitner wrote:
> > limite, pra x tendendo a zero dessa express�o:
> >    {[(1^x) + (2^x) + (3^x) + ... +
> (n^x)]/(n)}^(1/x)
> > adoraria que algu�m me ajudasse... a resposta � 
> >  (n!)^(1/n)
> 
> 	Eu acho que consegui:
> 
> 	Seja a(i)=i^x. A m�dia aritm�tica de todos os a(i)
> � aquilo que est� dentro das chaves. Mas sabemos que
> AM>=GM,
> com igualdade apenas quando todos os termos s�o
> iguais.
> 
> 	Mas, no limite pra x tendendo a zero, todos os a(i)
> tendem a 1 e portanto todos tendem a ficar iguais.
> Por isso,
> AM=GM no limite para x indo a 0. Da� tiramos que:
> 
> 	AM^(1/x)=GM^(1/x)
> 
> 	GM= { produtorio de a(i) } ^(1/n)
>   	  = {1^x . 2^x . ... n^x} ^(1/n)
> 	  = {(n!)^x}^(1/n)= {(n!)^(1/n)}^x
> 
> 	Logo
> AM^(1/x)=GM^(1/x)={(n!)^(1/n)}^x^(1/x)=(n!)^(1/n)
> e o limite pra x indo a zero � (n!)^(1/n).
> 
>
----------------------------------------------------------------
> Ricardo Bittencourt                  
> http://www.mundobizarro.tk
> ricbit@700km.com.br           "tenki ga ii kara
> sanpo shimashou"
> ------ Uni�o contra o forward - crie suas proprias
> piadas ------
> 
>
=========================================================================
> 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
>
=========================================================================


__________________________________
Do you Yahoo!?
Yahoo! Hotjobs: Enter the "Signing Bonus" Sweepstakes
http://hotjobs.sweepstakes.yahoo.com/signingbonus
=========================================================================
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
=========================================================================