Ap AMI v9 PDF

Anlise Matemtica I
Feliz Minhs
ii
Contedo
Objectivos Gerais 1
Programa 3
1 Sucesses 5
1.1 Denio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Subsucesso . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.3 Sucesses montonas . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Sucesses limitadas . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Induo Matemtica . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Noo de vizinhana . . . . . . . . . . . . . . . . . . . . . . . 9
1.7 Sucesses convergentes. Propriedades . . . . . . . . . . . . . . 10
1.8 Operaes algbricas com sucesses . . . . . . . . . . . . . . . 13
1.9 Propriedades algbricas dos limites . . . . . . . . . . . . . . 15
1.10 Sucesso de Cauchy . . . . . . . . . . . . . . . . . . . . . . . 19
1.11 A recta acabada. Innitamente grandes . . . . . . . . . . . . 21
1.12 Operaes com limites em R. Indeterminaes . . . . . . . . . 22
1.13 Sucesso exponencial . . . . . . . . . . . . . . . . . . . . . . . 25
1.14 Sucesso do tipo potncia-exponencial . . . . . . . . . . . . . 25
2 Sries de Nmeros Reais 29
2.1 Denio e generalidades . . . . . . . . . . . . . . . . . . . . 30
2.2 Srie geomtrica . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3 Srie de Mengoli . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4 Propriedades algbricas das sries . . . . . . . . . . . . . . . . 34
2.5 Sries de termos no negativos . . . . . . . . . . . . . . . . . 35
2.6 Sries alternadas . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.7 Critrios de convergncia para sries de termos no negativos 42
2.8 Resto de uma srie . . . . . . . . . . . . . . . . . . . . . . . . 49
iii
iv CONTEDO
3 Funes reais de varivel real 53
3.1 Limite de uma funo . . . . . . . . . . . . . . . . . . . . . . 53
3.2 Limites em R . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
3.3 Limites laterais . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.4 Funes contnuas . . . . . . . . . . . . . . . . . . . . . . . . 59
3.5 Continuidade lateral . . . . . . . . . . . . . . . . . . . . . . . 59
3.6 Continuidade num intervalo . . . . . . . . . . . . . . . . . . . 61
3.7 Descontinuidades . . . . . . . . . . . . . . . . . . . . . . . . . 61
3.8 Teoremas fundamentais sobre continuidade . . . . . . . . . . 62
3.9 Assmptotas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.10 Funo inversa . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.11 Funo exponencial . . . . . . . . . . . . . . . . . . . . . . . . 69
3.12 Funo logartmica . . . . . . . . . . . . . . . . . . . . . . . . 72
3.13 Funes trigonomtricas inversas . . . . . . . . . . . . . . . . 77
3.13.1 Arco-seno . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.13.2 Arco-cosseno . . . . . . . . . . . . . . . . . . . . . . . 78
3.13.3 Arco-tangente . . . . . . . . . . . . . . . . . . . . . . . 79
3.13.4 Arco co-tangente . . . . . . . . . . . . . . . . . . . . . 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 )(r) = :c: r . . . . . . . . . . . . 89
4.10.2 Derivada da funo cos r . . . . . . . . . . . . . . . . 89
4.10.3 Derivada das funes tq r e cot q r . . . . . . . . . . . 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 v
4.16 Sries de potncias . . . . . . . . . . . . . . . . . . . . . . . . 103
4.17 Srie de Taylor para funes reais de varivel real . . . . . . . 104
5 Clculo Integral em R 107
5.1 Primitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.2 Primitivas imediatas e quase imediatas . . . . . . . . . . . . . 108
5.2.1 Primitiva de uma constante . . . . . . . . . . . . . . . 108
5.2.2 Primitiva de uma potncia de expoente real . . . . . . 108
5.2.3 Primitiva de funes exponenciais . . . . . . . . . . . 109
5.2.4 Primitiva de funes trigonomtricas . . . . . . . . . . 110
5.3 Mtodos de primitivao . . . . . . . . . . . . . . . . . . . . . 110
5.3.1 Primitivao por decomposio . . . . . . . . . . . . . 111
5.3.2 Primitivao por partes . . . . . . . . . . . . . . . . . 111
5.3.3 Primitivao por substituio . . . . . . . . . . . . . . 112
5.3.4 Primitivao de funes racionais . . . . . . . . . . . . 113
5.4 Integral de Riemann . . . . . . . . . . . . . . . . . . . . . . . 116
5.4.1 Somas integrais de uma funo . . . . . . . . . . . . . 116
5.4.2 Denio de integral de Riemann . . . . . . . . . . . . 118
5.4.3 Interpretao geomtrica do conceito de integral . . . 121
5.5 Propriedades dos integrais . . . . . . . . . . . . . . . . . . . . 121
5.6 Integral indenido . . . . . . . . . . . . . . . . . . . . . . . . 127
5.7 Mtodos de integrao . . . . . . . . . . . . . . . . . . . . . . 129
5.7.1 Integrao por decomposio . . . . . . . . . . . . . . 129
5.7.2 Integrao por partes . . . . . . . . . . . . . . . . . . 130
5.7.3 Integrao por substituio . . . . . . . . . . . . . . . 130
5.8 Extenso da noo de integral . . . . . . . . . . . . . . . . . . 130
5.8.1 Integral imprprio de 1
o
espcie . . . . . . . . . . . . . 130
o
espcie . . . . . . . . . . . . . 132
o
espcie ou mistos . . . . . . . 133
5.9 Critrios de convergncia para integrais imprprios . . . . . . 133
5.10 Aplicaes dos integrais . . . . . . . . . . . . . . . . . . . . . 135
5.10.1 reas planas . . . . . . . . . . . . . . . . . . . . . . . 135
5.10.2 Comprimento de curvas planas . . . . . . . . . . . . . 135
5.10.3 Volumes de slidos de revoluo . . . . . . . . . . . . 136
5.10.4 reas laterais de slidos de revoluo . . . . . . . . . . 136
vi CONTEDO
Objectivos Gerais
Considerando esta unidade curricular no mbito da formao pessoal e cien-
tca, 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, nomeada-
mente sucesses, funes, sries, Clculo Diferencial e Integral em R,
ao nvel de conceitos e aplicaes.
Utilizar conhecimentos matemticos na resoluo de problemas e in-
terpretao da realidade.
Adquirir competncias matemticas que possam vir a ser desenvolvidas
e aplicadas em contexto prossional empresarial, de investigao ou de
ensino.
1
2
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, multipli-
cao, 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,...)
3
4 CONTEDO
Captulo 1
Sucesses
1.1 Denio
As sucesses so funes reais de varvel natural.
Denio 1.1.1 Dado um conjunto ,= ?, chama-se sucesso de termos
em a qualquer aplicao de N em .
Exemplo 1.1.2 As aplicaes
) : N Z
: 3: 4
e
q : N Q
:
5a+2
a+1
so exemplos de sucesses.
Se o conjunto de chegada for R ento diz-se uma sucesso de nmeros reais.
Designa-se por n
a
.
Aos valores imagens da sucesso chamam-se termos da sucesso e designam-
se por n
1
, n
2
, ....n
a
, , ..., isto , 1
c
termo, 2
c
termo,...,ensimo-termo ou termo de ordem :.
expresso n
a
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 n
a
=
2a5
a+3
.
a) Calcule o 2
c
e o 10
c
termos.
b) Determine n
j+2
.
5
6 CAPTULO 1. SUCESSES
2. Por recorrncia
Os termos da sucesso so calculados a partir dos termos anteriores.
Exemplo 1.1.4 a)
_
_
_
n
1
= 3
n
a+1
= 2n
a
+ 4, \: N.
b)
_
_
_
1
= 1
2
= 3
a+2
=
a
+
a+1
, \: 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
n
a
=
3: + 4
5: + 2
.
Verique se
7
11
e
5
7
so termos da sucesso e, em caso armativo, indique a
sua ordem.
1.2 Subsucesso
Denio 1.2.1 Designa-se por subsucesso de n
a
qualquer sucesso que
resulte da supresso de alguns termos de n
a
.
Exerccio 1.2.2 (i) Dada a sucesso n
a
= (1)
a
(: + 3) , calcule:
a) A subsucesso de n
a
dos termos de ordem par.
b) A subsucesso de n
a
dos termos de ordem mpar.
c) A subsucesso de n
a
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 n
a
uma sucesso.
(i) n
a
diz-se crescente se n
a+1
_ n
a
, \: N, isto , se n
a+1
n
a
_ 0,
\: N.
(ii) n
a
estritamente crescente se n
a+1
n
a
, \: N, isto , se n
a+1
n
a

