Anotacoes sobre Medias

Rodrigo Carlos Silva de Lima

rodrigo.u.math@gmail.com

Sum
ario
1 M
edias
1.1

Um denicao inicial das medias . . . . . . . . . . . . . . . . . . . . . . . .

1.1.1

Denicao geral das medias . . . . . . . . . . . . . . . . . . . . . . .

1.2

Media geometrica e media aritmetica . . . . . . . . . . . . . . . . . . . . .

1.3

Soma de Ces`aro e limite das medias . . . . . . . . . . . . . . . . . . . . . .

1.4

1.3.1

Limite da media geometrica . . . . . . . . . . . . . . . . . . . . . . 13

1.3.2

Limite da media Harmonica . . . . . . . . . . . . . . . . . . . . . . 14

Media aritmetica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

Captulo 1
M
edias
1.1

Um definic
ao inicial das m
edias

Sejam tres n
umeros x3 , x2 , x1 distintos entre si.

m Definicao

1 (Media aritmetica-Mesotes aritmetique). Eles estao em media aritmetica

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

m Definicao

2 (Media geometrica-Mesotes geometrique).

x3 x2
x3
=
x2 x1
x2
x3 x2 x22 = x3 x2 x3 x1 x2 =

x2
x3
= .
x1
x2

m Definicao

3 (Media Harmonica-Mesotes armonique).

x3
x3 x2
=
x2 x1
x1
3

x1 x3 .


CAPITULO 1. MEDIAS

x2
x3
= .
x1
x1
Tem-se

b Propriedade 1. Se x1, x2 e x3 estao em media harmonica, entao 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
Demonstrac
ao. De

1
1
1
1

=
.
x2 x3
x1 x2

b Propriedade 2. Se x1, x2 e x3 estao em media harmonica, entao vale

x2 =
Demonstrac
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 tres medias denidas para x3 > x2 > x1 > 0, todos em N , sao chamadas de as tres
x2 =

medias antigas.
Vamos denir agora em geral as medias aritmetica, geometrica e harmonica.

1.1.1

Definic
ao geral das m
edias

Definic
ao 4 (Media harmonica). Dada a sequencia (x1 , , xn ) de n
umeros nao

nulos, sua media harmonica e denida como

MH (x1 , , xn ) =

1
x1

n
n
.
n
1 =
+ xn
1
k=1

xk


CAPITULO 1. MEDIAS

m Definicao

5 (Media aritmetica). Dada a sequencia (x1 , , xn ) , sua media aritmetica

e denida como
x1 + + xn xk
=
.
n
n
k=1
n

MA (x1 , , xn ) =

Definic
ao 6 (Media geometrica). Dada a sequencia (x1 , , xn ) de n
umeros nao-

negativos, isto e, cada xk 0, sua media geometrica e denida como

MG (x1 , , xn ) = n x1 .x2 xn =

(
n

) n1
xk

k=1

A media geometrica de n n
umeros nao-negativos e a raiz n-esima do produto de tais
elementos.

m Definicao

7 (Media ). (Analisar essa denicao)

Seja A o conjunto das sequencias nitas com elementos em um certo espaco metrico
(X, d) . Uma media e um par (A, M ) onde M e uma funcao M : A B, com X B tal
que
M (x)n1 = x, isto e, a media associa a sequencia nita que possui todos elementos

iguais `a x ao elemento x.
Dentre n elementos, se uma grande quantidade de termos esta proxima de a, ent
ao a

media desses n elementos esta proxima de a. Dado n N . > 0 n0 N e >

0 tal que, se d(xk , a) < para p ndices n p n0 entao d(M (xk )n1 , a) < .

1.2

M
edia geom
etrica e m
edia aritm
etica

b Propriedade 3. Se (bk > 0)n1 com

bk = 1 entao

k=1

bk n isto e, se o produto de

k=1

