Captulo 10

APNDICE
10.1 Limites
Proposio
10.1. (Unicidade
do limite)









e 
;(
Se 

"!

), ento

#

. Em outras palavras se o limite existe ( um

nmero real), ele nico.


/04


/"
JA

+T6

>







Prova: Se



. Se 

-5+76



89




, ento para todo

, ento para todo



existe

$%'&)(

6

&(

, tal que se

&)(

existe *

1>

>
-

-3+)*

;/"1

@?0
BA9/DCE1F3,
G
H

-+
*
*
e *   . /M
Em
particular,
6 . Seja * o menor entre *
/M1
  /O 


I P>Q 
I @/O 
  /0 
I 
-N+D* e -SRLtal  que (K+L- I /O

U

6
; logo, -S+
, para todo &D( ; consequentemente,
.
$

0/21

, tal que se (:+,-

&(

=1/

(,+.-


I @/M

-<+*

ento


ento

;  logo, existe
-S+

Proposio 10.2.










89

1. Se 
2. Se 3


Z/O

-S+

+V(

, ento existe *W&V( tal que, para todo

&7X

; ento, existe *K&Q( tal que para todo

%

 $

ou
%



+

, ento existe *W&V( tal que




Prova: 1. Seja




&V(

, para todo
YM
B1/

a0
B1/
*

YM
B1/

^1_>
*

1>
*

+dc %,e

2. Exerccio.

8




Proposio 10.3. Se f




1.

flk

2.

f

3.
4.

f

onp

k

8






f

8 nut





fhg

rn



k f
g


8

f




f


rn




, existem, ento para todo i


8q>"j



i

k f
g



f

onp
g


8








m>0j






e fhg


g


k f

8sG




, se f

8 nut

, se v

Jw

( e

373

5jOa!

1Z>
*

`?J[8Aa/bCE1F]

P?

[ A/QC1F ]

P?Q[=A/\CE1F]

tem-se
; logo,




.

+

CAPTULO 10. APNDICE

374






5.


8l







f









, se

f

f







e v qualquer natural, ou
(

+2(

f

um natural
v

mpar.






6.


8 n
v

f




7. Se




8

pd

&Q(

f

e existe

fhg







se

k f




f

8




8 n 



v

tal que

*J&,(

f

8


8
R

8
R
g

, para

(a+

-q+,*

, ento

Prova: Provaremos e . As demais propriedades ficam como exerccios.







2. Sejam f
-




8Z/M


O)




Como



f



>
-<+

m
+
6

, dado

    se
nmero#menor
 %$ que $
[

>

'

-+

O/

ento,



Z>

7. Para
todo
b/
(J+7-

;/

&
$

/O

&




8/
-NRL-u 
s/9 g
- +

tal que
(


+

Teorema 10.1. Seja

se
$

>
(

E
*

+
$


*

 

&
T
(



g


+

+
>

; logo,

"    . Seja
"    .


V/

, ento,
+


$
menor que * e * ; logo, se
-Z+7*



">
+

(J+7-

b/

um

e se
;

-P+2*

uma funo com domnio

somente se os limites laterais existem e

!


   & $

a/

tal
que se (M+'0>
; considere
$
.


8/M
- M/

+
- +
*

/M
-S+

m
-q+
6

@X /O
-u-SR
[ 
l
m ]
6
-

. Por outro lado tambm existe * &Q(

8
tal
que
4/
; analogamente, existe * b&#( tal que - g

8

/M



Z/
>
e * > ; ento:
-NR
- g
g 
[
;

/
U





@ ]
, se (K+ e
6
6
-S+V* , onde
6

, existem
"/
,
8ento,




8

>Q 


existe
(

-S+Q*

-@+#*

&7(

 , de definio:
 

Z/0 



8

+
se (KJ
/

8




e f

+*







f

nas condies das definies. Ento

-,








89



f

se e

f

Prova: 
A
condio 
8necessria
segue das definies. Reciprocamente,
se os limites laterais
existem
e

9
E


>





,
temos
que
dado
ento
&2( existem *
*
&
( , tais que se
+
+
*
f
f


q/Y

-N+

e se

s/

(arranje exemplos). Caso *

3G

, ento


q$ /Y


, considere *

-N+

mn

C
*

Prova: Como







-1





derivvel em

-1


/

 

/ , temos: 0 /


-1





/

8;/O

`[



"/ .



8/0 


1 /






B 
8/0 


/


Z/M 
8




/

;/O
 

]l

-1







/

8

 o
8

=


. Devemos provar que

8;/O

. A recproca do teorema falsa.

4 4 funes derivveis; ento:

Regra da soma: As funes 365(4 so derivveis e
3654 &0
3 0 5(4 0

Proposio 10.4. Sejam

1.

ento f contnua em

, o que equivalente a 

B 
8/M 
8




/








logo, 

derivvel em

10.2 Funes Derivveis

Teorema 10.2. Se

*
. Note
que * e 
podem ser iguais ou
diferentes,
EF
/

8/ 
*
; ento se -_+V* temos que -<+
.

$ 

=


E

-1





"/


8/0 

;/O




2
(

10.2. FUNES DERIVVEIS

375

3
4 derivvel e
3 4 0
3 0 +4
3
Regra do quociente: A funo derivvel, e
4
3 0
3 0 +4
3
4
4

2. Regra do produto: A funo

3.



8



8

/

 

8m>

40

8




+4 0

8

se



sG
(

Provaremos a segunda propriedade; as outras provas so anlogas.

 3+4
0

3
4
/

3+4

3
4
3  +4
 3
4 ; somando e subtraindo o termo
, obtemos:
 +4
 3  4
3
4
3
3

  4
3
4 ; logo,




3
4
3
4
4
4
3
3

 4  4

 3
0
3
4
3
/

; logo,


 3


4
4
3
/
/


4

3 4 0
3



 3 (3 derivvel, logo contnua). Logo 3
+4 0

3
40
4 30


:>

K>






u
:>

/D




3 4
 
3
4

3 4 
3 4
Ento: 3
4

Z/V






8W>


:>

Z/V




8W>


:>

Z/V




8W>

K>



8K>




8

/

8W>

K>

/

:>

>

/

/



8q>

q>

 m>

K>

8

8

K>

>

@/





8K>




Z/



>

8




8 

8

8

 

W>



K>




/

8

 /3

Z/

pois,

/





8

m>

8



Teorema
10.3. Regra da Cadeia






Sejam e g funes,
tais que g
esteja bem definida. Se derivvel em e g derivvel em
, ento g

derivvel em e:

Prova: Se
funo:

&0

)


  






/

/

/ , de fato:

9 
8

"/

g
/0 


;
g

B
8

B 
8

0 /

/
/

p
G

8

se

E 

 

 



 
8

se


/
0 /


/
  1 
/ , pois para 
/ , temos:
/

/



/


/

 
  


diferencivel, logo contnua; ento, 
contnua em )
, e:
0 /
/
1

















B 
8

E 

B 
8


G

8

/

g
/0 


 






= 
 

/

E

"/

E 

g
/0 


B 
8

. Consideremos a seguinte

E

 

B 
8

 



 

 



@/

g
@/M 
8

9 
8s9
G



0 /

0


   -1 

tambm contnua em

contnua em

0 /

B
= 
 
g

, provaremos que

 =





e

376
Por outro lado, se

B 
8 /

0 /







0 /

Proposio
10.5. Se

 E
( .

;/
0
G


"/


0 /


/0 







&V(

;/O

;/O

;/

 

+V(

E
(



 

0 /
tal que 

^1 

<s



h^1 

=1 


8/0 


/

RD(


RV(



1u

um extremo relativo de , ento

derivvel em

^1 

, temos:



.
(

. Ento existe pelo menos um

0 /

/


0
h^1 

tal que:


=1 @/0 
<

E

1/


B1u@/M 
S

S:[

1/


B1 @/0 
<

Z/

1

contnua em

1/


 , derivvel


. Pelo Teorema de Rolle aplicado a  , existe /


0 /

; ento:




RQ(

0 /

 _

0 /
0 "/ 
, logo

, logo

B 
8



. A prova para mnimo anloga.

1/


</0 
B1u

1/


B1u@/M 
S



A9,
 
< 

i) A equao da reta que passa pelos pontos

9 
8E/

;/O

89 
Z/0 
<@/V
8;/

Interpretao geomtrica da funo auxiliar

M
1 

/


/0 



/0 


-1 ,








Z/M 
8

;/O





Prova: Considere a funo


8/0 


B 
8 




0 "/




1 



Teorema
10.4. (do
Valor Mdio)

1 m/
!
Seja
contnua e derivvel em

em

/

;/O

E


8/0 

[

B 
8 

um ponto de mximo relativo de ; como

-1 *


/ , ento
/
i) Se

"/ , ento "/
ii) Se
0 /
De i) e ii) temos que
Mais ainda:

g
;/O

 

uma funo derivvel no intervalo

Prova: Suponha que

B 
8

= 
 Z/

-1




"/

.
"/ , ambos os lados da ultima igualdade so nulos.
"/
"/
0 /
/
/
-1


9 
8

No caso que

"/ :
"/ se

M
G


CAPTULO 10. APNDICE

e
/

,
B1^ 
B1  

<P>Q 
<



ii)
, ou seja,
representa a diferena das ordenadas do grfico de e da reta
que passa
A


pelosY
pontos
e
para
os
pontos
de
mesma
abscissa.
Observe
que
no
desenho
anterior,
RV( , para

1

A
todo
, pois o grfico de est abaixo da reta que passa por e .




Teorema 10.5. (Teorema do Valor Mdio Generalizado )

"/

Sejam e g  funes
contnuas em
0
h^1 
menos um
tal que:


 e derivveis em

0 "/
0 /
1

1u



. Se g

sG


B1u@/M 
S

B1u@/
g

<
e

para todo

a0
h^1 

, ento existe pelo

10.2. FUNES DERIVVEIS

377

 /  

Prova: i) Observemos,
primeiramente,
que a
8expresso
do enunciado
do Teorema
est bem definida. De

SU

=1 

 
/

<

S 

=1  
( ; como
,
considerando
,
obtemos
contnua em
fato,
se
g
g
g
g
h^1

^1 
 ;
1 

 l
e
derivvel
em
,
pelo
Teorema
de
Rolle
temos
que
existe
tal
que
( ; ento

8 E

<pG

B1u
( , o que uma contradio com a hiptese do Teorema. Logo,
.
g
g
g



0 /

ii) Definamos a seguinte funo:

 contnua em 
 e derivvel em

0
 0
/

Pelo Teorema de Rolle, existe

h^1

1 

8

<

B1 

obtemos o resultado.

[ 
/0 
< ]l[

< ]

B1 @/

e:

0 "/
tal que 

\7
1u

< ]

Z/

8Z[o 
B1 Z/M 
S ]/0

[ 
=1 @/M 
< ]



 0 "/



8Z[

B1 @/

< ]

. Usando a expresso da derivada de

(

Teorema
10.6. (LHpital)

Sejam e g funes derivveis num domnio
pque
pode ser umMintervalo
aberto ou uma reunio de intervalos
G
G
( , para todo
.
abertos, exceto possivelmente num ponto e g


8




1. Se f





fhg




e f
(

0
g














8




2. Se f

fhg




e 3f

0
g



8

f


Seja

,

&

7

3f



 jm

pois se

Fazendo






3f


, temos
(




; ento
; ento

8











f

.
/l

8

0   
[


8


g

8




/

<

E

8

eg

 /*

f

L/




[
g




 00 "//

E

E




]

( e


 ; logo, pelo teorema do
 








+* 0



f

; logo

 00
*




f



. Ento:

0   
0
 /* 0
[

MG

se
se

so contnuas em

M
 






f

 00 //
1 *



g
(

f

<









/





; ento e
tal que:



, o outro caso analogo. Consideremos as funes:

0
 






 

 


 00 // se "/



h jm

0
g



8




D



f

 jm

<

f

como 

* 0

MG

8

e
em
. Se 
g
valor mdio generalizado, existe

S

f

se
se

so derivveis em




f

8

















, ento:






f

9

8







Prova: 1. Provaremos que:

8

f






, ento:


]





 0



8
e

8



CAPTULO 10. APNDICE

378

10.3 Funes Integrveis

Proposio 10.6. Se


 , ento:
h^1

e g so funes integrveis em

1. Linearidade da Integral.

[

>0j

 ]
g


8

2. Monotonicidade da Integral. Se


`


m>0j
i

8

4. Sejam
e:






f
1

p+
+




8



[

i


>0j

  /




pois

eg



    /






 W

2. Por 1. provaremos que se






>






 3

g









8

1

  

 temos que


`J

8 ]


q>0j

2


(

1

; ento,

; logo,





/


t







4. Para
toda / partio de
tal que 
1
 subintervalos; logo:
e 
em v

 










8


 `

  /


    /

>"j





 3

integrvel em



1


>

  

 teremos que


g






 3




 `:>0j



 `m
g

^1



 3


 ; logo:
so integravis em




 W




 e para todo 



de

e:

1

existe. De fato:

K>"j
i



Prova: 1. Provaremos que para toda partio






    /





b


  e    respectivamente. Ento

uma funo integrvel em









g

 `

>"j




_j0b!
i

1




 `



integrvel e:
-







 ; ento,

1

em

g


3.


 , para todo

funo integrvel em
g



D

 `






 W

K>"j

  /

J




8


t



. Para toda partio

de


 e para todo
1

e:
(



8
g





 3

para algum  ; ento

( e


  subdividido em 


subintervalos

10.3. FUNES INTEGRVEIS




Ento:












 W



 W








  /

b

379




  /

















 W




t
>




 `b



 W



Teorema 10.7. Fundamental do Clculo.

Se


 e admite uma primitiva 
h^1

uma funo integrvel em

8







 `






>

  /
>



 W



 W

; logo:


 , ento:
h^1

em


 e que existe uma primitiva  de
Prova: Suponhamos
que seja uma funo integrvel
em





/
em
. Consideremos a seguinte partio de
:
.

No difcil ver que: 
 



 . (Por exemplo, faa 
e desenvol




 , temos que para cada  existe 

em

va a soma). Do teorema do Valor Mdio para 

0

tal que 

, pois  primitiva de . Logo:



 










Se para cada partio do intervalo os 

so escolhidos como antes; ento,







  /  



e:


.







b

=1 /

<




1

1

^1

B1 Z/

S

Z/

8





  

8

` 

B1u/

<

l/

 W




/

Seja




1 m/

B1 /

<

8W>
g

Suponha
que


q K>

3 4

 3
e4

logo,

pois

+D(

tal que

/



, e:



 






=1 /





3 

 4


8






,e




E















<




@/





Z



e

R


 



/ 4








 

 

 


 , pelo teorema de Weierstrass, existem

4 
 2

q b>

8
g

derivvel e:

q>





. Por outro lado, se







Z

9 
8 

8K>
g

 



Z

contnua
no intervalo


R
, ento
R

/ 3

b

 


 


m/

`

8

1

contnua; ento:
.


 :
 



. Como



tal que

ou

&7(


R

 
 

 

K>

8


8

 




uma funo contnua. A funo g

J!

 W

Prova: Seja



Teorema 10.8.

  

 a

ua

)1

eeeeeeeee

, donde
g


(

, ento

 
8 

a




. Analogamente se

380

CAPTULO 10. APNDICE