0, \: N.
(iii) n
a
diz-se decrescente se n
a+1
_ n
a
, \: N, isto , se n
a+1
n
a
_ 0,
\: N.
1.4. SUCESSES LIMITADAS 7
(iv) n
a
estritamente decrescente se n
a+1
< n
a
, \: N, isto , se n
a+1
n
a
< 0, \: 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:
a) a
a
=
3a
a+2
b) /
a
=
14a
a+1
c) c
a
= cos (:)
d) d
a
= 3:
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 n
a
diz-se limitada se o conjunto dos seus
termos for um conjunto limitado. Isto , se existirem nmeros reais e 1
tais que
_ n
a
_ 1, \: N.
De modo anlogo pode denir-se sucesso limitada se
1 0 : [n
a
[ _ 1, \: 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:
a) a
a
=
3a
a+2
b) d
a
= 3:
c) c
a
= cos (:)
Exerccio 1.4.3 Prove que a sucesso d
a
= 3: no limitada.
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(:) se trans-
forma numa proposio verdadeira sempre que se substitua : por um nmero
natural.
Basta assegurar que se vericam as duas condies seguintes:
1. C(1) verdadeira
2. C(:) uma condio hereditria, isto , se C(j) verdadeira ento
C(j + 1) tambm verdadeira
Algumas propriedades importantes provam-se com recurso a este mtodo:
Proposio 1.5.1 (Desigualdade de Bernoulli) Se r R verica 1+r _ 0
ento
(1 +r)
a
_ 1 +:r, \: N.
Dem. Para : = 1, tem-se uma igualdade trivial : 1 +r = 1 +r.
Por hiptese, admitinda-se que a proposio verdadeira para : = j,
isto ,
(1 +r)
j
_ 1 +jr.
Verica-se ento se a tese verdadeira, ou seja, se a proposio ver-
dadeira para : = j + 1 :
(1 +r)
j+1
_ 1 + (j + 1) r.
Ora
(1 +r)
j+1
= (1 +r)
j
(1 +r) _ (1 +jr) (1 +r)
= 1 +r +jr +jr
2
= 1 + (j + 1) r +jr
2
_ 1 + (j + 1) r.
Ento, pelo mtodo de induo matemtica
(1 +r)
a
_ 1 +:r, \: N.
1.6. NOO DE VIZINHANA 9
Exerccio 1.5.2 Utilizando o mtodo de induo matemtica prove que:
a) 8
a
: 2
a
= 4
a
, \: N.
b)
a
I=1
(2/) = :(: + 1), \: N.
1.6 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 c 0.
Isto , considera-se um valor na vizinhana de a,ou seja em ]ac, a+c[.
Denio 1.6.1 Seja a R. Chama-se vizinhana de a de raio c 0,e
nota-se por \
c
(a) ao conjunto
\
c
(a) = r R : [r a[ < c
= ]a c, a +c[.
Ou seja, o conjunto de todos os valores aproximados de a com erro inferior
a c.
Exerccio 1.6.2 Represente na forma de intervalo de nmeros reais:
a) \
0.2
(4)
b) \
0.02
(2, 3)
Exerccio 1.6.3 Dena como uma vizinhana os conjuntos:
a) ]2, 32; 2, 48[
b) r R : [r + 3[ < 0, 001
Exerccio 1.6.4 Considere a sucesso n
a
=
2+3a
2a+3
. Prove que a partir de
n
11
(exclusive) todos os termos vericam
n
a
\
0,1
_
3
2
_
.
Interprete gracamente.
1.7 Sucesses convergentes. Propriedades
Denio 1.7.1 A sucesso n
a
converge para um valor a R se, para
qualquer valor positivo c, existe uma ordem a partir da qual todos os termos
da sucesso pertencem a \
c
(a).
Simbolicamente
limn
a
= a =\c 0 j N: : j ==[n
a
a[ < c.
Exerccio 1.7.2 Provar por denio que
lim
2 + 3:
2: + 3
=
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 R diz-se um ponto de acumulao
do conjunto R, no vazio, se em qualquer vizinhana de a existe pelo
menos um elemento de diferente de a.
Simbolicamente
a um ponto de acumulao do conjunto se \c 0, (\
c
(a)a) ,= ?.
(ii) Um ponto a que no seja ponto de acumulao chama-se um
ponto isolado.
Isto , a um ponto isolado se c 0 : \
c
(a) = a.
Exerccio 1.7.5 Indique o conjunto de todos os pontos de acumulao dos
conjuntos:
a) ' = 1, 5 ' [0, 2]
b) =
_
r R : r =
1
a
, : N
_
.
Exerccio 1.7.6 Prove que um conjunto nito no tem pontos de acumu-
lao.
Proposio 1.7.7 O elemento a R ponto de acumulao de R se,
e s se, limite de uma sucesso de pontos de distintos de a.
Dem. (==) Suponhamos que a R ponto de acumulao de R.
Ento, para cada : N existem pontos n
a
\1
n
(a) (a) , ou seja,
[n
a
a[ <
1
a
e n
a
a.
1.7. SUCESSES CONVERGENTES. PROPRIEDADES 11
(==) Seja n
a
, para cada : N, com n
a
,= a, \: N, tal que
n
a
a.
Ento [n
a
a[ < c, \c 0. Assim n
a
\
c
(a), \c 0, pelo que a R
ponto de acumulao de .
Teorema 1.7.8 (Teorema de Bolzano-Weierstrass) Todo o conjunto R
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 l o conjunto de termos da sucesso limitada n
a
.
Se l nito ento existe a l que se repete innitas vezes e, por
consequncia, limite de uma subsucesso constante igual a a, pelo que
convergente para a.
Se l 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
l.
Vejamos algumas propriedades das sucesses convergentes e as suas re-
laes com as sucesses limitadas.
Teorema 1.7.10 (Unicidade do limite) O limite de uma sucesso conver-
gente, quando existe, nico.
Dem. Suponha-se, com vista a um absurdo, que existe uma sucesso n
a
tal que n
a
a e n
a
/ com a ,= /.
Dado c 0 arbitrrio,
:
0
N : : :
0
==[n
a
a[ <
c
2
,
:
1
N : : :
1
==[n
a
/[ <
c
2
.
Tomando j := max :
0
, :
1
tem-se que para : j so vlidas as duas
desigualdades anteriores e
[a /[ = [a n
a
+n
a
/[ _ [a n
a
[ +[n
a
/[ <
c
2
+
c
2
= c.
O que est em contradio com a hiptese de a ,= /.
Logo a = /.
Teorema 1.7.11 Se n
a
uma sucesso convergente ento qualquer das
suas subsucesses convergente para o mesmo limite.
Dem. Seja n
a
uma sucesso tal que n
a
a e
a
uma subsucesso de
n
a
.
Assim os termos de
a
tambm so termos de n
a
, pelo que tambm
vericam a proposio
\c 0 j N: : j ==[
a
a[ < c,
ou seja
a
a.
Teorema 1.7.12 Toda a sucesso convergente limitada.
Dem. Suponhamos n
a
a e xe-se um valor real c 0. Ento para
: j tem-se que n
a
]a c, a +c[ , isto , a c < n
a
< a +c.
Ento fora deste intervalo esto um nmero nito de termos. Concreta-
mente n
1
, ..., n
j
Considere-se
' := max [n
1
[ , ..., [n
j
[ , [a c[ , [a +c[ .
Ento
' _ n
a
_ ', \: N,
pelo que n
a
limitada.
Teorema 1.7.13 Toda a sucesso montona e limitada convergente.
Dem. Seja n
a
uma sucesso montona e limitada. Como o conjunto
dos termos da sucesso majorado (e minorado) ento existe supremo desse
conjunto. Designe-se c := supn
a
: : N .
Pela denio de supremo, c o menor dos majorantes, pelo que, para
cada c 0, c c no majorante. logo existe pelo menos uma ordem j N
tal que c c < n
j
.
Sendo n
a
uma sucesso montona ela poder ser crescente ou decres-
cente.
Suponhamos que n
a
crescente.
Assim teremos
c c < n
j
_ n
a
para : _ j.
Como c supremo, maior que todos os termos de n
a
e ento
c c < n
a
< c < c +c.
1.8. OPERAES ALGBRICAS COM SUCESSES 13
Ou seja
\c 0 j N: : j ==c c < n
a
< c +c,
isto , n
a
c. Ento n
a
uma sucesso convergente (para o supremo do
conjunto dos termos da sucesso).
Se n
a
f uma sucesso decrescente.a demonstrao semelhante mas uti-
lizando
d := inf n
a
: : N .
1.8 Operaes algbricas com sucesses
As operaes consideradas em R estendem-se naturalmente s sucesses
reais.
Considerem-se duas sucesses n
a
e
a
.
Dene-se soma de n
a
e
a
sucesso que se obtem adicionando os termos
da mesma ordem das duas sucesses e cujo termo geral se obtem como
(n +)
a
.
Isto , (n +)
a
= n
a
+
a
De modo anlogo se dene a diferena, o produto e o cociente de n
a
e
a
, admitindo-se este ltimo apenas na condio de
a
,= 0, \: N.
Em resumo,
(n )
a
= n
a
a
(n )
a
= n
a
a
_
n
_
a
=
n
a
a
,
a
,= 0, \: N.
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 n
a
e
a
duas sucesses convergentes.
Se a partir de certa ordem se verica n
a
_
a
ento
limn
a
_ lim
a
.
Dem. Considerem-se duas sucesses convergentes n
a
e
a
tais que n
a

a e
a
/. Assim
\c 0 :
0
N: : :
0
==[n
a
a[ < c,
\c 0 :
1
N: : :
1
==[
a
/[ < c
e seja :
1
a ordem a partir da qual se verica n
a
_
a
.
Suponha-se, com vista a uma contradio, que a / e considere-se
c :=
ob
2
( 0 porque a /).
Seja j := max :
0
, :
1
, :
2
. Ento para : _ j tem-se
a
/ < c =
a /
2
, c < n
a
a
e
a
< / +
a /
2
= a
a /
2
< n
a
.
Ora esta desigualdade contradizo facto de a partir da ordem j se tem n
a
_
a
.
Logo a _ /, isto , limn
a
_ lim
a
.
Corolrio 1.8.2 Se a partir de certa ordem a sucesso convergente
a
ver-
ica
a
_ 0, ento
lim
a
_ 0.
Dem. Basta fazer na demonstrao anterior n
a
= 0.
Teorema 1.8.3 O produto de um innitsimo por uma sucesso limitada
um innitsimo.
Isto , se n
a
uma sucesso limitada e
a
um innitsimo, ento
lim(n
a
a
) = 0.
Dem. Seja n
a
uma sucesso limitada e
a
um innitsimo.
Ento
1 0 : [n
a
[ _ 1, \: N
e como
a
0 ento
\c 0 j N: : j ==[
a
[ <
c
1
.
Assim, para : j,
[
a
n
a
0[ = [
a
[ [n
a
[ _ [
a
[ 1 _
c
1
1 = c.
Ento (
a
n
a
) 0, isto , (
a
n
a
) um innitsimo.
1.9. PROPRIEDADES ALGBRICAS DOS LIMITES 15
1.9 Propriedades algbricas dos limites
Os teoremas que se seguem relacionam as propriedades algbricas funda-
mentais com as noes de convergncia e limite.
Teorema 1.9.1 Sejam n
a
e
a
duas sucesses convergentes.
1. (n +)
a
uma sucesso convergente e lim(n +)
a
= limn
a
+ lim
a
.
2. (n )
a
uma sucesso convergente e lim(n )
a
= limn
a
lim
a
.
3. (/ n)
a
uma sucesso convergente e lim(/ n)
a
= / limn
a
.
4.
_
&
_
a
uma sucesso convergente desde que
a
,= 0, \: N,e lim
_
&
_
a
=
lim&n
limn
, se lim
a
,= 0.
5. (n
a
)
j
, j Z, uma sucesso convergente (com n
a
,= 0, \: N, se j < 0)
e lim(n
a
)
j
= (limn
a
)
j
.
6.
p
_
n
a
uma sucesso convergente, se n
a
_ 0, \: N, e lim
p
_
n
a
=
p
_
limn
a
.
Se j for mpar e n
a
< 0 a propriedade permanece vlida.
Dem. Sejam n
a
e
a
duas sucesses convergentes tais que n
a
a e
a
/. Ou seja
\c 0 :
0
N: : :
0
==[n
a
a[ <
c
2
,
\c 0 :
1
N: : :
1
==[
a
/[ <
c
2
.
1. Considerando j := max :
0
, :
1
, tem-se que para : _ j so vlidas
as duas proposies e
[(n
a
+
a
) (a +/)[ = [(n
a
a) + (
a
/)[
_ [n
a
a[ +[
a
/[ <
c
2
+
c
2
= c.
Ento lim(n
a
+
a
) = a +/ = limn
a
+ lim
a
.
2. Note-se que
(n
a
a
) (a /) = n
a
a
n
a
/ +n
a
/ a/
= n
a
(
a
/) + (n
a
a) /,
n
a
uma sucesso limitada (pois convergente),
a
/ e n
a
a so in-
nitsimos.
Ento
lim(n
a
a
a/) = lim[n
a
(
a
/)] + lim[(n
a
a) /] = 0.
3. um caso particular de 2. com
a
= / (/ R).
4. Como
a
/ ,= 0, por 2., tem-se que
a
/ /
2
0, ou seja c <
a
/ /
2
< c.
Escolha-se c 0 sucientemente pequeno tal que existe j N em que
para : _ j se tem
a
/ /
2
c 0.
Assim, considerando apenas os termos cuja ordem maior que j (os que
no forem so em nmero nito), obtem-se
0 <
1
a
/
<
1
/
2
c
,
pelo que a sucesso (ou subsucesso se for necessrio)
1
nb
e limitada.
Note-se que se tem:
&n
n

o
b
=
&nbo n
nb
= (n
a
/ a
a
)
1
nb
.
lim(n
a
/ a
a
) = lim(n
a
/) + lim(a
a
) = a/ a/ = 0.
Ento
lim
_
n
a
a

a
/
_
= lim(n
a
/ a
a
)
1
a
/
= 0,
pelo que lim
&n
n
=
lim&n
limn
.
5. Se j = 0, (n
a
)
j
= 1 e lim(n
a
)
j
= lim1 = 1 = (limn
a
)
j
.
Se j N, demonstra-se por induo.
Para j = 1 a proposio verdade.
Para provar a tese,
lim(n
a
)
I+1
= lim
_
(n
a
)
I
n
a
_
= lim
_
(n
a
)
I
_
limn
a
= (limn
a
)
I
limn
a
= (limn
a
)
I+1
.
Se j Z
coloca-se j = /, com / N e para n

a
,= 0, \: N, tem-se
lim(n
a
)
I
= lim
_
1
(n
a
)
I
_
=
1
lim(n
a
)
I
=
1
(limn
a
)
I
= (limn
a
)
I
.
6. Provar primeiro por induo em j, que a relao
n
j
j
= (n )
_
n
j1
+n
j2
+n
j3
2
+ +n
j2
+
j1
_
vlida para quaisquer n, R.
1.9. PROPRIEDADES ALGBRICAS DOS LIMITES 17
Para : = 1, n = n , verdade.
Para j = / + 1,
n
I+1
I+1
=
_
n
I+1
n
I
_
+
_
n
I
I+1
_
= n
_
n
I
I
_
+
I
(n )
= n(n )
_
n
I1
+n
I2
+n
I3
2
+ +n
j2
+
j1
_
+
I
(n )
= (n )
_
n
I
+n
I1
+n
I2
2
+ +n
2
j2
+n
j1
+
I
_
.
Considere-se a 0. Substituindo na igualdade anterior n =
p
_
n
a
e =
p
_
a, obtem-se
(
p
_
n
a
)
j
_
p
_
a
_
j
=
_
p
_
n
a
p
_
a
_
_
(
p
_
n
a
)
j1
+ + (
p
_
n
a
)
_
p
_
a
_
j2
+
_
p
_
a
_
j1
_
e
p
_
n
a
p
_
a =
n
a
a
_
p
_
n
a
_
j1
+ +
_
p
_
n
a
_
(
p
_
a)
j2
+ (
p
_
a)
j1
.
Assim
p
_
n
a
p
_
a
=
[n
a
a[
_
p
_
n
a
_
j1
+ + (
p
_
a)
j1
_
[n
a
a[
(
p
_
a)
j1
,
pois as parcelas do denominador da fraco do 2
c
membro so todas positivas
e ento
(
p
_
n
a
)
j1
+ +
_
p
_
a
_
j1
_
_
p
_
a
_
j1
.
Como n
a
a, tem-se
\c 0 :
0
N: : :
0
==[n
a
a[ < c
_
p
_
a
_
j1
e obtem-se
p
_
n
a
p
_
a
_
[n
a
a[
(
p
_
a)
j1
<
c (
p
_
a)
j1
(
p
_
a)
j1
= c.
Se a = 0 ento limn
a
= 0 e neste caso considera-se, na denio de
limite [n
a
[ < c
j
e n
a
< c
j
, pois n
a
_ 0.
Ento obtem-se
p
_
n
a
p
_
a
= [
p
_
n
a
[ =
p
_
n
a
_
p
_
c
j
= c.
Teorema 1.9.2 Se n
a
uma sucesso convergente ento
lim[n
a
[ = [limn
a
[ .
Dem. Seja n
a
a, isto ,
\c 0 j N: : j ==[n
a
a[ < c.
Como [[n
a
[ [a[[ _ [n
a
a[ < c o que equivalente a [n
a
[ [a[ , isto ,
lim[n
a
[ = [limn
a
[ .
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 n
a
,
a
e n
a
sucesses convergentes tais que:
a) limn
a
= lim
a
= a (a R)
b) a partir de uma certa ordem se tem n
a
_ n
a
_
a
.
Ento limn
a
= a.
Dem. Considerem-se duas sucesses n
a
e
a
convergentes para a R.
Ento
\c 0 :
0
N: : :
0
==a c < n
a
< c +a
e
\c 0 :
1
N: : :
1
==a c <
a
< c +a.
Seja :
2
a ordem a partir da qual se tem n
a
_ n
a
_
a
e dena-se j :=
max :
0
, :
1
, :
2
. Ento para : j obtem-se
a c < n
a
_ n
a
_
a
< c +a,
ou seja a c < n
a
< c +a, pelo que limn
a
= a.
Exerccio 1.9.4 Calcule o limite de cada uma das sucesses:
a) n
a
=
a
I=1
2a+cca(
k
4
)
1+3a
2
b) n
a
=
a
I=0
a
2I+a
2
1.10. SUCESSO DE CAUCHY 19
1.10 Sucesso de Cauchy
Com o objectivo de obter um critrio de convergncia, introduz-se a noo
de sucesso de Cauchy.
Intuitivamente, se n
a
a, desde que : seja sucientemente grande,
todos os termos de n
a
estaro arbitrariamente prximos de a e, portanto
prximos uns dos outros.
a
em R diz-se uma sucesso de Cauchy
se para cada c 0 existe uma ordem j N tal que [n
n
n
a
[ < c, para
quaisquer :, : _ j.
Observao 1.10.2 Considerando em particular : = : + /, / N, pode
obter-se uma denio equivalente:
n
a
uma sucesso de Cauchy se
\c 0 j N: : _ j ==[n
a+I
n
a
[ < c, \/ N.
Desta ltima denio resulta:
Proposio 1.10.3 Se n
a
uma sucesso de Cauchy em R, ento para
qualquer / N tem-se
n
a+I
n
a
0, quando : +.
A condio recproca no vlida, como se pode ver no exerccio seguinte:
Exerccio 1.10.4 (Contra-exemplo) Prove que para cada / N a sucesso
o
a
= 1 +
1
2
+
1
3
+... +
1
:
verica
o
a+I
o
a
0
e no entanto o
a
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 n
a
em R seja convergente que n
a
seja
uma sucesso de Cauchy.
Simbolicamente, em R, n
a
convergente se e s se
\c 0 j N: \/ N, \: _ j ==[n
a+I
n
a
[ < c.
Dem. (==) Suponhamos que a sucesso n
a
convergente para a R.
Ento
\c 0 j N: : j ==[n
a
a[ <
c
2
.
Assim, para \: _ j, \: _ j,
[n
n
n
a
[ = [n
n
a +a n
a
[ _ [n
n
a[ +[a n
a
[ <
c
2
+
c
2
= c.
Logo n
a
(==) Seja n
a
Passo1: Provar que toda a sucesso de Cauchy em R limitada.
Considere-se na denio c = 1. Assim, em particular, existe j N, tal
que [n
n
n
a
[ < 1, para quaisquer :, : _ j
Ento , em particular, a desigualdade vlida para : = j, isto ,
[n
a
n
j
[ < 1 ==n
a
]n
j
1, n
j
+ 1[ , para : _ j
Portanto, fora deste intervalo, esto um nmero nito de termos da sucesso
e o conjunto desses termos limitado.
Logo a sucesso de Cauchy n
a
limitada.
Passo2: Provar que se n
a
uma sucesso de Cauchy e n
a
tem uma
subsucesso convergente, ento n
a
convergente em R.
Seja n
I
uma subsucesso de n
a
convergente para a R.
Fixando c 0, N: [n
I
a[ <
c
2
para / _ .
Como n
a
uma sucesso de Cauchy,
j N: [n
n
n
I
[ <
c
2
, \:, / _ j.
Dena-se r := max , j . Ento para / _ r vericam-se simultaneamente
as desigualdades
[n
I
a[ <
c
2
e [n
n
n
I
[ <
c
2
, para : _ r.
Assim, para : _ r,
[n
n
a[ = [n
n
n
I
+n
I
a[ _ [n
n
n
I
[ +[n
I
a[ <
c
2
+
c
2
= c.
Ou seja, n
n
a, quando : +.
Ento, pelo Passo1, n
a
uma sucesso limitada e pelo Corolrio 1.7.9, n
a
possui uma subsucesso convergente. Logo, pelo Passo 2, n
a
convergente.
1.11. A RECTA ACABADA. INFINITAMENTE GRANDES 21
1.11 A recta acabada. Innitamente grandes
Se recta real juntarmos "dois novos elementos", + e , obtem-se a
recta acabada, que se representa por R ou [-, +].
R pode considerar-se como um conjunto limitado superiormente por +
e inferiormente por . Assim qualquer subconjunto de R limitado.
Como estender a noo de limite a R ?
a
diz-se um innitamente grande positivo
e escreve-se
n
a
+ ou limn
a
= +,
se, a partir de uma certa ordem, n
a
for superior a qualquer nmero positivo
previamente xo.
Simbolicamente
n
a
+ == \1 0 j N: : j ==n
a
1.
Exerccio 1.11.2 Prove que a sucesso n
a
= 5: + 1 um innitamente
grande positivo.
Denio 1.11.3 a) A sucesso n
a
um innitamente grande negativo,
isto ,
n
a
ou limn
a
= ,
se, a partir de uma certa ordem, n
a
for inferior a qualquer nmero negativo
xado.
Simbolicamente
n
a
== \1 0 j N: : j ==n
a
< 1.
b) n
a
um innitamente grande em mdulo quando
[n
a
[ +.
A unicidade do limite permanece vlida para sucesses na recta acabada.
Contudo uma sucesso n
a
pode no ter limite em R.
Exerccio 1.11.4 Mostre que n
a
= (1)
a
(: + 2) no tem limite em R mas
um innitamente grande em mdulo.
Classicao das sucesses quanto existncia e natureza do limite:
convergentes (tm limite em R)
divergentes
(no convergentes)
_
_
propriamente divergentes
(limite )
oscilantes
(no tm limite em R)
1.12 Operaes comlimites emR. Indeterminaes
Algumas operaes algbricas com limites permanecem vlidas em R. Out-
ras h que levantam diculdades.
O prximo teorema rene as principais propriedades utilizadas com lim-
ites innitos.
a
e
a
duas sucesses reais.
1) Se n
a
um innitamente grande positivo ou negativo ento um inni-
tamente grande em mdulo. Isto ,
se n
a
ento [n
a
[ +.
2) O inverso de um innitsimo um innitamente grande, i.e.,
se n
a
0 ento
1
n
a
.
3) O inverso de um innitamente grande um innitsimo, i.e.,
se n
a
ento
1
n
a
0.
4) Se n
a
um innitamente grande positivo e, a partir de uma certa ordem,
n
a
_
a
ento
a
tambm um innitamente grande positivo, i.e.,
se n
a
+ e n
a
_
a
para : _ j, ento
a
+.
1.12. OPERAES COM LIMITES EM R. INDETERMINAES 23
5) Se n
a
+ e
a
limitada inferiormente ento n
a
+
a
+.
6) Se n
a
e
a
limitada superiormente ento n
a
+
a
.
7) Se n
a
e
a
limitada ento n
a
+
a
..
8) Se n
a
e existe j N tal que o conjunto
a
R : : _ j tem um
minorante positivo ou um majorante negativo ento n
a
a
.
Dem. 1) Se n
a
+ ento n
a
1, : _ j, \1 0 e [n
a
[ _ n
a

1, isto , [n
a
[ +.
Se n
a
ento n
a
+ e, pelo passo anterior, [n
a
[ = [n
a
[
+.
2) Se n
a
0 ento
\1 0 j N: : j ==[n
a
[ <
1
1
.
Assim
1
[&n[
1, para : j, pelo que, por denio,
1
[&n[
+ e
1
&n
.
3) Se n
a
, [n
a
[ + e
\c 0 j N: : j ==[n
a
[
1
c
.
Ento
1
[&n[
=

1
&n
< c, para : j, pelo que, por denio,

1
&n
0.
4) Se n
a
+ ento
n
a
1, para 1 0 e : _ j.
Se para : _ j se tem
a
_ n
a
ento
a
_ n
a
1.
Por denio,
a
+.
5) Como
a
limitada inferiormente, para qualquer 1 0 existe /
tal que / _
a
, \: N, e / < 1.
De n
a
+ tem-se que n
a
1, \1 0, pelo que n
a
1 /, para
: _ j. Ento
n
a
+
a
1 / +/ = 1
e, por denio, n
a
+
a
+.
6) Anlogo alnea anterior.
7) Se
a
limitada ento existe 1 0 tal que [
a
[ _ 1, \: N.
Como n
a
ento [n
a
[ + e, por denio,
\1 0 :
0
N: : :
0
==[n
a
[ 1 1.
Assim, a partir de uma certa ordem :
1,
[n
a
+
a
[ = [n
a
(
a
)[ _ [[n
a
[ [
a
[[ = [n
a
[ [
a
[ .
Denindo j := max :
0
, :
1
tem-se que
[n
a
+
a
[ _ [n
a
[ [
a
[ _ 1 1 +1 = 1
vlido para : _ j, \1 0.
Isto signica que [n
a
+
a
[ +, ou seja, n
a
+
a
.
8) Suponhamos que
a
tem um minorante positivo a partir de uma
certa ordem :
0
. Ou seja,
/ 0 :
a
_ /, para : _ :
0
.
Como n
a
, isto , [n
a
[ +, ento [n
a
[
1
I
, para : _ :
1
.
Assim
[n
a
a
[ = [n
a
[ [
a
[
1
/
./ = 1, para : _ j :== max :
0
, :
1
.
Se supusermos que
a
tem um majorante negativo, ento
/ 0 :
a
_ / < 0, a partir de uma certa ordem,
ou seja, [
a
[ _ / 0 e o processo segue de modo anlogo.
O teorema anterior contorna algumas diculdades que surgem nas oper-
aes algbricas dos limites em R.
Por exemplo:
2) no d informao sobre o valor de
0
0
.
3) no d informao sobre o valor de
o
o
.
5),6) e 7) no do informao sobre o valor de +.
8) no d informao sobre o valor de 0.
Nas sucesses em cujas operaes surjam estes casos de indeterminao,
para os quais no h teoremas gerais que garantam partida o seu re-
sultado, 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:
a) lim
3a
2
+12a
1a
3
b) lim
__
: + 1
_
:
_
c) lim
_
3 + 2:
2
+ 5:
4
_
1.13 Sucesso exponencial
O comportamento, a existncia e a natureza do limite da sucesso exponen-
cial a
a
(a 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 +/, / 0, resulta pela Prop. 1.5.1 que
a
a
= (1 +/)
a
_ 1 +:/, \: N.
Como a sucesso 1+:/ +, ento, pelo Teorema 1.12.1, a
a
+.
Se 0 < a < 1 a sucesso montona decrescente e a
a
0. (Provar)
Se 1 < a < 0 a sucesso no montona e a
a
0. (Provar)
Se a _ 1 a sucesso toma alternadamente termos positivos e nega-
tivos pelo que no montona e a
a
no tem limite
Exerccio 1.13.1 Calcular:
a) lim
2
a+1
+ 3
a
2
a
+ 3
a+1
; /) lim
2
a+1
+ 3
a
2
a
+ 5
a+1
.
1.14 Sucesso do tipo potncia-exponencial
O limite da sucesso de termo geral
_
1 +
1
a
_
a
tem um papel importante na
Anlise Matemtica.
Exerccio 1.14.1 Prove que a sucesso
n
a
=
_
1 +
1
:
_
a
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
:
_
a
= c 2, 71828....
Teorema 1.14.2 Se a sucesso n
a
ento
_
1 +
1
n
a
_
&n
c.
Dem. Suponhamos que n
a
+. Ento existe uma ordem j tal que
n
a
1, \1 0.
Represente-se por /
a
o menor nmero inteiro que verique
/
a
_ n
a
< /
a
+ 1, para : j. (1.14.1)
Ento
1
/
a
+ 1
<
1
n
a
_
1
/
a
e
1 +
1
/
a
+ 1
< 1 +
1
n
a
_ 1 +
1
/
a
.
Por (1.14.1) e como as bases so maiores que 1, a sucesso ca crescente , e
_
1 +
1
/
a
+ 1
_
In
<
_
1 +
1
n
a
_
&n
_
_
1 +
1
/
a
_
In+1
.
Como
lim
_
1 +
1
/
a
+ 1
_
In
= lim
_
1 +
1
/
a
+ 1
_
In+1
_
1 +
1
/
a
+ 1
_
1
= c.1 = c
e
lim
_
1 +
1
/
a
_
In+1
= lim
_
1 +
1
/
a
_
In
_
1 +
1
/
a
_
= c
1.14. SUCESSO DO TIPO POTNCIA-EXPONENCIAL 27
ento pelo Teorema 1.9.3, quando n
a
+,
lim
_
1 +
1
n
a
_
&n
= c.
Suponha-se agora que n
a
. Ento, denindo
a
= n
a
, tem-se
a
+ e
lim
_
1 +
1
n
a
_
&n
= lim
_
1
1
a
_
n
= lim
_
a
1
a
_
n
= lim
_

a
a
1
_
n
= lim
_
1 +
1
a
1
_
n
= lim
_
1 +
1
a
1
_
n1
_
1 +
1
a
1
_
= c.1 = c,
porque
a
1 +.
Teorema 1.14.3 Para r R e n
a
+ tem-se que
lim
_
1 +
r
n
a
_
&n
c
a
.
Dem. Se r = 0, lim
_
1 +
0
&n
_
&n
= lim1
&n
= lim1 = 1 = c
0
.
Se r ,= 0, tem-se
lim
_
1 +
r
n
a
_
&n
= lim
_
1 +
1
&n
a
_
&n
= lim
_
_
1 +
1
&n
a
_un
x
_
a
=
_
lim
_
1 +
1
&n
a
_un
x
_
a
=
_
c
1
_
a
= c
a
,
quer se tenha
&n
a
+ ou
&n
a
, pelo Teorema 1.14.2.
Os principais resultados para sucesses do tipo potncia-exponencial
(isto da forma n
n
a
) nos casos em que quer a base quer o expoente se-
jam sucesses com limite em R, podem ser resumidos no seguinte teorema:
a
0 e
a
duas sucesses com limite em R.
Supondo que no se vericam as hipteses:
(i) limn
a
= lim
a
= 0;
(ii) limn
a
= + e lim
a
= 0;
(iii) limn
a
= 1 e lim
a
= +;
(iv) limn
a
= 1 e lim
a
= ;
ento
lim(n
a
)
n
= (limn
a
)
limn
.
a) lim
n
_
:
2
+: 1
:
2
+ 3
; /) lim
_
:
2
+ 3: 1
:
2
+ 3
_
a1
.
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
1
o ponto mdio de [1] ,
2
o ponto mdio de [
1
1] , e assim
sucesivamente, designado por
a+1
o ponto mdio de [
a
1].
Se o tempo gasto para percorrer
1
for designado por t, ser
t
2
o tempo
gasto de
1
a
2
,
t
2
2
de
2
a
3
, ...
O tempo total T, necessrio para completar a corrida ser a "soma"de
uma innidade de tempos parciais todos positivos:
T = t +
t
2
+
t
2
2
+... +
t
2
a
+...
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 CAPTULO 2. SRIES DE NMEROS REAIS
2.1 Denio e generalidades
Seja a
a
uma sucesso de nmeros reais.
A esta sucesso pode associar-se uma outra sucesso
o
a
= a
1
+a
2
+... +a
a
a que chamamos sucesso das somas parciais de a
a
.
Denio 2.1.1 (i) Chama-se srie ao par ordenado (a
a
, o
a
) e representa-
se por
+o
a=1
a
a
.
Aos nmeros a
1
, a
2
, ..., a
a
, ...chamam-se termos da srie e expresso a
a
o
termo geral da srie.
(ii) A srie
+o
a=1
a
a
diz-se convergente se existir em R (for nito) limo
a
= o
e escreve-se
+o
a=1
a
a
= o.
Ao nmero real o chama-se soma da srie.
(iii) Se no existir em R limo
a
, srie diz-se divergente
Observao 2.1.2 Por vezes conveniente utilizar sries do tipo
+o
a=j
a
a
com j Z,
mantendo-se o mesmo tipo de denio.
Exerccio 2.1.3 Estude a natureza das sries:
a)
+o
a=1
: ; /)
+o
a=1
(1)
a
; c)
+o
a=0
t
2
a
, com t R
+
.
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 31
2.2 Srie geomtrica
Denio 2.2.1 Chama-se srie geomtrica srie
+o
a=0
a
a
em que a
a

uma progresso geomtrica.
Como conhecido a sucesso das somas parciais correspondente
o
a
= a
0
1 r
a
1 r
, com r ,= 1.
Como
limo
a
=
a
0
1 r
lim(1 r
a
) =
a
0
1 r
, se [r[ < 1,
tem-se que:
Proposio 2.2.2 A srie geomtrica converge se e s se [r[ < 1. Neste
caso
o =
a
0
1 r
.
2.3 Srie de Mengoli
Denio 2.3.1 Um srie de Mengoli (tambm designada por decom-
ponvel ou telescpica) se o termo geral a
a
for decomponvel numa diferena
do tipo
a
a
= n
a
n
a+I
.
Veja-se a natureza destas sries:
1. Caso de / = 1 : a
a
= n
a
n
a+1
o
1
= a
1
= n
1
n
2
o
2
= a
1
+a
2
= n
1
n
3
o
3
= a
1
+a
2
+a
3
= n
1
n
4
.
.
.
o
a
= n
1
n
a+1
.
Assim
limo
a
= lim(n
1
n
a+1
) = n
1
limn
a
.
Proposio 2.3.2 A srie de Mengoli convergente se e s se n
a
convergente.
Em caso armativo
o = n
1
limn
a
.
2. Caso de / = 2 : a
a
= n
a
n
a+2
o
1
= a
1
= n
1
n
3
o
2
= a
1
+a
2
= n
1
n
3
+n
2
n
4
o
3
= a
1
+a
2
+a
3
= n
1
+n
2
n
4
n
5
.
.
.
o
a
= n
1
+n
2
n
a+1
n
a+2
.
Logo
limo
a
= lim(n
1
+n
2
n
a+1
n
a+2
) = n
1
+n
2
2 limn
a
.
a
convergente.
Em caso armativo
o = n
1
+n
2
2 limn
a
.
3. Caso geral: a
a
= n
a
n
a+I
a
convergente.
Neste caso
o = n
1
+... +n
I
/ limn
a
.
Exerccio 2.3.5 Estude a natureza da srie
+o
a=0
3
:
2
+ 5: + 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
+o
a=1
a
a
convergente se e s se a sucesso das somas parciais uma sucesso
de Cauchy, isto , simbolicamente,
\c 0 j N: \/ N, \: _ j ==[o
a+I
o
a
[ < c.
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 : primeiros termos.
Corolrio 2.3.8 (Condio necessria de convergncia) Se
+o
a=1
a
a
uma
srie convergente ento lima
a
= 0.
Dem. Seja
+o
a=1
a
a
uma srie convergente com limo
a
= |.
A sucesso das somas parciais dada por o
a
= a
1
+ a
2
+ ... + a
a
e
o
a1
= a
1
+a
2
+... +a
a1
, para : 1.
Ento o
a
o
a1
= a
a
e como limo
a
= limo
a1
obtem-se
0 = lim(o
a
o
a1
) = lima
a
.
Observao 2.3.9 A condio lima
a
= 0 necessria mas no su-
ciente.
Um exemplo clssico para este facto a srie harmnica
+o
a=1
1
:
.
Apesar de
1
a
0 a srie harmnica divergente, pois a sucesso das somas
parciais o
a
= 1+
1
2
+... +
1
a
no uma sucesso de Cauchy (logo no uma
sucesso convergente) uma vez que
[o
2a
o
a
[ =
_
1 +... +
1
:
+
1
: + 1
+... +
1
2:
_
_
1 +... +
1
:
_
1
: + 1
+... +
1
2:
=
1
: + 1
+... +
1
2:
1
: +:
+... +
1
2:
=
:
2:
=
1
2
, \: N.
Exerccio 2.3.10 Prove que a srie
+o
a=1
_
1 +
1
:
_
a
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
+o
a=1
a
a
e
+o
a=1
/
a
duas sries convergentes de
somas e 1, respectivamente. Ento a srie
+o
a=1
(a
a
+/
a
) convergente e
a soma +1.
(ii) Se
+o
a=1
a
a
uma srie convergente de soma , para cada ` R, a srie
+o
a=1
(à
a
) convergente para `.
Dem. (i) Represente-se por o
t
a
e o
tt
a
as sucesses das somas parciais das
sries
+o
a=1
a
a
e
+o
a=1
/
a
, respectivamente. Ento
o
a
= (a
1
+/
1
) + (a
2
+/
2
) + + (a
a
+/
a
)
= (a
1
+ +a
a
) + (/
1
+ +/
a
) = o
t
a
+o
tt
a
+1.
Pelo que o
a
convergente para +1 e, portanto,
+o
a=1
(a
a
+/
a
) convergente
e tem por soma +1.
(ii) Seja o
+
a
a sucesso das somas parciais da srie
+o
a=1
à
a
e o
a
a de
+o
a=1
a
a
.
2.5. SRIES DE TERMOS NO NEGATIVOS 35
Ento
o
+
a
= à
1
+ +à
a
= `(a
1
+ +a
a
) = ò
a
`.
Observao 2.4.2 Caso ambas as sries
+o
a=1
a
a
e
+o
a=1
/
a
sejam divergentes,
a srie
+o
a=1
(a
a
+/
a
) pode ser convergente ou divergente.
Exemplos:
1. As sries
+o
a=1
(1)
a
e
+o
a=1
(1)
a+1
so ambas divergentes e contudo
+o
a=1
_
(1)
a
+ (1)
a+1
_
= 0 convergente.
2. As sries
+o
a=1
: e
+o
a=1
2: so ambas divergentes e
+o
a=1
[: + 2:] =
+o
a=1
3:
divergente.
Observao 2.4.3 Poder-se-ia esperar que sendo
+o
a=1
a
a
e
+o
a=1
/
a
conver-
gentes, a srie "produto"
+o
a=1
(a
a
/
a
) tambm fosse convergente. Contudo
tal no se verica.
Os prximos resultados 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
+o
a=1
a
a
diz-se de termos no negativos se a
a
_ 0, \: N.
Tendo-se apenas a
a
_ 0, para : _ j, esta srie da mesma natureza que
uma srie de termos no negativos, pois a natureza da srie no depende
pos primeiros j termos.
Neste tipo de sries o estuda da convergncia ou divergncia torna-se
mais simples, uma vez que permite estabelecer vrios critrios de convergncia.
Proposio 2.5.1 Uma srie de termos positivos
+o
a=1
a
a
convergente se e
s se a sucesso das somas parciais majorada.
Dem. Observe-se que sendo a
a
_ 0, \: N, ento a sucesso das somas
parciais o
a
= a
1
+ +a
a
crescente.
Portanto o
a
ser convergente se e s se for majorada.
Teorema 2.5.2 (Critrio de comparao) Sejam
+o
a=1
a
a
e
+o
a=1
/
a
sries de
termos no negativos e tais que a
a
_ /
a
para : _ j. Ento:
a) Se
+o
a=1
/
a
convergente ento
+o
a=1
a
a
convergente.
b) Se
+o
a=1
a
a
divergente ento
+o
a=1
/
a
divergente.
Dem. Podemos supor a
a
_ /
a
, \: N, que no h perda de generali-
dade (pois a natureza da srie no depende dos primeiros j termos).
Considere-se
a
= a
1
+ +a
a
e 1
a
= /
1
+ +/
a
as respectivas sucesses das somas parciais. Ento
a
_ 1
a
, \: N.
a) Pela Proposio 2.5.1,
+o
a=1
/
a
convergente =1
a
majorada =1
a
_ 1
_
1 R
+
_
.
Assim, como a
a
_ /
a
, \: N, ento
a
_ 1
a
_ 1 e
a
majorada=
+o
a=1
a
a
convergente.
b) Se
+o
a=1
a
a
divergente ento
a
+==
a
_ (\ R).
Ento _
a
_ 1
a
e 1
a
+ porque 1
a
_ (\ R) ,.pelo que
+o
a=1
/
a
divergente.
Exemplo 2.5.3 1. (Sries de Dirichlet) Se c R e c _ 1 ento a srie
+o
a=1
1
:
c
divergente.
Como a srie
+o
a=1
1
a
divergente, pelo critrio de comparao (b),
+o
a=1
1
a
divergente para c _ 1.
2. A srie
+o
a=1
1
a
2
convergente, porque :
2
_ :
2
1,
1
a
2
_
1
a
2
1
(: 1) .
Como a srie
+o
a=1
1
a
2
1
uma srie de Mengoli convergente, ento pelo
critrio de comparao (a),
+o
a=1
1
a
2
convergente.
3. Para c _ 2 a srie
+o
a=1
1
a
convergente, pois :
c
_ :
2
,.
1
a
_
1
a
2
.
Como
+o
a=1
1
a
2
convergente, ento pelo critrio de comparao (a),
+o
a=1
1
a
convergente para c _ 2.
Considere-se a srie
+o
a=1
cca a
2
n
.
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
+o
a=1
a
a
diz-se absolutamente convergente se
+o
a=1
[a
a
[ 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.
Dem. Seja
+o
a=1
a
a
uma srie absolutamente convergente, isto ,
+o
a=1
[a
a
[
convergente.
Alm disso
+o
a=1
a
a
_
+o
a=1
[a
a
[ , porque [a
1
+ +a
a
[ _ [a
1
[ + +[a
a
[
e passando ao limite em ambos os membros da desigualdade.
Como 0 _ a
a
+ [a
a
[ _ 2 [a
a
[ e a srie
+o
a=1
2 [a
a
[ convergente, pela
Proposio 2.4.1,.ento pelo Teorema 2.5.2, a), a srie
+o
a=1
(a
a
+[a
a
[) con-
vergente.
Assim
+o
a=1
a
a
=
+o
a=1
(a
a
+[a
a
[)
+o
a=1
[a
a
[ convergente.
Observao 2.5.6 Uma srie
+o
a=1
a
a
pode ser convergente sem contudo ser
absolutamente convergente. Nestes casos a srie diz-se simplesmente convergente.
Exemplo 2.5.7 Na srie
+o
a=1
cca a
2
n
tem-se que
:c: :
2
a
_
1
2
a
, \: N.
Como
+o
a=1
1
2
n
uma srie geomtrica convergente (razo
1
2
) , ento pelo
critrio de comparao (a) a srie
+o
a=1
cca a
2
n
convergente e
+o
a=1
cca a
2
n

absolutamente convergente. Finalmente pelo Teorema 2.5.5,
+o
a=1
cca a
2
n
con-
vergente.
Os dois resultados seguintes referem-se natureza de sries cujo termo
geral o produto de duas sucesses:
Teorema 2.5.8 (Teorema de Dirichlet) Se
+o
a=1
a
a
uma srie (no neces-
sariamente convergente) com a sucesso das somas parciais limitada e /
a

uma sucesso decrescente que tende para zero ento
+o
a=1
(a
a
/
a
) convergente.
Dem. 1
c
Passo: Provar por induo que, para o
a
= a
1
+ +a
a
se tem
a
1
/
1
+ +a
a
/
a
=
o
1
(/
1
/
2
) +o
2
(/
2
/
3
) + +o
a1
(/
a1
/
a
) +o
a
/
a
, \: N.
Para : = 1, a
1
/
1
= o
1
/
1
verdade.
Admitindo a igualdade verdadeira para : = j vericar para : = j + 1 :
a
1
/
1
+ +a
j
/
j
+a
j+1
/
j+1
=
[o
1
(/
1
/
2
) + +o
j1
(/
j1
/
j
) +o
j
/
j
] +
a
j+1
/
j+1
+ (o
j
/
j+1
o
j
/
j+1
)
= o
1
(/
1
/
2
) + +o
j1
(/
j1
/
j
) +o
j
(/
j
/
j+1
) + (a
j+1
+o
j
) /
j+1
= o
1
(/
1
/
2
) + +o
j
(/
j
/
j+1
) +o
j+1
/
j+1
.
2
c
Passo: Passando ao limite
lim(a
1
/
1
+ +a
a
/
a
) = lim
a
i=2
o
i1
(/
i1
/
i
) + limo
a
/
a
.
Os dois limites do segundo membro existem porque:
o
a
/
a
0, pelo Teorema 1.8.3;
a srie
+o
i=2
o
i1
(/
i1
/
i
) convergente.pois
[o
i1
(/
i1
/
i
)[ = [o
i1
[ (/
i1
/
i
) _ ' (/
i1
/
i
)
e
+o
i=2
(/
i1
/
i
) convergente.pois uma srie de Mengoli com /
a
convergente.
Ento a srie
+o
i=2
o
i1
(/
i1
/
i
) absolutamente convergente. Logo
lim(a
1
/
1
+ +a
a
/
a
) nito pelo que a srie
+o
a=1
(a
a
/
a
) conver-
gente.
Fortalecendo a hiptese sobre
+o
a=1
a
a
e enfraquecendo a condio sobre
/
a
, obtem-se:
Teorema 2.5.9 (Teorema de Abel) Se
+o
a=1
a
a
uma srie convergente e
/
a
_ 0 uma sucesso decrescente (no necessariamente com limite zero)
ento
+o
a=1
(a
a
/
a
) convergente.
Dem. Como /
a
montona e limitada (0 _ /
a
_ /
1
, \: N) ento
convergente, isto , tem limite. Seja / esse limite.
A sucesso (/
a
/) decrescente e (/
a
/) 0.
Como a srie
+o
a=1
a
a
convergente, a respectiva sucesso das somas par-
ciais limitada, pelo que se pode aplicar o Teorema 2.5.8 e garantir que
+o
a=1
[a
a
(/
a
/)] convergente.
Como a
a
/
a
= a
a
(/
a
/) +/a
a
ento
+o
a=1
(a
a
/
a
) =
+o
a=1
[a
a
(/
a
/) +/a
a
] convergente.
2.6 Sries alternadas
Se os termos da srie no tm sinal xo, isto , vo alternando o sinal, a
srie ser do tipo
+o
a=1
(1)
a
/
a
, (/
a
_ 0) ,
2.6. SRIES ALTERNADAS 41
a srie diz-se alternada.
O estudo da natureza deste tipo de sries faz-se com recurso convergn-
cia absoluta ou se se pretender apenas a convergncia simples ao critrio de
Leibniz:
Teorema 2.6.1 (Critrio de Leibniz) Se /
a
_ 0 uma sucesso decrescente
com limite zero ento
+o
a=1
(1)
a
/
a
convergente.
Dem. A a sucesso das somas parciais da srie
+o
a=1
(1)
a
limitada (em-
bora no convergente). Como /
a
uma sucesso decrescente com lim/
a
= 0,
ento fazendo no Teorema 2.5.8 a
a
= (1)
a
obtem-se o resultado pretendido.
Observao 2.6.2 A condio de /
a
ser decrescente para zero no pode ser
retirada.
Sem a monotonia de /
a
a srie pode divergir.
Exerccio 2.6.3 Prove que a sucesso /
a
=
1
a
[2 + (1)
a
] tende para 0 mas
no montona e a srie
+o
a=1
(1)
a
1
:
[2 + (1)
a
]
divergente.
Resoluo: Suponha-se, com vista um absurdo, que a a srie
+o
a=1
(1)
a 1
a
[2 + (1)
a
]
convergente.
Ento a srie
+o
a=1
1
:
=
+o
a=1
(1)
a
2
:
+
+o
a=1
_
2
:
(1)
a
+
1
:
_
seria convergente pela Proposio 2.4.1. Ora isto absurdo porque a srie
harmnica divergente.
Exerccio 2.6.4 Estude a natureza da srie
+o
a=1
(1)
a
1
:
.
Resoluo: A srie
+o
a=1
(1)
a 1
a
no absolutamente convergente pois
+o
a=1
(1)
a
1
:
=
+o
a=1
a
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 absoluta-
mente convergentes.
2.7 Critrios de convergncia para sries de ter-
mos 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 a
a
_ 0, /
a
_ 0,
\: N e
lim
a
a
/
a
= |, (0 < | < +)
ento as sries
+o
a=1
a
a
e
+o
a=1
/
a
so da mesma natureza.
Dem. Aplicando a denio de limite sucesso
on
bn
, obtem-se
\c 0 j N: : j ==| c <
a
a
/
a
< | +c.
Fixando c tal que 0 < c < | tem-se, para : j,
/
a
(| c) < a
a
< /
a
(| +c) .
2.7. CRITRIOS DE CONVERGNCIAPARASRIES DE TERMOS NONEGATIVOS43
Pelo Teorema 2.5.2, se
+o
a=1
/
a
divergente ento
+o
a=1
a
a
divergente, e se
+o
a=1
/
a
convergente ento
+o
a=1
a
a
convergente.
Exemplo 2.7.2 A srie
+o
a=1
:c:
_
1
:
_
divergente porque
lim
:c:
_
1
a
_
1
a
= 1
e
+o
a=1
1
a
divergente.
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 a
1
_ a
2
_
a
3
_ ... _ 0. Ento
+o
a=1
a
a
converge se e s se
+o
I=0
2
I
a
2
k = a
1
+ 2a
2
+ 4a
4
+ 8a
8
+... for convergente.
Dem. Sejam o
a
e T
I
as somas parciais das duas sries, isto ,
o
a
= a
1
+ +a
a
T
I
= a
1
+ 2a
2
+ 4a
4
+ + 2
I
a
2
k.
Para : _ 2
I+1
1, tem-se
o
a
= a
1
+ (a
2
+a
3
) + (a
4
+a
5
+a
6
+a
7
) +
+
_
a
2
k + +a
2
k+1
1
_
_ a
1
+ 2a
2
+ 4a
4
+ + 2
I
a
2
k = T
I
.
(==) Assim se
+o
I=0
2
I
a
2
k convergente ento, pela Proposio 2.5.1 T
I
majorada.
Como para qualquer : existe / N
0
tal que : _ 2
I+1
1, tem-se que
o
a
_ T
I
, pelo que o
a
majorada e, pela Proposio 2.5.1, a srie
+o
a=1
a
a

convergente.
(==) Suponha-se que
+o
a=1
a
a
convergente. Para : _ 2
I
,.tem-se
o
a
= a
1
+ +a
a
_ a
1
+a
2
+ (a
3
+a
4
) + (a
5
+a
6
+a
7
+a
8
) +
+
_
a
2
k+1
+1
+ +a
2
k
_
_
1
2
a
1
+a
2
+ 2a
4
+ 4a
8
+ + 2
I1
a
2
k =
1
2
T
I
,
pelo que T
I
_ 2o
a
. Como
+o
a=1
a
a
convergente ento o
a
majorada pelo
que T
I
tambm majorada. Pela Proposio 2.5.1, a srie
+o
I=0
2
I
a
2
k con-
vergente.
Corolrio 2.7.5 A srie de Dirichlet
+o
a=1
1
a
convergente se e s se c 1
(c R).
Dem. Para c _ 0,
1
a
no um innitsimo, logo pelo Corolrio 2.3.8,

a srie divergente.
Para c 0 a sucesso
1
a
est nas condies do teorema anterior. Assim

para /
a
= 2
a
a
2
n = 2
a 1
(2
n
)
= 2
(1c)a
a srie
+o
a=1
/
a
=
+o
a=1
2
(1c)a
uma
srie geomtrica de razo 2
1c
, que converge se, e s se, 1 c < 0, isto ,
c 1.
Em situaes em que o limite apresente algumas diculdades ou no
exista, pode optar-se pela comparao das razes entre dois termos consec-
utivos.
Teorema 2.7.6 (Critrio da comparao das razes) Sejam a
a
, /
a
0 e,
a partir de uma certa ordem j,
a
a+1
a
a
_
/
a+1
/
a
.
Ento:
a) Se
+o
a=1
/
a
convergente ento
+o
a=1
a
a
convergente.
b) Se
+o
a=1
a
a
divergente ento
+o
a=1
/
a
divergente.
Dem. A desigualdade da hiptese equivalente a
a
a+1
/
a+1
_
a
a
/
a
.
o que prova que a sucesso
on
bn
decrescente, a partir de uma certa ordem
j, pelo que majorada por
op
bp
, para : _ j. Ou seja,
on
bn
_
op
bp
e a
a
_ /
a
op
bp
,
para : _ j.
Aplicando o Teorema 2.5.2 obtem-se a concluso pretendida.
Exerccio 2.7.7 Estudar a natureza das sries
a).
1
2
+
13
24
+
135
246
+... =
+o
a=1
13(2a1)
24(2a)
b).
+o
a=1
1+(1)
n
a
2
.
Teorema 2.7.8 (Critrio da razo) Seja a
a
0.
a) Se existe um nmero r tal que 0 < r < 1 e
o
n+1
on
_ r, a partir de uma
certa ordem, ento
+o
a=1
a
a
convergente.
b) Se a partir de uma certa ordem,
o
n+1
on
_ 1 ento
+o
a=1
a
a
divergente.
Dem. a) Aplicando a alnea a) do teorema anterior s sries
+o
a=1
a
a
e
+o
a=1
r
a
, em que a segunda convergente porque uma srie geomtrica com
[r[ < 1, pois
a
a+1
a
a
_
r
a+1
r
a
= r.
b) Aplicando a alnea b) do Teorema 2.7.6 s sries
+o
a=1
a
a
e
+o
a=1
1, sendo
esta divergente. Como
o
n+1
on
_ 1 ento
+o
a=1
a
a
divergente.
Teorema 2.7.9 (Critrio de DAlembert) Se a
a
0 e lim
o
n+1
on
= |, nito
ou +, ento
a) Se | < 1, ento
+o
a=1
a
a
convergente.
b) Se | 1 ento
+o
a=1
a
a
divergente.
Dem. a) Pela denio de limite,
\c 0, j N :
a
a+1
a
a
< | +c, para : _ j.
Como | < 1, escolha-se c sucientemente pequeno de modo que | + c < 1.
Aplicando o Teorema 2.7.8 com r = | + c < 1 conclui-se que
+o
a=1
a
a

convergente.
b) Pela denio de limite,
\c 0, j N : | c <
a
a+1
a
a
, para : _ j.
Como | 1, escolha-se c 0 de modo que | c 1. Assim
o
n+1
on
| c 1
e pelo Teorema 2.7.8 a srie
+o
a=1
a
a
divergente.
Observao 2.7.10 Se | = 1 este critrio no conclusivo, contudo se
lim
a
a+1
a
a
= 1
+
decorre do teorema anterior que a srie divergente.
Exerccio 2.7.11 (i) Prove que a srie
+o
a=1
1
a!
convergente.
(ii). Discuta a natureza da srie
+o
a=1
`
a
:!
:
a
em funo do parmetro `.
Teorema 2.7.12 (Critrio da raiz) Seja a
a
_ 0 \: N. Ento
a) Se
n
_
a
a
_ r, com r < 1, a partir de uma certa ordem, ento
+o
a=1
a
a

convergente.
b) Se
n
_
a
a
_ 1, para uma innidade de valores de :,. ento
+o
a=1
a
a

divergente.
Dem. a) Como
n
_
a
a
_ r ento a
a
_ r
a
, para : _ j e
+o
a=1
r
a
conver-
gente,.porque r < 1, ento, pelo Teorema 2.5.2,
+o
a=1
a
a
convergente.
b) Se
n
_
a
a
_ 1 para uma innidade de valores de : ento lima
a
,= 0.
Logo
+o
a=1
a
a
divergente.
Teorema 2.7.13 (Critrio da raiz de Cauchy) Seja a
a
_ 0 \: N e
suponhamos que lim
n
_
a
a
= |, nito ou +. Ento
a) Se | < 1,
+o
a=1
a
a
convergente.
b) Se | 1,
+o
a=1
a
a
divergente.
Observao 2.7.14 Se | = 1 este critrio no conclusivo.
Dem. a) Pela denio de limite,
\c 0, j N :
n
_
a
a
< | +c, para : _ j.
Como | < 1, escolhe-se c 0 sucientemente pequeno tal que | + c < 1 e
em seguida escolhe-se tal que r = | +c < 1.
Assim
n
_
a
a
< r e, pelo Teorema 2.7.12, a srie convergente.
b) Pela denio de limite,
\c 0, j N : | c <
n
_
a
a
, para : _ j.
Como | 1, escolhe-se c 0 tal que | c 1 e, assim
n
_
a
a
1. Pelo
Teorema 2.7.12, a srie divergente.
Se | = +, pela denio de limite,
\c 0, j N : : _ j ==
n
_
a
a
|.
Em particular para c = 1,
n
_
a
a
1.
Exemplo 2.7.15 (i) A srie
+o
a=1
1
_
a
n
convergente porque, pelo critrio da
raiz de Cauchy
lim
n
_
1
_
:
a
= lim
1
_
:
= 0.
(ii). Para a srie
+o
a=1
1
[3 + (1)
a
]
2a
no possvel calcular
lim
n
_
1
[3 + (1)
a
]
2a
= lim
1
[3 + (1)
a
]
2
porque o limite no existe. Contudo decompondo a srie e pode calcular-se
os dois sub-limites:
: par, lim
1
[3+(1)
n
]
2
=
1
16
,
: mpar, lim
1
[3+(1)
n
]
2
=
1
4
.
Como ambos so menores que 1, ento a srie convergente.
2.8. RESTO DE UMA SRIE 49
2.8 Resto de uma srie
Ao aproximarmos a soma de uma srie pela soma se alguns termos, comete-
se um erro.
Denio 2.8.1 Dada uma srie
+o
a=1
a
a
, chama-se resto de ordem j srie
+o
a=j+1
a
a
= a
j+1
+a
j+2
+ = 1
j
.
Como
+o
a=1
a
a
= (a
1
+a
2
+ +a
j
) +1
j
observa-se que o erro cometido ao tomar para valor da soma da srie, a soma
dos primeiros j termos 1
j
.
No clculo aproximado interessa conhecer majorantes dos erros cometi-
dos nas aproximaes feitas.
Nas sries de termos positivos existem alguns resultados que majoram o
resto:
Teorema 2.8.2 Se j N, a
a
0 \: N, e existir um nmero /
j
tal que
a
a+1
a
a
_ /
j
< 1, para : _ j + 1,
ento
1
j
_
a
j+1
1 /
j
.
Dem. Pelo Teorema 2.7.8, a srie
+o
a=1
a
a
convergente. Por outro lado
1
j
= a
j+1
+a
j+2
+a
j+3
+
= a
j+1
_
1 +
a
j+2
a
j+1
+
a
j+3
a
j+1
+
_
.
Por hiptese
a
j+2
a
j+1
_ /
j
e
a
j+3
a
j+1
=
a
j+3
a
j+2
.
a
j+2
a
j+1
_ (/
j
)
2
.
Anlogamente
o
p+4
o
p+1
_ (/
j
)
3
e assim sucessivamente.
Ento
1
j
_ a
j+1
_
1 +/
j
+ (/
j
)
2
+ (/
j
)
3
+
_
= a
j+1
1
1 /
j
.
Outro resultado para sries de termos no negativos:
Teorema 2.8.3 Se a
a
_ 0 \: N, e existir um nmero /
j
tal que
n
_
a
a
_
/
j
< 1, para : _ j + 1, ento
1
j
_
/
j+1
j
1 /
j
.
Dem. A srie
+o
a=1
a
a
convergente pelo Teorema 2.7.12. O erro
1
j
= a
j+1
+a
j+2
+a
j+3
+
_ (/
j
)
j+1
_
1 +/
j
+ (/
j
)
2
+ (/
j
)
3
+
_
=
/
j+1
j
1 /
j
.
Para sries alternadas, tem-se o seguinte resultado:
Teorema 2.8.4 Seja a
a
_ 0 uma sucesso decrescente com limite zero e
1
j
o resto de ordem j da srie
+o
a=1
(1)
a
a
a
. Ento
1
j
_ a
j+1
.
Dem. Pelo Teorema 2.6.1, a srie convergente e
1
j
= (1)
j+1
a
j+1
+ (1)
j+2
a
j+2
+
Multiplicando por (1)
j+1
tem-se
(1)
j+1
1
j
= (a
j+1
a
j+2
) + (a
j+3
a
j+4
) +
e como a
a
uma sucesso decrescente ento cada diferena no negativa e
(1)
j+1
1
j
_ 0. (2.8.1)
2.8. RESTO DE UMA SRIE 51
Por outro lado
_
(1)
j+1
1
j
a
j+1
_
= (a
j+2
a
j+3
) + (a
j+4
a
j+5
) + _ 0.
Ou seja,
(1)
j+1
1
j
_ a
j+1
,
e, por (2.8.1),
0 _ (1)
j+1
1
j
_ a
j+1
,
pelo que [1
j
[ _ a
j+1
.
Exemplo 2.8.5 Se para soma da srie
+o
a=1
(1)
a 1
a
tomarmos o nmero
1 +
1
2

1
3
+
1
4
,
comete-se um erro 1
a
tal que [1
a
[ _
1
5
.
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 A R, ) : A R uma funo real denida em
A e a um ponto de acumulao de A. Diz-se que / R o limite de )(r)
no ponto a e escreve-se )(r) / quando r a ou
lim
ao
)(r) = /,
quando
\c 0 - 0: \r A, [r a[ < - ==[)(r) /[ < c.
Intuitivamente lim
ao
)(r) = /:
signica que )(r) est arbitrariamente prximo de / quando r est
sucientemente perto de a.
no d informao sobre o valor de )(r) no ponto a, isto , sobre )(a).
Exerccio 3.1.2 Prove por denio que
lim
ao
_
r
2
+ 4
_
= a
2
+ 4.
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 A R, ) : A R , a um ponto de
acumulao de A e / R Ento lim
ao
)(r) = / equivalente a dizer que
lim)(r
a
) = / para todas as sucesses r
a
Aa tais que r
a
a .
Dem. (==) Suponhamos que lim
ao
)(r) = /.
Seja r
a
uma sucesso tal que r
a
a. Ento, a partir de uma certa
ordem : _ j, [r
a
a[ < -. Pela Denio 3.1.1,
[)(r
a
) /[ < c, para : _ j e c 0 xo,
o que prova que lim)(r
a
) = /.
(==) Considere-se que lim)(r
a
) = / para todas as sucesses sucesses
r
a
Aa tais que r
a
a.
Suponhamos, por contradio, que lim
ao
)(r) ,= /. Ento
c 0 : \- 0, [r a[ < - e [)(r) /[ _ c,
para um certo r A que depende de -.
Ento se para cada : N zermos - =
1
a
e designarmos o correspondente
r por r
a
, obtem-se uma sucesso r
a
tal que
0 < [r
a
a[ <
1
:
e [)(r
a
) /[ _ c,
isto ,
r
a
a, r
a
,= a e lim)(r
a
) ,= /,
o que contradiz a hiptese.
Exerccio 3.1.4 Verique se existe
lim
a0
_
2 +:c:
1
r
_
.
Resoluo: Para todos os pontos da forma r =

2
+ 2:, : N, tem-se
:c:(r) = 1.
Considerando a sucesso
1
r
a
=

2
+ 2:
tem-se
r
a
=
1
2
+ 2:
e r
a
0.
3.1. LIMITE DE UMA FUNO 55
Para )(r) = 2 +:c:
1
a
obtem-se
)(r
a
) = 2 +:c:
_
2
+ 2:
_
= 3.
Analogamente, denindo
1
jn
=
3
2
+ 2: temos
j
a
=
1
3
2
+ 2:
0 e )(j
a
) = 2 +:c:
_
3
2
+ 2:
_
= 1.
Assim pelo teorema anterior h uma contradio, pois r
a
0 e j
a
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 ), q, / : A R R e a um ponto de acumulao
de A.
1. (Unicidade do limite) Se existir lim
ao
)(r) ento nico.
2. Se )(r) = q(r), \r \
.
(a) A e existem lim
ao
)(r) e lim
ao
q(r) ento
lim
ao
)(r) = lim
ao
q(r).
3. Se lim
ao
)(r) < lim
ao
q(r) ento existe - 0 tal que
)(r) < q(r), \r \
.
(a).
4. Se )(r) _ q(r), \r \
.
(a) A ento
lim
ao
)(r) _ lim
ao
q(r),
caso existam os respectivos limites.
5. Se /(r) _ )(r) _ q(r), \r \
.
(a) A e se lim
ao
/(r) = lim
ao
q(r) ento
lim
ao
)(r) existe e
lim
ao
/(r) = lim
ao
)(r) = lim
ao
q(r).
Dem. 1. Suponhamos que existem dois valores para lim
ao
)(r). Isto ,
lim
ao
)(r) = / e lim
ao
)(r) = /
t
.
Ento para cada cada c 0 existe - 0 tal que
[)(r) /[ <
c
2
e

)(r) /
t
<
c
2
,
desde que r A e [r a[ < -.
Escolhendo um valor de r nestas condies tem-se
/ /
t
/ )(r) +)(r) /
t
_ [/ )(r)[ +
)(r) /
t
<
c
2
+
c
2
= c,
para \c 0, o que implica / = /
t
.
2. Tomando r tal que [r a[ < -, tem-se
[)(r) /[ = [q(r) /[ < c,
para qualquer c 0. Logo
lim
ao
)(r) = lim
ao
q(r).
3. Seja lim
ao
)(r) = / < lim
ao
q(r) = c e escolha-se c 0 tal que 0 < c <
cb
2
, ou seja tal que / +c < c c.
Ento, existe - 0 tal que r \
.
(a) A e
/ c < )(r) < / +c e c c < q(r) < c +c.
Em particular
)(r) < / +c < c c < q(r), \r \
.
(a) A.
4. Resulta directamente das alneas 2. e 3.
5. Aplicar argumentos semelhantes demonstrao do Teorema 1.9.3.
3.2. LIMITES EM R 57
3.2 Limites em R
A noo de limite pode estender-se ao caso em que a = e a situaes
em que o valor do limite .
Denio 3.2.1 Sejam A R, ) : A R e a um ponto de acumulao
de A.
(i) Diz-se que lim
ao
)(r) = + quando para qualquer 1 0 existe - 0 tal
que para r ]a -, a +-[(Aa) se tem )(r) 1.
Simbolicamente quando
\1 0 - 0: \r A, 0 < [r a[ < - ==)(r) 1.
(ii) Analogamente
lim
ao
)(r) = =\1 0 - 0 : \r A, 0 < [r a[ < - ==)(r) < 1.
Exerccio 3.2.2 Prove por denio que
lim
a0
2
r
2
r
= +.
Denio 3.2.3 Seja A R.
(i) Se X uma parte no majorada de R, ) : A R e / R, diz-se que
lim
a+o
)(r) = / se
\c 0 r
0
R: \r A, r r
0
==[)(r) /[ < c.
(ii) Se / = + ento lim
a+o
)(r) = + se
\1 0 r
0
R: \r A, r r
0
==)(r) 1.
(iii) Se X uma parte no minorada de R, dene-se de modo anlogo
lim
ao
)(r) = /, lim
ao
)(r) = + e lim
ao
)(r) = .
Exerccio 3.2.4 Mostre, por denio, que
lim
a+o
r
2
8r + 3
r
2
4
= 1.
Note-se que quando A = N a funo ) 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
ao
)(r) =
/ e lim
ao
q(r) = c, tem-se que:
1. lim
ao
() +q) (r) = / +c;
2. lim
ao
() q) (r) = / c;
3. lim
ao
[)(r)[ = [/[
4. lim
ao
)(a)
j(a)
=
b
c
, se c ,= 0.
5. lim
ao
[/(r)[ = 0 == lim
ao
/(r) = 0
Dem. As demonstraes so anlogas s utilizadas no Teorema 1.9.1.
Exerccio 3.2.6 Considere a funo ) : R0 R dada por
)(r) = r :c:
_
1
r
_
.
Calcular lim
a0
)(r).
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 A para valores
maiores que a. Chama-se limite lateral de ) direita de a , notando-se
)(a
+
) ou lim
ao
+
)(r) = /, se
\c 0 - 0 : r A, a < r < a +- ==[)(r) /[ < c.
(ii) Analogamente, chama-se limite lateral de ) esquerda de a , notando-se
)(a
) ou lim
ao
)(r) = /, se
\c 0 - 0 : r A, a - < r < a ==[)(r) /[ < c.
3.4. FUNES CONTNUAS 59
Observao 3.3.2 Se a um ponto de acumulao de A ento
lim
ao
)(r) = / == lim
ao
+
)(r) = lim
ao
)(r) = /.
Exerccio 3.3.3 Calcule, se existir, lim
a1
)(r) sendo
)(r) =
_
a
2
+
3
2
se r _ 1
1 r
2
se r < 1.
3.4 Funes contnuas
Geometricamente, uma funo contnua num ponto se, nesse ponto, no
houver saltos.
Denio 3.4.1 Considere-se A R, ) : A R e a A.
A funo ) contnua em a quando lim
ao
)(r) = )(a), isto ,
\c 0 - 0 : \r A, [r a[ < - ==[)(r) )(a)[ < c.
Observao 3.4.2 Se a um ponto isolado, a funo ) necessariamente
contnua em a, uma vez que, tomando - 0 tal que \
.
(a) A = a a
condio [r a[ < - ==r = a e obviamente se verica
[)(r) )(a)[ = 0 < c, \c 0.
Exerccio 3.4.3 Considere a funo real de varivel real denida por
:(r) =
_
a
2
3a+2
a
2
4
se r ,= 2
3/ + 2 se r = 2.
Determine o valor do parmetro / de modo a que a funo seja contnua em
r = 2.
3.5 Continuidade lateral
Denio 3.5.1 Seja a um ponto de acumulao de A e ) : A R.
(i) )(r) diz-se contnua direita de a se
lim
ao
+
)(r) = )(a).
(ii) )(r) contnua esquerda de a se
lim
ao
)(r) = )(a).
Observao 3.5.2 Se )(r) contnua em a ento )(r) contnua es-
querda e direita de a.
As propriedades algbricas das funes contnuas num ponto podem sin-
tetizar no prximo resultado:
Proposio 3.5.3 Sejam ), q : A R duas funes contnuas num ponto
de acumulao a de A. Ento:
(i) () +q) , () q) , [)[ e ()) so funes contnuas em a;
(ii)
)
j
contnua em a se q(a) ,= 0.
Dem. Resulta directamente das propriedades algbricas dos limites.
Proposio 3.5.4 (Continuidade da funo composta) Considere-se , :
1 R R e ) : 1 R R duas funes tais que ,(1) 1.
Se , contnua em a 1 e ) contnua em ,(a) 1 ento () ,)
contnua em a.
Dem. Pretende-se provar que lim
ao
() ,) (r) = () ,) (a).
Seja r
a
1 uma sucesso tal que r
a
a, por valores diferentes de a.
A sucesso correspondente ,(r
a
) ,(a) porque , contnua em a. Por
sua vez a funo ) transforma a sucesso ,(r
a
) na sucesso ) [,(r
a
)] que
converge para ) [,(a)] visto que ) contnua em ) [,(a)] .
Ento qualquer que seja a sucesso r
a
a, temos que
() ,) (r
a
) = ) [,(r
a
)] ) [,(a)] ,
isto , lim
ao
() ,) (r) = () ,) (a).
Observao 3.5.5 Da proposio anterior resulta a possibilidade de per-
mutar a passagem ao limite com a funo, isto ,
lim
ao
) [,(r)] = )
_
lim
ao
,(r)
_
.
esta propriedade que permite o clculo
lim
a
3
:c:
_
2r +

6
_
= :c:
_
lim
a
3
_
2r +

6
_
_
= :c:
_
5
6
_
=
1
2
.
3.6. CONTINUIDADE NUM INTERVALO 61
3.6 Continuidade num intervalo
Denio 3.6.1 (a) A funo ) : 1 R R diz-se contnua no intervalo
]a, /[ 1 se e s se for contnua em todos os pontos desse intervalo.
(b) A funo ) contnua no intervalo [a, /] 1 se:
) contnua direita de a;
) contnua em ]a, /[;
) contnua esquerda de /.
Exerccio 3.6.2 Determine ` e j de modo a que a funo
)(r) =
_
_
_
2 +` se r _ 0
a
2
a
a
2
4a+3
se 0 < r < 1
1 3j se r _ 1
seja contnua no intervalo [0, 1].
3.7 Descontinuidades
Denio 3.7.1 Seja ) : 1 R R.
(i) O ponto a 1 um ponto de descontinuidade se )(r) no contnua
em a.
(ii) A funo ) tem uma descontinuidade de 1
o
espcie em a se )(r) no
contnua em a e admite limites laterais nitos.
(iii) Um ponto de descontinuidade diz-se de 2
o
espcie se pelo menos um
dos limites laterais em a innito.
Por vezes conveniente denir o salto de ) :
Denio 3.7.2 Chama-se salto de ) : 1 R R num ponto a 1, que
admite limites laterais )(a
+
) e )(a
) a:
o(a) = max [)(a
+
) )(a)[ , [)(a
) )(a)[ , caso existam ambos os

limites laterais;
o(a) = [)(a
+
) )(a)[ ou o(a) = [)(a
) )(a)[ se existirem apenas

)(a
+
) ou )(a
), respectivamente;
o(a) = 0, se a um ponto isolado.
Exerccio 3.7.3 Determine e classique os pontos de descontinuidade de
)(r) =
_
_
_
r , r 2
r
2
+ 2r , 0 _ r _ 2
1
a
, r < 0.
Em cada ponto de descontinuidade calcule o salto de ).
3.8 Teoremas fundamentais sobre continuidade
Teorema 3.8.1 (de Bolzano ou do valor intermdio) Se ) : [a, /] R
uma funo contnua em [a, /] e / um valor compreendido entre )(a) e
)(/) ento existe pelo menos um valor c ]a, /[ tal que )(c) = / .
Dem. Suponhamos que )(a) _ )(/) e )(a) _ / _ )(/).
Divida-se o intervalo [a, /] ao meio. Dos dois intervalos obtidos seja
[a
1
, /
1
] o que verica )(a
1
) _ / _ )(/
1
).
Se vericarem os dois subintervalos escolhe-se arbitrariamente um deles
para [a
1
, /
1
].
Por nova diviso ao meio do intervalo [a
1
, /
1
] obtm-se dois intervalos.
Seja [a
2
, /
2
] o intervalo que verica )(a
2
) _ / _ )(/
2
). Prosseguindo in-
denidamente desta forma obtem-se uma sucesso de intervalos
[a
1
, /
1
] [a
2
, /
2
] [a
a
, /
a
]
que verica )(a
a
) _ / _ )(/
a
). Seja c o nmero real comum a todos estes
intervalos
_
c

aN
[a
a
, /
a
]
_
. Assim, a
a
c e /
a
c e, passando ao limite
nas ltimas desigualdades, tem-se, pela continuidade de ), )(c) _ / _ )(c),
pelo que )(c) = /.
Se se supuser )(/) _ )(a) e )(/) _ / _ )(a) a demonstrao anloga.
Numa verso mais simplicada pode enunciar-se assim:
"Se ) uma funo contnua ento no passa de um valor a outro sem
passar por todos os valores intermdios."
Um importante corolrio deste teorema para / = 0 diz o seguinte:
Corolrio 3.8.2 Se ) : [a, /] R uma funo contnua em [a, /] com
)(a) )(/) < 0 ento ) tem pelo menos um zero em ]a, /[,isto ,
c ]a, /[: )(c) = 0.
3.8. TEOREMAS FUNDAMENTAIS SOBRE CONTINUIDADE 63
Exerccio 3.8.3 Provar que a equao
r
3
= 3r
2
1
tem pelo menos uma raiz real.
Teorema 3.8.4 Se ) uma funo contnua num conjunto 1 R limitado
e fechado, ento )(1) limitado e fechado.
Dem. a) Provar que )(1) limitado.
Suponhamos, por contradio, que )(1) no limitado. Ento existe
uma sucesso j
a
)(1) tal que j
a
.
Pelo Teorema 3.8.1, para cada : N existe r
a
1 tal que ) (r
a
) = j
a
e como 1 um conjunto limitado ento r
a
uma sucesso limitada, logo
admite uma subsucesso convergente (pelo Corolrio 1.7.9) que se designa
por r
cn
c.
Como 1 um conjunto limitado, c 1. assim ) (r
cn
) = j
cn
) (c) ,
porque ) contnua, o que contradiz o facto de j
a
.
b) Provar que )(1) fechado, ou seja as sucesses convergentes em )(1)
tm limites em )(1).
Seja j
a
)(1) tal que j
a
c.
Como para cada : N existe r
a
1 tal que ) (r
a
) = j
a
e 1 um
conjunto limitado, pode extrair-se uma subsucesso r
cn
r.
Como 1 fechado ento r 1. Assim ) (r
cn
) = j
cn
e passando ao
limite quando : +, tem-se
)(r) = lim) (r
cn
) = limj
cn
= c.
Como r 1 logo c = )(r) )(1).
Teorema 3.8.5 (Teorema de Weierstrass) Toda a funo contnua num
conjunto no vazio, limitado e fechado tem mximo e mnimo nesse con-
junto.
Dem. Seja ) uma funo contnua em 1 ,= ?, limitado e fechado.Pelo
Teorema 3.8.4, )(1) limitado. Como )(1) ,= ? ento existe : = sup)(1).
Pela denio de supremo (o menor dos majorantes), para qualquer c 0
existem pontos de )(1) que pertencem ao intervalo ]: c, :[ . Ento
: )(1) = )(1), porque )(1) fechado.
Como : )(1) e : = sup)(1) ento : o mximo de )(1).
A demonstrao anloga para a existncia de mnimo de )(1).
Proposio 3.8.6 Seja ) : 1 R R uma funo contnua num intervalo
1. Ento )(1) um intervalo.
Dem. Considere-se j
1
, j
2
)(1) tais que j
1
< j
2
e j
1
= ) (r
1
) e
j
2
= ) (r
2
).
Como ) uma funo contnua no intervalo [r
1
, r
2
] (ou [r
2
, r
1
] se for
r
2
< r
1
) resulta pelo Teorema 3.8.1 que [j
1
, j
2
] )(1), pelo que )(1) um
intervalo.
Observao 3.8.7 Este teorema no refere a natureza do intervalo )(1),
o qual ter necessariamente como extremos inf
a1
)(r) e sup
a1
)(r), que podero,
ou no, pertencer a )(1). Isto , o intervalo pode ser aberto, fechado ou
semi-aberto.
Proposio 3.8.8 Seja 1 um intervalo e ) : 1 R R uma funo
contnua e injectiva. Ento ) estritamente montona.
Dem. Se 1 = r
0
o resultado trivial ( )(r
0
) um nico ponto).
Considerem-se ento r
0
, j
0
1 dois elementos quaisquer tais que r
0
<
j
0
. Como, pela injectividade ) (r
0
) ,= ) (j
0
) ter-se-
) (r
0
) < ) (j
0
) ou ) (j
0
) < ) (r
0
) .
No primeiro caso prova-se que ) estritamente crescente e no segundo caso
estritamente decrescente.
Suponha-se que ) (r
0
) < ) (j
0
) (no 2
c
caso a demonstrao anloga) e
prove-se que para r
0
< r < j
0
se tem ) (r
0
) < ) (r) < ) (j
0
) .
Com efeito, se assim no fosse, tinha-se: (i) ) (r) < ) (r
0
) < ) (j
0
) ou
(ii) ) (r
0
) < ) (j
0
) < ) (r) .
No caso (i), o Teorema 3.8.1 garante que existe ]r, j
0
[ tal que ) () =
) (r
0
) o que contraria a injectividade de ).
Finalmente, para provar a monotonia, se r
0
< r < j < j
0
, pela 1
o
parte
da demonstrao, tem-se que
) (r
0
) < ) (j) < ) (j
0
) .
Como r
0
< r < j e ) (r
0
) < ) (j) , tem-se pela parte anterior que
) (r
0
) < ) (r) < ) (j) .
Assim provou-se que no intervalo [r
0
, j
0
] a funo ) estritamente crescente.
Como r
0
e j
0
so pontos arbitrrios em 1 ento ) estritamente crescente
em 1.
3.9. ASSMPTOTAS 65
Proposio 3.8.9 Seja ) : 1 R R uma funo montona num inter-
valo 1. Se )(1) um intervalo ento ) contnua.
Dem. Suponhamos que ) crescente e seja r
0
1 (no caso de ) ser
decrescente o raciocnio semelhante).
Designe-se por
)(r
0
) := lim
aa
0
)(r) e )(r
+
0
) := lim
aa
+
0
)(r).
Como ) montona ento os limites anteriores so nitos e
)(r
0
) _ )(r
0
) _ )(r
+
0
).
Se fosse )(r
0
) < )(r
+
0
) ento )(1) no podia ser um intervalo, mas sim
uma reunio de intervalos, pois qualquer elemento j

)(r
0
), )(r
+
0
)
_
com
j ,= )(r
0
) no pertence a )(1).
Logo os limites laterais tm de ser iguais, isto , ) tem de ser contnua.
3.9 Assmptotas
Denio 3.9.1 (i) Sejam ) e / duas funes reais denidas para r r
0
.
Diz-se que a linha de equao j = /(r) assmptota ao grco de )(r) para
a direita (ou quando r +) se e s se
lim
a+o
[)(r) /(r)] = 0.
Geometricamente, signica que o grco de )(r) no difere muito do grco
de /(r) quando r grande e positivo.
(ii) Analogamente, se ) e / duas funes reais denidas para r < r
0
, a linha
de equao j = /(r) assmptota ao grco de )(r) para a esquerda (ou
quando r ) se e s se
lim
ao
[)(r) /(r)] = 0.
Exemplo 3.9.2 A funo /(r) = r
2
uma assmptota ao grco de )(r) =
a
5
1
a
3
para a direita, porque
lim
a+o
_
r
5
1
r
3
r
2
_
= lim
a+o
_
1
r
2
_
= 0.
Se em particular as assmptotas /(r) so rectas ento pode considerar-se
dois casos: rectas verticais e no verticais.
Denio 3.9.3 Seja ) : 1 R R e a um ponto de acumulao de 1.
A recta r = a uma assmptota vertical ao grco de )(r) se se vericar
pelo menos uma das quatro igualdades
lim
ao
+
)(r) = , lim
ao
)(r) = .
Proposio 3.9.4 A recta j = :r + / uma assmptota no vertical ao
grco de )(r), denida para r r
0
, se e s se
: = lim
a+o
)(r)
r
e / = lim
a+o
[)(r) :r]
existirem e forem nitos.
De modo anlogo se dene a assmptota para a esquerda.
Dem. (==) Suponha-se que a recta j = :r + / uma assmptota ao
grco de )(r).
Considere-se a denio de assmptota com /(r) = :r +/ (:, / R).
Ento, para o caso de assmptota para a direita de ), tem-se
lim
a+o
[)(r) :r /] = 0
donde
/ = lim
a+o
[)(r) :r]
e
0 = lim
a+o
1
r
[)(r) :r /] = lim
a+o
_
)(r)
r
:
/
r
_
= lim
a+o
_
)(r)
r
:
_
,
pelo que
: = lim
a+o
)(r)
r
.
Ento : e / 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
/ = lim
a+o
[)(r) :r] == lim
a+o
[)(r) :r /] = 0,
pelo que j = :r +/ uma assmptota ao grco de )(r) para a direita.
3.10. FUNO INVERSA 67
Exerccio 3.9.5 Determine a equao de todas as rectas que so assmpto-
tas ao grco de
)(r) =
r
3
r
2
4
.
3.10 Funo inversa
Denio 3.10.1 Seja ) : 1 R R uma funo injectiva. Diz-se que a
funo q : )(1) R a funo inversa de ) se q [)(r)] = r, \r 1.
Observao 3.10.2 (i) S as funes injectivas admitem funo inversa e
neste caso as equaes
j = )(r) e r = q(j)
so equivalentes.
(ii) Sendo q a funo inversa de ), para obter o grco da equao j = q(r)
basta efectuar sobre o o grco de j = )(r) uma simetria em relao
bissectriz dos quadrantes mpares.
-4 -2 2 4
-100
-50
50
100
x
y
r
3
-4 -2 2 4
-1.5
-1.0
-0.5
0.5
1.0
1.5
x
y
3
_
r
-1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0
-1.0
-0.5
0.5
1.0
x
y
O: qr a)ico: :~ ao :i: ctrico: rc|atia:c:tc a j = r
(iii) Se ) montona (sendo injectiva estritamente montona) e crescente
(decrescente) ento a sua inversa tambm estritamente montona
crescente (decrescente).
Com efeito, para r
1
, r
2
1) com r
1
< r
2
ento ) (r
1
) < ) (r
2
) , se ) for
crescente. Notando por q a funo inversa de ), tem-se
q[)(r
1
)] = r
1
< r
2
= q[)(r
2
)],
pelo que q crescente.
(iv) No confundir )
1
(r) com
1
)(a)
. Repare-se que para )(r) = r
3
se tem
)
1
(r) =
3
_
r mas
1
)(a)
=
1
a
3
.
Para uma funo contnua e injectiva, a funo inversa ainda contnua?
Teorema 3.10.3 (Continuidade da funo inversa) Seja ) uma funo con-
tnua e injectiva, denida num intervalo 1 R. Ento )
1
contnua.
Dem. Pela Proposio 3.8.8, ) estritamente montona e, portanto,
)
1
tambm estritamente montona.
Mas )
1
est denida no intervalo )(1), sendo o seu contradomnio 1
um intervalo. Ento, pela Proposio 3.8.9, )
1
contnua.
3.11. FUNO EXPONENCIAL 69
3.11 Funo exponencial
aplicao r a
a
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 a
a
(a 0) contnua e satisfaz as
propriedades:
1. a
a
0, \r R
2. a
a+j
= a
a
a
j
; (a
a
)
j
= a
aj
, \r, j R
3. Se a 1, a
a
estritamente crescente, lim
a+o
a
a
= +, lim
ao
a
a
= 0.
4. Se a < 1, a
a
estritamente decrescente, |i:
a+o
a
a
= 0, |i:
ao
a
a
= +.
5. Se a = 1, a
a
= 1, \r 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 r
1
, r
2
R tais que r
1
< r
2
e xem-se racionais r
1
e r
2
tais que
r
1
< r
1
< r
2
< r
2
.
Tomando as sucesses r
a
, :
a
Q com r
a
r
1
e :
a
r
2
tem-se, a
partir de uma certa ordem :
0,
r
a
< r
1
< r
2
< :
a
e, por consequncia,
a
a
1
= lima
vn
< a
v
1
< a
v
2
< lima
cn
= a
a
2
.
No estudo que se segue xa-se uma determinada base : c (nmero de
Neper)
Proposio 3.11.2 Tem-se
lim
a+o
_
1 +
1
r
_
a
= lim
ao
_
1 +
1
r
_
a
= c.
Dem. Calculando o limite para r +:
Seja r 1 e designe-se por 1(r) o maior inteiro menor ou igual a r.
Assim tem-se 1(r) _ r < 1(r) + 1 e
1 +
1
1(r)
_ 1 +
1
r
1 +
1
1(r) + 1
e, pelo Teorema 3.11.1 (3),
_
1 +
1
1(r)
_
1(a)+1
_
_
1 +
1
r
_
a
_
1 +
1
1(r) + 1
_
1(a)
.
Passando ao limite e fazendo no primeiro membro : = 1(r) tem-se
lim
a+o
_
1 +
1
1(r)
_
1(a)+1
= lim
_
1 +
1
:
_
a+1
= lim
_
1 +
1
:
_
a
_
1 +
1
:
_
= c.
Para o ltimo membro procede-se de modo anlogo com : = 1(r) + 1,
lim
a+o
_
1 +
1
1(r) + 1
_
1(a)
= lim
_
1 +
1
:
_
a1
= lim
_
1 +
1
:
_
a
_
1 +
1
:
_
1
= c.
Pela Proposio 3.1.5 (5), obtem-se
lim
a+o
_
1 +
1
r
_
a
= c.
Para o limite quando r faz-se a mudana de varivel r =
(1 +j):
lim
ao
_
1 +
1
r
_
a
= lim
j+o
_
1 +
1
(1 +j)
_
(1+j)
= lim
j+o
_
j 1 + 1
1 j
_
(1+j)
= lim
j+o
_
j
1 +j
_
(1+j)
= lim
j+o
_
1 +
1
j
_
1+j
= lim
j+o
_
1 +
1
j
_
j
_
1 +
1
j
_
= c.
3.11. FUNO EXPONENCIAL 71
lim
a+o
c
a
r
= + e lim
ao
r c
a
= 0.
Dem. Fazendo c = 1 +/ (/ 0 ) tem-se pelo binmio de Newton
c
a
:
=
(1 +/)
a
:
=
1 +:/ +
a
C
2
/
2
+ +/
a
:
1 +:/ +
a(a1)
2
/
2
:
=
1
:
+/ +
: 1
2
/
2
.
Ento
lim
c
a
:
lim
_
1
:
+/ +
: 1
2
/
2
_
= +,
pelo que lim
c
n
a
= +. Fazendo : = 1(r) tem-se : _ r < : + 1 e portanto
c
a
r