n termos positivos e 1 entao sua soma e maior ou igual `a n.

n
n
n

Demonstrac
ao. Se cada bk = 1 entao
bk = 1 e
bk =
1 = n n e nada
k=1

k=1

k=1

temos a demonstrar, suponha entao que algum ak seja diferente de 1. Vamos demonstrar
por inducao sobre n.


CAPITULO 1. MEDIAS

Se n = 0 a propriedade vale pois

1

bk = b1 = 1 e

k=1

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

k=1

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

k=1

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
que b1 > 1 entao b2 = , tem-se (a1 1)2 > 0 e da b21 2b1 + 1 > 0, b21 + 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

entao entre os termos existe algum maior que 1 e outro menor que 1, assumimos b1 < 1 e
bn+1 > 1 da 0 < 1b1 e bn+1 1 > 0 (se nao mudamos os ndices) , denimos c1 = b1 .bn+1
e vale
c1 .

bk = 1

k=2

e por hipotese de inducao

c1 +

bk n

k=2

porem tem-se
n+1

k=1

bk = c1 +
|

{z

k=2

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

}

fatorando a u
ltima expressao
= n + 1 + (1 b1 ) (bn+1 1) > n + 1
| {z } | {z }
>0

>0

b Propriedade 4. Sejam numeros ak 0 entao

n

ak

k=1

ak ) n .

k=1

Demonstrac
ao. Se algum ak = 0 entao o produto e zero e vale a identidade,
consideramos entao ak > 0, e a desigualdade que devemos mostrar e
n

ak
k=1
n.
n

1
( ak ) n
k=1


CAPITULO 1. MEDIAS

Denimos g := (

1
n

ak ) da g =

k=1

ak , bk :=

k=1
n

ak
=
bk =
g
k=1
k=1

ak
, tem-se assim que bk 0 e
g
ak

k=1
gn

= 1.

pelo resultado anterior temos

n

ak

k=1
n

n.

ak ) n

k=1

b Propriedade 5. Se x > 0 entao x + x1 2.

Demonstrac
ao. Por desigualdade das medias
1
a1 + a2
(a1 .a2 ) 2
2

tomando a1 =

1.3

1
tem-se
a2

1
+ a2 2.
a2

Soma de Ces`
aro e limite das m
edias

m Definicao

8 (Media de Ces`aro-media aritmetica). Dada uma sequencia (xn ) deni-

mos a media de Ces`aro de (xn ) como a sequencia (yn ) dada por

1
yn =
xk
n k=1
n

yn e a media aritmetica dos n primeiros elementos de (xn )

A seguir provaremos resultados dos quais a seguinte propriedade segue como corolario
Se lim xn = a entao lim yn = a, isto e, a operacao de tomar a media de Ces`aro preserva
sequencias convergentes e seus limites.
n

m Definicao

9 (Ces`aro somavel). Se

e dita Ces`aro somavel .

xk

k=1

e convergente entao a sequencia (serie) xk


CAPITULO 1. MEDIAS

Toda sequencia convergente e Ces`aro somavel, porem existem sequencias nao convergentes que sao Ces`aro somavel .

b Propriedade 6. Se lim xnn = L = 0 entao (xn) nao e limitada ( logo nao e convergente)
.
Demonstrac
ao. Vale que lim

|xn |
= |L|, existe n0 N tal que para n > n0
n

tem-se

|xn |
n
da |xn | > nt, o que implica que |xn | nao e limitada.
xn
Se (xn ) fosse limitada entao lim
= 0 pelo que ja provamos antes .
n
0 < t < |L| <

$ Corolario 1. Se lim xk = L = 0 entao lim

segue que

xk

k=1

= L = 0 pelo resultado anterior

xk = sn nao e limitada, logo nao e convergente . Chegamos entao no

k=1

resultado: lim xk = L = 0 entao

xk = sn nao converge .

k=1

b Propriedade 7 (Teorema de Stolz-Ces`aro). Dada uma sequencia (xn) e uma sequencia

(yn ) crescente com
lim yn =
xn
xn
= a entao lim
= a.
yn
yn
Essa propriedade e o analogo do teorema de LHospital para sequencias

e lim

Demonstrac
ao. Como lim

xn
= a entao 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
para k > n0 tem-se a

sem alterar
(a )yk xk (a + )yk
tomamos o somatorio

n1

em ambos lados

k=n0 +1

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


