CAPTULO III

SUCESSES DE TERMOS REAIS

1. Generalidades
Chama-se sucesso de termos reais a qualquer aplicao de N em R . O real u1 que
corresponde ao natural 1 o primeiro termo da sucesso ; o real u2 que corresponde ao
natural 2 o segundo termo da sucesso ; em geral, o real un que corresponde ao natural
n o ensimo termo geral ou ainda termo de ordem n da sucesso. Os termos de
uma sucesso dispem-se por ordem crescente dos respectivos ndices (por ordem
crescente dos naturais a que correspondem) : u1 , u2 , ... , un , ... .
A forma mais comum de definir em concreto na prtica uma sucesso indicar uma
expresso analtica para o termo geral un , a qual permite obter qualquer termo particular
por simples substituio de n pelos sucessivos valores desta varivel; em certos casos
porm a conveniente definio de un requer duas ou mais expresses analticas. Os trs
seguintes exemplos so elucidativos :
1 / n , n par
2n + 1
1
;
wn =
un =
; vn = (1) n 2
.
n +1
n +1
2 + n , n mpar

Um outro modo menos usual de definir uma sucesso consiste em dar uma regra que
permita o clculo de cada termo custa de um ou mais termos precedentes (definio por
recorrncia), como nos dois exemplos seguintes:
1
u n 1 , u1 = 1/2 ; vn = v n 1 + v n 2 , v2 = 1/2 v1 = -1 .
n +1
Por vezes a expresso analtica que define o termo geral un s tem significado ininterruptamente para n > k , com k natural fixo, caso em que primeiro termo da sucesso
se obtm com n = k + 1 , o segundo com n = k + 2 e assim por diante. Estes casos
podem sempre reconverter-se situao standard fazendo vn = uk + n , ou seja,
un =

v1 = uk + 1 , v2 = uk + 2 , v3 = uk + 3 , etc.
o caso por exemplo de,

1
,
(n 1) (n 2)
que s tem significado para n > 2 e que gera ou origina a mesma sucesso que o termo
geral
1
(n=1,2, , n, ).
vn = u2 + n =
(n + 1) n
Uma sucesso u1 , u2 , ... , un , ... de nmeros reais diz-se majorada se e s se existir
um k R tal que un k , qualquer que seja n N ; diz-se minorada se e s se existir
um k R tal que un k , qualquer que seja n N ; diz-se limitada se s se for
majorada e minorada simultaneamente.
un =

32

Uma sucesso diz-se crescente se e s se u1 u2 ... un ... e diz-se

decrescente se e s se u1 u2 ... un ... ; genericamente, designam-se por
montonas as sucesses crescentes ou decrescentes .
No desenvolvimento da teoria desempenha papel significativo o chamado conjunto dos
termos de uma sucesso. Trata-se do conjunto U = { x : n N : un = x } , conjunto
que, dependendo da sucesso, pode ser finito ou infinito numervel. Por exemplo, para a
sucesso un = 1/n tem-se U = { 1 , 1/2 , 1/3 , } e para a sucesso un = (-1)n tem-se
U = { -1 , 1 }. Cada elemento do conjunto U aparece pelo menos uma vez como termo
da sucesso, mas nada impede que se repita um nmero finito ou uma infinidade de
vezes, como acontece no caso da sucesso de termo geral un = [(-1)n + 1] .1/n em que se
tem U = { 0 , 1 , 1/2 , 1/3 , } , sendo que o zero se repete uma infinidade de vezes
na sucesso (so nulos todos os termos de ordem mpar) .
2. Conceito de limite. Teoremas fundamentais

Diz-se que lim un = u (finito, + ou - ) se s se :

> 0 , n : n > n un V (u) .

Consoante u seja finito, mais infinito ou menos infinito, a condio un V (u) pode
escrever-se respectivamente | un u | < , un > 1/ ou un < - 1/ .
As sucesses com limite finito dizem-se convergentes e as sucesses convergentes para
zero dizem-se infinitsimos . Tendo em conta a definio de limite, conclui-se de
imediato que un converge para o real u se e s se a sucesso vn = un u um infinitsimo.
Conclui-se com facilidade que lim un = u (finito) lim | un | = | u | ; esta implicao
resulta de imediato do facto de ser | | un | - | u | | | un - u | , desigualdade sobre mdulos
cuja justificao se deixa ao cuidado do leitor . Note-se, no entanto, que pode existir
lim | un | sem que exista lim un , como mostra o exemplo da sucesso un = (-1)n. No
entanto, tem-se que lim un = 0 equivale a lim | un | = 0 , como facilmente se conclui
recorrendo definio de limite.
Estudam-se seguidamente alguns teoremas importantes sobre limites.
Teorema 1 : Sendo lim un = u e v u no pode ter-se lim un = v (unicidade do limite)

Demonstrao : Com v u possvel , escolhendo > 0 suficientemente pequeno, ter

duas vizinhanas V (u) e V (v) sem elementos comuns (disjuntas). Ora, sendo lim un =
u tem-se un V (u) de certa ordem em diante no podendo portanto ter-se un V (v)
de certa ordem em diante, ou seja, no pode ter-se lim un = v .

33

Teorema 2 : Sucesso com limite finito limitada

Demonstrao : Sendo lim un = u (finito), tem-se de certa ordem m em diante

un V1 (u) =] u 1 , u + 1 [ ,
sendo portanto a sucesso majorada por = Mx { u1 , u2 , ... , um , u + 1 } e
minorada por = Min { u1 , u2 , ... , um , u 1 }.
Note-se que a inversa do teorema precedente no verdadeira como mostra o caso da
sucesso limitada un = (-1)n .
Teorema 3 : Sendo un uma sucesso crescente, existe sempre lim un , finito se a
sucesso for majorada, + no caso contrrio. Sendo un uma sucesso decrescente,
existe sempre lim un , finito se a sucesso for minorada, - no caso contrrio

Demonstrao : Seja u1 , u2 , ... , un , ... uma sucesso montona crescente. Se a sucesso

no for majorada, tem-se que para qualquer > 0 existe certo termo de ordem n que
excede 1/ ; dado tratar-se de uma sucesso crescente, tem-se ento, a partir da referida
ordem n , un > 1/ , ou seja, lim un = + .
Se a sucesso for majorada, seja U o conjunto dos reais que so termos da sucesso ;
claro que U igualmente majorado e tem portanto supremo , = Sup U . Vejamos
que se tem precisamente lim un = . Fixado um qualquer > 0 , existe pelo menos um
x U tal que, - < x , caso contrrio - seria um majorante de U inferior ao
respectivo supremo; esse x ser um certo termo da sucesso, seja ele o termo de ordem
n . Ento, devido monotonia crescente da sucesso todos os termos a partir dessa
ordem pertencem ao intervalo ] - , ] , ou seja, n > n | un - | < , o que implica
lim un = .
Tratando-se de uma sucesso montona decrescente, uma argumentao semelhante
conduz s seguintes concluses: se a sucesso no for minorada, tem-se lim un = - ; se
for minorada, tem-se lim un = = Inf U , em que U designa como no caso da monotonia
crescente o conjunto dos reais que so termos da sucesso .
As concluses precedentes subsistem no caso da monotonia s ocorrer a partir de certa
ordem, como facilmente se compreende , pelo que se pode enunciar o seguinte,
Corolrio : Sendo un uma sucesso crescente de certa ordem em diante, existe sempre
lim un , finito se a sucesso for majorada, + no caso contrrio. Sendo un uma sucesso
decrescente de certa ordem em diante, existe sempre lim un , finito se a sucesso for
minorada, - no caso contrrio

Nos teoremas seguintes intervm uma condio importante verificada por certas
sucesses. Uma sucesso de nmeros reais verifica a condio de Cauchy se e s se,
34

 > 0 , n : n > m > n | un - um | < .

Prova-se com facilidade que as sucesses convergentes verificam a condio de Cauchy.
Teorema 4 : Sendo lim un = u (finito) , ento a sucesso un verifica a condio de
Cauchy

Demonstrao : Por ser lim un = u (finito) , tem-se,

> 0 , n : n > n | un - u | < /2 .

Considerando n > m > n , temos ento ,
| un - um | = | un - u + u - um | | un - u| + | u - um | < /2 + /2 = ,
ficando assim provado que a sucesso verifica a condio de Cauchy.
No teorema seguinte vamos ver que, inversamente, se uma sucesso verifica a condio
de Cauchy. ento tem limite finito. Com vista a facilitar a demonstrao, vejamos dois
resultados que nela sero utilizados:
a) Se uma sucesso verifica a condio de Cauchy, ento ela limitada. Com efeito,
fixado por exemplo = 1 , existe uma ordem n1 tal que,
n > m > n1 | un - um | < 1 ,
ou seja , fixando por exemplo m = n1 + 1 , tem-se , para n > m , um - 1 < un < um + 1
; como os termos at ordem m (inclusiv) so em nmero finito e os restantes so
minorados por um -1 e majorados por um +1 , conclui-se que a sucesso limitada.
b) Se um conjunto X limitado tem dois quaisquer dos seus elementos diferindo em valor
absoluto por menos de > 0, ento tem-se, 0 Sup X - Inf X . Com efeito, se fosse
Sup X - Inf X > , tomando > 0 tal que Sup X - Inf X - > , ter-se-ia,
(Sup X - /2) - (Inf X + /2) > ,
e haveria elementos x , x X tais que,
x > Sup X - /2 e x< Inf X + /2 ,
donde resultaria,
x - x > (Sup X - /2) - (Inf X + /2) > ,
o que seria contrrio hiptese de quaisquer dois elementos de X diferirem em valor
absoluto por menos de .

35

Posto isto, podemos enunciar e demonstrar o,

Teorema 5 : Se un verifica a condio de Cauchy , ento existe finito lim un

Demonstrao : Seja Xn o conjunto dos termos da sucesso com ordens de n em diante

(inclusiv o n). Como se disse na alnea a) das consideraes que precedem o teorema, a
sucesso limitada (porque supostamente verifica a condio de Cauchy) e da decorre
que os conjuntos Xn so limitados. Por outro lado, tem-se X1 X2 ... Xn ... e
ento, fazendo ln = Inf Xn e Ln = Sup Xn , resulta : l1 l2 ... ln ... e L1 L2 ...
Ln ... ; existem portanto l = lim ln e L = lim Ln (ver teorema 3) e claro que l
L;
alm disso , l e L so finitos porque ln e Ln so sucesses limitadas (tem-se l1 ln
Ln L1).
A partir da ordem n os conjuntos Xn verificam a seguinte propriedade: quaisquer dois
dos seus elementos diferem em valor absoluto por menos de , porque se trata de dois
termos up e uk com ordens maiores que n e porque a condio de Cauchy (supostamente
verificada pela sucesso) garante que nesse caso | up - uk | < . Pelo que ficou dito na
alnea b) das consideraes que precedem o teorema, tem-se ento 0 Ln - ln para
n > n . Ento dever ser 0 L - l donde resulta, devido arbitrariedade do valor
de , L = l .
Vejamos agora que precisamente lim un = L = l . Como para cada n , xn pertence ao
conjunto Xn , tem-se ln un Ln e de lim ln = l = L = lim Ln resulta ento por
enquadramento (ver adiante) que tambm lim un = L = l , como se queria provar.
O teorema est demonstrado.
Os teoremas que a seguir se demonstram relacionam o conceito de limite de uma
sucesso com algumas noes topolgicas j estudadas.
Teorema 6 : Sendo A R , a condio necessria e suficiente para que a (a R ,
a = + ou a = - ) seja ponto de acumulao de A que exista exista uma sucesso
xn de elementos de A, com infinitos termos distintos de a, tal que lim xn = a

Demonstrao : A condio necessria. Sendo a ponto de acumulao de A , em

qualquer V (a) existe pelo menos um x a pertencente a A. Tomando ento n = 1/n ,
tem-se que em V1/n (a) existe um xn a pertencente ao conjunto A. Vejamos que se tem
lim xn = a : dado um qualquer > 0 , tem-se para n > n (com certa ordem n ) que
1/n < e portanto,
n > n xn V1/n (a) [ V1/n (a) V (a) ] xn V (a) ,
assim se concluindo que lim xn = a .
A condio suficiente. Se existe uma sucesso xn de elementos de A com infinitos
termos distintos de a tal que lim xn = a, vejamos que a ponto de acumulao de A.
Dada uma qualquer V (a) nela se encontram todos os termos xn de certa ordem em

36