c
a
: + 1
_
c
a
: + 1
=
1
c
c
a+1
: + 1

ao
+.
Ento
lim
a+o
c
a
r
_ +== lim
a+o
c
a
r
= +.
No outro caso,
lim
ao
r c
a
= lim
j+o
j c
j
= lim
j+o
j
c
j
= lim
j+o
1
c
y
j
=
1
= 0.
Corolrio 3.11.4 Para / R tem-se
lim
a+o
c
a
r
I
= + e |i:
ao
[r[ c
a
= 0.
Isto , c
a
um innito superior a todas as potncias de r.
Dem. No caso do limite para +:
Se / _ 0,
lim
a+o
c
a
r
I
= lim
a+o
r
I
c
a
= +.
Para / 0, observando que
c
a
r
I
=
_
c
x
k
r
_
I
tem-se
lim
a+o
c
x
k
r
= lim
&+o
c
&
/n
=
1
/
lim
&+o
c
&
n
= +.
Para r aplica-se o resultado anterior com a mudana de varivel
r = j.
Exerccio 3.11.5 1. Indique o domnio e o contradomnio de cada um das
expresses:
a) )(r) = 2 5
13a
b) q(r) =
8
3
13x
+7
2. Resolva em R cada uma das condies:
a) 2
a
2
5a
=
1
16
b) 0, 25
a
2
_
_
1
16
_
2a
3. Calcular:
a) lim
a+o
c
3x
a
4
b) lim
ao
r c
x
3
2
3.12 Funo logartmica
Como a aplicao ) : r a
a
para a R
+
1 uma bijeco de R sobre
R
+
, ento admite uma aplicao inversa )
1
: R
+
R, que se designa por
funo logaritmo de base a e se representa por
log
o
: ]0, +[ R
r log
o
r
, com a R
+
1.
Como a
a
estritamente montona e contnua, a sua inversa, |oq
o
r tam-
bm 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:
|oq
o
r estritamente crescente;
3.12. FUNO LOGARTMICA 73
|oq
o
r 0 == r 1;
lim
a+o
|oq
o
r = + ; lim
a0
+
|oq
o
r = .
Se 0 < a < 1 obtem-se que:
|oq
o
r estritamente decrescente;
|oq
o
r 0 == 0 < r < 1;
lim
a+o
|oq
o
r = ; lim
a0
+
|oq
o
r = +.
Do conceito de funo inversa resultam directamente vrias consequn-
cias:
a
|cjaa
= r
|oq
o
(a
a
) = r
|oq
o
r = j == r = a
j
.
Exerccio 3.12.1 1. Calcular:
a) log
_
2
64
b) log
0,1
1000
2. Determinar o domnio das funes:
a) )(r) = log
2
(4 3r)
b) q(r) = 3 + log1
3
_
9 r
2
_
3. Resolva em R as condies:
a) log1
e
_
2r
2
r
_
_ log1
e
r
b) log
3
_
r
2
7
_
< 2
4. Caracterize a funo inversa de:
a) )(r) = 1 + 2 ln(1 5r)
b) q(r) = 4 + 3
2a1
5. Determine em R o conjunto soluo das condies::
a) 4 ln
2
(r) 7 3 lnr _ 0
b) c
a
+ 6c
a
= 7
Teorema 3.12.2 (Propriedades operatrias dos logaritmos) Sejam r e j
nmeros positivos e a, / R
+
1. Ento so vlidas as seguintes pro-
priedades:
1. log
o
(r j) = log
o
(r) + log
o
(j)
2. log
o
_
a
j
_
= log
o
(r) log
o
(j)
3. log
o
(r
j
) = j log
o
(r) , \j R
4. log
b
(r) = log
o
(r) log
b
(a) (mudana de base do logaritmo)
Dem. 1. Note-se que
r = a
log
a
(a)
, j = a
log
a
(j)
e rj = a
log
a
(a)+log
a
(j)
.
Ento
log
o
(r j) = log
o
_
a
log
a
(a)+log
a
(j)
_
= log
o
(r) + log
o
(j) .
2. Como
a
j
= a
log
a
(a)log
a
(j)
ento
log
o
_
r
j
_
= log
o
_
a
log
a
(a)log
a
(j)
_
= log
o
(r) log
o
(j) .
3. Como r
j
=
_
a
log
a
(a)
_
j
= a
j log
a
(a)
, ento
log
o
(r
j
) = log
o
_
a
j log
a
(a)
_
= j log
o
(r) .
4. Escrevendo r = a
log
a
(a)
ento
log
b
(r) = log
b
_
a
log
a
(a)
_
= log
o
(r) log
b
(a) .
Proposio 3.12.3 Para todo o / 0, tem-se
lim
a+o
log (r)
r
I
= 0 e lim
a0
+
r
I
log (r) = 0.
3.12. FUNO LOGARTMICA 75
Intuitivamente a proposio signica que: |oq (r)
a+o
+ mais lenta-
mente que qualquer potncia arbitrariamente pequena de r.
Dem. Fazendo a mudana de varivel j = / log r tem-se
lim
a+o
log (r)
r
I
= lim
j+o
j
I
c
j
=
1
/
lim
j+o
j
c
j
= 0.
Com a mudana de varivel r =
1
j
obtem-se
lim
a0
+
r
I
log (r) = lim
j+o
_
1
j
_
I
log
_
1
j
_
= lim
j+o
_
1
j
_
I
log (j)
= lim
j+o
_
1
j
_
I
log (j)
j
I
= 0.
lim
a0
log (1 +r)
r
= 1 e lim
a0
c
a
1
r
= 1.
Dem. Pela Proposio 3.11.2 tem-se lim
a+o
_
1 +
1
a
_
a
= c e, pela mu-
dana de varivel j =
1
a
, lim
j0
(1 +j)
1
y
= c.
Pela continuidade da funo logaritmo, tem-se
log
_
lim
j0
(1 +j)
1
y
_
= log c == lim
j0
_
log (1 +j)
1
y
_
= 1
== lim
j0
log (1 +j)
j
= 1.
No segundo limite faz-se a mudana de varivel j = c
a
1 e
lim
a0
c
a
1
r
= lim
j0
j
log (1 +j)
= 1.
Corolrio 3.12.5 (Aplicao do Teorema 1.14.4) Para todo o r
a
R, se
r
a
a e n
a
+ ento
lim
a+o
_
1 +
r
a
n
a
_
&n
= c
o
.
Dem. Observe-se que
log
_
1 +
r
a
n
a
_
&n
= n
a
log
_
1 +
r
a
n
a
_
=
log
_
1 +
an
&n
_
1
&n
= r
a
log
_
1 +
an
&n
_
an
&n
.
Passando ao limite
lim
a+o
_
log
_
1 +
r
a
n
a
_
&n
_
= lim
a+o
_
_
r
a
log
_
1 +
an
&n
_
an
&n
_
_
= a,
uma vez que
an
&n

