Anota co es sobre M edias

Rodrigo Carlos Silva de Lima

rodrigo.u.math@gmail.com

Sum ario
1 M edias 1.1 1.2 1.3 Um deni c ao inicial das m edias . . . . . . . . . . . . . . . . . . . . . . . . 1.1.1 Deni c ao geral das m edias . . . . . . . . . . . . . . . . . . . . . . . M edia geom etrica e m edia aritm etica . . . . . . . . . . . . . . . . . . . . . Soma de Ces` aro e limite das m edias . . . . . . . . . . . . . . . . . . . . . . 1.3.1 1.3.2 1.4 3 3 4 5 7

Limite da m edia geom etrica . . . . . . . . . . . . . . . . . . . . . . 13 Limite da m edia Harm onica . . . . . . . . . . . . . . . . . . . . . . 14

M edia aritm etica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

Cap tulo 1 M edias

1.1 Um deni c ao inicial das m edias

Sejam tr es n umeros x3 , x2 , x1 distintos entre si. Deni c ao 1 (M edia aritm etica-Mes otes aritmetiqu e). Eles est ao em m edia aritm etica se x3 x2 x3 = =1 x2 x1 x3 da x3 x2 = x2 x1 x3 + x1 = x2 . Que podemos escrever como 2 x2 x3 = . x1 x3 Deni c ao 2 (M edia geom etrica-Mes otes geometriqu e). x3 x2 x3 = x2 x1 x2 x3 x2 x2 2 = x3 x2 x3 x1 x2 = x2 x3 = . x1 x2 Deni c ao 3 (M edia Harm onica-Mes otes armoniqu e). x3 x3 x2 = x2 x1 x1 3 x1 x3 .

 CAP ITULO 1. MEDIAS

x2 x3 = . x1 x1 Tem-se

Propriedade 1. Se x1 , x2 e x3 est ao em m edia harm onica, ent ao vale 1 1 1 1 = . x1 x2 x2 x3 x3 x3 x2 = segue que x1 x3 x2 x1 = x3 x2 x1 x3 , dividindo x2 x1 x1 por x1 x2 x3 em ambos lados segue Demonstra c ao. De 1 1 1 1 = . x2 x3 x1 x2 Propriedade 2. Se x1 , x2 e x3 est ao em m edia harm onica, ent ao vale x2 = Demonstra c ao. Da identidade 2x1 x3 x1 + x3

1 1 1 1 = , segue x2 x3 x1 x2

2 1 1 x3 + x1 = + = x2 x1 x3 x1 x3 da 2x1 x3 . x1 + x3 As tr es m edias denidas para x3 > x2 > x1 > 0, todos em N , s ao chamadas de as tr es x2 = m edias antigas. Vamos denir agora em geral as m edias aritm etica, geom etrica e harm onica.

1.1.1

Deni c ao geral das m edias

Deni c ao 4 (M edia harm onica). Dada a sequ encia (x1 , , xn ) de n umeros n ao nulos, sua m edia harm onica e denida como n n . n 1 = + xn 1
k=1 xk

MH (x1 , , xn ) =

1 x1

 CAP ITULO 1. MEDIAS

Deni c ao 5 (M edia aritm etica). Dada a sequ encia (x1 , , xn ) , sua m edia aritm etica e denida como x1 + + xn xk = . n n k=1
n

MA (x1 , , xn ) =

Deni c ao 6 (M edia geom etrica). Dada a sequ encia (x1 , , xn ) de n umeros n aonegativos, isto e, cada xk 0, sua m edia geom etrica e denida como MG (x1 , , xn ) = n x1 .x2 xn = ( n
k=1
1 )n

xk

A m edia geom etrica de n n umeros n ao-negativos e a raiz n- esima do produto de tais elementos. Deni c ao 7 (M edia ). (Analisar essa deni c ao) Seja A o conjunto das sequ encias nitas com elementos em um certo espa co m etrico (X, d) . Uma m edia e um par (A, M ) onde M e uma fun ca o M : A B , com X B tal que
X M (x)n e, a m edia associa a sequ encia nita que possui todos elementos 1 = x, isto

iguais ` a x ao elemento x.
X Dentre n elementos, se uma grande quantidade de termos est a pr oxima de a, ent ao a

