FORMAS INDETERMINADAS E A REGRA DE LHOPITAL

RICARDO MAMEDE

Consideremos o limite f (x) . g ( x) Se tanto o numerador como o denominador tendem para valores nitos quando x a, digamos e , e = 0, ent ao pela a lgebra dos limites sabemos que
xa

lim

f (x) = . xa g (x) lim Mas o que acontece quando ambas as fun c oes tendem para zero? Neste caso, n ao podemos garantir a ` partida qual o valor do limite. De facto, nem podemos garantir que este limite exista, como se pode comprovar nos exemplos seguintes: x2 = lim x = 0 x0 x x 0 2x lim = lim 2 = 2 x0 x x0 x lim n ao existe x0 sin2 (x) lim x 1 = lim = 2 x0 x x0 x x 1 lim 2 = lim = x0 x x0 x sin2 (x) lim =0 x0 x lim

0 Todos estes casos s ao exemplos de indetermina c oes do tipo ( 0 ). Veremos que a regra de LH opital, que demonstraremos a seguir, e um instrumento muito u til para tratar indetermina co es do tipo ( 0 ) ou ( ). Para outras formas indeterminadas 0 , , 0 0 0 1 , 0 e , existem t ecnicas que podem ser aplicadas de modo a transform a-las em indetermina co es do tipo ( 0 ) ou ( ), de modo que a regra de LH o pital pode igualmente 0 ser usada. Existem v arias demonstra co es da regra de LH opital, e mesmo diferentes vers oes desta regra. A demonstra c ao mais usual da regra e devida a Cauchy e faz uso do chamado Teorema do Valor M edio de Cauchy, tamb em conhecido por Teorema do Valor M edio Generalizado. Neste texto, no entanto, opt amos por apresentar uma demonstra ca o alternativa que evita o uso deste teorema.

Teorema 1 (Regra de LH opital). Sejam f, g : [a, b) R fun c oes diferenci aveis em (a, b) e tais que
xa+

lim f (x) = lim+ g (x) = 0

x a

ou

xa+

lim f (x) = lim+ g (x) = .

xa

Se g (x) = 0 para todo o x (a, b), ent ao

xa

lim+

f (x) f ( x) = lim+ , g (x) xa g (x)

desde que este u ltimo limite exista (ou seja igual a ). O mesmo resultado e v alido quando: se consideram limites ` a esquerda limxa e f e g diferenci aveis no intervalo (d, a);

RICARDO MAMEDE

se consideram limites limxa e f e g s ao diferenci aveis nos intervalos (d, a) e (a, b); se consideram os limites limx ou limx e f e g s ao diferenci aveis no intervalo (b, ) ou (, b). Demonstra c ao. Comecemos por mostrar que todas estas vers oes podem ser reduzidas ao caso x 0 com f (x), g (x) 0 ou f (x), g (x) +, atrav es de mudan cas de vari avel adequadas e outras manipula c oes. (1) Quando x +, a mudan ca de vari avel u = 1/x permite escrever f (x) f (1/u) L H f (1/u)(1)/u2 f ( x) . = lim = lim+ = lim+ 2 x+ g (x) x+ g (x) u0 g (1/u) u0 g (1/u)(1)/u lim (2) Quando x , efectuamos a mudan ca de vari avel u = 1/x e procedemos como em (1). (3) Quando x 0, consideramos os limites x 0 e x 0+ separadamente e tratamos este u ltimo limite usando a substitui ca o u = x. (4) O caso x a reduz-se ao anterior atrav es da substitui ca o u = x a. (5) Se f (x) ou g (x) substitu mos f por f ou g por g . (6) Finalmente, quando lim f (x)/g (x) = , substitu mos f por f ou g por g para reduzir este caso ao limite lim f (x)/g (x) = . De seguida aplicamos a regra de LH opital a lim g (x)/f (x). Temos ent ao dois casos a tratar: (a) x 0 , f (x) 0, g (x) 0 e (b) x 0 , f (x) , g (x) +. Caso (a). Podemos denir (se necess ario) f (0) = g (0) = 0 e considerar g (x) > 0 (caso contr ario utilizamos a fun ca o g (x)). Suponhamos que limx0 f (x)/g (x) = , com 0 < . Ent ao, dado > 0 temos f (x) + , g (x)

