Anda di halaman 1dari 142

Anlise Matemtica I

Feliz Minhs

ii

Contedo
Objectivos Gerais

Programa

1 Sucesses
1.1 Denio . . . . . . . . . . . . . . . . . . . . .
1.2 Subsucesso . . . . . . . . . . . . . . . . . . . .
1.3 Sucesses montonas . . . . . . . . . . . . . . .
1.4 Sucesses limitadas . . . . . . . . . . . . . . . .
1.5 Induo Matemtica . . . . . . . . . . . . . . .
1.6 Noo de vizinhana . . . . . . . . . . . . . . .
1.7 Sucesses convergentes. Propriedades . . . . . .
1.8 Operaes algbricas com sucesses . . . . . . .
1.9 Propriedades algbricas dos limites . . . . . .
1.10 Sucesso de Cauchy . . . . . . . . . . . . . . .
1.11 A recta acabada. Innitamente grandes . . . .
1.12 Operaes com limites em R. Indeterminaes .
1.13 Sucesso exponencial . . . . . . . . . . . . . . .
1.14 Sucesso do tipo potncia-exponencial . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

2 Sries de Nmeros Reais


2.1 Denio e generalidades . . . . . . . . . . . . . .
2.2 Srie geomtrica . . . . . . . . . . . . . . . . . . .
2.3 Srie de Mengoli . . . . . . . . . . . . . . . . . . .
2.4 Propriedades algbricas das sries . . . . . . . . . .
2.5 Sries de termos no negativos . . . . . . . . . . .
2.6 Sries alternadas . . . . . . . . . . . . . . . . . . .
2.7 Critrios de convergncia para sries de termos no
2.8 Resto de uma srie . . . . . . . . . . . . . . . . . .
iii

.
.
.
.
.
.
.
.
.
.
.
.
.
.

5
5
6
6
7
8
9
10
13
15
19
21
22
25
25

. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
negativos
. . . . . .

29
30
31
31
34
35
40
42
49

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.

iv
3 Funes reais de varivel real
3.1 Limite de uma funo . . . . . . . . . . . .
3.2 Limites em R . . . . . . . . . . . . . . . . .
3.3 Limites laterais . . . . . . . . . . . . . . . .
3.4 Funes contnuas . . . . . . . . . . . . . .
3.5 Continuidade lateral . . . . . . . . . . . . .
3.6 Continuidade num intervalo . . . . . . . . .
3.7 Descontinuidades . . . . . . . . . . . . . . .
3.8 Teoremas fundamentais sobre continuidade
3.9 Assmptotas . . . . . . . . . . . . . . . . . .
3.10 Funo inversa . . . . . . . . . . . . . . . .
3.11 Funo exponencial . . . . . . . . . . . . . .
3.12 Funo logartmica . . . . . . . . . . . . . .
3.13 Funes trigonomtricas inversas . . . . . .
3.13.1 Arco-seno . . . . . . . . . . . . . . .
3.13.2 Arco-cosseno . . . . . . . . . . . . .
3.13.3 Arco-tangente . . . . . . . . . . . . .
3.13.4 Arco co-tangente . . . . . . . . . . .

CONTEDO

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

53
53
57
58
59
59
61
61
62
65
67
69
72
77
77
78
79
80

4 Clculo Diferencial em R
83
4.1 Derivada de uma funo num ponto . . . . . . . . . . . . . . 83
4.2 Interpretao geomtrica da derivada . . . . . . . . . . . . . . 83
4.3 Derivadas laterais . . . . . . . . . . . . . . . . . . . . . . . . . 84
4.4 Derivadas innitas . . . . . . . . . . . . . . . . . . . . . . . . 85
4.5 Derivabilidade e continuidade . . . . . . . . . . . . . . . . . . 86
4.6 Funo derivada . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.7 Regras de derivao . . . . . . . . . . . . . . . . . . . . . . . 87
4.8 Derivada da funo composta . . . . . . . . . . . . . . . . . . 88
4.9 Derivada da funo inversa . . . . . . . . . . . . . . . . . . . 88
4.10 Derivadas de funes trigonomtricas . . . . . . . . . . . . . . 89
4.10.1 Derivada da funo f (x) = sen x . . . . . . . . . . . . 89
4.10.2 Derivada da funo cos x . . . . . . . . . . . . . . . . 89
4.10.3 Derivada das funes tg x e cot g x . . . . . . . . . . . 89
4.10.4 Derivada das funes trigonomtricas inversas . . . . . 90
4.11 Derivadas das funes exponencial e logartmica . . . . . . . . 91
4.12 Teoremas fundamentais do clculo diferencial . . . . . . . . . 92
4.13 Derivadas de ordem superior . . . . . . . . . . . . . . . . . . 98
4.14 Aplicaes da frmula de Taylor determinao de extremos,
convexidade e inexes . . . . . . . . . . . . . . . . . . . . . . 100
4.15 Sries de funes . . . . . . . . . . . . . . . . . . . . . . . . . 102

CONTEDO

4.16 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . 103


4.17 Srie de Taylor para funes reais de varivel real . . . . . . . 104
5 Clculo Integral em R
5.1 Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2 Primitivas imediatas e quase imediatas . . . . . . . . . .
5.2.1 Primitiva de uma constante . . . . . . . . . . . .
5.2.2 Primitiva de uma potncia de expoente real . . .
5.2.3 Primitiva de funes exponenciais . . . . . . . .
5.2.4 Primitiva de funes trigonomtricas . . . . . . .
5.3 Mtodos de primitivao . . . . . . . . . . . . . . . . . .
5.3.1 Primitivao por decomposio . . . . . . . . . .
5.3.2 Primitivao por partes . . . . . . . . . . . . . .
5.3.3 Primitivao por substituio . . . . . . . . . . .
5.3.4 Primitivao de funes racionais . . . . . . . . .
5.4 Integral de Riemann . . . . . . . . . . . . . . . . . . . .
5.4.1 Somas integrais de uma funo . . . . . . . . . .
5.4.2 Denio de integral de Riemann . . . . . . . . .
5.4.3 Interpretao geomtrica do conceito de integral
5.5 Propriedades dos integrais . . . . . . . . . . . . . . . . .
5.6 Integral indenido . . . . . . . . . . . . . . . . . . . . .
5.7 Mtodos de integrao . . . . . . . . . . . . . . . . . . .
5.7.1 Integrao por decomposio . . . . . . . . . . .
5.7.2 Integrao por partes . . . . . . . . . . . . . . .
5.7.3 Integrao por substituio . . . . . . . . . . . .
5.8 Extenso da noo de integral . . . . . . . . . . . . . . .
5.8.1 Integral imprprio de 1a espcie . . . . . . . . . .
5.8.2 Integral imprprio de 2a espcie . . . . . . . . . .
5.8.3 Integral imprprio de 3a espcie ou mistos . . . .
5.9 Critrios de convergncia para integrais imprprios . . .
5.10 Aplicaes dos integrais . . . . . . . . . . . . . . . . . .
5.10.1 reas planas . . . . . . . . . . . . . . . . . . . .
5.10.2 Comprimento de curvas planas . . . . . . . . . .
5.10.3 Volumes de slidos de revoluo . . . . . . . . .
5.10.4 reas laterais de slidos de revoluo . . . . . . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

107
107
108
108
108
109
110
110
111
111
112
113
116
116
118
121
121
127
129
129
130
130
130
130
132
133
133
135
135
135
136
136

vi

CONTEDO

Objectivos Gerais
Considerando esta unidade curricular no mbito da formao pessoal e cientca, em geral, e da formao matemtica em particular, o aluno dever:
Desenvolver capacidades de abstraco, deduo lgica e anlise.
Adquirir mtodos e tcnicas estruturantes do raciocnio cientco e
matemtico que proporcione um esprito crtico.
Dominar contedos matemticos associados Anlise Real, nomeadamente sucesses, funes, sries, Clculo Diferencial e Integral em R,
ao nvel de conceitos e aplicaes.
Utilizar conhecimentos matemticos na resoluo de problemas e interpretao da realidade.
Adquirir competncias matemticas que possam vir a ser desenvolvidas
e aplicadas em contexto prossional empresarial, de investigao ou de
ensino.

Introduo
O que a Anlise Matemtica ou simplesmente Anlise?
o ramo da Matemtica que se ocupa dos nmeros e das relaes entre
eles, expressos por meio de igualdades, desigualdades e operaes.
As operaes fundamentais da Anlise so: adio, subtraco, multiplicao, diviso, radiciao e passagem ao limite.
A Anlise diz-se Anlise Algbrica ou lgebra quando no emprega a
passagem ao limite.
Diz-se Anlise Innitesimal se usar a noo de limite, e portanto de
innito, quer directa quer indirectamente (sries, derivadas, integrais,...)

CONTEDO

Captulo 1

Sucesses
1.1

Denio

As sucesses so funes reais de varvel natural.


Denio 1.1.1 Dado um conjunto A 6= ?; chama-se sucesso de termos
em A a qualquer aplicao de N em A:
Exemplo 1.1.2 As aplicaes
f: N !
Z
n 7 ! 3n 4

g: N !
n 7 !

5n+2
n+1

so exemplos de sucesses.
Se o conjunto de chegada for R ento diz-se uma sucesso de nmeros reais.
Designa-se por un :
Aos valores imagens da sucesso chamam-se termos da sucesso e designamse por u1 ; u2 ; ::::un ; ; :::; isto , 1o termo, 2o termo,...,ensimo-termo ou termo de ordem n:
expresso un chama-se termo geral da sucesso.
Ao contradomnio da aplicao chama-se conjunto de todos os termos da
sucesso.
Modos de denir uma sucesso:
1. Dado o termo geral
Dada a "lei"que permite obter as imagens a aplicao ca denida, j
que o seu domnio sempre N.
Exerccio 1.1.3 Considere a sucesso un =
a) Calcule o 2o e o 10o termos.
b) Determine up+2 :
5

2n 5
n+3 :

CAPTULO 1. SUCESSES

2. Por recorrncia
Os termos da sucesso so calculados a partir dos termos anteriores.
8
< u1 = 3
Exemplo 1.1.4 a)
:
un+1 = 2un + 4; 8n 2 N:
8
< v1 = 1
b) v2 = 3
:
vn+2 = vn + vn+1 ; 8n 2 N:

Exerccio 1.1.5 Calcule os quatro primeiros termos de cada uma das sucesses
anteriores e represente-os gracamente.
Exerccio 1.1.6 Considere a sucesso
wn =
Verique se
sua ordem.

1.2

7
11

5
7

3n + 4
:
5n + 2

so termos da sucesso e, em caso armativo, indique a

Subsucesso

Denio 1.2.1 Designa-se por subsucesso de un qualquer sucesso que


resulte da supresso de alguns termos de un .
Exerccio 1.2.2 (i) Dada a sucesso un = ( 1)n (n + 3) ; calcule:
a) A subsucesso de un dos termos de ordem par.
b) A subsucesso de un dos termos de ordem mpar.
c) A subsucesso de un dos termos cuja ordem multipla de 5:
(ii) Represente grcamente os trs primeiros termos de cada subsucesso.

1.3

Sucesses montonas

Denio 1.3.1 Seja un uma sucesso.


(i) un diz-se crescente se un+1
un ; 8n 2 N, isto , se un+1 un
0;
8n 2 N.
(ii) un estritamente crescente se un+1 > un ; 8n 2 N, isto , se un+1 un >
0; 8n 2 N.
(iii) un diz-se decrescente se un+1 un ; 8n 2 N, isto , se un+1 un 0;
8n 2 N.

1.4. SUCESSES LIMITADAS

(iv) un estritamente decrescente se un+1 < un ; 8n 2 N, isto , se un+1


un < 0; 8n 2 N.
Denio 1.3.2 Uma sucesso crescente ou decrescente, em sentido lato
ou estrito, uma sucesso montona.
Exerccio 1.3.3 Estude e classique quanto monotonia as sucesses:
3n
a) an = n+2
1 4n
n+1

b) bn =

c) cn = cos (n )
d) dn =

3n

Observao 1.3.4 Uma sucesso crescente limitada inferiormente, isto


, minorada. Pode ser, ou no, limitada superiormente (majorada).
Analogamente, qualquer sucesso decrescente majorada, podendo ser, ou
no, minorada.

1.4

Sucesses limitadas

Denio 1.4.1 Uma sucesso un diz-se limitada se o conjunto dos seus


termos for um conjunto limitado. Isto , se existirem nmeros reais A e B
tais que
A un B; 8n 2 N:
De modo anlogo pode denir-se sucesso limitada se
9L > 0 : jun j

L; 8n 2 N:

Exerccio 1.4.2 Das sucesses seguintes indique as que so limitadas, referindo


neste caso um majorante e um minorante para o conjunto dos seus termos:
3n
a) an = n+2
b) dn =

3n

c) cn = cos (n )
Exerccio 1.4.3 Prove que a sucesso dn =

3n no limitada.

CAPTULO 1. SUCESSES

1.5

Induo Matemtica

O mtodo de Induo Matemtica permite provar propriedades no conjunto


dos nmeros naturais.
Baseia-se no Princpio de Induo Matemtica:
Suponhamos que se pretende provar que uma condio C(n) se transforma numa proposio verdadeira sempre que se substitua n por um nmero
natural.
Basta assegurar que se vericam as duas condies seguintes:
1. C(1) verdadeira
2. C(n) uma condio hereditria, isto , se C(p) verdadeira ento
C(p + 1) yambm verdadeira
Algumas propriedades importantes provam-se com recurso a este mtodo:
Proposio 1.5.1 (Desigualdade de Bernoulli) Se x 2 R verica 1 + x
ento
(1 + x)n 1 + nx, 8n 2 N:

Dem. Para n = 1; tem-se uma igualdade trivial : 1 + x = 1 + x:


Por hiptese, admitinda-se que a proposio verdadeira para n = p;
isto ,
(1 + x)p 1 + px:
Verica-se ento se a tese verdadeira, ou seja, se a proposio verdadeira para n = p + 1 :
(1 + x)p+1

1 + (p + 1) x:

Ora
(1 + x)p+1 = (1 + x)p (1 + x)

(1 + px) (1 + x)
2

= 1 + x + px + px = 1 + (p + 1) x + px2
1 + (p + 1) x:
Ento, pelo mtodo de induo matemtica
(1 + x)n

1 + nx, 8n 2 N:

1.6. NOO DE VIZINHANA

Exerccio 1.5.2 Utilizando o mtodo de induo matemtica prove que:


a) 8n : 2n = 4n , 8n 2 N:
b)

n
X
k=1

1.6

(2k) = n(n + 1), 8n 2 N:

Noo de vizinhana

Quando se toma um valor aproximado de um nmero real a, considerando


um valor aproximado de a comete-se um certo erro > 0:
Isto , considera-se um valor na vizinhana de a;ou seja em ]a
; a + [:
Denio 1.6.1 Seja a 2 R: Chama-se vizinhana de a de raio
nota-se por V (a) ao conjunto
V (a) = fx 2 R : jx
= ]a

; a + [:

> 0;e

aj < g

Ou seja, o conjunto de todos os valores aproximados de a com erro inferior


a :
Exerccio 1.6.2 Represente na forma de intervalo de nmeros reais:
a) V0:2 (4)
b) V0:02 ( 2; 3)
Exerccio 1.6.3 Dena como uma vizinhana os conjuntos:
a) ]2; 32; 2; 48[
b) fx 2 R : jx + 3j < 0; 001g
Exerccio 1.6.4 Considere a sucesso un =
u11 (exclusive) todos os termos vericam
un 2 V0;1
Interprete gracamente.

3
2

2+3n
2n+3 :

Prove que a partir de

10

CAPTULO 1. SUCESSES

1.7

Sucesses convergentes. Propriedades

Denio 1.7.1 A sucesso un converge para um valor a 2 R se, para


qualquer valor positivo ; existe uma ordem a partir da qual todos os termos
da sucesso pertencem a V (a):
Simbolicamente
lim un = a , 8 > 0 9p 2 N: n > p =) jun

aj < :

Exerccio 1.7.2 Provar por denio que


lim

2 + 3n
3
= :
2n + 3
2

Denio 1.7.3 (i) As sucesses que tm por limite um nmero nito


dizem-se convergentes.
(ii) As sucesses que no so convergentes dizem-se divergentes.
(iii) Uma sucesso convergente para 0 diz-se um innitsimo.
Denio 1.7.4 (i) Um elemento a 2 R diz-se um ponto de acumulao
do conjunto A R; no vazio, se em qualquer vizinhana de a existe pelo
menos um elemento de A diferente de a:
Simbolicamente
a um ponto de acumulao do conjunto A se 8 > 0; (V (a)nfag) \ A 6= ?:
(ii) Um ponto a 2 A que no seja ponto de acumulao chama-se um
ponto isolado.
Isto , a um ponto isolado se 9 > 0 : V (a) \ A = fag:
Exerccio 1.7.5 Indique o conjunto de todos os pontos de acumulao dos
conjuntos:
a) M = f 1; 5g [ [0; 2]
b) N = x 2 R : x = n1 ; n 2 N :

Exerccio 1.7.6 Prove que um conjunto nito no tem pontos de acumulao.


Proposio 1.7.7 O elemento a 2 R ponto de acumulao de A
e s se, limite de uma sucesso de pontos de A distintos de a:

jun

R se,

Dem. (=)) Suponhamos que a 2 R ponto de acumulao de A R:


Ento, para cada n 2 N existem pontos un 2 V 1 (a) \ (Anfag) ; ou seja,
aj <

1
n

e un ! a:

1.7. SUCESSES CONVERGENTES. PROPRIEDADES

11

((=) Seja un 2 A; para cada n 2 N; com un =


6 a; 8n 2 N; tal que
un ! a:
Ento jun aj < ; 8 > 0: Assim un 2 V (a); 8 > 0; pelo que a 2 R
ponto de acumulao de A:
Teorema 1.7.8 (Teorema de Bolzano-Weierstrass) Todo o conjunto A
innito e limitado admite, pelo menos, um ponto de acumulao.

Corolrio 1.7.9 Toda a sucesso limitada em R admite, pelo menos, uma


subsucesso convergente.
Dem. Seja U o conjunto de termos da sucesso limitada un :
Se U nito ento existe a 2 U que se repete innitas vezes e, por
consequncia, limite de uma subsucesso constante igual a a; pelo que
convergente para a:
Se U um conjunto innito, como limitado, pelo Teorema 1.7.8, tem
pelo menos um ponto de acumulao.
Ento, pela Proposio 1.7.7, a limite de uma sucesso de pontos de
U:
Vejamos algumas propriedades das sucesses convergentes e as suas relaes com as sucesses limitadas.
Teorema 1.7.10 (Unicidade do limite) O limite de uma sucesso convergente, quando existe, nico.
Dem. Suponha-se, com vista a um absurdo, que existe uma sucesso un
tal que un ! a e un ! b com a 6= b:
Dado > 0 arbitrrio,
9n0 2 N : n > n0 =) jun

aj < ;
2

9n1 2 N : n > n1 =) jun

bj < :
2

Tomando p := max fn0 ; n1 g tem-se que para n > p so vlidas as duas


desigualdades anteriores e
ja

bj = ja

un + un

bj

ja

un j + jun

bj <

O que est em contradio com a hiptese de a 6= b:


Logo a = b:

= :

12

CAPTULO 1. SUCESSES

Teorema 1.7.11 Se un uma sucesso convergente ento qualquer das


suas subsucesses convergente para o mesmo limite.
un :

Dem. Seja un uma sucesso tal que un ! a e vn uma subsucesso de

Assim os termos de vn tambm so termos de un ; pelo que tambm


vericam a proposio
8 > 0 9p 2 N: n > p =) jvn

aj < ;

ou seja vn ! a:
Teorema 1.7.12 Toda a sucesso convergente limitada.
Dem. Suponhamos un ! a e xe-se um valor real > 0: Ento para
n > p tem-se que un 2 ]a
; a + [ ; isto , a
< un < a + :
Ento fora deste intervalo esto um nmero nito de termos. Concretamente u1 ; :::; up
Considere-se
M := max fju1 j ; :::; jup j ; ja

j ; ja + jg :

Ento
M

un

M; 8n 2 N;

pelo que un limitada.


Teorema 1.7.13 Toda a sucesso montona e limitada convergente.
Dem. Seja un uma sucesso montona e limitada. Como o conjunto
dos termos da sucesso majorado (e minorado) ento existe supremo desse
conjunto. Designe-se c := sup fun : n 2 Ng :
Pela denio de supremo, c o menor dos majorantes, pelo que, para
cada > 0; c
no majorante. logo existe pelo menos uma ordem p 2 N
tal que c
< up .
Sendo un uma sucesso montona ela poder ser crescente ou decrescente.
Suponhamos que un crescente.
Assim teremos
c
< up un para n p:
Como c supremo, maior que todos os termos de un e ento
c

< un < c < c + :

1.8. OPERAES ALGBRICAS COM SUCESSES

13

Ou seja
8 > 0 9p 2 N: n > p =) c

< un < c + ;

isto , un ! c: Ento un uma sucesso convergente (para o supremo do


conjunto dos termos da sucesso).
Se un f uma sucesso decrescente.a demonstrao semelhante mas utilizando
d := inf fun : n 2 Ng :

1.8

Operaes algbricas com sucesses

As operaes consideradas em R estendem-se naturalmente s sucesses


reais.
Considerem-se duas sucesses un e vn :
Dene-se soma de un e vn sucesso que se obtem adicionando os termos
da mesma ordem das duas sucesses e cujo termo geral se obtem como
(u + v)n :
Isto , (u + v)n = un + vn
De modo anlogo se dene a diferena, o produto e o cociente de un e
vn , admitindo-se este ltimo apenas na condio de vn 6= 0; 8n 2 N:
Em resumo,
(u
(u

v)n = un

vn

v)n = un vn
un
u
=
; vn =
6 0; 8n 2 N:
v n
vn

As denies de soma e produto estendem-se de forma bvia a casos em


que se adicione ou multiplique um nmero nito de sucesses.
Os prximos teoremas jogam com a noo de limite e a relao de ordem
no conjunto dos reais.
Teorema 1.8.1 (Passagem ao limite numa desigualdade) Sejam un e vn
duas sucesses convergentes.
Se a partir de certa ordem se verica un vn ento
lim un

lim vn :

14

CAPTULO 1. SUCESSES

Dem. Considerem-se duas sucesses convergentes un e vn tais que un !


a e vn ! b: Assim
8

> 0 9n0 2 N: n > n0 =) jun

> 0 9n1 2 N: n > n1 =) jvn

aj < ;
bj <

e seja n1 a ordem a partir da qual se verica un vn .


Suponha-se, com vista a uma contradio, que a > b e considere-se
:= a 2 b (> 0 porque a > b):
Seja p := max fn0 ; n1 ; n2 g : Ento para n p tem-se
vn

b<

e
vn < b +

=
a

b
2

=a

< un
a

< un :
2
2
Ora esta desigualdade contradizo facto de a partir da ordem p se tem un
vn .
Logo a b; isto , lim un lim vn :
Corolrio 1.8.2 Se a partir de certa ordem a sucesso convergente vn verica vn 0; ento
lim vn 0:
Dem. Basta fazer na demonstrao anterior un

0:

Teorema 1.8.3 O produto de um innitsimo por uma sucesso limitada


um innitsimo.
Isto , se un uma sucesso limitada e vn um innitsimo, ento
lim (un

vn ) = 0:

Dem. Seja un uma sucesso limitada e vn um innitsimo.


Ento
9L > 0 : jun j L; 8n 2 N

e como vn ! 0 ento

8 > 0 9p 2 N: n > p =) jvn j <

Assim, para n > p;


jvn
Ento (vn

un

0j = jvn j

un ) ! 0; isto , (vn

jun j

jvn j

L= :

un ) um innitsimo.

1.9.

PROPRIEDADES ALGBRICAS DOS LIMITES

1.9

15

Propriedades algbricas dos limites

Os teoremas que se seguem relacionam as propriedades algbricas fundamentais com as noes de convergncia e limite.
Teorema 1.9.1 Sejam un e vn duas sucesses convergentes.
1. (u + v)n uma sucesso convergente e lim (u + v)n = lim un + lim vn :
2. (u

v)n uma sucesso convergente e lim (u

v)n = lim un

3. (k

u)n uma sucesso convergente e lim (k

u)n = k

4.

lim vn :

lim un :

u
v n

uma sucesso convergente desde que vn 6= 0; 8n 2 N;e lim


lim un
;
se
lim vn 6= 0:
lim vn

u
v n

5. (un )p ; p 2 Z; uma sucesso convergente (com un 6= 0; 8n 2 N, se p < 0)


e lim (un )p = (lim un )p :
p
p
p u
6.
0; 8n 2 N, e lim p un =
n uma sucesso convergente, se un
p
p
lim un :
Se p for mpar e un < 0 a propriedade permanece vlida.
Dem. Sejam un e vn duas sucesses convergentes tais que un ! a e
vn ! b: Ou seja
8

> 0 9n0 2 N: n > n0 =) jun

aj < ;
2

> 0 9n1 2 N: n > n1 =) jvn

bj < :
2

1. Considerando p := max fn0 ; n1 g ; tem-se que para n


as duas proposies e
j(un + vn )