o
+o
= 0, pelo que se pode aplicar a Proposio 3.12.4.
Pela continuidade da funo exponencial, tem-se
c
lim
n!+1
log
1+
xn
un
un
= c
o
== lim
a+o
c
log
1+
xn
un
un
= c
o
== lim
a+o
_
1 +
r
a
n
a
_
&n
= c
o
.
Exerccio 3.12.6 1. Calcular o valor dos limites::
a) lim
a1
1a
3 log(2a)
b) lim
a0
+
r
a
c) lim
a+o
(2r)
x+1
x
2
d) lim
a0
_
3
4
r + 1
_ 1
3 x
e) lim
a0
ln(5+a
4
)ln 5
a
4
2. Determine os valores reais que vericam as condies:
a) log1
2
(2r) < 2 log1
2
_
2a
a
_
b) log (r + 3) log (r 1) log (2 +r)
3.13. FUNES TRIGONOMTRICAS INVERSAS 77
3.13 Funes trigonomtricas inversas
As funes trigonomtricas :c: r, cos r, tq r e cot q r 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 )(r) = :c: r, qualquer restrio de ) a intervalos do tipo
_
/

2
, / +

2
, / Z, invertvel.
Considera-se a restrio principal para / = 0,
_
2
,

2
. Isto
) :
_
2
,