para x sucientemente pr oximos de 0, ` a esquerda. Como estamos a supor g (x) > 0, obtemos ( )g (x) f (x) ( + )g (x). De seguida, integrando os membros desta express ao no intervalo (x, 0) temos ( )g (x) f (x) ( + )g (x). Notemos que uma vez que g (x) 0 e g (x) > 0, temos g (x) < 0 no intervalo (x, 0). Assim, podemos escrever f ( x) + , g ( x) ou seja, f (x) lim = . x0 g (x) Caso (b). A demonstra c ao que efectu amos pode ser adaptada para tratar o caso (b). Suponhamos limx0 f (x)/g (x) = , com 0 < , e g (x) > 0. Ent ao, dado > 0 podemos escrever, tal como no caso anterior, ( )g (x) f (x) ( + )g (x),

para x sucientemente pr oximos de 0, ` a esquerda. Consideremos a segunda desigualdade. Considerando y < x, integrando ambos os membros desta desigualdade sobre o intervalo (y, x) , obtemos f (x) f (y ) ( + )[g (x) g (y )]. Notemos que uma vez que g (x) > 0 e g (x) , podemos concluir que g (x) > 0. Assim, podemos escrever f ( x) f (y ) ( + )g (y ) ( + ) . g (x) g ( x) Fixemos y . Ent ao, para x sucientemente pr oximo de 0, a ` esquerda, o segundo membro desta desigualdade e inferior a , pelo que f (x) 2 . g (x) f ( x) , para x sucientemente pr oximo de 0, ` a g ( x) esquerda, donde se conclui que limx0 f (x)/g (x) = . De modo an alogo obtemos 2

Notemos que pode acontecer que, nas condi c oes deste teorema, tamb em as fun c oes f (x) e g (x) tendam para zero (ou innito). Neste caso, o limite de f (f )/g (x) n ao pode ser calculado directamente, mas podemos voltar a usar a regra de LH opital para calcular este limite analisando o quociente f (x)/g (x). Mais geralmente, se as fun co es k1 k1 + f, f , . . . , f , g, g , . . . , g tendem para zero quando x tende para a ou a , ou a, ou , e f k (x)/g k (x) , ent ao tamb em f (x)/g (x) . Exemplo 1. Calculemos o limite lim sin x . Estamos perante uma indetermina ca o do x0 x . As fun co es f (x) = sin(x) e g (x) = x est ao nas condi co es do teorema anterior, tipo 0 0 pois ambas as fun co es s ao diferenci aveis numa vizinhan ca de zero e g (x) = 1, para todo f (x) o x = 0. Como limx0 g (x) = limx0 cos(x) = 0, pela regra de LH opital conclu mos que sin x = 0. x0 x lim x5 5x + 4 . Trata-se de uma x 1 (x 1)2 indetermina ca o 0 e as fun co es f (x) = x5 5x + 4 e g (x) = (x 1)2 satisfazem as 0 f (x) 5x 5 condi co es da regra de LH opital. No entanto, o limite lim = lim ainda e x1 g (x) x1 2(x 1) 0 uma indetermina c ao 0 . As fun co es f (x) e g (x) tamb em satisfazem as condi c oes da regra f (x) 5 5 e lim = lim = . Conclu mos assim que x1 g (x) x1 2 2 Exemplo 2. Consideremos agora o seguinte limite: lim x5 5x + 4 5x 5 5 = lim = . 2 x1 x 1 (x 1) 2(x 1) 2 lim
x Exemplo 3. Calculemos o limite limx 1+ . Trata-se de uma indetermina ca o ; as ex 2 x x fun co es f (x) = x e g (x) = 1 + e s ao diferenci aveis em R e g (x) = e = 0 para
2

RICARDO MAMEDE

todo o x R. Como limx consideramos o limx

f (x) g (x)

f (x) g (x)

= limx
2 ex

2x ex

e novamente uma indetermina c ao

= limx

= 0. Podemos ent ao concluir que