diante (por ser lim xn = a ) e portanto, dado haver infinitos termos da sucesso distintos
de a , nela se encontra pelo menos um elemento de A distinto de a , logo a ponto de
acumulao do conjunto A , como se pretendia provar.
Teorema 7 : Um real a aderente de um conjunto A R se e s se existe uma sucesso xn de elementos de A tal que lim xn = a

Demonstrao : Se a Ad A = A A , ou a A ou a A . No primeiro caso, a

sucesso de termo geral xn = a A tem por limite o ponto a ; no segundo caso, ou seja,
se a A , o teorema 6 garante que existe uma sucesso xn de elementos de A que tem
por limite o ponto a.
Inversamente, se existe uma sucesso xn de elementos de A que tem por limite o ponto
a, das duas uma: ou os termos da sucesso so todos iguais a a de certa ordem em diante
e ento a A ; ou h infinitos termos xn distintos de a e ento pelo teorema 6 tem-se
a A ; em qualquer dos casos a Ad A = A A .
Teorema 8 : Um conjunto A R fechado se e s se, qualquer que seja a sucesso xn
de elementos de A com limite real , esse limite pertence ao conjunto A

Demonstrao : Se A fechado, ento A = Ad A . Seja xn uma qualquer sucesso de

elementos de A tal que a = lim xn (a R ) ; ento, pelo teorema 7, esse real a pertence
a Ad A , logo pertence a A .
Inversamente, se para qualquer sucesso xn de elementos de A com limite real esse
limite pertence a A , ento A = Ad A (ou seja, A fechado). Basta provar que Ad A A ,
porque a incluso contrria sempre verdadeira. Ora dado um qualquer a Ad A , o
teorema 7 garante a existncia de uma sucesso xn de elementos de A e com limite
real a = lim xn e portanto, por hiptese, a A . Fica assim provada a incluso desejada.
3. Sublimites. Teoremas fundamentais

D-se o nome de subsucesso da sucesso u1 , u2 , ... , un , ... a qualquer sucesso

u1 , u 2 , ... , u n , ... em que os n constituem uma sucesso estritamente crescente de
nmeros naturais. Claro que se lim un = u , tambm lim u n = u , porque se a partir de
certa ordem n se tem un V (u) , a partir dessa mesma ordem tem-se tambm
u n V (u) , porque n > n n n > n . Note-se que esta propriedade vlida
mesmo no caso mais geral em que n uma sucesso de nmeros naturais, no necessariamente crescente , desde que lim n = + : com efeito, sendo n a ordem a
partir
da qual se tem un V (u) e sendo k a ordem a partir da qual se tem n > n , resulta
que n > k n > n u n V (u) , assim se concluindo que lim u n = u .

37

Os limites das subsucesses de uma sucesso de chamam-se sublimites da sucesso

original.
O teorema seguinte tem grande utilidade prtica na determinao dos sublimites de uma
sucesso :
Teorema 9 : Dada a sucesso un considerem-se as seguintes subsucesses em nmero
finito :
u1 , u 2 , ... , u n , ... , com limite
u 1 , u 2 , ... , u n , ... , com limite

.
u1 , u 2 , ... , u n , ... , com limite
e admita-se que cada termo un da sucesso est numa e numa s das subsucesses
consideradas. Nessas condies, nenhum , , , pode ser sublimite de un , ou
seja, a sucesso apenas admite os sublimites , , ,
Demonstrao : Dado , , , fixe-se > 0 suficientemente pequeno de tal
forma que a vizinhana V () no tenha pontos em comum com nenhuma das
vizinhanas V () , V () , , V () . Todos os termos de u n excepto quando muito
um nmero finito deles pertencem a V () ; todos os termos de u n excepto quando
muito um nmero finito deles pertencem a V () ; etc. Como as subsucesses so em
nmero finito e nelas se encontram todos os termos de un , pode concluir-se que quando
muito apenas um nmero finito de termos un podero pertencer a V (), o que exclui a
possibilidade de ser sublimite da sucesso.
Como aplicao do teorema anterior, considere-se a sucesso un = (-1)n . n + n . Nas
duas subsucesses, u2n com limite + e u2n-1 com limite 0 , encontram-se todos os
termos da sucesso original e, portanto, esta apenas admite como sublimites 0 e + .
Note-se ainda que o teorema anterior deixa de ser vlido se as subsucesses referidas no
enunciado forem em numero infinito. Por exemplo, no caso da sucesso,
1 , 1 , 1/2 , 1 , 1/2 , 1/3 , 1 , 1/2 , 1/3 , 1/4 , , 1 , 1/2 , , 1/m , ,
considerando as subsucesses,
1 , 1 , 1 , , 1 , , com limite igual a 1
1/2 , 1/2 , , 1/2 , , com limite igual a 1/2
1/3 , 1/3 , , 1/3 , , com limite igual a 1/3
.

38

1/m , 1/m , , 1/m , , com limite igual a 1/m

..
cada termo da sucesso original figura numa e numa s das subsucesses ; no entanto a
sucesso dada admite tambm o sublimite 0 dado ser nulo o limite da seguinte subsucesso da sucesso dada : 1, 1/2 , 1/3 , 1/4 , .
Estudam-se seguidamente alguns importantes teoremas envolvendo o conceito de
sublimite.
Teorema 10 : Qualquer sucesso un de nmeros reais, admite uma subsucesso u n

montona
Demonstrao : Seja K o conjunto dos naturais tais que n > un > u . Se K
for infinito, sejam 1 < 2 < ... < n < ... os respectivos elementos dispostos por ordem
cres-cente; como n K , tem-se p > n up > u n e resulta ento, tomando p = n+1 >

n , u

n +1

> u n , o que prova ser u n uma subsucesso crescente de un .

Caso K seja finito, seja 1 = 1 + Mx K se K e 1 = 1 se K = ; como 1 K ,

resulta da definio de K a existncia de um natural 2 > 1 tal que u 2 u 1 (caso
contrrio seria 1 K ) ; e como, por sua vez, 2 K , resulta igualmente a existncia de
3 > 2 > 1 tal que u 3 u 2 u 1 ; prosseguindo deste modo, obtm-se uma
subsucesso u n montona decrescente.
So corolrios imediatos deste teorema:
Corolrio 1 : Qualquer sucesso un de nmeros reais, admite uma subsucesso u n com

limite (finito ou infinito)

Demonstrao : Resulta imediatamente do teorema anterior, conjugado com o teorema 3.
Corolrio 2 : Qualquer sucesso limitada un de nmeros reais, admite uma subsucesso
u n com limite finito

Demonstrao : Resulta do corolrio anterior conjugado com o facto de uma sucesso

limitada no admitir subsucesses com limites infinitos.

Teorema 11 : Para que um certo b (b R , b = + ou b = - ) seja sublimite de uma

sucesso real xn necessrio e suficiente que para qualquer V (b) e qualquer inteiro m,
exista um inteiro k > m tal que xk V (b)

39

Demonstrao : A condio evidentemente necessria. Vejamos que igualmente

suficiente. Supondo a condio verificada, defina-se a subsucesso x n de xn pela
seguinte condio: 0 = 1 e n o menor inteiro maior que n-1 que faz x n V1/n
(b). Como 1/n < a partir de certa ordem n , tem-se x n V1/n (b) V (b) , a partir
dessa mesma ordem, ou seja, b = lim x n , logo b sublimite de xn .
Teorema 12 : A condio necessria e suficiente para que uma sucesso tenha limite
que no admita dois sublimites distintos.

Demonstrao : Que a condio necessria ficou demonstrado nas consideraes que

imediatamente precedem o conceito de sublimite. Como se viu ento, se lim un = u ,
tambm lim u n = u , qualquer que seja a subsucesso u n .
Vejamos que a condio tambm suficiente. Admita-se ento que a (real , + - ) o
nico sublimite da sucesso un . Caso a sucesso un no tivesse a como limite , ento
existiria um certo > 0 tal que un V (a) para infinitos valores de n, sejam eles por
ordem crescente 1 , 2 , ... , n , ... ; a correspondente subsucesso u n no poderia
evidentemente ter a como limite nem como sublimite mas admitiria um sublimite (pelo
corolrio 1 do teorema 10) o qual seria assim distinto de a ; este sublimite seria tambm
um sublimite da sucesso inicial un , contrariando-se assim a hiptese assumida de a ser o
nico sublimite desta sucesso.
Teorema 13 : O conjunto S dos sublimites finitos de uma sucesso xn um conjunto
fechado

Demonstrao : Podemos supor que S , pois no caso de S ser vazio obviamente

fechado. Para provar que S fechado bastar provar que S S. Dado a S , em
qualquer V (a) existe pelo menos um x a pertencente a S , por definio de ponto
de acumulao. Claro que esse x , por pertencer a S , ser limite de uma certa
subsucesso x n de xn . Fazendo = - d(x , a) > 0 , tem-se que todos os termos de
x n se encontram em V (x ) de certa ordem n em diante; ento, dado um qualquer

inteiro m, basta escolher n0 a verificar n

m,

> m e n0 > n para se ter, com k = n

>

d(xk , a) d(xk , x ) + d(x , a) < + d(x , a) = ,

ou seja, xk V (a) ; tal significa, de acordo com o teorema 11, que o ponto a sublimite da sucesso xn , ou seja, a S . Assim se prova que S S , ou seja, que o conjunto S
fechado.
Estamos agora em condies de definir os conceitos de limite mnimo e limite mximo de
uma sucesso real. Consideremos os seguintes casos :

40

a) Se a sucesso un limitada, o conjunto dos seus sublimites um subconjunto de R

fechado (ver teorema 13) e obviamente limitado . Tal conjunto admite ento mximo e
mnimo e pode definir-se : lim max un = maior dos sublimites ; lim min un = menor dos
sublimites .
b) Se a sucesso un no majorada mas minorada, admite + como sublimite e ento
define-se lim max un = + . Quanto ao limite mnimo, dois casos se podem dar : ou no
h sublimites reais, sendo + o nico sublimite e nesse caso tambm lim min un = + ;
ou h sublimites reais e ento o respectivo conjunto ser fechado e minorado, tendo
portanto mnimo, mnimo esse que ser precisamente lim min un .
c) Se a sucesso un majorada mas no minorada, admite - como sublimite e ento
define-se lim min un = - . Quanto ao limite mximo, dois casos se podem dar : ou no
h sublimites reais, sendo - o nico sublimite e nesse caso tambm lim max un = -
; ou h sublimites reais e ento o respectivo conjunto ser fechado e majorado, tendo
portanto mximo, mximo esse que ser precisamente lim mx un .
d) Se a sucesso un no majorada nem minorada, admite - e + como sublimites e
tem-se ento lim min un = - e lim max un = +.
Claro que lim min un lim max un e, para qualquer sublimite da sucesso, tem-se,
lim min un lim max un . As consideraes precedentes e o disposto no teorema
12 permitem enunciar :
Teorema 14 : A condio necessria e suficiente para que a sucesso un tenha limite
que se verifique a igualdade lim min un = lim max un , sendo nesse caso o valor comum o
limite da sucesso
4. Regras elementares para clculo de limites
4.1 Soma, produto e quociente

As regras bsicas do clculo de limites, bem como os casos de indeterminao a que as

mesmas podem conduzir, so supostamente conhecidas. Assim:
a) Limite da soma : lim (un + vn ) = lim un + lim vn , com as convenes seguintes:
a + () = () + a = ( a real) ; (+) + (+) = + ; (-) + (-) = - .
Casos de indeterminao : (+) + (-) e (-) + (+) .
b) Limite do produto : lim (un . vn ) = lim un . lim vn , com as convenes seguintes:
a . () = () . a = ( a real positivo) ; a . () = () . a = m ( a real
negativo) ; (+) . (+) = (-) . (-) = + ; (+) . (-) = (-) . (+) = - .

Casos de indeterminao : () . 0 e 0 . () .
c) Limite do quociente : lim (un / vn ) = lim un / lim vn , com as convenes seguintes:

41

a/() = 0 ; ()/a = ( a real positivo) ; ()/a = m ( a real negativo) .

Casos de indeterminao : 0/0 , ()/() e ()/0 .
A ttulo de exemplo demonstraremos apenas a regra do limite do quociente, no caso em
que lim un = u finito e lim vn = v finito e diferente de zero, que uma das que envolve
maior dificuldade.
Tem-se:
un
u v vn u
u v + un v n un v n v n u
u

= n
= n
=
vn
v
vn v
vn v

un ( v v n ) + v n ( un u )

vn v