2
[1, 1]
r :c: r
-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
-1.0
-0.5
0.5
1.0
x
y
sinr
admita a funo inversa
)
1
: [1, 1]
_
2
,

2
r arc:c: r
-1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0
-1.5
-1.0
-0.5
0.5
1.0
1.5
x
y
arcsinr
3.13.2 Arco-cosseno
Dada a funo q(r) = cos r, qualquer restrio de q a um dos intervalos
[/, +/] , / Z, invertvel.
A restrio principal para / = 0, [0, ] . Assim
q : [0, ] [1, 1]
r cos r
1 2 3
-1.0
-0.5
0.0
0.5
1.0
x
y
cos r
admita a funo inversa
)
1
: [1, 1] [0, ]
r arc cos r
-1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8 1.0
1
2
3
x
y
arccos r
3.13.3 Arco-tangente
A funo /(r) = tq r de domnio
1
I
=
_
r R : r ,=

2
+/, / Z
_
e contradomnio R tem como restries invertveis as que tenham por domnios
intervalos do tipo
_
/

2
, / +

2
_
, / Z.
Para / = 0, obtem-se a restrio principal. Isto ,
/ :

2
,

2
_
R
r tq r
e
/
1
: R

2
,

2
_
r arctq r
.
Gracamente
-1 1
-5
5
x
y
tq r
-5 -4 -3 -2 -1 1 2 3 4 5
-1.0
-0.5
0.5
1.0
x
y
arctq r
3.13.4 Arco co-tangente
Para a funo ,(r) = cotq r de domnio
1
)
= r R : r ,= /, / Z
e contradomnio R a sua restrio a intervalos do tipo ]/, / + [, / Z,
denem funes invertveis. A restrio principal obtem-se para / = 0.
Ento,
, : ]0, [ R
r cot q r
e
,
1
: R ]0, [
r arc cot q r
.
Gracamente
1 2 3
-4
-2
0
2
4
x
y
cot q r
-5 -4 -3 -2 -1 0 1 2 3 4 5
1
2
3
x
y
arccot r
Exerccio 3.13.1 1. Dada a funo /(r) = 2 + arc:c:(2r + 1) deter-
mine:
a) Domnio de /
b) /(0) e /
_
1
6
_
c) Contradomnio de /
d) As solues da equao /(r) = 2 +

3
e) /
1
e caracterize-a.
2. Calcular:
a) cos
_
arc:c:
_
4
5
__
b) tq
_
arccot
_
3
4
__
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 ) : 1 R R uma funo real de varivel real e
a 1 um ponto de acumulao de 1.
Chama-se derivada de ) no ponto a, e presenta-se )
t
(a), a
)
t
(a) = lim
ao
)(r) )(a)
r a
ou )
t
(a) = lim
I0
)(r +/) )(r)
/
.
Se o limite existir e for nito ento a funo ) diz-se derivvel ou
diferencivel no ponto a.
Exerccio 4.1.2 Utilizando a denio calcular a derivada de q(r) =
a2
a+2
em r
0
= 1.
4.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 j =
)(r).
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 )(r), intersectando-a nos
pontos 1
1
e 1
2
.
O declive da recta t tangente a )(r) no ponto 1
1
vai ser o limite dos
declives das rectas secantes quando 1
2
se aproxima de 1
1
, ou seja, quando
r r
1
.
Ento
: = lim
aa
1
)(r) )(r
1
)
r r
1
= )
t
(r
1
).
Assim, de um ponto de vista geomtrico, a derivada de uma funo )(r) em
r = a o declive da recta tangente ao grco de )(r) no ponto de abcissa
r = a.
A sua equao ento dada por
j )(r
0
) = :(r r
0
)
ou
j )(r
0
) = )
t
(r
0
)(r r
0
).
Exerccio 4.2.1 1. Escreva uma equao da recta tangente curva j =
2
a4
no ponto de abcissa 2.
2. Determine as coordenadas dos pontos da curva j = r
3
4r em que a
tangente nesses pontos uma recta horizontal.
4.3 Derivadas laterais
Uma funo )(r) pode no ter derivada num ponto a (no existir recta
tangente ao grco de )(r)), mas existirem semi-tangentes nesses pontos,
isto , tangente esquerda e/ou direita de a.
Considere-se a funo
)(r) =
_
r
2
+ 7 se r < 2
r + 1 se r _ 2.
Para estudar a existncia de )
t
(2) necessrio recorrer ao conceito de
derivadas laterais.
Denio 4.3.1 Seja ) : 1 R R e a 1 um ponto de acumulao de
1.
4.4. DERIVADAS INFINITAS 85
(i) ) derivvel esquerda de a se existe e nito.
lim
ao
)(r) )(a)
r a
ou lim
I0
)(a +/) )(a)

/
,
que se representa por )
t
(a
).
(ii) ) derivvel direita de a se existe e nito.
lim
ao
+
)(r) )(a)
r a
ou lim
I0
+
)(a +/) )(a)
/
,
que se nota por )
t
(a
+
).
Observao 4.3.2 1. Da denio anterior resulta que ) derivvel
em a se e s se ) derivvel esquerda e direita de a. Neste caso
)
t
(a) = )
t
(a
) = )
t
(a
+
).
2. Geometricamente )
t
(a
) representa o declive da semi-recta tangente

esquerda de a, enquanto )
t
(a
+
) ser o declive da semi-recta tangente
direita de a.
3. A existncia de derivada de uma funo num ponto pode depender
apenas da existncia de uma derivada lateral. Por exemplo, para
)(r) =
_
r 3, 1
)
= [3, +[ e
)
t
(3) = )
t
(3
+
) = lim
a3
+
_
r 3
r 3
= +.
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 ) em a + (respectivamente ) se
lim
ao
)(r) )(a)
r a
= + ( ).
As derivadas innitas esquerda e direita de a denem-se de modo
anlogo.
Geometricamente, se ) derivada innita em a, o grco de )(r) admite
tangente em (a, )(a)) , paralela ao eixo das ordenadas.
4.5 Derivabilidade e continuidade
Proposio 4.5.1 Se ) : 1 R R uma funo derivvel em a 1,
ento ) contnua nesse ponto.
Dem. Se ) uma funo derivvel em a 1, ento admite derivada
nita nesse ponto, isto ,
)
t
(a) = lim
ao
)(r) )(a)
r a
nito.
Escrevendo
)(r) )(a) =
)(r) )(a)
r a
(r a)
e passando ao limite em ambos os membros, tem-se
lim
ao
[)(r) )(a)] = lim
ao
)(r) )(a)
r a
lim
ao
(r a) = 0.
Ento lim
ao
)(r) = )(a), ou seja )(r) contnua em r = a.
Observao 4.5.2 1. A existncia de derivada innita, )
t
(a) = ,
no garante a continuidade de ) em a.
Por exemplo, a funo sinal
:q:(r) =
_
_
_
1 , r 0
0 , r = 0
1 , r < 0
tem )
t
(0) = + e descontnua no ponto 0.
2. A recproca da Proposio 4.5.1 no verdadeira.
Por exemplo, a funo )(r) = [r[ contnua em r = 0 e no tem
)
t
(0).
4.6 Funo derivada
Seja ) : 1 R R . A funo derivada ou simplesmente derivada de uma
funo ), r )
t
(r), uma nova funo:
cujo domnio o conjunto de todos os pontos em que ) tem derivada
nita;
4.7. REGRAS DE DERIVAO 87
a cada ponto do seu domnio faz corresponder a derivada da funo
nesse ponto.
Se ) derivvel em todos os pontos de 1, diz-se que ) derivvel (difer-
encivel) em 1 ou apenas que ) derivvel (diferencivel)
Exerccio 4.6.1 Caracterize a funo derivada de cada uma das funes
seguintes:
a) )(r) =
3
_
r
b) q(r) =

r r
2
4.7 Regras de derivao

Para evitar o recurso constante denio de derivada, utilizam-se as regras
de derivao:
Proposio 4.7.1 Sejam ), q : 1 R R funes derivveis em a 1 e
/ R. Ento:
1. (/)) (r) derivvel em a e (/))
t
(a) = /)
t
(a)
2. () +q)(r) derivvel em a e () +q)
t
(a) = )
t
(a) +q
t
(a)
3. () q)(r) derivvel em a e () q)
t
(a) = )
t
(a) q(a) +)(a) q
t
(a)
Em particular, )
a
(r) derivvel em a e ()
a
)
t
(a) = : )
a1
(a) )
t
(a),
para : N.
4. Se q(a) ,= 0 ento
_
)
j
_
(r) derivvel em a e
_
)
q
_
t
(a) =
)
t
(a) q(a) )(a) q
t
(a)
(q(a))
2
.
Dem. 1. (/))
t
(a) = lim
ao
(I))(a)(I))(o)
ao
= /lim
ao
)(a))(o)
ao
= /)
t
(a) .
2. () + q)
t
(a) = lim
ao
()+j)(a)()+j)(o)
ao
= lim
ao
_
)(a))(o)
ao
+
j(a)j(o)
ao
_
=
)
t
(a) +q
t
(a).
3. ()q)
t
(a) = lim
ao
()j)(a)()j)(o)
ao
= lim
ao
)(a)j(a))(o)j(a)+)(o)j(a)+)(o)j(o)
ao
= lim
ao
_
q(r)
)(a))(o)
ao
+)(a)
j(a)j(o)
ao
_
= )
t
(a) q(a) +)(a) q
t
(a).
4.
_
)
j
_
t
(a) = lim
ao
(
f
g
)(a)(
f
g
)(o)
ao
= lim
ao
f(x)
g(x)
f(a)
g(a)
ao
= lim
ao
)(a)j(o)j(a))(o))(o)j(o)+)(o)j(o)
(ao)j(a)j(o)
= lim
ao
1
j(a)j(o)
j(o)[)(a))(o)])(o)[j(a)j(o)]
(ao)
= lim
ao
1
j(a)j(o)
_
q(a)
)(a))(o)
ao
)(a)
j(a)j(o)
ao
_
=
)
0
(o) j(o))(o) j
0
(o)
(j(o))
2
.
4.8 Derivada da funo composta
Teorema 4.8.1 Consideremos as funes ) : 1 R R e , : 1 R R
tais que ,(1) 1. Se , derivvel em a 1 e ) derivvel em / = ,(a)
1, ento () ,) : 1 R R diferencivel em a e tem-se
() ,)
t
(a) = )
t
(/) ,
t
(a) = )
t
(,(a)) ,
t
(a).
Dem. () ,)
t
(a) = lim
ao
(),)(a)(),)(o)
ao
= lim
ao
)[,(a)])[,)(o)]
ao
= lim
ao
_
)[,(a)])[,)(o)]
,(a),(o)
,(a),(o)
ao
_
= lim
,(a),(o)
)[,(a)])[,)(o)]
,(a),(o)
lim
ao
,(a),(o)
ao
= )
t
(,(a)) ,
t
(a).
4.9 Derivada da funo inversa
Teorema 4.9.1 Seja ) uma funo diferencivel e injectiva num intervalo
1 R e a 1 tal que )
t
(a) ,= 0. Ento )
1
diferencivel em / = )(a) e
_
)
1
_
t
(/) =
1
)
t
(a)
.
Dem. Represente-se j = )(r) e observe-se que se j ,= / ento )
1
(j) ,=
)
1
(/) = a.
Ento pode escrever-se
_
)
1
_
t
(/) = lim
jb
_
)
1
_
(j)
_
)
1
_
(/)
j /
= lim
jb
1
jb
()
1
)(j)()
1
)(b)
=
1
lim
jb
)[)
1
(j)])(o)
()
1
)(j)o
=
1
lim
)
1
(j)o
)[)
1
(j)])(o)
()
1
)(j)o
=
1
)
t
(a)
.
4.10. DERIVADAS DE FUNES TRIGONOMTRICAS 89
Observao 4.9.2 A hiptese )
t
(a) ,= 0 fundamental pois, caso contrrio,
o resultado no necessariamente verdadeiro. Tome-se como exemplo a
funo bijectiva )(r) = r
3
. A sua inversa,
3
_
r, no derivvel na origem.
4.10 Derivadas de funes trigonomtricas
4.10.1 Derivada da funo f(x) = sen x
Provemos que a funo )(r) = :c: r derivvel em R e determinemos a
sua expresso:
)
t
(a) = lim
ao
:c: r :c: a
r a
= lim
ao
2 :c:
_
ao
2
_
cos
_
a+o
2
_
r a
= lim
ao
:c:
_
ao
2
_
ao
2
cos
_
r +a
2
_
= cos a.
Ento (:c: r)
t
= cos r.
4.10.2 Derivada da funo cos x
A funo cos r = :c:
_
r +