(a + b)j = j(un
jun

a) + (vn
aj + jvn

p so vlidas

b)j
bj <

= :

Ento lim (un + vn ) = a + b = lim un + lim vn :


2. Note-se que
(un

vn )

(a

b) = un vn
= un (vn

un b + un b

ab

b) + (un

a) b;

un uma sucesso limitada (pois convergente), vn


nitsimos.

b e un

a so in-

16

CAPTULO 1. SUCESSES
Ento
lim (un vn

ab) = lim [un (vn

b)] + lim [(un

3. um caso particular de 2. com vn

a) b] = 0:

k (k 2 R).

4. Como vn ! b 6= 0; por 2., tem-se que vn b ! b2 > 0; ou seja


<
vn b b2 < :
Escolha-se > 0 sucientemente pequeno tal que existe p 2 N em que
para n p se tem vn b > b2
> 0:
Assim, considerando apenas os termos cuja ordem maior que p (os que
no forem so em nmero nito), obtem-se
0<

1
1
< 2
vn b
b

pelo que a sucesso (ou subsucesso se for necessrio) vn1 b e limitada.


Note-se que se tem:
un
un b a vn
a
= (un b a vn ) vn1 b :
vn
b =
vn b
lim (un b a vn ) = lim (un b) + lim ( a vn ) = ab ab = 0:
Ento
1
un a
= lim (un b a vn )
= 0;
lim
vn
b
vn b
pelo que lim uvnn =

lim un
lim vn :
(un )p 1

5. Se p = 0;
e lim (un )p = lim 1 = 1 = (lim un )p :
Se p 2 N; demonstra-se por induo.
Para p = 1 a proposio verdade.
Para provar a tese,
h
i
h
i
k+1
k
k
lim (un )
= lim (un ) un = lim (un ) lim un
= (lim un )k lim un = (lim un )k+1 :

Se p 2 Z coloca-se p =
lim (un )

= lim

k; com k 2 N e para un 6= 0; 8n 2 N; tem-se


!
1
1
1
=
=
= (lim un ) k :
k
k
k
(un )
lim (un )
(lim un )

6. Provar primeiro por induo em p; que a relao


up

v p = (u

v) up

+ up

vlida para quaisquer u; v 2 R:

v + up

3 2

v +

+ uv p

+ vp

1.9.

PROPRIEDADES ALGBRICAS DOS LIMITES

Para n = 1; u v = u
Para p = k + 1;
uk+1

v k+1 =

uk+1

= (u

v; verdade.

uv k + uv k
v) uk

= u (u

17

+ uk

v) uk + uk

v k+1 = u uk
2

v + uk

v + uk

v k + v k (u
+ uv p

3 2

v +

2 2

v +

+ u2 v p

+ uv p

Considere-se a > 0: Substituindo na igualdade anterior u =


a; obtem-se
h p
p
p
p p
p
p
p
p
p
p
( p un )p
a = p un
a ( p un )p 1 +
+ ( p un ) p a
p
p

p
p

p
p

un

a= p
p

un

p 1

un a
p p
p
+ p un ( p a)

+ vp

p p
+ ( p a)

p
p

v)
1

+ v k (u

+ vk :

un e v =

p
p

p 1

Assim
p
p

un

p
p

a =

p
p

jun

un

p 1

aj
p
p

p 1

+ ( a)

jun aj
p p 1;
( p a)

pois as parcelas do denominador da fraco do 2o membro so todas positivas


e ento
p p 1
p
p
p 1
p
( p un )p 1 +
+ pa
a
:
Como un ! a; tem-se
8 > 0 9n0 2 N: n > n0 =) jun
e obtem-se
p
p

un

p
p

aj <

p
p

p 1

p p 1
jun aj
( p a)
p p 1 < p
p 1 = :
( p a)
( p a)

Se a = 0 ento lim un = 0 e neste caso considera-se, na denio de


limite jun j < p e un < p ; pois un 0:
Ento obtem-se
p
p
p
p
p
p p
p
p
un
a = j p un j = p un
= :

v)

18

CAPTULO 1. SUCESSES

Teorema 1.9.2 Se un uma sucesso convergente ento


lim jun j = jlim un j :
Dem. Seja un ! a; isto ,
8 > 0 9p 2 N: n > p =) jun

aj < :

Como jjun j jajj


jun aj < o que equivalente a jun j ! jaj ; isto ,
lim jun j = jlim un j :
O prximo teorema til para o clculo de limites de sucesses cujos
termos gerais incluam somatrios ou fraces com razes trigonomtricas,
entre outras situaes.
Teorema 1.9.3 (Teorema das sucesses enquadradas) Sejam un ; vn e wn
sucesses convergentes tais que:
a) lim un = lim vn = a (a 2 R)
b) a partir de uma certa ordem se tem un wn vn :
Ento lim wn = a:
Dem. Considerem-se duas sucesses un e vn convergentes para a 2 R:
Ento
8 > 0 9n0 2 N: n > n0 =) a
< un < + a
e
8 > 0 9n1 2 N: n > n1 =) a

< vn < + a:

Seja n2 a ordem a partir da qual se tem un


max fn0 ; n1 ; n2 g : Ento para n > p obtem-se
a
ou seja a

< un

wn

wn

vn e dena-se p :=

vn < + a;

< wn < + a; pelo que lim wn = a:

Exerccio 1.9.4 Calcule o limite de cada uma das sucesses:


n
X
2n+sen( k4 )
a) wn =
1+3n2
k=1

b) wn =

n
X
k=0

n
2k+n2

1.10. SUCESSO DE CAUCHY

1.10

19

Sucesso de Cauchy

Com o objectivo de obter um critrio de convergncia, introduz-se a noo


de sucesso de Cauchy.
Intuitivamente, se un ! a; desde que n seja sucientemente grande,
todos os termos de un estaro arbitrariamente prximos de a e, portanto
prximos uns dos outros.
Denio 1.10.1 Uma sucesso un em R diz-se uma sucesso de Cauchy
se para cada > 0 existe uma prdem p 2 N tal que jum un j < ; para
quaisquer m; n p:
Observao 1.10.2 Considerando em particular m = n + k; k 2 N, pode
obter-se uma denio equivalente:
un uma sucesso de Cauchy se
8 > 0 9p 2 N: n

p =) jun+k

un j < ; 8k 2 N:

Desta ltima denio resulta:


Proposio 1.10.3 Se un uma sucesso de Cauchy em R; ento para
qualquer k 2 N tem-se
un+k

un ! 0; quando n ! +1:

A condio recproca no vlida, como se pode ver no exerccio seguinte:


Exerccio 1.10.4 (Contra-exemplo) Prove que para cada k 2 N a sucesso
Sn = 1 +

1 1
1
+ + ::: +
2 3
n

verica
Sn+k

Sn ! 0

e no entanto Sn no uma sucesso de Cauchy.


O prximo resultado fornece um critrio de convergncia para sucesses
de que no se conhece o limite:
Teorema 1.10.5 (Princpio de Cauchy-Bolzano) A condio necessria e
suciente para que uma sucesso un em R seja convergente que un seja
uma sucesso de Cauchy.
Simbolicamente, em R; un convergente se e s se
8 > 0 9p 2 N: 8k 2 N; 8n

p =) jun+k

un j < :

20

CAPTULO 1. SUCESSES

Dem. (=)) Suponhamos que a sucesso un convergente para a 2 R:


Ento
8 > 0 9p 2 N: n > p =) jun aj < :
2
Assim, para 8m p; 8n p;
jum

un j = jum

a+a

un j

jum

aj + ja

un j <

= :

Logo un uma sucesso de Cauchy.


((=) Seja un uma sucesso de Cauchy.
Passo1: Provar que toda a sucesso de Cauchy em R limitada.
Considere-se na denio = 1: Assim, em particular, existe p 2 N; tal
que jum un j < 1; para quaisquer m; n p
Ento , em particular, a desigualdade vlida para m = p; isto ,
jun

up j < 1 () un 2 ]up

1; up + 1[ ; para n

Portanto, fora deste intervalo, esto um nmero nito de termos da sucesso


e o conjunto desses termos limitado.
Logo a sucesso de Cauchy un limitada.
Passo2: Provar que se un uma sucesso de Cauchy e un tem uma
subsucesso convergente, ento un convergente em R:
Seja uk uma subsucesso de un convergente para a 2 R:
Fixando > 0; 9q 2 N: juk aj < 2 para k q:
Como un uma sucesso de Cauchy,
9p 2 N: jum

uk j < ; 8m; k
2

Dena-se r := max fq; pg : Ento para k


as desigualdades
juk
Assim, para m
jum

aj <

e jum

p:

r vericam-se simultaneamente

uk j < ; para m
2

r:

r;

aj = jum

uk + uk

aj

jum

uk j + juk

aj <

= :

Ou seja, um ! a; quando m ! +1:


Ento, pelo Passo1, un uma sucesso limitada e pelo Corolrio 1.7.9, un
possui uma subsucesso convergente. Logo, pelo Passo 2, un convergente.

1.11. A RECTA ACABADA. INFINITAMENTE GRANDES

1.11

21

A recta acabada. Innitamente grandes

Se recta real juntarmos "dois novos elementos", +1 e 1; obtem-se a


recta acabada, que se representa por R ou [-1; +1]:
R pode considerar-se como um conjunto limitado superiormente por +1
e inferiormente por 1. Assim qualquer subconjunto de R limitado.
Como estender a noo de limite a R ?
Denio 1.11.1 Uma sucesso un diz-se um innitamente grande positivo
e escreve-se
un ! +1 ou lim un = +1;
se, a partir de uma certa ordem, un for superior a qualquer nmero positivo
previamente xo.
Simbolicamente
un ! +1 () 8L > 0 9p 2 N: n > p =) un > L:
Exerccio 1.11.2 Prove que a sucesso un = 5n + 1 um innitamente
grande positivo.
Denio 1.11.3 a) A sucesso un um innitamente grande negativo,
isto ,
un ! 1 ou lim un = 1;
se, a partir de uma certa ordem, un for inferior a qualquer nmero negativo
xado.
Simbolicamente
un !

1 () 8L > 0 9p 2 N: n > p =) un <

L:

b) un um innitamente grande em mdulo quando


jun j ! +1:
A unicidade do limite permanece vlida para sucesses na recta acabada.
Contudo uma sucesso un pode no ter limite em R:
Exerccio 1.11.4 Mostre que un = ( 1)n (n + 2) no tem limite em R mas
um innitamente grande em mdulo.

22

CAPTULO 1. SUCESSES
Classicao das sucesses quanto existncia e natureza do limite:

1.12

convergentes (tm limite em R)


8
propriamente divergentes
>
>
>
>
(limite
1)
<
divergentes
(no convergentes) >
>
oscilantes
>
>
:
(no tm limite em R)

Operaes com limites em R. Indeterminaes

Algumas operaes algbricas com limites permanecem vlidas em R. Outras h que levantam diculdades.
O prximo teorema rene as principais propriedades utilizadas com limites innitos.
Teorema 1.12.1 Sejam un e vn duas sucesses reais.
1) Se un um innitamente grande positivo ou negativo ento um innitamente grande em mdulo. Isto ,
se un !

1 ento jun j ! +1:

2) O inverso de um innitsimo um innitamente grande, i.e.,


se un ! 0 ento

1
! 1:
un

3) O inverso de um innitamente grande um innitsimo, i.e.,


se un ! 1 ento

1
! 0:
un

4) Se un um innitamente grande positivo e, a partir de uma certa ordem,


un vn ento vn tambm um innitamente grande positivo, i.e.,
se un ! +1 e un

vn para n

p; ento vn ! +1.

1.12. OPERAES COM LIMITES EM R. INDETERMINAES

23

5) Se un ! +1 e vn limitada inferiormente ento un + vn ! +1.


6) Se un !

1 e vn limitada superiormente ento un + vn !

7) Se un !

1 e vn limitada ento un + vn !

1.

1..

8) Se un ! 1 e existe p 2 N tal que o conjunto fvn 2 R : n pg tem um


minorante positivo ou um majorante negativo ento un vn ! 1:
Dem.
1) Se un ! +1 ento un > L; n p; 8L > 0 e jun j un >
L; isto , jun j ! +1:
Se un ! 1 ento un ! +1 e, pelo passo anterior, j un j = jun j !
+1:
2) Se un ! 0 ento
8L > 0 9p 2 N: n > p =) jun j <
Assim

1
jun j

> L; para n > p; pelo que, por denio,

1
:
L
1
jun j

! +1 e

1
un

! 1:

3) Se un ! 1; jun j ! +1 e
1
8 > 0 9p 2 N: n > p =) jun j > :
Ento

1
jun j

1
un

< ; para n > p; pelo que, por denio,

1
un

! 0:

4) Se un ! +1 ento
un > L; para L > 0 e n
Se para n

p se tem vn

p:

un ento
vn

un > L:

Por denio, vn ! +1.


5) Como vn limitada inferiormente, para qualquer L > 0 existe k
tal que k vn , 8n 2 N; e k < L:
De un ! +1 tem-se que un > L; 8L > 0; pelo que un > L k; para
n p: Ento
un + vn > L k + k = L
e, por denio, un + vn ! +1.
6) Anlogo alnea anterior.

24

CAPTULO 1. SUCESSES
7) Se vn limitada ento existe K > 0 tal que jvn j
Como un ! 1 ento jun j ! +1 e, por denio,
8L > 0 9n0 2 N: n > n0 =) jun j > L

K; 8n 2 N:

K:

Assim, a partir de uma certa ordem n1;


jun + vn j = jun

( vn )j

jjun j

jvn jj = jun j

jvn j :

Denindo p := max fn0 ; n1 g tem-se que


jun + vn j

jun j

jvn j

K +K =L

vlido para n p, 8L > 0:


Isto signica que jun + vn j ! +1; ou seja, un + vn ! 1:
8) Suponhamos que vn tem um minorante positivo a partir de uma
certa ordem n0 : Ou seja,
9k > 0 : vn

k; para n

Como un ! 1; isto , jun j ! +1; ento jun j >


Assim

n0 :
L
k;

para n

n1 :

L
:k = L; para n p :== max fn0 ; n1 g :
k
Se supusermos que vn tem um majorante negativo, ento
jun

vn j = jun j

9k > 0 : vn

jvn j >

k < 0; a partir de uma certa ordem,

ou seja, jvn j k > 0 e o processo segue de modo anlogo.


O teorema anterior contorna algumas diculdades que surgem nas operaes algbricas dos limites em R:
Por exemplo:
2) no d informao sobre o valor de 00 :
3) no d informao sobre o valor de

1
1:

5),6) e 7) no do informao sobre o valor de +1


8) no d informao sobre o valor de 1

1:

0:

Nas sucesses em cujas operaes surjam estes casos de indeterminao,


para os quais no h teoremas gerais que garantam partida o seu resultado, necessrio fazer um estudo caso a caso, de modo a conseguir
levantar a indeterminao.

1.13. SUCESSO EXPONENCIAL

25

Exerccio 1.12.2 Calcule, caso existam:


2

a) lim 3n 1+1n3 2n
p
p
b) lim n + 1
n
c) lim 3 + 2n2 + 5n4

1.13

Sucesso exponencial

O comportamento, a existncia e a natureza do limite da sucesso exponencial an (a 2 R) depende do valor da base.


Casos possveis:
Se a = 0 ou a = 1 a sucesso constante. Logo convergente para 0
ou para1; respectivamente.
Se a > 1 a sucesso montona crescente.
Escrevendo a = 1 + h; h > 0; resulta pela Prop. 1.5.1 que
an = (1 + h)n

1 + nh; 8n 2 N.

Como a sucesso 1+nh ! +1, ento, pelo Teorema 1.12.1, an ! +1:


Se 0 < a < 1 a sucesso montona decrescente e an ! 0: (Provar)
Se

1 < a < 0 a sucesso no montona e an ! 0. (Provar)

Se a
1 a sucesso toma alternadamente termos positivos e negativos pelo que no montona e an no tem limite
Exerccio 1.13.1 Calcular:
a) lim

1.14

2n+1 + 3n
;
2n + 3n+1

b) lim

2n+1 + 3n
:
2n + 5n+1

Sucesso do tipo potncia-exponencial

O limite da sucesso de termo geral 1 +


Anlise Matemtica.

1 n
n

Exerccio 1.14.1 Prove que a sucesso


un =

1+

1
n

tem um papel importante na

26

CAPTULO 1. SUCESSES

a) montona crescente
b) limitada
c) convergente.
Pelo exerccio anterior prova-se que o seu limite ser um nmero entre 2
e 3.
Convencionou-se que
lim 1 +

1
n

= e ' 2; 71828::::

Teorema 1.14.2 Se a sucesso un ! 1 ento


1+

1
un

un

! e:

Dem. Suponhamos que un ! +1: Ento existe uma ordem p tal que
un > L; 8L > 0.
Represente-se por kn o menor nmero inteiro que verique
kn

un < kn + 1; para n > p:

Ento

1
1
<
kn + 1
un

e
1+

(1.14.1)

1
kn

1
1
<1+
kn + 1
un

1+

1
:
kn

Por (1.14.1) e como as bases so maiores que 1; a sucesso ca crescente , e


1+

1
kn + 1

kn

1
un

un

1+

1
kn

kn +1

= lim 1 +

<

1+

1
kn

1+

1
kn

kn +1

Como
lim 1 +

1
kn + 1

kn

e
lim 1 +

1
kn

kn +1

= lim 1 +

1
kn

kn

1+

1
kn

= e:1 = e

=e

1.14. SUCESSO DO TIPO POTNCIA-EXPONENCIAL

27

ento pelo Teorema 1.9.3, quando un ! +1;


lim 1 +
Suponha-se agora que un !
vn ! +1 e
lim 1 +

1
un

vn

1
vn

= lim 1

vn

vn 1
vn
1
= lim 1 +
vn 1

un ; tem-se

vn

= lim

vn

vn
1

= lim 1 +
porque vn

= e:

1: Ento, denindo vn =

un

= lim

un

1
un

vn 1

1
vn

1+

1
vn

vn

= e:1 = e;

1 ! +1.

Teorema 1.14.3 Para x 2 R e un ! +1 tem-se que


lim 1 +
Dem. Se x = 0; lim 1 +
Se x 6= 0; tem-se
x
lim 1 +
un

0
un

un

= lim 1 +
=

! ex :

= lim 1un = lim 1 = 1 = e0 :

un

"

un

x
un

un

1
un
x

lim 1 +

1
un
x

= lim
un
x n

#x

"

1+

= e1

un
x n

un
x

#x

= ex ;

quer se tenha uxn ! +1 ou uxn ! 1; pelo Teorema 1.14.2.


Os principais resultados para sucesses do tipo potncia-exponencial
(isto da forma uvnn ) nos casos em que quer a base quer o expoente sejam sucesses com limite em R, podem ser resumidos no seguinte teorema:
Teorema 1.14.4 Sejam un > 0 e vn duas sucesses com limite em R:
Supondo que no se vericam as hipteses:
(i) lim un = lim vn = 0;
(ii) lim un = +1 e lim vn = 0;
(iii) lim un = 1 e lim vn = +1;

28
(iv) lim un = 1 e lim vn =

CAPTULO 1. SUCESSES
1;

ento
lim (un )vn = (lim un )vn :
Exerccio 1.14.5 Calcular:
r
2
1
n n + n
a) lim
;
n2 + 3

b) lim

n2 + 3n 1
n2 + 3

n 1

Captulo 2

Sries de Nmeros Reais


No Captulo anterior a adio cou perfeitamente denida para um nmero
nito de parcelas.
Pretende-se generalizar o conceito de adio por forma a dar signicado
adio de innitas parcelas e de modo a conservar tanto quanto possvel
as principais propriedadesda adio.
Seria lgico esperar que a soma de innitas parcelas positivas no desse
um nmero nito. Mas tal facto contradiz alguns fenmenos observveis no
quotidiano. Exemplo:
Paradoxo de Zeno: Um corredor desloca-se do ponto A para a meta B
a uma velocidade constante.
Seja A1 o ponto mdio de [AB] ; A2 o ponto mdio de [A1 B] ; e assim
sucesivamente, designado por An+1 o ponto mdio de [An B].
Se o tempo gasto para percorrer AA1 for designado por t, ser 2t o tempo
gasto de A1 a A2 ; 2t2 de A2 a A3 ; ...
O tempo total T , necessrio para completar a corrida ser a "soma"de
uma innidade de tempos parciais todos positivos:
T =t+

t
t
t
+ 2 + ::: + n + :::
2 2
2

Se pela "lgica"o tempo total fosse innito o corredor nunca chegaria


meta. Tal estava em contradio com o "observvel"e com a "deduo"de
otempo total T ser o dobro do que o corredor gastava na primeira metade.
S passado cerca de 2000 anos este facto foi explicado com recurso
teoria das sries.
29

30

2.1

CAPTULO 2. SRIES DE NMEROS REAIS

Denio e generalidades

Seja an uma sucesso de nmeros reais.


A esta sucesso pode associar-se uma outra sucesso
Sn = a1 + a2 + ::: + an
a que chamamos sucesso das somas parciais de an :
Denio 2.1.1 (i) Chama-se srie ao par ordenado (an ; Sn ) e representase por
+1
X
an :
n=1

Aos nmeros a1 ; a2 ; :::; an ; :::chamam-se termos da srie e expresso an o


termo geral da srie.
+1
X
(ii) A srie
an diz-se convergente se existir em R (for nito) lim Sn = S
e escreve-se

n=1

+1
X

an = S:

n=1

Ao nmero real S chama-se soma da srie.


(iii) Se no existir em R lim Sn ; srie diz-se divergente
Observao 2.1.2 Por vezes conveniente utilizar sries do tipo
+1
X

n=p

an com p 2 Z;

mantendo-se o mesmo tipo de denio.


Exerccio 2.1.3 Estude a natureza das sries:
+1
+1
+1
X
X
X
t
n
n ;
b)
( 1)
;
c)
a)
; com t 2 R+ :
2n
n=1

n=1

n=0

O estudo das sries composto por duas vertentes:


a) determinar a natureza da srie (convergente ou divergente);
b) no caso de convergncia, calcular a soma da srie.
Esta ltima questo apresenta bastantes diculdades, podendo mesmo
ser impossvel o clculo exacto da soma das sries (recorrendo aproximao
numrica).
Vejam-se dois exemplos de sries para as quais se torna possvel calcular
o valor da sua soma, caso sejam convergentes.

2.2. SRIE GEOMTRICA

2.2

31

Srie geomtrica

Denio 2.2.1 Chama-se srie geomtrica srie

+1
X

an em que an

n=0

uma progresso geomtrica.

Como conhecido a sucesso das somas parciais correspondente


Sn = a0
Como
lim Sn =

a0
1

1 rn
; com r 6= 1:
1 r

lim (1

rn ) =

a0
1

; se jrj < 1;

tem-se que:
Proposio 2.2.2 A srie geomtrica converge se e s se jrj < 1: Neste
caso
a0
S=
:
1 r

2.3

Srie de Mengoli

Denio 2.3.1 Um srie de Mengoli (tambm designada por decomponvel ou telescpica) se o termo geral an for decomponvel numa diferena
do tipo
an = un un+k :
Veja-se a natureza destas sries:
1. Caso de k = 1 : an = un un+1
S1 = a1 = u1

u2

S2 = a1 + a2 = u1

u3

S3 = a1 + a2 + a3 = u1
..
.
Sn = u 1

u3

un+1 :

Assim
lim Sn = lim (u1

un+1 ) = u1

lim un :

Proposio 2.3.2 A srie de Mengoli convergente se e s seun convergente:


Em caso armativo
S = u1 lim un :

32

CAPTULO 2. SRIES DE NMEROS REAIS


2. Caso de k = 2 : an = un

un+2

S1 = a1 = u1

u3

S2 = a1 + a2 = u1

u3 + u2

u4

S3 = a1 + a2 + a3 = u1 + u2
..
.

u4

Sn = u 1 + u 2

un+1

u5

un+2 :

Logo
lim Sn = lim (u1 + u2

un+1

un+2 ) = u1 + u2

2 lim un :

Proposio 2.3.3 A srie de Mengoli convergente se e s se un convergente:


Em caso armativo
S = u1 + u2 2 lim un :

3. Caso geral: an = un

un+k

Proposio 2.3.4 A srie de Mengoli convergente se e s se un convergente:


Neste caso
S = u1 + ::: + uk k lim un :
Exerccio 2.3.5 Estude a natureza da srie
+1
X

n=0

n2

3
+ 5n + 4

e calcule a sua soma, se possvel.


O estudo da natureza da srie pode ser feito sem recurso construo
explcita da sucesso das somas parciais, recorrendo a testes ou critrios de
convergncia.
Teorema 2.3.6 (Condio de convergncia de Anastcio da Cunha) A srie
+1
X
an convergente se e s se a sucesso das somas parciais uma sucesso
n=1

de Cauchy, isto , simbolicamente,

8 > 0 9p 2 N: 8k 2 N; 8n

p =) jSn+k

Sn j < :

2.3. SRIE DE MENGOLI

33

Dem. A demonstrao uma consequncia imediata do Teorema 1.10.5.

Observao 2.3.7 Depreende-se deste teorema que:


1. A natureza de uma srie no se altera se lhe suprimirmos um nmero
nito de termos.
2. A natureza da srie no depende do valor dos seus n primeiros termos.
Corolrio 2.3.8 (Condio necessria de convergncia) Se

+1
X

an uma

n=1

srie convergente ento lim an = 0:


Dem. Seja

+1
X

an uma srie convergente com lim Sn = l:

n=1

A sucesso das somas parciais dada por Sn = a1 + a2 + ::: + an e


Sn 1 = a1 + a2 + ::: + an 1 ; para n > 1:
Ento Sn Sn 1 = an e como lim Sn = lim Sn 1 obtem-se
0 = lim (Sn

Sn

1)

= lim an :

Observao 2.3.9 A condio lim an = 0 necessria mas no suciente.


Um exemplo clssico para este facto a srie harmnica
+1
X
1
:
n

n=1

Apesar de n1 ! 0 a srie harmnica divergente, pois a sucesso das somas


parciais Sn = 1 + 12 + ::: + n1 no uma sucesso de Cauchy (logo no uma
sucesso convergente) uma vez que
jS2n

Sn j =
=
>

1
1
1
1
+
+ ::: +
1 + ::: +
n n+1
2n
n
1
1
1
1
+ ::: +
=
+ ::: +
n+1
2n
n+1
2n
1
1
n
1
+ ::: +
=
= ; 8n 2 N.
n+n
2n
2n
2
1 + ::: +

34

CAPTULO 2. SRIES DE NMEROS REAIS

Exerccio 2.3.10 Prove que a srie


+1
X

1+

n=1

1
n

divergente.

2.4

Propriedades algbricas das sries

Alguns resultados que permitem avaliar a natureza das sries resultam das
suas operaes algbricas.
Proposio 2.4.1 (i) Sejam

+1
X

an e

n=1

+1
X

bn duas sries convergentes de

n=1

somas A e B, respectivamente. Ento a srie

+1
X

(an + bn ) convergente e

n=1

a soma A + B:
+1
X
(ii) Se
an uma srie convergente de soma A, para cada
n=1

+1
X

2 R; a srie

( an ) convergente para A:

n=1

Dem. (i) Represente-se por Sn0 e Sn00 as sucesses das somas parciais das
+1
+1
X
X
sries
an e
bn ; respectivamente. Ento
n=1

n=1

Sn = (a1 + b1 ) + (a2 + b2 ) +
= (a1 +

+ an ) + (b1 +

+ (an + bn )
+ bn ) = Sn0 + Sn00 ! A + B:

Pelo que Sn convergente para A+B e, portanto,

+1
X

(an + bn ) convergente

n=1

e tem por soma A + B:

(ii) Seja Sn a sucesso das somas parciais da srie

+1
X

n=1
+1
X

n=1

an .

an e Sn a de

2.5. SRIES DE TERMOS NO NEGATIVOS

35

Ento
Sn = a1 +

+ an =

(a1 +

Observao 2.4.2 Caso ambas as sries

+ an ) = Sn ! A:
+1
X

an e

n=1

a srie

+1
X

+1
X

bn sejam divergentes,

n=1

(an + bn ) pode ser convergente ou divergente.

n=1

Exemplos:

1. As sries
+1 h
X

+1
X

( 1) e

n=1

( 1)n + ( 1)n+1

n=1

2. As sries

+1
X

n=1

divergente.

ne

+1
X

+1
X

( 1)n+1 so ambas divergentes e contudo

n=1

0 convergente.

2n so ambas divergentes e

n=1

+1
X

Observao 2.4.3 Poder-se-ia esperar que sendo

+1
X

n=1

gentes, a srie "produto"

+1
X

[n + 2n] =

n=1

(an

an e

+1
X

3n

n=1
+1
X

bn conver-

n=1

bn ) tambm fosse convergente. Contudo

n=1

tal no se verica:

Os prximos resultsdos daro alguma informao sobre os casos em que


possvel a priori estabelecer a natureza da srie "produto".

2.5

Sries de termos no negativos

Uma srie

+1
X

n=1

an diz-se de termos no negativos se an

0; 8n 2 N.

Tendo-se apenas an 0; para n p; esta srie da mesma natureza que


uma srie de termos no negativos, pois a natureza da srie no depende
pos primeiros p termos.
Neste tipo de sries o estuda da convergncia ou divergncia torna-se
mais simples, uma vez que permite estabelecer vrios critrios de convergncia.

36

CAPTULO 2. SRIES DE NMEROS REAIS

Proposio 2.5.1 Uma srie de termos positivos

+1
X

an convergente se e

n=1

s se a sucesso das somas parciais majorada.

Dem. Observe-se que sendo an 0; 8n 2 N; ento a sucesso das somas


parciais Sn = a1 +
+ an crescente.
Portanto Sn ser convergente se e s se for majorada.
Teorema 2.5.2 (Critrio de comparao) Sejam

+1
X

an e

n=1

termos no negativos e tais que an


a) Se

+1
X

bn convergente ento

+1
X

an divergente ento

n=1

b) Se

bn para n

+1
X

+1
X

bn sries de

n=1

p: Ento:

an convergente.

n=1

n=1

+1
X

bn divergente.

n=1

Dem. Podemos supor an


bn ; 8n 2 N, que no h perda de generalidade (pois a natureza da srie no depende dos primeiros p termos).
Considere-se
An = a1 +

+ an e Bn = b1 +

+ bn

as respectivas sucesses das somas parciais. Ento An


a) Pela Proposio 2.5.1,
+1
X

n=1

bn convergente , Bn majorada , Bn

Assim, como an

bn ; 8n 2 N, ento An

Bn

+1
X

n=1

Ento A
+1
X

n=1

bn divergente.

Bn e Bn ! +1 porque Bn

+1
X

an

n=1

an divergente ento An ! +1 () An
An

B 2 R+ :

B e An majorada,

convergente.
b) Se

Bn ; 8n 2 N:

A (8A 2 R).

A (8A 2 R) ;.pelo que

2.5. SRIES DE TERMOS NO NEGATIVOS


Exemplo 2.5.3 1. (Sries de Dirichlet) Se
+1
X
1
n

37

2Re

1 ento a srie

divergente.

n=1

Como a srie

+1
X

1
n

divergente, pelo critrio de comparao (b),

n=1

+1
X

1
n

n=1

divergente para
1:
+1
X
1
2. A srie
convergente, porque n2
n2

n2

1;

1
n2

1
n2 1

(n > 1) :

n=1

Como a srie

+1
X

1
n2 1

uma srie de Mengoli convergente, ento pelo

n=1

critrio de comparao (a),

+1
X

1
n2

convergente.

n=1

3. Para

2 a srie

+1
X

1
n

convergente, pois n

n2 ;.

1
n

1
n2

n=1

Como

+1
X

1
n2

convergente, ento pelo critrio de comparao (a),

n=1

convergente para
Considere-se a srie

+1
X

1
n

n=1

2.
+1
X

sen n
2n :

n=1

Aqui no possvel aplicar o critrio de comparao pois os termos da


srie no so no negativos,.
necessrio o conceito de convergncia absoluta.
Denio 2.5.4 Uma srie

+1
X

an diz-se absolutamente convergente se

n=1
+1
X

n=1

jan j convergente.

A relao entre estes dois tipo de convergncia pode ser expressa no


seguinte resultado:
Teorema 2.5.5 Toda a srie absolutamente convergente convergente.

38

CAPTULO 2. SRIES DE NMEROS REAIS

Dem. Seja

+1
X

an uma srie absolutamente convergente, isto ,

n=1

convergente.
Alm disso

+1
X

+1
X

n=1
+1
X

an

n=1

n=1

jan j ; porque ja1 +

+ an j

ja1 j +

jan j

+ jan j

e passando ao limite em ambos os membros da desigualdade.


+1
X
Como 0
an + jan j
2 jan j e a srie
2 jan j convergente, pela
n=1

Proposio 2.4.1,.ento pelo Teorema 2.5.2, a), a srie

n=1

vergente.
Assim

+1
X

+1
X

n=1

an =

+1
X

n=1

+1
X

(an + jan j)

Observao 2.5.6 Uma srie

+1
X

n=1

(an + jan j) con-

jan j convergente.

an pode ser convergente sem contudo ser

n=1

absolutamente convergente. Nestes casos a srie diz-se simplesmente convergente.

Exemplo 2.5.7 Na srie

+1
X

sen n
2n

tem-se que

n=1

sen n
2n
Como

+1
X

1
2n

1
; 8n 2 N:
2n

uma srie geomtrica convergente (razo

1
2)

, ento pelo

n=1

critrio de comparao (a) a srie

+1
X

sen n
2n

convergente e

n=1

absolutamente convergente. Finalmente pelo Teorema 2.5.5,


vergente.

+1
X

sen n
2n

n=1
+1
X

sen n
2n

con-

n=1

Os dois resultados seguintes referem-se natureza de sries cujo termo


geral o produto de duas sucesses:

2.5. SRIES DE TERMOS NO NEGATIVOS

Teorema 2.5.8 (Teorema de Dirichlet) Se

+1
X

39

an uma srie (no neces-

n=1

sariamente convergente) com a sucesso das somas parciais limitada e bn


uma sucesso decrescente que tende para zero ento
+1
X

(an

bn ) convergente.

n=1

Dem. 1o Passo: Provar por induo que, para Sn = a1 +


a1 b1 +
S1 (b1

b2 ) + S2 (b2

b3 ) +

+ an se tem

+ an bn =
+ Sn

1 (bn 1

bn ) + Sn bn ; 8n 2 N:

Para n = 1; a1 b1 = S1 b1 verdade.
Admitindo a igualdade verdadeira para n = p vericar para n = p + 1 :
a1 b1 +
[S1 (b1

+ ap bp + ap+1 bp+1 =

b2 ) +

+ Sp

1 (bp 1

ap+1 bp+1 + (Sp bp+1


= S1 (b1

b2 ) +

+ Sp

= S1 (b1

1 (bp 1

b2 ) +

bp ) + S p bp ] +

Sp bp+1 )

bp ) + Sp (bp
+ Sp (bp

bp+1 ) + (ap+1 + Sp ) bp+1

bp+1 ) + Sp+1 bp+1 :

2o Passo: Passando ao limite


lim (a1 b1 +

+ an bn ) = lim

n
X

Si

1 (bi 1

bi ) + lim Sn bn :

i=2

Os dois limites do segundo membro existem porque:


Sn bn ! 0; pelo Teorema 1.8.3;
a srie

+1
X

Si

1 (bi 1

bi ) convergente.pois

i=2

jSi
e

+1
X
i=2

(bi

convergente.

1 (bi 1

bi )j = jSi

1 j (bi 1

bi )

M (bi

bi )

bi ) convergente.pois uma srie de Mengoli com bn

40

CAPTULO 2. SRIES DE NMEROS REAIS

Ento a srie

+1
X

Si

1 (bi 1

bi ) absolutamente convergente. Logo

i=2

lim (a1 b1 +

+ an bn ) nito pelo que a srie

+1
X

(an bn ) conver-

n=1

gente.

Fortalecendo a hiptese sobre

+1
X

an e enfraquecendo a condio sobre

n=1

bn , obtem-se:

Teorema 2.5.9 (Teorema de Abel) Se

+1
X

an uma srie convergente e

n=1

bn
0 uma sucesso decrescente (no necessariamente com limite zero)
ento
+1
X
(an bn ) convergente.
n=1

Dem. Como bn montona e limitada (0 bn


b1 ; 8n 2 N) ento
convergente, isto , tem limite. Seja b esse limite.
A sucesso (bn b) decrescente e (bn b) ! 0:
+1
X
Como a srie
an convergente, a respectiva sucesso das somas parn=1

ciais limitada, pelo que se pode aplicar o Teorema 2.5.8 e garantir que
+1
X
[an (bn b)] convergente.
n=1

Como an bn = an (bn
+1
X

n=1

2.6

(an bn ) =

b) + ban ento

+1
X

[an (bn

b) + ban ] convergente.

n=1

Sries alternadas

Se os termos da srie no tm sinal xo, isto , vo alternando o sinal, a


srie ser do tipo
+1
X
( 1)n bn ; (bn 0) ;
n=1

2.6. SRIES ALTERNADAS

41

a srie diz-se alternada.


O estudo da natureza deste tipo de sries faz~se com recurso convergncia absoluta ou se se pretender apenas a convergncia simples ao critrio de
Leibniz:
Teorema 2.6.1 (Critrio de Leibniz) Se bn
com limite zero ento
+1
X

0 uma sucesso decrescente

( 1)n bn convergente.

n=1

Dem. A a sucesso das somas parciais da srie

+1
X

( 1)n limitada (em-

n=1

bora no convergente). Como bn uma sucesso decrescente com lim bn = 0;


ento fazendo no Teorema 2.5.8 an = ( 1)n obtem-se o resultado pretendido.

Observao 2.6.2 A condio de bn ser decrescente para zero no pode ser


retirada.
Sem a monotonia de bn a srie pode divergir.
Exerccio 2.6.3 Prove que a sucesso bn =
no montona e a srie
+1
X

( 1)n

n=1

1
n

[2 + ( 1)n ] tende para 0 mas

1
[2 + ( 1)n ]
n

divergente.
Resoluo: Suponha-se, com vista um absurdo, que a a srie

n=1

( 1)n

1
n

[2 + ( 1)n ]

n=1

convergente.
Ento a srie
+1
X
1
=
n

+1
X

+1
X

n=1

+1

( 1)n

2 X 2
1
+
( 1)n +
n
n
n
n=1

seria convergente pela Proposio 2.4.1. Ora isto absurdo porque a srie
harmnica divergente.

42

CAPTULO 2. SRIES DE NMEROS REAIS

Exerccio 2.6.4 Estude a natureza da srie


+1
X

( 1)n

n=1

Resoluo: A srie

+1
X

( 1)n

1
n

1
:
n

no absolutamente convergente pois

n=1
+1
X

n=1

+1

( 1)n

X 1
1
n
=
n
n
n=1

Pelo Critrio de Leibniz a srie convergente.


Logo a srie simplesmente convergente.
Observao 2.6.5 Este exerccio prova que a recproca do Teorema 2.5.5
no verdadeira, isto , existem sries convergentes que no so absolutamente convergentes.

2.7

Critrios de convergncia para sries de termos no negativos

Alm dos critrios j apresentados, indicam-se de seguida uma coleco de


critrios para sries de termos no negativos.
Teorema 2.7.1 (Corolrio do critrio de comparao) Se an
8n 2 N e
an
lim
= l; (0 < l < +1)
bn
ento as sries

+1
X

an e

n=1

+1
X

bn so da mesma natureza.

n=1

Dem. Aplicando a denio de limite sucesso


8 > 0 9p 2 N: n > p =) l
Fixando

tal que 0 <

0; bn

<

obtem-se

an
<l+ :
bn

< l tem-se, para n > p;


bn (l

an
bn ;

) < an < bn (l + ) :

0;

2.7. CRITRIOS DE CONVERGNCIA PARA SRIES DE TERMOS NO NEGATIVOS43

Pelo Teorema 2.5.2, se


+1
X

+1
X

bn divergente ento

n=1
+1
X

bn convergente ento

n=1

+1
X

an divergente, e se

n=1

an convergente.

n=1

Exemplo 2.7.2 A srie


+1
X

1
n

sen

n=1

divergente porque
lim

+1
X

1
n

sen

1
n

1
n

=1

divergente.

n=1

Observao 2.7.3 A aplicao do teorema anterior exige que a natureza


de uma das sries seja previamente conhecida. Para tal vejam-se os dois
resultados seguintes:
Teorema 2.7.4 (Critrio da condensao de Cauchy) Sejam a1
+1
X
a3 ::: 0: Ento
an converge se e s se
n=1

+1
X

2k a2k = a1 + 2a2 + 4a4 + 8a8 + ::: for convergente.

k=0

Dem. Sejam Sn e Tk as somas parciais das duas sries, isto ,


Sn = a1 +

+ an
+ 2k a2k :

Tk = a1 + 2a2 + 4a4 +
Para n

2k+1

1; tem-se

Sn = a1 + (a2 + a3 ) + (a4 + a5 + a6 + a7 ) +
+ a2k +

+ a2k+1

a1 + 2a2 + 4a4 +

1
k

+ 2 a2k = Tk :

a2

44

CAPTULO 2. SRIES DE NMEROS REAIS

((=) Assim se

+1
X

2k a2k convergente ento, pela Proposio 2.5.1 Tk

k=0

majorada.
Como para qualquer n existe k 2 N0 tal que n
Sn

2k+1

1; tem-se que
+1
X
Tk ; pelo que Sn majorada e, pela Proposio 2.5.1, a srie
an
n=1

convergente.

(=)) Suponha-se que

+1
X

an convergente. Para n

2k ;.tem-se

n=1

Sn = a1 +

+ an

a1 + a2 + (a3 + a4 ) + (a5 + a6 + a7 + a8 ) +
+ a2k+1 +1 +

+ a2k

1
a1 + a2 + 2a4 + 4a8 +
2
pelo que Tk

2Sn : Como

+1
X

+ 2k

1
a2k = Tk ;
2

an convergente ento Sn majorada pelo

n=1

que Tk tambm majorada. Pela Proposio 2.5.1, a srie

2k a2k con-

k=0

vergente.
Corolrio 2.7.5 A srie de Dirichlet

+1
X

+1
X

1
n

convergente se e s se

>1

n=1

( 2 R):

Dem. Para
0; n1 no um innitsimo, logo pelo Corolrio 2.3.8,
a srie divergente.
Para > 0 a sucesso n1 est nas condies do teorema anterior. Assim
+1
+1
X
X
bn =
2(1 )n uma
para bn = 2n a2n = 2n (2n1) = 2(1 )n a srie
n=1

n=1

srie geomtrica de razo 21 ; que converge se, e s se, 1


< 0; isto ;
> 1.
Em situaes em que o limite apresente algumas diculdades ou no
exista, pode optar-se pela comparao das razes entre dois termos consecutivos.

2.7. CRITRIOS DE CONVERGNCIA PARA SRIES DE TERMOS NO NEGATIVOS45


Teorema 2.7.6 (Critrio da comparao das razes) Sejam an ; bn > 0 e,
a partir de uma certa ordem p,
bn+1
:
bn

an+1
an
Ento:
a) Se

+1
X

bn convergente ento

+1
X

an divergente ento

n=1

b) Se

+1
X

an convergente.

n=1

n=1

+1
X

bn divergente.

n=1

Dem. A desigualdade da hiptese equivalente a


an+1
bn+1

an
:
bn

o que prova que a sucesso abnn decrescente, a partir de uma certa ordem
a
ap
a
p, pelo que majorada por bpp ; para n p: Ou seja, abnn
bn bpp ;
bp e an
para n p:
Aplicando o Teorema 2.5.2 obtem-se a concluso pretendida.
Exerccio 2.7.7 Estudar a natureza das sries
+1
X
1 3
(2n 1)
1
1 3
1 3 5
a). 2 + 2 4 + 2 4 6 + ::: =
2 4
(2n)
n=1

b).

+1
X
1+(

1)n
:
n2

n=1

Teorema 2.7.8 (Critrio da razo) Seja an > 0.


a) Se existe um nmero r tal que 0 < r < 1 e
+1
X
certa ordem, ento
an convergente.

an+1
an

r, a partir de uma

n=1

b) Se a partir de uma certa ordem,

an+1
an

1 ento

+1
X

n=1

an divergente.

46

CAPTULO 2. SRIES DE NMEROS REAIS

Dem. a) Aplicando a alnea a) do teorema anterior s sries

+1
X

an e

n=1
+1
X

rn ; em que a segunda convergente porque uma srie geomtrica com

n=1

jrj < 1; pois

an+1
an

rn+1
= r:
rn

b) Aplicando a alnea b) do Teorema 2.7.6 s sries

+1
X

an e

n=1
an+1
an

esta divergente. Como

+1
X

1 ento

+1
X

1; sendo

n=1

an divergente.

n=1

Teorema 2.7.9 (Critrio de DAlembert) Se an > 0 e lim an+1


an = l; nito
ou +1; ento
a) Se l < 1, ento

+1
X

an convergente.

n=1

b) Se l > 1 ento

+1
X

an divergente.

n=1

Dem. a) Pela denio de limite,


8 > 0; 9p 2 N :

an+1
< l + ; para n
an

p:

Como l < 1; escolha-se

sucientemente pequeno de modo que l + < 1:


+1
X
Aplicando o Teorema 2.7.8 com r = l + < 1 conclui-se que
an
n=1

convergente.
b) Pela denio de limite,

8 > 0; 9p 2 N : l
Como l > 1; escolha-se

<

an+1
; para n
an

p:

> 0 de modo que l


> 1: Assim
+1
X
e pelo Teorema 2.7.8 a srie
an divergente.
n=1

an+1
an

>l

>1

2.7. CRITRIOS DE CONVERGNCIA PARA SRIES DE TERMOS NO NEGATIVOS47


Observao 2.7.10 Se l = 1 este critrio no conclusivo, contudo se
lim

an+1
= 1+
an

decorre do teorema anterior que a srie divergente.


Exerccio 2.7.11 (i) Prove que a srie

+1
X

1
n!

convergente.

n=1

(ii). Discuta a natureza da srie


+1
X

n=1

n!

nn

em funo do parmetro :
Teorema 2.7.12 (Critrio da raiz) Seja an
a) Se

p
n

an

0 8n 2 N. Ento

r; com r < 1, a partir de uma certa ordem, ento

p
n

an

an

+1
X

an

n=1

convergente.
b) Se

+1
X

1; para uma innidade de valores de n,. ento

n=1

divergente.
Dem. a) Como

p
n

an

r ento an

rn ; para n

pe

+1
X

rn conver-

n=1
+1
X

gente,.porque r < 1; ento, pelo Teorema 2.5.2,


an convergente.
n=1
p
1 para uma innidade de valores de n ento lim an 6= 0:
b) Se n an
+1
X
Logo
an divergente.
n=1

Teorema 2.7.13 (Critrio da raiz de Cauchy) Seja an


p
suponhamos que lim n an = l; nito ou +1: Ento
a) Se l < 1,

+1
X

n=1

an convergente.

0 8n 2 N e

48

CAPTULO 2. SRIES DE NMEROS REAIS

b) Se l > 1;

+1
X

an divergente.

n=1

Observao 2.7.14 Se l = 1 este critrio no conclusivo.


Dem. a) Pela denio de limite,
p
8 > 0; 9p 2 N : n an < l + ; para n

p:

Como l < 1; escolhe-se > 0 sucientemente pequeno tal que l + < 1 e


em seguida escolhe-se tal que r = l + < 1:
p
Assim n an < r e, pelo Teorema 2.7.12, a srie convergente.
b) Pela denio de limite,
p
8 > 0; 9p 2 N : l
< n an ; para n p:
p
Como l > 1; escolhe-se > 0 tal que l
> 1 e, assim n an > 1: Pelo
Teorema 2.7.12, a srie divergente.
Se l = +1; pela denio de limite,
p
8 > 0; 9p 2 N : n p =) n an > l:
p
Em particular para = 1; n an > 1:
Exemplo 2.7.15 (i) A srie

+1
X

p1
nn

convergente porque, pelo critrio da

n=1

raiz de Cauchy
lim

s
n

1
1
p
= lim p = 0:
n
n
n

(ii). Para a srie


+1
X

n=1

no possvel calcular
s
lim

1
[3 + ( 1)n ]2n

[3 + (

1)n ]2n

= lim

1
[3 + ( 1)n ]2

porque o limite no existe. Contudo decompondo a srie e pode calcular-se


os dois sub-limites:
1
n par, lim [3+( 11)n ]2 = 16
;
n mpar,

lim [3+( 11)n ]2 = 14 :

Como ambos so menores que 1, ento a srie convergente.

2.8. RESTO DE UMA SRIE

2.8

49

Resto de uma srie

Ao aproximarmos a soma de uma srie pela soma se alguns termos, cometese um erro.
Denio 2.8.1 Dada uma srie

+1
X

an , chama-se resto de ordem p srie

n=1
+1
X

an = ap+1 + ap+2 +

= Rp :

n=p+1

Como

+1
X

an = (a1 + a2 +

+ ap ) + Rp

n=p+1

observa-se que o erro cometido ao tomar para valor da soma da srie, a soma
dos primeiros p termos Rp :
No clculo aproximado interessa conhecer majorantes dos erros cometidos nas aproximaes feitas.
Nas sries de termos positivos existem alguns resultados que majoram o
resto:
Teorema 2.8.2 Se p 2 N; an > 0 8n 2 N; e existir um nmero kp tal que
an+1
an

kp < 1; para n

ento
Rp

p + 1;

ap+1
:
1 kp

Dem. Pelo Teorema 2.7.8, a srie

+1
X

an convergente. Por outro lado

n=1

Rp = ap+1 + ap+2 + ap+3 +


ap+2 ap+3
+
+
= ap+1 1 +
ap+1 ap+1
Por hiptese

Anlogamente

ap+2
ap+1
ap+4
ap+1

kp e

ap+3
ap+3 ap+2
=
:
ap+1
ap+2 ap+1

(kp )3 e assim sucessivamente.

(kp )2 :

50

CAPTULO 2. SRIES DE NMEROS REAIS