| un |.| v n v | + | v n |.| un u |
;
| vn v |

de lim vn = v 0 , resulta lim | vn | = | v | > 0 e considerando um valor positivo tal

que | v | - > 0 , tem-se,
0 < | v | - < | vn | < | v | + ,
de certa ordem k em diante; por outro lado, as sucesses un e vn so limitadas ( por
serem convergentes) e , portanto , existe um tal que | un | e | vn | . Temse ento,
.|v n v| + .|u n u|
un
u
,

vn
v
|v|.(| v| )
ou seja,
un
u

.(|vn v| + |un u|) ,

vn
v
( constante )
da supracitada ordem k em diante ; e como lim | un - u | = lim | vn - v | = 0 , tambm
lim . ( | v n v | + | un u |) = 0 sendo, portanto,
un
u

vn
v

. ( | v n v | + | un u |) < ,

de certa ordem n em diante, o que prova ser lim (un / vn ) = u /v .

4.2 Potncia de expoente natural

Sendo lim un = u e k N , tem-se, aplicando a regra do limite do produto,

42

lim (un )k = uk = ( lim un )k ,

com as convenes seguintes:
(+)k = + ; (-)k = + , se k par ; (-)k = - , se k mpar .
4.3 Raiz de ndice natural

Sendo lim un = u e k N , vejamos o que se passa com lim

un . Note-se que com

k par deve ser un 0 ; com k mpar, os termos de un podem ter qualquer sinal.
1 Caso : un 0 para todos os n .

a) Quando seja u = 0 , tem-se:

> 0 , n : n > n | un | < k |

b) Quando seja u = 1 , tem-se un

un | < lim

un 1 ou 1

un - 1| | un - 1|

un - 1| = 0 lim

un = 0 ;

un un , consoante seja,

un 1 ou un 1 . Em qualquer dos casos tem-se a desigualdade |

e ento,
lim un = 1 lim | un - 1| = 0 lim |

un = 1 ;

c) Quando seja u > 0 e u 1 , tem-se lim (un / u) = 1 e ento aplicando o resultado

obtido em b),
lim

un / u = 1 lim

un

= 1 lim

un =

u ;

un > 1/ lim

u n = + .

d) Quando seja u = + , tem-se,

> 0 , n : n > n un > 1/ k

Tem-se sempre, portanto, lim
alnea d) :

un =

l i m un

desde que se convencione quanto

+ =+ .

2 Caso : un < 0 para todos ou alguns dos n .

Neste caso k deve ser mpar para se assegurar a existncia de

un no campo real .

Ento:
a) Quando seja u = 0 , o argumento da alnea a) do 1 caso aplica-se tal e qual;

43

b) Quando seja u = 1 , tem-se un 0 de certa ordem em diante e ento a desigualdade

| k un - 1| | un - 1| , obtida na alnea b) do 1 caso, vlida dessa ordem em diante
concluindo-se como ento que lim

un = 1 ;

c) Quando seja u > 0 e u 1 , o mesmo argumento que foi usado na alnea c) do 1

caso conduz a lim k un = k u ;
d) Quando seja u = + , lim

un = + como na alnea d) do primeiro caso;

e) Quando seja u < 0 , tem-se - un com limite - u > 0 e aplicando os resultados

das alneas b) e c), resulta lim k u n = k u , donde resulta lim k un = k u .
f) Quando seja u = - , tem-se,

> 0 , n : n > n un < -1/ k

Tem-se sempre, portanto, lim
alneas:

+ = + e

un =

un < -1/ lim

u n = - .

l i m un desde que se convencione quanto s

= - (k mpar) .

4.4 Potncia de expoente racional positivo

Vejamos primeiro, como introduo, a definio de potncia de expoente racional

positivo. Dado r Q+ sabe-se que r se pode representar por uma fraco irredutvel ,
r = p/q , com p, q N . esta representao que vai ser usada para definir potncia de
expoente racional positivo : ar =

a p . Com esta definio ar ( r > 0 ) carece de

sentido quando seja q par e a < 0 ( repare-se que, sendo q par ento p tem de ser
mpar porque p/q supostamente uma fraco irredutvel ) .
Esta definio de potncia de expoente racional positivo coerente com a definio
relativa ao caso de expoente natural, ou seja, com r = n natural tem-se r = n/1 e,
portanto, ar =

a n = an = a . a . ... . a (n factores) .

Tambm facilmente se constata que as regras operatrias conhecidas sobre potncias de

expoente natural se estendem, com esta definio, s potncias de expoente racional
positivo. Assim, por exemplo, com r = p/q e s = m/n , caso tenham sentido ar e as ,
tem-se:

ar. as =

ap .

am =

qn

a pn .

44

qn

am q =

qn

a pn + m q ;

caso qn e pn + mq no sejam primos entre si dividem-se ambos pelo respectivo mximo

divisor comum k assim se obtendo os quocientes e que so nmeros naturais
primos entre si : qn = k e pn + mq = k ; ento,

ar. as =

qn

a pn + m q =

a = a/ = ar + s ,

porque a fraco irredutvel / representa o racional,

/ = (k) /(k) =

p n + mq
= (p/q) + (m/n) = r + s .
qn

Note-se ainda que no se levantam problemas de existncia das sucessivas razes

envolvidas na argumentao precedente: se q ou n so pares, deve ser a 0 e a
existncia das sucessivas razes fica assegurada ; se q e n so mpares, caso em que pode
ser a < 0 , qn e so mpares e fica tambm assegurada a existncia das razes em
causa. Repare-se tambm que a igualdade,

apn . amq = apn+ mq ,

justificada pela regra de multiplicao de potncias da mesma base e expoente natural.
Vejamos ento o caso do limite da sucesso (un )r , com r Q+ . Sendo u o limite de un ,
admita-se que a representao fraccionria irredutvel de r p/q . Caso seja un 0 para
todos os n , tem-se igualmente u 0 e ento, aplicando o exposto em 4.2 e 4.3 :

lim (un )r = lim

unp =

l i m unp =

u p = ur = (lim un)r ,

com a conveno (+)r = + . Caso seja un < 0 para todos ou alguns n , q deve ser
mpar e ento tambm,

lim (un )r = lim

unp =

l i m unp =

u p = ur = (lim un)r ,

com as convenes: (+)r = + , (-)r = - se p for mpar e (-)r = + se p for par.

4.5 Potncia de expoente nulo

No caso de expoente nulo, define-se como se sabe a0 = 1 , na condio de ser a 0

( no se define 00 ) . Esta definio conserva as propriedades operatrias das potncias de
expoente racional positivo como facilmente se verifica.
Tem-se ento sempre lim ( un )0 = 1 independentemente do comportamento de un
(exigindo-se apenas que un 0 ).
4.6 - Potncia de expoente racional negativo

45

Vejamos primeiro, como introduo, a definio de a-r, com -r Q- . Como se sabe,

define-se neste caso a-r = 1/ar , tendo ar (r > 0) o significado dado em 4.4.
Nos casos em que ar (r > 0) carea de sentido (vistos em 4.4), o mesmo acontece com a-r,
acrescendo agora um novo caso especfico relativo ao expoente negativo : trata-se do
caso em que a = 0 , pois seria 0 -r = 1/0 r = 1/0 (veja-se em 4.4 que, com r > 0 , 0 r = 0 ).
Com esta definio, as regras operatrias sobre potncias de expoente racional positivo
ou nulo, transmitem-se ao caso das potncias de expoente racional negativo, como
facilmente se verifica.
Sendo lim un = u , vejamos ento o que sucede com lim (un )-r , quando seja -r racional
negativo. Supondo a existncia de (un)-r, existe tambm (un)r e alm disso un 0 ,
efectuando-se portanto o clculo de lim ( un )-r usando a relao,

lim ( un )-r = lim 1/ (un) r ,

conjugando o que se disse em 4.4 sobre lim (un)r com a regra do limite do quociente.
Quando seja lim un = u 0 , conclui-se que ,

lim ( un )-r = lim 1/(un) r = 1/ ur = u-r ,

com a conveno ()-r = 0 . Fica indeterminado o caso em que lim un = 0 , o qual exige
uma anlise cuidada do modo como un tende para zero e do valor do expoente negativo -r ; o limite pode ser + , - ou pura e simplesmente no existir.
5. Clculo de limites por enquadramento

Admita-se que un wn vn de certa ordem k em diante. fcil concluir que, sendo

lim un = lim vn = u R , tambm lim wn = u . Com efeito , verificando-se | un - u | < e
| vn - u | < das ordens p e q em diante, respectivamente, tem-se,

n > p u - < un < u +

n > q u - < vn < u + ;

ento, a partir da ordem n = Mx { p , q , k} , tem-se , por ser un wn vn , que

u - < wn < u + , donde resulta lim wn = u .
Por outro lado , sendo un wn de certa ordem em diante e lim un = + , tambm
lim wn = + , como evidente; e sendo un wn de certa ordem em diante e lim un = -
, tambm lim wn = - .
Vejamos trs exemplos de clculo de limites por enquadramento :
1) Clculo de lim n a (a > 0) . Quando seja a > 1, tem-se bn =
n

a - 1 > 0 , donde

a = bn + 1 , com bn > 0 . Ento, a = (1 + bn )n 1 + n bn , ou seja , 0 < bn (a - 1)/ n

, donde resulta de imediato por enquadramento que lim bn = 0 , ou ainda, lim

46

a =1.

Visto o caso a > 1 , o caso 0 < a < 1 imediato : tem-se 1/a > 1 , logo lim
e, portanto,
1
lim n a = lim n
=1.
1/ a
Quanto ao caso a = 1 , bvio que tambm lim

1/ a = 1

a =1.

2) Clculo de lim (1 + a/n2)n , em que a R . Designando por an o termo geral da

sucesso, tem-se :

an = 1 + n .

= 1+

a
n2

n (n 1) a 2
n (n 1) (n 2) a 3
n (n 1) ... 1 a n
4 +
6 + +
2n =
2!
3!
n!
n
n
n

a
1 a2
1
2 a3
+ (1 )
+
(

)
(

)
+ +
1
1
n
n 3! n 3
n
n 2! n 2
n 1 an
1
2
)
+ (1 ) (1 ) ( 1
n
n
n
n! n n

ento, para n > | a | ,

| a | | a |2 | a |3
| a |n
|a |
| a | | a |2
| a |n 1
+ 2 + 3 + + n =
(1 +
+ 2 + + n 1 ) =
0 | an - 1 |
n
n
n
n
n
n
n
n

|a |

| a |n

nn
|a |
1
n

|a |

1
1

|a |
n

|a |
;
n |a |

e dado que,
|a |
= 0,
n |a |
resulta por enquadramento, lim | an - 1 | = 0 , ou seja, lim an = 1 .

lim

3) Clculo de lim ( 1 + a / rn2 ) rn , em que rn uma sucesso de nmeros racionais com

limite + e a R. Sendo pn o maior inteiro que menor ou igual a rn , pn rn < pn +
1, tem-se por enquadramento que lim pn = + (dado que pn > rn -1).

Com a > 0 , tem-se a partir de certa ordem (desde que rn pn > 0 ),

1 ( 1 + a / rn2 ) rn ( 1 + a / pn2 ) pn + 1 = ( 1 + a / pn2 ) pn . ( 1 + a / pn2 ) ;
por ser pn uma sucesso de inteiros tal que lim pn = + e lim (1 + a/n2)n = 1 (ver
exemplo 2), conclui-se que,

lim ( 1 + a / pn2 ) pn . ( 1 + a / pn2 ) = 1 ,

47

donde, por enquadramento, lim ( 1 + a / rn2 ) rn = 1 .

Com a < 0 , tem-se a partir de certa ordem (desde que rn pn >

| a | ),

1 ( 1 + a / rn2 ) rn ( 1 + a / pn2 ) pn + 1 = ( 1 + a / pn2 ) pn . ( 1 + a / pn2 ) ,

e um argumento semelhante ao utilizado no caso a > 0 , permite concluir que tambm no
caso em anlise, lim ( 1 + a / rn2 ) rn = 1 .
Com a = 0 , v-se directamente que, lim ( 1 + a / rn2 ) rn = 1 .
6. Exponencial de base natural. O nmero e de Neper
6.1 Introduo

Vamos mostrar que existe limite finito para a sucesso xn = (1+ x/n)n , com x > 0 .
Tem-se,
xn = 1 + x +

n (n 1) x 2
n (n 1) (n 2) x 3
n (n 1) ... 1 x n
2 +
3 + +
n =
2!
3!
n!
n
n
n

