1 Propriedades dos limites innitos

Comecemos por recordar a proposio dada para as operaes com funes

reais de varivel real (f.r.v.r.) que tm limites nitos quando x tende para a.
Proposio 1 Sejam f e g funes reais de varivel real com limite nito
em a (para a nito ou innito) e k R. Ento
1. as funes kf, f + g, f g, f g tm limite nito em a e
lim
xa
kf(x) = klim
xa
f(x),
lim
xa
[(f + g) (x)] = lim
xa
f(x) +lim
xa
g(x),
lim
xa
[(f g) (x)] = lim
xa
f(x) lim
xa
g(x),
lim
xa
[(f g) (x)] = lim
xa
f(x) lim
xa
g(x);
2. se lim
xa
g(x) = 0, a funo
f
g
tem limite nito em a e
lim
xa
_
f(x)
g(x)
_
=
lim
xa
f(x)
lim
xa
g(x)
.
A aplicao desta propriedade permite-nos, para funes f e g cujos li-
mites existam e sejam nitos, saber os limites das funes indicadas simples-
mente a partir dos limites de f e de g.
Note-se ainda que esta proposio vlida quer x tenda para um valor
nito, quer tenda para +ou para (exige-se que os valores dos limites
quando x tende para a existam e sejam nitos).
Para limites innitos, nalguns casos o simples conhecimento dos limites
das funes envolvidas permite-nos saber, imediatamente, o limite da nova
funo; noutros casos, o conhecimento dos limites das funes envolvidas
permite-nos apenas saber que no podemos aplicar nenhuma propriedade
dos limites e que teremos que calcular explicitamente o valor do limite da
nova funo, por termos o que se chama uma indeterminao.
O objectivo destas folhas recordar, ilustrando com exemplos simples,
propriedades que so vlidas para os limites innitos e situaes que cor-
respondem a indeterminaes, indicando tambm algumas tcnicas que, para
alguns destes casos, permitem levantar a indeterminao, isto , calcular
o valor desses limites.
Ana Matos - Prop. dos Lim. Inf. 1 6/11/2007
A generalidade das propriedades que seguidamente indicaremos (bem
como muitos limites dos exemplos que sero apresentados) resultam sim-
plesmente das duas alneas da proposio que se segue, que so intuitivas e
muito fceis de provar a partir da denio de limite innito.
Proposio 2 Sejam f e g f.r.v.r., para as quais faz sentido falar de limite
em a, tais que
g (x) f (x) ,
para qualquer x sucientemente prximo de a (isto , para qualquer x numa
vizinhana de a):
1. se lim
xa
f(x) = +, ento lim
xa
g(x) = +;
2. se lim
xa
g(x) = , ento lim
xa
f(x) = .
Observao 1 Recorde-se que, quando nos referimos a x sucientemente
prximo de a (isto , numa vizinhana de a), temos que distinguir trs situ-
aes:
se a R, estamos a considerar x pertencente a umintervalo ]a , a + [
com > 0 (quanto mais pequeno for o , mais prximo garantimos
que x est de a);
se a = +, estamos a considerar x pertencente a umintervalo ]M, +[ ,
com M > 0, portanto x > M (quanto maior for o M, mais prximo
garantimos que x est de +);
se a = , estamos a considerar x pertencente a umintervalo ], N[ ,
com N < 0, portanto x < N (quanto menor for o N, mais prximo
garantimos que x est de ).
Convm, ainda, recordar que dizemos que uma funo f tende para
innito quando x tende para a, e escrevemos
lim
xa
f(x) = ,
se
lim
xa
|f(x)| = +.
claro, pela denio, que caso lim
xa
f(x) = + ou lim
xa
f(x) = ,
verica-se que lim
xa
f(x) = .
Ana Matos - Prop. dos Lim. Inf. 2 6/11/2007
No entanto, h casos em que lim
xa
f(x) = sem que lim
xa
f(x) = + ou
lim
xa
f(x) = ; dizemos, nestes casos, que f tende para innito sem
sinal determinado.
o caso de lim
x0
1
x
.
1.1 Propriedades da soma
Antes de apresentarmos as propriedades da soma, comecemos por ver um
exemplo ilustrativo de algumas destas propriedades.
Exemplo 1: Consideremos as funes
f (x) = x, g (x) = x
2
, h(x) = x
3
e i (x) = x + 1.
A proposio que veremos de seguida permite armar imediatamente que:
como lim
x+
f(x) = lim
x+
g(x) = lim
x+
h(x) = +, ento a soma de
quaisquer duas destas funes tende para +, quando x +;
como lim
x
g(x) = lim
x
i(x) = +, ento lim
x
[g(x) + i(x)] = +;
como lim
x
f(x) = lim
x
h(x) = , ento lim
x
[f(x) + h(x)] = .
Proposio 3 (Propriedades da soma)
Sejam f, g f.r.v.r e a nito ou innito:
1. se lim
xa
f(x) = + e lim
xa
g(x) = +, ento lim
xa
[f(x) + g(x)] = +;
2. se lim
xa
f(x) = e lim
xa
g(x) = , ento lim
xa
[f(x) + g(x)] = ;
3. sendo b R,
se lim
xa
f(x) = e lim
xa
g(x) = b, ento lim
xa
[f(x) + g(x)] = ,
Ana Matos - Prop. dos Lim. Inf. 3 6/11/2007
tendo-se que
(a) se lim
xa
f(x) = + e lim
xa
g(x) = b, ento lim
xa
[f(x) + g(x)] = +,
(b) se lim
xa
f(x) = e lim
xa
g(x) = b, ento lim
xa
[f(x) + g(x)] = .
Notao abreviada:
Estas propriedades so frequentemente escritas na forma
(+) + (+) = + () + () =
(+) + b = + () + b = + b =
Ateno, esta uma mera notao abreviada, que deve ser inter-
pretada exactamente no sentido das propriedades 1., 2. e 3. da proposio
anterior, e no como se estivessemos realmente a "somar os innitos" ou a
"somar innito com b".
Para as funes do exemplo 1, a simples aplicao da proposio anterior
nada nos permitem armar sobre
lim
x+
[f (x) + i (x)] , lim
x+
[g (x) + i (x)] , lim
x+
[h(x) + i (x)] ,
lim
x
[f (x) + g (x)] , lim
x
[f (x) + i (x)] , lim
x
[h(x) + g (x)] ,
ou lim
x
[h(x) + i (x)]
(pois, nestes casos, uma funo tende para e outra para +).
Estes limites tero que ser calculados directamente.
Calculemos os dois primeiros limites:
lim
x+
[f (x) + i (x)] = lim
x+
[x + (x + 1)] = lim
x+
1 = 1
lim
x+
[g (x) + i (x)] = lim
x+
_
x
2
x + 1

= +
(note-se que x
2
x+1 > x
2
x = x(x 1) x, para x 2 , pelo que tende
para + quando x tende para +).
Ana Matos - Prop. dos Lim. Inf. 4 6/11/2007
Temos duas situaes do mesmo tipo (a primeira funo tende para +
e a segunda para ), cujos resultados so diferentes.
Quando uma funo tende para + e outra para , temos uma
situao de indeterminao para a soma.
Smbolos de Indeterminao (associados soma)
Na notao abreviada, os smbolos
(+) + () +
so designados por smbolos de indeterminao.
Isto quer apenas dizer que, nas situaes correspondentes, o facto de
existir ou no limite, bem como o seu valor, depende das funes envolvi-
das; no resulta imediatamente de uma propriedade das operaes.
Observao: Tendo presente que a subtraco de duas funes igual
soma da primeira com a simtrica da segunda, isto ,
f g = f + (g)
e que
lim
xa
f(x) = + se e s se lim
xa
(f(x)) = ,
fcil concluir (a partir das propriedades da soma) quais as propriedades da
subtraco de limites innitos e ainda que
(+) (+) () ()
tambm so smbolos de indeterminao.
Ana Matos - Prop. dos Lim. Inf. 5 6/11/2007
1.2 Propriedades do produto
Tal como zemos para a soma, antes de apresentarmos as propriedades do
produto comecemos por ver um exemplo ilustrativo.
Exemplo 2: Consideremos as funes
f(x) = ln x, g(x) = x + 3 e h(x) = x
2
2,
para as quais
lim
x+
f(x) = lim
x+
g(x) = + e lim
x+
h(x) =
lim
x
g(x) = lim
x
h(x) =
(D
f
= R
+
, pelo que no faz sentido falar do seu limite quando x ).
A proposio que veremos de seguida permite armar imediatamente que
lim
x+
(f(x) g(x)) = + (pela propriedade 1a),
lim
x+
(f(x) h(x)) = (pela propriedade 1b),
lim
x+
(g(x) h(x)) = (pela propriedade 1b),
lim
x
(g(x) h(x)) = + (pela propriedade 1c).
Por outro lado,
lim
x0
+
f(x) = , lim
x0
g(x) = 3 e lim
x0
h(x) = 2,
portanto, a mesma proposio permite tambm armar que
lim
x0
+
(f(x) g(x)) = (pela propriedade 2a),
lim
x0
+
(f(x) h(x)) = + (pela propriedade 2b).
Ana Matos - Prop. dos Lim. Inf. 6 6/11/2007
Proposio 4 (Propriedades do produto)
Sejam f, g f.r.v.r e a nito ou innito:
1. se lim
xa
f(x) = e lim
xa
g(x) = , ento lim
xa
[(f g) (x)] = ,
tendo-se que
(a) se lim
xa
f(x) = +e lim
xa
g(x) = +, ento lim
xa
[f(x) g(x)] = +,
(b) se lim
xa
f(x) = e lim
xa
g(x) = +, ento lim
xa
[f(x) g(x)] = ,
(c) se lim
xa
f(x) = e lim
xa
g(x) = , ento lim
xa
[f(x) g(x)] = +;
2. se lim
xa
f(x) = e lim
xa
g(x) = b R\ {0}, ento lim
xa
[(f g) (x)] = ,
tendo-se que
(a) caso b R
+
,
se lim
xa
f(x) = + e lim
xa
g(x) = b, ento lim
xa
[f(x) g(x)] = +,
se lim
xa
f(x) = e lim
xa
g(x) = b, ento lim
xa
[f(x) g(x)] = ,
(b) caso b R

,
se lim
xa
f(x) = + e lim
xa
g(x) = b, ento lim
xa
[f(x) g(x)] = ,
se lim
xa
f(x) = e lim
xa
g(x) = b, ento lim
xa
[f(x) g(x)] = +.
A simples aplicao da proposio anterior nada nos permitem armar
sobre os limites que se indicam de seguida, cujos valores so, no entanto,
muito fceis de calcular.
Ana Matos - Prop. dos Lim. Inf. 7 6/11/2007
Exemplo 3: Consideremos as funes
f(x) = x
3
, g(x) = x, h(x) =

x e i(x) =
1
x
.
A proposio anterior nada nos permitem armar sobre
lim
x+
[f(x) i(x)] , lim
x+
[g(x) i(x)] ou lim
x+
[h(x) i (x)]
nem sobre
lim
x0
[f(x) i(x)] , lim
x0
[g(x) i(x)] ou lim
x0
+
[h(x) i (x)]
(pois, em qualquer um destes casos, uma funo tende para innito e outra
para 0).
No entanto, imediato que
lim
x+
[f(x) i(x)] = lim
x+
_
x
3

1
x
_
= lim
x+
x
2
= +
lim
x+
[g(x) i(x)] = lim
x+
_
x
1
x
_
= lim
x+
1 = 1
lim
x+
[h(x) i(x)] = lim
x+
_

x
1
x
_
= lim
x+
1

x
= 0
e que
lim
x0
[f(x) i(x)] = lim
x0
_
x
3

1
x
_
= lim
x0
x
2
= 0
lim
x0
[g(x) i(x)] = lim
x0
_
x
1
x
_
= lim
x0
1 = 1
lim
x0
+
[h(x) i(x)] = lim
x0
+
_

x
1
x
_
= lim
x0
+
1

x
= +.
Quer quando x +, quer quando x 0, temos trs situaes do
mesmo tipo em que os resultados so diferentes.
Quando uma funo tende para 0 e outra para , temos uma situao
de indeterminao para o produto visto que, como acabmos de vericar, o
facto de existir ou no limite, bem como o seu valor, depende das funes
envolvidas; no resulta imediatamente de uma propriedade das operaes.
Smbolos de Indeterminao (associados ao produto):
0 (+) 0 () 0
Ana Matos - Prop. dos Lim. Inf. 8 6/11/2007
Propriedades do quociente
O estudo do quociente de duas funes ca mais simples tendo presente
que
f (x)
g(x)
= f (x)
1
g(x)
.
Assim, as propriedades desta operao resultam das do produto e das
duas primeiras alneas da proposio que se segue.
De igual modo, atravs das mesmas propriedades, qualquer indetermi-
nao associada ao quociente pode transformar-se numa indeterminao as-
sociada ao produto.
A proposio que se segue resume as propriedades do quociente, quanto
aos limites innitos.
A seguir so apresentadas as situaes de indeterminao e depois exem-
plos ilustrativos.
Proposio 5 (Propriedades do quociente)
Sejam f, g f.r.v.r, com g no nula numa vizinhana de a (excepto, even-
tualmente, em a):
1. se lim
xa
g(x)= ento lim
xa
1
g(x)
= 0;
2. se lim
xa
g(x) = 0 ento lim
xa
1
g(x)
= ,
tendo-se que
(a) se lim
xa
g(x) = 0
+
, ento lim
xa
1
g(x)
= +,
(b) se lim
xa
g(x) = 0

, ento lim
xa
1
g(x)
= ;
3. se lim
xa
g(x) = e lim
xa
f(x) nito, ento lim
xa
f(x)
g(x)
= 0;
4. se lim
xa
g(x) = 0 e lim
xa
f(x) innito ou nito e diferente de zero, ento
lim
xa
f(x)
g(x)
=
(dependendo do sinal das funes f e g, poderemos averiguar se este
limite + ou ).
Ana Matos - Prop. dos Lim. Inf. 9 6/11/2007
Na notao abreviada, escreve-se:
a

= 0

0
=
a
0
= , se a = 0
Saliente-se, novamente, que esta uma mera notao abreviada, para
nos lembrarmos das propriedades ou nos referirmos ao tipo de situao que
ocorre, e no deve ser usada no decurso das contas.
Smbolos de Indeterminao (assoc. ao quociente):
0
0

Exemplo 4:
Consideremos as funes
f(x) = ln x e g(x) = x
3
+ 3
para as quais se tem que
lim
x+
f(x) = lim
x+
g(x) = +
lim
x1
f(x) = 0, lim
x1
g(x) = 4
lim
x0
+
f(x) = e lim
x0
g(x) = 3.
Ento
lim
x+
1
f(x)
= 0 (pela propriedade 1),
lim
x1
_
1
f(x)
_
= (pela propriedade 2),
lim
x1
+
_
1
f(x)
_
= + (pela propriedade 2a, pois lim
x1
+
f(x) = 0
+
),
lim
x1

_
1
f(x)
_
= (pela propriedade 2b, pois lim
x1

f(x) = 0

),
lim
x0
+
_
g(x)
f(x)
_
= 0 (pela propriedade 3),
lim
x1
_
g(x)
f(x)
_
= (pela propriedade 4),
lim
x1

_
g(x)
f(x)
_
= (pois lim
x1

f(x) = 0

e lim
x1
g(x) > 0),
lim
x1
+
_
g(x)
f(x)
_
= + (pois lim
x1
+
f(x) = 0
+
e lim
x1
g(x) > 0).
Ana Matos - Prop. dos Lim. Inf. 10 6/11/2007
Exemplo 5: Consideremos as funes polinomiais
f(x) = 2x
2
+ 1, g(x) = x
3
+ 3 e h(x) = x
3
+ 2.
Os limites
lim
x+
f(x)
g(x)
, lim
x+
h(x)
f(x)
e lim
x+
g(x)
h(x)
correspondem a situaes de indeterminao do tipo
+
+
.
Tambm nestes casos, facilmente se determinam os limites que so,
respectivamente, 0, + e 1.
De facto,
lim
x+
f(x)
g(x)
= lim
x+
2x
2
+ 1
x
3
+ 3
= lim
x+
2x
2
+1
x
3
x
3
+3
x
3
=
= lim
x+
2x
2
x
3
+
1
x
3
x
3
x
3
+
3
x
3
= lim
x+
2
x
+
1
x
3
1 +
3
x
3
= 0
e analogamente se provaria para os restantes casos.
Observao 2 frequente haver algum facilitismo na justicao de
situaes como a anterior, vendo-se frequentemente a "justicao"
lim
x+
f(x)
g(x)
= lim
x+
2x
2
+ 1
x
3
+ 3
= lim
x+
2x
2
x
3
= lim
x+
2
x
= 0.
Estas igualdades entre os limites so verdadeiras, precisamente porque o
raciocnio acima as justica.
O facto de se usar esta argumentao, sem ter presente a devida jus-
ticao, pode, alm do mais, levar-nos a usar o mesmo procedimento em
situaes onde este no vlido. Como, por exemplo, na situao do exem-
plo que se segue.
Exemplo 6: Determinemos
lim
x2
x
2
4
x
3
8
.
Trata-se de uma indeterminao, do tipo
0
0
, consequncia de ambos os
polinmios se anularem para x = 2.
Ana Matos - Prop. dos Lim. Inf. 11 6/11/2007
Isto signica que qualquer um dos polinmios pode ser escrito na forma
(x 2) polinmio,
o que permitir simplicar a funo.
De facto,
x
2
4 = (x 2) (x + 2)
e o polimmio x
3
8 pode ser decomposto, descobrindo um zero deste
polinmio e aplicando depois a Regra de Runi:
2 zero de x
3
8
(pois 2
3
8 = 0)
1 0 0 8
2 2 4 8
1 2 4 | 0
pelo que
x
3
8 = (x 2)
_
x
2
+ 2x + 4
_
.
Portanto,
lim
x2
x
2
4
x
3
8
= lim
x2
(x 2) (x + 2)
(x 2) (x
2
+ 2x + 4)
= lim
x2
x + 2
x
2
+ 2x + 4
=
4
12
=
1
3
.
1.3 Limites notveis:
Os seguintes limites so conhecidos (demonstram-se semser pelas propriedades
dos limites), esto relacionados com propriedades importantes das funes em
causa e so chamados de limites notveis:
lim
x+
e
x
x
= +
lim
x+
lnx
x
= 0
lim
x0
senx
x
= 1
lim
x0
e
x
1
x
= 1
lim
x0
ln(x+1)
x
= 1
Por exemplo, os dois primeiros limites so consequncia do tipo de cresci-
mento das funes exponencial e logaritmo.
Ana Matos - Prop. dos Lim. Inf. 12 6/11/2007
1.4 Propriedades da exponenciao
Sejam f e g duas funes reais de varivel real, com f (x) > 0, para qualquer
x D
f
.
Consideremos a funo
h(x) = f (x)
g(x)
.
Supondo que, para um certo a, nito ou innito, existem
lim
xa
f(x) e lim
xa
g(x)
pretende-se averiguar a existncia de
lim
xa
_
f (x)
g(x)
_
.
Tendo presente que
f (x)
g(x)
= e
ln(f(x))g(x)
o estudo da exponenciao de duas funes pode ser reduzido aplicao de
propriedades do produto de funes e das funes exponencial e logaritmo.
Vejamos esta passagem com mais detalhe:
Comecemos por recordar que o logaritmo a funo inversa da exponen-
cial, pelo que
e
lnx
= x.
Portanto,
f (x)
g(x)
=
_
e
ln(f(x))

g(x)
= e
ln(f(x))g(x)
(note-se que, para qualquer x D
f
, f (x) > 0, pelo que f (x) D
ln
).
Assim, conclumos imediatamente, para o caso dos limites nitos:
Proposio 6
Sejam f, g f.r.v.r e a nito ou innito tais que
lim
xa
f(x) = a R\ {0} e lim
xa
g(x) = b R,
ento
lim
xa
_
f (x)
g(x)
_
= a
b
.
Ana Matos - Prop. dos Lim. Inf. 13 6/11/2007
Para enunciar as propriedades desta operao quando algum dos limites
innito, teramos que considerar uma srie de casos, quando na prtica o
mais ecaz fazer a transformao acima indicada.
Exemplo 7: Determinemos alguns limites:
1. lim
x0
(1 + x)
x
2
+2
Estamos nas condies da proposio, pelo que podemos dizer imediata-
mente que
lim
x0
(1 + x)
x
2
+2
= 1
2
= 1.
2. lim
x+
_
2 +
3
x
_
x
2
+2
Neste caso, no podemos aplicar a proposio, visto que x
2
+ 2 +.
Deve ser intuitivo que o limite +.
Fazendo a transformao,
lim
x+
_
2 +
3
x
_
x
2
+2
= lim
x+
_
e
ln(2+
3
x
)
_
x
2
+2
= lim
x+
_
e
(x
2
+2) ln(2+
3
x
)
_
= +
pois ln
_
2 +
3
x
_
2 > 0 e x
2
+2 +, pelo que (x
2
+ 2) ln
_
2 +
3
x
_
+
e, consequentemente,
e
(x
2
+2)ln(2+
3
x
)
+.
3. lim
x+
(2 + 3x)
x
2
+2
Neste caso, 2 + 3x + e x
2
+ 2 .
Pensando um pouco, podemos perceber que neste tipo de situao o limite
0.
lim
x+
(2 + 3x)
x
2
+2
= lim
x+
_
e
ln(2+3x)

x
2
+2
= lim
x+
_
e
(x
2
+2) ln(2+3x)
_
= 0
pois ln (2 + 3x) + e x
2
+ 2 , pelo que
_
x
2
+ 2
_
ln(2 + 3x)
e, consequentemente,
e
(x
2
+2)ln(2+3x)
0.
Ana Matos - Prop. dos Lim. Inf. 14 6/11/2007
Smbolos de Indeterminao (assoc. exponenciao):
0
0
1

(+)
0
Recorrendo a
f (x)
g(x)
= e
ln(f(x))g(x)
fcil perceber que estes casos correspondem a situaes de indeterminao,
que esto relacionadas com indeterminaes do tipo
() 0, 0 e (+) 0,
respectivamente.
Terminemos com dois exemplos, em que temos situaes (de indetermi-
nao) do mesmo tipo, muito semelhentes, cujos resultados so diferentes.
Exemplo 8:
1. Determinemos
lim
x0
(1 + x)
1
x
.
Temos uma indeterminao do tipo 1

.
lim
x0
(1 + x)
1
x
= lim
x0
_
e
ln(1+x)

1
x
= lim
x0
e
ln(1+x)
x
= e
pois lim
x0
ln(x+1)
x
= 1 (limite notvel) e a funo exponencial contnua.
2. Determinemos
lim
x0
+
_
1 +

x
_1
x
.
Temos uma indeterminao do tipo 1

.
lim
x0
+
_
1 +

x
_1
x
= lim
x0
+
_
e
ln(1+

x)
_1
x
= lim
x0
+
e
1
x
ln(1+

x)
=
= lim
x0
+
e

x
ln(1+

x)

= e
0
= 1
pois lim
x0
+
ln(1+

x)

x
= 1, visto que

x 0, e a funo exponencial contnua.
Ana Matos - Prop. dos Lim. Inf. 15 6/11/2007