m edia desses n elementos est a pr oxima de a. Dado n N . > 0 n0 N e > 0 tal que, se d(xk , a) < para p ndices n p n0 ent ao d(M (xk )n 1 , a) < .

1.2

M edia geom etrica e m edia aritm etica

n k=1

Propriedade 3. Se (bk > 0)n 1 com

bk = 1 ent ao

n k=1

bk n isto e, se o produto de

n termos positivos e 1 ent ao sua soma e maior ou igual ` a n. n n n Demonstra c ao. Se cada bk = 1 ent ao bk = 1 e bk = 1 = n n e nada
k=1 k=1 k=1

temos a demonstrar, suponha ent ao que algum ak seja diferente de 1. Vamos demonstrar por indu ca o sobre n.

 CAP ITULO 1. MEDIAS

Se n = 0 a propriedade vale pois

1 k=1

0 k=1

bk = 0 0 se n = 1 a propriedade vale pois

bk = b1 = 1 e

1 k=1

bk = a1 1. Se n = 2 temos b1 b2 = 1, tem-se que um deles e

maior que 1 e o outro menor (se ambos fossem maiores o produto seria maior que 1 se ambos fosse menores o produto seria menor que 1), supondo sem perda de generalidade 1 2 que b1 > 1 ent ao b2 = , tem-se (a1 1)2 > 0 e da b2 1 2b1 + 1 > 0, b1 + 1 > 2b1 b1 1 implicando b1 + > 2. b1 n +1 Supondo para n n umeros, vamos provar para n + 1 n umeros. Como vale bk = 1
k=1

ent ao entre os termos existe algum maior que 1 e outro menor que 1, assumimos b1 < 1 e bn+1 > 1 da 0 < 1 b1 e bn+1 1 > 0 (se n ao mudamos os ndices) , denimos c1 = b1 .bn+1 e vale c1 . e por hip otese de indu c ao c1 + por em tem-se
n+1 k=1 n k=2 n k=2

bk = 1

bk n

bk = c1 +

n k=2

bk +b1 + bn+1 c1 n + b1 + bn+1 b1 .bn+1 =

fatorando a u ltima express ao = n + 1 + (1 b1 ) (bn+1 1) > n + 1

>0 >0

Propriedade 4. Sejam n umeros ak 0 ent ao n ak n 1 k=1 ( ak ) n . n k=1 Demonstra c ao. Se algum ak = 0 ent ao o produto e zero e vale a identidade, consideramos ent ao ak > 0, e a desigualdade que devemos mostrar e n ak k=1 n. n 1 ( ak ) n
k=1

 CAP ITULO 1. MEDIAS

Denimos g := (

n k=1

ak ) da g =

1 n

n k=1

ak , bk :=
n

ak , tem-se assim que bk 0 e g ak = 1.

ak = bk = g k=1 k=1 pelo resultado anterior temos

n k=1 n k=1

k=1 gn

ak
1

n.

ak ) n

Propriedade 5. Se x > 0 ent ao x +

1 2. x

Demonstra c ao. Por desigualdade das m edias

1 a1 + a2 (a1 .a2 ) 2 2

tomando a1 =

1 tem-se a2

1 + a2 2. a2

1.3

Soma de Ces` aro e limite das m edias