1
2 x3
1 x2
= 1 + x + (1 )
+ (1 ) (1 )
+ +
n 2!
n
n 3!
+ (1

1
2
n 1 xn
) (1 ) ( 1
)
n
n
n
n!

e escrevendo estas igualdades para n+1 , podemos comparar xn com xn+1 e concluir que
as parcelas que tm a mesma potncia de x so maiores em xn+1 e , alm disso, xn+1 tem
ainda uma parcela positiva a mais no final.
Ento, xn < xn+1 , ou seja , trata-se de uma sucesso estritamente crescente.
Vejamos agora que se trata de uma sucesso majorada. Observando o desenvolvimento
final obtido para xn , conclui-se que,
x2
x3
xn
+
+ +
xn < 1 + x +
,
2!
3!
n!
mas dever notar-se que a soma do lado direito da desigualdade no o majorante
pretendido para a sucesso porque o respectivo valor depende da ordem n do termo da
sucesso e o que se deseja um valor real que majore todos os termos da sucesso (na
realidade basta obter um nmero que majore todos os termos da sucesso de certa ordem
48

fixa em diante, porque ento, como a sucesso montona crescente, esse mesmo
nmero majorar todos os termos da sucesso).
Vejamos ento como obter um majorante dos termos xn de certa ordem fixa em diante.
Fixando um inteiro m x , tem-se para n > m ,
xn < 1 + x +
= Km +

x2
x3
xm
x m +1
xn
=
+
+ +
+
+ +
2!
3!
m! (m + 1)!
n!
xm

m!

[1

x
x2
xnm
+
+ +
(m + 1)
( m + 1) ( m + 2 )
( m + 1) ( m + 2 ) ... n

x
x2
xnm
+
+

+
(m + 1)
( m + 1) 2
( m + 1) n m

< Km +

xm

m!

= Km +

m + 1
xm

x
m!
1
m+1

[1 +

]<

n m +1

em que,
x2
x3
x m 1
;
+
+ +
Km = 1 + x +
(m 1)!
2!
3!
atendendo agora a que m + 1 > x , tem-se a seguinte majorao para os termos xn da
sucesso :
xn < Km +

xm

m!

1
1

x
m+1

Em concluso: Sendo x > 0 , a sucesso xn = (1+ x/n)n crescente e majorada, logo

existe finito lim (1+ x/n)n . E dado que x > 0 xn 1 + x , conclui-se que lim xn > 1 .
Podemos agora estudar da existncia de lim (1+ x/n)n , no caso em que x < 0 ( no
caso de ser x = 0 bvio que o limite existe e igual unidade) . De x < 0 resulta
-x > 0 , existindo portanto lim (1- x/n)n . E como,
(1+ x/n)n . (1- x/n)n = (1- x2/n2)n ,
obtm-se,
n

(1+ x/n) =

(1 x 2 / n2 )n
(1 x / n )n

donde se conclui pela existncia de,

lim (1+ x/n)n =

1
l i m (1 x / n )n

49

(finito) ,

dado que a sucesso do numerador tende para 1 (conforme exemplo 2 do ponto 3.) e
existe significativo o limite do denominador ( como vimos maior que 1).
Portanto, em resumo, existe finito lim (1+ x/n)n , qualquer que seja x R . Este limite
ser retomado mais adiante para futuros desenvolvimentos. Designando-o provisoriamente por E(x) , das consideraes precedentes resultam de imediato as seguintes
propriedades :
1) Para qualquer x R , tem-se E(x) = 1 / E(-x) . Esta relao foi obtida para x < 0 ,
quando se provou a existncia de E(x) para valores negativos de x ; para x = 0 ela
obviamente vlida dado ser E(0) = 1 ; para x > 0 , tem-se - x < 0 , donde E(-x) = 1 / E(x)
e esta relao equivalente a E(x) = 1 / E(-x) ;
2) Para x > 0 , tem-se como vimos E(x) > 1 ; para x < 0 , dada a relao referida em 1) ,
tem-se E(x) < 1 .
6.2 O nmero e de Neper

Retome-se a sucesso xn = (1 + x/n)n e considere-se x = 1. Obtm-se assim a sucesso

an = (1 + 1/n)n que como vimos tem limite finito. Designaremos esse limite pela letra e :

e = lim (1 + 1/n)n .
Como a sucesso an = (1 + 1/n)n estritamente crescente, os seus termos daro sempre
valores menores que e . Aproveitando a majorao que se fez em 6.1 para a
sucesso xn = (1 + x/n)n (no caso x > 0 ), podemos enquadrar o nmero e de forma a
calcular o seu valor com a aproximao que se deseje. Ora viu-se que os termos da
sucesso xn (supondo x > 0 ) so majorados por,
1
xm
,
Mm = Km +

x
m!
1
m+1
com,
x2
x3
x m 1
Km = 1 + x +
+
+ +
,
2!
3!
(m 1)!
e em que m designa um qualquer inteiro maior ou igual a x . Como no caso em anlise
x = 1 , podemos tomar um qualquer m 1 para majorar os termos da sucesso. Assim,
para m = 1 , 2 , 3 , 4 , 5 obtm-se os majorantes (deixam-se os clculos ao cuidado do
leitor):

M1 = 3 ; M2 = 2,75 ; M3 = 2,7222 ... ; M4 = 2,71875 ; M5 = 2,718333 ... .

Tem-se ento, tomando por exemplo m = 5 , an < e 2,718333 ... , o que permite,
calculando os termos an para alguns valores de n, conseguir com facilidade um
enquadramento satisfatrio para o nmero e ; por exemplo, tomando n = 5000 , obtm-se
a5000 2,718010 , assim se concluindo que 2,718010 < e 2,718333 ... .

50

Prova-se que o nmero e irracional, indicando-se a seguir a parte inicial da dzima que
o representa : e = 2,71828182845 ... .
Para terminar esta apresentao do nmero e , vamos mostrar que,

e = lim ( 1 + 1 / rn ) r ,
n

em que rn uma qualquer sucesso de nmeros racionais com limite + ou - .

Vejamos primeiro o caso em que lim rn = + . Sendo pn o maior inteiro que menor ou
igual a rn , pn rn < pn + 1 , tem-se lim rn = + lim pn =+ porque pn > rn - 1 . A
partir de certa ordem (desde que seja rn pn > 0 ), tem-se ento,

1 +
pn + 1

pn

1
1
1 +
1 +

rn
pn

pn + 1

Dado que,

1
lim 1 +

pn + 1

pn + 1

1
= lim 1 +

pn

pn

1
= lim 1 +
=e,
n

por serem pn e pn + 1 sucesses de inteiros ambas com limite + , obtm--se,

1
lim 1 +

pn + 1

1
lim 1 +

pn

pn

pn + 1

1
1 +
pn +

= lim
1
1+
pn +

1
= lim 1 +

pn

51

rn

= e /1 = e

1
pn

1
. 1 +
= e.1= e,
pn

donde se conclui por enquadramento que,

1
lim 1 +
rn

pn + 1

= e.

Vejamos agora o caso em que lim rn = - . Tem-se,

r

n
n

1
1
1
1 +
. 1 +
= 1 2
rn
rn

rn

rn

1
1 +

rn

rn

1
;
1 +
=
rn
rn

1
1

( rn ) 2

de lim rn = - resulta lim (- rn ) = + e ento,

r

1
lim 1 +
= e /1 = e ,
rn

pois como se viu no exemplo 3 do ponto 5. a sucesso do denominador tende para a

unidade.

O leitor mais atento poder neste momento perguntar: mas a argumentao precedente
no seria aplicvel se rn fosse uma sucesso de irracionais ? Aparentemente sim, mas o
problema que neste momento do nosso estudo no definimos ainda o que significa uma
potncia de expoente irracional, ou seja, ( 1 + 1 / rn ) rn carece de sentido quando rn no
for racional. O conhecimento intuitivo que o leitor eventualmente tenha sobre o significado de uma potncia de expoente irracional no suficientemente rigoroso para o nosso
estudo. Mais adiante definiremos de forma rigorosa o conceito de potncia de expoente
irracional e veremos que a definio dada garante que, com rn a tender para mais ou
menos infinito, lim ( 1 + 1 / rn ) rn = e , mesmo que os rn no sejam racionais .
6.3 Definio e propriedades da exponencial de base e (base natural)

Retomamos aqui o lim (1 + x/n)n estudado em 6.1. Viu-se que tal limite existe para todo
o x R , sendo ento tal limite representado por E(x) e estudadas duas das suas
propriedades. Vamos de seguida estudar de forma mais completa as propriedades de
E(x), comeando pelas duas j vistas anteriormente.
P1 : Tem-se E(x) = 1/E(-x) , qualquer que seja x R
P2 : Para x > 0 , tem-se E(x) > 1 ; para x = 0, tem-se E(x) = 1 ; para x < 0 , tem-se
E(x) < 1
P3 : Tem-se E(x) > 0 , qualquer que seja x R

Demonstrao : Basta provar a desigualdade do enunciado para x < 0 , j que P2 a

assegura nos outros casos . Ora , de acordo com P1 , tem-se E(x) = 1/E(-x) e como
x < 0 - x > 0 E(-x) > 1, obtm-se 0 < E(x) < 1 para x < 0 .
P4 : Sendo rn uma sucesso de nmeros racionais com limite + ou - , tem-se
E(x) = lim ( 1 + x / rn ) rn

52

Demonstrao : Para x > 0 a demonstrao tal qual a que foi efectuada em 6.2 para o
caso particular x = 1 [ note-se que, de acordo com a definio dada para o nmero e ,
E(1) = e ] .
Para x = 0 , o resultado bvio.
Resta o caso x < 0 . Neste caso - x > 0 e note-se que se rn se encontra nas condies do
enunciado (sucesso de racionais com limite mais ou menos infinito), o mesmo acontece
com -rn ; ento,
E(x) = 1 / E(-x) = lim

x
1

rn

rn

= lim ( 1 + x / rn ) rn ,

dado que a propriedade vlida para - x > 0 com a sucesso -rn nas condies do
enunciado.
P5 : Tem-se E(x+ y) = E(x) . E(y) , quaisquer que sejam x,y R

Demonstrao : Note-se que,

n

x+ y
xy

+ 2 =
(1 + x/n) . (1 + y/n) = 1 +

n
n
n

xn yn
xy
n (n 1)
x2 y2
n (n 1) ...1
B0 2 n ,
Bn 2
+ +
= Bn + n Bn 1 2 +
n!
2!
n
n
n4

em que por comodidade de notao se fez,

x + y

Bn - j = 1 +

n j

, para j = 0 , 1 , 2 , ... , n .

Uma vez que lim (1 + x/n)n . (1 + y/n)n = E(x) . E(y) e lim Bn = E(x+y), a propriedade
ficar provada se demonstrar que a sucesso,

xy
n (n 1)
x2 y2
n (n 1) ...1
xn yn
un = n Bn 1 2 +
Bn 2
+ +
B0
,
n!
2!
n
n4
n2n

tende para zero. Tem-se,

0 | un | n|Bn 1 |

|x y|
n2

n(n 1)
n(n1)...1
|x y| 2
|x y| n
| Bn 2 | 4 + +
| B0 | 2 n ,
n!
2!
n
n

e como, para j = 1 , 2 , ... , n ,

53

x+ y
| Bn - j | = 1 +
n

n j

|x + y|

1 +

n j

|x + y|

1 +
,
n

podemos escrever,
n

|x y|
| x + y |
n (n 1) | x y |2
n (n 1) ... 1 | x y |n