f ( x) x2 f (x) = lim = 0. = lim x x g (x) x 1 + e x g (x) lim Antes de apresentarmos mais exemplos, conv em chamar a aten ca o para a import ancia de se vericarem as hip oteses da regra antes de a utilizar. Em primeiro lugar a regra n ao funciona se o limite f (x)/g (x) n ao for uma indetermina ca o do tipo ( 0 ) ou ( ), como se 0 pode vericar no exemplo seguinte. x+1 Exemplo 4. O limite lim n ao existe, mas se tentarmos aplicar a regra de LH opital x0 x obtemos uma resposta errada: 1 x+1 = lim = 1. lim x 0 1 x0 x A raz ao reside no facto do limite inicial n ao ser uma indetermina ca o do tipo ( 0 ) ou ( ). 0 Outro ponto a ter em conta ao usarmos a regra de LH opital, e o facto de s o podermos assegurar a igualdade f (x) f ( x) lim+ = lim+ xa g (x) x a g ( x ) quando o segundo limite existe. Apesar da exist encia do limite limxa+ condi ca o suciente para a exist encia de limxa+
f (x) g (x) f (x) g (x)

ser uma
f (x) g (x)

(se as fun c oes estiverem nas condi co es n ao

f (x) , g (x)

do teorema 1), esta n ao e uma condi c ao necess aria. Ou seja, se o limite limxa+

existir n ao podemos tirar qualquer conclus ao acerca da exist encia do limite limxa+ como se pode comprovar nos pr oximos exemplos. Exemplo 5. (Indetermina co es do tipo 0 ) 0 2 Se f (x) = x sin(1/x) e g (x) = sin(x), ent ao o limite limx0 que
(x) limx0 f g (x) f (x) g (x)

n ao existe, enquanto
f (x) g (x)

= 0. e

Por outro lado, se f (x) = x sin(1/x) e g (x) = sin(x), nenhum dos limites limx0 limx0
f (x) g (x)

existe.
f (x) g ( x)

Exemplo 6. (Indetermina co es do tipo ) 2 Se f (x) = x(2 + sin x) e g (x) = x + 1, ent ao o limite limx0

n ao existe, enquanto
f (x) g (x)

que

(x) limx0 f g (x)

= 0.

Por outro lado, se f (x) = x(2 + sin x) e g (x) = x2 + 1, nenhum dos limites limx0 e limx0
f (x) g (x)

existe.

Existe ainda um terceiro factor a ter em conta: a exist encia de zeros de g (x) numa vizinhan ca (a, b) do ponto a. Se a fun ca o g (x) se anula em qualquer intervalo aberto da forma (a, b), ent ao f (x)/g (x) n ao se encontra denido em (a, b) e podemos armar que ( x) n ao existe. Existe, contudo, a possibilidade de f e g possu rem o limite limxa+ f g (x) um factor comum: f (x) = s(x) (x) e g (x) = s(x) (x), tal que o limite (x)/ (x) natural cancelar o factor s(x), mas pode acontecer que limxa+ (x) exista mas existe. E (x)

(x) limxa+ f n ao exista, como se pode vericar no exemplo seguinte (onde consideramos g (x) o caso a = ).

Exemplo 7. Sejam f (x) = 1 (x+cos(x) sin(x)) e g (x) = f (x)esin(x) . Temos limx f (x) = 2 e limx g (x) = . Tentemos aplicar a regra de LH opital ao quociente f (x)/g (x). Temos de considerar f (x)/g (x), onde f (x) = cos2 (x) e g (x) = cos2 (x)esin(x) + f (x) cos(x)esin(x) . Segue que g (x) = 0 sempre que cos(x) = 0, isto e, a fun c ao g tem zeros em todos os intervalos da forma (b, ), e portanto, n ao podemos aplicar a regra de LH opital. Calculemos, todavia, o limite de f (x)/g (x). Ap os cancelarmos um dos factores cos(x), obtemos f (x) cos x = , sin( g (x) cos(x)e x) + f (x)esin(x)
(x) e podemos vericar que limx f = 0, pois os termos cos(x), cos(x)esin(x) e esin(x) , s ao g (x) limitados e f (x) . No entanto,