Deni c ao 8 (M edia de Ces` aro-m edia aritm etica). Dada uma sequ encia (xn ) denimos a m edia de Ces` aro de (xn ) como a sequ encia (yn ) dada por 1 yn = xk n k=1
n

yn e a m edia aritm etica dos n primeiros elementos de (xn ) A seguir provaremos resultados dos quais a seguinte propriedade segue como corol ario Se lim xn = a ent ao lim yn = a, isto e, a opera c ao de tomar a m edia de Ces` aro preserva sequ encias convergentes e seus limites.
n

xk e convergente ent ao a sequ encia (s erie) xk

Deni c ao 9 (Ces` aro som avel). Se e dita Ces` aro som avel .

k=1

 CAP ITULO 1. MEDIAS

Toda sequ encia convergente e Ces` aro som avel, por em existem sequ encias n ao convergentes que s ao Ces` aro som avel . Propriedade 6. Se lim . Demonstra c ao. Vale que lim tem-se |xn | = |L|, existe n0 N tal que para n > n0 n xn = L = 0 ent ao (xn ) n ao e limitada ( logo n ao e convergente) n

|xn | n da |xn | > nt, o que implica que |xn | n ao e limitada. xn Se (xn ) fosse limitada ent ao lim = 0 pelo que j a provamos antes . n 0 < t < |L| <
n k=1

xk

Corol ario 1. Se lim xk = L = 0 ent ao lim = L = 0 pelo resultado anterior n n xk = sn n ao e limitada, logo n ao e convergente . Chegamos ent ao no segue que
k=1

resultado: lim xk = L = 0 ent ao

n k=1

xk = sn n ao converge .

Propriedade 7 (Teorema de Stolz-Ces` aro). Dada uma sequ encia (xn ) e uma sequ encia (yn ) crescente com lim yn = e lim xn xn = a ent ao lim = a. yn yn Essa propriedade e o an alogo do teorema de LHospital para sequ encias Demonstra c ao. Como lim para k > n0 tem-se a xn = a ent ao para todo > 0 existe n0 N tal que yn

xk a + e yn > 0 (pois tende ao innito), como (yn ) e yk crescente vale yk > 0, logo podemos multiplicar por ele em ambos lados da desigualdade sem alterar (a )yk xk (a + )yk tomamos o somat orio
n1 k=n0 +1

em ambos lados

(a )(yn yn0 +1 ) (xn xn0 +1 ) (a + )(yn yn0 +1 )

 CAP ITULO 1. MEDIAS