+ +
]=
0 | un | 1 +
. [n 2 +

n
2!
n!
n
n4
n2n
n
n

| x + y |
| x y |

= 1 +
. 1 + 2 1 ;

n
n

ora, como se viu no exemplo 2 do ponto 5. , tem-se,

n

| x y |

lim 1 + 2 = 1 ,

n
e, portanto,
n
n

| x + y |
| x y |

lim 1 +
. 1 + 2 1 = E( | x + y | ) . 0 = 0 ,

n
n

assim se concluindo por enquadramento que lim | un | = 0 , ou seja, que lim un = 0 ,

como se pretendia provar.
P6 : Sendo r um nmero racional qualquer , tem-se que E(r. x) = [E(x)] r

Demonstrao : Com r = 0, a igualdade bvia. Com r 0 , tem-se,

r

n
n/r
n/r

r x
x
x

E(r. x) = lim 1 +
= l i m 1 +

= lim 1 +

n
n / r
n / r

r
= [E(x)] ,

dado ser n/r uma sucesso de racionais a tender para mais ou menos infinito (consoante o
sinal de r).
P7 : Sendo r um nmero racional qualquer, tem-se E(r) = er

Demonstrao : Trata-se de um corolrio imediato da propriedade anterior. Com efeito,

fazendo na igualdade da propriedade anterior x = 1 e atendendo a que E(1) = e , obtm-se
E(r) = E(r.1) = [E(1)] r = er .
Estamos agora em condies de dar significado a ex quando x seja irracional. Faz-se por
definio ex = E(x) , qualquer que seja x R . A propriedade P7 garante que, para
x

54

racional, a igualdade d a ex o significado que resulta da definio j conhecida de

potncia de expoente racional; para x R - Q , a igualdade amplia a noo de potncia
de base e ao caso de expoente irracional . Ou seja, para x racional e igualdade ex = E(x)
um teorema (propriedade P7) ; para x irracional a mesma igualdade uma definio.
Claro que as propriedades de E(x) so agora, com esta definio, as propriedades de ex ;
assim,
a) ex = 1/e-x , qualquer que seja o real x ( P1 ) ;
b) x > 0 ex > 1 ; x = 0 ex = 1 ; x < 0 0 < ex < 1 ( P2 e P3 ) ;
c) ex = lim ( 1 + x / rn ) rn , com rn sucesso de racionais com limite mais ou menos
infinito ( P4 );

d) ex + y = ex . e y , quaisquer que sejam os nmeros reais x e y ( P5 );

e) er x = (ex ) r , quaisquer que sejam o real x e o racional r ( P6 ) .
Vejamos agora algumas propriedades adicionais importantes da exponencial ex = E(x)
abandonando-se e ora em diante o smbolo provisrio E(x) que tinhamos adoptando e
passando a usar exclusivamente ex .
P8 : Dada uma sucesso xn de nmeros reais tal que lim xn = 0 , tem-se lim

xn

=1

Demonstrao : Admita-se primeiro que xn 0 de certa ordem em diante. Do estudo

feito no ponto 6.1 sobre o lim (1 + x/n)n decorre que , com x > 0 ,
xm

m!

1 < ex Km +

1
x
1
m+1

com,
Km = 1 + x +

x2
x3
x m 1
+
+ +
,
2!
3!
(m 1)!

para m inteiro fixo maior ou igual a x ; sendo xn 0 de certa ordem em diante e

lim xn = 0, tem-se, a partir de certa ordem n1 , 0 xn < 1, e portanto para m 1 e n >
n1,
1<

xn

Km,n +

com,

55

x nm

m!

1
xn
1
m+1

Km,n

x n2
x n3
x nm 1
+
+ +
= 1 + xn +
;
2!
3!
(m 1)!

e como ,
x nm

m!

lim xn = 0 m fixo lim [ Km,n +

obtm-se por enquadramento, lim

xn

] =1,

xn
1
m+1

=1.

Sendo xn 0 de certa ordem em diante e lim xn = 0 , tem-se,

lim

xn

= lim

1
e

x n

=1,

porque ento - xn 0 de certa ordem em diante e lim (- xn ) = 0 .

Sendo lim xn = 0 com infinitos xn 0 e infinitos xn < 0 , tm-se duas subsucesses x n
e x n (uma para cada caso) ambas com limite nulo. E da resulta,
lim

x n

= lim

xn

=1.

P9 : Dada uma sucesso xn de nmeros reais tal que lim

Demonstrao : Se

xn 0 e

xn

xn

= 1, tem-se lim xn = 0

1 de certa ordem em diante , tem-se dessa ordem em diante

xn

1 + xn 1 donde resulta por enquadramento que lim (1 + xn ) = 1 , ou

x
xn
seja, lim xn = 0 . Sendo e 1 , tem-se e n 1 , logo lim (- xn ) = 0 , ou ainda,
xn

xn

lim xn = 0 . Sendo, para infinitos n , e 1 e para infinitos n , e < 1 , tm-se duas

subsucesses x n e x n (uma para cada caso) ambas com limite nulo; utilizando o
mesmo argumento que na parte final da demonstrao da propriedade P8, conclui-se que
tambm neste caso lim xn = 0 .
P10 : Dada uma sucesso xn de nmeros reais , tem-se lim
lim xn = a

xn

= e

se e s se

Demonstrao : uma consequncia quase imediata de P8 , P9 e P5. Com efeito,

lim

xn

e a e a . lim e

xn

e a . e a = 1 lim e

lim (xn - a) = 0 lim xn = a .

P11 : Sendo x < y , tem-se

ex < e y

56

xn a

=1

Demonstrao : Fazendo z = y - x > 0 , a propriedade P5 permite escrever,

ey
porque z > 0

ez

ez + x

ez . e x

>

ex

> 1.

P12 : Dada uma sucesso xn de nmeros reais , tem-se lim

lim xn = + ; e tem-se lim

xn

xn

= + se e s se

= 0 se e s se lim xn = -

Demonstrao : a) Caso do limite + . Sendo lim xn = + , tem-se xn > 0 de certa

ordem em diante e ento, dessa mesma ordem em diante, tem-se que

xn

xn

xn

> 1 + xn ,
xn

= + . Inversamente, se lim e = + ,
xn
1/
dado > 0 , determine-se a ordem n a partir da qual e > e
; para n > n tem-se
xn
1/
ento xn > 1/ (caso se tivesse xn 1/ , a propriedade P11 obrigaria a ser e e
),
podendo portanto concluir-se que lim xn = + .
desigualdade que permite concluir que lim

b) Caso do limite nulo. Tem-se:

lim

xn

= 0 lim

xn

= + ( porque

0 ) lim (- xn ) = +

lim xn = - ,
como se queria provar.
P13 : Dado um qualquer b R+ , existe um e um s R tal que

e = b

x
Demonstrao : A propriedade P12 garante a possibilidade de e assumir valores
arbitrariamente grandes (basta para tal tomar valores de x suficientemente grandes) e
valores positivos suficientemente prximos de zero (basta para tal tomar valores de x
negativos suficientemente grandes em mdulo). Ento dado b R+ , existem valores e

tais que e

< b<

e .

x
Considere-se o conjunto X dos valores x [ , ] que fazem e < b : trata-se de um
conjunto no vazio (pelo menos pertence a X ) e majorado ( um majorante). Sendo

= Sup X , tem-se portanto . Vejamos que no pode ter-se e

< b , nem

e > b , o que permitir concluir que e = b.

e < b . Esta desigualdade implicaria e < e , ou seja <

( e e , por P11). Existiria ento uma sucesso de valores xn ] , [

xn

tal que lim xn = , o que implicaria ser lim e = e . Mas como estamos a considerar
a) No pode ser

57

e < e n < b
xn
de certa ordem em diante ; os correspondentes xn pertenceriam ento a X (pois e < b

que

e < b , os termos da sucesso e

xn

verificariam a condio

e, por outro lado, xn ] , [ xn [ , ] ) ; existiriam assim em X nmeros

maiores que o respectivo supremo ( xn ] , [ < xn ) .

b) No pode ser e > b . Se fosse, ter-se-ia e < b < e para todos os x X ; por
ser = Sup X , existiria para cada n um nmero xn X tal que - 1/n < xn (caso
contrrio, - 1/n seria um majorante do conjunto X menor que o respectivo supremo );
xn

e resultaria lim e

xn

e b < e , ou seja,

claro que lim xn = e de

Ficou assim provado que

e = b. Vamos agora ver que efectivamente o nico valor

e < e o que absurdo.

< b<

que verifica a igualdade x , e = b. Se um outro valor tambm fizesse e = b = e

, a propriedade P11 permitiria concluir que necessariamente = ( porque <

e < e e , por outro lado, > e > e ).

7. Logaritmos de base natural

O estudo feito para a exponencial de base e vai agora permitir-nos definir logaritmo
natural e demonstrar as suas propriedades.
Dado b R+ viu-se na propriedade P13 que existe um e um s valor real tal que,

e = b . A esse nmero chama-se logaritmo natural ou de base e do nmero positi-

vo b e escreve-se, = log b. Das propriedades da exponencial de base e decorrem

como muita facilidade as propriedades dos logaritmos naturais, a maioria das quais j so
supostamente do conhecimento do leitor. Assim:
P14 : Sendo b > 1 , tem-se log b > 0 ; sendo b = 1 , tem-se log b = 0 ; sendo b < 1 ,
tem-se log b < 0
log b
Demonstrao : Basta notar que , por definio de logaritmo natural , b = e
e
atender a P2 . Vejamos s a ttulo de exemplo o caso de ser b > 1 : neste caso tem-se
log b
log b
b= e
> 1 donde resulta que log b > 0 (dado que, log b 0 e
1,
pela propriedade P2).

P15 : Com b , c > 0 , tem-se log ( b.c) = log b + log c

Demonstrao: Trata-se de uma consequncia imediata da propriedade P5:

el o g b

+ log c

e l o g b . e l o g c = b . c log ( b.c) = log b + log c .

58

P16 : Com b , c > 0 , tem-se log ( b/c) = log b - log c

Demonstrao : Trata-se de uma consequncia das propriedades P1 e P5 :

log b log c

log b

lo g c

el o g b
e

log c

= b/c

log ( b/c) = log b - log c .

P17 : Com b > 0 e r racional qualquer, log br = r log b

Demonstrao : Basta atender propriedade P6:

er l o g b = el o g b

= br .

P18 : Dados x , y > 0 , se x < y ento log x < log y

e l o g x < y = e l o g y , resulta log x < log y pois, pela

log x
log y
e
.
propriedade P11, se fosse log x log y , seria e

Demonstrao : De x =

P19 : Sendo xn > 0 , tem-se:

a) lim xn = a > 0 lim log xn = log a ;

b) lim xn = + lim log xn = +;
c) lim xn = 0 lim log xn = -
Demonstrao : a) Tem-se, utilizando a propriedade P10,

lim xn = lim

el o g

xn

=a=

e l o g a lim log xn = log a ;

b) Como em a), utilizando a propriedade P12 (caso do limite mais infinito);

c) Como em a), utilizando a propriedade P12 (caso de limite nulo).

8. Definio e limites das potncias de expoente irracional

Viu-se na propriedade P17 que, sendo b > 0 e r um nmero racional qualquer, log br = r
log b . Desta igualdade decorre, por definio de logaritmo natural, que,

59

br =

er l o g b .

Quer dizer : a potncia de base b > 0 e expoente racional r qualquer , cujo significado j
conhecemos , dada pela igualdade precedente.
Vamos precisamente usar essa igualdade, cujo segundo membro tem significado mesmo
com r irracional , para definir potncia de expoente qualquer (racional ou irracional) e
base positiva. Com r R , racional ou irracional, e b > 0 ,

br =

er l o g b .

Claro que, como vimos, para r racional, esta igualdade d a br o significado usual j
anteriormente estudado .
As propriedades das potncias de expoente racional e base positiva so conservadas com
este alargamento da noo de potncia. Assim, por exemplo,
a) Com e reais e b real positivo,

b . b =
=

log b

log b

log b + log b

e ( + ) l o g b = b+ ;

b) Com e reais e b real positivo,

( b ) =

log b

l o g ( e l o g b )

log b

= b ,

sendo as duas ltimas igualdades justificadas pela definio de logaritmo natural ;

c) Com real e b real positivo,

b =

log b

l o g b

d) Com real e b e c reais positivos,

1) b < c > 0 log b < log c log b < log c

log b

<

log c

b < c ;

2) b < c < 0 log b < log c log b > log c

60

log b

>

log c

b > c ;

e) Com e reais e b real positivo,

1) < b > 1 log b < log b

b < b ;
2) < b < 1 log b > log b

log b

<

log b

log b

>

log b

