Analise Matemática I 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 f (x) = sen x . . . . . . . . . . . . 89
4.10.2 Derivada da funo cos x . . . . . . . . . . . . . . . . 89
4.10.3 Derivada das funes tg x e cot g x . . . . . . . . . . . 89
4.10.4 Derivada das funes trigonomtricas inversas . . . . . 90
4.11 Derivadas das funes exponencial e logartmica . . . . . . . . 91
4.12 Teoremas fundamentais do clculo diferencial . . . . . . . . . 92
4.13 Derivadas de ordem superior . . . . . . . . . . . . . . . . . . 98
4.14 Aplicaes da frmula de Taylor determinao de extremos,
convexidade e inexes . . . . . . . . . . . . . . . . . . . . . . 100
4.15 Sries de funes . . . . . . . . . . . . . . . . . . . . . . . . . 102
CONTEDO 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 1a espcie . . . . . . . . . . . . . 130
5.8.2 Integral imprprio de 2a espcie . . . . . . . . . . . . . 132
5.8.3 Integral imprprio de 3a 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 A 6= ?; chama-se sucesso de termos

em A a qualquer aplicao de N em A:
Exemplo 1.1.2 As aplicaes

f: N ! Z g: N ! Q
e 5n+2
n 7 ! 3n 4 n 7 ! n+1
so exemplos de sucesses.
Se o conjunto de chegada for R ento diz-se uma sucesso de nmeros reais.
Designa-se por un :
Aos valores imagens da sucesso chamam-se termos da sucesso e designam-
se por u1 ; u2 ; ::::un ; ; :::; isto , 1o termo, 2o termo,...,ensimo-termo ou termo de ordem n:
expresso un chama-se termo geral da sucesso.
Ao contradomnio da aplicao chama-se conjunto de todos os termos da
sucesso.
Modos de denir uma sucesso:
1. Dado o termo geral
Dada a "lei"que permite obter as imagens a aplicao ca denida, j
que o seu domnio sempre N.
2n 5
Exerccio 1.1.3 Considere a sucesso un = n+3 :
a) Calcule o 2o e o 10o termos.
b) Determine up+2 :
5
6 CAPTULO 1. SUCESSES
2. Por recorrncia
Os termos da sucesso so calculados a partir dos termos anteriores.
8
< u1 = 3
Exemplo 1.1.4 a)
:
un+1 = 2un + 4; 8n 2 N:
8
< v1 = 1
b) v2 = 3
:
vn+2 = vn + vn+1 ; 8n 2 N:
Exerccio 1.1.5 Calcule os quatro primeiros termos de cada uma das sucesses
anteriores e represente-os gracamente.
Exerccio 1.1.6 Considere a sucesso

3n + 4
wn = :
5n + 2
7 5
Verique se 11 e 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 un qualquer sucesso que
resulte da supresso de alguns termos de un .
Exerccio 1.2.2 (i) Dada a sucesso un = ( 1)n (n + 3) ; calcule:

a) A subsucesso de un dos termos de ordem par.
b) A subsucesso de un dos termos de ordem mpar.
c) A subsucesso de un dos termos cuja ordem multipla de 5:
(ii) Represente grcamente os trs primeiros termos de cada subsucesso.
1.3 Sucesses montonas

Denio 1.3.1 Seja un uma sucesso.
(i) un diz-se crescente se un+1 un ; 8n 2 N, isto , se un+1 un 0;
8n 2 N.
(ii) un estritamente crescente se un+1 > un ; 8n 2 N, isto , se un+1 un >
0; 8n 2 N.
(iii) un diz-se decrescente se un+1 un ; 8n 2 N, isto , se un+1 un 0;
8n 2 N.
1.4. SUCESSES LIMITADAS 7
(iv) un estritamente decrescente se un+1 < un ; 8n 2 N, isto , se un+1

un < 0; 8n 2 N.
Denio 1.3.2 Uma sucesso crescente ou decrescente, em sentido lato

ou estrito, uma sucesso montona.
Exerccio 1.3.3 Estude e classique quanto monotonia as sucesses:

3n
a) an = n+2
1 4n
b) bn = n+1
c) cn = cos (n )
d) dn = 3n
Observao 1.3.4 Uma sucesso crescente limitada inferiormente, isto

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

Denio 1.4.1 Uma sucesso un diz-se limitada se o conjunto dos seus
termos for um conjunto limitado. Isto , se existirem nmeros reais A e B
tais que
A un B; 8n 2 N:
De modo anlogo pode denir-se sucesso limitada se
9L > 0 : jun j L; 8n 2 N:
Exerccio 1.4.2 Das sucesses seguintes indique as que so limitadas, referindo

neste caso um majorante e um minorante para o conjunto dos seus termos:
3n
a) an = n+2
b) dn = 3n
c) cn = cos (n )
Exerccio 1.4.3 Prove que a sucesso dn = 3n no limitada.

1.5 Induo Matemtica

O mtodo de Induo Matemtica permite provar propriedades no conjunto
dos nmeros naturais.
Baseia-se no Princpio de Induo Matemtica:
Suponhamos que se pretende provar que uma condio C(n) se trans-
forma numa proposio verdadeira sempre que se substitua n por um nmero
natural.
Basta assegurar que se vericam as duas condies seguintes:
1. C(1) verdadeira
2. C(n) uma condio hereditria, isto , se C(p) verdadeira ento

C(p + 1) yambm verdadeira
Algumas propriedades importantes provam-se com recurso a este mtodo:
Proposio 1.5.1 (Desigualdade de Bernoulli) Se x 2 R verica 1 + x 0

ento
(1 + x)n 1 + nx, 8n 2 N:
Dem. Para n = 1; tem-se uma igualdade trivial : 1 + x = 1 + x:

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

= 1 + x + px + px = 1 + (p + 1) x + px2
2
1 + (p + 1) x:
Ento, pelo mtodo de induo matemtica
(1 + x)n 1 + nx, 8n 2 N:
1.6. NOO DE VIZINHANA 9
Exerccio 1.5.2 Utilizando o mtodo de induo matemtica prove que:
a) 8n : 2n = 4n , 8n 2 N:
n
X
b) (2k) = n(n + 1), 8n 2 N:
k=1
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 > 0:
Isto , considera-se um valor na vizinhana de a;ou seja em ]a ; a + [:
Denio 1.6.1 Seja a 2 R: Chama-se vizinhana de a de raio > 0;e

nota-se por V (a) ao conjunto
V (a) = fx 2 R : jx aj < g
= ]a ; a + [:
Ou seja, o conjunto de todos os valores aproximados de a com erro inferior

a :
Exerccio 1.6.2 Represente na forma de intervalo de nmeros reais:

a) V0:2 (4)
b) V0:02 ( 2; 3)
Exerccio 1.6.3 Dena como uma vizinhana os conjuntos:

a) ]2; 32; 2; 48[
b) fx 2 R : jx + 3j < 0; 001g
2+3n
Exerccio 1.6.4 Considere a sucesso un = 2n+3 : Prove que a partir de
u11 (exclusive) todos os termos vericam
3
un 2 V0;1 :
2
Interprete gracamente.
1.7 Sucesses convergentes. Propriedades

Denio 1.7.1 A sucesso un converge para um valor a 2 R se, para
qualquer valor positivo ; existe uma ordem a partir da qual todos os termos
da sucesso pertencem a V (a):
Simbolicamente
lim un = a , 8 > 0 9p 2 N: n > p =) jun aj < :
Exerccio 1.7.2 Provar por denio que

2 + 3n 3
lim = :
2n + 3 2
Denio 1.7.3 (i) As sucesses que tm por limite um nmero nito
dizem-se convergentes.
(ii) As sucesses que no so convergentes dizem-se divergentes.
(iii) Uma sucesso convergente para 0 diz-se um innitsimo.
Denio 1.7.4 (i) Um elemento a 2 R diz-se um ponto de acumulao

do conjunto A R; no vazio, se em qualquer vizinhana de a existe pelo
menos um elemento de A diferente de a:
Simbolicamente
a um ponto de acumulao do conjunto A se 8 > 0; (V (a)nfag) \ A 6= ?:
(ii) Um ponto a 2 A que no seja ponto de acumulao chama-se um
ponto isolado.
Isto , a um ponto isolado se 9 > 0 : V (a) \ A = fag:
Exerccio 1.7.5 Indique o conjunto de todos os pontos de acumulao dos

conjuntos:
a) M = f 1; 5g [ [0; 2]
b) N = x 2 R : x = n1 ; n 2 N :
Exerccio 1.7.6 Prove que um conjunto nito no tem pontos de acumu-

lao.
Proposio 1.7.7 O elemento a 2 R ponto de acumulao de A R se,

e s se, limite de uma sucesso de pontos de A distintos de a:
Dem. (=)) Suponhamos que a 2 R ponto de acumulao de A R:
Ento, para cada n 2 N existem pontos un 2 V 1 (a) \ (Anfag) ; ou seja,
n
1
jun aj < n e un ! a:
1.7. SUCESSES CONVERGENTES. PROPRIEDADES 11
((=) Seja un 2 A; para cada n 2 N; com un = 6 a; 8n 2 N; tal que

un ! a:
Ento jun aj < ; 8 > 0: Assim un 2 V (a); 8 > 0; pelo que a 2 R
ponto de acumulao de A:
Teorema 1.7.8 (Teorema de Bolzano-Weierstrass) Todo o conjunto A 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 U o conjunto de termos da sucesso limitada un :

Se U nito ento existe a 2 U que se repete innitas vezes e, por
consequncia, limite de uma subsucesso constante igual a a; pelo que
convergente para a:
Se U um conjunto innito, como limitado, pelo Teorema 1.7.8, tem
pelo menos um ponto de acumulao.
Ento, pela Proposio 1.7.7, a limite de uma sucesso de pontos de
U:
Vejamos algumas propriedades das sucesses convergentes e as suas 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 un

tal que un ! a e un ! b com a 6= b:
Dado > 0 arbitrrio,
9n0 2 N : n > n0 =) jun aj < ;

2
9n1 2 N : n > n1 =) jun bj < :
2
Tomando p := max fn0 ; n1 g tem-se que para n > p so vlidas as duas
desigualdades anteriores e
ja bj = ja un + un bj ja un j + jun bj < + = :
2 2
O que est em contradio com a hiptese de a 6= b:
Logo a = b:
Teorema 1.7.11 Se un uma sucesso convergente ento qualquer das

suas subsucesses convergente para o mesmo limite.
Dem. Seja un uma sucesso tal que un ! a e vn uma subsucesso de
un :
Assim os termos de vn tambm so termos de un ; pelo que tambm
vericam a proposio
8 > 0 9p 2 N: n > p =) jvn aj < ;
ou seja vn ! a:
Teorema 1.7.12 Toda a sucesso convergente limitada.

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

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

1.8. OPERAES ALGBRICAS COM SUCESSES 13
Ou seja
8 > 0 9p 2 N: n > p =) c < un < c + ;
isto , un ! c: Ento un uma sucesso convergente (para o supremo do

conjunto dos termos da sucesso).
Se un f uma sucesso decrescente.a demonstrao semelhante mas uti-
lizando
d := inf fun : n 2 Ng :
1.8 Operaes algbricas com sucesses

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

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

duas sucesses convergentes.
Se a partir de certa ordem se verica un vn ento
lim un lim vn :
Dem. Considerem-se duas sucesses convergentes un e vn tais que un !

a e vn ! b: Assim
8 > 0 9n0 2 N: n > n0 =) jun aj < ;
8 > 0 9n1 2 N: n > n1 =) jvn bj <
e seja n1 a ordem a partir da qual se verica un vn .
Suponha-se, com vista a uma contradio, que a > b e considere-se
:= a 2 b (> 0 porque a > b):
Seja p := max fn0 ; n1 ; n2 g : Ento para n p tem-se
a b
vn b< = , < un a
2
e
a b a b
vn < b + =a
< un :
2 2
Ora esta desigualdade contradizo facto de a partir da ordem p se tem un
vn .
Logo a b; isto , lim un lim vn :
Corolrio 1.8.2 Se a partir de certa ordem a sucesso convergente vn ver-

ica vn 0; ento
lim vn 0:
Dem. Basta fazer na demonstrao anterior un 0:
Teorema 1.8.3 O produto de um innitsimo por uma sucesso limitada

um innitsimo.
Isto , se un uma sucesso limitada e vn um innitsimo, ento
lim (un vn ) = 0:
Dem. Seja un uma sucesso limitada e vn um innitsimo.
Ento
9L > 0 : jun j L; 8n 2 N
e como vn ! 0 ento
8 > 0 9p 2 N: n > p =) jvn j < :

L
Assim, para n > p;
jvn un 0j = jvn j jun j jvn j L L= :

L
Ento (vn un ) ! 0; isto , (vn un ) 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 un e vn duas sucesses convergentes.

1. (u + v)n uma sucesso convergente e lim (u + v)n = lim un + lim vn :
2. (u v)n uma sucesso convergente e lim (u v)n = lim un lim vn :
3. (k u)n uma sucesso convergente e lim (k u)n = k lim un :
u u
4. v n uma sucesso convergente desde que vn 6= 0; 8n 2 N;e lim v n =
lim un
lim vn ; se lim vn 6= 0:
5. (un )p ; p 2 Z; uma sucesso convergente (com un 6= 0; 8n 2 N, se p < 0)
e lim (un )p = (lim un )p :
p p
6.
p
p u
n uma sucesso convergente, se un 0; 8n 2 N, e lim p un =
p
lim un :
Se p for mpar e un < 0 a propriedade permanece vlida.
Dem. Sejam un e vn duas sucesses convergentes tais que un ! a e
vn ! b: Ou seja
8 > 0 9n0 2 N: n > n0 =) jun aj < ;

2
8 > 0 9n1 2 N: n > n1 =) jvn bj < :
2
1. Considerando p := max fn0 ; n1 g ; tem-se que para n p so vlidas
as duas proposies e
j(un + vn ) (a + b)j = j(un a) + (vn b)j

jun aj + jvn bj < + = :
2 2
Ento lim (un + vn ) = a + b = lim un + lim vn :
2. Note-se que
(un vn ) (a b) = un vn un b + un b ab
= un (vn b) + (un a) b;
un uma sucesso limitada (pois convergente), vn b e un a so in-

nitsimos.
Ento
lim (un vn ab) = lim [un (vn b)] + lim [(un a) b] = 0:
3. um caso particular de 2. com vn k (k 2 R).

4. Como vn ! b 6= 0; por 2., tem-se que vn b ! b2 > 0; ou seja <
vn b b2 < :
Escolha-se > 0 sucientemente pequeno tal que existe p 2 N em que
para n p se tem vn b > b2 > 0:
Assim, considerando apenas os termos cuja ordem maior que p (os que
no forem so em nmero nito), obtem-se
1 1
0< < 2 ;
vn b b
pelo que a sucesso (ou subsucesso se for necessrio) vn1 b e limitada.
Note-se que se tem:
un a un b a vn
vn b = vn b = (un b a vn ) vn1 b :
lim (un b a vn ) = lim (un b) + lim ( a vn ) = ab ab = 0:
Ento
un a 1
lim = lim (un b a vn ) = 0;
vn b vn b
pelo que lim uvnn = lim un
lim vn :
5. Se p = 0; (un )p 1
e lim (un )p = lim 1 = 1 = (lim un )p :
Se p 2 N; demonstra-se por induo.
Para p = 1 a proposio verdade.
Para provar a tese,
h i h i
k+1 k k
lim (un ) = lim (un ) un = lim (un ) lim un
= (lim un )k lim un = (lim un )k+1 :
Se p 2 Z coloca-se p = k; com k 2 N e para un 6= 0; 8n 2 N; tem-se

!
k 1 1 1
lim (un ) = lim k
= k
= k
= (lim un ) k :
(un ) lim (un ) (lim un )
6. Provar primeiro por induo em p; que a relao
up v p = (u v) up 1
+ up 2
v + up 3 2
v + + uv p 2
+ vp 1
vlida para quaisquer u; v 2 R:

1.9. PROPRIEDADES ALGBRICAS DOS LIMITES 17
Para n = 1; u v = u v; verdade.
Para p = k + 1;
uk+1 v k+1 = uk+1 uv k + uv k v k+1 = u uk v k + v k (u v)
= u (u v) uk 1
+ uk 2
v + uk 3 2
v + + uv p 2
+ vp 1
+ v k (u v)
= (u v) uk + uk 1
v + uk 2 2
v + + u2 v p 2
+ uv p 1
+ vk :
p
Considere-se a > 0: Substituindo na igualdade anterior u = p un e v =
p
p
a; obtem-se
p p p p h p p p p p i
p 2 p 1
( p un )p p
a = p un p
a ( p un )p 1 + + ( p un ) p a + p
a
e
p p
p
un a
p
un a= p p 1 p p p 2 p p 1
:
p un + + p un ( p a) + ( p a)
Assim
p p
p
jun aj jun aj
p
un a = p p 1 p p p 1;
p p 1 ( p a)
p un + + ( a)
pois as parcelas do denominador da fraco do 2o membro so todas positivas

e ento
p p p 1 p p 1
( p un )p 1 + + pa p
a :
Como un ! a; tem-se
p
p p 1
8 > 0 9n0 2 N: n > n0 =) jun aj < a
e obtem-se p p 1
p p
p
jun aj ( p a)
p
un a p p 1 < p p 1 = :
( p a) ( p a)
Se a = 0 ento lim un = 0 e neste caso considera-se, na denio de
limite jun j < p e un < p ; pois un 0:
Ento obtem-se
p p p p p
p p
p
p
un a = j p un j = p un = :
Teorema 1.9.2 Se un uma sucesso convergente ento
lim jun j = jlim un j :
Dem. Seja un ! a; isto ,
8 > 0 9p 2 N: n > p =) jun aj < :
Como jjun j jajj jun aj < o que equivalente a jun j ! jaj ; isto ,
lim jun j = jlim un j :
O prximo teorema til para o clculo de limites de sucesses cujos
termos gerais incluam somatrios ou fraces com razes trigonomtricas,
entre outras situaes.
Teorema 1.9.3 (Teorema das sucesses enquadradas) Sejam un ; vn e wn

sucesses convergentes tais que:
a) lim un = lim vn = a (a 2 R)
b) a partir de uma certa ordem se tem un wn vn :
Ento lim wn = a:
Dem. Considerem-se duas sucesses un e vn convergentes para a 2 R:

Ento
8 > 0 9n0 2 N: n > n0 =) a < un < + a
e
8 > 0 9n1 2 N: n > n1 =) a < vn < + a:
Seja n2 a ordem a partir da qual se tem un wn vn e dena-se p :=

max fn0 ; n1 ; n2 g : Ento para n > p obtem-se
a < un wn vn < + a;
ou seja a < wn < + a; pelo que lim wn = a:
Exerccio 1.9.4 Calcule o limite de cada uma das sucesses:

Xn
2n+sen( k4 )
a) wn = 1+3n2
k=1
n
X
n
b) wn = 2k+n2
k=0
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 un ! a; desde que n seja sucientemente grande,
todos os termos de un estaro arbitrariamente prximos de a e, portanto
prximos uns dos outros.
Denio 1.10.1 Uma sucesso un em R diz-se uma sucesso de Cauchy

se para cada > 0 existe uma prdem p 2 N tal que jum un j < ; para
quaisquer m; n p:
Observao 1.10.2 Considerando em particular m = n + k; k 2 N, pode

obter-se uma denio equivalente:
un uma sucesso de Cauchy se
8 > 0 9p 2 N: n p =) jun+k un j < ; 8k 2 N:
Desta ltima denio resulta:
Proposio 1.10.3 Se un uma sucesso de Cauchy em R; ento para

qualquer k 2 N tem-se
un+k un ! 0; quando n ! +1:
A condio recproca no vlida, como se pode ver no exerccio seguinte:
Exerccio 1.10.4 (Contra-exemplo) Prove que para cada k 2 N a sucesso

1 1 1
Sn = 1 + + + ::: +
2 3 n
verica
Sn+k Sn ! 0
e no entanto Sn no uma sucesso de Cauchy.
O prximo resultado fornece um critrio de convergncia para sucesses
de que no se conhece o limite:
Teorema 1.10.5 (Princpio de Cauchy-Bolzano) A condio necessria e

suciente para que uma sucesso un em R seja convergente que un seja
uma sucesso de Cauchy.
Simbolicamente, em R; un convergente se e s se
8 > 0 9p 2 N: 8k 2 N; 8n p =) jun+k un j < :
Dem. (=)) Suponhamos que a sucesso un convergente para a 2 R:

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