isso implica (a )(yn yn0 +1 ) + xn0 +1 xn (a + )(yn yn0 +1 ) + xn0 +1 yn0 +1 xn +1 xn yn +1 xn +1 )+ 0 (a + )(1 0 ) + 0 yn yn yn yn yn para n grande tem-se ent ao (a )(1 (a ) o que implica lim xn = a. yn xn (a + ) yn

Exemplo 1. Calcule o limite

n k lim . n2 k=1 n k=1 n k n+1 1 lim = lim = . 2 n 2n + 1 2 k=1

Tomamos xn = lim

k logo xn = n + 1 e yn = n2 e crescente com lim yn = logo

Exemplo 2. Calcule o limite n! lim . n k!

k=1 n k=1

Vale

k ! = (n + 1)! e n! = n(n)! logo n.n! =1 n!(n + 1)

lim ent ao

n! lim = 1. n k!
k=1

Propriedade 8. Se limzn = a e (wn ) e uma sequ encia de n umeros positivos com n w k zk n k=1 = a. lim wk = ent ao lim n k=1 wk
k=1

 CAP ITULO 1. MEDIAS

10

Demonstra c ao. Tomamos xn =

n k=1

wk .zk e yn =

n k=1

wk ent ao xn = wn+1 .zn+1

xn , yn = wn+1 > 0 ent ao yn e crescente e lim yn = , temos tamb em que = yn wn+1 zn+1 = zn+1 cujo limite existe e vale a ent ao nessas condi co es vale wn+1 wk .zk xn k=1 = a. lim = lim n yn wk
k=1 n k=1 n

Corol ario 2. Tomando wn = 1 ent ao

wk = n e seu limite e innito, tomando uma

sequ encia (zn ) tal que lim zn = a ent ao segue que

n

zk =a

lim
n

k=1

zk = a. 1 tem-se lim zn = 0 e da n
n 1 k

, isto e, se lim zn = a ent ao lim

k=1

Exemplo 3. Tomando zn =

lim k=1 n
1

= 0 = lim

Hn . n

Exemplo 4. Tomando zn = a n com a > 0 tem-se lim zn = 1 e da

n

ak = 1.

lim k=1 n

Propriedade 9 (Stolz-Ces` aro para limite innito). Seja (bn ) crescente e ilimitada . an an = ent ao lim = Se lim bn bn Demonstra c ao. Para qualquer A > 0 existe n0 N tal que k > n0 implica ak > A, bk como bk > 0 e bk > 0, logo tem-se ak > Abk ,

 CAP ITULO 1. MEDIAS

11

aplicando

n k=n0 +1

segue por soma telesc opica an+1 an0 +1 > A.(bn+1 bn0 +1 ) an+1 > an0 +1 + A.(bn+1 bn0 +1 ) an+1 an +1 bn +1 > 0 + A.(1 0 ) > A bn+1 bn+1 bn+1

para n grande, da lim Exemplo 5. Vale lim Hn = logo lim

n Hk k=1

an = . bn

Exemplo 6. A reciproca da propriedade nem sempre vale, yn = n, xn = (1)n vale xn (1)n xn (2)(1)n lim = lim = 0 e lim = lim n ao existe. yn n yn 1 n ak Propriedade 10. Se lim an = e an > 0 n N ent ao lim = . n k=1 Demonstra c ao. Essa prova vale mesmo se (an ) n ao tem a restri c ao de an > 0 n ak , bn = n e . Aplicamos o teorema de Stolz-Ces` aro para limite innito . an = crescente e ilimitada e vale
n k=1 k=1

ak = an+1 , n = 1 logo an = lim an+1 = n

lim ent ao lim = . n k=1 Demonstra c ao.[2]

n ak

A > 0 n0 n n0 > implica n

N tal que para n > n0 tem-se an > 2A ent ao para n > 2n0 ( que 1 ) vale 2
n k=1

ak

n k=n0 +1

2A = 2A
n

n logo

n n0 2A =A n 2

ak = .

lim

k=1

 CAP ITULO 1. MEDIAS

12

Corol ario 3. Se lim xn = e n ao vale xn > 0 n N ent ao a propriedade tamb em vale pois existe n0 N tal que para n > n0 tem-se xn > 0 , da
n k=1 n

ak =

n0 k=1

ak +

ak =

n0 k=1

ak +

n n0 k=1

xk

k=n0 +1

ak+n0 n

assim se dene uma nova sequ encia (xn ) que satisfaz as propriedades do resultado anterior . Propriedade 11. lim ln(n + 1) ln(n) = 0. Demonstra c ao. lim ln( Propriedade 12. lim ln(n + 1) = 0. n n+1 1 ) = lim ln(1 + ) = ln(1) = 0. n n

Demonstra c ao. Tomando yn = n e xn = ln(n + 1) vale que yn = 1 > 0 e n+1 lim yn = , xn = ln( ) logo n lim logo lim ln(n + 1) = 0. n
n k ln(k ) lim . 2 ln(n) n k=1 n k=1

yn n+1 = lim ln( )=0 xn n

Exemplo 7. Calcule o limite

Tomando xn =

k ln(k ) e yn = n2 ln(n) vale lim yn = m e yn > 0, logo por

Stolz-Ces` aro podemos avaliar o limite lim (n + 1) ln(n + 1) (n + 1)2 ln(n + 1) n ln(n)

como para n grande ln(n + 1) ln(n) lim (n + 1) ln(n + 1) (n + 1) (n + 1) 1 = lim = lim = . (n + 1)2 ln(n + 1) n ln(n) (n + 1)2 n 2n + 1 2

 CAP ITULO 1. MEDIAS

13

Logo

n k ln(k ) lim = 1. n2 ln(n) k=1

1.3.1

Limite da m edia geom etrica

Propriedade 13 (Limite da m edia geom etrica). Seja (xn ) tal que xn > 0, se lim xn = n 1 a ent ao lim( xk ) n = a.
k=1

Demonstra c ao. Seja a > 0 . lim xn = a ent ao lim ln(xn ) = ln(a) que implica lim
n ln(xk ) k=1

= ln(a), lim ln((

n k=1

xk ) n ) = ln(a)

pela continuidade e propriedade bijetiva de ln segue lim(

n

xk ) n = a.

k=1

Se a = 0 usamos desigualdade das m edias e teorema do sandu che 0 < (( da 0 (( ent ao lim( em todos esses casos.
n

xk ) )

1 n

n xk k=1

k=1 n

xk ) ) lim
n

1 n

n xk k=1

k=1

=0

xk ) n = a

k=1

Demonstra c ao.[2] Usamos o resultado de que se lim Qyn = a ent ao lim n yn = a. n Tomando yn = xk segue que Qyn = xn+1 logo lim Qyn = lim xn+1 = a implica que lim n yn = a = lim[n] xk = a..
n k=1 n k=1
1

k=1

Propriedade 14. Se lim xn = , com xn > 0 ent ao lim(

n xk )=

 CAP ITULO 1. MEDIAS

14

1 n 1 n 1 = 0 da lim ( Demonstra c ao. Se lim xn = ent ao lim ) = 0 que xn xk k=1

=yn

implica

n 1 1 n lim = = lim( xk ). yn k=1

1.3.2

Limite da m edia Harm onica

Propriedade 15. Se (xn ) uma sequ encia de termos n ao nulos. Se lim xn = a ent ao n lim = a. n 1
k=1 xk

Demonstra c ao. Se a = 0 temos lim xn = a implica lim

n 1 xk

1 1 = da xn a

lim k=1 n e invertendo tem-se

1 a

n lim = a. n 1
k=1 xk

Vejamos o caso a = 0 vale |xk | n 0 n n 1

n k=1 |xk | k=1

n dai por sandu che segue lim = 0. n 1 Vale |

n k=1

1 | xk

n k=1

k=1

|xk |

1 da |xk | n n n n 1 1
k=1 |xk | k=1 xk

n xk k=1

n por sandu che novamente, segue que lim n 1

k=1 xk

n = 0 da lim = 0. n 1
k=1 xk

 CAP ITULO 1. MEDIAS

15

Corol ario 4. Sabendo que lim xn = a, xn > 0 podemos provar que lim usando a desigualdade das m edias e teorema do sandu che 1 ak n n a n k n k=1 ak k=1
n n k=1

n k=1

1 n ak =a

ak 1 n n = a e lim por sandu che . usando que lim segue que lim ak n n k=1 k=1 ak
n n k=1

1.4

M edia aritm etica

Propriedade 16. Sendo v1 e v2 m nimo e m aximo elemento da sequ encia (vk )n ao 1 ent vale v1
n k=1

vk v2 ,

isto e, a m edia aritm etica est a entre o m aximo e o m nimo dos valores. Demonstra c ao. Para qualquer k vale v1 vk v2 , aplicamos em nv1
n k=1 n n k=1

que resulta

vk nv2 nalmente dividindo por n segue vk v2 .

v1 Propriedade 17. Sejam

k=1

ak (, ) e tk , bk > 0 para cada k In , ent ao vale que bk n tk ak k=1 (, ). n tk bk

k=1

Demonstra c ao. Vale para cada k < tk ak < tk bk

como cada tk bk > 0, podemos multiplicar por tal termo em ambos lados sem alterar a desigualdade, camos ent ao com tk bk < tk ak < tk bk

 CAP ITULO 1. MEDIAS

16

, tomando a soma

n k=1

,sabendo que a soma preserva desigualdades, da segue que

n k=1 n k=1 n n k=1

tk bk <

tk a k <

tk bk

logo <
n

tk a k < tk bk

k=1 n k=1

tk ak (, ). tk bk
n k=1 n k=1

implicando que

k=1 n k=1

ak (, ). bk

Em especial tomando tk = 1 tem-se

Propriedade 18. Sejam sequ encias (ak ) , (bk ) em um corpo ordenado K onde cada a1 an ak bk e positivo, sendo o m nimo e o m aximo dos termos da sequ encia de termo b1 bn bk ent ao vale n ak a1 an k=1 . n b1 bn bk
k=1

Demonstra c ao. Para todo k vale bk > 0, aplicamos a soma

n k=1 n

a1 ak an a1 an bk ak bk pois b1 bk bn b1 bn

em ambos lados, de onde segue an a1 bk ak bk b1 bn k=1 k=1 k=1

n n

dividindo por

n k=1

bk que e positivo, temos nalmente

n

a1 =1 k n b1
k=1

ak bk

an . bn