2
_
pode ser considerada como a composio da
funo :c: r com a funo r +

2
.
Ento, pelo Teorema 4.8.1, diferencivel em todos os pontos, sendo a
sua derivada
(cos r)
t
=
_
:c:
_
r +

2
__
t
= cos
_
r +

2
_ _
r +

2
_
t
= :c: r.
4.10.3 Derivada das funes tg x e cot g x
A derivabilidade da funo tq :

2
,

2
_
R resulta directamente das regras
de derivao
(tq r)
t
=
_
:c: r
cos r
_
t
=
1
cos
2
r
= sec
2
r = 1 +tq
2
r.
Para a funo cot q : ]0, [ R tem-se
(cot q r)
t
=
_
cos r
:c: r
_
t
=
1
:c:
2
r
= co sec
2
r =
_
1 + cot q
2
r
_
.
Exerccio 4.10.1 Calcular a derivada das funes
a) )(r) = tq
_
1
a+3
_
b) q(r) = cot q
2
_
r
2
_
4.10.4 Derivada das funes trigonomtricas inversas
A funo r arc:c: r a funo inversa de j :c: j , isto , desi-
gnando por r = )(j) = :c: j ento j = )
1
(r) = arc:c: r .
Pelo Teorema 4.9.1, obtem-se
(arc:c: r)
t
=
_
)
1
(r)
_
t
=
1
)
t
(j)
=
1
(:c: j)
t
=
1
cos j
=
1
_
1 :c:
2
j
=
1
_
1 r
2
.
Ento a funo j = arc:c: r diferencivel em todo o seu domnio e
(arc:c: r)
t
=
1
_
1 r
2
.
Da relao j = arccos r =r = cos j tem-se
(arccos r)
t
=
_
)
1
(r)
_
t
=
1
)
t
(j)
=
1
(cos j)
t
=
1
:c: j
=
1
_
1 cos
2
j
=
1
_
1 r
2
,
pelo que
(arccos r)
t
=
1
_
1 r
2
.
A partir da relao j = arctq r =r = tq j obem-se
(arctq r)
t
=
1
(tq j)
t
=
1
1 +tq
2
j
=
1
1 +r
2
.
As frmulas anteriores permanecem vlidas se se substituir r por uma
funo n(r), diferencivel nos respectivos domnios e se aplicar o teorema
da derivada da funo composta. Assim
(arc:c: n)
t
=
n
t
_
1 n
2
,
(arctq n)
t
=
n
t
1 +n
2
.
4.11. DERIVADAS DAS FUNES EXPONENCIAL E LOGARTMICA91
4.11 Derivadas das funes exponencial e logart-
mica
A funo exponencial derivvel em R e
(c
a
)
t
= c
a
pois, considerando )(r) = c
a
tem-se
)
t
(a) = lim
Ic
c
o+I
c
o
/
= c
o
lim
Ic
_
c
I
1
_
/
= c
o
.
Sendo n : 1 R R uma funo diferencivel, a funo composta c
&(a)
ainda diferencivel em R e
_
c
&(a)
_
t
= n
t
(r) c
&(a)
, \r 1.
A funo r a
a
, com a 0, diferencivel em R e
(a
a
)
t
= a
a
log a,
pois a
a
= c
log o
x
= c
alog o
e aplicando a regra anterior obtem-se
(a
a
)
t
=
_
c
alog o
_
t
= c
alog o
(rlog a)
t
= a
a
log a.
Analogamente para n(r) uma funo diferencivel,
_
a
&(a)
_
t
= a
&(a)
log a n
t
(r).
A funo )(r) = log r diferencivel em R
+
e, para a 0, tem-se
)
t
(a) = lim
Ic
log (a +/) log a
/
= lim
Ic
log
_
o+I
o
_
/
= lim
Ic
log
_
1 +
I
o
_
/
=
1
a
lim
Ic
log
_
1 +
I
o
_
I
o
=
1
a
.
Ento
(log r)
t
=
1
r
e, para n : 1 R R uma funo diferencivel tal que n(r) 0, \r 1,
a funo composta log (n(r)) diferencivel e
(log (n(r)))
t
=
n
t
(r)
n(r)
, \r 1.
A funo )(r) = log
o
r , com a R
+
1, diferencivel em R
+
e
notando que
log
o
r = log r log
o
c
obtem-se
(log
o
r)
t
=
1
r
log
o
c =
1
r log a
,
pois
1 = log
c
c = log
o
c log
c
a = log
o
c log a,
pelo que
log
o
c =
1
log a
.
Sendo n(r) uma funo diferencivel com n(r) 0, \r 1, ento a
derivada de j = log
o
(n(r))
(log
o
(n(r)))
t
=
n
t
(r)
n(r) log a
.
Exerccio 4.11.1 Calcular as derivadas de
a) j = log
5
(arctq r)
b) j = c
_
3a
+ 5
cos a
.
4.12 Teoremas fundamentais do clculo diferencial
A possibilidade de aproximar localmente as funes diferenciveis por funes
"muito simples"(geometricamente corresponde a aproximar curvas por rec-
tas 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 ) : 1 R R e a 1.
4.12. TEOREMAS FUNDAMENTAIS DO CLCULO DIFERENCIAL93
(i) Diz-se que ) tem um mximo local (ou relativo) em a (ou que )(a)
um um mximo local ou relativo de )) se e s se existir - 0 tal que
)(r) _ )(a), \r \
.
(a) 1.
(ii) Analogamente, ) tem um mnimo local (ou relativo) em a (ou que )(a)
um um mnimo local ou relativo de )) se e s se existir - 0 tal que
)(a) _ )(r), \r \
.
(a) 1.
(iii) Se as desigualdades anteriores forem estritas, isto , )(r) < )(a)
(ou )(a) < )(r)) , \r \
.
(a) (1a) ento diz-se que )(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 )(r) _ )(a), \r 1, ento diz-se que )(a) um mximo
absoluto de ) em 1.
Analogamente, se )(a) _ )(r), \r 1, )(a) um mnimo absoluto
de ) em 1.
Um resultado importante para a pesquisa de extremos locais de uma
funo o seguinte:
Proposio 4.12.2 Seja 1 um intervalo de R com mais do que um ponto
e ) : 1 R R diferencivel no ponto interior a 1.
Se ) tem um extremo local em a ento )
t
(a) = 0, isto , a um ponto crtico
de ).
Dem. Suponhamos que ) tem um mximo local em a. Ento
- 0 : )(r) _ )(a) em ]a -, a +-[ ,
pelo facto de a ser um ponto interior a 1.
Para r ]a -, a[ , )(r) _ )(a) e r < a. Como ) diferencivel em a
ento existe e nito
)
t
(a
) = lim
ao
)(r) )(a)
r a
_ 0.
Analogamente para r ]a, a +-[ , )(r) _ )(a), r a e
)
t
(a
+
) = lim
ao
+
)(r) )(a)
r a
_ 0.
Como ) diferencivel em r = a ento
0 _ )
t
(a
) = )
t
(a) = )
t
(a
+
) _ 0,
pelo que )
t
(a) = 0.
Se supusermos que )(a) um mnimo local, a demonstrao semel-
hante.
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 ) : R R dada por )(r) = r
3
estritamente crescente no tendo
portanto nenhum extremo local. Todavia )
t
(0) = 0.
Teorema 4.12.4 (Teorema de Rolle) Seja ) : [a, /] R uma funo con-
tnua no intervalo [a, /] e com derivada (nita ou innita) em todos os pontos
de ]a, /[.
Se )(a) = )(/) ento existe c ]a, /[ tal que )
t
(c) = 0.
Dem. Como ) contnua no conjunto limitado e fechado [a, /], pelo
Teorema 3.8.5 ) tem mximo e mnimo (absolutos) relativos em [a, /].
Se o mximo e o mnimo so atingidos nas extremidades, como )(a) =
)(/) ento )(r) = / e, portanto, )
t
(c) = 0, \c ]a, /[.
Caso contrrio o mximo atingido num ponto interior c ]a, /[ e, pela
Proposio 4.12.2, )
t
(c) = 0.
Corolrio 4.12.5 Se ) : [a, /] R uma funo contnua em [a, /] e tem
derivada (nita ou innita) em todos os pontos de ]a, /[ ento entre dois
zeros consecutivos de )
t
no pode haver mais que um zero de ).
Dem. Sejam r
1
e r
2
dois zeros consecutivos de )
t
.
Suponha-se, com visto obteno de um absurdo, que existem c e , tais
que r
1
< c < , < r
2
e )(c) = )(,) = 0. Ento, pelo Teorema 4.12.4, existe
d ]c, ,[ tal que )
t
(d) = 0. Isto absurdo porque assim r
1
e r
2
no podem
ser dois zeros consecutivos de )
t
(r).
Portanto entre dois zeros consecutivos de )
t
no pode haver mais que
um zero de )(r) (note-se que pode at no haver nenhum).
Corolrio 4.12.6 Seja ) uma funo que satisfaz as condies do Teorema
de Rolle.
Ento entre dois zeros de ) h pelo menos um zero de )
t
.
Dem. Sejam r
1
e r
2
dois zeros consecutivos de ), isto , ) (r
1
) =
) (r
2
) = 0. Ento pelo Teorema 4.12.4, existe c ]r
1
, r
2
[ tal que )
t
(c) = 0.
Exerccio 4.12.7 Considere a funo ) : [2, 2] R dada por )(r) =
:c:
2
_
r

3
_
r.
Prove que )(r) admite um nico zero no intervalo

5
12
,
7
12
_
.
Teorema 4.12.8 (Teorema do valor mdio de Lagrange ou Teorema dos
acrscimos nitos) Seja ) : [a, /] R uma funo contnua em [a, /]
e com derivada (nita ou innita) em ]a, /[. Ento existe pelo menos um
ponto c ]a, /[ tal que
)
t
(c) =
)(/) )(a)
/ a
.
Dem. Considere-se uma funo auxiliar
/(r) = )(r)
)(/) )(a)
/ a
r.
Esta nova funo verica as hipteses do Teorema 4.12.4 em [a, /], pois:
/(r) contnua em [a, /]
/
t
(r) = )
t
(r)
)(b))(o)
bo
tem derivada em ]a, /[, pois ) tambm tem.
/(a) = )(a)
)(b))(o)
bo
a =
(bo))(o)[)(b))(o)]o
bo
=
b)(o)o)(b)
bo
= /(/).
Ento
c ]a, /[: /
t
(c) = 0.
Isto ,
/
t
(c) = )
t
(c)
)(/) )(a)
/ a
= 0 ==)
t
(c) =
)(/) )(a)
/ a
.
Interpretao geomtrica:
A existncia de c ]a, /[ tal que )
t
(c) =
)(b))(o)
bo
signica que existe um
ponto c ]a, /[ no qual a tangente ao grco de )(r) tem um declive igual
ao declive da recta secante denida pelos pontos (a, )(a)) e (/, )(/)) .
Interpretao fsica:
Se ) vericar as condies do Teorema de Lagrange, se a e / forem
instantes distintos no tempo e )(t) for a posio em cada instante t de
um ponto que se move no eixo real, ento existe um instante c onde a
velocidade instantnea )
t
(c) igual velocidade mdia
)(b))(o)
bo
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 ) e q so duas funes contnuas
em [a, /], diferenciveis em ]a, /[ e se para r ]a, /[, q
t
(r) ,= 0 ento existe
um ponto c ]a, /[ tal que
)(/) )(a)
q(/) q(a)
=
)
t
(c)
q
t
(c)
.
Dem. Considere-se a funo
1(r) = )(r) )(a)
)(/) )(a)
q(/) q(a)
(q(r) q(a)) .
A funo 1(r) contnua em [a, /], porque ) e q tambm o so, e diferen-
civel em ]a, /[,
1
t
(r) = )
t
(r)
)(/) )(a)
q(/) q(a)
q
t
(r).
Por outro lado, como
1(a) = 0 e 1(/) = 0,
o Teorema de Rolle garante a existncia de c ]a, /[ tal que 1
t
(c) = 0, ou
seja
)
t
(c)
)(/) )(a)
q(/) q(a)
q
t
(c) = 0.
Como q
t
(c) ,= 0 tem-se
)(/) )(a)
q(/) q(a)
=
)
t
(c)
q
t
(c)
.
Uma das aplicaes mais importantes deste teorema a utilizao de
uma regra para levantar indeterminaes.
Teorema 4.12.10 (Regra de Cauchy) Sejam ) e q duas funes diferen-
civeis em ]a, /[ tais que:
a) q
t
(r) ,= 0 para cada r ]a, /[;
b) lim
ao
)(r) = lim
ao
q(r) = 0 ou ento lim
ao
)(r) = lim
ao
q(r) = ;
c) existe lim
ao
)
0
(a)
j
0
(a)
em R;
Ento
lim
ao
)
t
(r)
q
t
(r)
= lim
ao
)(r)
q(r)
.
Dem. Se
lim
ao
)
t
(r)
q
t
(r)
= | (nito)
ento existe , ]a, /[ tal que para r ]a, ,[ e para c 0 arbitrrio se tem
| c <
)
t
(r)
q
t
(r)
< | +c.
Sejam r e j dois pontos distintos de ]a, ,[. Ento pelo Teorema de Cauchy
existe situado entre eles tal que
)(r) )(j)
q(r) q(j)
=
)
t
()
q
t
()
.
Portanto para quaisquer pontos nestas condies obtem-se
| c <
)(r) )(j)
q(r) q(j)
< | +c. (4.12.1)
No caso de lim
ao
)(r) = lim
ao
q(r) = 0 , xemos arbitrariamente r ]a, ,[ e
fazendo j a conclui-se que as desigualdades
| c <
)(r)
q(r)
< | +c
tm que ser vericadas para \r ]a, ,[, o que prova que
lim
ao
)(r)
q(r)
= |.
No caso em que lim
ao
)(r) = lim
ao
q(r) = +, xa-se j ]a, ,[ e determina-
se tal que, para r ]a, [ se tenha
q(r) 0 e q(r) q().
Das desigualdades (4.12.1) resulta que, para r ]a, [, se tem
)(j)
q(r)
+
_
1
q(j)
q(r)
_
(| c) <
)(r)
q(r)
<
)(j)
q(r)
+
_
1
q(j)
q(r)
_
(| +c) .
Quando r a o primeiro membro tende para | c e o segundo membro
para | +c, pelo que
lim
ao
)(r)
q(r)
= |.
Se lim
ao
)(r) = lim
ao
q(r) = o processo anlogo.
Se | = ento obrigatoriamente existe um intervalo ]a, d[ (d a)
onde )
t
(r) ,= 0,pois caso contrrio, como q
t
(r) ,= 0 em ]a, /[, isso seria
incompatvel com o facto de
lim
ao
)
t
(r)
q
t
(r)
= .
Assim trocando no enunciado do Teorema ) por q e q por ) ca-se com o
caso de | = 0, que j foi considerado na primeira parte da demonstrao.
4.13 Derivadas de ordem superior
Seja ) : 1 R R uma funo diferencivel em a 1. No caso de )
t
ser por sua vez tambm diferencivel num ponto a interior do seu domnio
1
t
, ento diz-se que ) duas vezes diferencivel em a, e representa-se por
)
tt
(a).
Em geral, a derivada de ordem : da funo ), representa-se por )
(a)
ou
o
n
)
oa
n
.
A funo ) diz-se : vezes diferencivel no ponto a do respectivo domnio
1
(a)
se existir e for nita a derivada )
(a)
(a).
A funo ) indenidamente diferencivel no ponto a se for : vezes
diferencivel em a para qualquer : N.
Exemplo: A funo )(r) = c
a
indenidamente diferencivel em R,
tendo-se para cada : N,
d
a
dr
a
(c
a
) = c
a
.
A derivada de 1
o
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 : de ) podem-se admitir "contactos"de
ordem :, o que permite aproximar uma funo diferencivel qualquer por
um polinmio cujos termos sero constituidos pelos vrios "contactos".
Denio 4.13.1 Seja ) : 1 R R uma funo : vezes diferencivel
em a 1. Chama-se polinmio de Taylor de ordem : de ) no ponto , a
j
a
(r) = )(a) +)
t
(a) (r a) + +
)
(a)
(a)
:!
(r a)
a
=
a
I=0
)
(I)
(a)
/!
(r a)
I
.
Se a = 0 o polinmio de Taylor designado por polinmio de MacLaurin
e assume uma forma mais simplicada
j
a
(r) = )(0) +)
t
(0)r + +
)
(a)
(0)
:!
r
a
=
a
I=0
)
(I)
(0)
/!
r
I
.
Teorema 4.13.2 Se ) : 1 R R uma funo : vezes diferencivel
em a 1 ento para qualquer r 1 vlida a frmula de Taylor
)(r) = )(a) +)
t
(a) (r a) + +
)
(a)
(a)
:!
(r a)
a
+1
a
(r)
vericando o resto 1
a
(r) a condio
lim
ao
1
a
(r) = 0.
No caso particular de a = 0, a frmula de Taylor tambm chamada frmula
de Mac-Laurin:
)(r) = )(0) +)
t
(0) r + +
)
(a)
(0)
:!
r
a
+1
a
(r).
O interesse da frmula de Taylor ser acrescido se for possvel explicitar
o termo complementar 1
a
(r) 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 ) uma funo (: + 1)
vezes diferencivel num intervalo aberto 1 e a 1. Ento para cada r
1a existe tal que a < < r, tem que o termo complementar (resto) da
sua frmula de Taylor de ordem : no mesmo ponto, 1
a
(r), dado por
1
a
(r) =
)
(a+1)
()
(: + 1)!
(r a)
a+1
.
Exerccio 4.13.4 Para a funo )(r) = :c: r 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 determi-
nao de extremos, convexidade e inexes
Anteriormente viu-se que, para uma funo ), diferencivel num ponto a,
tenha um extremo local neste ponto, necessrio, embora no suciente,
que )
t
(a) = 0.
Chamam-se pontos crticos ou estacionrios de uma funo ) 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 1
o
derivada.
Nos casos em que no seja possvel estudar o sinal de )
t
(r)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 ) duas vezes diferencivel em a , )
t
(a) = 0 e )
tt
(a) ,= 0
ento a frmula de Taylor com resto de Lagrange ser
)(r) = )(a) +)
tt
(a)
(r a)
2
2
+1
2
(r)
com lim
ao
1
2
(r) = 0. Ento existe c 0 tal que para r \
c
(a) se tem que
[1
2
(r)[ < [)
tt
(a)[. Assim o sinal da soma )
tt
(a)
(ao)
2
2
+ 1
2
(r), em \
c
(a),
ser o sinal do primeiro termo.
Se )
tt
(a) 0 tem-se
)(r) )(a) = )
tt
(a)
(r a)
2
2
+1
2
(r) _ 0,
isto , )(r) )(a) para r \
c
(a). Se for )
tt
(a) < 0 tem-se )(r) < )(a) para
r \
c
(a) No primeiro caso tem-se um mnimo local estrito e no segundo
caso um mximo local tambm estrito.
Se )
tt
(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 ) uma funo : vezes diferencivel em a, com : _
2, e suponha-se )
(a)
(r) a primeira derivada que no se anula em a Ento:
1. se : mpar, ) no tem qualquer extremo no ponto a;
4.14. APLICAES DAFRMULADE TAYLOR DETERMINAODE EXTREMOS, CONVEXIDADE E INFLEXES101
2. se : par, )(a) um mximo ou um mnimo local (estrito) de ),
conforme )
(a)
(a) < 0 ou )
(a)
(a) 0.
Dem. Como ) uma funo : vezes diferencivel em a ento, numa
vizinhana de a, \
c
(a), pode ser representada pela frmula de Taylor com
resto de Lagrange
)(r) = )(a) +)
t
(a) (r a) + +
)
(a)
(a)
:!
(r a)
a
+
)
(a+1)
()
(: + 1)!
(r a)
a+1
,
para r \
c
(a).
Como )
(a)
(r) a primeira derivada que no se anula em a ento
)(r) )(a) =
)
(a)
(a)
:!
(r a)
a
+
)
(a+1)
()
(: + 1)!
(r a)
a+1
=
(r a)
a
:!
_
)
(a)
(a) +
)
(a+1)
()
: + 1
(r a)
_
.
Como (r a) pode ser arbitrariamente pequeno ento o sinal dominante do
ltimo factor ser o sinal de )
(a)
(a).
Se : mpar, o primeiro membro )(r) )(a) toma sinais contrrios
quando r toma valores esquerrda ou direita de a, mas sucientemente
prximos. Logo )(a) no um extremo.
Se : par, o sinal de )(r) )(a) o mesmo que o sinal de )
(a)
(a).
Assim se )
(a)
(a) < 0 ento )(r) < )(a) para r \
c
(a), pelo que )(a)
um mximo. Se )
(a)
(a) < 0 ento )(a) um mnimo local
Exemplo 4.14.2 A funo )(r) = 3r
4
4r
3
+2 tem unicamente dois pontos
estacionrios: 0 e 1 Como )
tt
(1) = 12 0 ento )(1) = 1 um mnimo de
). No ponto 0, )
tt
(0) = 0, )
ttt
(0) = 24 pelo que )(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 ), diferencivel em
a,:em relao respectiva tangente no ponto (a, )(a)) :
Se existe c 0 tal que em \
c
(a) o grco de ) est acima do da funo
q(r) = )(a) +)
t
(a) (r a) diz-se que a funo ) convexa em a ou que tem
a concavidade voltada para cima nesse ponto.
Se o grco de q est acima do de ) diz-se que a funo ) cncava em
a ou que tem a concavidade voltada para baixo nesse ponto.
Pode acontecer que exista um intervalo esquerda de a e outro direita
de a em que o grco de ) esteja acima do de q num deles e abaixo noutro.
Neste caso diz-se que a um ponto de inexo de ).
Teorema 4.14.3 Seja ) uma funo : vezes diferencivel em a, (: _ 2),
e suponha-se que so nulas em a todas as derivadas de ) de ordem superior
primeira e inferior a :, isto ,
)
tt
(a) = ... = )
(a1)
(a) = 0, )
(a)
(a) ,= 0.
Ento:
1. se : mpar, a um ponto de inexo de ) ;
2. se : par, ) convexa ou cncava no ponto a conforme )
(a)
(a) 0
ou )
(a)
(a) < 0, respectivamente.
Dem. A demostrao semelhante do Teorema 4.14.1, considerando
a gora a Frmula de Taylor de ordem : com resto de Lagrange na forma
)(r) = )(a) +)
t
(a) (r a) +
)
(a)
(a)
:!
(r a)
a
+
)
(a+1)
()
(: + 1)!
(r a)
a+1
,
e ento
)(r) )(a) )
t
(a) (r a) =
(r a)
a
:!
_
)
(a)
(a) +
)
(a+1)
()
: + 1
(r a)
_
.
Exemplo 4.14.4 Para )(r) =
3
_
r tem-se para r ,= 0, )
tt
(r) =
2
9
3
_
a
5
. O
grco tem a concavidade voltada para baixo se r 0 e para cima se r < 0.
O ponto 0 um ponto de continuidade de ) e )
t
(0) = +, 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, depen-
dendendo 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
+o
a=1
)
a
(r)
isto , )
1
(r)+)
2
(r)+... +)
a
(r)+..., em que )
1
, )
2
, ..., )
a
, ...funes denidas
num certo domnio 1 R.
A srie convergente num ponto r
0
1 se for convergente a srie
numrica
)
1
(r
0
) +)
2
(r
0
) +... +)
a
(r
0
) +...
Neste caso
+o
a=1
)
a
(r) = )(r),
designando-se )(r) por funo soma.
O domnio da funo soma o conjunto onde a srie converge.
Denio 4.15.2 O conjunto de valores de r 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)
+o
a=0
r
a
b)
+o
a=1
cca(aa)
a
2
4.16 Sries de potncias
Um caso particular de sries de funes so as sries de potncias de r,
a
0
+a
1
r +a
2
r
2
+ +a
a
r
a
+ =
+o
a=0
a
a
r
a
.
Para determinar os pontos onde esta srie convergente pode comear-se
por determinar o raio r de convergncia (absoluta)
r = lim
a
a
a
a+1