Ento
Rp

ap+1 1 + kp + (kp )2 + (kp )3 +

= ap+1

1
1

kp

Outro resultado para sries de termos no negativos:


Teorema 2.8.3 Se an 0 8n 2 N; e existir um nmero kp tal que
kp < 1; para n p + 1; ento
Rp

Dem. A srie

+1
X

p
n

an

kpp+1
:
1 kp

an convergente pelo Teorema 2.7.12. O erro

n=1

Rp = ap+1 + ap+2 + ap+3 +


(kp )p+1 1 + kp + (kp )2 + (kp )3 +

kpp+1
:
1 kp

Para sries alternadas, tem-se o seguinte resultado:


Teorema 2.8.4 Seja an

0 uma sucesso decrescente com limite zero e


+1
X
Rp o resto de ordem p da srie
( 1)n an : Ento
n=1

Rp

ap+1 :

Dem. Pelo Teorema 2.6.1, a srie convergente e


Rp = ( 1)p+1 ap+1 + ( 1)p+2 ap+2 +
Multiplicando por ( 1)p+1 tem-se
( 1)p+1 Rp = (ap+1

ap+2 ) + (ap+3

ap+4 ) +

e como an uma sucesso decrescente ento cada diferena no negativa e


( 1)p+1 Rp

0:

(2.8.1)

2.8. RESTO DE UMA SRIE


Por outro lado
h
( 1)p+1 Rp

Ou seja,

51

i
ap+1 = (ap+2

ap+3 ) + (ap+4

( 1)p+1 Rp

ap+5 ) +

0:

ap+1 ;

e, por (2.8.1),
0
pelo que jRp j

( 1)p+1 Rp

ap+1 ;

ap+1 :
+1
X

Exemplo 2.8.5 Se para soma da srie

( 1)n

n=1

1+
comete-se um erro Rn tal que jRn j

1
2

1 1
+ ;
3 4
1
5:

1
n

tomarmos o nmero

52

CAPTULO 2. SRIES DE NMEROS REAIS

Captulo 3

Funes reais de varivel real


3.1

Limite de uma funo

Recordando a denio de limite de uma funo num ponto:


Denio 3.1.1 Sejam X
R; f : X ! R uma funo real denida em
X e a um ponto de acumulao de X: Diz-se que b 2 R o limite de f (x)
no ponto a e escreve-se f (x) ! b quando x ! a ou
lim f (x) = b;

x!a

quando
8 > 0 9" > 0: 8x 2 X; jx

aj < " =) jf (x)

bj < :

Intuitivamente limf (x) = b:


x!a

signica que f (x) est arbitrariamente prximo de b quando x est


sucientemente perto de a.
no d informao sobre o valor de f (x) no ponto a, isto , sobre f (a):
Exerccio 3.1.2 Prove por denio que
lim x2 + 4 = a2 + 4:

x!a

Tambm possvel formular a noo de limite de uma funo recorrendo


a sucesses:
53

54

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

Teorema 3.1.3 (Heine) Sejam X


R; f : X ! R , a um ponto de
acumulao de X e b 2 R Ento limf (x) = b equivalente a dizer que
x!a

lim f (xn ) = b para todas as sucesses xn 2 Xnfag tais que xn ! a .

Dem. (=)) Suponhamos que limf (x) = b.


x!a
Seja xn uma sucesso tal que xn ! a: Ento, a partir de uma certa
ordem n p; jxn aj < ": Pela Denio 3.1.1,
jf (xn )

bj < ; para n

pe

> 0 xo,

o que prova que lim f (xn ) = b.


((=) Considere-se que lim f (xn ) = b para todas as sucesses sucesses
xn 2 Xnfag tais que xn ! a.
Suponhamos, por contradio, que limf (x) 6= b. Ento
x!a

9 > 0 : 8" > 0; jx

aj < " e jf (x)

bj

para um certo x 2 X que depende de ":


Ento se para cada n 2 N zermos " = n1 e designarmos o correspondente
x por xn ; obtem-se uma sucesso xn tal que
0 < jxn

aj <

1
e jf (xn )
n

bj

isto ,
xn ! a, xn 6= a e lim f (xn ) 6= b;
o que contradiz a hiptese.
Exerccio 3.1.4 Verique se existe
lim

x!0

2 + sen

1
x

Resoluo: Para todos os pontos da forma x =


sen (x) = 1:
Considerando a sucesso
1
= + 2n
xn
2
tem-se
xn =
2

1
+ 2n

e xn ! 0:

+ 2n ; n 2 N; tem-se

3.1. LIMITE DE UMA FUNO

55

Para f (x) = 2 + sen x1 obtem-se


f (xn ) = 2 + sen
Analogamente, denindo
yn =

3
2

1
yn

3
2

+ 2n

= 3:

+ 2n temos

1
! 0 e f (yn ) = 2 + sen
+ 2n

3
+ 2n
2

= 1:

Assim pelo teorema anterior h uma contradio, pois xn ! 0 e yn ! 0 e


contudo as suas imagens tendem para valores distintos.
Algumas propriedades dos limites das funes reais de varivel real esto
resumidas na prxima proposio:
Proposio 3.1.5 Sejam f; g; h : X
de X:

R ! R e a um ponto de acumulao

1. (Unicidade do limite) Se existir limf (x) ento nico.


x!a

2. Se f (x) = g(x); 8x 2 V" (a) \ X e existem limf (x) e limg(x) ento


x!a

x!a

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

x!a

x!a

3. Se limf (x) < lim g(x) ento existe " > 0 tal que
x!a

x!a

f (x) < g(x); 8x 2 V" (a):


4. Se f (x)

g(x); 8x 2 V" (a) \ X ento


lim f (x)

x!a

limg(x);

x!a

caso existam os respectivos limites.


5. Se h(x)

f (x)

lim f (x) existe e

g(x); 8x 2 V" (a) \ X e se lim h(x) = limg(x) ento


x!a

x!a

lim h(x) = lim f (x) = limg(x):

x!a

x!a

x!a

x!a

56

CAPTULO 3. FUNES REAIS DE VARIVEL REAL


Dem. 1. Suponhamos que existem dois valores para limf (x): Isto ,
x!a

limf (x) = b e

x!a

Ento para cada cada

limf (x) = b0 :

x!a

> 0 existe " > 0 tal que

jf (x)

bj <

b0 < ;
2

f (x)

desde que x 2 X e jx aj < ":


Escolhendo um valor de x nestas condies tem-se
b

b0

=
<

b
2

f (x) + f (x)
+

b0

jb

f (x)j + f (x)

b0

= ;

para 8 > 0, o que implica b = b0 :


2. Tomando x tal que jx

aj < "; tem-se

jf (x)
para qualquer

bj = jg(x)

bj < ;

> 0: Logo
lim f (x) = lim g(x):

x!a

x!a

3. Seja limf (x) = b < lim g(x) = c e escolha-se


x!a

x!a

> 0 tal que 0 <

<

c b
2 ;

ou seja tal que b + < c


:
Ento, existe " > 0 tal que x 2 V" (a) \ X e
b

< f (x) < b +

e c

< g(x) < c + :

Em particular
f (x) < b + < c

< g(x); 8x 2 V" (a) \ X:

4. Resulta directamente das alneas 2. e 3.


5. Aplicar argumentos semelhantes demonstrao do Teorema 1.9.3.

3.2. LIMITES EM R

3.2

57

Limites em R

A noo de limite pode estender-se ao caso em que a =


em que o valor do limite 1:
Denio 3.2.1 Sejam X
de X:

1 e a situaes

R; f : X ! R e a um ponto de acumulao

(i) Diz-se que lim f (x) = +1 quando para qualquer L > 0 existe " > 0 tal
x!a

que para x 2]a "; a + "[\ (Xnfag) se tem f (x) > L:


Simbolicamente quando
8L > 0 9" > 0: 8x 2 X; 0 < jx

aj < " =) f (x) > L:

(ii) Analogamente
lim f (x) =

x!a

1 , 8L > 0 9" > 0:8x 2 X; 0 < jx

aj < " =) f (x) <

Exerccio 3.2.2 Prove por denio que


2

lim

x!0 x2

Denio 3.2.3 Seja X

= +1:

R:

(i) Se X uma parte no majorada de R; f : X ! R e b 2 R; diz-se que


lim f (x) = b se
x!+1

8 > 0 9x0 2 R: 8x 2 X; x > x0 =) jf (x)

bj < :

(ii) Se b = +1 ento lim f (x) = +1 se


x!+1

8L > 0 9x0 2 R: 8x 2 X; x > x0 =) f (x) > L:


(iii) Se X uma parte no minorada de R; dene-se de modo anlogo
lim f (x) = b; lim f (x) = +1 e lim f (x) = 1.
x! 1

x! 1

x! 1

Exerccio 3.2.4 Mostre, por denio, que


lim

x!+1

x2
x2

8x + 3
= 1:
4

L:

58

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

Note-se que quando X = N a funo f uma sucesso real e esta


denio equivalente denio de limite de uma sucesso.
Assim as propriedade algbricas enunciadas para os limites de sucesses
permanecem vlidas para funes.
Proposio 3.2.5 (Propriedade algbricas dos limites) Admitindo que lim f (x) =
x!a

b e lim g(x) = c; tem-se que:


x!a

1. lim (f + g) (x) = b + c;
x!a

2. lim (f
x!a

g) (x) = b

c;

3. lim jf (x)j = jbj


x!a

(x)
4. lim fg(x)
=
x!a

b
c

, se c 6= 0:

5. lim jh(x)j = 0 () lim h(x) = 0


x!a

x!a

Dem. As demonstraes so anlogas s utilizadas no Teorema 1.9.1.


Exerccio 3.2.6 Considere a funo f : Rnf0g ! R dada por
f (x) = x sen

1
x

Calcular lim f (x):


x!0

3.3

Limites laterais

Os limites laterais reforam a informao sobre o comportamento da funo


quando os objectos se aproximam de um certo ponto.
Denio 3.3.1 (i) Seja a um ponto de acumulao de X para valores
maiores que a: Chama-se limite lateral de f direita de a , notando-se
f (a+ ) ou lim f (x) = b; se
x!a+

8 > 0 9" > 0 : x 2 X, a < x < a + " =) jf (x)

bj < :

(ii) Analogamente, chama-se limite lateral de f esquerda de a , notando-se


f (a ) ou lim f (x) = b; se
x!a

8 > 0 9" > 0 : x 2 X, a

" < x < a =) jf (x)

bj < :

3.4. FUNES CONTNUAS

59

Observao 3.3.2 Se a um ponto de acumulao de X ento


lim f (x) = b () lim f (x) = lim f (x) = b:

x!a

x!a+

x!a

Exerccio 3.3.3 Calcule, se existir, lim f (x) sendo


x!1

f (x) =

3.4

x
2

+ 23 se x 1
1 x2 se x < 1:

Funes contnuas

Geometricamente, uma funo contnua num ponto se, nesse ponto, no


houver saltos.
Denio 3.4.1 Considere-se X R; f : X ! R e a 2 X:
A funo f contnua em a quando lim f (x) = f (a); isto ,
x!a

8 > 0 9" > 0 : 8x 2 X; jx

aj < " =) jf (x)

f (a)j < :

Observao 3.4.2 Se a um ponto isolado, a funo f necessariamente


contnua em a; uma vez que, tomando " > 0 tal que V" (a) \ X = fag a
condio jx aj < " =) x = a e obviamente se verica
jf (x)

f (a)j = 0 < ; 8 > 0:

Exerccio 3.4.3 Considere a funo real de varivel real denida por


( 2
x 3x+2
se x 6= 2
x2 4
m(x) =
3k + 2 se x = 2:
Determine o valor do parmetro k de modo a que a funo seja contnua em
R:

3.5

Continuidade lateral

Denio 3.5.1 Seja a um ponto de acumulao de X e f : X ! R:


(i) f (x) diz-se contnua direita de a se
lim f (x) = f (a):

x!a+

60

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

(ii) f (x) contnua esquerda de a se


lim f (x) = f (a):

x!a

Observao 3.5.2 Se f (x) contnua em a ento f (x) contnua esquerda e direita de a:


As propriedades algbricas das funes contnuas num ponto podem sintetizar no prximo resultado:
Proposio 3.5.3 Sejam f; g : X ! R duas funes contnuas num ponto
de acumulao a de X: Ento:
(i) (f + g) ; (f
(ii)

f
g

g) ; jf j e ( f ) so funes contnuas em a;

contnua em a se g(a) 6= 0:

Dem. Resulta directamente das propriedades algbricas dos limites.


Proposio 3.5.4 (Continuidade da funo composta) Considere-se ' :
D R ! R e f : E R ! R duas funes tais que ' (D) E:
Se ' contnua em a 2 D e f contnua em ' (a) 2 E ento (f ')
contnua em a:
Dem. Pretende-se provar que lim (f ') (x) = (f ') (a):
x!a
Seja xn 2 D uma sucesso tal que xn ! a; por valores diferentes de a:
A sucesso correspondente '(xn ) ! '(a) porque ' contnua em a: Por
sua vez a funo f transforma a sucesso '(xn ) na sucesso f ['(xn )] que
converge para f ['(a)] visto que f contnua em f ['(a)] :
Ento qualquer que seja a sucesso xn ! a; temos que
(f
isto , lim (f
x!a

') (xn ) = f ['(xn )] ! f ['(a)] ;

') (x) = (f

') (a):

Observao 3.5.5 Da proposio anterior resulta a possibilidade de permutar a passagem ao limite com a funo, isto ,
h
i
lim f ['(x)] = f lim '(x) :
x!a

x!a

esta propriedade que permite o clculo


"
lim sen 2x +

x! 3

= sen lim 2x +
x! 3

= sen

5
6

1
= :
2

3.6. CONTINUIDADE NUM INTERVALO

3.6

61

Continuidade num intervalo

Denio 3.6.1 (a) A funo f : D R ! R diz-se contnua no intervalo


]a; b[ D se e s se for contnua em todos os pontos desse intervalo.
(b) A funo f contnua no intervalo [a; b] D se:
f contnua direita de a;
f contnua em ]a; b[;
f contnua esquerda de b:
Exerccio 3.6.2 Determine e de modo a que a funo
8
se
x 0
< 2+
2 x
x
f (x) =
se 0 < x < 1
: x2 4x+3
1 3
se
x 1
seja contnua no intervalo [0; 1]:

3.7

Descontinuidades

Denio 3.7.1 Seja f : D

R ! R:

(i) O ponto a 2 D um ponto de descontinuidade se f (x) no contnua


em a:
(ii) A funo f tem uma descontinuidade de 1a espcie em a se f (x) no
contnua em a e admite limites laterais nitos:
(iii) Um ponto de descontinuidade diz-se de 2a espcie se pelo menos um
dos limites laterais em a innito:
Por vezes conveniente denir o salto de f :
Denio 3.7.2 Chama-se salto de f : D
admite limites laterais f (a+ ) e f (a ) a:
(a) = max fjf (a+ )
limites laterais;

f (a)j ; jf (a )

R ! R num ponto a 2 D, que


f (a)jg ; caso existam ambos os

(a) = jf (a+ ) f (a)j ou (a) = jf (a )


f (a+ ) ou f (a ); respectivamente;

f (a)j se existirem apenas

62

CAPTULO 3. FUNES REAIS DE VARIVEL REAL


(a) = 0; se a um ponto isolado.

Exerccio 3.7.3 Determine e classique os pontos de descontinuidade de


8
x
,
x>2
<
2
x + 2x , 0 x 2
f (x) =
:
1
,
x < 0:
x

Em cada ponto de descontinuidade calcule o salto de f:

3.8

Teoremas fundamentais sobre continuidade

Teorema 3.8.1 (de Bolzano ou do valor intermdio) Se f : [a; b] ! R


uma funo contnua em [a; b] e k um valor compreendido entre f (a) e
f (b) ento existe pelo menos um valor c 2]a; b[ tal que f (c) = k .
Dem. Suponhamos que f (a) f (b) e f (a) k f (b):
Divida-se o intervalo [a; b] ao meio. Dos dois intervalos obtidos seja
[a1 ; b1 ] o que verica f (a1 ) k f (b1 ):
Se vericarem os dois subintervalos escolhe-se arbitrariamente um deles
para [a1 ; b1 ].
Por nova diviso ao meio do intervalo [a1 ; b1 ] obtm-se dois intervalos.
Seja [a2 ; b2 ] o intervalo que verica f (a2 )
k
f (b2 ): Prosseguindo indenidamente desta forma obtem-se uma sucesso de intervalos
[a1 ; b1 ]

[a2 ; b2 ]

[an ; bn ]

que verica f (an ) k f!


(bn ): Seja c o nmero real comum a todos estes
\
[an ; bn ] : Assim, an ! c e bn ! c e, passando ao limite
intervalos c 2
n2N

nas ltimas desigualdades, tem-se, pela continuidade de f; f (c) k f (c);


pelo que f (c) = k:
Se se supuser f (b) f (a) e f (b) k f (a) a demonstrao anloga.
Numa verso mais simplicada pode enunciar-se assim:
"Se f uma funo contnua ento no passa de um valor a outro sem
passar por todos os valores intermdios:"
Um importante corolrio deste teorema para k = 0 diz o seguinte:
Corolrio 3.8.2 Se f : [a; b] ! R uma funo contnua em [a; b] com
f (a) f (b) < 0 ento f tem pelo menos um zero em ]a; b[;isto ,
9c 2]a; b[: f (c) = 0:

3.8. TEOREMAS FUNDAMENTAIS SOBRE CONTINUIDADE

63

Exerccio 3.8.3 Provar que a equao


x3 = 3x2

tem pelo menos uma raiz real.


Teorema 3.8.4 Se f uma funo contnua num conjunto D
e fechado, ento f (D) limitado e fechado.

R limitado

Dem. a) Provar que f (D) limitado.


Suponhamos, por contradio, que f (D) no limitado. Ento existe
uma sucesso yn 2 f (D) tal que yn ! 1:
Pelo Teorema 3.8.1, para cada n 2 N existe xn 2 D tal que f (xn ) = yn
e como D um conjunto limitado ento xn uma sucesso limitada, logo
admite uma subsucesso convergente (pelo Corolrio 1.7.9) que se designa
por x n ! c:
Como D um conjunto limitado, c 2 D: assim f (x n ) = y n ! f (c) ;
porque f contnua, o que contradiz o facto de yn ! 1:
b) Provar que f (D) fechado, ou seja as sucesses convergentes em f (D)
tm limites em f (D).
Seja yn 2 f (D) tal que yn ! c:
Como para cada n 2 N existe xn 2 D tal que f (xn ) = yn e D um
conjunto limitado, pode extrair-se uma subsucesso x n ! x:
Como D fechado ento x 2 D: Assim f (x n ) = y n e passando ao
limite quando n ! +1; tem-se
f (x) = lim f (x

) = lim y

= c:

Como x 2 D logo c = f (x) 2 f (D).


Teorema 3.8.5 (Teorema de Weierstrass) Toda a funo contnua num
conjunto no vazio, limitado e fechado tem mximo e mnimo nesse conjunto.
Dem. Seja f uma funo contnua em D 6= ?; limitado e fechado.Pelo
Teorema 3.8.4, f (D) limitado. Como f (D) 6= ? ento existe s = sup f (D):
Pela denio de supremo (o menor dos majorantes), para qualquer > 0
existem pontos de f (D) que pertencem ao intervalo ]s
; s[ : Ento
s 2 f (D) = f (D); porque f (D) fechado.
Como s 2 f (D) e s = sup f (D) ento s o mximo de f (D):
A demonstrao anloga para a existncia de mnimo de f (D):

64

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

Proposio 3.8.6 Seja f : I


I: Ento f (I) um intervalo.

R ! R uma funo contnua num intervalo

Dem. Considere-se y1 ; y2 2 f (I) tais que y1 < y2 e y1 = f (x1 ) e


y2 = f (x2 ).
Como f uma funo contnua no intervalo [x1 ; x2 ] (ou [x2 ; x1 ] se for
x2 < x1 ) resulta pelo Teorema 3.8.1 que [y1 ; y2 ] f (I); pelo que f (I) um
intervalo.
Observao 3.8.7 Este teorema no refere a natureza do intervalo f (I),
o qual ter necessariamente como extremos inf f (x) e supf (x); que podero,
x2I

x2I

ou no, pertencer a f (I): Isto , o intervalo pode ser aberto, fechado ou


semi-aberto.
Proposio 3.8.8 Seja I um intervalo e f : I
R ! R uma funo
contnua e injectiva. Ento f estritamente montona.
Dem. Se I = fx0 g o resultado trivial ( f (x0 ) um nico ponto).
Considerem-se ento x0 ; y0 2 I dois elementos quaisquer tais que x0 <
y0 : Como, pela injectividade f (x0 ) 6= f (y0 ) ter-se-
f (x0 ) < f (y0 ) ou f (y0 ) < f (x0 ) :
No primeiro caso prova-se que f estritamente crescente e no segundo caso
estritamente decrescente.
Suponha-se que f (x0 ) < f (y0 ) (no 2o caso a demonstrao anloga) e
prove-se que para x0 < x < y0 se tem f (x0 ) < f (x) < f (y0 ) :
Com efeito, se assim no fosse, tinha-se: (i) f (x) < f (x0 ) < f (y0 ) ou
(ii) f (x0 ) < f (y0 ) < f (x) :
No caso (i), o Teorema 3.8.1 garante que existe 2 ]x; y0 [ tal que f ( ) =
f (x0 ) o que contraria a injectividade de f:
Finalmente, para provar a monotonia, se x0 < x < y < y0 ; pela 1a parte
da demonstrao, tem-se que
f (x0 ) < f (y) < f (y0 ) :
Como x0 < x < y e f (x0 ) < f (y) ; tem-se pela parte anterior que
f (x0 ) < f (x) < f (y) :
Assim provou-se que no intervalo [x0 ; y0 ] a funo f estritamente crescente.
Como x0 e y0 so pontos arbitrrios em I ento f estritamente crescente
em I:

3.9. ASSMPTOTAS

65

Proposio 3.8.9 Seja f : I


R ! R uma funo montona num intervalo I: Se f (I) um intervalo ento f contnua.
Dem. Suponhamos que f crescente e seja x0 2 I (no caso de f ser
decrescente o raciocnio semelhante).
Designe-se por
f (x0 ) := lim f (x) e f (x+
0 ) := lim f (x):
x!x+
0

x!x0

Como f montona ento os limites anteriores so nitos e


f (x0 )

f (x0 )

f (x+
0 ):

Se fosse f (x0 ) < f (x+


0 ) ento f (I) no podia ser um intervalo, mas sim
uma reunio de intervalos, pois qualquer elemento y 2 f (x0 ); f (x+
0 ) com
y 6= f (x0 ) no pertence a f (I).
Logo os limites laterais tm de ser iguais, isto , f tem de ser contnua.

3.9

Assmptotas

Denio 3.9.1 (i) Sejam f e h duas funes reais denidas para x > x0 :
Diz-se que a linha de equao y = h(x) assmptota ao grco de f (x) para
a direita (ou quando x ! +1) se e s se
lim [f (x)

x!+1

h(x)] = 0:

Geometricamente, signica que o grco de f (x) no difere muito do grco


de h(x) quando x grande e positivo.
(ii) Analogamente, se f e h duas funes reais denidas para x < x0 ; a linha
de equao y = h(x) assmptota ao grco de f (x) para a esquerda (ou
quando x ! 1) se e s se
lim [f (x)

x! 1

h(x)] = 0:

Exemplo 3.9.2 A funo h(x) = x2 uma assmptota ao grco de


5
f (x) = x x3 1 para a direita, porque
lim

x!+1

x5 1
x3

x2 = lim

x!+1

1
x2

= 0:

66

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

Se em particular as assmptotas h(x) so rectas ento pode considerar-se


dois casos: rectas verticais e no verticais.
Denio 3.9.3 Seja f : D R ! R e a um ponto de acumulao de D:
A recta x = a uma assmptota vertical ao grco de f (x) se se vericar
pelo menos uma das quatro igualdades
lim f (x) =

x!a+

1 ,

lim f (x) =

x!a

1:

Proposio 3.9.4 A recta y = mx + b uma assmptota no vertical ao


grco de f (x); denida para x > x0 ; se e s se
m = lim

x!+1

f (x)
e b = lim [f (x)
x!+1
x

mx]

existirem e forem nitos.


De modo anlogo se dene a assmptota para a esquerda.
Dem. (=)) Suponha-se que a recta y = mx + b uma assmptota ao
grco de f (x):
Considere-se a denio de assmptota com h(x) = mx + b (m; b 2 R).
Ento, para o caso de assmptota para a direita de f; tem-se
lim [f (x)

x!+1

mx

b] = 0

donde
b = lim [f (x)

mx]

x!+1

e
0 =
=

lim

x!+1 x

lim

x!+1

[f (x)

mx

f (x)
x

m ;

b] = lim

x!+1

f (x)
x

b
x

pelo que
f (x)
:
x!+1 x
Ento m e b tm os respectivos limites nitos.
A demonstrao para o caso da assmptota para a esquerda anlogo.
((=) Se existirem e forem nitos os dois limites ento
m = lim

b = lim [f (x)
x!+1

mx] () lim [f (x)


x!+1

mx

b] = 0;

pelo que y = mx + b uma assmptota ao grco de f (x) para a direita:

3.10. FUNO INVERSA

67

Exerccio 3.9.5 Determine a equao de todas as rectas que so assmptotas ao grco de


f (x) =

3.10

x3
x2

Funo inversa

Denio 3.10.1 Seja f : D R ! R uma funo injectiva. Diz-se que a


funo g : f (D) ! R a funo inversa de f se g [f (x)] = x; 8x 2 D:

Observao 3.10.2 (i) S as funes injectivas admitem funo inversa e


neste caso as equaes
y = f (x) e x = g(y)
so equivalentes.
(ii) Sendo g a funo inversa de f , para obter o grco da equao y = g(x)
basta efectuar sobre o o grco de y = f (x) uma simetria em relao
bissectriz dos quadrantes mpares.

100

1.5
1.0

50

-4

-2

0.5

2
-50

-4

-2

2
-0.5
-1.0

-100

x3

-1.5

p
3

68

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

1.0

0.5

-1.0

-0.8

-0.6

-0.4

-0.2

0.2

0.4

0.6

0.8

1.0

-0.5

-1.0

Os graf icos s~
ao simetricos relativamente a y = x

(iii) Se f montona (sendo injectiva estritamente montona) e crescente


(decrescente) ento a sua inversa tambm estritamente montona
crescente (decrescente).
Com efeito, para x1 ; x2 2 Df com x1 < x2 ento f (x1 ) < f (x2 ) ; se f for
crescente. Notando por g a funo inversa de f , tem-se
g[f (x1 )] = x1 < x2 = g[f (x2 )];
pelo que g crescente.
1
: Repare-se que para f (x) = x3 se tem
(iv) No confundir f 1 (x) com f (x)
p
1
= x13 .
f 1 (x) = 3 x mas f (x)

Para uma funo contnua e injectiva, a funo inversa ainda contnua?


Teorema 3.10.3 (Continuidade da funo inversa) Seja f uma funo contnua e injectiva, denida num intervalo I R: Ento f 1 contnua.
Dem. Pela Proposio 3.8.8, f estritamente montona e, portanto,
tambm estritamente montona.
Mas f 1 est denida no intervalo f (I); sendo o seu contradomnio I
um intervalo. Ento, pela Proposio 3.8.9, f 1 contnua.
f

3.11. FUNO EXPONENCIAL

3.11

69

Funo exponencial

aplicao x 7! ax d-se o nome de funo exponencial de base a:


As principais propriedades resumem-se no seguinte resultado:
Teorema 3.11.1 A funo exponencial ax (a > 0) contnua e satisfaz as
propriedades:
1. ax > 0; 8x 2 R
2. ax+y = ax

ay ; (ax )y = axy , 8x; y 2 R

3. Se a > 1, ax estritamente crescente, lim ax = +1; lim ax = 0:


x!+1

x! 1

4. Se a < 1; ax estritamente decrescente, lim ax = 0, lim ax = +1.


x!+1

5. Se a = 1; ax

x! 1

1; 8x 2 R:

Dem. A demonstrao do teorema consequncia das propriedades


algbricas dos limites e da sucesso exponencial.
A ttulo de exemplo prove-se a alnea 3.
Sejam x1 ; x2 2 R tais que x1 < x2 e xem-se racionais r1 e r2 tais que
x1 < r1 < r2 < x2 :
Tomando as sucesses rn ; sn 2 Q com rn ! x1 e sn ! x2 tem-se, a
partir de uma certa ordem n0;
rn < r1 < r2 < sn
e, por consequncia,
ax1 = lim arn < ar1 < ar2 < lim asn = ax2 :

No estudo que se segue xa-se uma determinada base : e (nmero de


Neper)
Proposio 3.11.2 Tem-se
lim

x!+1

1+

1
x

= lim

x! 1

1+

1
x

= e:

70

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

Dem. Calculando o limite para x ! +1 :


Seja x > 1 e designe-se por I(x) o maior inteiro menor ou igual a x:
Assim tem-se I(x) x < I(x) + 1 e
1+

1
I(x)

1+

1
1
>1+
x
I(x) + 1

1+

1
x

e, pelo Teorema 3.11.1 (3),


1+

1
I(x)

I(x)+1

>

1+

I(x)

1
I(x) + 1

Passando ao limite e fazendo no primeiro membro n = I(x) tem-se


lim

1+

x!+1

1
I(x)

I(x)+1

1
n
1
= lim 1 +
n

n+1

= lim 1 +

1+

1
n

= e:

Para o ltimo membro procede-se de modo anlogo com n = I(x) + 1;


lim

x!+1

1+

I(x)

1
I(x) + 1

1
n

n 1

= lim 1 +

1
n

= lim 1 +

1+

1
n

= e:

Pela Proposio 3.1.5 (5), obtem-se


lim

x!+1

Para o limite quando x !


(1 + y):
lim

x! 1

1+

1
x

1+

=
=

lim

y!+1

lim

y!+1

lim

y!+1

= e:

1 faz-se a mudana de varivel x =

1
x

1+
y
1+y
1
1+
y

(1+y)

1
(1 + y)

= lim

y!+1

(1+y)

= lim

y!+1

1+

1
y

= e:

1+

1
y

1+y

1+1
1 y

(1+y)

3.11. FUNO EXPONENCIAL

71

Proposio 3.11.3 Tem-se


ex
= +1
x!+1 x
lim

lim x ex = 0:

x! 1

Dem. Fazendo e = 1 + h (h > 0 ) tem-se pelo binmio de Newton


en
n

(1 + h)n
1 + nh +n C2 h2 +
+ hn
=
n
n
n(n 1) 2
1 + nh + 2 h
1
n 1 2
= +h+
h :
n
n
2

=
>

Ento
lim

en
> lim
n

1
n 1 2
+h+
h
n
2

= +1;

pelo que lim en = +1: Fazendo n = I(x) tem-se n


ex
ex
>
x
n+1
Ento

ex
x!+1 x
lim

en
1 en+1
=
n+1
en+1

x < n + 1 e portanto

n! 1

+1:

ex
= +1:
x!+1 x

+1 =) lim

No outro caso,
lim x ex = lim

x! 1

y!+1

ye

lim

y!+1 ey

lim

1
y

y!+1 e
y

Corolrio 3.11.4 Para k 2 R tem-se


ex
= +1 e
x!+1 xk
lim

lim jxj ex = 0:

x! 1

Isto , ex um innito superior a todas as potncias de x .


Dem. No caso do limite para +1 :
Se k 0;
ex
lim k = lim x
x!+1
x!+1 x
Para k > 0; observando que
ex
=
xk

ek
x

k x

e = +1:

!k

1
= 0:
1

72

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

tem-se

ek
eu
1
eu
lim
= lim
=
lim
= +1:
x!+1 x
u!+1 ku
k u!+1 u
1 aplica-se o resultado anterior com a mudana de varivel

Para x !
x = y:

Exerccio 3.11.5 1. Indique o domnio e o contradomnio de cada um das


expresses:
51

a) f (x) = 2
b) g(x) =