b > b .
As restries que por vezes tivemos que impor no estudo feito nos pontos 6. e 7. em
virtude de no estar ainda definido o conceito de potncia de expoente irracional, podem
agora ser levantadas. Assim,
A) Quando demonstramos que e = lim ( 1 + 1 / rn ) rn , desde que o limite da sucesso rn
seja mais ou menos infinito, condicionamos o resultado ao facto de os rn serem
racionais. A demonstrao apresentada serve, sem mais, para o caso em que rn uma
sucesso de reais quaisquer a tender para mais ou menos infinito : com efeito, todas as
propriedades das potncias de expoente racional e base positiva que foram usadas na
argumentao permanecem vlidas para o caso geral de expoentes quaisquer.
B) Tambm a igualdade igualdade, ex = lim ( 1 + x / rn ) rn , vlida desde que a sucesso
rn tenda para mais ou menos infinito, dispensa a restrio de os rn terem de ser
racionais, pela mesma razo que a exposta em A) ; e quanto igualdade e r x = (ex )r ,
quaisquer que sejam o real x e o racional r , pode tambm ser dispensada esta ltima
exigncia , pois j se estabeleceu que ( b ) = b para o caso geral ( e reais e b
real positivo).
C) Finalmente , quanto igualdade log br = r log b , com b > 0 e r racional
qualquer,
a exigncia de ser r racional pode igualmente ser dispensada. Com efeito, com r racional ou irracional tem-se,
rlog b
log br = log e
= r log b,

por definio de logaritmo natural.

Vejamos agora o clculo de lim (un) , com un > 0 e 0 qualquer (racional ou
irracional) . No caso particular de ser racional as concluses a que vamos chegar
devero coincidir com as anteriormente obtidas (aplicadas ao caso particular de a base
ser positiva). Note-se ainda que quando seja = 0 , o limite da potncia sempre a
unidade.
Tendo em conta que,

lim (un) = lim

61

l o g un

as propriedades da exponencial e logaritmo de base natural permitem tirar as seguintes

concluses, em que u designa lim un :

lim (un) = 0
0

,
,
,
,
,

se
se
se
se
se

u for finito positivo

u = + e > 0
;
u = + e < 0
u=0 e >0
u=0 e <0

tem-se portanto lim (un) = ( lim un ) , com as seguintes convenes:

(+) = + , se > 0 ; (+) = 0 , se < 0 ; 0 = 0 , se > 0 ;
0 = + , se < 0 .
9. A exponencial de base b 1
x log b
para todo o
Sendo b > 0 e b 1 , tem-se como vimos no ponto 8. que bx = e
x R . As propriedades da exponencial de base b so as que j foram estudadas no ponto
anterior no mbito do alargamento da noo de potncia de base positiva a um expoente
qualquer (racional ou irracional).
u log b
Tendo em conta que lim b u n = lim e n
e aplicando as propriedades relativas a
limites da exponencial e logaritmo de base natural, conclui-se (designando por u o limite
da sucesso un) : lim b u n = b u , desde que se convencione ,

b+ = + , se b > 1 ; b+ = 0 , se b < 1 ; b- = 0 , se b > 1 ;

b- = + , se b < 1 .
Pode igualmente definir-se logaritmo de base positiva b 1 : dado x R+ , existe um e
um s tal que b = x ; com efeito, por definio de logaritmo natural e de potncia de
base positiva, tem-se,

x = el o g x

b = e l o g b ,

e ento a condio b = x equivale a ser log x = log b , a qual permite obter o

desejado (nico) ; ao valor de tal que b = x (cuja existncia e unicidade acaba de
ser estabelecida) chama-se logaritmo de x na base b e representa-se por l o g b x ,
calculando-se o seu valor pela igualdade,

lo g x
,
lo g b
em que os logaritmos do segundo membro so os logaritmos naturais.
log b x = =

62

Para terminar o presente ponto considere-se o clculo de um limite do tipo,

lim (u n )vn , com un > 0 (Limite da exponencial potncia).
Este limite pode calcular-se usando a igualdade,
lim (u n )vn = lim e vn l o g un .
Sendo u = lim un e

v = lim vn , tem-se em geral ,

lim (u n )vn = u v = (l i m u n )

l i m vn

desde que se convencione,

e (+) v = + , se 0 < v + ;

0v=0
0 v = +

(+) v = 0 , se - v < 0 ;

u+ = +
u+ = 0 e

u - = 0 , se 1 < u + ;
u - = + , se 0 u < 1 .

H, no entanto, a considerar os seguintes casos de indeterminao, que resultam das

indeterminaes que podem surgir ao calcular lim vn . log un e que so: 00 , (+)0 , 1+ e
1- .
10. Frmulas de Bernoulli para o clculo de limites
Vo deduzir-se as frmulas de Bernoulli que se revelam teis para levantamento de
indeterminaes no clculo de limites envolvendo exponenciais e logaritmos.
Retome-se a igualdade ex = lim (1 + x/n)n , com x R . Tem-se,
(1+ x/n)n = 1 + n

n (n 1) (n 2 ) x 3
n (n 1) ... 1 x n
x n (n 1) x 2
+
2 +
3 + +
n,
n
2!
3!
n!
n
n
n

e designem-se por k( n ) os coeficientes,

k( n ) =

n (n 1 ) ... (n k + 1 )
n

= 1 (1

k 1
1
) ( 1
)
n
n

k = 1 , 2 , ... , n .
Para cada k fixo k( n ) uma sucesso em n e bvio que lim k( n ) = 1 .

63

Fixe-se o natural m e separem-se no desenvolvimento de (1+ x/n)n as primeiras m

parcelas das n - m + 1 restantes, obtendo-se ento:
(1 + x / n ) n = 1 + x . 1( n ) +
+

xm
m!

x2
x m 1
(2n ) + +
(mn)1 +
2!
(m 1)!

x
x nm
m( n ) +
m( n+)1 + +
n( n )
m +1
(m + 1 ) (m + 2 ) ... n

ou seja,
(1 + x / n ) = 1 + x .
n

(n)
1

x2
x m 1
xm
(n )
(n )
+
2 + +
m1 +
(mn ) ( x )
2!
(m 1)!
m!

em que,

(mn ) ( x ) = (mn ) +

x
x nm
(mn+)1 + +
(nn ) .
m +1
(m + 1) (m + 2 ) ... n

Passando ao limite em n ( m fixo) em ambos os membros, obtm-se no primeiro ex e,

no segundo, o bloco das m primeiras parcelas tende para,
1+ x +

x2
x m 1
,
+ +
(m 1 )!
2!

porque cada um dos k( n ) ( k = 1 , 2 , ... , m-1) tende com se viu para a unidade. A
parcela residual,
xm
(mn ) ( x ) ,
m!
do segundo membro tem tambm de ter limite finito (porque a diferena de duas
sucesses com limite finito) , o que permite concluir que existe tambm finito o
lim (mn ) ( x ) ; com efeito, com x 0 ,

xm
xm
(mn ) ( x ) finito lim (mn ) ( x ) finito ;
0 lim
m!
m!
com x = 0 , (mn ) ( x ) = (mn ) e claro que lim (mn ) ( x ) = lim (mn ) = 1 .
Fazendo, m ( x ) = lim (mn ) ( x ) , podemos ento escrever, como resultado da passagem
ao limite em n ,
x

e =

x2
x m 1
1+ x +
+ +
+
2!
(m 1 )!

xm
m ( x) .
m!

Note-se agora que, por ser k( n ) 1 , a expresso que define (mn ) ( x ) permite obter,

64

|x|
|x| 2
| x | n m
| ( x) - |
;
+
+ +
m + 1 (m + 1) 2
(m + 1) n m
quando seja m + 1 > | x |, tem-se portanto:
(n )
m

(n )
m

|x|
| x | n m +1
|x|

n m +1
m +1
m +1
(m + 1)
|x|

=
| (mn ) ( x ) - (mn ) |
,
|x|
|x|
m +1 | x |
1
1
m +1
m +1
a passando ao limite em n obtm-se,
|x|
| m ( x ) - 1|
, para m + 1 > | x | .
m +1 | x |
As consideraes precedentes permitem-nos demonstrar com facilidade o seguinte,

Teorema 15 : Tem-se,

e =
x

x2
x m 1
1+ x +
+ +
+
2!
(m 1 )!

xm
m ( x)
m!

e para cada sucesso xn de valores de x que tenda para zero, tem-se lim m ( x n ) = 1
Demonstrao : A igualdade do enunciado foi j estabelecida nas consideraes que
precedem o teorema, faltando apenas provar a segunda parte. Sendo lim xn = 0 , tem-se a
partir de certa ordem n1 , | xn | < 2 ; ento fixando um qualquer m N , ser sempre
m + 1 2 > | xn | ( a partir da ordem n1) e, portanto a desigualdade que precede o
teorema permite escrever,
| xn |
| m ( x n ) - 1|
, para n > n1 ,
m + 1 | xn |

da resultando por enquadramento que lim m ( xn ) = 1 .

A igualdade do teorema pode ser escrita com m = 1 , 2 , 3 , ... , conforme as conveninx
cias de clculo. E pode ser usada no clculo de limites em que intervenha e n e seja
x
lim xn = 0 . Assim por exemplo , com m = 1 , e n pode ser substituido por,

1 + x n 1 ( x n ) , sendo que lim xn = 0 lim 1 ( x n ) = 1 ;

com m = 2 ,

e x n pode ser substituido por,

x n2
2 ( x n ) , sendo que lim xn = 0 lim 2 ( xn ) = 1 .
2!
Nos exemplos de aplicao em que no haja perigo de confuso sobre qual a sucesso
envolvida, escreve-se 1 em vez de 1 ( x n ) , 2 em vez de 2 ( x n ) e assim por
1 + xn +

diante, para no sobrecarregar a notao.

65

Vejamos dois exemplos de aplicao.

1/ n

1) Clculo de lim ( e

- 1). n . Como lim 1/n = 0 , tem-se:

1/ n

lim ( e

- 1) = lim ( 1 +

1
. 1 - 1 ). n = lim 1 = 1 .
n

2) Clculo de lim ( 21/n - 1 - 1/n). n2 . Como lim 1/n = 0 , tem-se:

lim ( 21/n - 1 - 1/n). n2 = lim [ e

(1 / n ) . l o g 2

- 1 - 1/n] . n2 =

log 2
l o g2 2
1 2
= lim 1 +
+

n =
2
n
n
2! n 2

l o g2 2
2 = - .
= lim n (l o g 2 1) +
2!

Com base no teorema 15 vo obter-se duas frmulas aplicveis aos limites dos
logaritmos:
Teorema 16 : Tem-se log (1 + x ) = x - x2 . (x) e para cada sucesso xn de valores de
x que tenda para zero, tem-se lim ( xn ) = 1/2

Demonstrao : Considere-se a funo,

x l o g (1 + x )
, x0

(x) =
x2
1 / 2
, x=0

Da definio de (x) resulta que para x 0 e para x = 0 , log (1 + x ) = x - x2 . (x) .

Considere-se agora uma sucesso xn de valores de x com limite nulo. Se xn 0 de certa
ordem em diante, tem-se a partir dessa ordem,

( xn ) =

x n l o g (1 + x n )
x n2

1 + x n 1 l o g (1 + x n )
(1 + x n 1 ) 2

e l o g (1 + xn ) 1 l o g (1 + x n )

[e

l o g (1 + xn )

aplicando a frmula do teorema 15 (no numerador com m = 2 e no denominador com

m = 1), obtm-se:
l o g 2 (1 + x n )
1 + l o g (1 + x n ) +
2 1 l o g ( 1 + xn )
2!
1 2
( xn ) =
=

,
2

2
1
1 + 1 l o g ( 1 + xn ) 1

66

e como,

lim xn = 0 lim log (1 + xn ) = 0 lim 1 = lim

=1,

obtm-se, lim ( xn ) = 1/2 .

Se xn = 0 de certa ordem em diante, tem-se ( xn ) = 1/2 a partir dessa ordem [ver
definio de (x)] e ento tambm lim ( xn ) = 1/2 .
Enfim, se h infinitos xn 0 e infinitos xn = 0 , h duas subsucesses x n e x n e, para
cada uma delas, lim ( x n ) = 1/2 e lim ( x n ) = 1/2 , pelo que tambm neste caso,
lim (xn ) = 1/2 .
Corolrio 1 : Tem-se log (1+ x) = x . (x) e para cada sucesso xn de valores de x que
tenda para zero, tem-se lim ( xn ) = 1

Demonstrao : Resulta imediatamente do teorema 16. Com efeito,

log (1 + x ) = x - x2 . (x) = x . [ 1 - x . (x)] = x . (x) ,
com (x) = 1 - x . (x) . Sendo lim xn = 0, conclui-se logo que lim ( xn ) = 1, como se
pretendia provar.
Corolrio 2 : Tem-se (1+ x) = 1+ . x . (x) e para cada sucesso xn de valores de x
que tenda para zero, tem-se lim (xn ) = 1

Demonstrao : Tem-se, pelas frmulas do teorema 15 e corolrio 1 do teorema 16,

(1+ x) = e l o g (1 + x ) = 1 + 1 . . log (1 + x) = 1 + 1 . . x . (x) ,
em que 1 depende de . log (1 + x) , logo de x . Fazendo, (x)= 1 .(x) , obtm-se
ento, (1+ x) = 1+ . x . (x).
Sendo agora xn uma sucesso de valores de x com limite nulo, tem-se que nulo o
lim log (1+ xn ) e portanto lim 1 = 1 ; por outro lado, lim ( xn ) = 1, assim se concluindo que lim (xn ) = 1 .
Tal como se disse a propsito do teorema 15, quando na aplicao do teorema 16 e seus
corolrios no houver perigo de confuso quanto s sucesses envolvidas nos clculos,
escreve-se em vez de (xn ) , em vez de ( xn ) e em vez de ( xn ).
Vejamos alguns exemplos de aplicao.
1) lim n2. [ log (1 + 2/n) - 2/n] = lim n2. (2/n - . 4/n2 - 2/n) =