e depois determinar o intervalo de convergncia, isto o conjunto r ]r, r[.
Em alternativa, pode aplicar-se directamente o critrio de D Alembert
lim
[a
a+1
[

r
a+1
[a
a
[ [r
a
[
= [r[ lim
a
a+1
a
a
.
por este processo a srie convergente para os vlores que veriquem a in-
equao
[r[ lim
a
a+1
a
a
< 1.
Nos pontos r = r ou r = r , substitui-se r por r e estuda-se a srie
directamente utilizando os critrios das sries numricas.
No intervalo de convergncia uma srie de potncias de r dene uma
funo contnua.
Exerccio 4.16.1 Estudar quanto convergncia a srie
+o
a=1
(1)
a
r
a
:(: + 1)
.
Sries de potncias de (r a) so sries do tipo
a
0
+a
1
(r a) +a
2
(r a)
2
+ +a
a
(r a)
a
+ =
+o
a=0
a
a
(r a)
a
.
Sendo r o raio de convergncia da srie, nestes casos o intervalo de con-
vergncia 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 ) for indenidamente
diferencivel no ponto a obtem-se a frmula
)(r) = )(a) +)
t
(a) (r a) +)
tt
(a)
(r a)
2
2
+ +)
(a)
(a)
(r a)
a
:!
+
=
+o
a=0
(r a)
a
:!
)
(a)
(a)
que se designa por srie de Taylor.
4.17. SRIE DE TAYLOR PARAFUNES REAIS DE VARIVEL REAL105
Se a srie de Taylor representar )(r) numa vizinhana de a diz-se que
)(r) analtica em a.
No caso de a = 0, a srie de Taylor designa-se por srie de Mac-Laurin:
)(r) =
+o
a=0
r
a
:!
)
(a)
(0).
Exerccio 4.17.2 Determine a srie de Mac-Laurin das funes:
a) )(r) = c
a
b) q(r) = :c: r
Exerccio 4.17.3 Desenvolva em srie de potncias de r a funo
)(r) =
3
(1 r) (1 + 2r)
.
Captulo 5
Clculo Integral em R
5.1 Primitivas
Denio 5.1.1 1(r) uma primitiva de )(r), num certo intervalo 1, se
1
t
(r) = )(r), \r 1.
Isto 1)(r) = 1(r) ==1
t
(r) = )(r), \r 1.
Resulta imediatamente desta denio que a operao de primitivao
a operao inversa da derivao.
Como [1(r) +c]
t
= 1
t
(r) para qualquer valor de c R, ento existe
uma innidade de primitivas de uma certa funo.
Assim designa-se por expresso geral das primitivas de )(r) a
1)(r) = 1(r) +c, c R.
Proposio 5.1.2 Duas primitivas de uma mesma funo, num certo in-
tervalo 1, diferem sempre de uma constante.
Dem. Sejam 1(r) e G(r) duas primitivas de uma mesma funo )(r).
Ento 1
t
(r) = )(r), G
t
(r) = )(r) e
[1(r) G(r)]
t
= 1
t
(r) G
t
(r) = )(r) )(r) = 0.
A hiptese de se considerar um intervalo 1 fundamental, porque a
funo pode no ser primitivvel para todo o conjunto R.
Veja-se, por exemplo, a funo denida em R,
)(r) =
_
1 se r _ 0
1 se r < 0
.
107
108 CAPTULO 5. CLCULO INTEGRAL EM R
Suponhamos que existe uma primitiva de)(r), 1(r), em R.
Ento, pelo Teorema de Lagrange, existe c ]r, 0[ tal que
1(r) 1(0)
r
= 1
t
(c) = )(c) = 1, porque c < 0.
Pela denio de derivada lateral
1
t
(0
) = lim
a0
1(r) 1(0)
r
= lim
a0
1
t
(c) = 1.
Contudo no possvel ter uma situao de
1
t
(0) = 1
t
(0
) = 1
t
(0
+
) = 1 = )(0)
porque )(0) = 1.
Ento )(r) no primitivvel em R, embora o seja em ]0, +[ ou ]
, 0[.
5.2 Primitivas imediatas e quase imediatas
Estas primitivas obtm-se utilizando apenas as regras de derivao, even-
tualmente com operaes preliminares.
Seja )(r) uma funo primitvel num certo intervalo 1 _ R.
5.2.1 Primitiva de uma constante
Como (/r)
t
= /, / R, ento
1/ = /r +c, /, c R.
Generalizando, como (/1)(r))
t
= / (1)(r))
t
= /)(r), / R, ento
1 (/ )(r)) = / (1)(r)) .
5.2.2 Primitiva de uma potncia de expoente real
Para : R1, tem-se
_
)
m+1
n+1
_
t
= )
n
)
t
, pelo que
1)
n
(r) )
t
(r) =
)
n+1
(r)
:+ 1
+c, c R, : ,= 1.
5.2. PRIMITIVAS IMEDIATAS E QUASE IMEDIATAS 109
1. 1
_
2r + 1
2. 1
log a
a
3. 1
4
(1+5a)
3
No caso de : = 1 tem-se que
)
0
)
= (log ))
t
, e assim
1
)
t
(r)
)(r)
= (log )(r)) +c, c R.
1. 1
a
3
a
4
+o
2
, a R.
2. 1tq r.
Se se substituir r por uma funo )(r) diferencivel, tem-se
1tq ()(r)) )
t
(r) = log [cos ()(r))[ +c, c R.
5.2.3 Primitiva de funes exponenciais
Como
_
c
)
_
t
= c
)
)
t
ento
1
_
c
)(a)
)
t
(r)
_
= c
)(a)
+c, c R.
Por outro lado,
1
_
a
)(a)
)
t
(r)
_
= 1
_
c
)(a) log o
)
t
(r)
_
=
c
)(a) log o
log a
=
a
)(a)
log a
+c, c R.
1. 1
_
rc
a
2
_
.
2. 1
3
arcsen x
_
1a
2
.
5.2.4 Primitiva de funes trigonomtricas
Como (cos ()))
t
= )
t
:c:()) tem-se
1
_
)
t
(r) :c:()(r))
= cos ()(r)) +c, c R,

e, analogamente,
1
_
)
t
(r) cos ()(r))
= :c:()(r)) +c, c R.
Pelo mesmo processo (tq ()))
t
= )
t
sec
2
()) e
1
_
)
t
(r) sec
2
()(r))
= tq ()(r)) +c, c R.
Partindo novamente das derivadas (arc:c:()))
t
=
)
0
_
1)
2
, pelo que
1
)
t
(r)
_
1 )
2
(r)
= arc:c:()(r)) +c, c R,
e
1
)
t
(r)
1 +)
2
(r)
= arctq ()(r)) +c, c R,
1. 1 (:c:(2r)) .
2. 1 sec
2
(3r) .
3. 1
a
2
_
1a
6
.
4. 1
1
_
4a
2
.
5. 1
a
2
1+a
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 111
5.3.1 Primitivao por decomposio
Baseia-se na linearidade da primitiva:
Teorema 5.3.1 Sejam )
i
funes primitivveis num domnio 1 _ R, i =
1, ..., :, e c
i
R. Ento
1 (c
1
)
1
+c
2
)
2
+ +c
a
)
a
) = c
1
1)
1
+c
2
1)
2
+ +c
a
1)
a
.
Alguns casos particulares merecem ateno:
Para : N, 1 (:c: r)
2a+1
= 1
_
:c:
2
r
_
a
:c: r = 1
_
1 cos
2
r
_
a
:c: r.
Desenvolvendo
_
1 cos
2
r
_
a
obtm-se potncias de cos r multiplicadas
por :c: r e a cada uma delas pode aplicar-se a relao
1
_
cos
I
r :c: r
_
=
cos
I+1
r
/ + 1
, / = 0, 2, ..., 2:.
Para : N, : _ 2, 1tq
a
(r) = 1tq
a2
(r) tq
2
(r) = 1tq
a2
(r)
_
sec
2
r 1
_
= 1tq
a2
(r)
_
sec
2
r 1
_
= 1tq
a2
(r) sec
2
r1tq
a2
(r) .
Desta forma obtem-se a frmula por recorrncia
1tq
a
(r) =
tq
a1
(r)
: 1
1tq
a2
(r) .
Para fraces racionais com aplicao do mtodo dos coecientes in-
determinados pode decompor-se a fraco inicial em fraces "mais
simples":
Exemplo:
1
2r
5
r
2
+ 1
= 21
_
r
3
r +
r
r
2
+ 1
_
.
5.3.2 Primitivao por partes
Este mtodo baseia-se na frmula para a derivada do produto de funes
(n)
t
= n
t
+n
t
=n
t
= (n)
t
n
t
pelo que:
Teorema 5.3.2 Sejam n e duas funes reais denidas e diferenciveis
num intervalo 1 _ R. Se o produto n
t
for primitivvel ento
1
_
n
t
(r)(r)
= n(r)(r) 1
_
n(r)
t
(r)
.
Como indicao geral, ser conveniente escolher o factor correspondente
funo aquele que se simplicar mais por derivao. Contudo h algumas
excepes, como se verica no prximo exerccio:
1. 1
_
r
2
:c:(r)
_
.
2. 1r arctq (r) .
3. 1r
3
log r.
4. 1 log r.
5. 1 cos r c
a
5.3.3 Primitivao por substituio
O mtodo de substituio baseia-se na regra de derivao das funes com-
postas.
Teorema 5.3.4 Sejam ) : 1 R uma funo primitivvel, J _ 1) e , :
1 J uma aplicao bijectiva e diferencivel em 1. Ento () ,) (t),
t
(t)
primitivvel e, designando por (t) uma sua primitiva , isto , (t) =
1 [() ,) (t),
t
(t)] , obtem-se que
_
,
1
(r)
_
uma primitiva de )(r).
Em resumo
1)(r) = 1
_
() ,) (t) ,
t
(t)
, sendo t = ,
1
(r).
Dem. Aplicando a derivada da funo composta e a derivada da funo
inversa tem-se
_
_
,
1
(r)
__
t
=
t
_
,
1
(r)
_ _
,
1
(r)
_
t
=
= )(,(t)) ,
t
(t)
1
,
t
(t)
= )(r)
Exerccio 5.3.5 Calcule em 1 =]0, +[,
1
_
1
c
a
1
_
,
utilizando a substituio r = ,(t) = log t.
5.3.4 Primitivao de funes racionais
Denio 5.3.6 i) Funo racional uma funo do tipo
j(a)
q(a)
, onde j(r)
e (r) so polinmios em r, no sendo (r) identicamente nulo.
ii) Uma fraco racional diz-se prpria se o grau de j(r) menor que o
grau de (r)
Para efeitos de primitivao basta considerar fraces prprias, pois caso
a fraco seja imprpria, por uma diviso inteira sempre possvel decomp-
la na soma de uma parte inteira com uma fraco prpria. Isto , se qr
j(r) _ qr (r) ento existem polinmios a(r) e r(r) tais que
j(r)
(r)
= a(r) +
r(r)
(r)
.
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:
1
c
caso: As razes de (r) so reais de multiplicidade 1:
A fraco racional decompe-se em "fraces mais simples"e calcula-se
a sua primitiva por decomposio.
Exemplo 5.3.7 1
4a
2
+a+1
a
3
a
= 1
4a
2
+a+1
a(a1)(a+1)
= 1
1
a
+1
3
a1
+1
2
a+1
= log
1
a
+
log [r 1[
3
+ log (r + 1)
2
+c = log
(a1)
3
(a+1)
2
a
+c, c R.
2
c
caso: As razes de (r) so reais e algumas com multiplicidade superior
a 1:
O processo anlogo ao anterior.
Exemplo 5.3.8 1
2a
3
+1
a
2
(a+1)
3
= 1
3
a
+ 1
1
a
2
+ 1
3
a+1
+ 1
4
(a+1)
2
1
1
(a+1)
3
=
3 log [r[
1
a
+ 3 log [r + 1[
4
a+1
+
1
2
1
(a+1)
2
+c, c R.
3
c
caso: Algumas razes de (r) so complexas de multiplicidade 1:
Na decomposio as fraces cujo denominador tm razes complexas
possuem uma funo am como numerador.
Exemplo 5.3.9 1
a+2
a
3
1
= 1
a+2
(a1)(a
2
+a+1)
= 1
1
a1
1
a+1
a
2
+a+1
= log [r 1[
1
2
log
_
r
2
+r + 1
_
4
_
3
3
arctq
_
2a+1
_
3
_
+c, c R.
4
c
caso: Algumas razes de (r) so complexas com multiplicidade su-
perior a 1:
Exemplo 5.3.10 1
a
2
+2a+6
(a1)(a
2
+2)
2
= 1
1
a1
1
a+1
a
2
+2
1
2a
(a
2
+2)
2
= log [r 1[
1
2
log
_
r
2
+ 2
_
_
2
2
arctq
_
a
_
2
_
+
1
a
2
+2
+c, c R.
Nalguns casos possvel e recomendvel combinar os mtodos de substi-
tuio com o das fraces racionais. Vejam-se alguns exemplos:
Exemplo 5.3.11 Numa funo racional com argumentos do tipo c
a
, sim-
bolicamente,
11(c
a
),
deve tentar-se a substituio
r = log t ou c
a
= t.
Assim
1
_
1 c
3a
c
2a
4
_
= 1
_
1 t
3
t
2
4

1
t
_
= 1
_
1 +
1 4t
t
3
4t
_
= c
a
r
4

7
8
log [c
a
2[ +
9
8
log [c
a
+ 2[ +c, c R.
Exemplo 5.3.12 Numa funo racional do tipo
11(log r)
1
r
deve tentar-se a substituio
log r = t ou r = c
t
.
Por exemplo:
1
_
log (2r)
rlog
3
r
_
= 1
_
log 2 + log r
log
3
r

1
r
_
= 1
_
log 2 +t
t
3
_
=
log 2
2
1
log
2
r

1
log r
+c, c R.
Exemplo 5.3.13 Para uma funo do tipo
11(:c: r) cos r
recomenda-se a substituio
:c: r = t ou r = arc:c: t.
Analogamente para
11(cos r) :c: r
aplica-se
cos r = t ou r = arccos t.
Assim
1
cos
3
r :c: r
cos
2
r + 2 cos r + 1
= 1
t
3
_
1 t
2
t
2
+ 2t + 1

1
_
1 t
2
= 1
_
t + 2
8
(t + 1)
2
_
=
cos
2
r
2
+ 2 cos r +
8
cos r + 1
+c, c R.
Exemplo 5.3.14 Para
11(:c: r, cos r)
aplica-se a substituio
tq
_
r
2
_
= t ou r = 2 arctq t,
e, pelas frmulas trigonomtricas dos ngulos duplos,
:c: r = 2
tq
_
a
2
_
1 +tq
2
_
a
2
_ e cos r =
1 tq
2
_
a
2
_
1 +tq
2
_
a
2
_.
Como exemplo:
1
cos r
:c: r cos r
= 1
_
1 t
2
t
2
+ 2t 1

2
1 +t
2
_
= 21
_
1 t
2
_
t + 1
_
2
_ _
t + 1 +
_
2
_
(1 +t
2
)
_
=
1
2
log
tq
2
_
r
2
_
+ 2tq
_
r
2
_
1

1
2
log
_
sec
2
r
_
r
2
+c, c R.
Exemplo 5.3.15 No caso de
11
_
r,
_
ar +/
cr +d
_
p
1
q
1
, ...,
_
ar +/
cr +d
_pn
qn
_
a substituio indicada ser
ar +/
cr +d
= t
q
, sendo = :.:.c. (
1
, ...,
a
) .
Ilustre-se com o exemplo:
1
3
_
r 1
_
r 1 1
= 1
_
t
2
t
3
1
6t
5
_
= 61
_
t
4
+t +
t
t
3
1
_
.
5.4 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 ) uma funo real de varivel real denida em [a, /] .
Considere-se este intervalo decomposto em : intervalos pelos pontos
r
0
, r
1
, r
2
, ..., r
a1
, r
a
, tais que
r
0
= a < r
1
< r
2
< ... < r
a1
< r
a
= /.
Ao conjunto 1 = r
0
, r
1
, r
2
, ..., r
a1
, r
a
chama-se uma decomposio
ou partio de [a, /] .
Desta forma [a, /] ca decomposto em subintervalos 1
1
= [r
0
, r
1
] , 1
2
=
[r
1
, r
2
] , ..., 1
a
= [r
a1
, r
a
] , de dimetros
dia: 1
1
= r
1
r
0
, dia: 1
2
= r
2
r
1
, dia: 1
a
= r
a
r
a1
.
Ao maior destes dimetros chama-se dimetro da decomposio e nota-se
por [1[.
Denio 5.4.1 Chama-se soma integral ou soma de Riemann de uma
funo ) relativamente decomposio 1 de [a, /] e ao conjunto
l = n
i
: n
i
]r
i
, r
i+1
[ , i = 1, ..., : 1 ,
designando-se por o (), 1, l) ou abreviadamente poro
1
, a
o (), 1, l) =
a
i=1
) (n
i
) (r
i
r
i1
)
= ) (n
1
) (r
1
r
0
) +) (n
2
) (r
2
r
1
) + +) (n
a
) (r
a
r
a1
) .
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 )(r) em cada um dos subin-
tervalos obtem-se a soma superior de Darboux, o, ou a soma inferior de
Darboux, o.
Exerccio 5.4.3 Para )(r) = r
2
denida em [0, 1] decomposto por 1 =
0, 0.4, 0.5, 0.7, 1, calcular:
1. A soma de Riemann o
1
relativamente a l = 0.1, 0.45, 0.6, 0.8 .
2. As somas superior e inferior de Darboux.
Proposio 5.4.4 Seja ) uma funo limitada em [a, /] . As somas superior
e inferior de Darboux, o.e o, so, respectivamente, o supremo e o nmo
das somas de Riemann, no conjunto de todas as parties possveis de [a, /] .
Dem. Para uma mesma partio 1 de [a, /] tem-se
o < o
1
< o. (5.4.1)
Dena-se
'
i
:= sup
a[a
i1
,a
i
]
) (r) , i = 1, ..., :,
e escolha-se c 0 de modo a que para os pontos intermdios n
i
em cada
um dos subintervalos se tenha
) (n
i
) '
i
c, i = 1, ..., :.
A soma de Riemann ser
o
1
=
a
i=1
) (n
i
) (r
i
r
i1
)
a
i=1
('
i
c) (r
i
r
i1
)
=
a
i=1
'
i
(r
i
r
i1
)
a
i=1
c (r
i
r
i1
) = o c(/ a) .
Pelo mesmo processo, denindo
:
i
:= inf
a[a
i1
,a
i
]
) (r) , i = 1, ..., :,
se pode provar que
o
1
< o +c(/ a) ,
pelo que o.e o, so, respectivamente, o supremo e o nmo das somas de
Riemann.
Note-se que as somas anteriores, de um ponto de vista geomtrico, cor-
responde a vrios modos de obter a soma da rea de vrios rectngulos com
alturas diferentes mas bases iguais em cada um dos casos.
5.4.2 Denio de integral de Riemann
Denio 5.4.5 Uma funo )(r) diz-se integrvel Riemann em [a, /] se
for nito
lim
[1[0
o
1
(r) = o =
_
b
o
)(r)dr,
em que o
1
(r) designa a soma de Riemann de ) relativamente decom-
posio 1, [1[ o dimetro da decomposio, )(r) a funo integranda, r a
varivel de integrao e [a, /] o intervalo de integrao
Observao 5.4.6 O valor do integral depende da funo ) e do intervalo
[a, /], mas independente da varivel de integrao. Isto ,
_
b
o
)(r)dr =
_
b
o
)(n)dn =
_
b
o
)(t)dt.
Proposio 5.4.7 (Condio necessria de integrabilidade) Se )(r) in-
tegrvel em [a, /] ento )(r) limitada em [a, /]
Dem. Pela denio de limite tem-se
lim
[1[0
o
1
(r) = o ==\c 0 - 0: \1, [1[ < - ==[o
1
(r) o[ < c.
Assim quando o dimetro da partio for sucientemente pequeno tem-se,
para c 0,
o c < o
1
< c +o.
Como o
1
=
a
i=1
) (n
i
) [r
i
r
i1
[ com n
i
pontos arbitrrios em cada um dos
subintervalos. Separamndo a primeira parcela,
o
1
= ) (n
1
) [r
1
a[ +
a
i=2
) (n
i
) (r
i
r
i1
) .
Considerando xos os pontos n
i
, i = 2, ..., :, o somatrio ter uma certa
soma /. Assim
o
1
= ) (n
1
) [r
1
a[ +/
e
o c < ) (n
1
) [r
1
a[ +/ < c +o
ou seja
o c /
[r
1
a[
< ) (n
1
) <
c +o /
[r
1
a[
.
5.4. INTEGRAL DE RIEMANN 119
Como n
1
um ponto arbitrrio em [a, r
1
] a funo )(r) limitada em [a, r
1
] .
Pelo mesmo processo possvel provar que )(r) limitada em qualquer
dos subintervalos [r
i
, r
i+1
] .Logo )(r) limitada em [a, /] .
Igualmente til a sua recproca.
Se )(r) no limitada em [a, /] ento )(r) no integrvel em [a, /].
Proposio 5.4.8 (Condio necessria e suciente de integrabilidade) A
funo )(r) integrvel em [a, /] se e s se as somas de Darboux tm o
mesmo limite nito.
Dem. ( == ) Se )(r) integrvel no sentido de Riemann em [a, /]
ento lim
[1[0
o
1
(r) = o, ou seja para um certo - 0 tal que [1[ < - se tem
[o
1
(r) o[ <
c
2
, ou seja,
o
c
2
< o
1
< o +
c
2
.
Como
o o _ 0 < c,
ento, para [1[ < -,

o o
_ c, pelo que
lim
[1[0
_
o o
_
= 0,
isto ,
lim
[1[0
o = lim
[1[0
o.
Alm disso, pelo enquadramento (5.4.1), tem-se
lim
[1[0
o = lim
[1[0
o = lim
[1[0
o
1
= o =
_
b
o
)(r)dr.
( == ) Se as somas de Darboux o e o tm o mesmo limite nito, pelo
enquadramento (5.4.1), tem-se
lim
[1[0
o = lim
[1[0
o = lim
[1[0
o
1
= o =
_
b
o
)(r)dr,
pelo que )(r) integrvel em [a, /]..
Alguns resultados ajudam a formar ideias sobre classes de funes inte-
grveis:
Proposio 5.4.9 Toda a funo contnua em [a, /] integrvel Riemann
nesse intervalo.
Dem. Pelo Teorema de Heine-Cantor , toda a funo contnua num
intervalo limitado e fechado [a, /] uniformemente contnua, isto ,
\c 0 - 0: \, n [a, /] , [ n[ < - ==[)() )(n)[ < c.
Para - 0 seja 1 uma partio de [a, /] tal que [1[ < -.
Se )(r) contnua em [a, /] ento )(r) contnua em dada um dos
subintervalos [r
i
, r
i+1
] .
Pelo Teorema de Weierstrass existem os nmeros '
i
e :
i
, respectiva-
mente, mximos e mnimos de )(r) em [r
i
, r
i+1
] .Designe-se '
i
:= ) (n
i
) e
:
i
:= ) (
i
) com n
i
,
i
[r
i
, r
i+1
] .
Considere-se c 0 tal que
'
i
:
i
= ) (n
i
) ) (
i
) <
c
/ a
.
Ento, recorrendo s somas de Darboux
o o =
a
i=1
'
i
(r
i
r
i1
)
a
i=1
:
i
(r
i
r
i1
)
=
a
i=1
('
i
:
i
) (r
i
r
i1
) <
c
/ a
a
i=1
(r
i
r
i1
) =
c
/ a
(/ a) = c.
Portanto o o < c, com [1[ < -, pelo que
lim
[1[0
_
o o
_
= 0.
Proposio 5.4.10 Toda a funo montona e limitada integrvel Rie-
mann.
Dem. Para - 0 seja 1 uma partio de [a, /] tal que [1[ < -, .isto ,
[r
i
r
i1
[ < -, i = 1, ..., :.
Suponhamos que )(r) crescente. Assim, para cada [r
i1
, r
i
] dena-se
'
i
:= sup
a[a
i1
,a
i
]
) (r) e :
i
:= inf
a[a
i1
,a
i
]
) (r) .
5.5. PROPRIEDADES DOS INTEGRAIS 121
Ento
o o =
a
i=1
('
i
:
i
) (r
i
r
i1
) =
a
i=1
() (r
i
) ) (r
i1
)) (r
i
r
i1
)
<
a
i=1
() (r
i
) ) (r
i1
)) -
= - [) (r
1
) ) (r
0
) +) (r
2
) ) (r
1
) + +) (r
a
) ) (r
a1
)]
= - [) (r
a
) ) (r
0
)] = - [) (/) ) (a)] .
Considerando c = - [) (/) ) (a)] obtem-se que o o < c desde que
[1[ < - =
c
)(b))(o)
. Ento, pela condio necessria e suciente de integra-
bilidade, )(r) integrvel em [a, /].
Se )(r) decrescente.o processo semelhante.
5.4.3 Interpretao geomtrica do conceito de integral
Vimos anteriormente que as somas superior e inferior de Darboux, o e o,
so aproximaes por excesso e por defeito, respectivamente, da rea do
trapezide limitado pelo grco de )(r) e pelas rectas verticais r = a e
r = /.
Se se diminuir o dimetro da partio obtm-se aproximaes com um
erro menor, da rea do trapezide referido.
Ao considerar parties mais nas, o e o sero valores to prximos
quanto de queira, por excesso e por defeito, do valor dessa rea.
Assim se )(r) contnua em [a, /] e )(r) 0, \r [a, /] , ento
_
b
o
)(r)dr
representa a rea da regio limitada pelo grco de )(r) e pelas rectas
verticais r = a e r = /.
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 )(r) e q(r) funes integrveis em [a, /] .
1.
_
b
o
)(r)dr =
_
o
b
)(r)dr
2. Se )(r) uma funo par ento
_
b
o
)(r)dr =
_
b
o
)(r)dr.
3. Se )(r) uma funo mpar ento
_
b
o
)(r)dr =
_
b
o
)(r)dr.
4. Para / R,
_
b
o
/ dr = / (/ a) .
5. Para / R,
_
b
o
/ )(r)dr = /
_
b
o
)(r)dr.
6. Se )(r) _ 0 ento
_
b
o
)(r)dr _ 0.
7. Se )(r) _ q(r), \r [a, /] , ento
_
b
o
)(r)dr _
_
b
o
q(r)dr.
8.