3x

8
31

3x +7

2. Resolva em R cada uma das condies:


a) 2x

5x

b) 0; 25x

1
16
1 2x
16

3. Calcular:
a)
b)

3x
lim e 4
x!+1 x

lim x e

x3
2

x! 1

3.12

Funo logartmica

Como a aplicao f : x 7! ax para a 2 R+ nf1g uma bijeco de R sobre


R+ , ento admite uma aplicao inversa f 1 : R+ ! R; que se designa por
funo logaritmo de base a e se representa por
loga : ]0; +1[!
R
; com a 2 R+ nf1g:
x ! loga x
Como ax estritamente montona e contnua, a sua inversa, loga x tambm o ser. Alm disso o seu grco ser simtrico ao da exponencial, em
relao bissectriz dos quadrantes mpares.
Recorde-se as propriedades mais comuns em funo da base do logaritmo.
Se a > 1 tem-se que:
loga x estritamente crescente;

3.12. FUNO LOGARTMICA

73

loga x > 0 () x > 1;


lim loga x = +1 ;

x!+1

lim loga x =

x!0+

1:

Se 0 < a < 1 obtem-se que:


loga x estritamente decrescente;
loga x > 0 () 0 < x < 1;
lim loga x =

1 ;

x!+1

lim loga x = +1:

x!0+

Do conceito de funo inversa resultam directamente vrias consequncias:


aloga x = x
loga (ax ) = x
loga x = y () x = ay :
1. Calcular:

Exerccio 3.12.1
a) logp2 64
b) log0;1 1000

2. Determinar o domnio das funes:


a) f (x) = log2 (4

3x)

b) g(x) = 3 + log 1 9
3

x2

3. Resolva em R as condies:
a) log 1 2x2

b) log3 x2

log 1 x
e

7 <2

4. Caracterize a funo inversa de:


a) f (x) =

1 + 2 ln (1

b) g(x) = 4 +

5x)

32x 1

5. Determine em R o conjunto soluo das condies::

74

CAPTULO 3. FUNES REAIS DE VARIVEL REAL


a) 4 ln2 (x)

b) ex + 6e

3 ln x

=7

Teorema 3.12.2 (Propriedades operatrias dos logaritmos) Sejam x e y


nmeros positivos e a; b 2 R+ nf1g: Ento so vlidas as seguintes propriedades:
1. loga (x
2. loga

y) = loga (x) + loga (y)

x
y

= loga (x)

3. loga (xp ) = p

loga (y)

loga (x) ; 8p 2 R

4. logb (x) = loga (x)

logb (a) (mudana de base do logaritmo)

Dem. 1. Note-se que


x = aloga (x) , y = aloga (y) e xy = aloga (x)+loga (y) :
Ento
y) = loga aloga (x)+loga (y) = loga (x) + loga (y) :

loga (x
2. Como

x
y

loga

= aloga (x)
x
y

loga (y)

ento

= loga aloga (x)

3. Como xp = aloga (x)

loga (y)

= loga (x)

loga (y) :

= ap loga (x) ; ento

loga (xp ) = loga ap loga (x) = p

loga (x) :

4. Escrevendo x = aloga (x) ento


logb (x) = logb aloga (x) = loga (x)

logb (a) :

Proposio 3.12.3 Para todo o k > 0; tem-se


log (x)
=0 e
x!+1 xk
lim

lim xk log (x) = 0:

x!0+

3.12. FUNO LOGARTMICA

75

Intuitivamente a proposio signica que: log (x)

x!+1

+1 mais lenta-

mente que qualquer potncia arbitrariamente pequena de x:


Dem. Fazendo a mudana de varivel y = k log x tem-se
y

log (x)
1
y
= lim ky =
lim y = 0:
k
x!+1 x
y!+1 e
k y!+1 e
lim

Com a mudana de varivel x =


lim xk log (x) =

y!+1

x!0+

lim

y!+1

obtem-se

1
y

lim

1
y

1
y

log
k

1
y

lim

y!+1

1
y

log (y)

log (y)
= 0:
yk

Proposio 3.12.4 Tem-se


log (1 + x)
ex 1
= 1 e lim
= 1:
x!0
x!0
x
x
lim

Dem. Pela Proposio 3.11.2 tem-se

lim

x!+1

1+

1 x
x

= e e, pela mu-

1
y

dana de varivel y = x1 ; lim (1 + y) = e:


y!0

Pela continuidade da funo logaritmo, tem-se


1

h
i
1
log e () lim log (1 + y) y = 1

log lim (1 + y) y
y!0

y!0

()

log (1 + y)
= 1:
y!0
y
lim

No segundo limite faz-se a mudana de varivel y = ex


lim

x!0

ex

1
x

1e

y
= 1:
y!0 log (1 + y)

= lim

Corolrio 3.12.5 (Aplicao do Teorema 1.14.4) Para todo o xn 2 R; se


xn ! a e un ! +1 ento
lim

n!+1

1+

xn
un

un

= ea :

76

CAPTULO 3. FUNES REAIS DE VARIVEL REAL


Dem. Observe-se que
un

xn
log 1 +
un

log 1 +

xn
= un log 1 +
un
log 1 +
= xn

xn
un

xn
un

xn
un

1
un

Passando ao limite
lim

xn
un

log 1 +

n!+1

un

= lim 4xn
n!+1

log 1 +

xn
un

5 = a;

xn
un

a
uma vez que uxnn ! +1
= 0; pelo que se pode aplicar a Proposio 3.12.4.
Pela continuidade da funo exponencial, tem-se
lim

en!+1

un

xn
log 1+ u

=
()

x!1

xn
log 1+ u

un

n!+1

lim

n!+1

xn
1+
un

un

= ea :

1. Calcular o valor dos limites::

Exerccio 3.12.6
a) lim 3

ea () lim e

1 x
log(2 x)

b) lim xx
x!0+

c)

lim (2x)

x+1
x2

x!+1

d) lim

x!0

3
4x

+1

1
3 x

ln(5+x4 ) ln 5
x4
x!0

e) lim

2. Determine os valores reais que vericam as condies:


a) log 1 (2x) < 2
2

log 1

b) log (x + 3) > log (x

2 x
x

1)

log (2 + x)

= ea

3.13. FUNES TRIGONOMTRICAS INVERSAS

3.13

77

Funes trigonomtricas inversas

As funes trigonomtricas sen x; cos x; tg x e cot g x no so injectivas nos


respectivos domnios. Assim essas funes no seriam invertveis.
Para garantir a invertibilidade consideram-se restries dessas funes a
intervalos contidos no seu domnio.
Das innitas restries considerar-se- uma restrio principal de modo
a que o contradomnio seja igual ao da funo inicial.

3.13.1

Arco-seno

Para a funo f (x) = sen x; qualquer restrio de f a intervalos do tipo


k
2 ; k + 2 ; k 2 Z; invertvel.
Considera-se a restrio principal para k = 0;
2 ; 2 : Isto
f

2; 2

! [ 1; 1]
x 7! sen x

1.0

0.5

-1.4 -1.2 -1.0 -0.8 -0.6 -0.4 -0.2

0.2 0.4 0.6 0.8 1.0 1.2 1.4

-0.5

-1.0

sin x
admita a funo inversa
f

: [ 1; 1] !
2; 2
x 7! arcsen x

78

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

1.5
1.0
0.5

-1.0 -0.8 -0.6 -0.4 -0.2

0.2

0.4

0.6

-0.5

0.8

1.0

-1.0
-1.5

arcsin x

3.13.2

Arco-cosseno

Dada a funo g(x) = cos x; qualquer restrio de g a um dos intervalos


[k ; + k ] ; k 2 Z; invertvel.
A restrio principal para k = 0; [0; ] : Assim
g :

[0; ] ! [ 1; 1]
x 7! cos x

1.0

0.5

0.0
1

-0.5

-1.0

cos x
admita a funo inversa
f

[ 1; 1] !
[0; ]
x 7 ! arc cos x

3.13. FUNES TRIGONOMTRICAS INVERSAS

79

y3

-1.0

-0.8

-0.6

-0.4

-0.2

0.0

0.2

0.4

0.6

0.8

1.0

arccos x

3.13.3

Arco-tangente

A funo h(x) = tg x de domnio


n
Dh = x 2 R : x 6=

o
+k ; k 2Z

2
e contradomnio R tem como restries invertveis as que tenham por domnios
intervalos do tipo
i
h
k
;k +
; k 2 Z:
2
2
Para k = 0, obtem-se a restrio principal. Isto ,
h :

2; 2

!
R
x 7 ! tg x

R!
x 7!

2; 2 :
arctg x

Gracamente

-1

-5

80

CAPTULO 3. FUNES REAIS DE VARIVEL REAL


tg x

y
1.0
0.5

-5

-4

-3

-2

-1

-0.5

-1.0

arctg x

3.13.4

Arco co-tangente

Para a funo j(x) = cotg x de domnio


Dj = fx 2 R : x 6= k ; k 2 Zg
e contradomnio R a sua restrio a intervalos do tipo ]k ; k + [; k 2 Z;
denem funes invertveis. A restrio principal obtem-se para k = 0.
Ento,
j :

]0; [!
R
x 7 ! cot g x

R!
]0; [
:
x 7! arc cot g x

Gracamente

0
1

-2

-4

cot g x

3.13. FUNES TRIGONOMTRICAS INVERSAS

81

y3
2

-5

-4

-3

-2

-1

arccot x
1. Dada a funo h(x) = 2 + arcsen (2x + 1) deter-

Exerccio 3.13.1
mine:

a) Domnio de h
b) h(0) e h

1
6

c) Contradomnio de h
d) As solues da equao h(x) = 2 +
e) h

e caracterize-a.

2. Calcular:
4
5

a) cos arcsen
b) tg arccot

3
4

82

CAPTULO 3. FUNES REAIS DE VARIVEL REAL

Captulo 4

Clculo Diferencial em R
4.1

Derivada de uma funo num ponto

Fermat foi um dos primeiros matemticos a denir o conceito de derivada


ao interessar-se em determinar o mximo e o mnimo de uma funo.
Deve-se a Cauchy a formulao clssica da noo de derivada por volta
de 1823:
Denio 4.1.1 Seja f : D
R ! R uma funo real de varivel real e
a 2 D um ponto de acumulao de D:
Chama-se derivada de f no ponto a, e presenta-se f 0 (a); a
f 0 (a) = lim

x!a

f (x)
x

f (a)
f (x + h)
ou f 0 (a) = lim lim
h!0
a
h

f (x)

Se o limite existir e for nito ento a funo f diz-se derivvel ou


diferencivel no ponto a:
Exerccio 4.1.2 Utilizando a denio calcular a derivada de g(x) =
em x0 = 1:

4.2

x 2
x+2

Interpretao geomtrica da derivada

A interpretao geomtrica do conceito de derivada permite, em particular,


denir rigorosamente tangente a uma curva cujo grco denido por y =
f (x).
No possvel denir a recta tangente a uma curva como sendo a recta
que tem apenas um ponto comum com a curva. preciso um conceito mais
forte.
83

84

CAPTULO 4. CLCULO DIFERENCIAL EM R

Considere-se uma recta secante ao grco de f (x); intersectando-a nos


pontos P1 e P2 :
O declive da recta t tangente a f (x) no ponto P1 vai ser o limite dos
declives das rectas secantes quando P2 se aproxima de P1 ; ou seja, quando
x ! x1 :
Ento
f (x) f (x1 )
m = lim
= f 0 (x1 ):
x!x1
x x1
Assim, de um ponto de vista geomtrico, a derivada de uma funo f (x) em
x = a o declive da recta tangente ao grco de f (x) no ponto de abcissa
x = a:
A sua equao ento dada por
y

f (x0 ) = m (x

x0 )

ou
y

f (x0 ) = f 0 (x0 )(x

x0 ):

Exerccio 4.2.1
1. Escreva uma equao da recta tangente curva y =
2
no
ponto
de
abcissa 2:
x 4
2. Determine as coordenadas dos pontos da curva y = x3
tangente nesses pontos uma recta horizontal.

4.3

4x em que a

Derivadas laterais

Uma funo f (x) pode no ter derivada num ponto a (no existir recta
tangente ao grco de f (x)), mas existirem semi-tangentes nesses pontos,
isto , tangente esquerda e/ou direita de a:
Considere-se a funo
f (x) =

x2 + 7 se x < 2
x+1
se x 2:

Para estudar a existncia de f 0 (2) necessrio recorrer ao conceito de


derivadas laterais.
Denio 4.3.1 Seja f : D
D:

R ! R e a 2 D um ponto de acumulao de

4.4. DERIVADAS INFINITAS

85

(i) f derivvel esquerda de a se existe e nito.


lim

x!a

f (x)
x

f (a)
ou
a

lim

h!0

f (a + h)
h

f (a)

que se representa por f 0 (a ):


(ii) f derivvel direita de a se existe e nito.
lim

x!a+

f (x)
x

f (a)
ou
a

lim

h!0+

f (a + h)
h

f (a)

que se nota por f 0 (a+ ):


Observao 4.3.2
1. Da denio anterior resulta que f derivvel
em a se e s se f derivvel esquerda e direita de a: Neste caso
f 0 (a) = f 0 (a ) = f 0 (a+ ):
2. Geometricamente f 0 (a ) representa o declive da semi-recta tangente
esquerda de a; enquanto f 0 (a+ ) ser o declive da semi-recta tangente
direita de a:
3. A existncia de derivada de uma funo num ponto pode depender
apenas p
da existncia de uma derivada lateral. Por exemplo, para
f (x) = x 3; Df = [3; +1[ e
p
x 3
0
0 +
f (3) = f (3 ) = lim
= +1:
3
x!3+ x
4. As funes no tm derivada nos pontos angulosos dos seus grcos,
j que as semi-tangentes nesse ponto no esto no prolongamento uma
da outra.

4.4

Derivadas innitas

Diz-se que a derivada de f em a +1 (respectivamente


lim

x!a

f (x)
x

f (a)
= +1 (
a

1) se

1).

As derivadas innitas esquerda e direita de a denem-se de modo


anlogo.
Geometricamente, se f derivada innita em a; o grco de f (x) admite
tangente em (a; f (a)) ; paralela ao eixo das ordenadas.

86

CAPTULO 4. CLCULO DIFERENCIAL EM R

4.5

Derivabilidade e continuidade

Proposio 4.5.1 Se f : D R ! R uma funo derivvel em a 2 D;


ento f contnua nesse ponto.
Dem. Se f uma funo derivvel em a 2 D; ento admite derivada
nita nesse ponto, isto ,
f (x)
x!a
x

f 0 (a) = lim
Escrevendo
f (x)

f (a) =

f (x)
x

f (a)
nito.
a
f (a)
(x
a

a)

e passando ao limite em ambos os membros, tem-se


lim [f (x)

x!a

f (x)
x!a
x

f (a)] = lim

f (a)
lim (x
a x!a

a) = 0:

Ento lim f (x) = f (a); ou seja f (x) contnua em x = a:


x!a

Observao 4.5.2
1. A existncia de derivada innita, f 0 (a) =
no garante a continuidade de f em a:
Por exemplo, a funo sinal
8
< 1 ; x>0
0 ; x=0
sgn(x) =
:
1 ; x<0

1;

tem f 0 (0) = +1 e descontnua no ponto 0:

2. A recproca da Proposio 4.5.1 no verdadeira.


Por exemplo, a funo f (x) = jxj contnua em x = 0 e no tem
f 0 (0):

4.6

Funo derivada

Seja f : D R ! R . A funo derivada ou simplesmente derivada de uma


funo f; x 7 ! f 0 (x); uma nova funo:
cujo domnio o conjunto de todos os pontos em que f tem derivada
nita;

4.7. REGRAS DE DERIVAO

87

a cada ponto do seu domnio faz corresponder a derivada da funo


nesse ponto.
Se f derivvel em todos os pontos de D, diz-se que f derivvel (diferencivel) em D ou apenas que f derivvel (diferencivel)
Exerccio 4.6.1 Caracterize a funo derivada de cada uma das funes
seguintes:
a) f (x) =

p
3

b) g(x) = x

4.7

x2

Regras de derivao

Para evitar o recurso constante denio de derivada, utilizam-se as regras


de derivao:
Proposio 4.7.1 Sejam f; g : D
k 2 R. Ento:

R ! R funes derivveis em a 2 D e

1. (kf ) (x) derivvel em a e (kf )0 (a) = kf 0 (a)


2. (f + g)(x) derivvel em a e (f + g)0 (a) = f 0 (a) + g 0 (a)
3. (f g)(x) derivvel em a e (f g)0 (a) = f 0 (a) g(a) + f (a) g 0 (a)
Em particular, f n (x) derivvel em a e (f n )0 (a) = n f n 1 (a) f 0 (a);
para n 2 N:
f
g

4. Se g(a) 6= 0 ento
f
g

(x) derivvel em a e
0

f 0 (a) g(a) f (a) g 0 (a)


:
(g(a))2

(a) =

Dem. 1. (kf )0 (a) = lim (kf )(x)x


x!a

2. (f + g)0 (a) = lim (f +g)(x)x


f 0 (a)

g 0 (a):

x!a

3. (f g)0 (a) = lim (f


= lim

x!a

x!a
f (x) f (a)
g(x) x a

(kf )(a)
a

(f +g)(a)
a

g)(x) (f g)(a)
x a

+ f (a) g(x)x

= k lim f (x)x
x!a

= lim

x!a

g(a)
a

= f 0 (a)

= kf 0 (a) :

f (x) f (a)
x a

= lim f (x)g(x)
x!a

f (a)
a

g(x) g(a)
x a

f (a)g(x)+f (a)g(x)+f (a)g(a)


x a

g(a) + f (a)

g 0 (a):

88

CAPTULO 4. CLCULO DIFERENCIAL EM R


f
g

4.
=

( fg )(x) ( fg )(a)
x a
x!a

(a) = lim

f (x)
g(x)

= lim

x!a

f (a)
g(a)

x a

(a) f (a)g(a)+f (a)g(a)


lim f (x)g(a) g(x)f
(x a)g(x)g(a)
x!a

g(a)[f (x) f (a)] f (a)[g(x) g(a)]


1
= lim g(x)g(a)
(x a)
x!a
i
h
1
= lim g(x)g(a)
g(a) f (x)x af (a) f (a) g(x)x g(a)
a
x!a

