Documente Academic
Documente Profesional
Documente Cultură
1
1. LIMITES DE FUNES.
Definio 1. O conjunto
{ } { }
b x f a x D x b x f
f
a x
A definio de limite de uma funo segundo Cauchy significa que para toda a
vizinhana ) (b V
tal que
) ( ) ( b V x f
sempre que { } a a V x \ ) (
. (2)
A parte fundamental da definio de limite de uma funo segundo Cauchy
que, para cada ) (b V
que
satisfaz a (2). Geralmente, ) (a V
depende da escolha de ) (b V
.
Teorema 1. A definio de limite de uma funo segundo Heine equivalente a
definio de limite de uma funo segundo Cauchy.
Demonstrao.
Seja R b o limite da funo ) (x f no ponto
f
D a segundo Heine. Demonstraremos
que R b o limite da funo ) (x f no ponto
f
D a segundo Cauchy.
Supomos o contrrio, isto , R b no o limite da funo ) (x f no ponto
f
D a
segundo Cauchy. Isto significa que existe 0
0
> = tal que para qualquer 0 > existe pelo menos
um ponto < a x a x D x
f
e
0
) ( b x f . Escolhemos igual,
sucessivamente, aos nmeros:
K K ,
1
, ,
3
1
,
2
1
, 1
n
Ento:
Para 1 = em
f
D existe pelo menos um ponto 1
1 1
< a x a x e
0 1
) ( b x f ;
Para
2
1
= em
f
D existe pelo menos um ponto
2
1
2 2
< a x a x e
0 2
) ( b x f ;
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
3
Para
3
1
= em
f
D existe pelo menos um ponto
3
1
3 3
< a x a x e
0 3
) ( b x f ;
......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ..........
Para
n
1
= em
f
D existe pelo menos um ponto
n
a x a x
n n
1
< e
0
) ( b x f
n
;
......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... .......... ..........
Para a sucesso de pontos L L , , , , ,
3 2 1 n
x x x x com a x
n
tem-se
0
1
<
n
a x
n
quando n e portanto a x
n
= lim .
Portanto na base da definio do limite da funo ) (x f no ponto
f
D a segundo Heine
resulta que b x f
n
) ( . Por conseguinte, para
0
existe N n
0
tal que para qualquer
0
n n > tem-
se
0
) ( < b x f
n
. Obtemos contradio com a escolha dos pontos L L , , , , ,
3 2 1 n
x x x x , isto ,
com
0
) ( b x f
n
. Desta contradio resulta que R b o limite da funo ) (x f no ponto
f
D a segundo Cauchy.
Seja R b o limite da funo ) (x f no ponto
f
D a segundo Cauchy.
Demonstraremos que R b o limite da funo ) (x f no ponto
f
D a segundo Heine .
Na base da definio do limite da funo ) (x f no ponto
f
D a segundo Cauchy temos:
< < < > > b x f a x D x
f
) ( ) ( 0 : 0 ) ( , 0 .
Demonstraremos que R b o limite da funo ) (x f no ponto
f
D a segundo Heine.
Consideramos uma sucesso arbitrria de pontos L L , , , , ,
3 2 1 n
x x x x com a x
n
convergente
para a . Ento para o valor existente de 0 ) ( > , correspondente a na base da definio de limite
da funo ) (x f no ponto
f
D a segundo Cauchy, se verifica < b x f
n
) ( . Mas porque
qualquer ( escolhido arbitrariamente) resulta que b x f
n
) ( para qualquer sucesso de pontos
L L , , , , ,
3 2 1 n
x x x x com a x
n
convergente para a , isto , R b o limite da funo ) (x f
no ponto
f
D a segundo Heine . O teorema est demonstrado.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
4
Nota 1. A definio do limite da funo ) (x f no ponto de acumulao
f
D a
segundo Heine usada para provar que um limite no existe. Para provar que um
limite no existe e suficiente achar duas sucesses diferentes ( )
n
x e ( )
n
y que verificam
as condies da definio do limite da funo ) (x f no ponto
f
D a segundo Heine,
mas com ) ( lim ) ( lim
n n
y f x f .
A definio do limite da funo ) (x f no ponto de acumulao
f
D a segundo
Cauchy usada para demonstrar que o limite R b .
A interpretao geomtrica da definio do limite dada na figura 1. A
vizinhana ) (b V
est
marcada no eixo x O . O rectngulo sombreado formado por todos os pontos ) , ( y x
para os quais ) (a V x
, ) (b V y
e assegura que o grfico da funo correspondente
ao intervalo ) (a V
x x x D x x x
f
x
Porque
= + + + = + + = 3 3 ) 3 ( ) 3 ( 3 ) 9 6 ( 9 3 9 6 3
2 2 2 2
x x x x x x x x x x
( ) < + = 3 3 3
2
x x
e < < 3 0 x obtemos < + 3
2
.
Resolvemos a inequao em relao .
.
2
4 9 3
0 3 3
2 2
+
= = + = +
Como 0
2
4 9 3
1
<
+
=
e 0
2
4 9 3
2
>
+ +
=
levando em conta que 0 ) ( > resulta que o conjunto das solues da inequao :
2
4 9 3
0
+ +
< < .
Portanto 0 ) ( , 0 > > tal que
4 9 3
2
) 3 4 9 ( 2
) 3 4 9 ( ) 3 4 9 (
2
4 9 3
) ( ) ( 3 0
1
+ +
=
+ +
+ + +
=
+ +
= < < x
implica < x x 3
2
, isto , 2 ) 2 3 ( lim
2
3
= +
x x
x
.
Observao. Para evitar a resoluo da inequao quadrtica na determinao
de correspondente , levando em conta que
0 3 3 x x
conclumos que
( ) < < < 3 3 3
2
x x x .
Ento obtemos
4
4 3 3
2
< < + < + .
Portanto 0 ) ( , 0 > > tal que
4
) ( ) ( 3 0
1
= < < x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
6
implica < x x 3
2
, isto , 2 ) 2 3 ( lim
2
3
= +
x x
x
.
Exemplo 2. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo
=
+
=
, 1 , 1
, 1 , 2
) (
2
x se
x se x x
x f no ponto 1 = x 3.
Resoluo.
R D
f
= e 1 = x um ponto de acumulao do domnio da funo. Na base da
definio de limite segundo Cauchy temos:
. 3 2 ) ( 1 0 : 0 ) ( , 0 3 ) 2 ( lim
2 2
1
< + < < > > = +
x x x D x x x
f
x
Porque
+ + = + + + = + ) 1 ( 5 ) 2 4 2 ( 3 2 4 2 4 2 3 2
2 2 2
x x x x x x x x x
( ) < + = + 1 5 1 2 1 5 ) 1 ( 2
2
2
x x x x
e < < 1 0 x obtemos < + 5 2
2
.
Resolvemos a inequao em relao .
.
4
8 25 5
0 5 2 5 2
2 2
+
= = + = +
Como 0
4
8 25 5
1
<
+
=
e 0
4
8 25 5
2
>
+ +
=
levando em conta que 0 ) ( > resulta que o conjunto das solues da inequao :
4
8 25 5
0
+ +
< < .
Portanto 0 ) ( , 0 > > tal que
8 25 5
2
4
8 25 5
) ( ) ( 1 0
1
+ +
=
+ +
= < < x
implica < + 3 2
2
x x , isto , 3 ) 2 ( lim
2
1
= +
x x
x
.
Observao. Para evitar a resoluo da inequao quadrtica na determinao
de correspondente , levando em conta que
0 1 1 x x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
7
conclumos que
( ) < < < 1 1 1
2
x x x .
Ento obtemos
7
7 5 2 5 2
2
< < = + < + .
Portanto 0 ) ( , 0 > > tal que
7
) ( ) ( 1 0
1
= < < x
implica < + 3 2
2
x x , isto , 3 ) 2 ( lim
2
1
= +
x x
x
.
Seja { } + = , U R R a recta acabada, isto , a recta acabada a reunio do
conjunto dos nmeros reais com um conjunto de dois elementos (menos infinito) e
+ (mais infinito).
Consideramos pela definio que:
+ < ;
R a a + < < , ;
+ = + + + ) ( ) ( ;
= + ) ( ) ( ;
+ = = + + ) ( ) ( ) ( ) ( ;
= + = + ) ( ) ( ) ( ) ( ;
R a a a + = + + = + + , ) ( ) ( ;
R a a a = + = + , ) ( ) ( ;
+
+ = + = + R a a a , ) ( ) ( ;
+
= = R a a a , ) ( ) ( ;
= + = + R a a a , ) ( ) ( ;
+ = = R a a a , ) ( ) ( .
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
8
No so definidas as operaes:
) ( ) ( ), ( ) ( ), ( ) ( ), ( ) ( + + + + + + ;
0 ) ( ), ( 0 ), ( 0 , 0 ) ( + + ;
+
+
+
+
, , , ;
0 0
) ( , ) ( + ;
Com 0 > definem-se:
)
`
< =
1
: ) ( x R x V a vizinhana de raio de ;
)
`
> = +
1
: ) ( x R x V a vizinhana de raio de + .
A definio do limite de uma funo segundo Cauchy na recta acabada.
Definio 5. Diz-se que R b o limite da funo ) (x f no ponto
f
D a ou
que ) (x f tende para b ( b x f ) ( ) quando x tende para a ( a x ) e escreve-se
b x f
a x
=
) ( lim , se para qualquer 0 > existe 0 ) ( > ( dependente de ) tal que para
quaisquer valores de ( ) { } a V D x
f
\
) (
I se verifica ) ( ) ( b V x f
.
Simbolicamente tem-se:
{ } ) ( ) ( \ ) ( : 0 ) ( , 0 ) ( lim b V x f a a V D x b x f
f
a x
> > =
I . (3)
Nota 2.
Com R a e + = b tem-se:
{ }
1
) ( \ ) ( : 0 ) ( , 0 ) ( lim > > > + =
x f a a V D x x f
f
a x
I .
Com R a e = b tem-se:
{ }
1
) ( \ ) ( : 0 ) ( , 0 ) ( lim < > > =
x f a a V D x x f
f
a x
I .
Com + = a e R b tem-se:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
9
< > > > =
+
b x f x b x f
x
) (
) (
1
: 0 ) ( , 0 ) ( lim .
Com = a e R b tem-se:
< < > > =
b x f x b x f
x
) (
) (
1
: 0 ) ( , 0 ) ( lim .
Com + = a e + = b tem-se:
1
) (
) (
1
: 0 ) ( , 0 ) ( lim > > > > + =
+
x f x x f
x
.
Com + = a e = b tem-se:
1
) (
) (
1
: 0 ) ( , 0 ) ( lim < > > > =
+
x f x x f
x
.
Com = a e + = b tem-se:
1
) (
) (
1
: 0 ) ( , 0 ) ( lim > < > > + =
x f x x f
x
.
Com = a e = b tem-se:
1
) (
) (
1
: 0 ) ( , 0 ) ( lim < < > > =
x f x x f
x
.
Exemplo 3. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo
2
) 1 (
1
) (
=
x
x f no ponto 1 = x + .
Resoluo.
{ } 1 \ R D
f
= mas 1 = x um ponto de acumulao do domnio da funo. Na
base da definio de limite segundo Cauchy temos:
, ) (
) 1 (
1
) ( 1 1 : 0 ) ( , 0
) 1 (
1
lim
2 2
1
+
\
|
V
x
x x D x
x
f
x
isto ,
.
1
) 1 (
1
) ( 1 1 : 0 ) ( , 0
) 1 (
1
lim
2 2
1
>
\
|
x
x x D x
x
f
x
Porque
1 ) 1 (
1
) 1 (
1
2
2
x x
x
conclumos que 0 ) ( , 0 > > tal que
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
10
= < < ) ( ) ( 1 0
1
x
implica
1
) 1 (
1
2
>
x
, isto , + =
|
|
\
|
2
1
) 1 (
1
lim
x
x
.
Exemplo 4. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo
4 2
4
) (
=
x
x
x f
2
1
quando x tende para o + ( + x ).
Resoluo.
{ } 2 \ R D
f
= . Na base da definio de limite segundo Cauchy temos:
,
2
1
4 2
4
) ( 2 : 0 ) ( , 0
2
1
4 2
4
lim
) (
|
\
|
+ > > = |
\
|
+
V
x
x
V D x x
x
x
f
x
I
ou
,
2
1
4 2
4
) ( 2 : 0 ) ( , 0
2
1
4 2
4
lim
) (
<
+ > > = |
\
|
+
x
x
V D x x
x
x
f
x
I
isto ,
,
4 2
2
) (
1
: 0 ) ( , 0
2
1
4 2
4
lim
<
\
|
+
x
x D x
x
x
f
x
.
Porque com + x tem-se
2 1
1 2 1
2
1
2
1
2
1
4 2
2
+
=
+
> <
x
x x x x
,
conclumos que 0 ) ( , 0 > > tal que com
2 1
) ( ) (
1
+
= tem-se
<
+
= >
2
1
4 2
4
2 1
1
) (
1
) (
1
1
x
x
x ,
isto ,
2
1
4 2
4
lim = |
\
|
+
x
x
x
.
Exemplo 5. Usando a definio de limite segundo Cauchy mostrar que o limite da
funo
x
x
x f
2
) (
2
\
|
+
x
x
x
x
x
x
.
Com 0 > e + x temos:
0 2 ) 2 (
1 2
2 2
2
> > >
x x x x
x
x
.
A soluo da inequao obtida
|
|
\
|
+
+ +
|
|
\
|
+
,
2
8 1 1
2
8 1 1
,
2 2
U x e porque + x temos
2
2
8 1 1
2
1
2
8 1 1
+ +
>
+ +
> x x .
Daqui conclumos que 0 ) ( , 0 > > tal que com
2
1
8 1 1
2
) ( ) (
+ +
= tem-se
1 2
8 1 1
2
1
2
2
>
+ +
>
x
x
x ,
isto , + =
+
x
x
x
2
lim
2
.
Observao. Para evitar a resoluo da inequao quadrtica na determinao
de correspondente , levando em conta que + x temos
1
1
) 1 ( 2
2 2
> =
=
>
x
x
x x
x
x x
x
x
.
Ento obtemos
1
1 1 1
1
1
1
+
=
+
> + > >
x x x .
Portanto 0 ) ( , 0 > > tal que com
1
) ( ) (
1
+
=
tem-se
1 2
1
1
2
>
+
>
x
x
x , isto , + =
+
x
x
x
2
lim
2
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
12
A definio do limite lateral de uma funo segundo Cauchy.
Seja ) (x f uma funo real de varivel real de domnio
f
D e seja
f
D a um
ponto de acumulao de
f
D .
Definio 6. Se a ponto de acumulao de ] [ + , a D
f
I , diz-se que b limite
direito de ) (x f no ponto a e escreve-se b x f
a x
=
+
b x f a a x b x f
a x
) ( ) ( , : 0 ) ( , 0 ) ( lim
Definio 7. Se a ponto de acumulao de ] [ a D
f
, I , diz-se que b limite
esquerdo de ) (x f no ponto a e escreve-se b x f
a x
=
b x f a a x b x f
a x
) ( ), ( : 0 ) ( , 0 ) ( lim
Exemplo 6. Usando as definies dos limites laterais segundo Cauchy mostrar que
para a funo
<
=
>
=
, 0 se , 1
; 0 se , 0
; 0 se , 1
) (
x
x
x
x sign tem-se 1 ) ( lim
0
=
+
x sign
x
e 1 ) ( lim
0
=
x sign
x
.
Resoluo.
R D
f
= . Na base da definio do limite direito segundo Cauchy temos:
] [ < > > =
+
1 ) ( , 0 : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x
ou
< < < > > =
+
1 ) ( ) ( 0 : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
13
Com 0 > e 0 > x temos 1 ) ( + < x x sign e < = = + x x x x sign 1 1 1 ) ( .
Portanto considerando = <
1
x conclumos que
1 1 ) ( ) ( 0 : 0 ) ( , 0 < < < > > x sign x ,
isto , 1 ) ( lim
0
=
+
x sign
x
.
Analogamente, na base da definio do limite esquerdo segundo Cauchy temos:
] [ < > > =
) 1 ( ) ( 0 , : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x
ou
< < < > > =
) 1 ( ) ( 0 ) ( : 0 ) ( , 0 1 ) ( lim
0
x sign x x sign
x
Com 0 > e 0 < x temos 1 ) ( < x x sign e
< = = = + x x x x x sign 1 1 ) 1 ( ) ( ,
isto , > > x 0 .
Portanto considerando = >
1
x conclumos que
< < < > > ) 1 ( ) ( 0 ) ( : 0 ) ( , 0 x sign x ,
isto , 1 ) ( lim
0
=
x sign
x
.
Teorema 2. Sendo a ponto de acumulao bilateral do domnio da funo ) (x f , o
limite de ) (x f em a existe se e s se existem e so iguais os limites laterais de ) (x f
em a , tendo-se neste caso ) ( lim ) ( lim ) ( lim x f x f x f
a x a x a x
+
= = .
Demonstrao.
Demonstramos que b x f x f b x f
a x a x a x
= = =
+
) ( lim ) ( lim ) ( lim .
Seja b x f
a x
=
) ( lim
e
] [ ) ( , + a a x tem-se < b x f ) ( , isto , b x f
a x
=
+
) ( lim .
Demonstramos que b x f b x f x f
a x a x a x
= = =
+
) ( lim ) ( lim ) ( lim .
Seja b x f x f
a x a x
= =
+
) ( lim ) ( lim . Na base das definies dos limites laterais segundo Cauchy no
ponto a temos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
14
< < < > > =
b x f a x a b x f
a x
) ( ) ( : 0 ) ( , 0 ) ( lim
1
;
< + < < > > =
+
b x f a x a b x f
a x
) ( ) ( : 0 ) ( , 0 ) ( lim
2
.
Escolhendo )) ( ), ( min( ) (
2 1
= obtemos que
] [ ] [ ( ) ] [ ( ) a x a a x a a x a a x + + ) ( , ) ( ) ( , , ) (
tem-se < b x f ) ( , isto , b x f
a x
=
) ( lim .
O teorema est demonstrado.
Nota 3.
Caso a ponto de acumulao unilateral do domnio
f
D da funo ) (x f o
limite de ) (x f em a identifica-se com o nico limite lateral que possvel definir.
Infinitamente grande. Funes limitadas. Infinitamente pequeno.
Definio 8. A funo ) (x f de domnio
f
D diz-se infinitamente grande quando x
tende para o ponto de acumulao a de
f
D , { } ( ) + , U I R D a
f
, se para
qualquer 0 > L , por maior que seja, existe 0 > tal que
L x f a x a x D x
f
> < ) ( . Se a funo ) (x f de domnio D
infinitamente grande quando a x escreve-se =
) ( lim x f
a x
.
Exemplo 7. Mostrar que
2
) 1 (
) (
=
x
x
x f infinitamente grande quando 1 x .
Resoluo.
{ } 1 \ R D
f
= . Na base da definio 9 temos:
: 0 , 0 > > L L
x
x
x x D x
f
>
<
2
) 1 (
1 1 .
Quando 1 1 x x tem-se
2 2 2 2
1 2
1
1
5 , 0
1
) 1 (
=
>
x x x
x
x
x
,
isto ,
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
15
L
x
x
L
x
>
>
2 2
) 1 (
1 2
1
.
Mas porque
L
x
L
x L
x 2
1
1
2
1
1
1 2
1 2
2
< < >
Conclumos que com
L 2
1
1
= tem-se
: 0 , 0 > > L L
x
x
L
x x D x >
<
2
) 1 ( 2
1
1 1 ,
isto ,
2
) 1 (
) (
=
x
x
x f infinitamente grande quando 1 x .
Nota 4.
Da definio resulta que a funo ) (x f de domnio
f
D infinitamente grande
quando a x , { } ( ) + , U I R D a
f
, se =
) ( lim x f
a x
e =
+
) ( lim x f
a x
.
Exemplo 8.
1) A funo
<
=
; 1 se ,
; 1 se ,
1
) (
2
x x
x
x
x
x f no infinitamente grande quando 1 x
porque =
=
1
lim ) ( lim
1 1
x
x
x f
x x
e 1 lim ) ( lim
2
1 1
= =
+ +
x x f
x x
.
2) A funo ) 4 cos( ) ( x x x f = (figura 2) no infinitamente grande quando
+ x (ou x ) porque se anula nos pontos
L L , 2 , 1 , 0 , 1 , 2 , ,
4 8
= + = n n x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
16
Definio 9. A funo ) (x f diz-se limitada no seu domnio
f
D , se existe 0 > L tal
que para todos os valores de
f
D x tem-se L x f ) ( .
Caso contrrio (se tal 0 > L no existe) a funo ) (x f diz-se no limitada no
seu domnio
f
D .
Por exemplo, a funo senx x f = ) ( , definida em R , limitada, porque para
qualquer R x tem-se L senx = 1 .
Definio 10. A funo ) (x f diz-se limitada quando a x ,
{ } ( ) + , U I R D a , se existe uma vizinhana de centro a na qual a funo
limitada, isto , se existe 0 > L tal que para todos os valores de < a x D x
f
tem-se L x f ) ( .
Teorema 3. Se o limite de ) (x f quando a x , { } ( ) + , U I R D a
f
, um
nmero finito b ( b x f
a x
=
x
sen , mas no tem limite quando
0 x .
Realmente, na base da definio de limite segundo Heine, o limite da funo
x
sen x f
1
) ( = no existe se s duas sucesses de nmeros reais, de valores da varivel
independente x , com o mesmo limite zero, correspondem pela funo sucesses com
limites diferentes. Consideremos as sucesses ( )
n
x e ( )
n
x com
n
x
n
1
= e
+
=
) 1 4 (
2
n
x
n
, N n .
Ento 0 lim =
n
x e 0 lim =
n
x .
0 ) (
1
) ( = =
= n sen
x
sen x f
n
n
, isto ,
0 ) ( lim ) ( lim = = n sen x f
n
;
1
2
2
2
) 1 4 ( 1
) ( = |
\
|
+ = |
\
| +
=
=
n sen
n
sen
x
sen x f
n
n
, isto ,
1
2
2 lim ) ( lim = |
\
|
+ =
n sen x f
n
.
Portanto o limite da funo
x
sen x f
1
) ( = no existe quando 0 x .
Nota 6. Da definio 10 de uma funo limitada resulta que a funo ) (x f de
domnio
f
D no limitada quando a x , { } ( ) + , U I R D a , se
=
) ( lim x f
a x
, isto , se ) (x f infinitamente grande quando a x . A afirmao
inversa no verdadeira. A funo no limitada pode no ser infinitamente grande
(ver o exemplo 8).
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
18
Exemplo 10. A funo
x
x f
1
) ( = tem o domnio { } 0 \ R D
f
= e 0 = x ponto de
acumulao de
f
D .
Para qualquer
f
D a temos
a x
a x
1 1
lim =
e portanto a funo
x
x f
1
) ( =
limitada na vizinhana do ponto a .
Realmente, na base da definio do limite segundo Cauchy
< + < < > >
a x
a x a x a
1 1
) ( ) ( : 0 ) ( , 0 .
Porque
x a
a x
x a
x a
x a
x a
a x
=
1 1
e quando a x com 0 0 > > x a ( e tambm
com 0 0 < < x a ) tem-se
2 2 2
2 2
a a a
a x a = = > .
Ento < <
<
=
2
2
1 1
2
2
a
a x
a
a x
x a
a x
a x
e conclumos que 0 ) ( , 0 > > tal que
= < <
2
) ( ) ( 0
2
1
a
a x
implica <
a x
1 1
, isto ,
a x
a x
1 1
lim =
.
Porque + = |
\
|
+
x
x
1
lim
0
e = |
\
|
x
x
1
lim
0
, a funo
x
x f
1
) ( = infinitamente
grande quando 0 x e portanto no limitada na vizinhana do ponto 0 = x .
Definio 11. A funo ) (x f de domnio
f
D diz-se infinitamente pequeno em a ou
infinitamente pequeno quando x tende para o ponto de acumulao a de
f
D ,
{ } ( ) + , U I R D a
f
, se 0 ) ( lim =
x f
a x
.
Simbolicamente, utilizando a definio do limite segundo Cauchy, tem-se:
< < < > > =
) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim x f a x D x x f
f
a x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
19
Exemplo 11.
A funo
2
) 2 ( ) ( = x x f tem o domnio R D
f
= e 2 = x ponto de acumulao de
f
D . A funo infinitamente pequeno quando 2 x .
Realmente, utilizando a definio do limite segundo Cauchy, temos:
. ) 2 ( ) ( 2 0 : 0 ) ( , 0 0 ) 2 ( lim
2 2
2
< < < > > =
x x D x x
f
x
Porque
( ) < < < < < 2 2 2 ) 2 (
2
2
x x x x ,
conclumos que com =
1
tem-se
< < <
2
) 2 ( ) ( 2 0 x x D x
f
, isto , a funo
2
) 2 ( ) ( = x x f
infinitamente pequeno quando 2 x .
a) A funo
2
) 1 (
) (
=
x
x
x f tem o domnio { } 1 \ R D
f
= e infinitamente
pequeno quando + x .
Realmente, utilizando a definio do limite segundo Cauchy, temos:
<
)
`
+
2
) (
2
) 1 ( ) (
1
: ) ( : 0 ) ( , 0 0
) 1 (
lim
x
x
x R x V x
x
x
x
Porque
( ) ( ) ( )
.
2
1
1
2
1
1 2
1
1 1
1
1 ) 1 (
) 1 ( ) 1 (
2 2 2 2 2
> <
<
+
=
x
x
x
x
x
x
x
x
x
x
x
x
Quando + x temos
2
1 2 2
1
2
1
2
1
+
=
+
= + > > >
x x x .
Conclumos que com
2
1
+
=
tem-se
<
)
`
> = +
2 ) (
) 1 ( ) (
1
: ) (
x
x
x R x V x ,
isto , a funo
2
) 1 (
) (
=
x
x
x f infinitamente pequeno quando + x .
Teorema 4. A funo ) (x f tem limite b quando a x se e s se existe uma
vizinhana ) (a V
) ( lim .
O teorema est demonstrado.
Teorema 5. A soma de um nmero finito de infinitamente pequenos em a ,
) ( ) ( ) ( ) (
1 2 1
x x x x
n n
+ + + +
L , infinitamente pequeno em a .
Demonstrao.
Porque ) ( ), ( ), ( ), (
1 2 1
x x x x
n n
L so infinitamente pequenos em a na base da definio
do infinitamente pequeno quando a x temos:
n
x a x D x x
f
a x
) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim
1 1 1 1
;
n
x a x D x x
f
a x
) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim
2 2 2 2
;
..........................................................................................
..........................................................................................
..........................................................................................
n
x a x D x x
n f n n
a x
) ( ) ( 0 : 0 ) ( , 0 0 ) ( lim
2
.
Escolhendo { } ) ( ), ( ), ( ), ( min ) (
1 2 1
n n
= L para ) ( < a x temos
simultaneamente
n
x
n
x
n
x
n
= + + + < + + + + + +
4 4 3 4 4 2 1
L L L
termos n
n n
n n n
x x x x x x ) ( ) ( ) ( ) ( ) ( ) (
2 1 2 1
, isto
, ) ( ) ( ) ( ) (
1 2 1
x x x x
n n
+ + + +
L infinitamente pequeno em a .
O teorema est demonstrado.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
21
Teorema 6. O produto de um infinitamente pequeno em a , ) (x , por uma funo
limitada numa vizinhana de a um infinitamente pequeno em a .
Demonstrao.
Seja ) (x f uma funo limitada numa vizinhana ) (a V
de a , isto , para
< a x D x
f
tem-se L x f ) (
e seja ) (x um infinitamente pequeno quando a x , isto ,
L
x a x D x
f
\
|
x
sen x
x
, porque ) 2 ( x infinitamente pequeno quando 2 x
e 1
2
1
1 |
\
|
x
sen quando 2 x .
Teorema 7. O quociente de um infinitamente pequeno em a , ) (x , e uma funo
cujo limite diferente de zero quando a x um infinitamente pequeno em a .
Demonstrao.
Seja 0 ) ( lim =
x
a x
e 0 , ) ( lim =
b b x f
a x
.
Demonstremos que se 0 , ) ( lim =
b b x f
a x
ento
) (
1
x f
funo limitada quando
a x . Na base da definio do limite segundo Cauchy a desigualdade < b x f ) ( se verifica
para qualquer 0 > e porque b diferente de zero consideremos b < < 0 .
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
22
Temos + < < < b x f b b x f ) ( ) ( e ( ) ) 0 ( 0 0 > < b b b .
Para 0 < b e b < < 0 temos
0 ) ( 0 ) ( 0 ) ( > > > + > > > + < + < < b x f b b x f b b x f b
e portanto
< = <
+
<
b x f x f b
1
) (
1
) (
1 1
0 .
Para 0 > b e b b = < < 0 temos
+ < < < + < < < b x f b b x f b ) ( 0 ) ( 0
e portanto
< = <
+
<
b x f x f b
1
) (
1
) (
1 1
0 .
Por conseguinte a funo
) (
1
x f
limitada quando a x .
Ento na base do teorema 6
) (
1
) (
) (
) (
x f
x
x f
x
=
x f
x
a x
.
O teorema est demonstrado.
Teoremas sobre limites.
Teorema 8. O limite finito de uma funo num ponto, quando existe, nico.
Demonstrao.
Seja ) (x f uma funo definida em
f
D e a um ponto de acumulao de
f
D .
Demonstremos o teorema supondo o contrrio, isto , que a funo ) (x f tem dois limites
quando a x , A x f
a x
=
) ( lim e B x f
a x
=
) ( lim .
Na base da definio do limite segundo Cauchy temos:
,
2
) ( ) ( 0 : 0 ) ( , 0 ) ( lim
1 1
A x f a x D x A x f
f
a x
.
2
) ( ) ( 0 : 0 ) ( , 0 ) ( lim
2 2
B x f a x D x B x f
f
a x
Escolhendo { } ) ( ), ( min ) (
2 1
= para qualquer 0 > e para ) ( 0 < < a x
temos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
23
[ ] [ ]
.
2 2
) ( ) (
) ( ) ( ) ( ) ( ) ( ) (
= + < + =
= + + = + =
B x f A x f
B x f x f A B x f x f A B x f x f A B A
Portanto
. 0 ) ( 0 : 0 ) ( , 0 B A B A B A a x D x
f
= = < < < > >
O teorema est demonstrado.
Teorema 9. Se a funo toma um valor constante C numa vizinhana do ponto de
acumulao a do seu domnio
f
D ento C x f
a x
=
) ( lim .
Demonstrao.
Seja ) (x f uma funo definida em
f
D , a um ponto de acumulao de
f
D e
0 > tal que { } a a V x \ ) (
se tem C x f = ) ( .
Escolhendo ) ( ) (
1
na base da definio do limite segundo Cauchy temos:
< = = < < > > 0 ) ( ) ( 0 : 0 ) ( , 0
1 1
C C C x f a x D x
f
,
isto , C x f
a x
=
) ( lim .
O teorema est demonstrado.
Teorema 10. Se as funes ) (x f e ) (x g tm limites finitos quando a x e
A x f
a x
=
) ( lim , B x g
a x
=
) ( lim , ento:
1) [ ] B A x g x f
a x
+ = +
) ( ) ( lim ; 2) [ ] B A x g x f
a x
=
) ( ) ( lim ;
3) [ ] B A x g x f
a x
=
) ( ) ( lim ; 4)
B
A
x g
x f
a x
=
(
) (
) (
lim , com 0 B ;
5) [ ]
B x g
a x
A x f =
) (
) ( lim , com 0 > A
Demonstrao.
Seja A x f
a x
=
) ( lim e B x g
a x
=
|
|
\
|
+
+
+ =
(
+
+
=
(
B
A
x B
x A
B
A
x B
x A
x g
x f
a x a x a x
) (
) (
lim
) (
) (
lim
) (
) (
lim
+
+ =
(
+
+
+ =
)) ( (
) ( ) (
lim
)) ( (
) ( ) (
lim
x B B
A x B x
B
A
x B B
A x AB B x B A
B
A
a x a x
.
Quando a x na base do teorema 6 e do teorema 5 ) ( ) ( ) ( x A x B x = infinitamente
pequeno e 0 )) ( (
2
+ B x B B . Ento na base do teorema 7 e do teorema 4 obtemos
B
A
x B B
x
B
A
x g
x f
a x a x
=
(
+
+ =
(
)) ( (
) (
lim
) (
) (
lim
.
O teorema est demonstrado.
Nota 7.
As frmulas do teorema 10 so aplicveis e nos seguintes casos:
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
25
1)
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(
= =
(
= =
= = = +
x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(
+ = + =
(
= + =
+ = = + = +
x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>
[ ] , ) ( ) ( lim = +
x g x f
a x
> indeterminao, se
. ) ( lim ) ( lim ) ( lim ) ( lim
(
= + =
(
+ = =
x g x f x g x f
a x
a x
a x
a x
2)
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(
+ = =
(
= =
+ = = =
x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
) ( lim ) ( lim , ) ( ) ( lim
(
= + =
(
= + =
= = + =
x g x f B x g x f
x g A x f se x g x f
a x
a x
a x
a x
a x
a x
a x
>
[ ] , ) ( ) ( lim =
x g x f
a x
> indeterminao, se
. ) ( lim ) ( lim ) ( lim ) ( lim
(
= =
(
+ = + =
x g x f x g x f
a x
a x
a x
a x
3)
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 0 ) ( lim ) ( lim 0 ) ( lim
, ) ( ) ( lim
(
= + =
(
+ = =
< = + =
(
> = =
+ = < =
(
= > =
=
x g x f x g x f
B x g x f B x g x f
x g A x f x g A x f
se x g x f
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
>
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
26
[ ]
; ) ( lim ) ( lim ) ( lim ) ( lim
0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 0 ) ( lim ) ( lim 0 ) ( lim
, ) ( ) ( lim
(
= =
(
+ = + =
> = + =
(
< = =
= < =
(
+ = > =
+ =
x g x f x g x f
B x g x f B x g x f
x g A x f x g A x f
se x g x f
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
a x
>
[ ] , 0 ) ( ) ( lim =
x g x f
a x
> indeterminao, se
. 0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 0 ) ( lim ) ( lim 0 ) ( lim
(
= + =
(
= =
= =
(
+ = =
x g x f x g x f
x g x f x g x f
a x
a x
a x
a x
a x
a x
a x
a x
4)
; 0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
,
) (
) (
lim
(
< = + =
(
> = =
=
(
B x g x f B x g x f
se
x g
x f
a x
a x
a x
a x
a x
>
; 0 ) ( lim ) ( lim 0 ) ( lim ) ( lim
,
) (
) (
lim
(
< = =
(
> = + =
+ =
(
B x g x f B x g x f
se
x g
x f
a x
a x
a x
a x
a x
>
; ) ( lim ) ( lim ) ( lim ) ( lim
, 0
) (
) (
lim
(
+ = =
(
= =
=
(
x g A x f x g A x f
se
x g
x f
a x
a x
a x
a x
a x
>
,
0
0
) (
) (
lim =
(
x g
x f
a x
> indeterminao, se ; 0 ) ( lim 0 ) ( lim = =
x g x f
a x
a x
,
) (
) (
lim
=
(
x g
x f
a x
> indeterminao, se
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
27
+ = + =
(
= =
= + =
(
= + =
x g x f x g x f
a x
a x
a x
a x
5)
[ ]
; ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 1 ) ( lim ) ( lim 1 0 , ) ( lim
, 0 ) ( lim
) (
(
= + =
(
< = + =
= > =
(
+ = < < =
=
x g x f B x g x f
x g A x f x g A A x f
se x f
a x
a x
a x
a x
a x
a x
a x
a x
x g
a x
>
[ ]
; ) ( lim ) ( lim 0 ) ( lim ) ( lim
) ( lim 1 0 , ) ( lim ) ( lim 1 ) ( lim
, ) ( lim
) (
(
+ = + =
(
> = + =
= < < =
(
+ = > =
+ =
x g x f B x g x f
x g A A x f x g A x f
se x f
a x
a x
a x
a x
a x
a x
a x
a x
x g
a x
>
[ ] , 0 ) ( lim
0 ) (
=
x g
a x
x f > indeterminao, se ; 0 ) ( lim 0 ) ( lim = =
x g x f
a x
a x
[ ] , ) ( lim
0 ) (
=
x g
a x
x f > indeterminao, se ; 0 ) ( lim ) ( lim = + =
x g x f
a x
a x
[ ] , 1 ) ( lim
) (
=
x g
a x
x f > indeterminao, se
. ) ) ( lim ) ( lim ( 1 ) ( lim + = = =
x g x g x f
a x a x
a x
Nota. Existem s 7 tipos de indeterminaes :
. , 0 , 1 , , 0 , ,
0
0
0 0
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
28
Teorema 11. (Teorema da funo enquadrada) . Se numa vizinhana do ponto a se
tem ) ( ) ( ) ( x h x f x g e A x h x g
a x a x
= =
) ( lim ) ( lim ento A x f
a x
=
) ( lim .
Demonstrao.
Porque A x g
a x
=
na qual ) ( ) ( x A x g + = onde
) (x um infinitamente pequeno quando a x e existe uma vizinhana ) (
2
a V
na qual
) ( ) ( x A x h + = onde ) (x um infinitamente pequeno quando a x .
Escolhendo { }
2 1
, min = obtemos que na vizinhana ) (a V
tem-se
[ ] [ ]
, ) ( lim
) ( lim ) ( lim ) ( lim ) ( ) ( ) (
A x f A
x A x f x A x A x f x A
a x
a x a x a x
+ + + +
Isto , A x f
a x
=
) ( lim
O teorema est demonstrado.
Clculo dos limites.
No clculo dos limites aplicamos os teoremas da lgebra dos limites. Se a
aplicao dos teoremas no conduz um smbolo de indeterminao, o limite fica
calculado.
Se a aplicao dos teoremas conduz um smbolo de indeterminao e
necessrio efectuar clculos que permitem evitar a indeterminao, isto , levantar a
indeterminao.
A seguir so apresentados alguns limites de base que permitem evitar a
indeterminao.
a) Limite de um quociente de dois polinmios.
1) Calculando
) (
) (
x Q
x P
m i l
n
m
x
pode ocorrer indeterminao de tipo
e para
levantar a indeterminao efectuamos os clculos:
=
+ + + + + +
+ + + + + +
=
n n n
n n n
m m m
m m m
x
n
m
x b x b x b x b x b x b
a x a x a x a x a x a
im l
x Q
x P
m i l
1
2
2
2
2
1
1 0
1
2
2
2
2
1
1 0
) (
) (
L
L
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
29
=
|
\
|
+ + + + + +
|
\
|
+ + + + + +
=
n
n
n
n
n
n n
m
m
m
m
m
m m
x
x
b
x
b
x
b
x
b
x
b
b x
x
a
x
a
x
a
x
a
x
a
a x
im l
1
1
2
2
2
2 1
0
1
1
2
2
2
2 1
0
L
L
>
=
<
=
|
|
|
|
\
|
+ + + + + +
+ + + + + +
=
. ,
; ,
; , 0
0
0
1
1
2
2
2
2 1
0
1
1
2
2
2
2 1
0
n m se
n m se
b
a
n m se
x
b
x
b
x
b
x
b
x
b
b
x
a
x
a
x
a
x
a
x
a
a
x im l
n
n
n
n
n
n
m
m
m
m
m
m
n m
x
L
L
2) Calculando
) (
) (
x Q
x P
m i l
n
m
c x
pode ocorrer indeterminao de tipo
0
0
, isto ,
c x = raiz dos polinmios ) (x P
m
e ) (x Q
m
, ento para levantar a indeterminao
efectuamos os clculos:
(
(
) (
) (
) ( ) (
) ( ) (
) (
) (
x Q
x P
im l
x Q c x
x P c x
m i l
x Q
x P
m i l
p n
k m
c x
p n
k m
c x
n
m
c x
.
Geralmente, se c x = raiz de multiplicidade k do polinmio ) (x P
m
e c x =
raiz de multiplicidade p do polinmio ) (x Q
m
, ento para levantar a indeterminao
efectuamos os clculos:
< =
=
> =
=
(
(
. ,
) (
) (
; ,
) (
) (
; , 0
) (
) (
0
) (
) (
) (
) ( ) (
) ( ) (
) (
) (
p k se
c Q
c P
p k se
c Q
c P
p k se
c Q
c P
x Q
x P
c x im l
x Q c x
x P c x
m i l
x Q
x P
m i l
p n
k m
p n
k m
p n
k m
p n
k m p k
c x
p n
p
k m
k
c x
n
m
c x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
30
b) Limites notveis.
1) Se 0 ) ( =
x U m i l
a x
, ento 1
) (
) (
=
x U
x U sen
m i l
a x
;
2) Se 0 ) ( =
x U m i l
a x
, ento 1
) (
) (
=
x U
x U tg
m i l
a x
;
3) Se 0 ) ( =
x U m i l
a x
, ento 1
) (
) (
=
x U
x U arcsen
m i l
a x
;
4) Se 0 ) ( =
x U m i l
a x
, ento 1
) (
) (
=
x U
x U arctg
m i l
a x
;
5) Se 0 ) ( =
x U m i l
a x
, ento 1
) (
1
) (
=
x U
e
m i l
x U
a x
;
6) Se 0 ) ( =
x U m i l
a x
, ento c n l
x U
c
m i l
x U
a x
=
) (
1
) (
;
7) Se 0 ) ( =
x U m i l
a x
, ento
[ ]
1
) (
1 ) (
=
+
x U
x U n l
m i l
a x
;
8) Se 0 ) ( =
x U m i l
a x
, ento
[ ]
c n l x U
x U og l
m i l
c
a x
1
) (
1 ) (
=
+
;
9) Se + =
) (x U m i l
a x
, ento
[ ]
R p
x U
e
m i l
p
x U
a x
+ =
,
) (
) (
;
10) Se + =
) (x U m i l
a x
, ento
[ ]
1 ,
) (
) (
> + =
c R p
x U
c
m i l
p
x U
a x
;
11) Se + =
) (x U m i l
a x
, ento
[ ]
[ ]
R p
x U
x U n l
m i l
p
a x
=
, 0
) (
) (
;
12) Se + =
) (x U m i l
a x
, ento
[ ]
[ ]
1 , 0
) (
) (
> =
c R p
x U
x U og l
m i l
p
c
a x
;
13) Se =
) (x U m i l
a x
, ento
k
x U
a x
e
x U
k
m i l =
|
|
\
|
+
) (
) (
1 ;
14) Se 0 ) ( =
x U m i l
a x
, ento
k
x U
a x
e x U k m i l = |
\
|
+
) (
1
) ( 1 .
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
31
c) Transformao das indeterminaes.
Os mtodos apresentados permitem levantar as indeterminaes de forma
0
0
,
ou
1 . As indeterminaes , 0 ,
0
0 ,
0
e
.
c.1) Indeterminao .
Se + =
) ( lim x f
a x
e + =
) ( lim x g
a x
(ou =
) ( lim x f
a x
e =
) ( lim x g
a x
) ento
[ ]
|
\
|
=
= =
0
0
) (
1
) (
1
) (
1
) (
1
lim ) ( ) ( ) ( lim
x g x f
x f x g
x g x f
a x a x
.
c.2) Indeterminao 0 .
Se 0 ) ( lim =
x f
a x
e =
) ( lim x g
a x
ento
[ ] |
\
|
= = =
0
0
) (
1
) (
lim ) 0 ( ) ( ) ( lim
x g
x f
x g x f
a x a x
ou
[ ] |
\
|
= = =
) (
1
) (
lim ) 0 ( ) ( ) ( lim
x f
x g
x g x f
a x a x
c.3) Indeterminaes
0
0 ,
0
e
1 .
Aplicando a propriedade da funo logartmica temos:
[ ] ( ) [ ] ( ) [ ] ( ) [ ] , 0 ) ( ) ( lim ) ( lim 0 ) ( lim
) ( 0 ) (
|
\
|
= = = =
x f n l x g xp e x f n l xp e x f
a x
x g
a x
x g
a x
se
( ) ( ) ( ). ) ( lim 1 ) ( lim 0 ) ( lim ) ( lim 0 ) ( lim 0 ) ( lim = = = = = =
x g x f x g x f x g x f
a x a x a x a x a x a x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
32
d) Exemplos de clculo de limites.
Exemplo 1.
= |
\
|
=
+
=
+
0
0
15 5 13 5 2
10 5 2
15 13 2
10 2
2 2
5
inao eterm ind
x x
x
im l
x
Porque 5
2
3
0 15 13 2
2
= = = + x x x x temos:
7
2
2
3
5
1
2
3
1
) 5 (
2
3
2
) 5 ( 2
5 5
=
=
|
\
|
=
|
\
|
=
x x x
x
im l im l
x x
;
Exemplo 2.
= |
\
|
=
+
+
=
+
+
0
0
1 1 1 1 3 1 4
1 1 4 1 3
1 3 4
1 4 3
2 3 4
2 3
2 3 4
2 3
1
inao eterm ind
x x x x
x x
im l
x
=
+
=
+ +
+
=
) 1 ( ) ( ) ( 3
) 1 ( ) ( 3
1 3 3
1 3 3
2 4 3 4
2 2 3
1
2 4 3 4
2 2 3
1
x x x x x
x x x
x x x x x
x x x
im l im l
x x
=
+ +
=
+ +
+
=
) 1 ) 1 ( 3 )( 1 (
) 1 3 )( 1 (
) 1 ( ) 1 )( 1 ( ) 1 ( 3
) 1 )( 1 ( ) 1 ( 3
2 3
2
1
2 3
2
1
x x x x
x x x
x x x x x x
x x x x
im l im l
x x
4
1
) 1 ) 1 1 ( 1 1 3 (
) 1 1 1 3 (
) 1 ) 1 ( 3 (
) 1 3 (
2 3
2
2 3
2
1
=
+ +
=
+ +
=
x x x
x x
im l
x
.
Exemplo 3.
= |
\
|
=
0
0
5 5
2 1 5
5
2 1
5
inao eterm ind
x
x
im l
x
( )
=
+
=
+
=
+
+
=
) 2 1 )( 5 (
5
) 2 1 )( 5 (
4 1
) 2 1 )( 5 (
) 2 1 )( 2 1 (
5
2
5 5
x x
x
x x
x
x x
x x
im l im l im l
x x x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
33
4
1
2 1 5
1
2 1
1
5
=
+
=
+
=
x
im l
x
.
Exemplo 4.
= |
\
|
=
+
=
+
0
0
2 2 2
2 3 2 2
2
3 2
2 2
2
inao eterm ind
x x
x x
im l
x
( )( )( )
( )( )( )
=
+
+ +
=
+ + + +
+ + +
=
) 3 2 ( ) 2 (
) 2 ( ) ) 3 ( 4 (
3 2 2 2
3 2 2 3 2
2 2
2 2
2
2
2 2
2 x x x x
x x x x
x x x x x x
x x x x x x
im l im l
x x
( )( )
( )
( ) ( )
( )
=
+ +
+ + +
=
+ +
+ +
=
x x x x
x x x x
x x x x
x x x
im l im l
x x 3 2 ) 2 ( ) 1 (
2 ) 2 ( 2 3
3 2 ) 2 )( 1 (
2 4 3
2
2
2
2
2
( ) ( )
( )
( ) ( )
( )
4
2 3 2 2 ) 1 2 (
2 2 2 2 2 3
3 2 ) 1 (
2 2 3
2 2
2
=
+ +
+ + +
=
+ +
+ + +
=
x x x
x x x
im l
x
.
Exemplo 5.
( ) ( ) = = + +
+
inao eterm ind x x x
im l
x
1 6
2
( ) ( ) [ ]
=
|
|
\
|
+ + +
+ +
=
|
|
\
|
+ + +
+ + + + +
=
+ + x x x
x x x
x x x
x x x x x x
im l im l
x x 1 6
1 6
1 6
1 6 1 6
2
2
2
2
2
2 2
=
+ + +
+
=
+ x x x
x
im l
x 1 6
1 6
2
=
|
|
\
|
+ + +
|
\
|
+
+
1
1 6
1
1
6
2
x x
x
x
x
im l
x
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
34
=
|
|
\
|
+ + +
|
\
|
+
=
+
1
1 6
1
1
6
2
x x
x
im l
x
( )
( )
3
1 0 0 1
0 6
=
+ + +
+
.
Exemplo 6.
=
|
|
|
|
\
|
= = |
\
|
=
x
x tg
x
x sen
x
x
x
x tg x
x
x sen x
inao eterm ind
x tg
x sen
im l im l im l
x x x
5
) 5 (
10
) 10 (
5
10
5
) 5 ( 5
10
) 10 ( 10
0
0
) 5 (
) 10 (
0 0 0
( ) 2
1
1
2
5
) 5 (
10
) 10 (
2
5
) 5 (
10
) 10 (
2
5
) 5 (
10
) 10 (
2
0
0
0 0 0
= =
|
\
|
|
\
|
=
|
|
|
|
\
|
=
|
|
|
|
\
|
=
x
x tg
x
x sen
x
x tg
x
x sen
x
x tg
x
x sen
im l
im l
im l im l im l
x
x
x x x
.
Exemplo 7.
= |
\
|
=
0
0
0
0
1 1
1 1
9 cos 3 cos
5 cos cos
0
inao eterm ind
x x
x x
im l
x
Aplicando a frmula
2 2
2 cos cos
y x
sen
y x
sen y x
+
= temos
( ) ( )
( ) ( )
=
=
|
\
|
|
\
| +
|
\
|
\
| +
=
x sen x sen
x sen x sen
x x
sen
x x
sen
x x
sen
x x
sen
im l im l
x x
3 6 2
2 3 2
2
9 3
2
9 3
2
2
5
2
5
2
0 0
( ) ( )
( ) ( )
( )
( )
=
|
|
|
|
\
|
= = =
=
x
x sen
x
x sen
x
x
x
x xsen
x
x xsen
x sen
x sen
x sen x sen
x sen x sen
im l im l im l im l
x x x x
6
) 6 (
2
) 2 (
6
2
6
) 6 ( 6
2
) 2 ( 2
6
2
3 6
2 3
0 0 0 0
3
1
6
) 6 (
2
) 2 (
6
2
6
) 6 (
2
) 2 (
6
2
6
) 6 (
2
) 2 (
6
2
0
0
0 0 0
=
|
\
|
|
\
|
|
\
|
=
|
|
|
|
\
|
=
|
|
|
|
\
|
=
x
x sen
x
x sen
x
x sen
x
x sen
x
x sen
x
x sen
x
x
im l
im l
im l im l im l
x
x
x x x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
35
Exemplo 8.
= |
\
|
=
=
+
0
0
0
0
1 1
0
1 1
4
0
inao eterm ind
x
x sen
im l
x
( ) ( )
( ) ( )
( )
( )
( )
=
+ +
=
+
+ +
=
+ + +
+ +
=
x
x sen x
x
x sen x
x x
x x sen
im l im l im l
x x x
4 1 1
1 1
4 1 1
1 1 1 1
1 1 4
0
2
0 0
( ) =
(
+ + =
x
x sen
x
im l
x
4
4 4
1 1
0
( ) + +
1 1
0
x
im l
x
( ) 8 1 4 2
4
4
4
0 0
= =
x
x sen
im l im l
x x
.
Exemplo 9.
=
|
|
\
|
=
+
=
|
\
|
+
+
1 1 1
2
1
2
x
x
e
x
x
inao eterm ind
x
x
x
x
x
im l
=
|
\
|
+
+ =
|
\
|
+
+ =
|
\
|
+
+
=
+
+
+
+
+
+
1
2
2
) 1 (
1
2
1
1
1
2
1
1
1
1
1
1
1
1 1 x
x
x
x
x
x
x
x
x
x
x
x
x x x
x
im l im l im l
( )
e
e
im l
x x
x
x
x
x
x
x
x
x
x
im l im l
1
1
1
1
1
1
1
1
1
1
2
2
1
1
2
2
1
= =
(
(
\
|
+
+ =
(
(
\
|
+
+ =
+
+
+
+
+
.
Exemplo 10.
= |
\
|
=
+
= |
\
|
+
+
1 2
1 2
1 2
1 2
2
x
x
inao eterm ind
x
x
x
x
im l
= |
\
|
+
+ |
\
|
+
+ = |
\
|
+
+
=
+
+
+
+
1 1 2 1 1 2
1 2
2
1
1 2
2
1
1 2
2 1 2
x x x
x
x
x
x
x
im l im l
( )
2 1 2
1 1 2
0 1
1 2
2
1
1 2
2
1
+
+
+
= + = |
\
|
+
+ |
\
|
+
+ = e e
x x
im l im l
x
x
x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
36
Exemplo 11.
( )
( )
=
+
= |
\
|
=
+
x
x
x sen
x sen
x sen
x sen n l
inao eterm ind
x sen
x sen n l
im l im l
x x
3
3
3
2
2
2 1
0
0
3
2 1
0 0
( ) ( )
=
|
|
|
|
\
|
+
=
|
|
|
|
\
|
+
=
x
x sen
x
x sen
x sen
x sen n l
x
x sen
x
x sen
x sen
x sen n l
im l im l
x x
2
2
3
2
3
3
2
2 1
3
2
3
3
2
2 1
0 0
( )
3
2
1
1
1
3
2
3
3
3
3
2
2 1
3
2
0
0
0
= = |
\
|
\
|
|
|
\
| +
=
x
x sen
x
x sen
x sen
x sen n l
im l
im l
im l
x
x
x
.
Exemplo 12.
( )
=
|
|
\
|
|
\
|
= |
\
|
=
1
2
1
2
0
0
1 2
2
0 0
e
x
e n l
x arcsen
inao eterm ind
x e n l
x arcsen
im l im l
x x
( )
= |
\
|
=
|
\
|
=
\
|
+
=
0
0
2
1
2
1
2
1
2
0 0
inao eterm ind
e
x
n l
x arcsen
e
x
n l e n l
x arcsen
im l im l
x x
=
|
|
|
|
|
|
|
|
|
|
\
|
|
|
\
|
|
\
|
+
=
|
\
|
|
|
\
|
|
\
|
+
=
e
x
x
e
x
e
x
n l
x
x arcsen
e
x
e
x
e
x
n l
x
x
x arcsen
im l im l
x x
2
2
2
2
1
2
2
2
2
2
1
2
2
2
0 0
e e e
e
x
e
x
n l
x
x arcsen
e
e
x
e
x
n l
x
x arcsen
im l
im l
im l
x
x
x
= =
|
|
\
|
|
\
|
+
=
|
|
|
|
|
|
|
|
|
|
\
|
|
|
\
|
|
\
|
+
=
) (
1
1
) (
2
2
1
2
2
) (
2
2
1
2
2
0
0
0
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
37
Exemplo 13.
=
+
+ +
= |
\
|
=
)) 1 ( 1 (
) 1 ( ) 1 (
0
0 1
2
1
3
1
x n l
x x x
inao eterm ind
x n l
x
im l im l
x x
3 3 1 ) 1 (
)) 1 ( 1 (
1
) 1 (
)) 1 ( 1 (
1
2
1 1
2
1
= = + +
+
=
|
|
\
|
+ +
+
=
x x
x n l
x
x x
x n l
x
im l im l im l
x x x
.
Exemplo 14.
( ) ( )
= |
\
|
=
=
= |
\
|
=
0
0
)) 2 ( (
1
) 2 (
1
0
0
) (
2 2
2
2 2
2
2
2
x sen
e e
x sen
e e
x sen
e e
x
x
x
x
x
x
im l im l im l
( )
( )
=
) 2 (
) 2 (
)) 2 ( (
) 2 (
2
1
)) 2 ( (
1
2
2
2
2
2
2
x
x
x sen
x
x
e
e
x sen
e
e
x
x
x
x
im l im l
( )
2
2
2
2 2
1
) 2 (
)) 2 ( (
2
1
e
x
x sen
x
e
e
im l
im l
x
x
x
=
.
Exemplo 15.
( ) ( )
( )
( )
( )
=
+
=
+
+
= |
\
|
=
) ( 5 2
5 4
) ( 5 2
5 2 5 2
0
0
) (
5 2
2
1 1 1
x sen x
x
x sen x
x x
x sen
x
im l im l im l
x x x
( )
=
+
) ( 5 2
1
1
x sen x
x
im l
x
Utilizando a frmula de reduo sen sen = ) ( temos
) ( ) ( = x sen x sen
na continuao temos:
( ) ( )
=
|
|
\
|
+
=
+
=
)) 1 ( (
1
5 2
1
) ) ( ( 5 2
1
1 1
x sen
x
x x sen x
x
im l im l
x x
( )
=
|
|
\
|
+
=
)) 1 ( (
) 1 (
5 2
1
1
x sen
x
x
im l
x
( )
4
1
1
4
1
)) 1 ( (
) 1 (
5 2
1
1 1
=
+
=
x sen
x
x
im l im l
x x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
38
2. CONTINUIDADE.
Continuidade num ponto.
Seja R R D f
f
: e
f
D a um ponto de acumulao do domnio
f
D .
Definio 12. A funo ) (x f de domnio
f
D diz-se continua no ponto de
acumulao
f
D a se o limite dela quando x tende para a igual ao seu valor no
ponto a , isto , ) ( ) ( lim a f x f
a x
=
.
A definio apresentada pode ser dada na outra forma utilizando as definies do limite.
Definio 13. (continua em
f
D a segundo Heine). A funo ) (x f de domnio
f
D diz-se continua no ponto de acumulao
f
D a se qualquer sucesso
K K , , , , ,
3 2 1 n
x x x x de valores do domnio diferentes de a , com limite a , corresponde
pela funo uma sucesso K K ), ( , ), ( ), ( ), (
3 2 1 n
x f x f x f x f com limite ) (a f , isto ,
[ ]
[ ]. ) ( ), ( , ), ( ), (
) , ( ) , , , , ( ) , , , , (
2 1
2 1 2 1
a f x f x f x f
N n a x a x x x D x x x
n
n n f n
K K
K K K K
Definio 14. (continua em D a segundo Cauchy). A funo ) (x f de domnio
f
D diz-se continua no ponto de acumulao
f
D a se
< < < > > ) ( ) ( ) ( 0 : 0 ) ( , 0 a f x f a x D x
f
.
Nota 8.
Porque a x
D a
a x
=
\
|
=
.
Continuidade lateral num ponto.
Seja R R D f
f
: e
f
D a .
Definio 15.
Com a ponto de acumulao de ] [ a D
f
, I diz-se que a funo continua
esquerda em a se ) ( ) ( lim a f x f
D a
a x
=
.
Com a ponto de acumulao de ] [ + , a D
f
I diz-se que a funo continua
direita em a se ) ( ) ( lim a f x f
D a
a x
=
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
39
Porque a continuidade de uma funo definida com aplicao do limite facilmente
demonstram-se os seguintes teoremas:
Teorema 12. A funo R R D f
f
: continua no ponto de acumulao
f
D a
se e s se continua esquerda e direita em a .
Teorema 13. Se as funes R R D f
f
: e R R D g
g
: so continuas no
ponto de acumulao
g f
D D a I , ento neste ponto so continuas e as funes:
1) ) ( ) ( x g x f + ; 2) ) ( ) ( x g x f ; 3) ) ( ) ( x g x f ;
4)
) (
) (
x g
x f
, com 0 ) ( a g .
Demonstrao.
Demonstremos a propriedade 4). Sejam ) (x f e ) (x g continuas no ponto de acumulao
g f
D D a I , isto , ) ( ) ( lim a f x f
a x
=
e ) ( ) ( lim a g x g
a x
=
, 0 ) ( a g ,
isto ,
) (
) (
x g
x f
continua no ponto de acumulao
g f
D D a I .
Teorema 14. (limite da funo composta) Se a funo R R D f
f
: tem limite b
no ponto de acumulao a do domnio ( b x f
a x
=
) ( lim ) e a funo R R D g
g
:
continua no ponto de acumulao
g
D b , ento a funo composta ( ) ) (x f g tem
limite no ponto de acumulao a e
( ) ( ) ) ( ) ( lim ) ( lim b g x f g x f g
a x a x
= =
.
Demonstrao.
Porque a funo R R D f
f
: tem limite b no ponto de acumulao a do domnio, na
base da definio do limite segundo Heine temos que qualquer sucesso de valores
K K , , , , ,
3 2 1 n
x x x x diferentes de a do domnio
f
D , com limite a , corresponde pela funo uma
sucesso K K ), ( , ), ( ), ( ), (
3 2 1 n
x f x f x f x f com limite b , isto ,
[ ]
[ ]. ), ( , ), ( ), (
) , ( ) , , , , ( ) , , , , (
2 1
2 1 2 1
b x f x f x f
N n a x a x x x D x x x
n
n n f n
K K
K K K K
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
40
Porque a funo R R D g
g
: continua no ponto de acumulao
g
D b na base da definio
da funo continua segundo Heine temos que qualquer sucesso de valores K K , , , , ,
3 2 1 n
u u u u
diferentes de b do domnio
g
D , com limite b , corresponde pela funo uma sucesso
K K ), ( , ), ( ), ( ), (
3 2 1 n
u g u g u g u g com limite ) (b g , isto ,
[ ]
[ ]. ) ( ), ( , ), ( ), (
) , ( ) , , , , ( ) , , , , (
2 1
2 1 2 1
b g u g u g u g
N n b u b u u u D u u u
n
n n g n
K K
K K K K
Levando em conta que o domnio da funo composta
f f g
D D
o
, obtemos que qualquer sucesso
de valores K K , , , , ,
3 2 1 n
x x x x diferentes de a , com limite a , do domnio
f g
D
o
corresponde pela
funo composta ( ) ) (x f g uma sucesso ( ) ( ) ( ) K K , ) ( , , ) ( , ) (
2 1 n
x f g x f g x f g com limite
) (b g . Isto significa que
( ) ( ) ) ( lim ) ( ) ( lim x f g b g x f g
a x a x
= = .
O teorema est demonstrado.
Analogamente se demonstra o
Teorema 15. (continuidade da funo composta) Se a funo R R D f
f
:
continua no ponto de acumulao a do domnio ( ) ( ) ( lim a f x f
a x
=
) e a funo
R R D g
g
: continua no ponto de acumulao
g
D a f ) ( , ento a funo
composta ( ) ) (x f g continua no ponto de acumulao a e
( ) ( ) )) ( ( ) ( lim ) ( lim a f g x f g x f g
a x a x
= =
.
Definio 16. Uma funo R R D f
f
: diz-se continua no intervalo ] [
f
D x x
1 0
,
se continua em todos pontos do intervalo, isto , ] [
1 0
, x x a tem-se
) ( ) ( lim a f x f
a x
=
.
Definio 17. Uma funo R R D f
f
: diz-se continua no segmento [ ]
1 0
, x x se
continua em todos pontos do intervalo ] [
1 0
, x x e continua esquerda em
1
x e
direita em
0
x , isto :
1) ] [
1 0
, x x a tem-se ) ( ) ( lim a f x f
a x
=
;
2) ) ( ) ( lim
1
1
x f x f
x x
=
;
3) ) ( ) ( lim
0
0
x f x f
x x
=
+
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
41
Definio 18. Uma funo R R D f
f
: diz-se prolongvel por continuidade no
ponto
f
D a se:
1)
f
D a ;
2) b x f m i l
a x
=
) ( .
Neste caso define-se a funo prolongamento por continuidade de ) (x f , denotada por
) (
___
x f e
=
. ,
), (
) (
___
a x se b
D x se x f
x f
f
Definio 18. Uma funo R R D f
f
: diz-se descontinua no ponto de
acumulao
f
D a se no continua nem prolongvel por continuidade em a .
Neste caso diz-se que:
f
D a um ponto de descontinuidade de
a
1 espcie da funo ) (x f se existem e
so finitos ambos limites laterais em a , mas so diferentes, isto ,
R b b b b b x f m i l b x f m i l
a x a x
= =
+
2 1 2 1 2 1
, , , ) ( , ) ( .
f
D a um ponto de descontinuidade de
a
2 espcie da funo ) (x f se pelo
menos um dos limites laterais em a no existe ou infinito.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
42
Exemplos:
A funo
>
+
=
0 , 1
, 0 , 1
) (
2
2
x se x
x se x
x f tem em 0 = x um ponto de
descontinuidade de
a
1 espcie, porque
. 1 ) 1 ( ) ( , 1 ) 1 ( ) (
2
0 0
2
0 0
= = = + =
+
x m i l x f m i l x m i l x f m i l
x x x x
A funo
|
\
|
+
=
2
1
) (
x
sen x f tem em 2 = x um ponto de descontinuidade de
a
2
espcie, porque
(
\
|
+
=
(
\
|
+
=
+
+
2
1
) (
2
1
) (
2 2 2 2
x
sen m i l x f m i l e
x
sen m i l x f m i l
x x x x
no existem ( [ ] ) (x sen m i l
x
no existe ).
A funo
4
1
) (
2
=
x
x f tem em 2 , 2 = = x x descontinuidades de
a
2 espcie,
porque
=
(
= + =
(
=
+
+
4
1
) (
4
1
) (
2
2 2
2
2 2
x
m i l x f m i l e
x
m i l x f m i l
x x x x
;
+ =
(
= =
(
=
+
4
1
) (
4
1
) (
2
2 2
2
2 2
x
m i l x f m i l e
x
m i l x f m i l
x x x x
.
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
43
A funo
>
+
=
0 ,
1
, 0 , 1
) (
2
x se
x
x se x
x f tem em 0 = x um ponto de
descontinuidade de
a
2 espcie, porque
.
1
) ( , 1 ) 1 ( ) (
0 0
2
0 0
+ = |
\
|
= = + =
+
x
m i l x f m i l x m i l x f m i l
x x x x
Notamos que para fazer o estudo da continuidade de uma funo dada
analiticamente vamos seguir o mtodo:
a) Determinar o domnio da funo e o seu conjunto derivado (o conjunto dos
pontos de acumulao do domnio);
b) Justificar a continuidade da funo nos subconjuntos do conjunto derivado
do domnio onde possvel aplicar os teoremas e as propriedades das funes
continuas;
c) Estudar a continuidade pela definio nos pontos onde os teoremas e as
propriedades no so aplicveis ( nos pontos de acumulao que no
pertencem ao domnio da funo ou nos pontos onde se tem a mudana da
expresso analtica da funo ).
Matematica 1 Anatolie Sochirca ACM DEETC ISEL
44
As propriedades das funes continuas num segmento.
Teorema 16 (de Bolzano). Se a funo ) (x f continua no segmento [ ] b a, ento
] [ ] [ ( ) ] [ b a c a f b f k ou b f a f k , ) ( , ) ( ) ( , ) ( tal que k c f = ) ( .
A interpretao geomtrica do teorema de Bolzano dada na figura seguinte.
Para a funo ) (x f e para o valor de k considerado existem trs pontos
] [ b a c c c , , ,
3 2 1
, tais que k c f c f c f = = = ) ( ) ( ) (
3 2 1
.
Para as funes no continuas em [ ] b a, o teorema de Bolzano no
aplicvel. A funo apresentada na figura seguinte definida mas no continua em
[ ] b a, , ) ( ) ( x f m i l x f m i l
c x c x
+