= lim (-4) = -2 .

67

2) lim n.[log (n + 1) - log n] = lim n . log (1 + 1/n) = lim (n . . 1/n) = 1 .

3) lim n . ( 1 + 1 / n - 1) = lim n . [ (1 + 1/n)1/2 - 1] =

= lim n . [ 1 + (1/2).(1/n). - 1] = lim (1/2). = 1/2 .

4) lim n . [

1 + l o g (1 + 1 / n ) - 1] = lim n . [ 1+(1/3).log (1+1/n). - 1] =

= lim n . [ (1/3). (1/n) . . ] = lim (1/3). . = 1/3 .

11. Alguns infinitsimos e infinitamente grandes notveis

Estudam-se seguidamente alguns infinitsimos e infinitamente grandes notveis.

a) Com 0 | a | < 1 , tem-se lim n.an = 0 . No caso de ser a = 0 , a concluso
evidente. Sendo a 0 , tem-se 0 < | a | < 1 e considerando um nmero b tal que,
1 |a |
0<b<
,
|a |
tem-se, (1 + b) . | a | < 1 , ou seja, (1 + b)n . | a |n < 1 ; desta ltima desigualdade tira-se,

n ( n 1) 2
n ( n 1 ) ... 1 n
b + +
b | a | n < 1 .
1 + nb +
2
n
!
!

Portanto,
n ( n 1) 2
b | a | n < 1 ,

2
!

ou seja,
2
,
b 2 (n 1 )
donde resulta de imediato por enquadramento, lim n . | a|n = 0 , ou seja, lim n . an = 0
.

0 < n.| a |n <

b) A sucesso de termo geral un = an/n! um infinitsimo. Supondo que |a| > 0 (para
a = 0 , o resultado evidente), determine-se um m N tal que,
|a |
< b < 1 (com b fixado no intervalo ] 0 , 1[ ) .
m
Tem-se ento,
|a |
|a |
| a |n m
| a |n
| a |n
;
<
= | a |m
= | a |m

( m + 1) ... ( n 1) n
n!
n ( n 1) ... ( m + 1 )
m+ 1
n
como,

68

|a |
|a |
< b < 1 ( j = 1 , 2 , ... ) ,
<b<1
m+ j
m
tem-se,
| a |n
| a |
< | a |m . ( b .b . ... . b) = | a |m . b n m =

b
n!

bn

Por ser, ( |a| / b)m constante e 0 < b < 1 , conclui-se por enquadramento que ,
| a |n
lim
n!
como se queria demonstrar.

an
= 0 , ou seja , lim
n!

c) Sendo lim xn = + , tem-se lim (

e xn /

=0,

xn ) = + (a exponencial tende mais depressa

para + que qualquer potncia positiva do respectivo expoente) . Sendo lim xn = +

, tem-se xn > 0 de certa ordem n1 em diante. Considere-se ento a igualdade, com certo
m>+1,
x n2
x nm 1
x nm
xn
m ( xn ) ;
+ +
+
e = 1 + xn +
(m 1)!
m!
2!
revendo o significado de m ( x ) - ver ponto 10. - , conclui-se que xn > 0 implica
que m ( x n ) > 0 . Ento,

xn

x nm 1
>
(m 1 )!

, para n > n1 ,

e dividindo ambos os membros desta desigualdade por xn (sempre para n > n1),
obtm-se,
x nm 1
e xn
;
>
(m 1)!
x n
ora , m > + 1 implica que o limite do segundo membro da desigualdade igual a +
(relembre-se que lim xn = +) e, portanto, tambm, lim (
queria provar.

e xn /

xn ) = + , como se

d) Sendo lim xn = + , tem-se lim ( xn / logxn ) = + (os nmeros tendem mais

depressa para + que qualquer potncia positiva dos respectivos logaritmos). uma
consequn-cia imediata do resultado anterior : com efeito, se lim xn = + , tambm lim
log xn = + e ento,
xn
e l o g xn
lim
= lim
= + ,
lo g xn
(l o g x n )
pelo resultado obtido em e) .

69

12. Teoremas subsidirios

O teorema seguinte e seus corolrios so de grande utilidade no clculo prtico de
limites.

Teorema 17 : Sendo yn estrictamente crescente com limite + , ento,

lim

xn + 1 xn
yn + 1 yn

= k lim

xn
= k
yn

com k finito, k = + , ou k = -
Demonstrao : a) Vejamos primeiro o caso do limite finito. Fixado > 0 , existe uma
ordem m = n tal que , para n > m ,
xn + 1 xn
k - /2 <
< k + /2 .
yn + 1 yn
Para facilitar a demonstrao consideraremos que a ordem m = n determinada de
forma que yn > 0 para n > m , o que sempre se consegue por ser , por hiptese,
lim yn = + . Escrevendo a desigualdade precedente para os naturais m+1 , m+2 , ... , n1 (com n m +2 ), obtm-se:

k - /2 <
k - /2 <

xm + 2 xm + 1
ym + 2 ym + 1
xm + 3 xm + 2
ym + 3 ym + 2

< k + /2
< k + /2

..

k - /2 <

xn xn 1
yn yn 1

< k + /2

ou ainda, em virtude de serem positivos os denominadores (yn estritamente crescente),

( k - /2).(ym+2 - ym+1 ) < xm+2 - xm+1 < ( k + /2) . (ym+2 - ym+1 )
( k - /2).(ym+3 - ym+2 ) < xm+3 - xm+2 < ( k + /2) . (ym+3 - ym+2 )
...............................................................................................
( k - /2) . ( yn - yn-1 ) < xn - xn-1 < ( k + /2) . ( yn - yn-1 ) .
Adicionando ordenadamente estas desigualdades e simplificando resulta,
( k - /2) . ( yn - ym+1 ) < xn - xm+1 < ( k + /2) . ( yn - ym+1 ) ,
e dividindo por yn ( positivo),

70

( k / 2) .( 1

( k / 2) .( 1

ym + 1
yn

ym + 1
yn
) +

) <

xm + 1
yn

xn xm + 1
yn
<

< ( k + / 2) .( 1

ym + 1
yn

ym + 1
xm + 1
xn
< ( k + / 2) .( 1
) +
.
yn
yn
yn

Por ser, com m fixo quando se fixa ,

lim ( k / 2) .( 1
lim ( k + / 2) .( 1

ym + 1
yn
ym + 1
yn

xm + 1

) +
) +

= k - /2

yn
xm + 1
yn

= k + /2 ,

tem-se, de certas ordens p = n e q = n em diante, respectivamente,

(k - /2) - /2 < ( k / 2) .( 1
(k + /2) + /2 > ( k + / 2) .( 1

ym + 1
yn
ym + 1
yn

) +
) +

xm + 1
yn
xm + 1
yn

Ento, a partir da maior das trs ordens, m+1 = n +1 , p = n e q = n , tem-se:

( k / 2) / 2 <

xn
< ( k + / 2) + / 2 ,
yn

ou seja,
k <

xn
< k + ,
yn

o que prova ser lim xn / yn = k .

b) O caso k = + , tal qual como em a), mas partindo da desigualdade,

xn + 1 xn
yn + 1 yn

> 1/ ,

vlida a partir de certa ordem m = n . Fica ao cuidado do leitor.

c) O caso k = - , tal qual como em b), mas partindo da desigualdade,

xn + 1 xn
yn + 1 yn

< - 1/ ,

vlida a partir de certa ordem m = n . Fica ao cuidado do leitor.

71

O teorema precedente admite os seguintes corolrios imediatos:

Corolrio 1 : Quando seja lim (xn+1 - xn ) = k (finito ou infinito), tem-se que tambm
lim xn / n = k
Demonstrao : Basta aplicar o teorema 17 com yn = n .

Corolrio 2 : Sendo lim

lim

y n +1
yn

= k ( finito ou infinito ) e yn > 0 , ento tambm

yn = k

Demonstrao : Dado que,

lim

y n +1
yn

= k lim log

y n +1
yn

= log k lim ( log yn+1 - log yn ) = log k ,

o corolrio anterior permite concluir que,

lim
donde resulta , lim log

l o g yn
= log k ,
n

y n = log k , ou ainda, lim

y n = k , como se queria provar.

Note-se que os recprocos do teorema 6 e seus corolrios so falsos. Assim, por exemplo,
sendo,
n + 1 , n par
yn =
,
, n impar
2 n
conclui-se com facilidade que lim n y n = 1 e, no entanto, no existe,

lim

y n +1
yn

(h duas subsucesses com limites distintos).

Vejamos dois exemplos de aplicao.

1) Clculo de lim (1 + 1/2 + ... + 1/n) / n. com a sucesso xn = 1 + 1/2 + ... + 1/n , tem-se,
lim (xn+1 - xn ) = lim 1/(n+1) = 0 lim (1 + 1/2 + ... + 1/n) / n = 0 .

2) Clculo de lim

n! . Tem-se,
( n + 1 )!
lim
= lim (n + 1) = + lim
n!

72

n ! = + .

13. Exerccios

1 - Mostre que so limitadas as seguintes sucesses:

a) un =

n + ( 1) n
; b) un = 1 + 1/2 + ... + 1/2n ; c) u1 = 1 , un+1 =
n

2 + un ;

d) u1 = 1 , un = 1 + 1/ un-1 .

2 - Mostre que a sucesso de termo geral un = n ( 1) minorada mas no majorada.

n

3 - Mostre que a sucesso de termo geral un = (-1)n. n no majorada nem minorada.

4 - Considere a sucesso cujo termo geral dado por,
u1 = 1 , u2 = -1/2 , un =

un 1 + un 2

.
2
a) Determine de forma que o termo geral da sucesso possa ser dado pelas igualdades,
u1 = 1 , un = . un-1 ;
b) Determine uma expresso que permita o clculo de un sem ter que calcular os termos
anteriores .

5 - Considere sucesso de termo geral un =

2n
.
n+1

a) Mostre que limitada;

b) Mostre que o conjunto K = { k. :

2n
< k , n N} tem nfimo e determine o
n+1

respectivo valor.
n
.
n+1
a) Utilizando a definio de limite, mostre que, lim un = 1 ;

6 - Considere sucesso de termo geral un =

b) Calcule a menor ordem a partir da qual os termos da sucesso verificam a

condio, | un - 1 | < 0,001 .

7 - Considere sucesso de termo geral un =

5n 2

.
n2 + 1
a) Utilizando a definio de limite, mostre que, lim un = 5 ;
b) Calcule a menor ordem a partir da qual os termos da sucesso verificam a
condio, | un - 5 | < 0,0001.

73

8 - Utilizando a definio de limite, mostre que:

n2 1

2n 1
n2 + 1
= + ; c) lim
= 1 ; b) lim
a) lim
2n
2n + 2
d) lim
g) lim

1 n
n

= - ; e) lim ( 1) n + 1 / n

=1;

= 1 ; f) lim

n
=1 ;
n +1

n+ n
= 1 / 2 ; h) lim (n + 1/n) = + ; i) lim log n = + .
2n

9 - Dadas as sucesses,
n+1
un = ( 1 )
n+2
n

un =

[ ( 1 )

+ ( 1 ) n + p . n 1

2n 1

( p N) ,

mostre que a primeira no tem limite e que a segunda s tem limite quando p seja mpar.

10 - Determine os sublimites (reais ou imprprios) das sucesses com os seguintes,

termos gerais, indicando os respectivos limites mximo e mnimo:
1 / n , n = 2k
a) un =
n , n = 2k + 1

b) un = ( 1) n .

2n + 1
;
n