f 0 (a) g(a) f (a) g 0 (a)


:
(g(a))2

4.8

Derivada da funo composta

Teorema 4.8.1 Consideremos as funes f : D R ! R e ' : E R ! R


tais que ' (E) D: Se ' derivvel em a 2 E e f derivvel em b = '(a) 2
D; ento (f ') : E R ! R diferencivel em a e tem-se
(f
Dem. (f
= lim

x!a

')(x) (f ')(a)
x a

')0 (a) = lim (f


x!a

= lim f ['(x)]x
x!a

f [')(a)]
a

f ['(x)] f [')(a)] '(x) '(a)


x a
'(x) '(a)

lim

'(x)!'(a)

4.9

')0 (a) = f (b) '0 (a) = f 0 ('(a)) '0 (a):

f ['(x)] f [')(a)]
lim '(x)x '(a)
a
'(x) '(a)
x!a

= f 0 ('(a)) '0 (a):

Derivada da funo inversa

Teorema 4.9.1 Seja f uma funo diferencivel e injectiva num intervalo


D R e a 2 D tal que f 0 (a) 6= 0: Ento f 1 diferencivel em b = f (a) e
f

1 0

(b) =

f 0 (a)

Dem. Represente-se y = f (x) e observe-se que se y 6= b ento f


= a:
Ento pode escrever-se

1 (y)

1 (b)

1 0

(b) = lim

y!b

(y)
y

(b)

= lim

y b
y!b
(f 1 )(y) (f

1
f (a)
lim f [f(f 1(y)]
)(y) a
y!b

1
1
f (a)
lim f [f(f 1(y)]
)(y) a
f 1 (y)!a

1 )(b)

1
f 0 (a)

6=

4.10. DERIVADAS DE FUNES TRIGONOMTRICAS

89

Observao 4.9.2 A hiptese f 0 (a) 6= 0 fundamental pois, caso contrrio,


o resultado no necessariamente verdadeiro. Tome-se como exemplo a
p
funo bijectiva f (x) = x3 : A sua inversa, 3 x; no derivvel na origem.

4.10

Derivadas de funes trigonomtricas

4.10.1

Derivada da funo f (x) = sen x

Provemos que a funo f (x) = sen x derivvel em R e determinemos a


sua expresso:
2 sen x 2 a cos
sen x sen a
= lim
x!a
x!a
x a
x a
sen x 2 a
x+a
= lim
cos
= cos a:
x a
x!a
2
2

f 0 (a) =

lim

x+a
2

Ento (sen x)0 = cos x:

4.10.2

Derivada da funo cos x

A funo cos x = sen x + 2 pode ser considerada como a composio da


funo sen x com a funo x + 2 .
Ento, pelo Teorema 4.8.1, diferencivel em todos os pontos, sendo a
sua derivada
h
i0
0
(cos x)0 = sen x +
= cos x +
x+
2
2
2
=
sen x:

4.10.3

Derivada das funes tg x e cot g x

A derivabilidade da funo tg :
de derivao

2; 2

! R resulta directamente das regras

sen x 0
cos x
1
=
= sec2 x = 1 + tg 2 x:
cos2 x
Para a funo cot g : ]0; [ ! R tem-se
(tg x)0 =

(cot g x)0 =
=

cos x 0
sen x
1
= co sec2 x =
sen2 x

1 + cot g 2 x :

90

CAPTULO 4. CLCULO DIFERENCIAL EM R

Exerccio 4.10.1 Calcular a derivada das funes


a) f (x) = tg

1
x+3

b) g(x) = cot g 2 x2

4.10.4

Derivada das funes trigonomtricas inversas

A funo x 7 ! arcsen x a funo inversa de y 7 ! sen y , isto , designando por x = f (y) = sen y ento y = f 1 (x) = arcsen x .
Pelo Teorema 4.9.1, obtem-se
1
(sen y)0
1
1
1
=p
=p
:
cos y
1 x2
1 sen2 y

(arcsen x)0 =

(x) =

f 0 (y)

Ento a funo y = arcsen x diferencivel em todo o seu domnio e


(arcsen x)0 = p

1
x2

Da relao y = arccos x , x = cos y tem-se


(arccos x)0 =
=

(x) =

1
=
sen y

pelo que

1
1
=
f 0 (y)
(cos y)0
1
1
p
= p
;
2
1 x2
1 cos y

(arccos x)0 =

:
1 x2
A partir da relao y = arctg x , x = tg y obem-se
(arctg x)0 =

1
1
1
=
:
0 =
2
1
+
tg
y
1
+
x2
(tg y)

As frmulas anteriores permanecem vlidas se se substituir x por uma


funo u(x); diferencivel nos respectivos domnios e se aplicar o teorema
da derivada da funo composta. Assim
(arcsen u)0 =
(arctg u)0 =

u0

1 u2
u0
:
1 + u2

4.11. DERIVADAS DAS FUNES EXPONENCIAL E LOGARTMICA91

4.11

Derivadas das funes exponencial e logartmica

A funo exponencial derivvel em R e


(ex )0 = ex
pois, considerando f (x) = ex tem-se
eh 1
ea+h ea
= ea lim
= ea :
h!o
h!o
h
h

f 0 (a) = lim

Sendo u : D R ! R uma funo diferencivel, a funo composta eu(x)


ainda diferencivel em R e
0

eu(x)

= u0 (x) eu(x) ; 8x 2 D:

A funo x 7 ! ax ; com a > 0; diferencivel em R e


(ax )0 = ax log a;
x

pois ax = elog a = ex log a e aplicando a regra anterior obtem-se


(ax )0 =

ex log a

= ex log a (x log a)0

= ax log a:
Analogamente para u(x) uma funo diferencivel,
au(x)

= au(x) log a u0 (x):

A funo f (x) = log x diferencivel em R+ e, para a > 0; tem-se


log a+h
log (a + h) log a
a
= lim
h!o
h!o
h
h
log 1 + ha
log 1 + ha
1
1
= lim
= lim
= :
h
h!o
h
a h!o
a
a

f 0 (a) =

lim

Ento
(log x)0 =

1
x

92

CAPTULO 4. CLCULO DIFERENCIAL EM R

e, para u : D R ! R uma funo diferencivel tal que u(x) > 0; 8x 2 D;


a funo composta log (u(x)) diferencivel e
(log (u(x)))0 =

u0 (x)
; 8x 2 D:
u(x)

A funo f (x) = loga x , com a 2 R+ nf1g; diferencivel em R+ e


notando que
loga x = log x loga e
obtem-se
(loga x)0 =

1
1
loga e =
;
x
x log a

pois
1 = loge e = loga e loge a = loga e log a;
pelo que
loga e =

1
:
log a

Sendo u(x) uma funo diferencivel com u(x) > 0; 8x 2 D; ento a


derivada de y = loga (u(x))
(loga (u(x)))0 =

u0 (x)
:
u(x) log a

Exerccio 4.11.1 Calcular as derivadas de


a) y = log5 (arctg x)
p

b) y = e

4.12

3x

+ 5cos x :

Teoremas fundamentais do clculo diferencial

A possibilidade de aproximar localmente as funes diferenciveis por funes


"muito simples"(geometricamente corresponde a aproximar curvas por rectas tangentes no ponto de contacto), permite simplicar o estudo de funes
reais de varivel real e constitui o interesse fundamental do conceito de
derivada.
Outra utilidade baseia-se na busca de mximos e mnimos de funes
diferenciveis.
Denio 4.12.1 Seja f : D

R ! R e a 2 D:

4.12. TEOREMAS FUNDAMENTAIS DO CLCULO DIFERENCIAL93


(i) Diz-se que f tem um mximo local (ou relativo) em a (ou que f (a)
um um mximo local ou relativo de f ) se e s se existir " > 0 tal que
f (x) f (a); 8x 2 V" (a) \ D:
(ii) Analogamente, f tem um mnimo local (ou relativo) em a (ou que f (a)
um um mnimo local ou relativo de f ) se e s se existir " > 0 tal que
f (a) f (x); 8x 2 V" (a) \ D:
(iii) Se as desigualdades anteriores forem estritas, isto , f (x) < f (a)
(ou f (a) < f (x)) ; 8x 2 V" (a) \ (Dnfag) ento diz-se que f (a) um
um mximo local (mnimo local) estrito.
(iv) Se se falar, indistintamente, de mximos ou mnimos diz-se extremo
local (ou relativo).
(v) Se se vericar f (x) f (a); 8x 2 D, ento diz-se que f (a) um mximo
absoluto de f em D:
Analogamente, se f (a) f (x); 8x 2 D, f (a) um mnimo absoluto
de f em D:
Um resultado importante para a pesquisa de extremos locais de uma
funo o seguinte:
Proposio 4.12.2 Seja D um intervalo de R com mais do que um ponto
e f : D R ! R diferencivel no ponto interior a 2 D:
Se f tem um extremo local em a ento f 0 (a) = 0; isto , a um ponto crtico
de f:
Dem. Suponhamos que f tem um mximo local em a: Ento
9" > 0 : f (x)

f (a) em ]a

"; a + "[ ;

pelo facto de a ser um ponto interior a D:


Para x 2 ]a "; a[ ; f (x) f (a) e x < a: Como f diferencivel em a
ento existe e nito
f 0 (a ) = lim
x!a

f (x)
x

Analogamente para x 2 ]a; a + "[ ; f (x)


f 0 (a+ ) = lim

x!a+

f (x)
x

f (a)
a

0:

f (a); x > a e
f (a)
a

0:

94

CAPTULO 4. CLCULO DIFERENCIAL EM R

Como f diferencivel em x = a ento


0

f 0 (a ) = f 0 (a) = f 0 (a+ )

0;

pelo que f 0 (a) = 0:


Se supusermos que f (a) um mnimo local, a demonstrao semelhante.
Observao 4.12.3 O recproco desta proposio no verdadeira, isto ,
existem funes com derivada nula num ponto que, contudo, no extremo
local.
A funo f : R ! R dada por f (x) = x3 estritamente crescente no tendo
portanto nenhum extremo local. Todavia f 0 (0) = 0:
Teorema 4.12.4 (Teorema de Rolle) Seja f : [a; b] ! R uma funo contnua no intervalo [a; b] e com derivada (nita ou innita) em todos os pontos
de ]a; b[:
Se f (a) = f (b) ento existe c 2]a; b[ tal que f 0 (c) = 0:
Dem. Como f contnua no conjunto limitado e fechado [a; b]; pelo
Teorema 3.8.5 f tem mximo e mnimo (absolutos) relativos em [a; b]:
Se o mximo e o mnimo so atingidos nas extremidades, como f (a) =
f (b) ento f (x) k e, portanto, f 0 (c) = 0; 8c 2]a; b[:
Caso contrrio o mximo atingido num ponto interior c 2]a; b[ e, pela
Proposio 4.12.2, f 0 (c) = 0:
Corolrio 4.12.5 Se f : [a; b] ! R uma funo contnua em [a; b] e tem
derivada (nita ou innita) em todos os pontos de ]a; b[ ento entre dois
zeros consecutivos de f 0 no pode haver mais que um zero de f:
Dem. Sejam x1 e x2 dois zeros consecutivos de f 0 :
Suponha-se, com visto obteno de um absurdo, que existem e tais
que x1 < < < x2 e f ( ) = f ( ) = 0: Ento, pelo Teorema 4.12.4, existe
d 2 ] ; [ tal que f 0 (d) = 0: Isto absurdo porque assim x1 e x2 no podem
ser dois zeros consecutivos de f 0 (x):
Portanto entre dois zeros consecutivos de f 0 no pode haver mais que
um zero de f (x) (note-se que pode at no haver nenhum).
Corolrio 4.12.6 Seja f uma funo que satisfaz as condies do Teorema
de Rolle.
Ento entre dois zeros de f h pelo menos um zero de f 0 :

4.12. TEOREMAS FUNDAMENTAIS DO CLCULO DIFERENCIAL95


Dem. Sejam x1 e x2 dois zeros consecutivos de f; isto , f (x1 ) =
f (x2 ) = 0: Ento pelo Teorema 4.12.4, existe c 2]x1 ; x2 [ tal que f 0 (c) = 0:
Exerccio 4.12.7 Considere a funo f : [ 2 ; 2 ] ! R dada por f (x) =
sen2 x 3
x:
5
7
Prove que f (x) admite um nico zero no intervalo
12 ; 12 :
Teorema 4.12.8 (Teorema do valor mdio de Lagrange ou Teorema dos
acrscimos nitos) Seja f : [a; b] ! R uma funo contnua em [a; b]
e com derivada (nita ou innita) em ]a; b[: Ento existe pelo menos um
ponto c 2]a; b[ tal que
f (b) f (a)
f 0 (c) =
:
b a
Dem. Considere-se uma funo auxiliar
h(x) = f (x)

f (b)
b

f (a)
x:
a

Esta nova funo verica as hipteses do Teorema 4.12.4 em [a; b]; pois:
h(x) contnua em [a; b]
h0 (x) = f 0 (x)
h(a) = f (a)

f (b) f (a)
b a
f (b) f (a)
a
b a

tem derivada em ]a; b[; pois f tambm tem.


=

(b a)f (a) [f (b) f (a)]a


b a

bf (a) af (b)
b a

= h(b):

Ento
9c 2]a; b[: h0 (c) = 0:
Isto ,
h0 (c) = f 0 (c)

f (b)
b

f (a)
f (b)
= 0 () f 0 (c) =
a
b

f (a)
:
a

Interpretao geomtrica:
A existncia de c 2]a; b[ tal que f 0 (c) = f (b)b af (a) signica que existe um
ponto c 2]a; b[ no qual a tangente ao grco de f (x) tem um declive igual
ao declive da recta secante denida pelos pontos (a; f (a)) e (b; f (b)) :
Interpretao fsica:
Se f vericar as condies do Teorema de Lagrange, se a e b forem
instantes distintos no tempo e f (t) for a posio em cada instante t de

96

CAPTULO 4. CLCULO DIFERENCIAL EM R

um ponto que se move no eixo real, ento existe um instante c onde a


velocidade instantnea f 0 (c) igual velocidade mdia f (b)b fa (a) entre os
referidos instantes. (Da o nome de teorema do valor mdio aplicado ao
Teorema de Lagrange)
Uma importante extenso do Teorema de Lagrange constitui o resultado
seguinte:
Teorema 4.12.9 (Teorema de Cauchy).Se f e g so duas funes contnuas
em [a; b]; diferenciveis em ]a; b[ e se para x 2]a; b[, g 0 (x) 6= 0 ento existe
um ponto c 2]a; b[ tal que
f (b)
g(b)

f (a)
f 0 (c)
= 0 :
g(a)
g (c)

Dem. Considere-se a funo


F (x) = f (x)

f (a)

f (b)
g(b)

f (a)
(g(x)
g(a)

g(a)) :

A funo F (x) contnua em [a; b]; porque f e g tambm o so, e diferencivel em ]a; b[;
f (b) f (a) 0
F 0 (x) = f 0 (x)
g (x):
g(b) g(a)
Por outro lado, como
F (a) = 0 e F (b) = 0;
o Teorema de Rolle garante a existncia de c 2]a; b[ tal que F 0 (c) = 0, ou
seja
f (b) f (a) 0
f 0 (c)
g (c) = 0:
g(b) g(a)
Como g 0 (c) 6= 0 tem-se

f (b)
g(b)

f (a)
f 0 (c)
= 0 :
g(a)
g (c)

Uma das aplicaes mais importantes deste teorema a utilizao de


uma regra para levantar indeterminaes.
Teorema 4.12.10 (Regra de Cauchy) Sejam f e g duas funes diferenciveis em ]a; b[ tais que:
a) g 0 (x) 6= 0 para cada x 2]a; b[;

4.12. TEOREMAS FUNDAMENTAIS DO CLCULO DIFERENCIAL97


b) lim f (x) = lim g(x) = 0 ou ento lim f (x) = lim g(x) =
x!a

x!a

x!a

x!a

1;

(x)
c) existe lim fg0 (x)
em R;
x!a

Ento

f 0 (x)
f (x)
= lim
:
x!a g 0 (x)
x!a g(x)
lim

Dem. Se

f 0 (x)
= l (nito)
x!a g 0 (x)
lim

ento existe

2]a; b[ tal que para x 2]a; [ e para


l

<

> 0 arbitrrio se tem

f 0 (x)
<l+ :
g 0 (x)

Sejam x e y dois pontos distintos de ]a; [. Ento pelo Teorema de Cauchy


existe situado entre eles tal que
f 0( )
f (y)
= 0 :
g(y)
g( )

f (x)
g(x)

Portanto para quaisquer pontos nestas condies obtem-se


l

<

f (x)
g(x)

f (y)
<l+ :
g(y)

(4.12.1)

No caso de lim f (x) = lim g(x) = 0 , xemos arbitrariamente x 2]a; [ e


x!a
x!a
fazendo y ! a conclui-se que as desigualdades
l

<

f (x)
<l+
g(x)

tm que ser vericadas para 8x 2]a; [; o que prova que


f (x)
= l:
x!a g(x)
lim

No caso em que lim f (x) = lim g(x) = +1; xa-se y 2]a; [ e determinax!a

se

x!a

tal que, para x 2]a; [ se tenha

g(x) > 0 e g(x) > g( ):

98

CAPTULO 4. CLCULO DIFERENCIAL EM R

Das desigualdades (4.12.1) resulta que, para x 2]a; [, se tem


f (y)
+ 1
g(x)

g(y)
g(x)

(l

)<

f (x)
f (y)
<
+ 1
g(x)
g(x)

Quando x ! a o primeiro membro tende para l


para l + ; pelo que
f (x)
lim
= l:
x!a g(x)
Se lim f (x) = lim g(x) =
x!a

x!a

g(y)
g(x)

(l + ) :

e o segundo membro

1 o processo anlogo.

Se l = 1 ento obrigatoriamente existe um intervalo ]a; d[ (d > a)


onde f 0 (x) 6= 0;pois caso contrrio, como g 0 (x) 6= 0 em ]a; b[, isso seria
incompatvel com o facto de
f 0 (x)
=
x!a g 0 (x)
lim

1:

Assim trocando no enunciado do Teorema f por g e g por f ca-se com o


caso de l = 0; que j foi considerado na primeira parte da demonstrao.

4.13

Derivadas de ordem superior

Seja f : D
R ! R uma funo diferencivel em a 2 D: No caso de f 0
ser por sua vez tambm diferencivel num ponto a interior do seu domnio
D0 ; ento diz-se que f duas vezes diferencivel em a, e representa-se por
f 00 (a):
Em geral, a derivada de ordem n da funo f; representa-se por f (n) ou
dn f
dxn :
A funo f diz-se n vezes diferencivel no ponto a do respectivo domnio
(n)
D se existir e for nita a derivada f (n) (a):
A funo f indenidamente diferencivel no ponto a se for n vezes
diferencivel em a para qualquer n 2 N:
Exemplo: A funo f (x) = ex indenidamente diferencivel em R;
tendo-se para cada n 2 N;
dn x
(e ) = ex :
dxn
A derivada de 1a ordem, como j foi referido anteriormente, pode ser
entendida como o "contacto"da funo com a recta tangente ao grco nesse
ponto.

4.13. DERIVADAS DE ORDEM SUPERIOR

99

Para as derivadas de ordem n de f podem-se admitir "contactos"de


ordem n; o que permite aproximar uma funo diferencivel qualquer por
um polinmio cujos termos sero constituidos pelos vrios "contactos".
Denio 4.13.1 Seja f : D
R ! R uma funo n vezes diferencivel
em a 2 D: Chama-se polinmio de Taylor de ordem n de f no ponto , a
pn (x) = f (a) + f 0 (a) (x

a) +

f (n) (a)
(x
n!

a)n =

n
X
f (k) (a)
k=1

k!

(x

a)k :

Se a = 0 o polinmio de Taylor designado por polinmio de MacLaurin


e assume uma forma mais simplicada
n

pn (x) = f (0) + f 0 (0)x +

f (n) (0) n X f (k) (0) k


x =
x :
n!
k!
k=1

Teorema 4.13.2 Se f : D
R ! R uma funo n vezes diferencivel
em a 2 D ento para qualquer x 2 D vlida a frmula de Taylor
f (x) = f (a) + f 0 (a) (x

a) +

f (n) (a)
(x
n!

a)n + Rn (x)

vericando o resto Rn (x) a condio


lim Rn (x) = 0:

x!a

No caso particular de a = 0; a frmula de Taylor tambm chamada frmula


de Mac-Laurin:
f (x) = f (0) + f 0 (0) x +

f (n) (0) n
x + Rn (x):
n!

O interesse da frmula de Taylor ser acrescido se for possvel explicitar


o termo complementar Rn (x) possibilitando uma estimao do seu valor,
isto , uma aproximao do erro cometido quando se substitui a funo pelo
correspondente polinmio de Taylor.
Teorema 4.13.3 (Frmula do resto de Lagrange) Seja f uma funo (n + 1)
vezes diferencivel num intervalo aberto I e a 2 I. Ento para cada x 2
Infag existe tal que a < < x; tem que o termo complementar (resto) da
sua frmula de Taylor de ordem n no mesmo ponto, Rn (x); dado por
Rn (x) =

f (n+1) ( )
(x
(n + 1)!

a)n+1 :

100

CAPTULO 4. CLCULO DIFERENCIAL EM R

Exerccio 4.13.4 Para a funo f (x) = sen x determine o polinmio de


Mac-Laurin de ordem 6 associado e indique uma majorao para o erro
cometido.

4.14

Aplicaes da frmula de Taylor determinao de extremos, convexidade e inexes

Anteriormente viu-se que, para uma funo f; diferencivel num ponto a;


tenha um extremo local neste ponto, necessrio, embora no suciente,
que f 0 (a) = 0:
Chamam-se pontos crticos ou estacionrios de uma funo f aos zeros
da sua funo derivada. Para decidir se um ponto crtico ou no um ponto
de mximo ou de mnimo, pode recorrer-se ao sinal da 1a derivada.
Nos casos em que no seja possvel estudar o sinal de f 0 (x)em pontos
prximos de a o recurso frmula de Taylor d um mtodo alternativo,
que pode sertil se forem conhecidos os valores assumidos no ponto a por
algumas das derivadas de ordem superior primeira.
Exemplo: Se f duas vezes diferencivel em a , f 0 (a) = 0 e f 00 (a) 6= 0
ento a frmula de Taylor com resto de Lagrange ser
f (x) = f (a) + f 00 (a)
com lim R2 (x) = 0: Ento existe
x!a

a)2

(x
2

+ R2 (x)

> 0 tal que para x 2 V (a) se tem que


2

jR2 (x)j < jf 00 (a)j. Assim o sinal da soma f 00 (a) (x 2a) + R2 (x); em V (a);
ser o sinal do primeiro termo.
Se f 00 (a) > 0 tem-se
f (x)

f (a) = f 00 (a)

a)2