2 2
Logo un uma sucesso de Cauchy.
((=) Seja un uma sucesso de Cauchy.
Passo1: Provar que toda a sucesso de Cauchy em R limitada.
Considere-se na denio = 1: Assim, em particular, existe p 2 N; tal
que jum un j < 1; para quaisquer m; n p
Ento , em particular, a desigualdade vlida para m = p; isto ,
jun up j < 1 () un 2 ]up 1; up + 1[ ; para n p
Portanto, fora deste intervalo, esto um nmero nito de termos da sucesso

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

2
Dena-se r := max fq; pg : Ento para k r vericam-se simultaneamente
as desigualdades
juk aj < e jum uk j < ; para m r:

2 2
Assim, para m r;
jum aj = jum uk + uk aj jum uk j + juk aj < + = :

2 2
Ou seja, um ! a; quando m ! +1:
Ento, pelo Passo1, un uma sucesso limitada e pelo Corolrio 1.7.9, un
possui uma subsucesso convergente. Logo, pelo Passo 2, un convergente.
1.11. A RECTA ACABADA. INFINITAMENTE GRANDES 21
1.11 A recta acabada. Innitamente grandes

Se recta real juntarmos "dois novos elementos", +1 e 1; obtem-se a
recta acabada, que se representa por R ou [-1; +1]:
R pode considerar-se como um conjunto limitado superiormente por +1
e inferiormente por 1. Assim qualquer subconjunto de R limitado.
Como estender a noo de limite a R ?
Denio 1.11.1 Uma sucesso un diz-se um innitamente grande positivo

e escreve-se
un ! +1 ou lim un = +1;
se, a partir de uma certa ordem, un for superior a qualquer nmero positivo
previamente xo.
Simbolicamente
un ! +1 () 8L > 0 9p 2 N: n > p =) un > L:
Exerccio 1.11.2 Prove que a sucesso un = 5n + 1 um innitamente

grande positivo.
Denio 1.11.3 a) A sucesso un um innitamente grande negativo,

isto ,
un ! 1 ou lim un = 1;
se, a partir de uma certa ordem, un for inferior a qualquer nmero negativo
xado.
Simbolicamente
un ! 1 () 8L > 0 9p 2 N: n > p =) un < L:
b) un um innitamente grande em mdulo quando
jun j ! +1:
A unicidade do limite permanece vlida para sucesses na recta acabada.

Contudo uma sucesso un pode no ter limite em R:
Exerccio 1.11.4 Mostre que un = ( 1)n (n + 2) no tem limite em R mas

um innitamente grande em mdulo.
Classicao das sucesses quanto existncia e natureza do limite:
convergentes (tm limite em R)

8
>
> propriamente divergentes
>
> (limite 1)
<
divergentes
(no convergentes) >>
>
> oscilantes
:
(no tm limite em R)
1.12 Operaes com limites em R. 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.
Teorema 1.12.1 Sejam un e vn duas sucesses reais.

1) Se un um innitamente grande positivo ou negativo ento um inni-
tamente grande em mdulo. Isto ,
se un ! 1 ento jun j ! +1:
2) O inverso de um innitsimo um innitamente grande, i.e.,

1
se un ! 0 ento ! 1:
un
3) O inverso de um innitamente grande um innitsimo, i.e.,

1
se un ! 1 ento ! 0:
un
4) Se un um innitamente grande positivo e, a partir de uma certa ordem,

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

1.12. OPERAES COM LIMITES EM R. INDETERMINAES 23
5) Se un ! +1 e vn limitada inferiormente ento un + vn ! +1.

6) Se un ! 1 e vn limitada superiormente ento un + vn ! 1.
7) Se un ! 1 e vn limitada ento un + vn ! 1..
8) Se un ! 1 e existe p 2 N tal que o conjunto fvn 2 R : n pg tem um
minorante positivo ou um majorante negativo ento un vn ! 1:
Dem. 1) Se un ! +1 ento un > L; n p; 8L > 0 e jun j un >
L; isto , jun j ! +1:
Se un ! 1 ento un ! +1 e, pelo passo anterior, j un j = jun j !
+1:
2) Se un ! 0 ento
1
8L > 0 9p 2 N: n > p =) jun j < :
L
1 1 1
Assim jun j > L; para n > p; pelo que, por denio, jun j ! +1 e un ! 1:
3) Se un ! 1; jun j ! +1 e
1
8 > 0 9p 2 N: n > p =) jun j > :
1 1 1
Ento jun j = un < ; para n > p; pelo que, por denio, un ! 0:
4) Se un ! +1 ento
un > L; para L > 0 e n p:
Se para n p se tem vn un ento
vn un > L:
Por denio, vn ! +1.

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

Como un ! 1 ento jun j ! +1 e, por denio,
8L > 0 9n0 2 N: n > n0 =) jun j > L K:
Assim, a partir de uma certa ordem n1;
jun + vn j = jun ( vn )j jjun j jvn jj = jun j jvn j :
Denindo p := max fn0 ; n1 g tem-se que
jun + vn j jun j jvn j L K +K =L
vlido para n p, 8L > 0:
Isto signica que jun + vn j ! +1; ou seja, un + vn ! 1:
8) Suponhamos que vn tem um minorante positivo a partir de uma
certa ordem n0 : Ou seja,
9k > 0 : vn k; para n n0 :
L
Como un ! 1; isto , jun j ! +1; ento jun j > k; para n n1 :
Assim
L
jun vn j = jun j jvn j >
:k = L; para n p :== max fn0 ; n1 g :
k
Se supusermos que vn tem um majorante negativo, ento
9k > 0 : vn k < 0; a partir de uma certa ordem,
ou seja, jvn j k > 0 e o processo segue de modo anlogo.
O teorema anterior contorna algumas diculdades que surgem nas oper-
aes algbricas dos limites em R:
Por exemplo:
2) no d informao sobre o valor de 00 :
1
3) no d informao sobre o valor de 1:
5),6) e 7) no do informao sobre o valor de +1 1:
8) no d informao sobre o valor de 1 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:

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

O comportamento, a existncia e a natureza do limite da sucesso exponen-
cial an (a 2 R) depende do valor da base.
Casos possveis:
Se a = 0 ou a = 1 a sucesso constante. Logo convergente para 0

ou para1; respectivamente.
Se a > 1 a sucesso montona crescente.

Escrevendo a = 1 + h; h > 0; resulta pela Prop. 1.5.1 que
an = (1 + h)n 1 + nh; 8n 2 N.
Como a sucesso 1+nh ! +1, ento, pelo Teorema 1.12.1, an ! +1:
Se 0 < a < 1 a sucesso montona decrescente e an ! 0: (Provar)
Se 1 < a < 0 a sucesso no montona e an ! 0. (Provar)
Se a 1 a sucesso toma alternadamente termos positivos e nega-

tivos pelo que no montona e an no tem limite
Exerccio 1.13.1 Calcular:

2n+1 + 3n 2n+1 + 3n
a) lim ; b) lim :
2n + 3n+1 2n + 5n+1
1.14 Sucesso do tipo potncia-exponencial

1 n
O limite da sucesso de termo geral 1 + n tem um papel importante na
Anlise Matemtica.
Exerccio 1.14.1 Prove que a sucesso

n
1
un = 1+
n
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
n
1
lim 1 + = e ' 2; 71828::::
n
Teorema 1.14.2 Se a sucesso un ! 1 ento

un
1
1+ ! e:
un
Dem. Suponhamos que un ! +1: Ento existe uma ordem p tal que
un > L; 8L > 0.
Represente-se por kn o menor nmero inteiro que verique
kn un < kn + 1; para n > p: (1.14.1)
Ento
1 1 1
<
kn + 1 un kn
e
1 1 1
1+ <1+ 1+ :
kn + 1 un kn
Por (1.14.1) e como as bases so maiores que 1; a sucesso ca crescente , e
kn un kn +1
1 1 1
1+ < 1+ 1+ :
kn + 1 un kn
Como
kn kn +1 1
1 1 1
lim 1 + = lim 1 + 1+ = e:1 = e
kn + 1 kn kn
e
kn +1 kn
1 1 1
lim 1 + = lim 1 + 1+ =e
kn kn kn
1.14. SUCESSO DO TIPO POTNCIA-EXPONENCIAL 27
ento pelo Teorema 1.9.3, quando un ! +1;

un
1
lim 1 + = e:
un
Suponha-se agora que un ! 1: Ento, denindo vn = un ; tem-se
vn ! +1 e
un vn vn
1 1 vn 1
lim 1 + = lim 1 = lim
un vn vn
vn vn
vn 1
= lim = lim 1 +
vn 1 vn 1
vn 1
1 1
= lim 1 + 1+ = e:1 = e;
vn 1 vn 1
porque vn 1 ! +1.
Teorema 1.14.3 Para x 2 R e un ! +1 tem-se que

un
x
lim 1 + ! ex :
un
un
0
Dem. Se x = 0; lim 1 + un = lim 1un = lim 1 = 1 = e0 :
Se x 6= 0; tem-se
" un #x
un un
x 1 1 x n
lim 1 + = lim 1 + un = lim 1+ un
un x x
" un #x
1 x n
x
= lim 1 + un = e1 = ex ;
x
quer se tenha uxn ! +1 ou uxn ! 1; pelo Teorema 1.14.2.

Os principais resultados para sucesses do tipo potncia-exponencial
(isto da forma uvnn ) nos casos em que quer a base quer o expoente se-
jam sucesses com limite em R, podem ser resumidos no seguinte teorema:
Teorema 1.14.4 Sejam un > 0 e vn duas sucesses com limite em R:

Supondo que no se vericam as hipteses:
(i) lim un = lim vn = 0;
(ii) lim un = +1 e lim vn = 0;
(iii) lim un = 1 e lim vn = +1;
(iv) lim un = 1 e lim vn = 1;

ento
lim (un )vn = (lim un )vn :

r n 1
2
n n + n 1 n2 + 3n 1
a) lim ; b) lim :
n2 + 3 n2 + 3
Captulo 2
Sries de Nmeros Reais
No Captulo anterior a adio cou perfeitamente denida para um nmero

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

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

Seja an uma sucesso de nmeros reais.
A esta sucesso pode associar-se uma outra sucesso
Sn = a1 + a2 + ::: + an
a que chamamos sucesso das somas parciais de an :
Denio 2.1.1 (i) Chama-se srie ao par ordenado (an ; Sn ) e representa-

se por
+1
X
an :
n=1
Aos nmeros a1 ; a2 ; :::; an ; :::chamam-se termos da srie e expresso an o
termo geral da srie.
+1
X
(ii) A srie an diz-se convergente se existir em R (for nito) lim Sn = S
n=1
e escreve-se
+1
X
an = S:
n=1
Ao nmero real S chama-se soma da srie.
(iii) Se no existir em R lim Sn ; srie diz-se divergente
Observao 2.1.2 Por vezes conveniente utilizar sries do tipo

+1
X
an com p 2 Z;
n=p
mantendo-se o mesmo tipo de denio.
Exerccio 2.1.3 Estude a natureza das sries:

X+1 +1
X +1
X
n t
a) n ; b) ( 1) ; c) ; com t 2 R+ :
2n
n=1 n=1 n=0
O estudo das sries composto por duas vertentes:
a) determinar a natureza da srie (convergente ou divergente);
b) no caso de convergncia, calcular a soma da srie.
Esta ltima questo apresenta bastantes diculdades, podendo mesmo
ser impossvel o clculo exacto da soma das sries (recorrendo aproximao
numrica).
Vejam-se dois exemplos de sries para as quais se torna possvel calcular
o valor da sua soma, caso sejam convergentes.
2.2. SRIE GEOMTRICA 31
2.2 Srie geomtrica

+1
X
Denio 2.2.1 Chama-se srie geomtrica srie an em que an
n=0
uma progresso geomtrica.
Como conhecido a sucesso das somas parciais correspondente
1 rn
Sn = a0 ; com r 6= 1:
1 r
Como
a0 a0
lim Sn = lim (1 rn ) = ; se jrj < 1;
1 r 1 r
tem-se que:
Proposio 2.2.2 A srie geomtrica converge se e s se jrj < 1: Neste

caso
a0
S= :
1 r
2.3 Srie de Mengoli

Denio 2.3.1 Um srie de Mengoli (tambm designada por decom-
ponvel ou telescpica) se o termo geral an for decomponvel numa diferena
do tipo
an = un un+k :
Veja-se a natureza destas sries:
1. Caso de k = 1 : an = un un+1
S1 = a1 = u1 u2
S2 = a1 + a2 = u1 u3
S3 = a1 + a2 + a3 = u1 u3
..
.
Sn = u 1 un+1 :
Assim
lim Sn = lim (u1 un+1 ) = u1 lim un :
Proposio 2.3.2 A srie de Mengoli convergente se e s seun convergente:

Em caso armativo
S = u1 lim un :
2. Caso de k = 2 : an = un un+2
S1 = a1 = u1 u3
S2 = a1 + a2 = u1 u3 + u2 u4
S3 = a1 + a2 + a3 = u1 + u2 u4 u5
..
.
Sn = u 1 + u 2 un+1 un+2 :
Logo
lim Sn = lim (u1 + u2 un+1 un+2 ) = u1 + u2 2 lim un :
Proposio 2.3.3 A srie de Mengoli convergente se e s se un convergente:

Em caso armativo
S = u1 + u2 2 lim un :
3. Caso geral: an = un un+k
Proposio 2.3.4 A srie de Mengoli convergente se e s se un convergente:

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

+1
X 3
n2 + 5n + 4
n=0
e calcule a sua soma, se possvel.

O estudo da natureza da srie pode ser feito sem recurso construo
explcita da sucesso das somas parciais, recorrendo a testes ou critrios de
convergncia.
Teorema 2.3.6 (Condio de convergncia de Anastcio da Cunha) A srie

+1
X
an convergente se e s se a sucesso das somas parciais uma sucesso
n=1
de Cauchy, isto , simbolicamente,
8 > 0 9p 2 N: 8k 2 N; 8n p =) jSn+k Sn j < :

2.3. SRIE DE MENGOLI 33
Dem. A demonstrao uma consequncia imediata do Teorema 1.10.5.
Observao 2.3.7 Depreende-se deste teorema que:

1. A natureza de uma srie no se altera se lhe suprimirmos um nmero
nito de termos.
2. A natureza da srie no depende do valor dos seus n primeiros termos.
+1
X
Corolrio 2.3.8 (Condio necessria de convergncia) Se an uma
n=1
srie convergente ento lim an = 0:
+1
X
Dem. Seja an uma srie convergente com lim Sn = l:
n=1
A sucesso das somas parciais dada por Sn = a1 + a2 + ::: + an e
Sn 1 = a1 + a2 + ::: + an 1 ; para n > 1:
Ento Sn Sn 1 = an e como lim Sn = lim Sn 1 obtem-se
0 = lim (Sn Sn 1) = lim an :
Observao 2.3.9 A condio lim an = 0 necessria mas no su-

ciente.
Um exemplo clssico para este facto a srie harmnica
+1
X 1
:
n
n=1
Apesar de n1 ! 0 a srie harmnica divergente, pois a sucesso das somas

parciais Sn = 1 + 12 + ::: + n1 no uma sucesso de Cauchy (logo no uma
sucesso convergente) uma vez que
1 1 1 1
jS2n Sn j = 1 + ::: + + + ::: + 1 + ::: +
n n+1 2n n
1 1 1 1
= + ::: + = + ::: +
n+1 2n n+1 2n
1 1 n 1
> + ::: + = = ; 8n 2 N.
n+n 2n 2n 2
Exerccio 2.3.10 Prove que a srie

+1
X n
1
1+
n
n=1
divergente.
2.4 Propriedades algbricas das sries

Alguns resultados que permitem avaliar a natureza das sries resultam das
suas operaes algbricas.
+1
X +1
X
Proposio 2.4.1 (i) Sejam an e bn duas sries convergentes de
n=1 n=1
+1
X
somas A e B, respectivamente. Ento a srie (an + bn ) convergente e
n=1
a soma A + B:
+1
X
(ii) Se an uma srie convergente de soma A, para cada 2 R; a srie
n=1
+1
X
( an ) convergente para A:
n=1
Dem. (i) Represente-se por Sn0 e Sn00 as sucesses das somas parciais das
+1
X +1
X
sries an e bn ; respectivamente. Ento
n=1 n=1
Sn = (a1 + b1 ) + (a2 + b2 ) + + (an + bn )

= (a1 + + an ) + (b1 + + bn ) = Sn0 + Sn00 ! A + B:
+1
X
Pelo que Sn convergente para A+B e, portanto, (an + bn ) convergente
n=1
e tem por soma A + B:
+1
X
(ii) Seja Sn a sucesso das somas parciais da srie an e Sn a de
n=1
+1
X
an .
n=1
2.5. SRIES DE TERMOS NO NEGATIVOS 35
Ento
Sn = a1 + + an = (a1 + + an ) = Sn ! A:
+1
X +1
X
Observao 2.4.2 Caso ambas as sries an e bn sejam divergentes,
n=1 n=1
+1
X
a srie (an + bn ) pode ser convergente ou divergente.
n=1
Exemplos:
+1
X +1
X
n
1. As sries ( 1) e ( 1)n+1 so ambas divergentes e contudo
n=1 n=1
+1 h
X i
( 1)n + ( 1)n+1 0 convergente.
n=1
+1
X +1
X +1
X +1
X
2. As sries ne 2n so ambas divergentes e [n + 2n] = 3n
n=1 n=1 n=1 n=1
divergente.
+1
X +1
X
Observao 2.4.3 Poder-se-ia esperar que sendo an e bn conver-
n=1 n=1
+1
X
gentes, a srie "produto" (an bn ) tambm fosse convergente. Contudo
n=1
tal no se verica:
Os prximos resultsdos daro alguma informao sobre os casos em que
possvel a priori estabelecer a natureza da srie "produto".
2.5 Sries de termos no negativos

+1
X
Uma srie an diz-se de termos no negativos se an 0; 8n 2 N.
n=1
Tendo-se apenas an 0; para n p; esta srie da mesma natureza que
uma srie de termos no negativos, pois a natureza da srie no depende
pos primeiros p termos.
Neste tipo de sries o estuda da convergncia ou divergncia torna-se
mais simples, uma vez que permite estabelecer vrios critrios de convergncia.
+1
X
Proposio 2.5.1 Uma srie de termos positivos an convergente se e
n=1
s se a sucesso das somas parciais majorada.
Dem. Observe-se que sendo an 0; 8n 2 N; ento a sucesso das somas

parciais Sn = a1 + + an crescente.
Portanto Sn ser convergente se e s se for majorada.
+1
X +1
X
Teorema 2.5.2 (Critrio de comparao) Sejam an e bn sries de
n=1 n=1
termos no negativos e tais que an bn para n p: Ento:
+1
X +1
X
a) Se bn convergente ento an convergente.
n=1 n=1
+1
X +1
X
b) Se an divergente ento bn divergente.
n=1 n=1
Dem. Podemos supor an bn ; 8n 2 N, que no h perda de generali-

dade (pois a natureza da srie no depende dos primeiros p termos).
Considere-se
An = a1 + + an e Bn = b1 + + bn
as respectivas sucesses das somas parciais. Ento An Bn ; 8n 2 N:

a) Pela Proposio 2.5.1,
+1
X
bn convergente , Bn majorada , Bn B B 2 R+ :
n=1
+1
X
Assim, como an bn ; 8n 2 N, ento An Bn B e An majorada, an
n=1
convergente.
+1
X
b) Se an divergente ento An ! +1 () An A (8A 2 R).
n=1
Ento A An Bn e Bn ! +1 porque Bn A (8A 2 R) ;.pelo que
+1
X
bn divergente.
n=1
Exemplo 2.5.3 1. (Sries de Dirichlet) Se 2Re 1 ento a srie

+1
X 1
divergente.
n
n=1
+1
X +1
X
1 1
Como a srie n divergente, pelo critrio de comparao (b), n
n=1 n=1
divergente para 1:
+1
X
1 1 1
2. A srie n2
convergente, porque n2 n2 1; n2 n2 1
(n > 1) :
n=1
+1
X
1
Como a srie n2 1
uma srie de Mengoli convergente, ento pelo
n=1
+1
X
1
critrio de comparao (a), n2
convergente.
n=1
+1
X
1 1 1
3. Para 2 a srie n convergente, pois n n2 ;. n n2
.
n=1
+1
X +1
X
1 1
Como n2
convergente, ento pelo critrio de comparao (a), n
n=1 n=1
convergente para 2.
+1
X
sen n
Considere-se a srie 2n :
n=1
Aqui no possvel aplicar o critrio de comparao pois os termos da
srie no so no negativos,.
necessrio o conceito de convergncia absoluta.
+1
X
Denio 2.5.4 Uma srie an diz-se absolutamente convergente se
n=1
+1
X
jan j convergente.
n=1
A relao entre estes dois tipo de convergncia pode ser expressa no

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