CAPITULO 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 entao
(a )(1

(a )
o que implica lim

xn
(a + )
yn

xn
= a.
yn

Z Exemplo 1. Calcule o limite

n

k
lim
.
n2
k=1

Tomamos xn = lim

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

k=1
n

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

Z Exemplo 2. Calcule o limite

n!
lim
.
n
k!
k=1

Vale

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

k=1

lim

n.n!
=1
n!(n + 1)

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

Propriedade 8. Se limzn = a e (wn ) e uma sequencia de n

umeros positivos com
n

w k zk
n

k=1
= a.
lim
wk = entao lim
n
k=1
wk
k=1


CAPITULO 1. MEDIAS

10

Demonstrac
ao. Tomamos xn =

wk .zk e yn =

wk entao xn = wn+1 .zn+1

k=1

k=1

xn
, yn = wn+1 > 0 entao yn e crescente e lim yn = , temos tambem que
=
yn
wn+1 zn+1
= zn+1 cujo limite existe e vale a entao nessas condicoes vale
wn+1
n

wk .zk
xn
k=1
= a.
lim
= lim
n
yn
wk
k=1

$ Corolario 2. Tomando wn = 1 entao

wk = n e seu limite e innito, tomando uma

k=1

sequencia (zn ) tal que lim zn = a entao segue que

n

lim
n

, isto e, se lim zn = a entao lim

Z Exemplo 3. Tomando z

= a.

n
=

1
tem-se lim zn = 0 e da
n
n

lim k=1
n

Z Exemplo 4. Tomando z

=a

zk

k=1

zk

k=1

1
k

= 0 = lim

Hn
.
n

= a n com a > 0 tem-se lim zn = 1 e da

n

ak

lim k=1
n

= 1.

b Propriedade 9 (Stolz-Ces`aro para limite innito).

Seja (bn ) crescente e ilimitada .

an
an
= entao lim
=
Se lim
bn
bn
Demonstrac
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 ,


CAPITULO 1. MEDIAS

aplicando

11

segue por soma telescopica

k=n0 +1

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

Z Exemplo 5. Vale lim H

an
= .
bn

= logo
lim

Hk

k=1

Z Exemplo 6. A reciproca da propriedade nem sempre vale, y

lim

= n, xn = (1)n vale

xn
(1)n
xn
(2)(1)n
= lim
= 0 e lim
= lim
nao existe.
yn
n
yn
1

b Propriedade 10. Se lim an = e an > 0 n N entao lim

ak
k=1

= .

Demonstrac
ao. Essa prova vale mesmo se (an ) nao tem a restricao de an > 0
n

ak , bn = n e
. Aplicamos o teorema de Stolz-Ces`aro para limite innito . an =
crescente e ilimitada e vale

k=1

ak = an+1 , n = 1 logo

k=1

lim

an
= lim an+1 =
n

ak

= .
n
k=1
Demonstrac
ao.[2]

entao lim

A > 0 n0
n n0
>
implica
n

N tal que para n > n0 tem-se an > 2A entao para n > 2n0 ( que
1
) vale
2
n

ak

k=1

2A

k=n0 +1

logo

= 2A
n

lim

n n0
2A

=A
n
2

ak

k=1

= .


CAPITULO 1. MEDIAS

12

$ Corolario 3. Se lim xn = e nao vale xn > 0 n N entao a propriedade tambem

vale pois existe n0 N tal que para n > n0 tem-se xn > 0 , da
n

n0

ak

k=1

ak

k=1

k=n0 +1

n0

ak
=

nn
0

ak

k=1

z }|k {
ak+n0

k=1

assim se dene uma nova sequencia (xn ) que satisfaz as propriedades do resultado anterior
.

b Propriedade 11.
lim ln(n + 1) ln(n) = 0.
Demonstrac
ao.
lim ln(

n+1
1
) = lim ln(1 + ) = ln(1) = 0.
n
n

b Propriedade 12.
lim

ln(n + 1)
= 0.
n

Demonstrac
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

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

ln(n + 1)
= 0.
n

Z Exemplo 7. Calcule o limite

n

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

Tomando xn =

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

k=1

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


CAPITULO 1. MEDIAS

13

Logo

1.3.1

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

Limite da m
edia geom
etrica

b Propriedade
13 (Limite da media geometrica). Seja (xn ) tal que xn > 0, se lim xn =
n
a entao lim(

xk ) n = a.

k=1

Demonstrac
ao. Seja a > 0 . lim xn = a entao lim ln(xn ) = ln(a) que implica
lim

ln(xk )
k=1

= ln(a), lim ln((

xk ) n ) = ln(a)

k=1

pela continuidade e propriedade bijetiva de ln segue

lim(

xk ) n = a.

k=1

Se a = 0 usamos desigualdade das medias e teorema do sanduche

0 < ((

1
n

xk ) )

k=1

da
0 ((

xk
k=1

1
n

xk ) ) lim

k=1

xk
k=1

entao
lim(

=0

xk ) n = a

k=1

em todos esses casos.

Demonstrac
ao.[2] Usamos o resultado de que se lim Qyn = a entao lim n yn = a.
n

Tomando yn =
xk segue que Qyn = xn+1 logo lim Qyn = lim xn+1 = a implica que
k=1

lim n yn = a = lim[n] xk = a..

n

k=1

b Propriedade 14. Se lim xn = , com xn > 0 entao lim(

k=1

xkn ) =


CAPITULO 1. MEDIAS

14

1
n

1 n
1
= 0 da lim (
Demonstrac
ao. Se lim xn = entao lim
) = 0 que
xn
xk
k=1
| {z }

=yn

implica

1.3.2

1
1
lim
= = lim( xkn ).
yn
k=1

Limite da m
edia Harm
onica

b Propriedade 15. Se (xn) uma sequencia de termos nao nulos.

Se lim xn = a entao

n
lim
= a.
n
1
k=1

xk

Demonstrac
ao. Se a = 0 temos lim xn = a implica lim
n

lim k=1
n

1
xk

1
1
= da
xn
a

1
a

e invertendo tem-se
n
lim
= a.
n
1
k=1

xk

Vejamos o caso a = 0 vale

|xk |
n

0
n
n
1
n

k=1

k=1

|xk |

n
dai por sanduche segue lim
= 0.
n
1
Vale |

k=1

1
|
xk

k=1

k=1

|xk |

1
da
|xk |

 n
n


n
n

1
1
k=1

|xk |

k=1


xk
|
|

n

xk


 n
por sanduche novamente, segue que lim 
n
1
k=1

xk

k=1



 = 0 da lim n = 0.
n


1
k=1

xk


CAPITULO 1. MEDIAS

15

$ Corolario 4. Sabendo que lim xn = a, xn > 0 podemos provar que lim

akn = a

k=1

usando a desigualdade das medias e teorema do sanduche

1
ak
n
n

n
k

n
k=1
ak k=1
n

k=1

ak
1
n
=
a
e
lim
usando que lim
segue
que
lim
akn por sanduche .
n
n
k=1
k=1
ak
n

k=1

1.4

M
edia aritm
etica

b Propriedade 16. Sendo v1 e v2 mnimo e maximo elemento da sequencia (vk )n1 entao
vale

v1

vk

k=1

v2 ,

isto e, a media aritmetica esta entre o maximo e o mnimo dos valores.

Demonstrac
ao. Para qualquer k vale v1 vk v2 , aplicamos
em nv1

que resulta

k=1

vk nv2 nalmente dividindo por n segue

k=1
n

v1

b Propriedade 17. Sejam ab k

vk

k=1

v2

(, ) e tk , bk > 0 para cada k In , entao vale que

k=1
n

tk ak
(, ).
tk bk

k=1

Demonstrac
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 entao com
tk bk < tk ak < tk bk


CAPITULO 1. MEDIAS

, tomando a soma

16

,sabendo que a soma preserva desigualdades, da segue que

k=1
n

tk bk <

k=1

tk a k <

k=1

logo

k=1

<

tk bk

tk a k

k=1
n

<
tk bk

k=1
n

implicando que

tk ak

k=1
n

(, ).
tk bk

k=1

Em especial tomando tk = 1 tem-se

ak

k=1
n

(, ).
bk

k=1

b Propriedade 18. Sejam sequencias (ak ) , (bk ) em um corpo ordenado K onde cada
bk e positivo, sendo

a1
an
ak
o mnimo e
o maximo dos termos da sequencia de termo
b1
bn
bk

entao vale

a1
k=1
n

b1

ak

bk

an
.
bn

k=1

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

a1
ak
an
a1
an

bk
ak bk
pois
b1
bk
bn
b1
bn

em ambos lados, de onde segue

k=1
n

an
a1
bk
ak
bk
b1
bn
k=1
k=1
k=1

dividindo por

bk que e positivo, temos nalmente

k=1
n

a1
k=1
n

b1
k=1

ak

bk

an
.
bn