(x
2

+ R2 (x)

0;

isto , f (x) > f (a) para x 2 V (a): Se for f 00 (a) < 0 tem-se f (x) < f (a) para
x 2 V (a) No primeiro caso tem-se um mnimo local estrito e no segundo
caso um mximo local tambm estrito.
Se f 00 (a) = 0 o processo no era aplicvel e ter-se-ia que realizar o mesmo
processo para a primeira ordem da derivada que no se anulasse em a: Assim:
Teorema 4.14.1 Seja f uma funo n vezes diferencivel em a, com n
2; e suponha-se f (n) (x) a primeira derivada que no se anula em a Ento:
1. se n mpar, f no tem qualquer extremo no ponto a;

4.14. APLICAES DA FRMULA DE TAYLOR DETERMINAO DE EXTREMOS, CONVEXIDAD


2. se n par, f (a) um mximo ou um mnimo local (estrito) de f;
conforme f (n) (a) < 0 ou f (n) (a) > 0:
Dem. Como f uma funo n vezes diferencivel em a ento, numa
vizinhana de a; V (a); pode ser representada pela frmula de Taylor com
resto de Lagrange
f (x) = f (a) + f 0 (a) (x

a) +

f (n) (a)
(x
n!

a)n +

f (n+1) ( )
(x
(n + 1)!

a)n+1 ;

para x 2 V (a):
Como f (n) (x) a primeira derivada que no se anula em a ento
f (x)

f (a) =
=

f (n+1) ( )
f (n) (a)
(x a)n +
(x a)n+1
n!
(n + 1)!
"
#
n
(n+1) ( )
(x a)
f
f (n) (a) +
(x a) :
n!
n+1

Como (x a) pode ser arbitrariamente pequeno ento o sinal dominante do


ltimo factor ser o sinal de f (n) (a):
Se n mpar, o primeiro membro f (x) f (a) toma sinais contrrios
quando x toma valores esquerrda ou direita de a; mas sucientemente
prximos. Logo f (a) no um extremo.
Se n par, o sinal de f (x) f (a) o mesmo que o sinal de f (n) (a):
Assim se f (n) (a) < 0 ento f (x) < f (a) para x 2 V (a); pelo que f (a)
um mximo. Se f (n) (a) < 0 ento f (a) um mnimo local
Exemplo 4.14.2 A funo f (x) = 3x4 4x3 +2 tem unicamente dois pontos
estacionrios: 0 e 1 Como f 00 (1) = 12 > 0 ento f (1) = 1 um mnimo de
f . No ponto 0; f 00 (0) = 0; f 000 (0) = 24 pelo que f (0) no um ponto de
extremo.
Outra aplicao da frmula de Taylor est relacionada com a noo de
convexidade, isto , com a posio do grco da funo f; diferencivel em
a;:em relao respectiva tangente no ponto (a; f (a)) :
Se existe > 0 tal que em V (a) o grco de f est acima do da funo
g(x) = f (a) + f 0 (a) (x a) diz-se que a funo f convexa em a ou que tem
a concavidade voltada para cima nesse ponto.
Se o grco de g est acima do de f diz-se que a funo f cncava em
a ou que tem a concavidade voltada para baixo nesse ponto.

102

CAPTULO 4. CLCULO DIFERENCIAL EM R

Pode acontecer que exista um intervalo esquerda de a e outro direita


de a em que o grco de f esteja acima do de g num deles e abaixo noutro.
Neste caso diz-se que a um ponto de inexo de f:
Teorema 4.14.3 Seja f uma funo n vezes diferencivel em a, (n 2);
e suponha-se que so nulas em a todas as derivadas de f de ordem superior
primeira e inferior a n; isto ,
f 00 (a) = ::: = f (n

1)

(a) = 0; f (n) (a) 6= 0:

Ento:
1. se n mpar, a um ponto de inexo de f ;
2. se n par, f convexa ou cncava no ponto a conforme f (n) (a) > 0
ou f (n) (a) < 0; respectivamente:
Dem. A demostrao semelhante do Teorema 4.14.1, considerando
a gora a Frmula de Taylor de ordem n com resto de Lagrange na forma
f (x) = f (a) + f 0 (a) (x

a) +

f (n) (a)
(x
n!

e ento
f (x)

f (a)

f 0 (a) (x

a) =

(x

a)n +

f (n+1) ( )
(x
(n + 1)!

"
a)n
f (n+1) ( )
(x
f (n) (a) +
n!
n+1

a)n+1 ;
#

a) :

p
2
p
Exemplo 4.14.4 Para f (x) = 3 x tem-se para x 6= 0; f 00 (x) =
:O
3
9 x5
grco tem a concavidade voltada para baixo se x > 0 e para cima se x < 0:
O ponto 0 um ponto de continuidade de f e f 0 (0) = +1; pelo que se trata
de um ponto de inexo.

4.15

Sries de funes

O conceito de soma innita de nmeros reais, que se estudou no catulo das


sries numricas, pode agora ser generalizado soma innita de funes.
Este aspecto coloca novos desaos, por exemplo permite que a "mesma
srie funo"possa ser simultaneamente convergente ou divergente, dependendendo da concretizao da varivel.
Comecemos por denir o que se considera por srie de funes:

4.16. SRIES DE POTNCIAS

103

Denio 4.15.1 Chama-se srie de funes a uma expreso do tipo


+1
X

fn (x)

n=1

isto , f1 (x)+f2 (x)+:::+fn (x)+:::; em que f1 ; f2 ; :::; fn ; :::funes denidas


num certo domnio D R:
A srie convergente nim ponto x0 2 D se for convergente a srie
numrica
f1 (x0 ) + f2 (x0 ) + ::: + fn (x0 ) + :::
Neste caso

+1
X

fn (x) = f (x);

n=1

designando-se f (x) por funo soma.


O domnio da funo soma o conjunto onde a srie converge.
Denio 4.15.2 O conjunto de valores de x para os quais a srie de
funes convergente chama-se intervalo de convergncia.
Exerccio 4.15.3 Estudar a convergncia das sries:
Exemplo 4.15.4 a)

+1
X

xn

n=0

b)

+1
X
sen(nx)
n2

n=1

4.16

Sries de potncias

Um caso particular de sries de funes so as sries de potncias de x;


a0 + a1 x + a2 x2 +

+ an xn +

+1
X

an xn :

n=0

Para determinar os pontos onde esta srie convergente pode comear-se


por determinar o raio r de convergncia (absoluta)
r = lim

an
an+1

104

CAPTULO 4. CLCULO DIFERENCIAL EM R

e depois determinar o intervalo de convergncia, isto o conjunto x 2] r; r[:


Em alternativa, pode aplicar-se directamente o critrio de DAlembert
lim

jan+1 j xn+1
an+1
:
= jxj lim
n
jan j jx j
an

por este processo a srie convergente para os vlores que veriquem a inequao
an+1
jxj lim
< 1:
an
Nos pontos x = r ou x = r , substitui-se x por r e estuda-se a srie
directamente utilizando os critrios das sries numricas.
No intervalo de convergncia uma srie de potncias de x dene uma
funo contnua.
Exerccio 4.16.1 Estudar quanto convergncia a srie
+1
X

( 1)n

n=1

Sries de potncias de (x
a0 + a1 (x

a) + a2 (x

xn
:
n(n + 1)

a) so sries do tipo

a)2 +

+ an (x

a)n +

+1
X

an (x

a)n :

n=0

Sendo r o raio de convergncia da srie, nestes casos o intervalo de convergncia ser ]a r; a + r[ :

4.17

Srie de Taylor para funes reais de varivel


real

Denio 4.17.1 Se a funo real de varivel real f for indenidamente


diferencivel no ponto a obtem-se a frmula
f (x) = f (a) + f 0 (a) (x
=

+1
X
(x

n=0

a) + f 00 (a)

a) (n)
f (a)
n!

que se designa por srie de Taylor.

a)2

(x
2

+ f (n) (a)

(x

a)n
+
n!

4.17. SRIE DE TAYLOR PARA FUNES REAIS DE VARIVEL REAL105


Se a srie de Taylor representar f (x) numa vizinhana de a diz-se que
f (x) analtica em a.
No caso de a = 0; a srie de Taylor designa-se por srie de Mac-Laurin:
f (x) =

+1 n
X
x

n=0

n!

f (n) (0):

Exerccio 4.17.2 Determine a srie de Mac-Laurin das funes:


a) f (x) = ex
b) g(x) = sen x
Exerccio 4.17.3 Desenvolva em srie de potncias de x a funo
f (x) =

(1

3
:
x) (1 + 2x)

106

CAPTULO 4. CLCULO DIFERENCIAL EM R

Captulo 5

Clculo Integral em R
5.1

Primitivas

Denio 5.1.1 F (x) uma primitiva de f (x); num certo intervalo I; se


F 0 (x) = f (x); 8x 2 I:
Isto P f (x) = F (x) =) F 0 (x) = f (x); 8x 2 I:
Resulta imediatamente desta denio que a operao de primitivao
a operao inversa da derivao.
Como [F (x) + c]0 = F 0 (x) para qualquer valor de c 2 R; ento existe
uma innidade de primitivas de uma certa funo.
Assim designa-se por expresso geral das primitivas de f (x) a
P f (x) = F (x) + c;

c 2 R:

Proposio 5.1.2 Duas primitivas de uma mesma funo, num certo intervalo I; diferem sempre de uma constante.
Dem. Sejam F (x) e G(x) duas primitivas de uma mesma funo f (x):
Ento F 0 (x) = f (x); G0 (x) = f (x) e
[F (x)

G(x)]0 = F 0 (x)

G0 (x) = f (x)

f (x) = 0:

A hiptese de se considerar um intervalo I fundamental, porque a


funo pode no ser primitivvel para todo o conjunto R:
Veja-se, por exemplo, a funo denida em R;
f (x) =

1 se x 0
:
1 se x < 0
107

108

CAPTULO 5. CLCULO INTEGRAL EM R


Suponhamos que existe uma primitiva def (x); F (x); em R:
Ento, pelo Teorema de Lagrange, existe c 2]x; 0[ tal que
F (x)

F (0)

= F 0 (c) = f (c) =

1; porque c < 0:

Pela denio de derivada lateral


F 0 (0 ) = lim

F (x)

F (0)
x

x!0

= lim F 0 (c) =
x!0

1:

Contudo no possvel ter uma situao de


F 0 (0) = F 0 (0 ) = F 0 (0+ ) =

1 = f (0)

porque f (0) = 1:
Ento f (x) no primitivvel em R; embora o seja em ]0; +1[ ou ]
1; 0[.

5.2

Primitivas imediatas e quase imediatas

Estas primitivas obtm-se utilizando apenas as regras de derivao, eventualmente com operaes preliminares.
Seja f (x) uma funo primitvel num certo intervalo I R:

5.2.1

Primitiva de uma constante

Como (kx)0 = k; k 2 R; ento


P k = kx + c;

k; c 2 R:

Generalizando, como (kP f (x))0 = k (P f (x))0 = kf (x); k 2 R; ento


P (k f (x)) = k (P f (x)) :

5.2.2

Primitiva de uma potncia de expoente real

Para m 2 Rnf 1g; tem-se

f m+1
m+1

P f m (x) f 0 (x) =
Exerccio 5.2.1 Calcular:

= f m f 0 ; pelo que

f m+1 (x)
+ c; c 2 R; m 6=
m+1

1:

5.2. PRIMITIVAS IMEDIATAS E QUASE IMEDIATAS


p
1. P 2x + 1
2. P logx x
4
3. P (1+5x)
3

No caso de m =

1 tem-se que
P

f0
f

= (log f )0 ; e assim

f 0 (x)
= (log f (x)) + c; c 2 R:
f (x)

Exerccio 5.2.2 Calcular:


3

1. P x4x+a2 ; a 2 R:
2. P tg x:
Se se substituir x por uma funo f (x) diferencivel, tem-se
P tg (f (x)) f 0 (x) =

5.2.3

log jcos (f (x))j + c; c 2 R:

Primitiva de funes exponenciais


0

Como ef

= ef f 0 ento
P ef (x) f 0 (x) = ef (x) + c; c 2 R:

Por outro lado,


P af (x) f 0 (x)

= P ef (x)
=

Exerccio 5.2.3 Calcular:


1. P xe

x2

arcsen x

2. P 3p1

x2

:
:

log a

f 0 (x) =

af (x)
+ c; c 2 R:
log a

ef (x) log a
log a

109

110

CAPTULO 5. CLCULO INTEGRAL EM R

5.2.4

Primitiva de funes trigonomtricas

Como ( cos (f ))0 = f 0 sen (f ) tem-se


P f 0 (x) sen (f (x)) =

cos (f (x)) + c; c 2 R;

e, analogamente,
P f 0 (x) cos (f (x)) = sen (f (x)) + c; c 2 R:
Pelo mesmo processo (tg (f ))0 = f 0 sec2 (f ) e
P f 0 (x) sec2 (f (x)) = tg (f (x)) + c; c 2 R:
Partindo novamente das derivadas (arcsen (f ))0 = p f

1 f2

Pp

f 0 (x)
1

f 2 (x)

; pelo que

= arcsen (f (x)) + c; c 2 R;

f 0 (x)
= arctg (f (x)) + c; c 2 R;
1 + f 2 (x)

Exerccio 5.2.4 Calcular:


1. P (sen (2x)) :
2. P sec2 (3x) :
3. P p1x

x6

4. P p41 x2 :
x
5. P 1+x
6

5.3

Mtodos de primitivao

Se uma funo no pode ser primitivada s por aplicao das regras de


derivao (primitivas imediatas) ou aps alguns artifcios (primitivas quase
imediatas) recorre-se a um ou mais mtodos de primitivao.

5.3. MTODOS DE PRIMITIVAO

5.3.1

111

Primitivao por decomposio

Baseia-se na linearidade da primitiva:


Teorema 5.3.1 Sejam fi funes primitivveis num domnio I
1; :::; n; e i 2 R: Ento
P(

1 f1

2 f2

n fn )

P f1 +

P f2 +

R; i =
P fn :

Alguns casos particulares merecem ateno:


n

Para n 2 N; P (sen x)2n+1 = P sen2 x sen x = P 1 cos2 x


sen x:
n
Desenvolvendo 1 cos2 x obtm-se potncias de cos x multiplicadas
por sen x e a cada uma delas pode aplicar-se a relao
P cosk x sen x =

cosk+1 x
; k = 0; 2; :::; 2n:
k+1

Para n 2 N; n
2; P tg n (x) = P tg n 2 (x) tg 2 (x) = P tg n
2
n
sec x 1 = P tg 2 (x) sec2 x 1 = P tg n 2 (x) sec2 x P tg n
Desta forma obtem-se a frmula por recorrncia
P tg n (x) =

tg n
n

1 (x)

P tg n

2 (x)
2 (x) :

(x) :

Para fraces racionais com aplicao do mtodo dos coecientes indeterminados pode decompor-se a fraco inicial em fraces "mais
simples":
Exemplo:
2x5
x
P 2
= 2P x3 x + 2
:
x +1
x +1

5.3.2

Primitivao por partes

Este mtodo baseia-se na frmula para a derivada do produto de funes


(uv)0 = u0 v + uv 0 , u0 v = (uv)0

uv 0

pelo que:
Teorema 5.3.2 Sejam u e v duas funes reais denidas e diferenciveis
num intervalo I R: Se o produto u0 v for primitivvel ento
P u0 (x)v(x) = u(x)v(x)

P u(x)v 0 (x) :

112

CAPTULO 5. CLCULO INTEGRAL EM R

Como indicao geral, ser conveniente escolher o factor correspondente


funo v aquele que se simplicar mais por derivao. Contudo h algumas
excepes, como se verica no prximo exerccio:
Exerccio 5.3.3 Calcular:
1. P x2 sen (x) :
2. P x arctg (x) :
3. P x3 log x:
4. P log x:
5. P cos x ex

5.3.3

Primitivao por substituio

O mtodo de substituio baseia-se na regra de derivao das funes compostas.


Teorema 5.3.4 Sejam f : I ! R uma funo primitivvel, J
I ! J uma aplicao bijectiva e diferencivel em I. Ento (f
primitivvel e, designando por (t) uma sua primitiva ; isto
P [(f ') (t)'0 (t)] ; obtem-se que
' 1 (x) uma primitiva de
Em resumo
') (t) '0 (t) ; sendo t = '

P f (x) = P (f

Df e ' :
') (t)'0 (t)
, (t) =
f (x).

(x):

Dem. Aplicando a derivada da funo composta e a derivada da funo


inversa tem-se
'

(x)

'

' 1 (x) =
1
= f ('(t)) '0 (t) 0
= f (x)
' (t)
=

(x)

Exerccio 5.3.5 Calcule em I =]0; +1[;


P

1
ex

utilizando a substituio x = '(t) = log t:

5.3. MTODOS DE PRIMITIVAO

5.3.4

113

Primitivao de funes racionais

Denio 5.3.6 i) Funo racional uma funo do tipo p(x)


q(x) ; onde p(x)
e q(x) so polinmios em x; no sendo q(x) identicamente nulo.
ii) Uma fraco racional diz-se prpria se o grau de p(x) menor que o
grau de q(x)
Para efeitos de primitivao basta considerar fraces prprias, pois caso
a fraco seja imprpria, por uma diviso inteira sempre possvel decompla na soma de uma parte inteira com uma fraco prpria. Isto , se gr
p(x) gr q(x) ento existem polinmios a(x) e r(x) tais que
p(x)
r(x)
= a(x) +
:
q(x)
q(x)
Condideremos ento vrios casos na primitivao de fraces racionais que
esto directamente relacionados com o nmero de zeros do denominador e
com a sua natureza, ilustrados com exemplos:
1o caso: As razes de q(x) so reais de multiplicidade 1:
A fraco racional decompe-se em "fraces mais simples"e calcula-se
a sua primitiva por decomposio.
2

4x
Exemplo 5.3.7 P 4xx3+x+1
= P x(x
x

log jx

1j + log (x + 1) + c = log

2 +x+1

3
2
1
1)(x+1) = P x +P x 1 +P x+1
3
2
(x 1) (x+1)
+ c; c 2 R:
x

= log

1
x

2o caso: As razes de q(x) so reais e algumas com multiplicidade superior


a 1:
O processo anlogo ao anterior.
3

+1
Exemplo 5.3.8 P x22x
=P
(x+1)3

3 log jxj

1
x

+ 3 log jx + 1j

3
x

4
x+1

3
4
+ P x12 + P x+1
+ P (x+1)
2

1
1
2 (x+1)2

+ c;

1
P (x+1)
3 =

c 2 R:

3o caso: Algumas razes de q(x) so complexas de multiplicidade 1:


Na decomposio as fraces cujo denominador tm razes complexas
possuem uma funo am como numerador.
Exemplo 5.3.9 P xx+2
3 1 = P (x
1
2

log x2 + x + 1

4 3
3 arctg

x+2
1)(x2 +x+1)
2x+1
p
+ c;
3

= P x 1 1 P x2x+1
= log jx
+x+1

1j

c 2 R:

4o caso: Algumas razes de q(x) so complexas com multiplicidade superior a 1:

114

CAPTULO 5. CLCULO INTEGRAL EM R


2

+2x+6
Exemplo 5.3.10 P (x x 1)(x
= P x1 1
2 +2)2
1
2

log x2 + 2

2
2 arctg

px
2

1
x2 +2

P xx+1
2 +2

+ c;

P (x22x
= log jx
+2)2

1j

c 2 R:

Nalguns casos possvel e recomendvel combinar os mtodos de substituio com o das fraces racionais. Vejam-se alguns exemplos:
Exemplo 5.3.11 Numa funo racional com argumentos do tipo ex , simbolicamente,
F R(ex );
deve tentar-se a substituio
x = log t ou ex = t:
Assim
P

1 e3x
e2x 4

= P
=

1 t3 1
1 4t
=P
1+ 3
2
t
4
t
t
4t
x
7
9
ex
log jex 2j + log jex + 2j + c; c 2 R:
4 8
8

Exemplo 5.3.12 Numa funo racional do tipo


F R (log x)

1
x

deve tentar-se a substituio


log x = t ou x = et :
Por exemplo:
P

log (2x)
x log3 x

log 2 + log x 1
log 2 + t
=P
3
x
t3
log x
log 2 1
1
+ c; c 2 R:
2 log2 x log x

= P
=

Exemplo 5.3.13 Para uma funo do tipo


F R (sen x)

cos x

recomenda-se a substituio
sen x = t ou x = arcsen t:

5.3. MTODOS DE PRIMITIVAO

115

Analogamente para
F R (cos x)

sen x

aplica-se
cos x = t ou x = arccos t:
Assim
cos3 x sen x
P
cos2 x + 2 cos x + 1

p
t 3 1 t2
= P 2
t + 2t + 1
= P

t+2

1 t2
8
(t + 1)2

cos2 x
8
+ 2 cos x +
+ c; c 2 R:
2
cos x + 1

=
Exemplo 5.3.14 Para

F R (sen x; cos x)
aplica-se a substituio
tg

x
= t ou x = 2 arctg t;
2

e, pelas frmulas trigonomtricas dos ngulos duplos,


tg x2
sen x = 2
1 + tg 2

x
2

1 tg 2
e cos x =
1 + tg 2

x
2
x
2

Como exemplo:
P

cos x
sen x cos x

= P

1 t2
t2 + 2t 1
"

2
1 + t2

#
1 t2
p
p
= 2P
t+1
2 t + 1 + 2 (1 + t2 )
1
x
x
1
=
log tg 2
+ 2tg
1
log sec2 x
2
2
2
2

Exemplo 5.3.15 No caso de


"
ax + b
F R x;
cx + d

p1
q1

; :::;

ax + b
cx + d

pn
qn

a substituio indicada ser


ax + b
= tq ; sendo q = m:m:c: (q1 ; :::; qn ) :
cx + d

x
+ c; c 2 R:
2

116

CAPTULO 5. CLCULO INTEGRAL EM R

Ilustre-se com o exemplo:


p
3
x 1
=P
Pp
x 1 1

5.4

t2
t3

6t5

= 6P

t4 + t +

t
t3

Integral de Riemann

O conceito base no clculo diferencial a noo de derivada. No clculo


integral esse papel desempenhado pela noo de integral.
O mtodo mais intuitivo para abordar este conceito consider-lo como
uma rea.

5.4.1

Somas integrais de uma funo

Seja f uma funo real de varivel real denida em [a; b] :


Considere-se este intervalo decomposto em n intervalos pelos pontos
x0 ; x1 ; x2 ; :::; xn 1 ; xn ; tais que
x0 = a < x1 < x2 < ::: < xn

< xn = b:

Ao conjunto P = fx0 ; x1 ; x2 ; :::; xn 1 ; xn g chama-se uma decomposio


ou partio de [a; b] :
Desta forma [a; b] ca decomposto em subintervalos I1 = [x0 ; x1 ] ; I2 =
[x1 ; x2 ] ; :::; In = [xn 1 ; xn ] ; de dimetros
diam I1 = x1

x0 ; diam I2 = x2

x1 ; diam In = xn

xn

1:

Ao maior destes dimetros chama-se dimetro da decomposio e nota-se


por jP j:
Denio 5.4.1 Chama-se soma integral ou soma de Riemann de uma
funo f relativamente decomposio P de [a; b] e ao conjunto
U = fui : ui 2 ]xi ; xi+1 [ ; i = 1; :::; n

1g ;

designando-se por S (f; P; U ) ou abreviadamente porSP ; a


S (f; P; U ) =

n
X

f (ui ) (xi

xi

1)

i=1

= f (u1 ) (x1

x0 ) + f (u2 ) (x2

x1 ) +

+ f (un ) (xn

xn

1) :

5.4. INTEGRAL DE RIEMANN

117

Denio 5.4.2 Se substituirmos na soma anterior a imagem de um ponto


intermdio pelo supremo (nmo) da funo f (x) em cada um dos subintervalos obtem-se a soma superior de Darboux, S; ou a soma inferior de
Darboux, S:
Exerccio 5.4.3 Para f (x) = x2 denida em [0; 1] decomposto por P =
f0; 0:4; 0:5; 0:7; 1g, calcular:
1. A soma de Riemann SP relativamente a U = f0:1; 0:45; 0:6; 0:8g :
2. As somas superior e inferior de Darboux.
Proposio 5.4.4 Seja f uma funo limitada em [a; b] : As somas superior
e inferior de Darboux, S.e S; so, respectivamente, o supremo e o nmo
das somas de Riemann, no conjunto de todas as parties possveis de [a; b] :
Dem. Para uma mesma partio P de [a; b] tem-se
S < SP < S:

(5.4.1)

Dena-se
Mi :=

sup
x2[xi

f (x) ; i = 1; :::; n;

1 ;xi ]

e escolha-se > 0 de modo a que para os pontos intermdios ui em cada


um dos subintervalos se tenha
f (ui ) > Mi
A soma de Riemann ser
n
X
SP =
f (ui ) (xi
=

i=1
n
X

Mi (xi

xi

; i = 1; :::; n:

1) >

n
X

(Mi

) (xi

xi

1)

i=1

xi

1)

i=1

n
X

(xi

xi

1)

=S

(b

a) :

i=1

Pelo mesmo processo, denindo


mi :=

inf

x2[xi

1 ;xi ]

f (x) ; i = 1; :::; n;

se pode provar que


SP < S +

(b

a) ;

pelo que S.e S; so, respectivamente, o supremo e o nmo das somas de


Riemann.
Note-se que as somas anteriores, de um ponto de vista geomtrico, corresponde a vrios modos de obter a soma da rea de vrios rectngulos com
alturas diferentes mas bases iguais em cada um dos casos.

118

CAPTULO 5. CLCULO INTEGRAL EM R

5.4.2

Denio de integral de Riemann

Denio 5.4.5 Uma funo f (x) diz-se integrvel Riemann em [a; b] se


for nito
Z b
f (x)dx;
lim SP (x) = S =
jP j!0

em que SP (x) designa a soma de Riemann de f relativamente decomposio P , jP j o dimetro da decomposio, f (x) a funo integranda, x a
varivel de integrao e [a; b] o intervalo de integrao
Observao 5.4.6 O valor do integral depende da funo f e do intervalo
[a; b], mas independente da varivel de integrao. Isto ,
Z b
Z b
Z b
f (x)dx =
f (u)du =
f (t)dt:
a

Proposio 5.4.7 (Condio necessria de integrabilidade) Se f (x) integrvel em [a; b] ento f (x) limitada em [a; b]
Dem. Pela denio de limite tem-se
lim SP (x) = S () 8 > 0 9" > 0: 8P; jP j < " =) jSP (x)

jP j!0

Sj < :

Assim quando o dimetro da partio for sucientemente pequeno tem-se,


para > 0,
S
< SP < + S:
n
X
Como SP =
f (ui ) jxi xi 1 j com ui pontos arbitrrios em cada um dos
i=1

subintervalos. Separamndo a primeira parcela,


SP = f (u1 ) jx1

aj +

n
X

f (ui ) (xi

xi

1) :

i=2

Considerando xos os pontos ui ; i = 2; :::; n; o somatrio ter uma certa


soma k: Assim
SP = f (u1 ) jx1 aj + k
e
S

< f (u1 ) jx1

aj + k < + S

ou seja
S
jx1

k
+S k
< f (u1 ) <
:
aj
jx1 aj

5.4. INTEGRAL DE RIEMANN

119

Como u1 um ponto arbitrrio em [a; x1 ] a funo f (x) limitada em [a; x1 ] :


Pelo mesmo processo possvel provar que f (x) limitada em qualquer
dos subintervalos [xi ; xi+1 ] :Logo f (x) limitada em [a; b] :
Igualmente til a sua recproca.
Se f (x) no limitada em [a; b] ento f (x) no integrvel em [a; b].
Proposio 5.4.8 (Condio necessria e suciente de integrabilidade) A
funo f (x) integrvel em [a; b] se e s se as somas de Darboux tm o
mesmo limite nito.
Dem. ( =) ) Se f (x) integrvel no sentido de Riemann em [a; b]
ento lim SP (x) = S; ou seja para um certo " > 0 tal que jP j < " se tem
jP j!0

jSP (x)

Sj < 2 ; ou seja,
S

< SP < S + :
2

Como
S
ento, para jP j < "; S

0< ;

, pelo que

lim

jP j!0

S = 0;

isto ,
lim S = lim S:

jP j!0

jP j!0

Alm disso, pelo enquadramento (5.4.1), tem-se


lim S = lim S = lim SP = S =

jP j!0

jP j!0

jP j!0

f (x)dx:

( (= ) Se as somas de Darboux S e S tm o mesmo limite nito, pelo


enquadramento (5.4.1), tem-se
lim S = lim S = lim SP = S =

jP j!0

jP j!0

jP j!0

f (x)dx;

pelo que f (x) integrvel em [a; b]..


Alguns resultados ajudam a formar ideias sobre classes de funes integrveis:

120

CAPTULO 5. CLCULO INTEGRAL EM R

Proposio 5.4.9 Toda a funo contnua em [a; b] integrvel Riemann


nesse intervalo.
Dem. Pelo Teorema de Heine-Cantor , toda a funo contnua num
intervalo limitado e fechado [a; b] uniformemente contnua, isto ,
8 > 0 9" > 0: 8v; w 2 [a; b] ; jv

wj < " =) jf (v)

f (w)j < :

Para " > 0 seja P uma partio de [a; b] tal que jP j < ":
Se f (x) contnua em [a; b] ento f (x) contnua em dada um dos
subintervalos [xi ; xi+1 ] :
Pelo Teorema de Weierstrass existem os nmeros Mi e mi , respectivamente, mximos e mnimos de f (x) em [xi ; xi+1 ] :Designe-se Mi := f (ui ) e
mi := f (vi ) com ui ; vi 2 [xi ; xi+1 ] :
Considere-se > 0 tal que
Mi

mi = f (ui )

f (vi ) <

Ento, recorrendo s somas de Darboux


S

S =
=

n
X

i=1
n
X

Mi (xi

xi

n
X

1)

mi (xi

(Mi

mi ) (xi

xi

1)

i=1

Portanto S

xi

1)

i=1

<

n
X

(xi

xi

1)

i=1

(b

a) = :

S < ; com jP j < "; pelo que


lim

jP j!0

S = 0:

Proposio 5.4.10 Toda a funo montona e limitada integrvel Riemann.


Dem. Para " > 0 seja P uma partio de [a; b] tal que jP j < "; :isto ,
jxi

xi

1j

< "; i = 1; :::; n:

Suponhamos que f (x) crescente. Assim, para cada [xi


Mi :=

sup
x2[xi

1 ;xi ]

f (x) e mi :=

inf

x2[xi

1 ;xi ]

f (x) :

1 ; xi ]

dena-se

5.5. PROPRIEDADES DOS INTEGRAIS

121

Ento
S

S =
<

n
X

i=1
n
X

(Mi

mi ) (xi

xi

1)

n
X

(f (xi )

f (xi

1 )) (xi

xi

1)

i=1

(f (xi )

f (xi

1 ))

"

i=1

= " [f (x1 )

f (x0 ) + f (x2 )

= " [f (xn )

f (x0 )] = " [f (b)

f (x1 ) +

+ f (xn )

f (xn

1 )]