+1
X +1
X
Dem. Seja an uma srie absolutamente convergente, isto , jan j
n=1 n=1
convergente.
+1
X +1
X
Alm disso an jan j ; porque ja1 + + an j ja1 j + + jan j
n=1 n=1
e passando ao limite em ambos os membros da desigualdade.
+1
X
Como 0 an + jan j 2 jan j e a srie 2 jan j convergente, pela
n=1
+1
X
Proposio 2.4.1,.ento pelo Teorema 2.5.2, a), a srie (an + jan j) con-
n=1
vergente.
+1
X +1
X +1
X
Assim an = (an + jan j) jan j convergente.
n=1 n=1 n=1
+1
X
Observao 2.5.6 Uma srie an pode ser convergente sem contudo ser
n=1
absolutamente convergente. Nestes casos a srie diz-se simplesmente convergente.
+1
X
sen n
Exemplo 2.5.7 Na srie 2n tem-se que
n=1
sen n 1
; 8n 2 N:
2n 2n
+1
X
1 1
Como 2n uma srie geomtrica convergente (razo 2) , ento pelo
n=1
+1
X +1
X
sen n sen n
critrio de comparao (a) a srie 2n convergente e 2n
n=1 n=1
+1
X
sen n
absolutamente convergente. Finalmente pelo Teorema 2.5.5, 2n con-
n=1
vergente.
Os dois resultados seguintes referem-se natureza de sries cujo termo

geral o produto de duas sucesses:
+1
X
Teorema 2.5.8 (Teorema de Dirichlet) Se an uma srie (no neces-
n=1
sariamente convergente) com a sucesso das somas parciais limitada e bn
uma sucesso decrescente que tende para zero ento
+1
X
(an bn ) convergente.
n=1
Dem. 1o Passo: Provar por induo que, para Sn = a1 + + an se tem
a1 b1 + + an bn =
S1 (b1 b2 ) + S2 (b2 b3 ) + + Sn 1 (bn 1 bn ) + Sn bn ; 8n 2 N:
Para n = 1; a1 b1 = S1 b1 verdade.
Admitindo a igualdade verdadeira para n = p vericar para n = p + 1 :
a1 b1 + + ap bp + ap+1 bp+1 =
[S1 (b1 b2 ) + + Sp 1 (bp 1 bp ) + S p bp ] +
ap+1 bp+1 + (Sp bp+1 Sp bp+1 )
= S1 (b1 b2 ) + + Sp 1 (bp 1 bp ) + Sp (bp bp+1 ) + (ap+1 + Sp ) bp+1
= S1 (b1 b2 ) + + Sp (bp bp+1 ) + Sp+1 bp+1 :
2o Passo: Passando ao limite

n
X
lim (a1 b1 + + an bn ) = lim Si 1 (bi 1 bi ) + lim Sn bn :
i=2
Os dois limites do segundo membro existem porque:
Sn bn ! 0; pelo Teorema 1.8.3;

+1
X
a srie Si 1 (bi 1 bi ) convergente.pois
i=2
jSi 1 (bi 1 bi )j = jSi 1 j (bi 1 bi ) M (bi 1 bi )

+1
X
e (bi 1 bi ) convergente.pois uma srie de Mengoli com bn
i=2
convergente.
+1
X
Ento a srie Si 1 (bi 1 bi ) absolutamente convergente. Logo
i=2
+1
X
lim (a1 b1 + + an bn ) nito pelo que a srie (an bn ) conver-
n=1
gente.
+1
X
Fortalecendo a hiptese sobre an e enfraquecendo a condio sobre
n=1
bn , obtem-se:
+1
X
Teorema 2.5.9 (Teorema de Abel) Se an uma srie convergente e
n=1
bn 0 uma sucesso decrescente (no necessariamente com limite zero)
ento
+1
X
(an bn ) convergente.
n=1
Dem. Como bn montona e limitada (0 bn b1 ; 8n 2 N) ento

convergente, isto , tem limite. Seja b esse limite.
A sucesso (bn b) decrescente e (bn b) ! 0:
+1
X
Como a srie an convergente, a respectiva sucesso das somas par-
n=1
ciais limitada, pelo que se pode aplicar o Teorema 2.5.8 e garantir que
+1
X
[an (bn b)] convergente.
n=1
Como an bn = an (bn b) + ban ento
+1
X +1
X
(an bn ) = [an (bn b) + ban ] convergente.
n=1 n=1
2.6 Sries alternadas

Se os termos da srie no tm sinal xo, isto , vo alternando o sinal, a
srie ser do tipo
+1
X
( 1)n bn ; (bn 0) ;
n=1
2.6. SRIES ALTERNADAS 41
a srie diz-se alternada.

O estudo da natureza deste tipo de sries faz~se com recurso convergn-
cia absoluta ou se se pretender apenas a convergncia simples ao critrio de
Leibniz:
Teorema 2.6.1 (Critrio de Leibniz) Se bn 0 uma sucesso decrescente

com limite zero ento
+1
X
( 1)n bn convergente.
n=1
+1
X
Dem. A a sucesso das somas parciais da srie ( 1)n limitada (em-
n=1
bora no convergente). Como bn uma sucesso decrescente com lim bn = 0;
ento fazendo no Teorema 2.5.8 an = ( 1)n obtem-se o resultado pretendido.
Observao 2.6.2 A condio de bn ser decrescente para zero no pode ser

retirada.
Sem a monotonia de bn a srie pode divergir.
Exerccio 2.6.3 Prove que a sucesso bn = 1

n [2 + ( 1)n ] tende para 0 mas
no montona e a srie
+1
X 1
( 1)n [2 + ( 1)n ]
n
n=1
divergente.
+1
X
Resoluo: Suponha-se, com vista um absurdo, que a a srie ( 1)n 1
n [2 + ( 1)n ]
n=1
convergente.
Ento a srie
+1
X +1
X +1
1 2 X 2 1
= ( 1)n + ( 1)n +
n n n n
n=1 n=1 n=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

+1
X 1
( 1)n :
n
n=1
+1
X
Resoluo: A srie ( 1)n 1
n no absolutamente convergente pois
n=1
+1
X X 1+1
1
( 1)n = n
n n
n=1 n=1
Pelo Critrio de Leibniz a srie convergente.

Logo a srie simplesmente convergente.
Observao 2.6.5 Este exerccio prova que a recproca do Teorema 2.5.5

no verdadeira, isto , existem sries convergentes que no so 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 an 0; bn 0;

8n 2 N e
an
lim = l; (0 < l < +1)
bn
+1
X +1
X
ento as sries an e bn so da mesma natureza.
n=1 n=1
an
Dem. Aplicando a denio de limite sucesso bn ; obtem-se
an
8 > 0 9p 2 N: n > p =) l < <l+ :
bn
Fixando tal que 0 < < l tem-se, para n > p;
bn (l ) < an < bn (l + ) :
2.7. CRITRIOS DE CONVERGNCIA PARA SRIES DE TERMOS NO NEGATIVOS43
+1
X +1
X
Pelo Teorema 2.5.2, se bn divergente ento an divergente, e se
n=1 n=1
+1
X +1
X
bn convergente ento an convergente.
n=1 n=1
Exemplo 2.7.2 A srie

+1
X 1
sen
n
n=1
divergente porque
1
sen n
lim 1 =1
n
+1
X
1
e n divergente.
n=1
Observao 2.7.3 A aplicao do teorema anterior exige que a natureza

de uma das sries seja previamente conhecida. Para tal vejam-se os dois
resultados seguintes:
Teorema 2.7.4 (Critrio da condensao de Cauchy) Sejam a1 a2

+1
X
a3 ::: 0: Ento an converge se e s se
n=1
+1
X
2k a2k = a1 + 2a2 + 4a4 + 8a8 + ::: for convergente.
k=0
Dem. Sejam Sn e Tk as somas parciais das duas sries, isto ,
Sn = a1 + + an
Tk = a1 + 2a2 + 4a4 + + 2k a2k :
Para n 2k+1 1; tem-se
Sn = a1 + (a2 + a3 ) + (a4 + a5 + a6 + a7 ) +
+ a2k + + a2k+1 1
k
a1 + 2a2 + 4a4 + + 2 a2k = Tk :
+1
X
((=) Assim se 2k a2k convergente ento, pela Proposio 2.5.1 Tk
k=0
majorada.
Como para qualquer n existe k 2 N0 tal que n 2k+1
1; tem-se que
+1
X
Sn Tk ; pelo que Sn majorada e, pela Proposio 2.5.1, a srie an
n=1
convergente.
+1
X
(=)) Suponha-se que an convergente. Para n 2k ;.tem-se
n=1
Sn = a1 + + an
a1 + a2 + (a3 + a4 ) + (a5 + a6 + a7 + a8 ) +
+ a2k+1 +1 + + a2k
1 1
a1 + a2 + 2a4 + 4a8 + + 2k 1
a2k = Tk ;
2 2
+1
X
pelo que Tk 2Sn : Como an convergente ento Sn majorada pelo
n=1
+1
X
que Tk tambm majorada. Pela Proposio 2.5.1, a srie 2k a2k con-
k=0
vergente.
+1
X
1
Corolrio 2.7.5 A srie de Dirichlet n convergente se e s se >1
n=1
( 2 R):
Dem. Para 0; n1 no um innitsimo, logo pelo Corolrio 2.3.8,

a srie divergente.
Para > 0 a sucesso n1 est nas condies do teorema anterior. Assim
+1
X +1
X
para bn = 2n a2n = 2n (2n1) = 2(1 )n a srie bn = 2(1 )n uma
n=1 n=1
srie geomtrica de razo 21 ; que converge se, e s se, 1 < 0; isto ;
> 1.
Em situaes em que o limite apresente algumas diculdades ou no
exista, pode optar-se pela comparao das razes entre dois termos consec-
utivos.
Teorema 2.7.6 (Critrio da comparao das razes) Sejam an ; bn > 0 e,

a partir de uma certa ordem p,
an+1 bn+1
:
an bn
Ento:
+1
X +1
X
a) Se bn convergente ento an convergente.
n=1 n=1
+1
X +1
X
b) Se an divergente ento bn divergente.
n=1 n=1
Dem. A desigualdade da hiptese equivalente a

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

+1
X
1 1 3 1 3 5 1 3 (2n 1)
a). 2 + 2 4 + 2 4 6 + ::: = 2 4 (2n)
n=1
+1
X 1+( 1)n
b). n2
:
n=1
Teorema 2.7.8 (Critrio da razo) Seja an > 0.
an+1
a) Se existe um nmero r tal que 0 < r < 1 e an r, a partir de uma
+1
X
certa ordem, ento an convergente.
n=1
+1
X
an+1
b) Se a partir de uma certa ordem, an 1 ento an divergente.
n=1
+1
X
Dem. a) Aplicando a alnea a) do teorema anterior s sries an e
n=1
+1
X
rn ; em que a segunda convergente porque uma srie geomtrica com
n=1
jrj < 1; pois
an+1 rn+1
= r:
an rn
+1
X +1
X
b) Aplicando a alnea b) do Teorema 2.7.6 s sries an e 1; sendo
n=1 n=1
+1
X
an+1
esta divergente. Como an 1 ento an divergente.
n=1
Teorema 2.7.9 (Critrio de DAlembert) Se an > 0 e lim an+1

an = l; nito
ou +1; ento
+1
X
a) Se l < 1, ento an convergente.
n=1
+1
X
b) Se l > 1 ento an divergente.
n=1
Dem. a) Pela denio de limite,

an+1
8 > 0; 9p 2 N : < l + ; para n p:
an
Como l < 1; escolha-se sucientemente pequeno de modo que l + < 1:
+1
X
Aplicando o Teorema 2.7.8 com r = l + < 1 conclui-se que an
n=1
convergente.
b) Pela denio de limite,
an+1
8 > 0; 9p 2 N : l < ; para n p:
an
an+1
Como l > 1; escolha-se > 0 de modo que l > 1: Assim an >l >1
+1
X
e pelo Teorema 2.7.8 a srie an divergente.
n=1
Observao 2.7.10 Se l = 1 este critrio no conclusivo, contudo se

an+1
lim = 1+
an
decorre do teorema anterior que a srie divergente.
+1
X
1
Exerccio 2.7.11 (i) Prove que a srie n! convergente.
n=1
(ii). Discuta a natureza da srie
+1
X n
n!
nn
n=1
em funo do parmetro :
Teorema 2.7.12 (Critrio da raiz) Seja an 0 8n 2 N. Ento

+1
X
p
a) Se n an r; com r < 1, a partir de uma certa ordem, ento an
n=1
convergente.
+1
X
p
b) Se n an 1; para uma innidade de valores de n,. ento an
n=1
divergente.
+1
X
p
Dem. a) Como n an r ento an rn ; para n pe rn conver-
n=1
+1
X
gente,.porque r < 1; ento, pelo Teorema 2.5.2, an convergente.
p n=1
b) Se n an 1 para uma innidade de valores de n ento lim an 6= 0:
+1
X
Logo an divergente.
n=1
Teorema 2.7.13 (Critrio da raiz de Cauchy) Seja an 0 8n 2 N e

p
suponhamos que lim n an = l; nito ou +1: Ento
+1
X
a) Se l < 1, an convergente.
n=1
+1
X
b) Se l > 1; an divergente.
n=1
Observao 2.7.14 Se l = 1 este critrio no conclusivo.

Dem. a) Pela denio de limite,
p
8 > 0; 9p 2 N : n an < l + ; para n p:
Como l < 1; escolhe-se > 0 sucientemente pequeno tal que l + < 1 e
em seguida escolhe-se tal que r = l + < 1:
p
Assim n an < r e, pelo Teorema 2.7.12, a srie convergente.
b) Pela denio de limite,
p
8 > 0; 9p 2 N : l < n an ; para n p:
p
Como l > 1; escolhe-se > 0 tal que l > 1 e, assim n an > 1: Pelo
Teorema 2.7.12, a srie divergente.
Se l = +1; pela denio de limite,
p
8 > 0; 9p 2 N : n p =) n an > l:
p
Em particular para = 1; n an > 1:
+1
X
Exemplo 2.7.15 (i) A srie p1 convergente porque, pelo critrio da
nn
n=1
raiz de Cauchy s
n
1 1
lim p = lim p = 0:
n n n
(ii). Para a srie

+1
X 1
n=1
[3 + ( 1)n ]2n
no possvel calcular
s
1 1
lim n
= lim
[3 + ( 1)n ]2n [3 + ( 1)n ]2
porque o limite no existe. Contudo decompondo a srie e pode calcular-se
os dois sub-limites:
n par, lim [3+( 11)n ]2 = 16
1
;
n mpar, lim [3+( 11)n ]2 = 14 :
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.
+1
X
Denio 2.8.1 Dada uma srie an , chama-se resto de ordem p srie
n=1
+1
X
an = ap+1 + ap+2 + = Rp :
n=p+1
Como
+1
X
an = (a1 + a2 + + ap ) + Rp
n=p+1
observa-se que o erro cometido ao tomar para valor da soma da srie, a soma
dos primeiros p termos Rp :
No clculo aproximado interessa conhecer majorantes dos erros cometi-
dos nas aproximaes feitas.
Nas sries de termos positivos existem alguns resultados que majoram o
resto:
Teorema 2.8.2 Se p 2 N; an > 0 8n 2 N; e existir um nmero kp tal que

an+1
kp < 1; para n p + 1;
an
ento
ap+1
Rp :
1 kp
+1
X
Dem. Pelo Teorema 2.7.8, a srie an convergente. Por outro lado
n=1
Rp = ap+1 + ap+2 + ap+3 +

ap+2 ap+3
= ap+1 1 + + + :
ap+1 ap+1
Por hiptese
ap+2 ap+3 ap+3 ap+2
kp e = : (kp )2 :
ap+1 ap+1 ap+2 ap+1
ap+4
Anlogamente ap+1 (kp )3 e assim sucessivamente.
Ento
1
Rp ap+1 1 + kp + (kp )2 + (kp )3 + = ap+1 :
1 kp
Outro resultado para sries de termos no negativos:

p
Teorema 2.8.3 Se an 0 8n 2 N; e existir um nmero kp tal que n an
kp < 1; para n p + 1; ento
kpp+1
Rp :
1 kp
+1
X
Dem. A srie an convergente pelo Teorema 2.7.12. O erro
n=1
Rp = ap+1 + ap+2 + ap+3 +

kpp+1
(kp )p+1 1 + kp + (kp )2 + (kp )3 + = :
1 kp
Para sries alternadas, tem-se o seguinte resultado:
Teorema 2.8.4 Seja an 0 uma sucesso decrescente com limite zero e

+1
X
Rp o resto de ordem p da srie ( 1)n an : Ento
n=1
Rp ap+1 :
Dem. Pelo Teorema 2.6.1, a srie convergente e
Rp = ( 1)p+1 ap+1 + ( 1)p+2 ap+2 +
Multiplicando por ( 1)p+1 tem-se
( 1)p+1 Rp = (ap+1 ap+2 ) + (ap+3 ap+4 ) +
e como an uma sucesso decrescente ento cada diferena no negativa e
( 1)p+1 Rp 0: (2.8.1)
2.8. RESTO DE UMA SRIE 51
Por outro lado

h i
( 1)p+1 Rp ap+1 = (ap+2 ap+3 ) + (ap+4 ap+5 ) + 0:
Ou seja,
( 1)p+1 Rp ap+1 ;
e, por (2.8.1),
0 ( 1)p+1 Rp ap+1 ;
pelo que jRp j ap+1 :
+1
X
Exemplo 2.8.5 Se para soma da srie ( 1)n 1
n tomarmos o nmero
n=1
1 1 1
1+ + ;
2 3 4
1
comete-se um erro Rn tal que jRn j 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 X R; f : X ! R uma funo real denida em

X e a um ponto de acumulao de X: Diz-se que b 2 R o limite de f (x)
no ponto a e escreve-se f (x) ! b quando x ! a ou
lim f (x) = b;
x!a
quando
8 > 0 9" > 0: 8x 2 X; jx aj < " =) jf (x) bj < :
Intuitivamente limf (x) = b:

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

sucientemente perto de a.
no d informao sobre o valor de f (x) no ponto a, isto , sobre f (a):
Exerccio 3.1.2 Prove por denio que
lim x2 + 4 = a2 + 4:
x!a
Tambm possvel formular a noo de limite de uma funo recorrendo

a sucesses:
53
54 CAPTULO 3. FUNES REAIS DE VARIVEL REAL
Teorema 3.1.3 (Heine) Sejam X R; f : X ! R , a um ponto de

acumulao de X e b 2 R Ento limf (x) = b equivalente a dizer que
x!a
lim f (xn ) = b para todas as sucesses xn 2 Xnfag tais que xn ! a .
Dem. (=)) Suponhamos que limf (x) = b.
x!a
Seja xn uma sucesso tal que xn ! a: Ento, a partir de uma certa
ordem n p; jxn aj < ": Pela Denio 3.1.1,
jf (xn ) bj < ; para n pe > 0 xo,
o que prova que lim f (xn ) = b.

((=) Considere-se que lim f (xn ) = b para todas as sucesses sucesses
xn 2 Xnfag tais que xn ! a.
Suponhamos, por contradio, que limf (x) 6= b. Ento
x!a
9 > 0 : 8" > 0; jx aj < " e jf (x) bj ;
para um certo x 2 X que depende de ":

Ento se para cada n 2 N zermos " = n1 e designarmos o correspondente
x por xn ; obtem-se uma sucesso xn tal que
1
0 < jxn aj < e jf (xn ) bj ;
n
isto ,
xn ! a, xn 6= a e lim f (xn ) 6= b;
o que contradiz a hiptese.
Exerccio 3.1.4 Verique se existe
1
lim 2 + sen :
x!0 x
Resoluo: Para todos os pontos da forma x = 2 + 2n ; n 2 N; tem-se

sen (x) = 1:
Considerando a sucesso
1
= + 2n
xn 2
tem-se
1
xn = e xn ! 0:
2 + 2n
3.1. LIMITE DE UMA FUNO 55
Para f (x) = 2 + sen x1 obtem-se
f (xn ) = 2 + sen + 2n = 3:
2
1 3
Analogamente, denindo yn = 2 + 2n temos
1 3
yn = 3 ! 0 e f (yn ) = 2 + sen + 2n = 1:
2 + 2n 2
Assim pelo teorema anterior h uma contradio, pois xn ! 0 e yn ! 0 e

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

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

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

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

x!a x!a
3. Se limf (x) < lim g(x) ento existe " > 0 tal que
x!a x!a
f (x) < g(x); 8x 2 V" (a):
4. Se f (x) g(x); 8x 2 V" (a) \ X ento
lim f (x) limg(x);

x!a x!a
caso existam os respectivos limites.
5. Se h(x) f (x) g(x); 8x 2 V" (a) \ X e se lim h(x) = limg(x) ento

x!a x!a
lim f (x) existe e
x!a
lim h(x) = lim f (x) = limg(x):

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

x!a x!a
Ento para cada cada > 0 existe " > 0 tal que
jf (x) bj < e f (x) b0 < ;

2 2
desde que x 2 X e jx aj < ":

Escolhendo um valor de x nestas condies tem-se
b b0 = b f (x) + f (x) b0 jb f (x)j + f (x) b0
< + = ;
2 2
para 8 > 0, o que implica b = b0 :
2. Tomando x tal que jx aj < "; tem-se
jf (x) bj = jg(x) bj < ;
para qualquer > 0: Logo
lim f (x) = lim g(x):

x!a x!a
3. Seja limf (x) = b < lim g(x) = c e escolha-se > 0 tal que 0 < <
x!a x!a
c b
2 ; ou seja tal que b + < c :
Ento, existe " > 0 tal que x 2 V" (a) \ X e
b < f (x) < b + e c < g(x) < c + :
Em particular
f (x) < b + < c < g(x); 8x 2 V" (a) \ X:
4. Resulta directamente das alneas 2. e 3.
5. Aplicar argumentos semelhantes demonstrao do Teorema 1.9.3.

3.2. LIMITES EM R 57
3.2 Limites em R
A noo de limite pode estender-se ao caso em que a = 1 e a situaes
em que o valor do limite 1:
Denio 3.2.1 Sejam X R; f : X ! R e a um ponto de acumulao

de X:
(i) Diz-se que lim f (x) = +1 quando para qualquer L > 0 existe " > 0 tal
x!a
que para x 2]a "; a + "[\ (Xnfag) se tem f (x) > L:
Simbolicamente quando
8L > 0 9" > 0: 8x 2 X; 0 < jx aj < " =) f (x) > L:
(ii) Analogamente
lim f (x) = 1 , 8L > 0 9" > 0:8x 2 X; 0 < jx aj < " =) f (x) < L:
x!a
Exerccio 3.2.2 Prove por denio que