c) un = (-1)n+1 . cos (n) + sen [(n+1)] ; d) un = (1/n) + sen (2n /3) ;

e) un = sen (n /2) + (1/2) . cos (n /2) ; f) un =

( 1) n + ( 1) n +1 . 2
;
2 + ( 1) n

g) un = cos (2n /3) + (-1)n . sen (2n /3) ; h) un = sen (2n /4) ;
i) un = log | cos

(n +1)
| + log [ 2 + (-1)n] .
3

11 - Estude a existncia de limite para as sucesses:

( 1) n + x 2 . ( 1) n +1
a) un =
; b) un =
1 + x2

[(1)

+ ( 1) n + p . n 1
2n 1

c) un = x2 . sen (n /2) + (1 - 2x) . cos (n /2) .

74

12 - D exemplos de uma sucesso cujo conjunto dos sublimites seja o conjunto:

a) { 3 , 4 } ; b) Z (conjunto dos inteiros negativos) ; c) [0 , 1] ; d) R .

13 - Sendo un e vn sucesses limitadas, prove que:

a) lim mx ( - un ) = - lim mn un ;
b) lim mn un + lim mn vn lim mn (un + vn) lim mx (un + vn)

lim mx un + lim mx vn ;
c) Sendo un convergente (e vn limitada), ento,

lim mx (un + vn) = lim un + lim mx vn ;

lim mn (un + vn) = lim un + lim mn vn .
14 - Utilize a condio de Cauchy para provar a convergncia ou divergncia das seguintes sucesses:
a) un = 1/n ; b) un = 1 + 1/2 + 1/3 + ... + 1/n ;
c) un = 1 - 1/2 + 1/3 - ... + (-1)n+1 . 1/n .

15 - Determine os limites das sucesses cujos termos gerais so:

2n + 3
n2 1
2n + 1
1 + n3
a) un =
; c) un = n + 1
; d) un = 2
;
; b) un = 4
2n 1
n +3
2
+1
n + 2n + 1
e) un =

( 1 ) n . n 3 + 1
n

+ 2

; f) un =

n ( n 1) ( n 2 ) ( n 3 )
;
( n + 1) ( n + 2 ) ( n + 3 )

n ( n 1) ( n 2 ) ... ( n p )
a n bn
g) un =
(a,b R+) ;
( p, q N ) ; h) un = n
n
( n + 1) ( n + 2 ) ... ( n + q )
a +b
i) un =

n+1

n ; j) un =

x n4 1
(xn 1) ; k) un =
xn 1

n + 3
n + 1) 2

16 - Calcule por enquadramento:

a) lim

np
( p N) ; b) lim
n!

1
n2 + 1

1
n2 + 2

75

+ +

;
2
n + 2 n + 1
1

1
1
1
+ 2
+ + 2
c) lim [ 1.(1/2).(1/3). ... .(1/n)] ; d) lim 2
;
2
2
2
n +2
n +n
n + 1

e) lim

n
n4 + 1

f) lim 1 +

g) lim

1
+
2

n
+
n (n + 1 )

n
n4 + 2

+ +

1
+ +
3

;
4
n + 2 n + 1
n

1
;
n

n
+ +
(n + 1) ( n + 2 )

n
.
(2 n 1) 2 n

17 - Com argumento geomtrico, demonstre que 0 x /2 0 sen x x . A

partir deste resultado mostre que, sendo lim xn = 0 , com xn 0 de certa ordem em
diante, ento lim sen xn = 0 . A partir daqui prove sucessivamente que:
a) Sendo lim xn = 0 , com xn 0 de certa ordem em diante , ento lim sen xn = 0 ;
b) Em geral, sendo lim xn = 0 , ento lim sen xn = 0 ;
c) Sendo lim xn = a , ento lim sen xn = sen a ;
d) Sendo lim xn = a , ento lim cos xn = cos a ;
e) Sendo lim xn = a , com a (2k+1) /2 (k Z) , ento lim tg xn = tg a .

18 - Com base num argumento geomtrico apropriado , demonstre que

s en x
< 1.
x
A partir deste resultado mostre que, sendo lim xn = 0 , com xn > 0 de certa ordem em
diante, ento
s en x n
lim
=1.
xn
A partir daqui prove sucessivamente que:
0 < x < /2 0 < cos x <

a) Sendo lim xn = 0 , com xn < 0 de certa ordem em diante, ento

s en x n
lim
=1;
xn
b) Em geral, sendo lim xn = 0 , com xn 0 ,ento,
s en x n
lim
=1.
xn

76

19 - Estude do ponto de vista da monotonia e existncia de limite a sucesso,

u1 = 1 , un =

un2 1
1 + un2 1

20 - Sendo A R um conjunto majorado e s = Sup A , mostre que existe uma sucesso

xn de termos em A tal que lim xn = s . Prove ainda que se s A, ento a sucesso xn pode
ser escolhida de forma a ser estritamente crescente.

21 - Sendo xn o termo geral de certa sucesso montona, yn o termo geral de certa

sucesso limitada e admitindo que n N , | xn - yn | < 1/n , prove em primeiro lugar

que xn limitada e depois que ambas as sucesses tm o mesmo limite.

22 - Duas sucesses, uma crescente un e outra decrescente vn, dizem-se contguas se e

s se lim (un - vn ) = 0 . Prove que duas sucesses contguas so convergentes e tm limite

comum.

23 - Calcule os seguintes limites:

a) lim

3(1 + 1 / n )

n + 2
d) lim

n
h) lim (n + 1)

l) lim

n2

2n

5 n + 1
; b) lim

5 n 1

; e) lim 1 + 1 / n 2

1/ l o g n

; i) lim (1 / n)

1/ n 2

n3

3n + 1

2 n 3
; c) lim
;
2 n + 3

; f) lim 1 + 1 / n 3

; j) lim ( n )

1/ n 2

n2

; g) lim logn a ;

1
; k) lim 1 +

l o g n

n +1
n +1
1
log n
; m) lim (1 + 1 / n )
; n) lim (1/n)1/n ;
tang log
n
n
n

o) lim ( s e n 1 / n)

1/ l o g n

; p) lim (1 / n )

s e n 1/ n

24 - Calcule os seguintes limites:

a) lim n .( n

c) lim

l o g ( n + 1)

n a +
a 1 ) (a > 0 ) ; b) lim
2

b
(a , b > 0 ) ;

n + 1 l o g ( n + 1)
2 n2 + 3
n2 + 1

; d) lim
;
log 2
3n
n
log n
n 1

77

n2 + n + 1

log

e) lim
3

n2 + 1
n3
n+3

; f) lim n . 1

(1 a / n ) ( 1 b / n )

g) lim ( 1 + un ) vn , com lim un = 0 e lim un vn = k ; h) lim

n 2 (n 2 1)
n 2 ( 1)

i) lim n . (

1
e 1 1 / n ) ; j) lim 1 +
;
l o g n

2n + 1
k) lim ( 1 ) n
( 1 ) n . n . l o g ( 1 + 2 / 3 n ) ;
3n + 1

l) lim n 3 n 5 . l o g ( 1 + 1 / n 2 ) ; m) lim

3
n2 1

l o g (1 + 1 / n2 )

n) lim n . l o g ( 1 + 1 / n 2 ) + (n + 1) . l o g ( 1 + 1 / n 2 ) + ... + 2 n . l o g ( 1 + 1 / n 2 ) ;
o) lim n . [l o g ( n + 3 ) l o g n 1 / n] ; p) lim n n . ( 1 + n 2 ) n
2

q) lim

s) lim

( n + 1) l o g n n l o g ( n + 1)
; r) lim
log n

n.e
n

log

/2

(n + 2 ) (n + 3 ) n ;

n+3

1 + log n

( > 0) ; t) lim ( 1 + 1 / n ) 1/ 3 1 . l o g ( 1 + 1 / n ) . n 2 ;

2 c o s (1 / n )

u) lim 1 +

n +1

n + 1 l o g ( n + 1)

; v) lim s e n l o g

log n

25 - Sendo lim un = + e un vn limitada , mostre que lim unv n = 1 . Aproveite este

resultado para calcular, lim ( 3 n ) l o g (1 2 / n ) . Confirme em seguida o resultado,
calculando o limite em causa por um processo alternativo.

26 - Calcule os seguintes limites:

78

n +

a) lim

n l o g2 n

; b) lim

(l o g l o g n ) 3
e
; c) lim
n
log n

27 - Utilizando os teoremas subsidirios calcule os seguintes limites:

s e n + s e n ( / 2 ) + s e n ( / 3 ) + ... + s e n ( / n )
;
1 + 1 / 2 + 1 / 3 + ... + 1 / n

a) lim

(n + 1 ) (n + 2 ) ... (2 n )

b) lim

; c) lim

l o g n!
k

1 + 2 + 3 k + ... + n k

d) lim

n . log n
( 2 n )!
e + e 2 + e 3 + ... + e n
; f) lim 2
; e) lim
;
l o g n!
n!
1 + 2 2 + 32 + ... + n 2

g) lim

n!
1 n
; h) lim
n! ; i) lim
n
l o g (n +1 )!

j) lim

1 + 2 + 3 + ... + n

m) lim

n + 1
1
n

( > -1) ; k) lim

1. 2 . ... . n
;
3 . 5 . ... . (2 n + 1 )

log n
en
; l) lim
;
n
n

s e n + 2 2 s e n ( / 2 ) + 32 s e n ( / 3 ) + ... + n 2 s e n ( / n ) .

28 - Mostre que em R , se X e Y so conjuntos limitados e fechados, ento tambm

limitado e fechado o conjunto Z = { x + y : x X e y Y } .
RESPOSTAS:
4 - a) -1/2 ; b) un = (-1/2)n -1 .
5 - b) 2 .
6 - b) 999 .
7 - b) 223 .
10 a)
b)
c)
d)
e)
f)

lim mx
+
2
-1

3/2
1
1

lim mn
0
-2
-1
- 3/2
-1
-1/3

outros sublimites
No h
No h
No h
0
-1/2 e 1/2
No h

g)
1
-1/2 - 3 / 2
-1/2 + 3 / 2
h)
1
-1
No h
i)
log 3
-log 2
log (3/2) e 0 .
11 - a) Existe limite apenas para x = 1 , sendo 0 o respectivo valor ; b) Com p par no existe
limite, com p mpar o limite 0 ; c) O limite no existe qualquer que seja x .

79

7 + ( 1) n
12 - a) un =
; b) -1 , -2 , -1 , -2 , -3 , -1 , -2 , -3 , -4 , ... ; c) Qualquer sucesso
2
cujo conjunto dos termos seja [ 0 , 1] Q (note-se que este conjunto numervel) ; d)
Qualquer sucesso cujo conjunto dos termos seja Q .
14 - a) Convergente ; b) Divergente ; c) Convergente.

15 - a) 1 ; b) 0 ; c) 1/2 ; d) + ; e) No existe ; f) + ; g) 0 ( se q > p + 1 ) , 1 ( se q

= p + 1 ) , + (se q < p + 1) ; h) 0 ( se 0 < a < 1 ou 0 < b < 1 ) , + ( se a > 1 e b
> 1 ) , 1 ( se a = 1 e b > 1 ou a > 1 e b = 1 ) , 1/2 ( se a = b = 1 ) ; i) 0 ; j) 4 ; k) 1.

16 - a) 0 ; b) 2 ; c) 0 ; d) 0 ; e) 2 ; f) + ; g) + .
19 - Sucesso montona decrescente com limite nulo.
23 - a) e ; b) e6/ 5 ; c) e-3 ; d) e4 ; e) + ; f) 1 ; g) 0 ; h) e ; i) 1 ; j) 1 ; k) e ; l) 1 ;
m) 1 ; n) 1 ; o) e-1 ; p) 1 .
24 - a) log a ; b) a b ; c) 1 ; d) 0 ; e) -1/2 ; f) (a+b)/2 ; g) ek ; h) ; i) 1/2 ; j) + ; k)
0 ; l) + ; m) 3 ; n) 3/2 ; o) 2 ; p) e-1 / 2 ; q) 1 ; r) 5/2 ; s) ; t) 1/3 ; u) e2 ; v)
0 .
25 - 1 .

26 - a) 1 ; b) 0 ; c) + .
27 - a) ; b) 4/e ; c) + (se k 0 ) , 0 ( se k > 0 ) ; d) + ; e) 1 ; f) + ; g) + ;
h) 1/e ; i) 1/2 ; j) 1/( +1) ; k) 0 ; l) + ; m) /2 .

80