f (x) 1 = sin(x) g (x) e n ao se pode aproximar de zero quando x uma vez que esin(x) e uma fun ca o limitada.

Vamos de seguida descrever m etodos para, mediante manipula co es alg ebricas, transformar qualquer uma das restantes formas indeterminadas 0 , , 1 , 00 e 0 0 numa indetermina ca o do tipo 0 ou , sobre as quais podemos usar a regra de LH opital. Com as nota c oes obvias, temos: 1 f (x) (0 ) lim (f (x) g (x)) = lim f (x) 1 = lim 1 (0 ) 0
xa xa g ( x) xa g (x) 1 g (x)

( )

xa

lim (f (x) g (x)) = lim

1
1 f (x)

xa

1
1 g ( x)

= lim

1 f (x)

xa

1 f (x)g (x)

(0 ) 0

(1 ) (00 ) (0 )

xa

lim (f (x))g(x) = lim eln[(f (x))

x a

g (x) ]

= eg(x)ln f (x) = eg(x)ln f (x) = eg(x)ln f (x)

( 0)

xa

lim (f (x))g(x) = lim eln[(f (x))

x a

g (x) ]

(0 )

xa

lim (f (x))g(x) = lim eln[(f (x))

x a

g (x) ]

(0 )

RICARDO MAMEDE

Exemplo 8. Calculemos lim x ln x. Trata-se de uma indetermina c ao 0 . Seguindo +

x0

a tabela anterior, fazemos

x0

lim x ln x = lim + +
x0

ln x
1 x

(/)

= lim +
x0

1/x (ln x) = lim = lim x = 0. 1 + x0 1/x2 x0+ (x)

1 1 ). Estamos perante uma indeExemplo 9. Consideremos agora o limite lim ( + x0 x sin(x) termina ca o do tipo . Assim, temos: 1 1 sin(x) x lim ( ) = lim (0/0) x0+ x x0+ x sin(x) sin(x) (sin(x) x) cos(x) 1 = lim (0/0) = lim + + x0 x0 sin(x) + x cos(x) (x sin(x)) (cos(x) 1) sin(x) = lim = lim = 0. + + x0 (sin(x) + x cos(x)) x0 2 cos(x) x sin(x) Exemplo 10. O limite lim x cemos por escrever 1 1+ x lim
x

e um exemplo de uma indetermina ca o 1 . Comex x

1 1+ x

= lim ex ln(1+ x ) .

O expoente representa uma indetermina ca o 0. Temos: lim x ln 1 + 1 x = lim

1 ln(1 + x ) 1 x

(0/0) = 1.

1 (ln(1 + x )) 1 = lim = lim 1 x x 1 + (x)

1 x

Portanto, lim

1+

1 x

= e1 = e.

Exemplo 11. Consideremos agora o limite lim xx . Trata-se de uma indetermina c ao 00 . +

x 0

Seguindo a informa c ao da tabela anterior, podemos escrever:

x0+

lim xx = lim ex ln x . +
x0

No exemplo 8 vimos que limx0+ x ln(x) = 0, donde se conclui que

x0+

lim xx = e0 = 1.

Exemplo 12. Consideremos por m um exemplo de uma indetermina ca o 0 . Calculemos 1 x o limite lim (e + 7) x . Temos
x

lim (ex + 7) x = lim e x ln(e

x

x +7)

Calculemos o limite do expoente, o qual se trata de uma indetermina ca o /: x x ln(e + 7) (ln(e + 7)) lim = lim x x x x ex (/) = lim x x e + 7 (ex ) ex = lim x = lim x = 1. x e x (e + 7) Deste modo, 1 lim (ex + 7) x = e1 = e.
x

ncias Refere
[1] T.M. Apostol, Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra, vol. 2, John Wiley & Sons Inc., 1967. [2] R.P. Boas, Counterexamples to LHopitals Rule, Amer. Math. Monthly 93, 644-645, 1986. [3] R.P. Boas, Indeterminate Forms Revisited, Mathematics Magazine, Vol. 63, No. 3 (Jun., 1990), pp. 155-159.