2
lim = +1:
x!0 x2 x
Denio 3.2.3 Seja X R:
(i) Se X uma parte no majorada de R; f : X ! R e b 2 R; diz-se que

lim f (x) = b se
x!+1
8 > 0 9x0 2 R: 8x 2 X; x > x0 =) jf (x) bj < :
(ii) Se b = +1 ento lim f (x) = +1 se

x!+1
8L > 0 9x0 2 R: 8x 2 X; x > x0 =) f (x) > L:
(iii) Se X uma parte no minorada de R; dene-se de modo anlogo

lim f (x) = b; lim f (x) = +1 e lim f (x) = 1.
x! 1 x! 1 x! 1
Exerccio 3.2.4 Mostre, por denio, que
x2 8x + 3
lim = 1:
x!+1 x2 4
Note-se que quando X = N a funo f uma sucesso real e esta

denio equivalente denio de limite de uma sucesso.
Assim as propriedade algbricas enunciadas para os limites de sucesses
permanecem vlidas para funes.
Proposio 3.2.5 (Propriedade algbricas dos limites) Admitindo que lim f (x) =
x!a
b e lim g(x) = c; tem-se que:
x!a
1. lim (f + g) (x) = b + c;
x!a
2. lim (f g) (x) = b c;
x!a
3. lim jf (x)j = jbj

x!a
4. lim fg(x)
(x)
= b
c , se c 6= 0:
x!a
5. lim jh(x)j = 0 () lim h(x) = 0

x!a x!a
Dem. As demonstraes so anlogas s utilizadas no Teorema 1.9.1.
Exerccio 3.2.6 Considere a funo f : Rnf0g ! R dada por

1
f (x) = x sen :
x
Calcular lim f (x):
x!0
3.3 Limites laterais

Os limites laterais reforam a informao sobre o comportamento da funo
quando os objectos se aproximam de um certo ponto.
Denio 3.3.1 (i) Seja a um ponto de acumulao de X para valores

maiores que a: Chama-se limite lateral de f direita de a , notando-se
f (a+ ) ou lim f (x) = b; se
x!a+
8 > 0 9" > 0 : x 2 X, a < x < a + " =) jf (x) bj < :

(ii) Analogamente, chama-se limite lateral de f esquerda de a , notando-se
f (a ) ou lim f (x) = b; se
x!a
8 > 0 9" > 0 : x 2 X, a " < x < a =) jf (x) bj < :

3.4. FUNES CONTNUAS 59
Observao 3.3.2 Se a um ponto de acumulao de X ento
lim f (x) = b () lim f (x) = lim f (x) = b:

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

x!1
x
2+ 23 se x 1
f (x) =
1 x2 se x < 1:
3.4 Funes contnuas

Geometricamente, uma funo contnua num ponto se, nesse ponto, no
houver saltos.
Denio 3.4.1 Considere-se X R; f : X ! R e a 2 X:

A funo f contnua em a quando lim f (x) = f (a); isto ,
x!a
8 > 0 9" > 0 : 8x 2 X; jx aj < " =) jf (x) f (a)j < :
Observao 3.4.2 Se a um ponto isolado, a funo f necessariamente

contnua em a; uma vez que, tomando " > 0 tal que V" (a) \ X = fag a
condio jx aj < " =) x = a e obviamente se verica
jf (x) f (a)j = 0 < ; 8 > 0:
Exerccio 3.4.3 Considere a funo real de varivel real denida por

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

R:
3.5 Continuidade lateral

Denio 3.5.1 Seja a um ponto de acumulao de X e f : X ! R:
(i) f (x) diz-se contnua direita de a se
lim f (x) = f (a):

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

lim f (x) = f (a):
x!a
Observao 3.5.2 Se f (x) contnua em a ento f (x) contnua 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 f; g : X ! R duas funes contnuas num ponto

de acumulao a de X: Ento:
(i) (f + g) ; (f g) ; jf j e ( f ) so funes contnuas em a;
f
(ii) g contnua em a se g(a) 6= 0:
Dem. Resulta directamente das propriedades algbricas dos limites.
Proposio 3.5.4 (Continuidade da funo composta) Considere-se ' :

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

mutar a passagem ao limite com a funo, isto ,
h i
lim f ['(x)] = f lim '(x) :
x!a x!a
esta propriedade que permite o clculo

" #
5 1
lim sen 2x + = sen lim 2x + = sen = :
x! 3 6 x! 3 6 6 2
3.6. CONTINUIDADE NUM INTERVALO 61
3.6 Continuidade num intervalo

Denio 3.6.1 (a) A funo f : D R ! R diz-se contnua no intervalo
]a; b[ D se e s se for contnua em todos os pontos desse intervalo.
(b) A funo f contnua no intervalo [a; b] D se:
f contnua direita de a;
f contnua em ]a; b[;
f contnua esquerda de b:
Exerccio 3.6.2 Determine e de modo a que a funo

8
< 2+ se x 0
x 2 x
f (x) = se 0 < x < 1
: x2 4x+3
1 3 se x 1
seja contnua no intervalo [0; 1]:
3.7 Descontinuidades
Denio 3.7.1 Seja f : D R ! R:
(i) O ponto a 2 D um ponto de descontinuidade se f (x) no contnua

em a:
(ii) A funo f tem uma descontinuidade de 1a espcie em a se f (x) no

contnua em a e admite limites laterais nitos:
(iii) Um ponto de descontinuidade diz-se de 2a espcie se pelo menos um

dos limites laterais em a innito:
Por vezes conveniente denir o salto de f :
Denio 3.7.2 Chama-se salto de f : D R ! R num ponto a 2 D, que

admite limites laterais f (a+ ) e f (a ) a:
(a) = max fjf (a+ ) f (a)j ; jf (a ) f (a)jg ; caso existam ambos os

limites laterais;
(a) = jf (a+ ) f (a)j ou (a) = jf (a ) f (a)j se existirem apenas

f (a+ ) ou f (a ); respectivamente;
(a) = 0; se a um ponto isolado.

Exerccio 3.7.3 Determine e classique os pontos de descontinuidade de
8
< x , x>2
f (x) = 2
x + 2x , 0 x 2
: 1
x , x < 0:
Em cada ponto de descontinuidade calcule o salto de f:
3.8 Teoremas fundamentais sobre continuidade

Teorema 3.8.1 (de Bolzano ou do valor intermdio) Se f : [a; b] ! R
uma funo contnua em [a; b] e k um valor compreendido entre f (a) e
f (b) ento existe pelo menos um valor c 2]a; b[ tal que f (c) = k .
Dem. Suponhamos que f (a) f (b) e f (a) k f (b):
Divida-se o intervalo [a; b] ao meio. Dos dois intervalos obtidos seja
[a1 ; b1 ] o que verica f (a1 ) k f (b1 ):
Se vericarem os dois subintervalos escolhe-se arbitrariamente um deles
para [a1 ; b1 ].
Por nova diviso ao meio do intervalo [a1 ; b1 ] obtm-se dois intervalos.
Seja [a2 ; b2 ] o intervalo que verica f (a2 ) k f (b2 ): Prosseguindo in-
denidamente desta forma obtem-se uma sucesso de intervalos
[a1 ; b1 ] [a2 ; b2 ] [an ; bn ]
que verica f (an ) k f! (bn ): Seja c o nmero real comum a todos estes
\
intervalos c 2 [an ; bn ] : Assim, an ! c e bn ! c e, passando ao limite
n2N
nas ltimas desigualdades, tem-se, pela continuidade de f; f (c) k f (c);
pelo que f (c) = k:
Se se supuser f (b) f (a) e f (b) k f (a) a demonstrao anloga.
Numa verso mais simplicada pode enunciar-se assim:

"Se f uma funo contnua ento no passa de um valor a outro sem
passar por todos os valores intermdios:"
Um importante corolrio deste teorema para k = 0 diz o seguinte:
Corolrio 3.8.2 Se f : [a; b] ! R uma funo contnua em [a; b] com

f (a) f (b) < 0 ento f tem pelo menos um zero em ]a; b[;isto ,
9c 2]a; b[: f (c) = 0:
3.8. TEOREMAS FUNDAMENTAIS SOBRE CONTINUIDADE 63
Exerccio 3.8.3 Provar que a equao
x3 = 3x2 1
tem pelo menos uma raiz real.
Teorema 3.8.4 Se f uma funo contnua num conjunto D R limitado

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

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

A demonstrao anloga para a existncia de mnimo de f (D):
Proposio 3.8.6 Seja f : I R ! R uma funo contnua num intervalo

I: Ento f (I) um intervalo.
Dem. Considere-se y1 ; y2 2 f (I) tais que y1 < y2 e y1 = f (x1 ) e
y2 = f (x2 ).
Como f uma funo contnua no intervalo [x1 ; x2 ] (ou [x2 ; x1 ] se for
x2 < x1 ) resulta pelo Teorema 3.8.1 que [y1 ; y2 ] f (I); pelo que f (I) um
intervalo.
Observao 3.8.7 Este teorema no refere a natureza do intervalo f (I),

o qual ter necessariamente como extremos inf f (x) e supf (x); que podero,
x2I x2I
ou no, pertencer a f (I): Isto , o intervalo pode ser aberto, fechado ou
semi-aberto.
Proposio 3.8.8 Seja I um intervalo e f : I R ! R uma funo

contnua e injectiva. Ento f estritamente montona.
Dem. Se I = fx0 g o resultado trivial ( f (x0 ) um nico ponto).
Considerem-se ento x0 ; y0 2 I dois elementos quaisquer tais que x0 <
y0 : Como, pela injectividade f (x0 ) 6= f (y0 ) ter-se-
f (x0 ) < f (y0 ) ou f (y0 ) < f (x0 ) :
No primeiro caso prova-se que f estritamente crescente e no segundo caso

estritamente decrescente.
Suponha-se que f (x0 ) < f (y0 ) (no 2o caso a demonstrao anloga) e
prove-se que para x0 < x < y0 se tem f (x0 ) < f (x) < f (y0 ) :
Com efeito, se assim no fosse, tinha-se: (i) f (x) < f (x0 ) < f (y0 ) ou
(ii) f (x0 ) < f (y0 ) < f (x) :
No caso (i), o Teorema 3.8.1 garante que existe 2 ]x; y0 [ tal que f ( ) =
f (x0 ) o que contraria a injectividade de f:
Finalmente, para provar a monotonia, se x0 < x < y < y0 ; pela 1a parte
da demonstrao, tem-se que
f (x0 ) < f (y) < f (y0 ) :
Como x0 < x < y e f (x0 ) < f (y) ; tem-se pela parte anterior que
f (x0 ) < f (x) < f (y) :
Assim provou-se que no intervalo [x0 ; y0 ] a funo f estritamente crescente.

Como x0 e y0 so pontos arbitrrios em I ento f estritamente crescente
em I:
3.9. ASSMPTOTAS 65
Proposio 3.8.9 Seja f : I R ! R uma funo montona num inter-

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

0 ) := lim f (x):
x!x0 x!x+
0
Como f montona ento os limites anteriores so nitos e
f (x0 ) f (x0 ) f (x+

0 ):
Se fosse f (x0 ) < f (x+0 ) ento f (I) no podia ser um intervalo, mas sim
uma reunio de intervalos, pois qualquer elemento y 2 f (x0 ); f (x+ 0 ) com
y 6= f (x0 ) no pertence a f (I).
Logo os limites laterais tm de ser iguais, isto , f tem de ser contnua.
3.9 Assmptotas
Denio 3.9.1 (i) Sejam f e h duas funes reais denidas para x > x0 :
Diz-se que a linha de equao y = h(x) assmptota ao grco de f (x) para
a direita (ou quando x ! +1) se e s se
lim [f (x) h(x)] = 0:

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

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

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

5
f (x) = x x3 1 para a direita, porque
x5 1 1
lim x2 = lim = 0:
x!+1 x3 x!+1 x2
Se em particular as assmptotas h(x) so rectas ento pode considerar-se

dois casos: rectas verticais e no verticais.
Denio 3.9.3 Seja f : D R ! R e a um ponto de acumulao de D:

A recta x = a uma assmptota vertical ao grco de f (x) se se vericar
pelo menos uma das quatro igualdades
lim f (x) = 1 , lim f (x) = 1:
x!a+ x!a
Proposio 3.9.4 A recta y = mx + b uma assmptota no vertical ao

grco de f (x); denida para x > x0 ; se e s se
f (x)
m = lim e b = lim [f (x) mx]
x!+1 x x!+1
existirem e forem nitos.

De modo anlogo se dene a assmptota para a esquerda.
Dem. (=)) Suponha-se que a recta y = mx + b uma assmptota ao
grco de f (x):
Considere-se a denio de assmptota com h(x) = mx + b (m; b 2 R).
Ento, para o caso de assmptota para a direita de f; tem-se
lim [f (x) mx b] = 0
x!+1
donde
b = lim [f (x) mx]
x!+1
e
1 f (x) b
0 = lim [f (x) mx b] = lim m
x!+1 x x!+1 x x
f (x)
= lim m ;
x!+1 x
pelo que
f (x)
m = lim :
x!+1 x
Ento m e b tm os respectivos limites nitos.
A demonstrao para o caso da assmptota para a esquerda anlogo.
((=) Se existirem e forem nitos os dois limites ento
b = lim [f (x) mx] () lim [f (x) mx b] = 0;
x!+1 x!+1
pelo que y = mx + b uma assmptota ao grco de f (x) para a direita:

3.10. FUNO INVERSA 67
Exerccio 3.9.5 Determine a equao de todas as rectas que so assmpto-

tas ao grco de
x3
f (x) = :
x2 4
3.10 Funo inversa
Denio 3.10.1 Seja f : D R ! R uma funo injectiva. Diz-se que a

funo g : f (D) ! R a funo inversa de f se g [f (x)] = x; 8x 2 D:
Observao 3.10.2 (i) S as funes injectivas admitem funo inversa e

neste caso as equaes
y = f (x) e x = g(y)
so equivalentes.
(ii) Sendo g a funo inversa de f , para obter o grco da equao y = g(x)

basta efectuar sobre o o grco de y = f (x) uma simetria em relao
bissectriz dos quadrantes mpares.
y 100
y 1.5
1.0
50 0.5
-4 -2 2 4 -4 -2 2 4
x -0.5 x
-50
-1.0
-100 -1.5
p
3
x3 x
1.0
y
0.5
-1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0
x
-0.5
-1.0
Os graf icos s~
ao simetricos relativamente a y = x
(iii) Se f montona (sendo injectiva estritamente montona) e crescente

(decrescente) ento a sua inversa tambm estritamente montona
crescente (decrescente).
Com efeito, para x1 ; x2 2 Df com x1 < x2 ento f (x1 ) < f (x2 ) ; se f for
crescente. Notando por g a funo inversa de f , tem-se
g[f (x1 )] = x1 < x2 = g[f (x2 )];
pelo que g crescente.

1
(iv) No confundir f 1 (x) com f (x) : Repare-se que para f (x) = x3 se tem
p 1
f 1 (x) = 3 x mas f (x) = x13 .
Para uma funo contnua e injectiva, a funo inversa ainda contnua?
Teorema 3.10.3 (Continuidade da funo inversa) Seja f uma funo con-

tnua e injectiva, denida num intervalo I R: Ento f 1 contnua.
Dem. Pela Proposio 3.8.8, f estritamente montona e, portanto,

f 1
tambm estritamente montona.
Mas f 1 est denida no intervalo f (I); sendo o seu contradomnio I
um intervalo. Ento, pela Proposio 3.8.9, f 1 contnua.
3.11. FUNO EXPONENCIAL 69
3.11 Funo exponencial

aplicao x 7! ax d-se o nome de funo exponencial de base a:
As principais propriedades resumem-se no seguinte resultado:
Teorema 3.11.1 A funo exponencial ax (a > 0) contnua e satisfaz as

propriedades:
1. ax > 0; 8x 2 R
2. ax+y = ax ay ; (ax )y = axy , 8x; y 2 R
3. Se a > 1, ax estritamente crescente, lim ax = +1; lim ax = 0:

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

x!+1 x! 1
5. Se a = 1; ax 1; 8x 2 R:
Dem. A demonstrao do teorema consequncia das propriedades

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

Neper)
Proposio 3.11.2 Tem-se

x x
1 1
lim 1+ = lim 1+ = e:
x!+1 x x! 1 x
Dem. Calculando o limite para x ! +1 :

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

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

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

I(x) n 1
1 1
lim 1+ = lim 1 +
x!+1 I(x) + 1 n
n 1
1 1
= lim 1 + 1+ = e:
n n
Pela Proposio 3.1.5 (5), obtem-se

x
1
lim 1+ = e:
x!+1 x
Para o limite quando x ! 1 faz-se a mudana de varivel x =
(1 + y):
x (1+y) (1+y)
1 1 y 1+1
lim 1+ = lim 1+ = lim
x! 1 x y!+1 (1 + y) y!+1 1 y
(1+y) 1+y
y 1
= lim = lim 1+
y!+1 1+y y!+1 y
y
1 1
= lim 1+ 1+ = e:
y!+1 y y
3.11. FUNO EXPONENCIAL 71

ex
lim= +1 e lim x ex = 0:
x!+1 x x! 1
Dem. Fazendo e = 1 + h (h > 0 ) tem-se pelo binmio de Newton
en (1 + h)n 1 + nh +n C2 h2 + + hn
= =
n n n
n(n 1) 2
1 + nh + 2 h 1 n 1 2
> = +h+ h :
n n 2
Ento
en 1 n 1 2
lim > lim +h+ h = +1;
n n 2
n
pelo que lim en = +1: Fazendo n = I(x) tem-se n x < n + 1 e portanto
ex ex en 1 en+1
> = ! +1:
x n+1 n+1 en+1 n! 1
Ento
ex ex
lim +1 =) lim = +1:
x!+1 x x!+1 x
No outro caso,
y 1 1
lim x ex = lim ye y
= lim = lim y = = 0:
x! 1 y!+1 y!+1 ey y!+1 e 1
y
Corolrio 3.11.4 Para k 2 R tem-se

ex
lim = +1 e lim jxj ex = 0:
x!+1 xk x! 1
Isto , ex um innito superior a todas as potncias de x .

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

x
!k
ex ek
=
xk x
tem-se x
ek eu 1 eu
lim = lim = lim = +1:
x!+1 x u!+1 ku k u!+1 u
Para x ! 1 aplica-se o resultado anterior com a mudana de varivel
x = y:
Exerccio 3.11.5 1. Indique o domnio e o contradomnio de cada um das

expresses:
a) f (x) = 2 51 3x
8
b) g(x) = 31 3x +7
2. Resolva em R cada uma das condies:

2 1
a) 2x 5x = 16
2 1 2x
b) 0; 25x 16
3. Calcular:
3x
a) lim e 4
x!+1 x
x3
b) lim x e 2
x! 1
3.12 Funo logartmica

Como a aplicao f : x 7! ax para a 2 R+ nf1g uma bijeco de R sobre
R+ , ento admite uma aplicao inversa f 1 : R+ ! R; que se designa por
funo logaritmo de base a e se representa por
loga : ]0; +1[! R

; com a 2 R+ nf1g:
x ! loga x
Como ax estritamente montona e contnua, a sua inversa, loga x 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:
loga x estritamente crescente;

3.12. FUNO LOGARTMICA 73
loga x > 0 () x > 1;
lim loga x = +1 ; lim loga x = 1:

x!+1 x!0+
Se 0 < a < 1 obtem-se que:
loga x estritamente decrescente;
loga x > 0 () 0 < x < 1;
lim loga x = 1 ; lim loga x = +1:

x!+1 x!0+
Do conceito de funo inversa resultam directamente vrias consequn-

cias:
aloga x = x
loga (ax ) = x
loga x = y () x = ay :
Exerccio 3.12.1 1. Calcular:
a) logp2 64
b) log0;1 1000
2. Determinar o domnio das funes:
a) f (x) = log2 (4 3x)