f (a)] :

Considerando = " [f (b) f (a)] obtem-se que S S < desde que


jP j < " = f (b) f (a) : Ento, pela condio necessria e suciente de integrabilidade, f (x) integrvel em [a; b].
Se f (x) decrescente.o processo semelhante.

5.4.3

Interpretao geomtrica do conceito de integral

Vimos anteriormente que as somas superior e inferior de Darboux, S e S,


so aproximaes por excesso e por defeito, respectivamente, da rea do
trapezide limitado pelo grco de f (x) e pelas rectas verticais x = a e
x = b:
Se se diminuir o dimetro da partio obtm-se aproximaes com um
erro menor, da rea do trapezide referido.
Ao considerar parties mais nas, S e S sero valores to prximos
quanto de queira, por excesso e por defeito, do valor dessa rea. R
b
Assim se f (x) contnua em [a; b] e f (x) > 0; 8x 2 [a; b] ; ento a f (x)dx
representa a rea da regio limitada pelo grco de f (x) e pelas rectas
verticais x = a e x = b:

5.5

Propriedades dos integrais

A maior parte das propriedades que se seguem podem ser demonstradas por
aplicao directa da denio de integral.
Proposio 5.5.1 Sejam f (x) e g(x) funes integrveis em [a; b] :
Rb
Ra
1. a f (x)dx =
b f (x)dx
2. Se f (x) uma funo par ento
Z b
f (x)dx =
a

f (x)dx:

122

CAPTULO 5. CLCULO INTEGRAL EM R

3. Se f (x) uma funo mpar ento


Z

f (x)dx =

f (x)dx:

4. Para k 2 R;

k dx = k (b

a) :

5. Para k 2 R;

k f (x)dx = k

6. Se f (x)

f (x)dx:

0 ento

f (x)dx

0:

7. Se f (x)

g(x); 8x 2 [a; b] ; ento


Z

f (x)dx

8.

g(x)dx:

f (x)dx

jf (x)j dx

9. Se f (x) uma funo limitada em [a; b] tal que jf (x)j


M > 0; ento
Z b
f (x)dx
M (b a) :

M; com

10. (Aditividade do integral relativamente ao intervalo de integrao)


Z

f (x)dx =

f (x)dx +

f (x)dx:

11. (Aditividade do integral relativamente funo integranda)


Z

[f (x) + g(x)] dx =

f (x)dx +

g(x)dx:

5.5. PROPRIEDADES DOS INTEGRAIS

123

Dem. Seja P = fx0 ; x1 ; x2 ; :::; xn 1 ; xn g uma decomposio de [a; b] e


U = fui : ui 2 ]xi ; xi+1 [ ; i = 1; :::; n 1g um conjunto de pontos arbitrrios
em cada um dos subintervalos.
1.
Z

n
X

f (x)dx =

f (ui ) (xi

xi

1)

i=1

n
X

f (ui ) (xi

xi ) =

f (x)dx:

i=1

2. Uma decomposio de [ a; b] ser P = f x0 ; x1 ; x2 ; :::; xn 1 ; xn g


e um conjunto de pontos respectivos pode ser U = f ui g : Ento
Z

n
X

f (x)dx =
a

f ( ui ) ( xi + xi

1)

i=1

n
X

f (ui ) (xi

n
X

f ( ui ) ( xi + xi

xi

1)

f (x)dx:

i=1

3.
Z

f (x)dx =
a

i=1
n
X

f (ui ) (xi

n
X

k (xi

xi

1)

1) =

k dx =

f (x)dx:

i=1

4.

xi

1)

= k (b

a) :

i=1

5.
Z

k f (x)dx =

n
X

kf (ui ) (xi

i=1
n
X

= k

i=1

f (ui ) (xi

xi
xi

1)

1)

=k

f (x)dx:

124

CAPTULO 5. CLCULO INTEGRAL EM R

6.

f (x)dx =

7.

n
X

f (ui ) (xi

xi

1)

0:

i=1

n
X

f (x)dx =

i=1
n
X

f (ui ) (xi

xi

g (ui ) (xi

xi

1)

1)

g(x)dx:

i=1

8.
Z

f (x)dx

n
X

jf (ui ) (xi

i=1

9.

f (ui ) (xi

i=1
n
X

f (x) dx

xi
xi

1)

1 )j

i=1

n
X

jf (x)j dx

jf (ui )j (xi

xi

1)

M dx = M (b

a) :

10. (Interpretar geometricamente como adio de reas)


11.

[f (x) + g(x)] dx =

=
=

n
X

i=1
n
X
i=1
Z b

[f (ui ) + g (ui )] (xi


f (ui ) (xi
f (x)dx +

xi
Z

1)

xi
n
X

1)

g (ui ) (xi

xi

1)

i=1

g(x)dx:

Teorema 5.5.2 (Teorema da mdia do clculo integral) Se f (x) integrvel


num intervalo I := [a; b] ento existe
2 [m; M ] ; com m := inf f (x) e
x2I

M := supf (x), tal que


x2I

f (x)dx =

(b

a) :

jf (x)j dx

5.5. PROPRIEDADES DOS INTEGRAIS

125

Dem. Suponhamos que b > a. Como m


Z

mdx

f (x)dx

M; 8x 2 I; ento

M dx;

f (x)

pela Proposio anterior (7),


m (b

a)

f (x)dx

M (b

a)

e, como b

a > 0;

Rb

f (x)dx
b a

:=

Rb

m
Denindo

M:

f (x)dx
b a

obtem-se o resultado pretendido.


Se b < a tem-se
Z b
f (x)dx =

f (x)dx

e aplica-se a primeira parte da demonstrao.


Observao 5.5.3 i) Se f (x) uma funo contnua em I ento existe
c 2 I tal que f (c) = ; pelo que se obtem
Z

f (x)dx = f (c) (b

a) :

Rb
ii) Se f (x) 0; 8x 2 I ento a f (x)dx d o valor da rea de um trapezide,
pelo que f (c) a altura de um rectngulode comprimento b a; com
ea igual do trapezide.
Proposio 5.5.4 (Desigualdade de Schwarz) Se f (x) e g(x) so funes
integrveis em [a; b] ento
Z

f (x)

g(x)dx

f (x)dx

g 2 (x)dx:

126

CAPTULO 5. CLCULO INTEGRAL EM R


Dem. Comece-se por calcular

[ f (x) + g(x)] dx =

|a

Como [ f (x) + g(x)]2

f (x)dx + 2
f (x) g(x)dx +
g 2 (x)dx:
{z
}
|a
{z
} | a {z
}
A

0 ento
Z

[ f (x) + g(x)]2 dx

e, simplicando a notao,
2

A+2 B+C

apenas acontece para qualquer


isto ,

2 R no nulo se A > 0 e (2B)2


B2

4AC

0;

AC:

Voltando notao inicial


Z

f (x)

g(x)dx

f (x)dx

g 2 (x)dx:

Exerccio 5.5.5 Determine o sinal dos integrais, sem os calcular:


a)
b)

sen x
x dx

3
6

x sen(x)dx
3

Exerccio 5.5.6 Obtenha um majorante e um minorante para os integrais,


sem os calcular:
a)
b)

R1
R

1
2

x
dx
1+x2

x tg(x)dx

5.6. INTEGRAL INDEFINIDO

5.6

127

Integral indenido

Denio 5.6.1 Seja f (x) uma funo integrvel em I e


integral indenido com origem em funo
Z x
f (t)dt; 8x 2 I:
(x) =

2 I: Chama-se

Proposio 5.6.2
1. Integrais indenidos de origens diferentes diferem
de uma constante.
2. O integral indenido uma funo contnua.
Dem. Considerem-se
(x) =

f (t)dt e

(x) =

f (t)dt:

1. Ento
(x)

(x) =

f (t)dt +

f (t)dt =

f (t)dt 2 R:

2. Comecemos por provar que (x) uma funo contnua.em x = ;


isto que
lim (x) = ( ):
x!

Note-se que o limite, a existir, ter que ser 0 e que, pela condio necessria
de integrabilidade, (Proposio 5.4.7) f (x) limitada em [a; b] ; digamos por
uma constante M > 0: Assim
Z x
Z x
j (x) 0j
jf (t)j dt
M dt = M (x
)
e como lim M (x
x!

) = 0; ento lim (x) = ( ) = 0:


x!

Prove-se agora que


Ento
j (x)

(c)j =
=

(x) contnua.em x = c 6= :
Z

f (t)dt
x

f (t)dt +

f (t)dt

f (t)dt =

jf (t)j dt

f (t)dt

M dt = M (x

e conclui-se como na primeira parte da prova.

c)

M jx

cj

128

CAPTULO 5. CLCULO INTEGRAL EM R

Teorema 5.6.3 (Teorema fundamental do Clculo Integral) O integral indenido tem por derivada a funo integranda nos pontos em que esta seja
contnua, isto ,
0

(c) = f (c); se f for contnua em c:

Dem. Viu-se anteriormente que


Z x
(x)
(c) =
f (t)dt =

(x

c) ;

com compreendido entre f (x) e f (c):


Por denio de derivada
0

(x)
x

(c) = lim

x!c

(c)
c

= lim

x!c

(x c)
=
x c

= f (c):

Corolrio 5.6.4 Sejam ; x 2 I e f uma funa contnua em I: Ento


0

(x) = f (x); 8x 2 I:

Observao 5.6.5 i) Sendo


composta obtem-se
0

ii) Se

(x) =

R u(x)
v(x)

[u(x)] =

R u(x)

f (t)dt; pela derivada da funo

u0 (x); 8x 2 I:

[u(x)] = f [u(x)]

f (t)dt ento
0

(x) = f [u(x)]

u0 (x)

f [v(x)]

v 0 (x):

Exerccio 5.6.6 Estude quanto aos extremos e intervalos de monotonia a


funo
Z x
(x) =
(t2 6t + 8)dt:
2

Exerccio 5.6.7 Sendo f (x) =


Exerccio 5.6.8 Para f (x) =

R log x
0

R k log x
x2

(x et )dt prove que f 00 (1) = 1:


(e

t2 )dt;

calcule k tal que f 0 (1) = 0:

5.7. MTODOS DE INTEGRAO

129

Exerccio 5.6.9 Recorrendo desigualdade de Schwarz encontre um majorante para


Z 1
p
e5x arctg(x)dx:
0

Teorema 5.6.10 (Frmula de Barrow) Seja f uma funo contnua em


[a; b] e F uma primitiva qualquer de f em [a; b] : Ento
Z

f (x)dx = F (b)

F (a):

Dem. A frmula geral das primitivas de f (x) dada por


Z x
F (x) =
f (t)dt + k; k 2 R:
Assim
F (b) =

f (t)dt + k e F (a) = k:

Ento
F (b)

F (a) =

f (t)dt:

Exerccio 5.6.11 Calcule o valor dos integrais:


1.
2.

R3

p dx
7+3x

R3

5.7

x
2 x2 25 dx

Mtodos de integrao

Os mtodos de integrao so anlogos aos mtodos de primitivao.

5.7.1

Integrao por decomposio

Sejam fi funes integrveis em [a; b] : Ento


Z

(f1 (x) + f2 (x) +

+ fn (x)) dx =

Z b
f1 (x)dx+
f2 (x)dx+
a

Z b
+
fn (x)dx:
a

130

CAPTULO 5. CLCULO INTEGRAL EM R

5.7.2

Integrao por partes

Sejam u e v duas funes integrveis num intervalo [a; b] : Se o produto u0 v


for integrvel ento
Z

u (x)v(x) dx =

5.7.3

[u(x)v(x)]ba

u(x)v 0 (x) dx:

Integrao por substituio

Considere-se: f uma funo contnua em [a; b] e ' : [ ; ] ! [a; b] uma


funo bijectiva e diferencivel com ' ( ) = a e ' ( ) = b: Ento vlida a
igualdade
Z b
Z
f (x)dx =
f [' (t)] '0 (t) dt:
a

Exerccio 5.7.1 Calcular o valor dos integrais:


1.
2.
3.
4.
5.
6.

R4

x3
2 x 1 dx

R2
1

R1
0

3 log x

dx

x arctg(x) dx

R4

dx
p
1 1+ x

R log 5 p
0

R 63

5.8

p
3

ex

1 dx

p
6

x+1
p
x+1+ x+1

dx

Extenso da noo de integral

Nos casos em que o intervalo de integrao no limitado ou a funo


integranda no limitada no intervalo de integrao, a teoria naterior no
se aplica e necessrio um novo conceito de integral: o integral imprprio.

5.8.1

Integral imprprio de 1a espcie

Denio 5.8.1 Seja um intervalo I


R: Designa-se por integral ima
prprio de 1 espcie de f em I a qualquer das seguintes situaes:
a) Se I = [a; +1[;

R +1
a

f (x)dx

5.8. EXTENSO DA NOO DE INTEGRAL


Rb

b) Se I =]

1; b[;

c) Se I =]

1; +1[;

131

1 f (x)dx

R +1
1

f (x)dx:

Pode perguntar-se se neste caso, em que a regio no est completamente


limitada, o integral ainda representa o valor da rea dessa regio ilimitada.
A resposta armativa caso o integral imprprio de 1a espcie tenha um
valor nito.
Assim necessrio estudar a natureza do integral.
Denio 5.8.2 i) O integral
nito

R +1
a

lim

f (x)dx convergente se existir e for


Z

x!+1 a

Nesse caso

f (t) dt:

+1

f (x)dx = lim

f (t) dt

x!+1 a

representa o valor da rea pretendida.


Rb
ii) Anlogamente, 1 f (x)dx convergente se
Z

+1

f (x)dx = lim

f (t)dt

x!+1 a

existir e for nito.


R +1
iii) Do mesmo modo 1 f (x)dx convergente se
Z

+1

f (x)dx = lim
1

x!+1

f (t)dt
x

existir e for nito.


iv) Se algum dos limites anteriores no existir ou for innito, ento o respectivo integral diz-se divergente.
Exerccio 5.8.3 Estude a natureza dos integrais e calcule o seu valor, se
possvel:
1.
2.

R +1
0

1
dx
x2 +1

1 1
1 x2 dx

132

CAPTULO 5. CLCULO INTEGRAL EM R

3.

R +1
1

1
x dx

Exerccio 5.8.4 Estude a natureza do integral


Z +1
1
dx; (a > 0)
x
a
discutindo-a em funo de

5.8.2

Integral imprprio de 2a espcie

Nestes casos consideram-se as situaes em que a funo integranda no


limitada em pelo menos um ponto do intervalo de integrao.
Denio 5.8.5 Seja [a; b] R um intervalo e f uma funo integrvel em
subintervalos de [a; c[[]c; b]; sendo c um ponto em que f no limitada
Designa-se por integral imprprio de 2a espcie o integral
Z b
f (x)dx
a

em que existe pelo menos um c 2 [a; b] em que f (c) no limitada

Denio 5.8.6 O integral integral imprprio de 2a espcie diz-se convergente se existirem e forem nitos
Z x
Z b
lim
f (t) dt e lim
f (t) dt
x!c

Nesse caso

x!c+

f (x)dx = lim
x!c

f (t) dt + lim

x!c+

f (t) dt:

Se pelo menos um dos limites anteriores no existir ou for innito, ento o


integral diz-se divergente.
Observao 5.8.7 Se em [a; b] existirem n pontos c1 ; :::; cn onde a funo
no limitada ento deve decompor-se o integral de forma a isolar esses
pontos apenas num dos extremos de integrao.
Exerccio 5.8.8 Estudar a natureza dos integrais:
R1
a) 0 p1x dx
b)
c)

R1

1
0 x

R 10

dx;discutindo-a em funo de

x
10 x2 1 dx

2 R:

5.9. CRITRIOS DE CONVERGNCIA PARA INTEGRAIS IMPRPRIOS133

Integral imprprio de 3a espcie ou mistos

5.8.3

Neste caso esto os integrais que so simultaneamente de 1a e 2a espcie,


isto , integrais em que pelo menos um dos extremos de integrao innito
e existe pelo menos um ponto onde a funo no limitada.
Tal como na seco anterior deve decompor-se o integral misto na soma
de integrais que sejam apenas de 1a ou 2a espcie.
O integral convergente se forem convergentes todos os integrais em que
se decomponha. Caso contrrio o integral diz-se divergente.
Exerccio 5.8.9 Estude a natureza dos integrais:
R +1 1
a) 0
x 1 dx
R +1 1
b)
1 x3 dx

5.9

Critrios de convergncia para integrais imprprios

Na prtica torna-se til analisar a natureza dos integrais imprprios sem ter
de os calcular.
Sejam f (x) e g(x) funes localmente integrveis.
Proposio 5.9.1 Se
lim x f (x) nito e no nulo

x! 1

ento:
R +1
a

R +1
a

f (x)dx convergente se
f (x)dx divergente se

Exemplo 5.9.2 O integral

R +1

lim x

x!+1

x2

> 1;
1:

x
dx
x2 +1

divergente pois

x
= 1 para
+1

= 1:

Proposio 5.9.3 (Critrio de comparao) Se f (x) e g(x) so duas funes


tais que existe k 2 R de modo que f (x) g(x);para x k; ento:
R +1
R +1
a) Se a f (x)dx divergente ento a g(x)dx divergente;

134
b) Se

CAPTULO 5. CLCULO INTEGRAL EM R


R +1
a

g(x)dx convergente ento

R +1
a

f (x)dx convergente.

Exemplo 5.9.4 Para analisar a natureza do integral


comear-se por estabelecer as relaes

R +1
1

2
1+sen
p x dx
x

pode

1 + sen2 x
1
1 + sen2 x
p
p
; para x 1:
x
x
R +1 1+sen2 x
p1 dx divergente ento
p
dx tambm divergente.
1
x
x
1

Como

R +1
1

Proposio 5.9.5 (Critrio da existncia do limite) Se f (x) e g(x) so


duas funes tais que
lim

f (x)

x! 1 g (x)

ento os integrais

R +1
a

f (x)dx e

nito e no nulo

R +1
c

g(x)dx tm a mesma natureza.

R +1 1
p
Exemplo 5.9.6 Para estudar a natureza do integral 0
dx pode
1+x3
ver-se que
p
1
1 + x3
3
x
lim
=
lim
= 1 se = :
x!+1 p 1
x!+1
x
2
1+x3
R +1 1
R +1 1
p dx convergente ento
p
dx da mesma natureza,
Como 1
0
1+x3
x3
isto , convergente.
Proposio 5.9.7 (Critrio do integral) Seja f : [1; +1[! R uma funo
1
X
decrescente e, para cada n 2 N; seja an = f (n): Ento a srie
an e o

n=1
R +1
integral 1 f (x)dx so da mesma natureza (ambos convergentes ou ambos
divergentes).

Rb
Proposio 5.9.8 Seja a f (x)dx um integral imprprio de 2a espcie em
que f (c) no limitada. Se
lim (x

x!c

c) f (x) nito e no nulo

ento:
Rb
a) a f (x)dx convergente se

< 1;

5.10. APLICAES DOS INTEGRAIS


b)

Rb
a

f (x)dx divergente se

lim (x

x!3

1:

R4

2
3 (x 3)2 dx

Exemplo 5.9.9 O integral

135

3)

2
3)2

(x

divergente pois
= 2 para

5.10

Aplicaes dos integrais

5.10.1

reas planas

= 2:

Se f (x) uma funo contnua no negativa, a rea da regio limitada pelo


seu grco, pelo eixo das abcissas e pelas rectas verticais x = a e x = b
dada por
Z b
A=
f (x)dx:
a

Exerccio 5.10.1 Calcular a rea:


1. De um crculo de centro na origem e raio r;
2. Da regio denida pelo conjunto
D = (x; y) 2 R2 :

3; 0

(x + 1) ex+1 ;

3. Da regio limitada pela parbola y = x2 e a recta y = 3


4. Da regio denida por
(
D=

5.10.2

(x; y) 2 R2 :

5; 0 < y

Comprimento de curvas planas

1
p
jxj

2x:
)

O comprimento de um arco P0 P1 duma curva representada pela aplicao


y = f (x); tendo por coordenadas cartesianas P0 = (x0 ; f (x0 )) e P1 =
(x1 ; f (x1 )) dado por
Z x1 q
C=
1 + [f 0 (x)]2 dx:
x0

Exerccio 5.10.2 Determine os comprimentos dos arcos das curvas denidas


por:

136

CAPTULO 5. CLCULO INTEGRAL EM R


2 +1

1. y = cosh(x) entre A = (0; 1) e B = 1; e


2. y = 2 log x entre A = (1; 0) e B =

5.10.3

3; 2 log

Volumes de slidos de revoluo

O volume do slido que se obtem pela rotao da regio limitada pelo grco
de y = f (x) e pelas rectas verticais x = a e x = b; em torno do:
a) eixo das abcissas dado por
Z

V =

[f (x)]2 dx:

b) eixo horizontal y = k dado por


V =

[f (x)

k]2 dx:

Exerccio 5.10.3 Calcular o volume de um cone de revoluo de altura h


e raio da base r:

5.10.4

reas laterais de slidos de revoluo

A rea lateral de um slido gerado pela rotao da regio limitada pelo eixo
das abcissas, pelo grco de f (x) e pelas rectas verticais x = a e x = b;
dada por
Z b
q
AL = 2
f (x) 1 + [f 0 (x)]2 dx:
a

Exerccio 5.10.4 Calcular a rea lateral de um cone de revoluo de altura


h e raio da base r:ntegral de Riemann
O conceito base no clculo diferencial a noo de derivada. No clculo
integral esse papel desempenhado pela noo de integral.
O mtodo mais intuitivo para abordar este conceito consider-lo como
uma rea.