_
b
o
)(r)dr
_
_
b
o
[)(r)[ dr
9. Se )(r) uma funo limitada em [a, /] tal que [)(r)[ _ ', com
' 0, ento
_
b
o
)(r)dr
_ ' (/ a) .
10. (Aditividade do integral relativamente ao intervalo de integrao)
_
b
o
)(r)dr =
_
c
o
)(r)dr +
_
b
c
)(r)dr.
11. (Aditividade do integral relativamente funo integranda)
_
b
o
[)(r) +q(r)] dr =
_
b
o
)(r)dr +
_
b
o
q(r)dr.
Dem. Seja 1 = r
0
, r
1
, r
2
, ..., r
a1
, r
a
uma decomposio de [a, /] e
l = n
i
: n
i
]r
i
, r
i+1
[ , i = 1, ..., : 1 um conjunto de pontos arbitrrios
em cada um dos subintervalos.
1.
_
b
o
)(r)dr =
a
i=1
) (n
i
) (r
i
r
i1
)
=
a
i=1
) (n
i
) (r
i1
r
i
) =
_
o
b
)(r)dr.
2. Uma decomposio de [a, /] ser 1
+
= r
0
, r
1
, r
2
, ..., r
a1
, r
a
e um conjunto de pontos respectivos pode ser l

+
= n
i
. Ento
_
b
o
)(r)dr =
a
i=1
) (n
i
) (r
i
+r
i1
)
=
a
i=1
) (n
i
) (r
i
r
i1
) =
_
b
o
)(r)dr.
3.
_
b
o
)(r)dr =
a
i=1
) (n
i
) (r
i
+r
i1
)
=
a
i=1
) (n
i
) (r
i
r
i1
) =
_
b
o
)(r)dr.
4.
_
b
o
/ dr =
a
i=1
/ (r
i
r
i1
) = / (/ a) .
5.
_
b
o
/ )(r)dr =
a
i=1
/) (n
i
) (r
i
r
i1
)
= /
a
i=1
) (n
i
) (r
i
r
i1
) = /
_
b
o
)(r)dr.
6.
_
b
o
)(r)dr =
a
i=1
) (n
i
) (r
i
r
i1
) _ 0.
7.
_
b
o
)(r)dr =
a
i=1
) (n
i
) (r
i
r
i1
)
_
a
i=1
q (n
i
) (r
i
r
i1
) _
_
b
o
q(r)dr.
8.
_
b
o
)(r)dr
i=1
) (n
i
) (r
i
r
i1
)
_
a
i=1
[) (n
i
) (r
i
r
i1
)[ =
a
i=1
[) (n
i
)[ (r
i
r
i1
) =
_
b
o
[)(r)[ dr
9.

_
b
o
)(r) dr
_
_
b
o
[)(r)[ dr _
_
b
o
' dr = ' (/ a) .
10. (Interpretar geometricamente como adio de reas)
11.
_
b
o
[)(r) +q(r)] dr =
a
i=1
[) (n
i
) +q (n
i
)] (r
i
r
i1
)
=
a
i=1
) (n
i
) (r
i
r
i1
) +
a
i=1
q (n
i
) (r
i
r
i1
)
=
_
b
o
)(r)dr +
_
b
o
q(r)dr.
Teorema 5.5.2 (Teorema da mdia do clculo integral) Se )(r) integrvel
num intervalo 1 := [a, /] ento existe ` [:, '] , com : := inf
a1
)(r) e
' := sup
a1
)(r), tal que
_
b
o
)(r)dr = `(/ a) .
Dem. Suponhamos que / a. Como : _ )(r) _ ', \r 1, ento
_
b
o
:dr _
_
b
o
)(r)dr _
_
b
o
'dr,
pela Proposio anterior (7),
:(/ a) _
_
b
o
)(r)dr _ ' (/ a)
e, como / a 0,
: _
_
b
o
)(r)dr
/ a
_ '.
Denindo
` :=
_
b
o
)(r)dr
/ a
obtem-se o resultado pretendido.
Se / < a tem-se
_
b
o
)(r)dr =
_
o
b
)(r)dr
e aplica-se a primeira parte da demonstrao.
Observao 5.5.3 i) Se )(r) uma funo contnua em 1 ento existe
c 1 tal que )(c) = `, pelo que se obtem
_
b
o
)(r)dr = )(c) (/ a) .
ii) Se )(r) _ 0, \r 1 ento
_
b
o
)(r)dr d o valor da rea de um trapezide,
pelo que )(c) a altura de um rectngulode comprimento / a, com
ea igual do trapezide.
Proposio 5.5.4 (Desigualdade de Schwarz) Se )(r) e q(r) so funes
integrveis em [a, /] ento
__
b
o
)(r) q(r)dr
_
2
_
_
b
o
)
2
(r)dr
_
b
o
q
2
(r)dr.
Dem. Comece-se por calcular
_
b
o
[c)(r) +q(r)]
2
dr = c
2
_
b
o
)
2
(r)dr
. .
+2c
_
b
o
)(r) q(r)dr
. .
1
+
_
b
o
q
2
(r)dr
. .
C
.
Como [c)(r) +q(r)]
2
_ 0 ento
_
b
o
[c)(r) +q(r)]
2
dr _ 0
e, simplicando a notao,
c
2
+ 2c1 +C _ 0
apenas acontece para qualquer c R no nulo se 0 e (21)
2
4C _ 0,
isto ,
1
2
_ C.
Voltando notao inicial
__
b
o
)(r) q(r)dr
_
2
_
_
b
o
)
2
(r)dr
_
b
o
q
2
(r)dr.
Exerccio 5.5.5 Determine o sinal dos integrais, sem os calcular:
a)
_

3
6
cca a
a
dr
b)
_

2
3
r :c:(r)dr
Exerccio 5.5.6 Obtenha um majorante e um minorante para os integrais,
sem os calcular:
a)
_
1
1
2
a
1+a
2
dr
b)
_

4
0
r tq(r)dr
5.6. INTEGRAL INDEFINIDO 127
5.6 Integral indenido
Denio 5.6.1 Seja )(r) uma funo integrvel em 1 e c 1. Chama-se
integral indenido com origem em c funo
(r) =
_
a
c
)(t)dt, \r 1.
Proposio 5.6.2 1. Integrais indenidos de origens diferentes diferem
de uma constante.
2. O integral indenido uma funo contnua.
Dem. Considerem-se
(r) =
_
a
c
)(t)dt e (r) =
_
a
b
)(t)dt.
1. Ento
(r) (r) =
_
a
c
)(t)dt +
_
b
a
)(t)dt =
_
b
c
)(t)dt R.
2. Comecemos por provar que (r) uma funo contnua.em r = c,
isto que
lim
ac
(r) = (c).
Note-se que o limite, a existir, ter que ser 0 e que, pela condio necessria
de integrabilidade, (Proposio 5.4.7) )(r) limitada em [a, /] , digamos por
uma constante ' 0. Assim
[(r) 0[ _
_
a
c
[)(t)[ dt _
_
a
c
' dt = '(r c)
e como lim
ac
'(r c) = 0, ento lim
ac
(r) = (c) = 0.
Prove-se agora que (r) contnua.em r = c ,= c.
Ento
[(r) (c)[ =
_
a
c
)(t)dt
_
c
c
)(t)dt
_
a
c
)(t)dt +
_
c
c
)(t)dt
_
a
c
)(t)dt
_
_
a
c
[)(t)[ dt _
_
a
c
' dt = '(r c) _ '[r c[
e conclui-se como na primeira parte da prova.
Teorema 5.6.3 (Teorema fundamental do Clculo Integral) O integral in-
denido tem por derivada a funo integranda nos pontos em que esta seja
contnua, isto ,
t
(c) = )(c), se ) for contnua em c.
Dem. Viu-se anteriormente que
(r) (c) =
_
a
c
)(t)dt = `(r c) ,
com ` compreendido entre )(r) e )(c).
Por denio de derivada
t
(c) = lim
ac
(r) (c)
r c
= lim
ac
`(r c)
r c
= ` = )(c).
Corolrio 5.6.4 Sejam c, r 1 e ) uma funa contnua em 1. Ento
t
(r) = )(r), \r 1.
Observao 5.6.5 i) Sendo [n(r)] =
_
&(a)
c
)(t)dt, pela derivada da funo
composta obtem-se
t
[n(r)] = ) [n(r)] n
t
(r), \r 1.
ii) Se (r) =
_
&(a)
(a)
)(t)dt ento
t
(r) = ) [n(r)] n
t
(r) ) [(r)]
t
(r).
Exerccio 5.6.6 Estude quanto aos extremos e intervalos de monotonia a
funo
(r) =
_
a
2
(t
2
6t + 8)dt.
Exerccio 5.6.7 Sendo )(r) =
_
log a
0
(r c
t
2
)dt prove que )
t
(1) = 1 e )
tt
(1) =
0.
Exerccio 5.6.8 Para )(r) =
_
I log a
a
2
(c
t
2
)dt, calcule / tal que )
t
(1) = 0.
5.7. MTODOS DE INTEGRAO 129
Exerccio 5.6.9 Recorrendo desigualdade de Schwarz encontre um majo-
rante para
_
1
0
c
5a
_
arctq(r)dr.
Teorema 5.6.10 (Frmula de Barrow) Seja ) uma funo contnua em
[a, /] e 1 uma primitiva qualquer de ) em [a, /] . Ento
_
b
o
)(r)dr = 1(/) 1(a).
Dem. A frmula geral das primitivas de )(r) dada por
1(r) =
_
a
c
)(t)dt +/, / R.
Assim
1(/) =
_
b
c
)(t)dt +/ e 1(a) = /.
Ento
1(/) 1(a) =
_
b
c
)(t)dt.
Exerccio 5.6.11 Calcule o valor dos integrais:
1.
_
3
1
oa
_
7+3a
2.
_
3
2
a
a
2
25
dr
5.7 Mtodos de integrao
Os mtodos de integrao so anlogos aos mtodos de primitivao.
5.7.1 Integrao por decomposio
Sejam )
i
funes integrveis em [a, /] . Ento
_
b
o
()
1
(r) +)
2
(r) + +)
a
(r)) dr =
_
b
o
)
1
(r)dr+
_
b
o
)
2
(r)dr+ +
_
b
o
)
a
(r)dr.
5.7.2 Integrao por partes
Sejam n e duas funes integrveis num intervalo [a, /] . Se o produto n
t
for integrvel ento

_
b
o
_
n
t
(r)(r)
dr = [n(r)(r)]
b
o
_
b
o
_
n(r)
t
(r)
dr.
5.7.3 Integrao por substituio
Considere-se: ) uma funo contnua em [a, /] e , : [c, ,] [a, /] uma
funo bijectiva e diferencivel com ,(c) = a e ,(,) = /. Ento vlida a
igualdade
_
b
o
)(r)dr =
_
o
c
) [,(t)] ,
t
(t) dt.
Exerccio 5.7.1 Calcular o valor dos integrais:
1.
_
4
2
a
3
a1
dr
2.
_
2
1
r
3
log r dr
3.
_
1
0
r arctq(r) dr
4.
_
4
1
oa
1+
_
a
5.
_
log 5
0
_
c
a
1 dr
6.
_
63
0
6
_
a+1
3
_
a+1+
_
a+1
dr
5.8 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.
o
espcie
Denio 5.8.1 Seja um intervalo 1 _ R. Designa-se por integral im-
prprio de 1
o
espcie de ) em 1 a qualquer das seguintes situaes:
a) Se 1 = [a, +[,
_
+o
o
)(r)dr
5.8. EXTENSO DA NOO DE INTEGRAL 131
b) Se 1 =] , /[,
_
b
o
)(r)dr
c) Se 1 =] , +[,
_
+o
o
)(r)dr.
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 1
o
espcie tenha um
valor nito.
Assim necessrio estudar a natureza do integral.
Denio 5.8.2 i) O integral
_
+o
o
)(r)dr convergente se existir e for
nito
lim
a+o
_
a
o
)(t) dt.
Nesse caso
_
+o
o
)(r)dr = lim
a+o
_
a
o
)(t) dt
representa o valor da rea pretendida.
ii) Anlogamente,
_
b
o
)(r)dr convergente se
_
b
o
)(r)dr = lim
ao
_
b
a
)(t)dt
existir e for nito.
iii) Do mesmo modo
_
+o
o
)(r)dr convergente se
_
+o
o
)(r)dr = lim
a+o
_
a
a
)(t)dt
existir e for nito.
iv) Se algum dos limites anteriores no existir ou for innito, ento o re-
spectivo integral diz-se divergente.
Exerccio 5.8.3 Estude a natureza dos integrais e calcule o seu valor, se
possvel:
1.
_
+o
0
1
a
2
+1
dr
2.
_
1
o
1
a
2
dr
3.
_
+o
1
1
a
dr
Exerccio 5.8.4 Estude a natureza do integral
_
+o
o
1
r
c
dr, (a 0)
discutindo-a em funo de c.
o
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, /] R um intervalo e ) uma funo integrvel em
subintervalos de [a, c[']c, /], sendo c um ponto em que ) no limitada
Designa-se por integral imprprio de 2
o
espcie o integral
_
b
o
)(r)dr
em que existe pelo menos um c [a, /] em que )(c) no limitada
Denio 5.8.6 O integral integral imprprio de 2
o
espcie diz-se conver-
gente se existirem e forem nitos
lim
ac
_
a
o
)(t) dt e lim
ac
+
_
b
a
)(t) dt
Nesse caso
_
b
o
)(r)dr = lim
ac
_
a
o
)(t) dt + lim
ac
+
_
b
a
)(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, /] existirem : pontos c
1
, ..., c
a
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:
a)
_
1
0
1
_
a
dr
b)
_
1
0
1
a
dr,discutindo-a em funo de c R.
c)
_
10
10
a
a
2
1
dr
5.9. CRITRIOS DE CONVERGNCIAPARAINTEGRAIS IMPRPRIOS133
o
espcie ou mistos
Neste caso esto os integrais que so simultaneamente de 1
o
e 2
o
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 1
o
ou 2
o
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:
a)
_
+o
0
1
a1
dr
b)
_
+o
o
1
a
3
dr
5.9 Critrios de convergncia para integrais im-
prprios
Na prtica torna-se til analisar a natureza dos integrais imprprios sem ter
de os calcular.
Sejam )(r) e q(r) funes localmente integrveis.
Proposio 5.9.1 Se
lim
ao
r
c
)(r) nito e no nulo
ento:
_
+o
o
)(r)dr convergente se c 1;
_
+o
o
)(r)dr divergente se c _ 1.
Exemplo 5.9.2 O integral
_
+o
0
a
a
2
+1
dr divergente pois
lim
a+o
r
c
r
r
2
+ 1
= 1 para c = 1.
Proposio 5.9.3 (Critrio de comparao) Se )(r) e q(r) so duas funes
tais que existe / R de modo que )(r) _ q(r),para r _ /, ento:
a) Se
_
+o
o
)(r)dr divergente ento
_
+o
o
q(r)dr divergente;
b) Se
_
+o
o
q(r)dr convergente ento
_
+o
o
)(r)dr convergente.
Exemplo 5.9.4 Para analisar a natureza do integral
_
+o
1
1+cca
2
a
_
a
dr pode
comear-se por estabelecer as relaes
1 _ 1 +:c:
2
r
1
_
r
_
1 +:c:
2
r
_
r
, para r _ 1.
Como
_
+o
1
1
_
a
dr divergente ento
_
+o
1
1+cca
2
a
_
a
dr tambm divergente.
Proposio 5.9.5 (Critrio da existncia do limite) Se )(r) e q(r) so
duas funes tais que
lim
ao
) (r)
q (r)
nito e no nulo
ento os integrais
_
+o
o
)(r)dr e
_
+o
c
q(r)dr tm a mesma natureza.
Exemplo 5.9.6 Para estudar a natureza do integral
_
+o
0
1
_
1+a
3
dr pode
ver-se que
lim
a+o
1
a
1
_
1+a
3
= lim
a+o
_
1 +r
3
r
c
= 1 se c =
3
2
.
Como
_
+o
1
1
_
a
3
dr convergente ento
_
+o
0
1
_
1+a
3
dr da mesma natureza,
isto , convergente.
Proposio 5.9.7 (Critrio do integral) Seja ) : [1, +[ R uma funo
decrescente e, para cada : N, seja a
a
= )(:). Ento a srie
o
a=1
a
a
e o
integral
_
+o
1
)(r)dr so da mesma natureza (ambos convergentes ou ambos
divergentes).
Proposio 5.9.8 Seja
_
b
o
)(r)dr um integral imprprio de 2
o
espcie em
que )(c) no limitada. Se
lim
ac
(r c)
c
) (r) nito e no nulo
ento:
a)
_
b
o
)(r)dr convergente se c < 1;
5.10. APLICAES DOS INTEGRAIS 135
b)
_
b
o
)(r)dr divergente se c _ 1.
Exemplo 5.9.9 O integral
_
4
3
2
(a3)
2
dr divergente pois
lim
a3
(r 3)
c
2
(r 3)
2
= 2 para c = 2.
5.10 Aplicaes dos integrais
5.10.1 reas planas
Se )(r) uma funo contnua no negativa, a rea da regio limitada pelo
seu grco, pelo eixo das abcissas e pelas rectas verticais r = a e r = /
dada por
=
_
b
o
)(r)dr.
Exerccio 5.10.1 Calcular a rea:
1. De um crculo de centro na origem e raio r;
2. Da regio denida pelo conjunto
1 =
_
(r, j) R
2
: 3 _ r _ 3, 0 _ j _ (r + 1) c
a+1
_
;
3. Da regio limitada pela parbola j = r
2
e a recta j = 3 2r.
4. Da regio denida por
1 =
_
(r, j) R
2
: 2 _ r _ 5, 0 < j _
1
_
[r[
_
.
5.10.2 Comprimento de curvas planas
O comprimento de um arco 1
0
1
1
duma curva representada pela aplicao
j = )(r), tendo por coordenadas cartesianas 1
0
= (r
0
, )(r
0
)) e 1
1
=
(r
1
, )(r
1
)) dado por
C =
_
a
1
a
0
_
1 + [)
t
(r)]
2
dr.
Exerccio 5.10.2 Determine os comprimentos dos arcos das curvas denidas
por:
1. j = cosh(r) entre = (0, 1) e 1 =
_
1,
c
2
+1
c
_
2. j = 2 log r entre = (1, 0) e 1 =
__
3, 2 log
_
3
_
5.10.3 Volumes de slidos de revoluo
O volume do slido que se obtem pela rotao da regio limitada pelo grco
de j = )(r) e pelas rectas verticais r = a e r = /, em torno do:
a) eixo das abcissas dado por
\ =
_
b
o
[)(r)]
2
dr.
b) eixo horizontal j = / dado por
\ =
_
b
o
[)(r) /]
2
dr.
Exerccio 5.10.3 Calcular o volume de um cone de revoluo de altura /
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 )(r) e pelas rectas verticais r = a e r = /,
dada por
1
= 2
_
b
o
)(r)
_
1 + [)
t
(r)]
2
dr.
Exerccio 5.10.4 Calcular a rea lateral de um cone de revoluo de altura
/ 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.

Ap AMI v9 PDF

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Ap AMI v9 PDF

Diunggah oleh

Hak Cipta:

Format Tersedia

Anlise Matemtica I

coloca-se j = /, com / N e para n

< c, para : j, pelo que, por denio,

no um innitsimo, logo pelo Corolrio 2.3.8,

est nas condies do teorema anterior. Assim

) )(a)[ , caso existam ambos os

) )(a)[ se existirem apenas

)(a +/) )(a)

) representa o declive da semi-recta tangente

4.7 Regras de derivao

104 CAPTULO 4. CLCULO DIFERENCIAL EM R

= cos ()(r)) +c, c R,

e um conjunto de pontos respectivos pode ser l

for integrvel ento

Anda mungkin juga menyukai