b) g(x) = 3 + log 1 9 x2
3
3. Resolva em R as condies:
a) log 1 2x2 x log 1 x

e e
b) log3 x2 7 <2
4. Caracterize a funo inversa de:
a) f (x) = 1 + 2 ln (1 5x)
b) g(x) = 4 + 32x 1
5. Determine em R o conjunto soluo das condies::

a) 4 ln2 (x) 7 3 ln x 0
b) ex + 6e x =7
Teorema 3.12.2 (Propriedades operatrias dos logaritmos) Sejam x e y

nmeros positivos e a; b 2 R+ nf1g: Ento so vlidas as seguintes pro-
priedades:
1. loga (x y) = loga (x) + loga (y)

x
2. loga y = loga (x) loga (y)
3. loga (xp ) = p loga (x) ; 8p 2 R
4. logb (x) = loga (x) logb (a) (mudana de base do logaritmo)
Dem. 1. Note-se que
x = aloga (x) , y = aloga (y) e xy = aloga (x)+loga (y) :
Ento
loga (x y) = loga aloga (x)+loga (y) = loga (x) + loga (y) :
x
2. Como y = aloga (x) loga (y) ento
x
loga = loga aloga (x) loga (y)
= loga (x) loga (y) :
y
p
3. Como xp = aloga (x) = ap loga (x) ; ento
loga (xp ) = loga ap loga (x) = p loga (x) :
4. Escrevendo x = aloga (x) ento
logb (x) = logb aloga (x) = loga (x) logb (a) :
Proposio 3.12.3 Para todo o k > 0; tem-se
log (x)
lim =0 e lim xk log (x) = 0:
x!+1 xk x!0+
3.12. FUNO LOGARTMICA 75
Intuitivamente a proposio signica que: log (x) ! +1 mais lenta-

x!+1
mente que qualquer potncia arbitrariamente pequena de x:
Dem. Fazendo a mudana de varivel y = k log x tem-se
y
log (x) 1 y
lim k
= lim ky = lim y = 0:
x!+1 x y!+1 e k y!+1 e
1
Com a mudana de varivel x = y obtem-se
k k
1 1 1
lim xk log (x) = lim log = lim log (y)
x!0+ y!+1 y y y!+1 y
k
1 log (y)
= lim = 0:
y!+1 y yk

log (1 + x) ex 1
lim = 1 e lim = 1:
x!0 x x!0 x
1 x
Dem. Pela Proposio 3.11.2 tem-se lim 1+ x = e e, pela mu-
x!+1
1
dana de varivel y = x1 ; lim (1 + y) = e: y
y!0
Pela continuidade da funo logaritmo, tem-se
1
h 1
i
log lim (1 + y) y = log e () lim log (1 + y) y = 1
y!0 y!0
log (1 + y)
() lim = 1:
y!0 y
No segundo limite faz-se a mudana de varivel y = ex 1e
ex 1 y
lim = lim = 1:
x!0 x y!0 log (1 + y)
Corolrio 3.12.5 (Aplicao do Teorema 1.14.4) Para todo o xn 2 R; se

xn ! a e un ! +1 ento
un
xn
lim 1+ = ea :
n!+1 un
Dem. Observe-se que
xn
xn un
xn log 1 + un
log 1 + = un log 1 + = 1
un un un
xn
log 1 + un
= xn xn :
un
Passando ao limite
2 3
xn
xn un log 1 + un
lim log 1 + = lim 4xn xn
5 = a;
n!+1 un n!+1
un
uma vez que uxnn ! +1

a
= 0; pelo que se pode aplicar a Proposio 3.12.4.
Pela continuidade da funo exponencial, tem-se
un un
xn xn
lim log 1+ u log 1+ u
en!+1 n
= ea () lim e n = ea
n!+1
un
xn
() lim 1+ = ea :
n!+1 un
Exerccio 3.12.6 1. Calcular o valor dos limites::
1 x
a) lim 3 log(2 x)
x!1
b) lim xx
x!0+
x+1
c) lim (2x) x2
x!+1
1
3
d) lim 4x +1 3 x
x!0
ln(5+x4 ) ln 5
e) lim x4
x!0
2. Determine os valores reais que vericam as condies:
2 x
a) log 1 (2x) < 2 log 1 x
2 2
b) log (x + 3) > log (x 1) log (2 + x)

3.13. FUNES TRIGONOMTRICAS INVERSAS 77
3.13 Funes trigonomtricas inversas
As funes trigonomtricas sen x; cos x; tg x e cot g x no so injectivas nos

respectivos domnios. Assim essas funes no seriam invertveis.
Para garantir a invertibilidade consideram-se restries dessas funes a
intervalos contidos no seu domnio.
Das innitas restries considerar-se- uma restrio principal de modo
a que o contradomnio seja igual ao da funo inicial.
3.13.1 Arco-seno
Para a funo f (x) = sen x; qualquer restrio de f a intervalos do tipo

k 2 ; k + 2 ; k 2 Z; invertvel.
Considera-se a restrio principal para k = 0; 2 ; 2 : Isto
f : 2; 2 ! [ 1; 1]
x 7! sen x
1.0
y
0.5
-1.4 -1.2 -1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0 1.2 1.4
x
-0.5
-1.0
sin x
admita a funo inversa
f 1 : [ 1; 1] ! 2; 2
x 7! arcsen x
1.5
y
1.0
0.5
-1.0 -0.8 -0.6 -0.4 -0.2 0.2 0.4 0.6 0.8 1.0
-0.5
x
-1.0
-1.5
arcsin x
3.13.2 Arco-cosseno
Dada a funo g(x) = cos x; qualquer restrio de g a um dos intervalos
[k ; + k ] ; k 2 Z; invertvel.
A restrio principal para k = 0; [0; ] : Assim
g : [0; ] ! [ 1; 1]
x 7! cos x
1.0
y
0.5
0.0
1 2 3
x
-0.5
-1.0
cos x
admita a funo inversa
f 1 : [ 1; 1] ! [0; ]
x 7 ! arc cos x
y3
-1.0 -0.8 -0.6 -0.4 -0.2 0.0 0.2 0.4 0.6 0.8 1.0
x
arccos x
3.13.3 Arco-tangente
A funo h(x) = tg x de domnio
n o
Dh = x 2 R : x 6= +k ; k 2Z
2
e contradomnio R tem como restries invertveis as que tenham por domnios
intervalos do tipo i h
k ;k + ; k 2 Z:
2 2
Para k = 0, obtem-se a restrio principal. Isto ,
h : 1
2; 2 ! R
e
h : R! 2; 2 :
x 7 ! tg x x 7! arctg x
Gracamente
5
y
-1 1
x
-5
tg x
y
1.0
0.5
-5 -4 -3 -2 -1 1 2 3 4 5
-0.5
x
-1.0
arctg x
3.13.4 Arco co-tangente

Para a funo j(x) = cotg x de domnio
Dj = fx 2 R : x 6= k ; k 2 Zg
e contradomnio R a sua restrio a intervalos do tipo ]k ; k + [; k 2 Z;

denem funes invertveis. A restrio principal obtem-se para k = 0.
Ento,
j : ]0; [! R j 1 : R! ]0; [
e :
x 7 ! cot g x x 7! arc cot g x
Gracamente
y
4
0
1 2 3
x
-2
-4
cot g x
y3
-5 -4 -3 -2 -1 0 1 2 3 4 5
x
arccot x
Exerccio 3.13.1 1. Dada a funo h(x) = 2 + arcsen (2x + 1) deter-

mine:
a) Domnio de h
1
b) h(0) e h 6
c) Contradomnio de h
d) As solues da equao h(x) = 2 + 3
e) h 1 e caracterize-a.
2. Calcular:
4
a) cos arcsen 5
3
b) tg arccot 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 f : D R ! R uma funo real de varivel real e

a 2 D um ponto de acumulao de D:
Chama-se derivada de f no ponto a, e presenta-se f 0 (a); a
f (x) f (a) f (x + h) f (x)
f 0 (a) = lim ou f 0 (a) = lim lim :
x!a x a h!0 h
Se o limite existir e for nito ento a funo f diz-se derivvel ou
diferencivel no ponto a:
x 2
Exerccio 4.1.2 Utilizando a denio calcular a derivada de g(x) = x+2
em x0 = 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 y =
f (x).
No possvel denir a recta tangente a uma curva como sendo a recta
que tem apenas um ponto comum com a curva. preciso um conceito mais
forte.
83
84 CAPTULO 4. CLCULO DIFERENCIAL EM R
Considere-se uma recta secante ao grco de f (x); intersectando-a nos

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

2
x 4 no ponto de abcissa 2:
2. Determine as coordenadas dos pontos da curva y = x3 4x em que a

tangente nesses pontos uma recta horizontal.
4.3 Derivadas laterais

Uma funo f (x) pode no ter derivada num ponto a (no existir recta
tangente ao grco de f (x)), mas existirem semi-tangentes nesses pontos,
isto , tangente esquerda e/ou direita de a:
Considere-se a funo
x2 + 7 se x < 2
f (x) =
x+1 se x 2:
Para estudar a existncia de f 0 (2) necessrio recorrer ao conceito de

derivadas laterais.
Denio 4.3.1 Seja f : D R ! R e a 2 D um ponto de acumulao de

D:
4.4. DERIVADAS INFINITAS 85
(i) f derivvel esquerda de a se existe e nito.

f (x) f (a) f (a + h) f (a)
lim ou lim ;
x!a x a h!0 h
que se representa por f 0 (a ):
(ii) f derivvel direita de a se existe e nito.

f (x) f (a) f (a + h) f (a)
lim ou lim ;
x!a+ x a h!0+ h
que se nota por f 0 (a+ ):
Observao 4.3.2 1. Da denio anterior resulta que f derivvel

em a se e s se f derivvel esquerda e direita de a: Neste caso
f 0 (a) = f 0 (a ) = f 0 (a+ ):
2. Geometricamente f 0 (a ) representa o declive da semi-recta tangente

esquerda de a; enquanto f 0 (a+ ) ser o declive da semi-recta tangente
direita de a:
3. A existncia de derivada de uma funo num ponto pode depender

apenas pda existncia de uma derivada lateral. Por exemplo, para
f (x) = x 3; Df = [3; +1[ e
p
0 0 + x 3
f (3) = f (3 ) = lim = +1:
x!3+ x 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 f em a +1 (respectivamente 1) se
f (x) f (a)
lim = +1 ( 1).
x!a x a
As derivadas innitas esquerda e direita de a denem-se de modo
anlogo.
Geometricamente, se f derivada innita em a; o grco de f (x) admite
tangente em (a; f (a)) ; paralela ao eixo das ordenadas.
4.5 Derivabilidade e continuidade

Proposio 4.5.1 Se f : D R ! R uma funo derivvel em a 2 D;
ento f contnua nesse ponto.
Dem. Se f uma funo derivvel em a 2 D; ento admite derivada

nita nesse ponto, isto ,
f (x) f (a)
f 0 (a) = lim nito.
x!a x a
Escrevendo
f (x) f (a)
f (x) f (a) = (x a)
x a
e passando ao limite em ambos os membros, tem-se
f (x) f (a)
lim [f (x) f (a)] = lim lim (x a) = 0:
x!a x!a x a x!a
Ento lim f (x) = f (a); ou seja f (x) contnua em x = a:
x!a
Observao 4.5.2 1. A existncia de derivada innita, f 0 (a) = 1;

no garante a continuidade de f em a:
Por exemplo, a funo sinal
8
< 1 ; x>0
sgn(x) = 0 ; x=0
:
1 ; x<0
tem f 0 (0) = +1 e descontnua no ponto 0:
2. A recproca da Proposio 4.5.1 no verdadeira.

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

Seja f : D R ! R . A funo derivada ou simplesmente derivada de uma
funo f; x 7 ! f 0 (x); uma nova funo:
cujo domnio o conjunto de todos os pontos em que f tem derivada

nita;
4.7. REGRAS DE DERIVAO 87
a cada ponto do seu domnio faz corresponder a derivada da funo

nesse ponto.
Se f derivvel em todos os pontos de D, diz-se que f derivvel (difer-

encivel) em D ou apenas que f derivvel (diferencivel)
Exerccio 4.6.1 Caracterize a funo derivada de cada uma das funes

seguintes:
p
3
a) f (x) = x
b) g(x) = x x2
4.7 Regras de derivao

Para evitar o recurso constante denio de derivada, utilizam-se as regras
de derivao:
Proposio 4.7.1 Sejam f; g : D R ! R funes derivveis em a 2 D e

k 2 R. Ento:
1. (kf ) (x) derivvel em a e (kf )0 (a) = kf 0 (a)
2. (f + g)(x) derivvel em a e (f + g)0 (a) = f 0 (a) + g 0 (a)
3. (f g)(x) derivvel em a e (f g)0 (a) = f 0 (a) g(a) + f (a) g 0 (a)

Em particular, f n (x) derivvel em a e (f n )0 (a) = n f n 1 (a) f 0 (a);
para n 2 N:
f
4. Se g(a) 6= 0 ento g (x) derivvel em a e
0
f f 0 (a) g(a) f (a) g 0 (a)
(a) = :
g (g(a))2
Dem. 1. (kf )0 (a) = lim (kf )(x)x (kf )(a)

a = k lim f (x)x f (a)
a = kf 0 (a) :
x!a x!a
2. (f + g)0 (a) = lim (f +g)(x)x (f +g)(a)

a = lim f (x) f (a)
x a + g(x) g(a)
x a =
x!a x!a
f 0 (a) + g 0 (a):
3. (f g)0 (a) = lim (f g)(x) (f g)(a)
x a = lim f (x)g(x) f (a)g(x)+f (a)g(x)+f (a)g(a)
x a
x!a x!a
f (x) f (a)
= lim g(x) x a + f (a) g(x)x g(a)
a = f 0 (a) g(a) + f (a) g 0 (a):
x!a
f (x) f (a)
f
0 ( fg )(x) ( fg )(a) g(x) g(a)
4. g (a) = lim x a = lim x a
x!a x!a
= lim f (x)g(a) g(x)f (a) f (a)g(a)+f (a)g(a)

(x a)g(x)g(a)
x!a
1 g(a)[f (x) f (a)] f (a)[g(x) g(a)]
= lim g(x)g(a) (x a)
x!a
h i
1
= lim g(x)g(a) g(a) f (x)x af (a) f (a) g(x)x g(a)
a
x!a
f 0 (a) g(a) f (a) g 0 (a)
= (g(a))2
:
4.8 Derivada da funo composta

Teorema 4.8.1 Consideremos as funes f : D R ! R e ' : E R ! R
tais que ' (E) D: Se ' derivvel em a 2 E e f derivvel em b = '(a) 2
D; ento (f ') : E R ! R diferencivel em a e tem-se
(f ')0 (a) = f (b) '0 (a) = f 0 ('(a)) '0 (a):
Dem. (f ')0 (a) = lim (f ')(x) (f ')(a)
x a = lim f ['(x)]x f [')(a)]
a
x!a x!a
f ['(x)] f [')(a)] '(x) '(a)
= lim '(x) '(a) x a
x!a
f ['(x)] f [')(a)]
= lim '(x) '(a) lim '(x)x '(a)
a = f 0 ('(a)) '0 (a):
'(x)!'(a) x!a
4.9 Derivada da funo inversa

Teorema 4.9.1 Seja f uma funo diferencivel e injectiva num intervalo
D R e a 2 D tal que f 0 (a) 6= 0: Ento f 1 diferencivel em b = f (a) e
1 0 1
f (b) = :
f 0 (a)
Dem. Represente-se y = f (x) e observe-se que se y 6= b ento f 1 (y) 6=
f 1 (b)
= a:
Ento pode escrever-se
f 1 (y) f 1 (b)
1 0 1
f (b) = lim = lim y b
y!b y b y!b
(f 1 )(y) (f 1 )(b)
1 1 1
= 1 = 1 = :
lim f [f(f 1(y)] f (a)
lim f [f(f 1(y)] f (a) f 0 (a)
y!b )(y) a f 1 (y)!a )(y) a
4.10. DERIVADAS DE FUNES TRIGONOMTRICAS 89
Observao 4.9.2 A hiptese f 0 (a) 6= 0 fundamental pois, caso contrrio,

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

4.10.1 Derivada da funo f (x) = sen x
Provemos que a funo f (x) = sen x derivvel em R e determinemos a
sua expresso:
sen x sen a 2 sen x 2 a cos x+a
f 0 (a) = lim = lim 2
x!a x a x!a x a
sen x 2 a x+a
= lim x a cos = cos a:
x!a
2
2
Ento (sen x)0 = cos x:
4.10.2 Derivada da funo cos x

A funo cos x = sen x + 2 pode ser considerada como a composio da
funo sen x com a funo x + 2 .
Ento, pelo Teorema 4.8.1, diferencivel em todos os pontos, sendo a
sua derivada
h i0 0
(cos x)0 = sen x + = cos x + x+
2 2 2
= sen x:
4.10.3 Derivada das funes tg x e cot g x

A derivabilidade da funo tg : 2; 2 ! R resulta directamente das regras
de derivao
sen x 0
(tg x)0 =
cos x
1
= = sec2 x = 1 + tg 2 x:
cos2 x
Para a funo cot g : ]0; [ ! R tem-se
cos x 0
(cot g x)0 =
sen x
1
= = co sec2 x = 1 + cot g 2 x :
sen2 x
Exerccio 4.10.1 Calcular a derivada das funes

1
a) f (x) = tg x+3
b) g(x) = cot g 2 x2
4.10.4 Derivada das funes trigonomtricas inversas

A funo x 7 ! arcsen x a funo inversa de y 7 ! sen y , isto , desi-
gnando por x = f (y) = sen y ento y = f 1 (x) = arcsen x .
Pelo Teorema 4.9.1, obtem-se
0 1
1
(arcsen x)0 = f 1
(x) = =
(sen y)0
f 0 (y)
1 1 1
= =p =p :
cos y 1 sen2 y 1 x2
Ento a funo y = arcsen x diferencivel em todo o seu domnio e
1
(arcsen x)0 = p :
1 x2
Da relao y = arccos x , x = cos y tem-se
0 1 1
(arccos x)0 = f 1
(x) = =
f 0 (y) (cos y)0
1 1 1
= = p = p ;
sen y 1 cos y2 1 x2
pelo que
1
(arccos x)0 = :p
1 x2
A partir da relao y = arctg x , x = tg y obem-se
1 1 1
(arctg x)0 = 0 = 2
= :
(tg y) 1 + tg y 1 + x2
As frmulas anteriores permanecem vlidas se se substituir x por uma
funo u(x); diferencivel nos respectivos domnios e se aplicar o teorema
da derivada da funo composta. Assim
u0
(arcsen u)0 = p ;
1 u2
u0
(arctg u)0 = :
1 + u2
4.11. DERIVADAS DAS FUNES EXPONENCIAL E LOGARTMICA91
4.11 Derivadas das funes exponencial e logart-

mica
A funo exponencial derivvel em R e
(ex )0 = ex
pois, considerando f (x) = ex tem-se
ea+h ea eh 1
f 0 (a) = lim = ea lim = ea :
h!o h h!o h
Sendo u : D R ! R uma funo diferencivel, a funo composta eu(x)

ainda diferencivel em R e
0
eu(x) = u0 (x) eu(x) ; 8x 2 D:
A funo x 7 ! ax ; com a > 0; diferencivel em R e
(ax )0 = ax log a;
x
pois ax = elog a = ex log a e aplicando a regra anterior obtem-se
0
(ax )0 = ex log a = ex log a (x log a)0
= ax log a:
Analogamente para u(x) uma funo diferencivel,

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

f 0 (a) = lim = lim a
h!o h h!o h
log 1 + ha 1 log 1 + ha 1
= lim = lim h
= :
h!o h a h!o a
a
Ento
1
(log x)0 =
x
e, para u : D R ! R uma funo diferencivel tal que u(x) > 0; 8x 2 D;

a funo composta log (u(x)) diferencivel e
u0 (x)
(log (u(x)))0 = ; 8x 2 D:
u(x)
A funo f (x) = loga x , com a 2 R+ nf1g; diferencivel em R+ e

notando que
loga x = log x loga e
obtem-se
1 1
(loga x)0 = loga e = ;
x x log a
pois
1 = loge e = loga e loge a = loga e log a;
pelo que
1
loga e = :
log a
Sendo u(x) uma funo diferencivel com u(x) > 0; 8x 2 D; ento a
derivada de y = loga (u(x))
u0 (x)
(loga (u(x)))0 = :
u(x) log a
Exerccio 4.11.1 Calcular as derivadas de
a) y = log5 (arctg x)
p
b) y = e 3x + 5cos x :
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 f : D R ! R e a 2 D:

4.12. TEOREMAS FUNDAMENTAIS DO CLCULO DIFERENCIAL93
(i) Diz-se que f tem um mximo local (ou relativo) em a (ou que f (a)
um um mximo local ou relativo de f ) se e s se existir " > 0 tal que
f (x) f (a); 8x 2 V" (a) \ D:
(ii) Analogamente, f tem um mnimo local (ou relativo) em a (ou que f (a)
um um mnimo local ou relativo de f ) se e s se existir " > 0 tal que
f (a) f (x); 8x 2 V" (a) \ D:
(iii) Se as desigualdades anteriores forem estritas, isto , f (x) < f (a)

(ou f (a) < f (x)) ; 8x 2 V" (a) \ (Dnfag) ento diz-se que f (a) um
um mximo local (mnimo local) estrito.
(iv) Se se falar, indistintamente, de mximos ou mnimos diz-se extremo

local (ou relativo).
(v) Se se vericar f (x) f (a); 8x 2 D, ento diz-se que f (a) um mximo

absoluto de f em D:
Analogamente, se f (a) f (x); 8x 2 D, f (a) um mnimo absoluto
de f em D:
Um resultado importante para a pesquisa de extremos locais de uma

funo o seguinte:
Proposio 4.12.2 Seja D um intervalo de R com mais do que um ponto

e f : D R ! R diferencivel no ponto interior a 2 D:
Se f tem um extremo local em a ento f 0 (a) = 0; isto , a um ponto crtico
de f:
Dem. Suponhamos que f tem um mximo local em a: Ento
9" > 0 : f (x) f (a) em ]a "; a + "[ ;
pelo facto de a ser um ponto interior a D:

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

Se supusermos que f (a) um mnimo local, a demonstrao 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 f : R ! R dada por f (x) = x3 estritamente crescente no tendo
portanto nenhum extremo local. Todavia f 0 (0) = 0:
Teorema 4.12.4 (Teorema de Rolle) Seja f : [a; b] ! R uma funo con-

tnua no intervalo [a; b] e com derivada (nita ou innita) em todos os pontos
de ]a; b[:
Se f (a) = f (b) ento existe c 2]a; b[ tal que f 0 (c) = 0:
Dem. Como f contnua no conjunto limitado e fechado [a; b]; pelo

Teorema 3.8.5 f tem mximo e mnimo (absolutos) relativos em [a; b]:
Se o mximo e o mnimo so atingidos nas extremidades, como f (a) =
f (b) ento f (x) k e, portanto, f 0 (c) = 0; 8c 2]a; b[:
Caso contrrio o mximo atingido num ponto interior c 2]a; b[ e, pela
Proposio 4.12.2, f 0 (c) = 0:
Corolrio 4.12.5 Se f : [a; b] ! R uma funo contnua em [a; b] e tem

derivada (nita ou innita) em todos os pontos de ]a; b[ ento entre dois
zeros consecutivos de f 0 no pode haver mais que um zero de f:
Dem. Sejam x1 e x2 dois zeros consecutivos de f 0 :

Suponha-se, com visto obteno de um absurdo, que existem e tais
que x1 < < < x2 e f ( ) = f ( ) = 0: Ento, pelo Teorema 4.12.4, existe
d 2 ] ; [ tal que f 0 (d) = 0: Isto absurdo porque assim x1 e x2 no podem
ser dois zeros consecutivos de f 0 (x):
Portanto entre dois zeros consecutivos de f 0 no pode haver mais que
um zero de f (x) (note-se que pode at no haver nenhum).
Corolrio 4.12.6 Seja f uma funo que satisfaz as condies do Teorema

de Rolle.
Ento entre dois zeros de f h pelo menos um zero de f 0 :
Dem. Sejam x1 e x2 dois zeros consecutivos de f; isto , f (x1 ) =

f (x2 ) = 0: Ento pelo Teorema 4.12.4, existe c 2]x1 ; x2 [ tal que f 0 (c) = 0:
Exerccio 4.12.7 Considere a funo f : [ 2 ; 2 ] ! R dada por f (x) =

sen2 x 3 x:
5 7
Prove que f (x) admite um nico zero no intervalo 12 ; 12 :
Teorema 4.12.8 (Teorema do valor mdio de Lagrange ou Teorema dos

acrscimos nitos) Seja f : [a; b] ! R uma funo contnua em [a; b]
e com derivada (nita ou innita) em ]a; b[: Ento existe pelo menos um
ponto c 2]a; b[ tal que
f (b) f (a)
f 0 (c) = :
b a
Dem. Considere-se uma funo auxiliar
f (b) f (a)
h(x) = f (x) x:
b a
Esta nova funo verica as hipteses do Teorema 4.12.4 em [a; b]; pois:
h(x) contnua em [a; b]

f (b) f (a)
h0 (x) = f 0 (x) b a tem derivada em ]a; b[; pois f tambm tem.
f (b) f (a) (b a)f (a) [f (b) f (a)]a bf (a) af (b)
h(a) = f (a) b a a = b a = b a = h(b):
Ento
9c 2]a; b[: h0 (c) = 0:
Isto ,
f (b) f (a) f (b) f (a)

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

velocidade instantnea f 0 (c) igual velocidade mdia f (b)b fa (a) entre os
referidos instantes. (Da o nome de teorema do valor mdio aplicado ao
Teorema de Lagrange)
Uma importante extenso do Teorema de Lagrange constitui o resultado
seguinte:
Teorema 4.12.9 (Teorema de Cauchy).Se f e g so duas funes contnuas

em [a; b]; diferenciveis em ]a; b[ e se para x 2]a; b[, g 0 (x) 6= 0 ento existe
um ponto c 2]a; b[ tal que
f (b) f (a) f 0 (c)

= 0 :
g(b) g(a) g (c)
Dem. Considere-se a funo
f (b) f (a)
F (x) = f (x) f (a) (g(x) g(a)) :
g(b) g(a)
A funo F (x) contnua em [a; b]; porque f e g tambm o so, e diferen-

civel em ]a; b[;
f (b) f (a) 0
F 0 (x) = f 0 (x) g (x):
g(b) g(a)
Por outro lado, como
F (a) = 0 e F (b) = 0;
o Teorema de Rolle garante a existncia de c 2]a; b[ tal que F 0 (c) = 0, ou
seja
f (b) f (a) 0
f 0 (c) g (c) = 0:
g(b) g(a)
Como g 0 (c) 6= 0 tem-se
f (b) f (a) f 0 (c)
= 0 :
g(b) g(a) g (c)
Uma das aplicaes mais importantes deste teorema a utilizao de

uma regra para levantar indeterminaes.
Teorema 4.12.10 (Regra de Cauchy) Sejam f e g duas funes diferen-

civeis em ]a; b[ tais que:
a) g 0 (x) 6= 0 para cada x 2]a; b[;

b) lim f (x) = lim g(x) = 0 ou ento lim f (x) = lim g(x) = 1;

x!a x!a x!a x!a
0
c) existe lim fg0 (x)
(x)
em R;
x!a
Ento
f 0 (x) f (x)
lim = lim :
x!a g 0 (x) x!a g(x)
Dem. Se
f 0 (x)
lim = l (nito)
x!a g 0 (x)
ento existe 2]a; b[ tal que para x 2]a; [ e para > 0 arbitrrio se tem
f 0 (x)
l < <l+ :
g 0 (x)
Sejam x e y dois pontos distintos de ]a; [. Ento pelo Teorema de Cauchy

existe situado entre eles tal que
f (x) f (y) f 0( )
= 0 :
g(x) g(y) g( )
Portanto para quaisquer pontos nestas condies obtem-se
f (x) f (y)
l < <l+ : (4.12.1)
g(x) g(y)
No caso de lim f (x) = lim g(x) = 0 , xemos arbitrariamente x 2]a; [ e

x!a x!a
fazendo y ! a conclui-se que as desigualdades
f (x)
l < <l+
g(x)
tm que ser vericadas para 8x 2]a; [; o que prova que
f (x)
lim = l:
x!a g(x)
No caso em que lim f (x) = lim g(x) = +1; xa-se y 2]a; [ e determina-
x!a x!a
se tal que, para x 2]a; [ se tenha
g(x) > 0 e g(x) > g( ):

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

+ 1 (l )< < + 1 (l + ) :
g(x) g(x) g(x) g(x) g(x)
Quando x ! a o primeiro membro tende para l e o segundo membro

para l + ; pelo que
f (x)
lim = l:
x!a g(x)
Se lim f (x) = lim g(x) = 1 o processo anlogo.

x!a x!a
Se l = 1 ento obrigatoriamente existe um intervalo ]a; d[ (d > a)
onde f 0 (x) 6= 0;pois caso contrrio, como g 0 (x) 6= 0 em ]a; b[, isso seria
incompatvel com o facto de
f 0 (x)
lim = 1:
x!a g 0 (x)
Assim trocando no enunciado do Teorema f por g e g por f ca-se com o

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

Seja f : D R ! R uma funo diferencivel em a 2 D: No caso de f 0
ser por sua vez tambm diferencivel num ponto a interior do seu domnio
D0 ; ento diz-se que f duas vezes diferencivel em a, e representa-se por
f 00 (a):
Em geral, a derivada de ordem n da funo f; representa-se por f (n) ou
dn f
dxn :
A funo f diz-se n vezes diferencivel no ponto a do respectivo domnio
D se existir e for nita a derivada f (n) (a):
(n)
A funo f indenidamente diferencivel no ponto a se for n vezes

diferencivel em a para qualquer n 2 N:
Exemplo: A funo f (x) = ex indenidamente diferencivel em R;
tendo-se para cada n 2 N;
dn x
(e ) = ex :
dxn
A derivada de 1a ordem, como j foi referido anteriormente, pode ser
entendida como o "contacto"da funo com a recta tangente ao grco nesse
ponto.
4.13. DERIVADAS DE ORDEM SUPERIOR 99
Para as derivadas de ordem n de f podem-se admitir "contactos"de

ordem n; o que permite aproximar uma funo diferencivel qualquer por
um polinmio cujos termos sero constituidos pelos vrios "contactos".
Denio 4.13.1 Seja f : D R ! R uma funo n vezes diferencivel

em a 2 D: Chama-se polinmio de Taylor de ordem n de f no ponto , a
n
X
f (n) (a) f (k) (a)
pn (x) = f (a) + f 0 (a) (x a) + + (x a)n = (x a)k :
n! k!
k=1
Se a = 0 o polinmio de Taylor designado por polinmio de MacLaurin

e assume uma forma mais simplicada
n
f (n) (0) n X f (k) (0) k
pn (x) = f (0) + f 0 (0)x + + x = x :
n! k!
k=1
Teorema 4.13.2 Se f : D R ! R uma funo n vezes diferencivel

em a 2 D ento para qualquer x 2 D vlida a frmula de Taylor
f (n) (a)
f (x) = f (a) + f 0 (a) (x a) + + (x a)n + Rn (x)
n!
vericando o resto Rn (x) a condio
lim Rn (x) = 0:
x!a
No caso particular de a = 0; a frmula de Taylor tambm chamada frmula

de Mac-Laurin:
f (n) (0) n
f (x) = f (0) + f 0 (0) x + + x + Rn (x):
n!
O interesse da frmula de Taylor ser acrescido se for possvel explicitar
o termo complementar Rn (x) possibilitando uma estimao do seu valor,
isto , uma aproximao do erro cometido quando se substitui a funo pelo
correspondente polinmio de Taylor.
Teorema 4.13.3 (Frmula do resto de Lagrange) Seja f uma funo (n + 1)

vezes diferencivel num intervalo aberto I e a 2 I. Ento para cada x 2
Infag existe tal que a < < x; tem que o termo complementar (resto) da
sua frmula de Taylor de ordem n no mesmo ponto, Rn (x); dado por
f (n+1) ( )
Rn (x) = (x a)n+1 :
(n + 1)!
Exerccio 4.13.4 Para a funo f (x) = sen x determine o polinmio de

Mac-Laurin de ordem 6 associado e indique uma majorao para o erro
cometido.
4.14 Aplicaes da frmula de Taylor determi-

nao de extremos, convexidade e inexes
Anteriormente viu-se que, para uma funo f; diferencivel num ponto a;
tenha um extremo local neste ponto, necessrio, embora no suciente,
que f 0 (a) = 0:
Chamam-se pontos crticos ou estacionrios de uma funo f aos zeros
da sua funo derivada. Para decidir se um ponto crtico ou no um ponto
de mximo ou de mnimo, pode recorrer-se ao sinal da 1a derivada.
Nos casos em que no seja possvel estudar o sinal de f 0 (x)em pontos
prximos de a o recurso frmula de Taylor d um mtodo alternativo,
que pode sertil se forem conhecidos os valores assumidos no ponto a por
algumas das derivadas de ordem superior primeira.
Exemplo: Se f duas vezes diferencivel em a , f 0 (a) = 0 e f 00 (a) 6= 0
ento a frmula de Taylor com resto de Lagrange ser
(x a)2
f (x) = f (a) + f 00 (a) + R2 (x)
2
com lim R2 (x) = 0: Ento existe > 0 tal que para x 2 V (a) se tem que
x!a
2
jR2 (x)j < jf 00 (a)j. Assim o sinal da soma f 00 (a) (x 2a) + R2 (x); em V (a);
ser o sinal do primeiro termo.
Se f 00 (a) > 0 tem-se
(x a)2
f (x) f (a) = f 00 (a) + R2 (x) 0;
2
isto , f (x) > f (a) para x 2 V (a): Se for f 00 (a) < 0 tem-se f (x) < f (a) para
x 2 V (a) No primeiro caso tem-se um mnimo local estrito e no segundo
caso um mximo local tambm estrito.
Se f 00 (a) = 0 o processo no era aplicvel e ter-se-ia que realizar o mesmo
processo para a primeira ordem da derivada que no se anulasse em a: Assim:
Teorema 4.14.1 Seja f uma funo n vezes diferencivel em a, com n

2; e suponha-se f (n) (x) a primeira derivada que no se anula em a Ento:
1. se n mpar, f no tem qualquer extremo no ponto a;

4.14. APLICAES DA FRMULA DE TAYLOR DETERMINAO DE EXTREMOS, CONVEXIDAD
2. se n par, f (a) um mximo ou um mnimo local (estrito) de f;

conforme f (n) (a) < 0 ou f (n) (a) > 0:
Dem. Como f uma funo n vezes diferencivel em a ento, numa

vizinhana de a; V (a); pode ser representada pela frmula de Taylor com
resto de Lagrange
f (n) (a) f (n+1) ( )

f (x) = f (a) + f 0 (a) (x a) + + (x a)n + (x a)n+1 ;
n! (n + 1)!
para x 2 V (a):
Como f (n) (x) a primeira derivada que no se anula em a ento
f (n) (a) f (n+1) ( )

f (x) f (a) = (x a)n + (x a)n+1
n! (n + 1)!
" #
n (n+1) ( )
(x a) f
= f (n) (a) + (x a) :
n! n+1
Como (x a) pode ser arbitrariamente pequeno ento o sinal dominante do

ltimo factor ser o sinal de f (n) (a):
Se n mpar, o primeiro membro f (x) f (a) toma sinais contrrios
quando x toma valores esquerrda ou direita de a; mas sucientemente
prximos. Logo f (a) no um extremo.
Se n par, o sinal de f (x) f (a) o mesmo que o sinal de f (n) (a):
Assim se f (n) (a) < 0 ento f (x) < f (a) para x 2 V (a); pelo que f (a)
um mximo. Se f (n) (a) < 0 ento f (a) um mnimo local
Exemplo 4.14.2 A funo f (x) = 3x4 4x3 +2 tem unicamente dois pontos
estacionrios: 0 e 1 Como f 00 (1) = 12 > 0 ento f (1) = 1 um mnimo de
f . No ponto 0; f 00 (0) = 0; f 000 (0) = 24 pelo que f (0) no um ponto de
extremo.
Outra aplicao da frmula de Taylor est relacionada com a noo de

convexidade, isto , com a posio do grco da funo f; diferencivel em
a;:em relao respectiva tangente no ponto (a; f (a)) :
Se existe > 0 tal que em V (a) o grco de f est acima do da funo
g(x) = f (a) + f 0 (a) (x a) diz-se que a funo f convexa em a ou que tem
a concavidade voltada para cima nesse ponto.
Se o grco de g est acima do de f diz-se que a funo f cncava em
a ou que tem a concavidade voltada para baixo nesse ponto.
Pode acontecer que exista um intervalo esquerda de a e outro direita

de a em que o grco de f esteja acima do de g num deles e abaixo noutro.
Neste caso diz-se que a um ponto de inexo de f:
Teorema 4.14.3 Seja f uma funo n vezes diferencivel em a, (n 2);

e suponha-se que so nulas em a todas as derivadas de f de ordem superior
primeira e inferior a n; isto ,
f 00 (a) = ::: = f (n 1)
(a) = 0; f (n) (a) 6= 0:
Ento:
1. se n mpar, a um ponto de inexo de f ;
2. se n par, f convexa ou cncava no ponto a conforme f (n) (a) > 0

ou f (n) (a) < 0; respectivamente:
Dem. A demostrao semelhante do Teorema 4.14.1, considerando

a gora a Frmula de Taylor de ordem n com resto de Lagrange na forma
f (n) (a) f (n+1) ( )

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

O conceito de soma innita de nmeros reais, que se estudou no catulo das
sries numricas, pode agora ser generalizado soma innita de funes.
Este aspecto coloca novos desaos, por exemplo permite que a "mesma
srie funo"possa ser simultaneamente convergente ou divergente, 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

+1
X
fn (x)
n=1
isto , f1 (x)+f2 (x)+:::+fn (x)+:::; em que f1 ; f2 ; :::; fn ; :::funes denidas

num certo domnio D R:
A srie convergente nim ponto x0 2 D se for convergente a srie
numrica
f1 (x0 ) + f2 (x0 ) + ::: + fn (x0 ) + :::
Neste caso
+1
X
fn (x) = f (x);
n=1
designando-se f (x) por funo soma.

O domnio da funo soma o conjunto onde a srie converge.
Denio 4.15.2 O conjunto de valores de x para os quais a srie de

funes convergente chama-se intervalo de convergncia.
Exerccio 4.15.3 Estudar a convergncia das sries:

+1
X
Exemplo 4.15.4 a) xn
n=0
+1
X sen(nx)
b) n2
n=1
4.16 Sries de potncias

Um caso particular de sries de funes so as sries de potncias de x;
+1
X
a0 + a1 x + a2 x2 + + an xn + = an xn :
n=0
Para determinar os pontos onde esta srie convergente pode comear-se

por determinar o raio r de convergncia (absoluta)
an
r = lim
an+1
e depois determinar o intervalo de convergncia, isto o conjunto x 2] r; r[:

Em alternativa, pode aplicar-se directamente o critrio de DAlembert
jan+1 j xn+1 an+1

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

+1
X xn
( 1)n :
n(n + 1)
n=1
Sries de potncias de (x a) so sries do tipo

+1
X
a0 + a1 (x a) + a2 (x a)2 + + an (x a)n + = an (x a)n :
n=0
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 f for indenidamente
diferencivel no ponto a obtem-se a frmula
(x a)2 (x a)n
f (x) = f (a) + f 0 (a) (x a) + f 00 (a) + + f (n) (a) +
2 n!
+1
X n
(x a) (n)
= f (a)
n!
n=0
que se designa por srie de Taylor.

4.17. SRIE DE TAYLOR PARA FUNES REAIS DE VARIVEL REAL105
Se a srie de Taylor representar f (x) numa vizinhana de a diz-se que

f (x) analtica em a.
No caso de a = 0; a srie de Taylor designa-se por srie de Mac-Laurin:
+1 n
X x
f (x) = f (n) (0):
n!
n=0
Exerccio 4.17.2 Determine a srie de Mac-Laurin das funes:
a) f (x) = ex
b) g(x) = sen x
Exerccio 4.17.3 Desenvolva em srie de potncias de x a funo

3
f (x) = :
(1 x) (1 + 2x)
Captulo 5
Clculo Integral em R
5.1 Primitivas
Denio 5.1.1 F (x) uma primitiva de f (x); num certo intervalo I; se
F 0 (x) = f (x); 8x 2 I:
Isto P f (x) = F (x) =) F 0 (x) = f (x); 8x 2 I:
Resulta imediatamente desta denio que a operao de primitivao
a operao inversa da derivao.
Como [F (x) + c]0 = F 0 (x) para qualquer valor de c 2 R; ento existe
uma innidade de primitivas de uma certa funo.
Assim designa-se por expresso geral das primitivas de f (x) a
P f (x) = F (x) + c; c 2 R:
Proposio 5.1.2 Duas primitivas de uma mesma funo, num certo in-
tervalo I; diferem sempre de uma constante.
Dem. Sejam F (x) e G(x) duas primitivas de uma mesma funo f (x):
Ento F 0 (x) = f (x); G0 (x) = f (x) e
[F (x) G(x)]0 = F 0 (x) G0 (x) = f (x) f (x) = 0:
A hiptese de se considerar um intervalo I fundamental, porque a

funo pode no ser primitivvel para todo o conjunto R:
Veja-se, por exemplo, a funo denida em R;
1 se x 0
f (x) = :
1 se x < 0
107
108 CAPTULO 5. CLCULO INTEGRAL EM R
Suponhamos que existe uma primitiva def (x); F (x); em R:

Ento, pelo Teorema de Lagrange, existe c 2]x; 0[ tal que
F (x) F (0)
= F 0 (c) = f (c) = 1; porque c < 0:
x
Pela denio de derivada lateral
F (x) F (0)
F 0 (0 ) = lim = lim F 0 (c) = 1:
x!0 x x!0
Contudo no possvel ter uma situao de
F 0 (0) = F 0 (0 ) = F 0 (0+ ) = 1 = f (0)
porque f (0) = 1:
Ento f (x) no primitivvel em R; embora o seja em ]0; +1[ ou ]
1; 0[.
5.2 Primitivas imediatas e quase imediatas

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

Como (kx)0 = k; k 2 R; ento
P k = kx + c; k; c 2 R:
Generalizando, como (kP f (x))0 = k (P f (x))0 = kf (x); k 2 R; ento
P (k f (x)) = k (P f (x)) :
5.2.2 Primitiva de uma potncia de expoente real

0
f m+1
Para m 2 Rnf 1g; tem-se m+1 = f m f 0 ; pelo que
f m+1 (x)
P f m (x) f 0 (x) = + c; c 2 R; m 6= 1:
m+1
5.2. PRIMITIVAS IMEDIATAS E QUASE IMEDIATAS 109
p
1. P 2x + 1
2. P logx x
4
3. P (1+5x) 3
f0
No caso de m = 1 tem-se que f = (log f )0 ; e assim
f 0 (x)
P = (log f (x)) + c; c 2 R:
f (x)

3
1. P x4x+a2 ; a 2 R:
2. P tg x:
Se se substituir x por uma funo f (x) diferencivel, tem-se
P tg (f (x)) f 0 (x) = log jcos (f (x))j + c; c 2 R:
5.2.3 Primitiva de funes exponenciais

0
Como ef = ef f 0 ento
P ef (x) f 0 (x) = ef (x) + c; c 2 R:
Por outro lado,
ef (x) log a
P af (x) f 0 (x) = P ef (x) log a
f 0 (x) =
log a
af (x)
= + c; c 2 R:
log a
1. P xe x2 :
arcsen x
2. P 3p1 x2
:
5.2.4 Primitiva de funes trigonomtricas

Como ( cos (f ))0 = f 0 sen (f ) tem-se
P f 0 (x) sen (f (x)) = cos (f (x)) + c; c 2 R;
e, analogamente,
P f 0 (x) cos (f (x)) = sen (f (x)) + c; c 2 R:
Pelo mesmo processo (tg (f ))0 = f 0 sec2 (f ) e
P f 0 (x) sec2 (f (x)) = tg (f (x)) + c; c 2 R:

0
Partindo novamente das derivadas (arcsen (f ))0 = p f ; pelo que
1 f2
f 0 (x)
Pp = arcsen (f (x)) + c; c 2 R;
1 f 2 (x)
e
f 0 (x)
P = arctg (f (x)) + c; c 2 R;
1 + f 2 (x)
1. P (sen (2x)) :
2. P sec2 (3x) :
2
3. P p1x x6
:
4. P p41 x2 :
x
5. P 1+x 6
5.3 Mtodos de primitivao

Se uma funo no pode ser primitivada s por aplicao das regras de
derivao (primitivas imediatas) ou aps alguns artifcios (primitivas quase
imediatas) recorre-se a um ou mais mtodos de primitivao.
5.3. MTODOS DE PRIMITIVAO 111
5.3.1 Primitivao por decomposio

Baseia-se na linearidade da primitiva:
Teorema 5.3.1 Sejam fi funes primitivveis num domnio I R; i =

1; :::; n; e i 2 R: Ento
P( 1 f1 + 2 f2 + + n fn ) = 1 P f1 + 2 P f2 + + n P fn :
Alguns casos particulares merecem ateno:
n n
Para n 2 N; P (sen x)2n+1 = P sen2 x sen x = P 1 cos2 x
sen x:
n
Desenvolvendo 1 cos2 x obtm-se potncias de cos x multiplicadas
por sen x e a cada uma delas pode aplicar-se a relao
cosk+1 x
P cosk x sen x = ; k = 0; 2; :::; 2n:
k+1
Para n 2 N; n 2; P tg n (x) = P tg n 2 (x) tg 2 (x) = P tg n 2 (x)
sec x 1 = P tg 2 (x) sec2 x 1 = P tg n 2 (x) sec2 x P tg n

2 n 2 (x) :
Desta forma obtem-se a frmula por recorrncia

tg n 1 (x)
P tg n (x) = P tg n 2
(x) :
n 1
Para fraces racionais com aplicao do mtodo dos coecientes in-
determinados pode decompor-se a fraco inicial em fraces "mais
simples":
Exemplo:
2x5 x
P 2 = 2P x3 x + 2 :
x +1 x +1
5.3.2 Primitivao por partes

Este mtodo baseia-se na frmula para a derivada do produto de funes
(uv)0 = u0 v + uv 0 , u0 v = (uv)0 uv 0
pelo que:
Teorema 5.3.2 Sejam u e v duas funes reais denidas e diferenciveis

num intervalo I R: Se o produto u0 v for primitivvel ento
P u0 (x)v(x) = u(x)v(x) P u(x)v 0 (x) :
Como indicao geral, ser conveniente escolher o factor correspondente

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

O mtodo de substituio baseia-se na regra de derivao das funes com-
postas.
Teorema 5.3.4 Sejam f : I ! R uma funo primitivvel, J Df e ' :

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

(x):
Dem. Aplicando a derivada da funo composta e a derivada da funo

inversa tem-se
1 0 0 1 0
' (x) = ' ' 1 (x) =
(x)
1
= f ('(t)) '0 (t) 0 = f (x)
' (t)
Exerccio 5.3.5 Calcule em I =]0; +1[;
1
P ;
ex 1
utilizando a substituio x = '(t) = log t:

5.3.4 Primitivao de funes racionais

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

a 1:
O processo anlogo ao anterior.
3
Exemplo 5.3.8 P x22x +1
(x+1)3
=P x
3 3
+ P x12 + P x+1 4
+ P (x+1)2
1
P (x+1)3 =
1 4 1 1
3 log jxj x + 3 log jx + 1j x+1 + 2 (x+1)2 + c; c 2 R:
3o caso: Algumas razes de q(x) so complexas de multiplicidade 1:

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

3 1 = P (x
x+2
1)(x2 +x+1)
= P x 1 1 P x2x+1
+x+1
= log jx 1j
p
1 4 3 2x+1
2 log x2 + x + 1 3 arctg
p
3
+ c; c 2 R:
4o caso: Algumas razes de q(x) so complexas com multiplicidade su-

perior a 1:
2
Exemplo 5.3.10 P (x x 1)(x
+2x+6
2 +2)2
= P x1 1 P xx+1
2 +2 P (x22x
+2)2
= log jx 1j
p
1 2 px 1
2 log x2 + 2 2 arctg 2
+ x2 +2
+ c; c 2 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 ex , sim-

bolicamente,
F R(ex );
deve tentar-se a substituio
x = log t ou ex = t:
Assim
1 e3x 1 t3 1 1 4t
P = P =P 1+ 3
e2x 4 t 2 4 t t 4t
x 7 9
= ex log jex 2j + log jex + 2j + c; c 2 R:
4 8 8
Exemplo 5.3.12 Numa funo racional do tipo
1
F R (log x)
x
deve tentar-se a substituio
log x = t ou x = et :
Por exemplo:
log (2x) log 2 + log x 1 log 2 + t

P = P =P
x log3 x 3
log x x t3
log 2 1 1
= + c; c 2 R:
2 log2 x log x
Exemplo 5.3.13 Para uma funo do tipo
F R (sen x) cos x
recomenda-se a substituio
sen x = t ou x = arcsen t:
Analogamente para
F R (cos x) sen x
aplica-se
cos x = t ou x = arccos t:
Assim
p
cos3 x sen x t 3 1 t2 1
P = P 2 p
cos2 x + 2 cos x + 1 t + 2t + 1 1 t2
8
= P t+2
(t + 1)2
cos2 x 8
= + 2 cos x + + c; c 2 R:
2 cos x + 1
Exemplo 5.3.14 Para
F R (sen x; cos x)
aplica-se a substituio
x
tg = t ou x = 2 arctg t;
2
e, pelas frmulas trigonomtricas dos ngulos duplos,
tg x2 1 tg 2 x
2
sen x = 2 x e cos x = x :
1 + tg 2 2 1 + tg 2 2
Como exemplo:
cos x 1 t2 2
P = P
sen x cos x t2 + 2t 1 1 + t2
" #
1 t2
= 2P p p
t+1 2 t + 1 + 2 (1 + t2 )
1 x x 1 x
= log tg 2 + 2tg 1 log sec2 x + c; c 2 R:
2 2 2 2 2
Exemplo 5.3.15 No caso de
" p1 pn #
ax + b q1 ax + b qn
F R x; ; :::;
cx + d cx + d
a substituio indicada ser

ax + b
= tq ; sendo q = m:m:c: (q1 ; :::; qn ) :
cx + d
Ilustre-se com o exemplo:

p
3
x 1 t2 t
Pp =P 6t5 = 6P t4 + t + :
x 1 1 t3 1 t3 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 f uma funo real de varivel real denida em [a; b] :
Considere-se este intervalo decomposto em n intervalos pelos pontos
x0 ; x1 ; x2 ; :::; xn 1 ; xn ; tais que
x0 = a < x1 < x2 < ::: < xn 1 < xn = b:
Ao conjunto P = fx0 ; x1 ; x2 ; :::; xn 1 ; xn g chama-se uma decomposio

ou partio de [a; b] :
Desta forma [a; b] ca decomposto em subintervalos I1 = [x0 ; x1 ] ; I2 =
[x1 ; x2 ] ; :::; In = [xn 1 ; xn ] ; de dimetros
diam I1 = x1 x0 ; diam I2 = x2 x1 ; diam In = xn xn 1:
Ao maior destes dimetros chama-se dimetro da decomposio e nota-se

por jP j:
Denio 5.4.1 Chama-se soma integral ou soma de Riemann de uma

funo f relativamente decomposio P de [a; b] e ao conjunto
U = fui : ui 2 ]xi ; xi+1 [ ; i = 1; :::; n 1g ;
designando-se por S (f; P; U ) ou abreviadamente porSP ; a

n
X
S (f; P; U ) = f (ui ) (xi xi 1)
i=1
= f (u1 ) (x1 x0 ) + f (u2 ) (x2 x1 ) + + f (un ) (xn xn 1) :
5.4. INTEGRAL DE RIEMANN 117
Denio 5.4.2 Se substituirmos na soma anterior a imagem de um ponto

intermdio pelo supremo (nmo) da funo f (x) em cada um dos subin-
tervalos obtem-se a soma superior de Darboux, S; ou a soma inferior de
Darboux, S:
Exerccio 5.4.3 Para f (x) = x2 denida em [0; 1] decomposto por P =

f0; 0:4; 0:5; 0:7; 1g, calcular:
1. A soma de Riemann SP relativamente a U = f0:1; 0:45; 0:6; 0:8g :
2. As somas superior e inferior de Darboux.
Proposio 5.4.4 Seja f uma funo limitada em [a; b] : As somas superior
e inferior de Darboux, S.e S; so, respectivamente, o supremo e o nmo
das somas de Riemann, no conjunto de todas as parties possveis de [a; b] :
Dem. Para uma mesma partio P de [a; b] tem-se
S < SP < S: (5.4.1)
Dena-se
Mi := sup f (x) ; i = 1; :::; n;
x2[xi 1 ;xi ]
e escolha-se > 0 de modo a que para os pontos intermdios ui em cada

um dos subintervalos se tenha
f (ui ) > Mi ; i = 1; :::; n:
A soma de Riemann ser
Xn n
X
SP = f (ui ) (xi xi 1) > (Mi ) (xi xi 1)
i=1 i=1
Xn n
X
= Mi (xi xi 1) (xi xi 1) =S (b a) :
i=1 i=1
Pelo mesmo processo, denindo
mi := inf f (x) ; i = 1; :::; n;
x2[xi 1 ;xi ]
se pode provar que

SP < S + (b a) ;
pelo que S.e S; so, respectivamente, o supremo e o nmo das somas de
Riemann.
Note-se que as somas anteriores, de um ponto de vista geomtrico, 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 f (x) diz-se integrvel Riemann em [a; b] se
for nito
Z b
lim SP (x) = S = f (x)dx;
jP j!0 a
em que SP (x) designa a soma de Riemann de f relativamente decom-
posio P , jP j o dimetro da decomposio, f (x) a funo integranda, x a
varivel de integrao e [a; b] o intervalo de integrao
Observao 5.4.6 O valor do integral depende da funo f e do intervalo

[a; b], mas independente da varivel de integrao. Isto ,
Z b Z b Z b
f (x)dx = f (u)du = f (t)dt:
a a a
Proposio 5.4.7 (Condio necessria de integrabilidade) Se f (x) in-

tegrvel em [a; b] ento f (x) limitada em [a; b]
Dem. Pela denio de limite tem-se
lim SP (x) = S () 8 > 0 9" > 0: 8P; jP j < " =) jSP (x) Sj < :
jP j!0
Assim quando o dimetro da partio for sucientemente pequeno tem-se,

para > 0,
S < SP < + S:
n
X
Como SP = f (ui ) jxi xi 1 j com ui pontos arbitrrios em cada um dos
i=1
subintervalos. Separamndo a primeira parcela,
n
X
SP = f (u1 ) jx1 aj + f (ui ) (xi xi 1) :
i=2
Considerando xos os pontos ui ; i = 2; :::; n; o somatrio ter uma certa

soma k: Assim
SP = f (u1 ) jx1 aj + k
e
S < f (u1 ) jx1 aj + k < + S
ou seja
S k +S k
< f (u1 ) < :
jx1 aj jx1 aj
5.4. INTEGRAL DE RIEMANN 119
Como u1 um ponto arbitrrio em [a; x1 ] a funo f (x) limitada em [a; x1 ] :

Pelo mesmo processo possvel provar que f (x) limitada em qualquer
dos subintervalos [xi ; xi+1 ] :Logo f (x) limitada em [a; b] :
Igualmente til a sua recproca.
Se f (x) no limitada em [a; b] ento f (x) no integrvel em [a; b].
Proposio 5.4.8 (Condio necessria e suciente de integrabilidade) A

funo f (x) integrvel em [a; b] se e s se as somas de Darboux tm o
mesmo limite nito.
Dem. ( =) ) Se f (x) integrvel no sentido de Riemann em [a; b]

ento lim SP (x) = S; ou seja para um certo " > 0 tal que jP j < " se tem
jP j!0
jSP (x) Sj < 2 ; ou seja,
S < SP < S + :
2 2
Como
S S 0< ;
ento, para jP j < "; S S , pelo que
lim S S = 0;
jP j!0
isto ,
lim S = lim S:
jP j!0 jP j!0
Alm disso, pelo enquadramento (5.4.1), tem-se

Z b
lim S = lim S = lim SP = S = f (x)dx:
jP j!0 jP j!0 jP j!0 a
( (= ) Se as somas de Darboux S e S tm o mesmo limite nito, pelo

enquadramento (5.4.1), tem-se
Z b
lim S = lim S = lim SP = S = f (x)dx;
jP j!0 jP j!0 jP j!0 a
pelo que f (x) integrvel em [a; b]..

Alguns resultados ajudam a formar ideias sobre classes de funes inte-
grveis:
Proposio 5.4.9 Toda a funo contnua em [a; b] integrvel Riemann

nesse intervalo.
Dem. Pelo Teorema de Heine-Cantor , toda a funo contnua num
intervalo limitado e fechado [a; b] uniformemente contnua, isto ,
8 > 0 9" > 0: 8v; w 2 [a; b] ; jv wj < " =) jf (v) f (w)j < :
Para " > 0 seja P uma partio de [a; b] tal que jP j < ":
Se f (x) contnua em [a; b] ento f (x) contnua em dada um dos
subintervalos [xi ; xi+1 ] :
Pelo Teorema de Weierstrass existem os nmeros Mi e mi , respectiva-
mente, mximos e mnimos de f (x) em [xi ; xi+1 ] :Designe-se Mi := f (ui ) e
mi := f (vi ) com ui ; vi 2 [xi ; xi+1 ] :
Considere-se > 0 tal que
Mi mi = f (ui ) f (vi ) < :

b a
Ento, recorrendo s somas de Darboux
n
X n
X
S S = Mi (xi xi 1) mi (xi xi 1)
i=1 i=1
Xn n
X
= (Mi mi ) (xi xi 1) < (xi xi 1) = (b a) = :
b a b a
i=1 i=1
Portanto S S < ; com jP j < "; pelo que
lim S S = 0:
jP j!0
Proposio 5.4.10 Toda a funo montona e limitada integrvel Rie-

mann.
Dem. Para " > 0 seja P uma partio de [a; b] tal que jP j < "; :isto ,
jxi xi 1j < "; i = 1; :::; n:
Suponhamos que f (x) crescente. Assim, para cada [xi 1 ; xi ] dena-se
Mi := sup f (x) e mi := inf f (x) :

x2[xi 1 ;xi ]
x2[xi 1 ;xi ]
5.5. PROPRIEDADES DOS INTEGRAIS 121
Ento
n
X n
X
S S = (Mi mi ) (xi xi 1) = (f (xi ) f (xi 1 )) (xi xi 1)
i=1 i=1
Xn
< (f (xi ) f (xi 1 )) "
i=1
= " [f (x1 ) f (x0 ) + f (x2 ) f (x1 ) + + f (xn ) f (xn 1 )]
= " [f (xn ) f (x0 )] = " [f (b) f (a)] :
Considerando = " [f (b) f (a)] obtem-se que S S < desde que
jP j < " = f (b) f (a) : Ento, pela condio necessria e suciente de integra-
bilidade, f (x) integrvel em [a; b].
Se f (x) decrescente.o processo semelhante.
5.4.3 Interpretao geomtrica do conceito de integral

Vimos anteriormente que as somas superior e inferior de Darboux, S e S,
so aproximaes por excesso e por defeito, respectivamente, da rea do
trapezide limitado pelo grco de f (x) e pelas rectas verticais x = a e
x = b:
Se se diminuir o dimetro da partio obtm-se aproximaes com um
erro menor, da rea do trapezide referido.
Ao considerar parties mais nas, S e S sero valores to prximos
quanto de queira, por excesso e por defeito, do valor dessa rea. R
b
Assim se f (x) contnua em [a; b] e f (x) > 0; 8x 2 [a; b] ; ento a f (x)dx
representa a rea da regio limitada pelo grco de f (x) e pelas rectas
verticais x = a e x = b:
5.5 Propriedades dos integrais

A maior parte das propriedades que se seguem podem ser demonstradas por
aplicao directa da denio de integral.
Proposio 5.5.1 Sejam f (x) e g(x) funes integrveis em [a; b] :

Rb Ra
1. a f (x)dx = b f (x)dx
2. Se f (x) uma funo par ento

Z b Z b
f (x)dx = f (x)dx:
a a
3. Se f (x) uma funo mpar ento

Z b Z b
f (x)dx = f (x)dx:
a a
4. Para k 2 R;
Z b
k dx = k (b a) :
a
5. Para k 2 R;
Z b Z b
k f (x)dx = k f (x)dx:
a a
6. Se f (x) 0 ento
Z b
f (x)dx 0:
a
7. Se f (x) g(x); 8x 2 [a; b] ; ento

Z b Z b
f (x)dx g(x)dx:
a a
8. Z Z
b b
f (x)dx jf (x)j dx
a a
9. Se f (x) uma funo limitada em [a; b] tal que jf (x)j M; com

M > 0; ento
Z b
f (x)dx M (b a) :
a
10. (Aditividade do integral relativamente ao intervalo de integrao)

Z b Z c Z b
f (x)dx = f (x)dx + f (x)dx:
a a c
11. (Aditividade do integral relativamente funo integranda)

Z b Z b Z b
[f (x) + g(x)] dx = f (x)dx + g(x)dx:
a a a
Dem. Seja P = fx0 ; x1 ; x2 ; :::; xn 1 ; xn g uma decomposio de [a; b] e

U = fui : ui 2 ]xi ; xi+1 [ ; i = 1; :::; n 1g um conjunto de pontos arbitrrios
em cada um dos subintervalos.
1.
Z b n
X
f (x)dx = f (ui ) (xi xi 1)
a i=1
n
X Z a
= f (ui ) (xi 1 xi ) = f (x)dx:
i=1 b
2. Uma decomposio de [ a; b] ser P = f x0 ; x1 ; x2 ; :::; xn 1 ; xn g

e um conjunto de pontos respectivos pode ser U = f ui g : Ento
Z b n
X
f (x)dx = f ( ui ) ( xi + xi 1)
a i=1
n
X Z b
= f (ui ) (xi xi 1) = f (x)dx:
i=1 a
3.
Z b n
X
f (x)dx = f ( ui ) ( xi + xi 1)
a i=1
Xn Z b
= f (ui ) (xi xi 1) = f (x)dx:
i=1 a
4. Z b n
X
k dx = k (xi xi 1) = k (b a) :
a i=1
5.
Z b n
X
k f (x)dx = kf (ui ) (xi xi 1)
a i=1
Xn Z b
= k f (ui ) (xi xi 1) =k f (x)dx:
i=1 a
6. Z b n
X
f (x)dx = f (ui ) (xi xi 1) 0:
a i=1
7.
Z b n
X
a i=1
Xn Z b
g (ui ) (xi xi 1) g(x)dx:
i=1 a
8.
Z b n
X
a i=1
n
X n
X Z b
jf (ui ) (xi xi 1 )j = jf (ui )j (xi xi 1) = jf (x)j dx
i=1 i=1 a
9. Z Z Z
b b b
f (x) dx jf (x)j dx M dx = M (b a) :
a a a
10. (Interpretar geometricamente como adio de reas)

11.
Z b n
X
[f (x) + g(x)] dx = [f (ui ) + g (ui )] (xi xi 1)
a i=1
Xn n
X
= f (ui ) (xi xi 1) + g (ui ) (xi xi 1)
i=1 i=1
Z b Z b
= f (x)dx + g(x)dx:
a a
Teorema 5.5.2 (Teorema da mdia do clculo integral) Se f (x) integrvel

num intervalo I := [a; b] ento existe 2 [m; M ] ; com m := inf f (x) e
x2I
M := supf (x), tal que
x2I
Z b
f (x)dx = (b a) :
a
Dem. Suponhamos que b > a. Como m f (x) M; 8x 2 I; ento

Z b Z b Z b
mdx f (x)dx M dx;
a a a
pela Proposio anterior (7),

Z b
m (b a) f (x)dx M (b a)
a
e, como b a > 0;
Rb
a f (x)dx
m M:
b a
Denindo
Rb
a f (x)dx
:=
b a
obtem-se o resultado pretendido.
Se b < a tem-se
Z b Z a
f (x)dx = f (x)dx
a b
e aplica-se a primeira parte da demonstrao.
Observao 5.5.3 i) Se f (x) uma funo contnua em I ento existe

c 2 I tal que f (c) = ; pelo que se obtem
Z b
f (x)dx = f (c) (b a) :
a
Rb
ii) Se f (x) 0; 8x 2 I ento a f (x)dx d o valor da rea de um trapezide,
pelo que f (c) a altura de um rectngulode comprimento b a; com
ea igual do trapezide.
Proposio 5.5.4 (Desigualdade de Schwarz) Se f (x) e g(x) so funes

integrveis em [a; b] ento
Z b 2 Z b Z b
2
f (x) g(x)dx f (x)dx g 2 (x)dx:
a a a
Dem. Comece-se por calcular

Z b Z b Z b Z b
2 2 2
[ f (x) + g(x)] dx = f (x)dx + 2 f (x) g(x)dx + g 2 (x)dx:
a
|a {z } |a {z } | a {z }
A B C
Como [ f (x) + g(x)]2 0 ento

Z b
[ f (x) + g(x)]2 dx 0
a
e, simplicando a notao,
2
A+2 B+C 0
apenas acontece para qualquer 2 R no nulo se A > 0 e (2B)2 4AC 0;

isto ,
B2 AC:
Voltando notao inicial

Z b 2 Z b Z b
2
f (x) g(x)dx f (x)dx g 2 (x)dx:
a a a
Exerccio 5.5.5 Determine o sinal dos integrais, sem os calcular:
R 3 sen x
a)
6
x dx
R 2
b) x sen(x)dx
3
Exerccio 5.5.6 Obtenha um majorante e um minorante para os integrais,

sem os calcular:
R1 x
a) 1
1+x2
dx
2
R 4
b) 0 x tg(x)dx
5.6. INTEGRAL INDEFINIDO 127
5.6 Integral indenido

Denio 5.6.1 Seja f (x) uma funo integrvel em I e 2 I: Chama-se
integral indenido com origem em funo
Z x
(x) = f (t)dt; 8x 2 I:
Proposio 5.6.2 1. Integrais indenidos de origens diferentes diferem

de uma constante.
2. O integral indenido uma funo contnua.
Dem. Considerem-se
Z x Z x
(x) = f (t)dt e (x) = f (t)dt:
b
1. Ento
Z x Z b Z b
(x) (x) = f (t)dt + f (t)dt = f (t)dt 2 R:
x
2. Comecemos por provar que (x) uma funo contnua.em x = ;

isto que
lim (x) = ( ):
x!
Note-se que o limite, a existir, ter que ser 0 e que, pela condio necessria
de integrabilidade, (Proposio 5.4.7) f (x) limitada em [a; b] ; digamos por
uma constante M > 0: Assim
Z x Z x
j (x) 0j jf (t)j dt M dt = M (x )
e como lim M (x ) = 0; ento lim (x) = ( ) = 0:

x! x!
Prove-se agora que (x) contnua.em x = c 6= :
Ento
Z x Z c
j (x) (c)j = f (t)dt f (t)dt
Z x Z Z x
= f (t)dt + f (t)dt = f (t)dt
c c
Z x Z x
jf (t)j dt M dt = M (x c) M jx cj
c 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 ,
0
(c) = f (c); se f for contnua em c:
Dem. Viu-se anteriormente que

Z x
(x) (c) = f (t)dt = (x c) ;
c
com compreendido entre f (x) e f (c):

Por denio de derivada
0 (x) (c) (x c)
(c) = lim = lim = = f (c):
x!c x c x!c x c
Corolrio 5.6.4 Sejam ; x 2 I e f uma funa contnua em I: Ento

0
(x) = f (x); 8x 2 I:
R u(x)
Observao 5.6.5 i) Sendo [u(x)] = f (t)dt; pela derivada da funo
composta obtem-se
0
[u(x)] = f [u(x)] u0 (x); 8x 2 I:
R u(x)
ii) Se (x) = v(x) f (t)dt ento
0
(x) = f [u(x)] u0 (x) f [v(x)] v 0 (x):
Exerccio 5.6.6 Estude quanto aos extremos e intervalos de monotonia a

funo Z x
(x) = (t2 6t + 8)dt:
2
R log x 2
Exerccio 5.6.7 Sendo f (x) = 0 (x et )dt prove que f 00 (1) = 1:
R k log x t2 )dt;
Exerccio 5.6.8 Para f (x) = x2 (e calcule k tal que f 0 (1) = 0:
5.7. MTODOS DE INTEGRAO 129
Exerccio 5.6.9 Recorrendo desigualdade de Schwarz encontre um majo-

rante para
Z 1 p
e5x arctg(x)dx:
0
Teorema 5.6.10 (Frmula de Barrow) Seja f uma funo contnua em

[a; b] e F uma primitiva qualquer de f em [a; b] : Ento
Z b
f (x)dx = F (b) F (a):
a
Dem. A frmula geral das primitivas de f (x) dada por

Z x
F (x) = f (t)dt + k; k 2 R:
Assim Z b
F (b) = f (t)dt + k e F (a) = k:
Ento Z b
F (b) F (a) = f (t)dt:
Exerccio 5.6.11 Calcule o valor dos integrais:

R3
1. p dx
1 7+3x
R3 x
2. 2 x2 25 dx
5.7 Mtodos de integrao

Os mtodos de integrao so anlogos aos mtodos de primitivao.
5.7.1 Integrao por decomposio

Sejam fi funes integrveis em [a; b] : Ento
Z b Z b Z b Z b
(f1 (x) + f2 (x) + + fn (x)) dx = f1 (x)dx+ f2 (x)dx+ + fn (x)dx:
a a a a
5.7.2 Integrao por partes

Sejam u e v duas funes integrveis num intervalo [a; b] : Se o produto u0 v
for integrvel ento
Z b Z b
0
u (x)v(x) dx = [u(x)v(x)]ba u(x)v 0 (x) dx:
a a
5.7.3 Integrao por substituio

Considere-se: f uma funo contnua em [a; b] e ' : [ ; ] ! [a; b] uma
funo bijectiva e diferencivel com ' ( ) = a e ' ( ) = b: Ento vlida a
igualdade
Z b Z
f (x)dx = f [' (t)] '0 (t) dt:
a
Exerccio 5.7.1 Calcular o valor dos integrais:

R4 x3
1. 2 x 1 dx
R2 3 log x
2. 1 x dx
R1
3. 0 x arctg(x) dx
R4 dx
4. p
1 1+ x
R log 5 p
5. 0 ex 1 dx
R 63 p
6
x+1
6. 0
p
3 p
x+1+ x+1
dx
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.
5.8.1 Integral imprprio de 1a espcie

Denio 5.8.1 Seja um intervalo I R: Designa-se por integral im-
a
prprio de 1 espcie de f em I a qualquer das seguintes situaes:
R +1
a) Se I = [a; +1[; a f (x)dx
5.8. EXTENSO DA NOO DE INTEGRAL 131
Rb
b) Se I =] 1; b[; 1 f (x)dx
R +1
c) Se I =] 1; +1[; 1 f (x)dx:
Pode perguntar-se se neste caso, em que a regio no est completamente

limitada, o integral ainda representa o valor da rea dessa regio ilimitada.
A resposta armativa caso o integral imprprio de 1a espcie tenha um
valor nito.
Assim necessrio estudar a natureza do integral.
R +1
Denio 5.8.2 i) O integral a f (x)dx convergente se existir e for
nito Z x
lim f (t) dt:
x!+1 a
Nesse caso Z Z
+1 x
f (x)dx = lim f (t) dt
a x!+1 a
representa o valor da rea pretendida.

Rb
ii) Anlogamente, 1 f (x)dx convergente se
Z +1 Z x
f (x)dx = lim f (t)dt
a x!+1 a
existir e for nito.

R +1
iii) Do mesmo modo 1 f (x)dx convergente se
Z +1 Z x
f (x)dx = lim f (t)dt
1 x!+1 x
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:
R +1 1
1. 0 x2 +1
dx
R 1 1
2. 1 x2 dx
R +1 1
3. 1 x dx
Exerccio 5.8.4 Estude a natureza do integral

Z +1
1
dx; (a > 0)
a x
discutindo-a em funo de :
5.8.2 Integral imprprio de 2a espcie

Nestes casos consideram-se as situaes em que a funo integranda no
limitada em pelo menos um ponto do intervalo de integrao.
Denio 5.8.5 Seja [a; b] R um intervalo e f uma funo integrvel em

subintervalos de [a; c[[]c; b]; sendo c um ponto em que f no limitada
Designa-se por integral imprprio de 2a espcie o integral
Z b
f (x)dx
a
em que existe pelo menos um c 2 [a; b] em que f (c) no limitada
Denio 5.8.6 O integral integral imprprio de 2a espcie diz-se conver-

gente se existirem e forem nitos
Z x Z b
lim f (t) dt e lim f (t) dt
x!c a x!c+ x
Nesse caso
Z b Z x Z b
f (x)dx = lim f (t) dt + lim f (t) dt:
a x!c a x!c+ x
Se pelo menos um dos limites anteriores no existir ou for innito, ento o
integral diz-se divergente.
Observao 5.8.7 Se em [a; b] existirem n pontos c1 ; :::; cn onde a funo

no limitada ento deve decompor-se o integral de forma a isolar esses
pontos apenas num dos extremos de integrao.
Exerccio 5.8.8 Estudar a natureza dos integrais:

R1
a) 0 p1x dx
R1 1
b) 0 x dx;discutindo-a em funo de 2 R:
R 10 x
c) 10 x2 1 dx
5.9. CRITRIOS DE CONVERGNCIA PARA INTEGRAIS IMPRPRIOS133
5.8.3 Integral imprprio de 3a espcie ou mistos

Neste caso esto os integrais que so simultaneamente de 1a e 2a espcie,
isto , integrais em que pelo menos um dos extremos de integrao innito
e existe pelo menos um ponto onde a funo no limitada.
Tal como na seco anterior deve decompor-se o integral misto na soma
de integrais que sejam apenas de 1a ou 2a espcie.
O integral convergente se forem convergentes todos os integrais em que
se decomponha. Caso contrrio o integral diz-se divergente.
Exerccio 5.8.9 Estude a natureza dos integrais:

R +1 1
a) 0 x 1 dx
R +1 1
b) 1 x3 dx
5.9 Critrios de convergncia para integrais im-

prprios
Na prtica torna-se til analisar a natureza dos integrais imprprios sem ter
de os calcular.
Sejam f (x) e g(x) funes localmente integrveis.
Proposio 5.9.1 Se
lim x f (x) nito e no nulo

x! 1
ento:
R +1
a f (x)dx convergente se > 1;
R +1
a f (x)dx divergente se 1:
R +1 x
Exemplo 5.9.2 O integral 0 x2 +1
dx divergente pois
x
lim x = 1 para = 1:
x!+1 x2 +1
Proposio 5.9.3 (Critrio de comparao) Se f (x) e g(x) so duas funes

tais que existe k 2 R de modo que f (x) g(x);para x k; ento:
R +1 R +1
a) Se a f (x)dx divergente ento a g(x)dx divergente;
R +1 R +1
b) Se a g(x)dx convergente ento a f (x)dx convergente.
R +1 1+sen 2
Exemplo 5.9.4 Para analisar a natureza do integral p x dx pode
1 x
comear-se por estabelecer as relaes
1 1 + sen2 x
1 1 + sen2 x
p p ; para x 1:
x x
R +1 R +1 1+sen2 x
Como p1 dx divergente ento p dx tambm divergente.
1 x 1 x
Proposio 5.9.5 (Critrio da existncia do limite) Se f (x) e g(x) so

duas funes tais que
f (x)
lim nito e no nulo
x! 1 g (x)
R +1 R +1
ento os integrais a f (x)dx e c g(x)dx tm a mesma natureza.
R +1 1
Exemplo 5.9.6 Para estudar a natureza do integral 0 p
1+x3
dx pode
ver-se que p
1
x 1 + x3 3
lim = lim = 1 se = :
x!+1 p 1 x!+1 x 2
1+x3
R +1 1 R +1 1
Como 1 p dx convergente ento
0
p
1+x3
dx da mesma natureza,
x3
isto , convergente.
Proposio 5.9.7 (Critrio do integral) Seja f : [1; +1[! R uma funo

1
X
decrescente e, para cada n 2 N; seja an = f (n): Ento a srie an e o
R +1 n=1
integral 1 f (x)dx so da mesma natureza (ambos convergentes ou ambos
divergentes).
Rb
Proposio 5.9.8 Seja a f (x)dx um integral imprprio de 2a espcie em
que f (c) no limitada. Se
lim (x c) f (x) nito e no nulo

x!c
ento:
Rb
a) a f (x)dx convergente se < 1;
5.10. APLICAES DOS INTEGRAIS 135
Rb
b) a f (x)dx divergente se 1:
R4 2
Exemplo 5.9.9 O integral 3 (x 3)2 dx divergente pois
2
lim (x 3) = 2 para = 2:
x!3 (x 3)2
5.10 Aplicaes dos integrais

5.10.1 reas planas
Se f (x) uma funo contnua no negativa, a rea da regio limitada pelo
seu grco, pelo eixo das abcissas e pelas rectas verticais x = a e x = b
dada por
Z b
A= f (x)dx:
a
Exerccio 5.10.1 Calcular a rea:
1. De um crculo de centro na origem e raio r;
2. Da regio denida pelo conjunto
D = (x; y) 2 R2 : 3 x 3; 0 y (x + 1) ex+1 ;
3. Da regio limitada pela parbola y = x2 e a recta y = 3 2x:
4. Da regio denida por

( )
1
D= (x; y) 2 R2 : 2 x 5; 0 < y p :
jxj
5.10.2 Comprimento de curvas planas

O comprimento de um arco P0 P1 duma curva representada pela aplicao
y = f (x); tendo por coordenadas cartesianas P0 = (x0 ; f (x0 )) e P1 =
(x1 ; f (x1 )) dado por
Z x1 q
C= 1 + [f 0 (x)]2 dx:
x0
Exerccio 5.10.2 Determine os comprimentos dos arcos das curvas denidas

por:
2 +1
1. y = cosh(x) entre A = (0; 1) e B = 1; e e
p p
2. y = 2 log x entre A = (1; 0) e B = 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 y = f (x) e pelas rectas verticais x = a e x = b; em torno do:
a) eixo das abcissas dado por

Z b
V = [f (x)]2 dx:
a
b) eixo horizontal y = k dado por

Z b
V = [f (x) k]2 dx:
a
Exerccio 5.10.3 Calcular o volume de um cone de revoluo de altura h

e raio da base r:
5.10.4 reas laterais de slidos de revoluo

A rea lateral de um slido gerado pela rotao da regio limitada pelo eixo
das abcissas, pelo grco de f (x) e pelas rectas verticais x = a e x = b;
dada por
Z b q
AL = 2 f (x) 1 + [f 0 (x)]2 dx:
a
Exerccio 5.10.4 Calcular a rea lateral de um cone de revoluo de altura

h e raio da base r:ntegral de Riemann
O conceito base no clculo diferencial a noo de derivada. No clculo
integral esse papel desempenhado pela noo de integral.
O mtodo mais intuitivo para abordar este conceito consider-lo como
uma rea.

Analise Matemática I PDF

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Analise Matemática I PDF

Enviado por

Direitos autorais:

Formatos disponíveis

Anlise Matemtica I

2 Sries de Nmeros Reais 29

3 Funes reais de varivel real 53

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

5 Clculo Integral em R 107

Considerando esta unidade curricular no mbito da formao pessoal e cien-

Desenvolver capacidades de abstraco, deduo lgica e anlise.

Adquirir mtodos e tcnicas estruturantes do raciocnio cientco e

Dominar contedos matemticos associados Anlise Real, nomeada-

Utilizar conhecimentos matemticos na resoluo de problemas e in-

Adquirir competncias matemticas que possam vir a ser desenvolvidas

O que a Anlise Matemtica ou simplesmente Anlise?

Denio 1.1.1 Dado um conjunto A 6= ?; chama-se sucesso de termos

Exemplo 1.1.2 As aplicaes

Exerccio 1.1.6 Considere a sucesso

Exerccio 1.2.2 (i) Dada a sucesso un = ( 1)n (n + 3) ; calcule:

1.3 Sucesses montonas

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

Denio 1.3.2 Uma sucesso crescente ou decrescente, em sentido lato

Exerccio 1.3.3 Estude e classique quanto monotonia as sucesses:

Observao 1.3.4 Uma sucesso crescente limitada inferiormente, isto

1.4 Sucesses limitadas

De modo anlogo pode denir-se sucesso limitada se

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

Exerccio 1.4.3 Prove que a sucesso dn = 3n no limitada.

1.5 Induo Matemtica

2. C(n) uma condio hereditria, isto , se C(p) verdadeira ento

Algumas propriedades importantes provam-se com recurso a este mtodo:

Proposio 1.5.1 (Desigualdade de Bernoulli) Se x 2 R verica 1 + x 0

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

(1 + x)p+1 = (1 + x)p (1 + x) (1 + px) (1 + x)

Ento, pelo mtodo de induo matemtica

Exerccio 1.5.2 Utilizando o mtodo de induo matemtica prove que:

1.6 Noo de vizinhana

Denio 1.6.1 Seja a 2 R: Chama-se vizinhana de a de raio > 0;e

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

Exerccio 1.6.2 Represente na forma de intervalo de nmeros reais:

Exerccio 1.6.3 Dena como uma vizinhana os conjuntos:

1.7 Sucesses convergentes. Propriedades

lim un = a , 8 > 0 9p 2 N: n > p =) jun aj < :

Exerccio 1.7.2 Provar por denio que

Denio 1.7.4 (i) Um elemento a 2 R diz-se um ponto de acumulao

Exerccio 1.7.5 Indique o conjunto de todos os pontos de acumulao dos

Exerccio 1.7.6 Prove que um conjunto nito no tem pontos de acumu-

Proposio 1.7.7 O elemento a 2 R ponto de acumulao de A R se,

((=) Seja un 2 A; para cada n 2 N; com un = 6 a; 8n 2 N; tal que

Teorema 1.7.8 (Teorema de Bolzano-Weierstrass) Todo o conjunto A R

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

Dem. Seja U o conjunto de termos da sucesso limitada un :

Teorema 1.7.10 (Unicidade do limite) O limite de uma sucesso conver-

Dem. Suponha-se, com vista a um absurdo, que existe uma sucesso un

9n0 2 N : n > n0 =) jun aj < ;

Teorema 1.7.11 Se un uma sucesso convergente ento qualquer das

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

Teorema 1.7.12 Toda a sucesso convergente limitada.

M := max fju1 j ; :::; jup j ; ja j ; ja + jg :

Teorema 1.7.13 Toda a sucesso montona e limitada convergente.

c < un < c < c + :

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

1.8 Operaes algbricas com sucesses

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

Teorema 1.8.1 (Passagem ao limite numa desigualdade) Sejam un e vn

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