uR
xR
x + u = x
vR\{u}
yR
y.v = y
Axioma 4.
Todo o n umero real tem simetrico i.e.
xR
yR
x + y = u
Todo o n umero real distinto de u tem inverso i.e.
xR\{u}
yR
x.y = v
Axioma 5. A multiplicacao e distributiva a respeito da adicao.
x.(y + z) = x.y + x.z x, y, z R.
R e um grupo comutativo relativamente `a adic ao e R \ {0} um grupo
comutativo relativamente `a multiplica cao.
Qualquer terno constituido por um conjunto e duas operacoes designadas
por adic ao e multiplicacao que vericam os cinco axiomas anteriores e um
corpo. (R, +, .) e um corpo.
Os chamados axiomas de corpo estabelecem as propriedades algebricas
b asicas de R. Dos axiomas de corpo podem deduzir-se as propriedades
algebricas dos n umeros reais. Vejamos alguns exemplos simples de como
deduzir essas propriedades.
2
i) Unicidade do elemento neutro.
Admita-se que existem dois elementos neutros u e u
. Tem-se
uR
xR
x + u = x
x=u
+ u = u
xR
x + u = x
x=u
u + u
= u
vindo do axioma 1, que u = u
simetricos de x, x + y = 0 e x + y
= 0,
y
= y
+ 0 = y
+ (x + y) = (y
+ x) + y = 0 + y = y y = y
= {a R : a R
+
}
designado por conjunto dos n umeros reais negativos.
Axiomas de ordem
Axioma 6. R
+
e um subconjunto fechado de R para a adicao e multiplicacao
i.e.
a, b R
+
a + b R
+
e a.b R
+
.
Axioma 7. Se a R uma e so uma das proposicoes seguintes e verdadeira
a R
+
; a = 0 ; a R
+
.
i.e. qualquer n umero real distinto de 0 e real positivo ou real negativo e
nenhum real e positivo e negativo.
R \ {0} = R
+
R
e R
+
R
= .
As propriedades de ordem dos n umeros reais podem ser deduzidas a par-
tir destes axiomas.
Denicao 1.1.3. Relacao menor em R e por denicao uma relacao de ordem
R, x < y, tal que:
R = {(x, y) R
2
: y + (x) R
+
} (1.1.1)
4
Convenciona-se que x < y e equivalente a y > x, i.e. y maior que x.
Se a R
+
(a R
+
) diz-se que a e um n umero real positivo (negativo) e
escreve-se a > 0 (a < 0).
A relac ao menor verica evidentemente as propriedades das relac oes de
ordem
Propriedade Tricotomica
Sendo x, y R verica-se uma e s o uma das proposic oes
x < y ; x > y ; x = y
De facto do axioma 7 para y + (x) R, tem-se y + (x) R
+
ou
y + (x) R
ou y + (x) = 0.
Propriedade Transitiva
Quaisquer que sejam x, y, z R se x < y e y < z tem-se x < z.
De facto sendo y + (x) R
+
e z + (y) R
+
tem-se z + (x) R
+
pois
((z + (y)) + (y + (x))) + x = (z + (y)) + ((y + (x)) + x) = z
vindo pelo axioma 6
z + (x) = (z + (y)) + (y + (x)) z + (x) R
+
O teorema seguinte, que se apresenta sem demonstracao, mostra a com-
patibilidade entre a relacao de ordem indicada e as operac oes algebricas.
(R, +, .) e um corpo ordenado.
Teorema 1.1.4. Quaisquer que sejam x, y, z, u, v R
i) x < y x + z < y + z (monotonia da adicao);
ii) x < y u < v x + u < y + v
iii) x < y z > 0 xz < yz
x < y z < 0 xz > yz (monotonia parcial da multiplicacao).
5
Como aplicac ao ordenem-se alguns elementos de R. Em particular
2 < 1 < 0 < 1 < 2 < 3 < 4
De facto
i) 0 < 1
Tem-se: 0 < 1 1 < 0 0 = 1. Ora 0 = 1 e impossvel.
Por outro lado se 1 < 0 tem-se 1.1 > 0.1 ou seja 1 > 0, o que e absurdo
pois 1 < 0.
ii) Sendo 0 < 1 tem-se que qualquer que seja x R, 0 + x < 1 + x vindo
x < x + 1.
Assim representando 1 + 1 por 2, 2 + 1 por 3, 3 + 1 por 4 tem-se 1 <
2 , 2 < 3 , 3 < 4 e aplicando a propriedade transitiva 0 < 1 < 2 < 3 < 4.
Por outro lado 1 < 0 ja que de 0 < 1 e pela monotonia da adic ao se
tem (1) + 0 < (1) + 1. Assim (1) + (1) < 0 + (1), e uma vez
que (1) + (1) = (1 + 1), tem-se (1 + 1) < 1 e 2 < 1.
1.2 O conjunto N. Inducao Matematica
Comece-se por denir N, o conjunto dos n umeros naturais.
Denicao 1.2.5. Um conjunto S R e um conjunto indutivo se e so se
i) 1 S.
ii) Se a S entao a + 1 S.
Exemplo 1.2.6.
i) R, R
+
sao conjuntos indutivos.
ii) {1} nao e um conjunto indutivo.
Um n umero real e um n umero natural se e so e se pertence a qualquer
conjunto indutivo de n umeros reais. O conjunto de todos os n umeros naturais
representa-se por N.
Denicao 1.2.7. O conjunto dos n umeros naturais, N, e a interseccao de
todos os subconjuntos indutivos de R.
Como consequencia desta denic ao em particular tem-se
6
i) 1 N, 2 N, 3 N.
ii) Dado a R tal que 1 < a < 2. Tem-se que a / N.
Considere-se
S
1
= {1} {x R : x 2}
De facto S
1
e indutivo concluindo-se que N S
1
. Ora S
1
n ao contem a,
assim N n ao contem a nem nenhum n umero real entre 1 e 2.
Proposicao 1.2.8. O conjunto N de todos os n umeros naturais e um con-
junto indutivo.
Demonstracao.
i) 1 N.
ii) Seja k N. Ent ao k pertence a qualquer conjunto indutivo S. Para cada
conjunto indutivo se k e um elemento tambem k + 1 o e. Assim k + 1
pertence a qualquer conjunto indutivo e consequentemente k + 1 N.
N tem a propriedade (ii).
Assim N e indutivo.
A proposic ao anterior assegura que a intersecc ao de conjuntos indutivos
e um conjunto indutivo. O teorema seguinte assegura que qualquer conjunto
indutivo de n umeros naturais e o conjunto N.
Teorema 1.2.9 (Princpio de induc ao matem atica). Se S e um conjunto
indutivo de n umeros naturais entao S = N .
Demonstracao.
Se S e um conjunto indutivo sabe-se da deni cao de conjunto dos n umeros
naturais que N est a contido em S (N S).
Uma vez que S e constituido por n umeros naturais segue-se que S est a contido
em N (S N).
Conclui-se assim que S = N.
Corolario 1.2.10. N e o unico conjunto indutivo contido nele proprio.
Vejamos como aplicar o princpio de inducao matem atica na pr atica.
Exemplo 1.2.11. Mostre-se que qualquer que seja n N.
1 + 2 + . . . + n =
n(n + 1)
2
7
Seja S o conjunto dos naturais para os quais a f ormula anterior se verica
i.e.
S = {n N : 1 + 2 + . . . + n =
n(n + 1)
2
}
Mostre-se que S e indutivo.
1 S (a formula e verdadeira para n = 1).
Seja m S. Atendendo ` a denic ao de S, a formula e verdadeira para
n = m.
1 + 2 + . . . + m =
m(m + 1)
2
Some-se m + 1 ao primeiro membro da igualdade anterior
1+2+. . .+m+(m+1) =
m(m + 1)
2
+(m+1) = (m+1)(
m
2
+1) =
(m + 1)(m + 2)
2
A formula e tambem v alida para n = m + 1.
Assim m + 1 S se m S. S e um conjunto indutivo de n umeros natu-
rais e consequentemente S = N. A f ormula verica-se para todos os naturais.
O teorema 1.2.9 e a base para introduzir uma tecnica de demonstrac ao
de propriedades em N designada por princpio de indu cao matem atica.
Demonstrar que a propriedade P e verdadeira em N reduz-se a:
i) Mostrar que P(1) e verdadeira.
ii) Se P(m) e verdadeira para m N mostrar que P(m + 1) e verdadeira.
Exemplo 1.2.12. Mostre-se que para quaisquer n N e r R, r = 1
1 + r + r
2
+ . . . + r
n
=
1 r
n+1
1 r
i) Mostre-se que a proposi cao e verdadeira para n = 1
1 + r+ =
1 r
2
1 r
= 1 + r
ii) Sendo P(m) uma proposic ao verdadeira para n = m mostre-se que
P(m + 1) e uma proposicao verdadeira.
8
1 +r +r
2
+. . . +r
m
=
1 r
m+1
1 r
1 +r +r
2
+. . . +r
m
+r
m+1
=
1 r
m+2
1 r
Adicionando r
m+1
a ambos os membros da equac ao, hipotese de induc ao,
tem-se
1 + r + r
2
+ . . . + r
m
+ r
m+1
=
1 r
m+1
1 r
+ r
m+1
que e uma proposicao verdadeira.
1.3 Axioma do supremo
Os sete axiomas de corpo estabelecidos sao vericados quer por (R, R
+
) quer
por outros conjuntos. O axioma do supremo e fundamental para caracterizar
completamente R sendo conhecido como o axioma da continuidade ou da
completude.
Antes de se introduzir o axioma do supremo veja-se algumas deni coes.
Denicao 1.3.13. Seja S R
M e um majorante de S se x M, qualquer que seja x S.
m e um minorante de S se x m, qualquer que seja x S.
S e limitado superiormente ou majorado se tem majorantes.
S e limitado inferiormente ou minorado se tem minorantes.
S e limitado se for limitado superiormente e inferiormente.
Denicao 1.3.14. d e mnimo de S se d S e d e minorante de S.
c e maximo de S se c S e c e majorante de S.
Denicao 1.3.15. Sendo V o conjunto dos majorantes de S (V = se S
nao for majorado) designa-se por supremo de S, sup S, o elemento mnimo
de V .
Designa-se por inmo de S, inf S, o maximo do conjunto dos minorantes de S.
Axioma 8 (Axioma do supremo). Qualquer subconjunto de R nao vazio e
majorado tem supremo em R.
Assim (R, R
+
, +, .) e um corpo ordenado completo
Exemplo 1.3.16. Determine-se o supremo de
S = {x R : x = 1 1/m, m N}
9
Verique-se que 1 e supremo de S.
1 1/m 1 pois m N. Assim 1 e majorante.
1 e supremo.
Seja
1
= 1 em que 1 > > 0. Existe x S : x > 1 j a que
existe m N tal que 1 1/m > 1 1/m < m > 1/ .
A ideia usada no exemplo anterior e a base de um resultado geral para
caracterizar supremos de conjuntos.
Proposicao 1.3.17. Seja S R nao vazio e limitado superiormente. O
n umero real s e supremo de S se e so se
i)
xS
x s
ii)
>0
xS
x > s
Demonstracao.
Mostre-se que:
(i),(ii) s e supremo.
Faca-se a demonstracao da proposi cao anterior por contradicao.
Suponha-se que se tem (i),(ii) e existe s
0
um majorante de S tal que s
0
< s.
Seja = s s
0
. De (ii) existe x S tal que
x > s (s s
0
)
i.e. x > s
0
e s
0
n ao e majorante. Assim tem-se uma contradi cao e s e su-
premo.
Mostre-se que:
s e supremo (i),(ii).
Se s e supremo entao, e majorante ou seja tem-se (i) e por outro lado qualquer
que seja > 0, s n ao e majorante ou seja quando > 0 existe x > s.
An alogamente se mostra
Proposicao 1.3.18. Seja S R nao vazio e limitado inferiormente. O
n umero real r e infmo de S se e so se
i)
xS
: x r
ii)
>0
xS
: x < r +
10
Os resultados anteriores permitem concluir
Proposicao 1.3.19. Qualquer subconjunto de R nao vazio e minorado tem
inmo em R.
Demonstracao.
Sendo X R n ao vazio e minorado X, consttuido pelos simetricos dos
elementos de X, e n ao vazio e majorado e
sup(X) = inf X
De imediato do axioma do supremo tem-se o resultado.
Analise-se duas consequencias directas do axioma do supremo fazendo
intervir o conjunto N.
Proposicao 1.3.20. O conjunto N nao e majorado.
Demonstracao.
Sendo s = sup N tem-se:
mN
: m s
>0
nN
: n > s
Em particular seja = 1. Tem-se n > s 1 e consequentemente n + 1 > s.
Como N e indutivo n + 1 N e s n ao e supremo de N.
Proposicao 1.3.21 (Propriedade arquimediana). Sendo a, b R, a > 0,
existe m N tal que ma > b.
Demonstracao.
N n ao e majorado consequentemente
mN
: m > b/a . Assim sendo a > 0
tem-se am > b.
1.4 Densidade dos n umeros racionais e irra-
cionais em R
Em R existem subconjuntos importantes para alem do conjunto N.
Denicao 1.4.22. O conjunto dos n umeros inteiros, Z, e por denicao
Z = {x R : x N x = 0 x N}
11
Denicao 1.4.23. O conjunto dos n umeros racionais, Q, e por denicao
Q = {x R : x = p.q
1
p, q Z, q = 0}
Naturalmente se coloca a quest ao de R\Q ser ou nao um conjunto vazio.
O axioma do supremo apresentado na secc ao anterior permite responder a
esta questao.
Proposicao 1.4.24.
i) Nenhum n umero racional e solucao de x
2
= 2.
ii) Existe pelo menos um n umero real que e solucao de x
2
= 2.
Demonstracao.
i) Seja r Q tal que r
2
= 2. Considere-se r > 0 pois (x)
2
= x
2
.
Tem-se
r =
p
q
p, q N, p, q primos entre si
De r
2
= 2 tem-se
p
2
q
2
= 2 p
2
= 2q
2
p e par
kN
p = 2k
Assim
4k
2
= 2q
2
q
2
= 2k
2
q e par
2.
12
Teorema 1.4.25 (Propriedade de densidade). Sejam a, b R, a < b. Existe
um n umero racional u e um n umero irracional v tais que u, v ]a, b[.
Demonstracao.
Considere-se a = 0. A propriedade arquimediana garante a existencia
de m, n N tais que
m.b > 1 n.b >
2
Nestas condic oes sendo
r =
1
m
; s =
2
n
r e um n umero racional e s irracional tais que
r, s ]0, b[
Considere-se a > 0. Procure-se um racional u ]a, b[ partindo da existencia
de um racional no intervalo de extremo inferior zero. Fazendo c = ba existe
r ]0, c[, r Q. Ora
r < c = b a a + r < b
Seja
A = {k N : k.r > a}
Como A N e A = o conjunto A tem elemento mnimo k
0
= min A. Seja
u = k
0
.r
Tem-se u Q (r Q, k
0
N) e a < u < b j a que como k
0
A, u = k
0
.r > a.
Por outro lado dado que k
0
1 / A
(k
0
1)r a u = k
0
.r a + r
a+r<b
u < b.
Para obter um n umero irracional v ]a, b[ repete-se o processo substituindo
r por s ]0, c[ n umero irracional. Designando k
0
o minimo do conjunto dos
naturais k tais que k.s > a e sendo v = k
0
.s tem-se que v e um numero
irracional e v ]a, b[.
Denicao 1.4.26. Um conjunto X diz-se um conjunto nito, com m elemen-
tos se existir uma bijeccao
2
do conjunto {1, 2, . . . , m} sobre X. Designa-se
por conjunto innito qualquer conjunto que nao e nito.
2
uma bijeccao e uma aplicacao : A B, que e injectiva (a
1
= a
2
(a
1
) =
(a
2
), a
1
, a
2
A) e sobrejectiva ( (A) = {(a) : a A} = B)
13
Teorema 1.4.27. Em qualquer intervalo de R nao degenerado ]a, b[, a < b,
existe um conjunto innito de n umeros racionais e um conjunto innito de
n umeros irracionais i.e os conjuntos ]a, b[ Q e ]a, b[ (R\Q) sao conjuntos
innitos.
Demonstracao.
Mostre-se que X =]a, b[ Q e um conjunto innito.
Do teorema 1.4.25 X e n ao vazio. Admita-se que e um conjunto nito. X
teria minimo, c = min X, e m aximo, d = max X. Sendo X ]a, b[
a < c d < b
e
X [c, d]
Assim qualquer n umero racional pertencente a ]a, b[ pertencia a [c, d] nao
existindo qualquer n umero racional em ]a, c[ e ]d, b[ em contradic ao com o
teorema 1.4.25.
Analogamente se mostra que ]a, b[ (R \ Q) e um conjunto innito.
14
1.5 Exerccios
1.5.1 Exerccios resolvidos
Exerc 1.5.1. Se a, b R mostre a desigualdade triangular
|a + b| |a| +|b|
3
Resolucao.
Se a, b 0, a + b 0 e
|a + b| = a + b = |a| +|b|
Se a, b 0, a + b 0
|a + b| = (a) + (b) = |a| +|b|
Se a 0 e b 0 e
a + b = |a| +|b| |a + b| = | |a| +|b|| |a| +|b|
Se a 0, b 0 e
a + b = |a| + (|b|) |a + b| = ||a| |b|| |a| +|b|
Exerc 1.5.2. Considere o seguinte conjunto A = {x R : |x| x
2
+2 > 1}.
Determine, caso existam, o supremo, inmo, maximo e mnimo do conjunto
A.
Resolucao.
|x| > x
2
1 x > x
2
1 x < 1 x
2
x
2
x 1 < 0 x
2
+ x 1 < 0
x
_
1
5
2
,
1 +
5
2
_
x
_
1
5
2
,
1 +
5
2
_
A =
_
1
5
2
,
1 +
5
2
_
A e um conjunto majorado, minorado e n ao vazio. Do axioma do supremo
tem-se a existencia de supremo e inmo do conjunto A sendo sup A =
1+
5
2
e inf A =
1
5
2
. Uma vez que sup A / A e inf A / A o conjunto A n ao tem
m aximo nem minimo.
3
Seja x R. Designa-se por modulo de x a expressao |x|. Por deni cao |x| = x, se
x 0 e |x| = x, se x < 0. Se c R
+
a proposicao, |x| < c e equivalente a c < x < c.
15
Exerc 1.5.3. Mostre por inducao matematica que 5
2n
1 e divisivel por 8,
qualquer que seja n N.
Resolucao.
Se n = 1, tem-se 5
2
1 = 24 = 8.3 que e divisivel por 8.
Seja n = m. Mostre-se que se 5
2m
1 e divisivel por 8 (proposi cao designada
por hipotese de inducao) ent ao 5
2(m+1)
1 e divisivel por 8 .
5
2(m+1)
1 = 5
2
.5
2m
1 = (24 + 1).5
2m
1 = 24.5
2m
+ 5
2m
1
e divisivel por 8 uma vez que 24.5
2m
= 8.3.5
2m
e divisivel por 8. Ora da
hip otese de induc ao 5
2m
1 e tambem divisivel por 8, sendo a soma de
factores divisveis por 8 divisivel por 8.
A proposi cao e assim verdadeira.
Exerc 1.5.4. Mostre por inducao matematica que
n
3
n + 3
3
N, qualquer
que seja n N.
Resolucao.
Seja n = 1, tem-se
1
3
1 + 3
3
= 1 N.
Seja n = m.
Mostre-se que se
m
3
m + 3
3
N ent ao
(m + 1)
3
(m + 1) + 3
3
N.
(m + 1)
3
(m + 1) + 3
3
=
m
3
m + 3
3
+ m
2
+ m N
uma vez que
m
3
m + 3
3
N, da hip otese de indu cao, e m
2
+ m N.
A proposi cao e assim verdadeira .
Exerc 1.5.5. Mostre por inducao matematica que para todo n 4 se tem
n
2
> 3(n + 1).
Resolucao.
Para n = 4, 16 > 15 e uma proposicao verdadeira.
Seja n = m e mostre-se que P(m) P(m + 1) ou seja
m
2
> 3(m + 1) (m + 1)
2
> 3(m + 2).
Da hipotese de induc ao tem-se, m
2
> 3(m + 1) vindo
m
2
> 3(m + 1) m
2
+ 2m + 1 > 3(m + 1) + 2m + 1 (m + 1)
2
> 5m + 4
16
Ora 5m + 4 > 3m + 6 vindo
(m + 1)
2
> 5m + 4 > 3m + 6 (m + 1)
2
> 3m + 6 = 3(m + 2)
A proposi cao e assim verdadeira.
Exerc 1.5.6. Usando o princpio de inducao matematica, mostre que
n
k=1
k
2
=
n(n + 1)(2n + 1)
6
, n N.
Resolucao.
Para n = 1, 1
2
=
(1 + 1)(2 + 1)
6
e uma proposicao verdadeira.
Seja n = m e mostre-se que P(m) P(m + 1) ou seja
m+1
k=1
k
2
=
m(m + 1)(2m + 1)
6
m
k=1
k
2
=
(m + 1)(m + 2)(2m + 3)
6
Da hipotese de induc ao tem-se,
m
k=1
k
2
=
m(m + 1)(2m + 1)
6
Some-se (m + 1)
2
a ambos os membros da igualdade anterior
m
k=1
k
2
+ (m + 1)
2
=
m(m + 1)(2m + 1)
6
+ (m + 1)
2
tem-se
m+1
k=1
k
2
= (m + 1)
m(2m + 1) + (m + 1)
6
A proposi cao e assim verdadeira.
1.5.2 Enunciados de exerccios
Exerc 1.5.1. Se a, b R mostre que
i)|a b| ||a| |b||
ii)|a + b| ||a| |b||
17
Exerc 1.5.2. Considere o conjunto A = {x R : |x 1| x
2
+ 2 < 1}.
Determine, caso existam, o supremo, inmo, maximo e mnimo do conjunto
A.
Exerc 1.5.3. Considere o conjunto A = {x R : x = 1/2 1/n, n N}.
Determine, caso existam, o supremo, inmo, maximo e mnimo do conjunto
A.
Exerc 1.5.4. Mostre por inducao matematica que n < 2
n
, qualquer que seja
n N.
Exerc 1.5.5. Mostre por inducao matematica que n! 2
n1
, qualquer que
seja n N.
Exerc 1.5.6. Usando o princpio de inducao matematica, prove que
n
k=1
(k
2
+ 3k) =
n(n + 1)(n + 5)
3
, n N.
Exerc 1.5.7. Usando o princpio de inducao matematica, prove que
n
k=1
(2k 1)
2
=
n(4n
2
1)
3
, n N.
Exerc 1.5.8. Sejam A R majorado, nao vazio e m um majorante de A.
Se m = sup A mostre que existe > 0 tal que V
(m) A = .
Exerc 1.5.9. Seja A R majorado, nao vazio e s = sup A. Mostre que
para qualquer > 0, o conjunto V
n + 1
n) , n N
As sucess oes que vamos analisar neste captulo s ao sucess oes reais: su-
cess oes de termos emR. As opera coes algebricas que se considera no conjunto
R estendem-se assim naturalmente ` as sucessoes reais.
Denicao 2.1.12. Sejam as sucessoes u : N R, v : N R dene-se
sucessao adicao u + v : N R (u + v)
n
= u
n
+ v
n
sucessao subtraccao u v : N R (u v)
n
= u
n
v
n
sucessao multiplicacao u.v : N R (u.v)
n
= u
n
.v
n
sucessao divisao u/v : N R (u/v)
n
= u
n
/v
n
v
n
= 0
A relac ao de ordem considerada em R permite introduzir os conceitos de
sucess ao limitada e de sucess ao monotona.
Denicao 2.1.13. A sucessao u
n
e minorada (majorada) se e so se for
minorado (majorado) como subconjunto de R o conjunto dos seus termos.
Denicao 2.1.14. A sucessao u
n
e limitada se e so se o conjunto dos seus
termos for minorado e majorado i.e.
a,bR
nN
a u
n
b
cR
+
nN
|u
n
| < c
Exemplo 2.1.15. Tem-se para a sucessao v
n
, n N do exemplo 2.1.11 ii)
v
n
=
n + 1 +
n
=
1
_
1
n
+ 1 + 1
v
n
e assim limitada pois |v
n
| < 1 n N.
Proposicao 2.1.16.
A adicao, subtraccao e multiplicacao de duas sucessoes limitadas e limitada;
20
Demonstracao.
1
_
1 +
1
n
+ 1
> 0
Concluindo-se que v
n
e crescente
A nocao central desta seccao e a noc ao de convergencia e de limite de
uma sucessao.
21
Denicao 2.1.21. Uma sucessao u
n
converge ou tende para a R (u
n
a)
se e so se
>0
pN
nN
n > p u
n
V
(a)
1
Assim dizer que u
n
converge para a equivale a armar que e nito o
n umero de inteiros positivos que vericam a condicao u
n
/ V
(a) i. e. u
n
a
se e s o se u
n
V
(0) |
1
n
| < <
1
n
<
Ora basta escolher n > 1/ para que
1
n
V
(0).
As sucessoes que n ao s ao convergentes dizem-se divergentes. Mostra-se,
[1], que se existir a R tal que u
n
a ent ao a e unico. Assim sendo u
n
uma sucess ao convergente chama-se ao n umero real a, limite da sucess ao e
representa-se por
limu
n
.
Se uma sucess ao u
n
n ao tiver limite diz-se uma sucess ao divergente.
Relacione-se os conceitos de sucess ao convergente e de sucess ao limitada.
Teorema 2.1.23. Qualquer sucessao convergente e limitada.
Demonstracao.
Se u
n
a, xado arbitrariamente > 0 existir a uma ordem p tal que para
n > p, u
n
V
(a).
O conjunto formado pelos termos u
n
para n > p e um conjunto limitado
(a + e um majorante e a e um minorante). Por outro lado o conjunto
dos termos u
n
para n p e tambem um conjunto limitado visto ser nito.
O conjunto de todos os termos da sucess ao e a reuni ao de dois conjuntos
limitados e qualquer reuni ao nita de conjuntos limitados e um conjunto
limitado.
H a sucess oes limitadas que n ao convergem, contudo tem-se:
1
V
(a) = {x R : |x a| < }
22
Teorema 2.1.24. As sucessoes limitadas e monotonas sao convergentes.
Demonstracao.
Seja u
n
uma sucessao crescente e limitada e designe-se por U o conjunto dos
seus termos.
U = e um conjunto limitado e consequentemente tem supremo. Designe-se
esse supremo por s e mostre-se que
limu
n
= s
Escolha-se > 0. Por denic ao de supremo deve existir pelo menos u
p
U
tal que
u
p
> s .
Como a sucess ao e crescente para n > p
u
n
u
p
> s .
Por outro lado sendo s = sup U
u
n
s.
Assim a partir da ordem p todos os termos u
n
V
(s) e consequentemente
u
n
s.
Analogamente se demonstra a convergencia quando a sucess ao e decrescente
tendo-se limu
n
= inf U.
Observacao 2.1.25.
Uma sucessao pode ser convergente sem ser monotona. (Ex.: u
n
=
(1)
n
n
). Apesar da sua importancia as sucessoes monotonas e limitadas
constituem uma classe pequena de sucessoes convergentes.
E fundamental o axioma do supremo na demonstracao do teorema
2.1.24.
Exemplo 2.1.26. Considere-se a sucessao limitada denida por recorrencia
x
1
=
1
2
, x
n+1
= x
2
n
, n 1.
Mostre-se que x
n
e convergente.
23
Uma vez que nem todas as sucess oes limitadas s ao convergentes, vai-se
mostrar, por indu cao, que a sucess ao e monotona. Tem-se
x
1
=
1
2
, x
2
=
1
4
e conjectura-se que x
n
e uma sucessao decrescente. Prove-se por induc ao que
x
n+1
x
n
0, n N
i)
x
2
x
1
=
1
4
1
2
=
1
4
0
ii)
x
m+1
x
m
0
?
x
m+2
x
m+1
0
x
m+2
x
m+1
= x
2
m+1
x
2
m
= (x
m+1
+ x
m
).(x
m+1
x
m
) 0
j a que sendo x
m
0 se tem x
m+1
+ x
m
0.
Conclui-se que x
n
e uma sucess ao decrescente e como e limitada ent ao x
n
e uma sucessao convergente.
2.2 Propriedades algebricas de sucessoes. Su-
cess oes enquadradas
A analise da convergencia de sucess oes mais gerais que as sucess oes mon otonas
e limitadas pode ser feita usando alguns resultados que se v ao indicar e que
se podem demonstrar usando directamente a denicao de limite.
Teorema 2.2.27. Se x
n
e y
n
, n N sao sucessoes convergentes respectiva-
mente para a e b entao
i) x
n
y
n
e uma sucessao convergente e lim(x
n
y
n
) = limx
n
limy
n
ii) x
n
.y
n
e uma sucessao convergente e lim(x
n
.y
n
) = limx
n
. limy
n
iii) Se y
n
b = 0, y
n
= 0 tem-se lim
_
x
n
y
n
_
=
limx
n
limy
n
=
a
b
Demonstracao. *
24
i) Tem-se
|(x
n
+ y
n
) (a + b)| = |(x
n
a) + (y
n
b)| |x
n
a| +|y
n
b|
Sendo > 0 existe p
1
tal que se n > p
1
ent ao |x
n
a| /2 e existe p
2
tal que se n > p
2
ent ao |y
n
b| /2. Assim se p = max{p
1
, p
2
} e n > p
tem-se como se pretendia mostrar
|(x
n
+ y
n
) (a + b)| < /2 + /2 = .
ii) Tem-se
|x
n
.y
n
a.b| = |(x
n
.y
n
x
n
.b) +(x
n
.b a.b)| |x
n
|.|y
n
b| +|x
n
a|.|b|
Ora sendo |x
n
| M
1
, n N e M = sup{M
1
, |y|} tem-se
|x
n
.y
n
a.b| M|y
n
b| + M|x
n
a|
o que analogamente a (i) permite estabelecer a conclusao.
iii)
E analogo a (ii).
Observacao 2.2.28. Sejam x
n
e y
n
sucessoes reais
i) Se x
n
e y
n
sao sucessoes divergentes, x
n
+ y
n
pode ser convergente ou
divergente.
ii) Se uma sucessao x
n
e convergente e y
n
e uma sucessao divergente, x
n
+y
n
e sempre uma sucessao divergente.
Exemplo 2.2.29. Determine-se se existir o limite da sucessao
v
n
=
n(
n + 1
n) =
1
_
1
n
+ 1 + 1
Por denic ao
_
1
n
+ 1 1. Ora y
n
=
_
1
n
+ 1+1 e a adic ao de sucessoes
convergentes e sendo y
n
= 0 a sucessao v
n
e convergente tendo-se
limv
n
=
1
2
25
Teorema 2.2.30 (Sucess oes enquadradas). Sejam x
n
, y
n
, z
n
sucessoes reais
e suponha-se que existe uma ordem p tal que para n > p
x
n
z
n
y
n
.
Supondo que x
n
, y
n
convergem para a R entao z
n
e convergente e
limz
n
= a.
Demonstracao.
Fixado arbitrariamente > 0 existem p
1
, p
2
tais que se n > p
1
ent ao x
n
V
(a) e se n > p
2
ent ao y
n
V
(a).
Observacao 2.2.31. Se x
n
e y
n
nao sao sucessoes convergentes para o
mesmo limite nao se pode armar que z
n
e uma sucessao convergente.
(Ex.:3 < (1)
n
< 7).
Exemplo 2.2.32. Determine-se o limite da sucessao z
n
=
sen(n)
n
.
Tem-se
1
n
<
sen(n)
n
<
1
n
e
1
n
0
Assim
limz
n
= 0
Proposicao 2.2.33. Se a sucessao x
n
e convergente e limx
n
= a entao
lim|x
n
| = |a|.
Demonstracao.
Consequencia imediata de ||x
n
| |a|| |x
n
a|
Exemplo 2.2.34.
i) Mostre-se, recorrendo `a desigualdade de Bernoulli, que se 0 < c < 1, a
sucessao z
n
= c
n
e convergente para zero.
(1+x)
n
1+nx , x > 1, n N (desigualdade de Bernoulli)
.
26
ii) Sendo a R, determinem-se os limites das sucessoes
u
n
=
_
a
1 +|a|
_
n
e v
n
=
a
n
2
1+2n
.
i) Sendo 0 < c < 1, tem-se
c =
1
1 + a
em que a > 0. Assim
x
n
= 0 < c
n
=
1
(1 + a)
n
1
1 + na
<
1
na
= y
n
e
1
an
0
Do teorema das sucess oes enquadradas conclui-se que limz
n
= 0.
ii) Tendo presente i), tem-se
|c| =
a
1 +|a|
< 1 lim
_
a
1 +|a|
_
n
= 0.
Quanto ` a sucess ao v
n
, tem-se
v
n
=
1
2
a
n
2
2n
=
1
2
_
a
4
_
n
.
Se
a
4
< 1, v
n
0. Se
a
4
> 1, v
n
e uma sucessao n ao limitada e
consequentemente divergente. Se
a
4
= 1, sendo a = 4, tem-se v
n
1/2,
sendo a = 4, tem-se v
n
divergente, mas uma sucessao limitada.
2.3 Convergencia de sucess oes em R. Calculo
de limites
Ao conjunto dos n umeros reais pode juntar-se os elementos + e (de-
signados por pontos do innito) e formar um novo conjunto R designado por
recta acabada i.e.
R = R {, +}
() = [, 1/[ V
(+) =]1/ +]
Denicao 2.3.36. A sucessao u
n
converge para a R se e so se qualquer
que seja > 0 e nito o conjunto
{n N : u
n
/ V
(a)}
Assim
Se a R existe equivalencia entre a no cao de convergencia em R e em
R.
28
Se a = + ou a = tem-se
u
n
+
>0
pN
nN
n > p : u
n
> 1/.
u
n
>0
pN
nN
n > p : u
n
< 1/.
Em R, de imediato se conclui:
Teorema 2.3.37. Qualquer sucessao monotona e convergente em R.
Vai-se em seguida estabelecer alguns resultados que permitem determi-
nar, em R, o limite de sucessoes reais convergentes.
Proposicao 2.3.38. Seja u
n
uma sucessao de termos positivos, tal que
lim
u
n+1
u
n
= a .
Se a < 1 entao u
n
converge e limu
n
= 0
Demonstracao.
Sendo u
n
> 0, tem-se a 0.
Seja r tal que a < r < 1 e dena-se = r a > 0. Existe p N, tal que se
n > p
u
n+1
u
n
a
<
u
n+1
u
n
< a + = a + (r a) = r
Assim se n > p
0 < u
n+1
< u
n
r < u
n1
r
2
< . . . < u
p
r
n+1p
Denindo C =
u
p
r
p
tem-se para n > p
0 < u
n+1
< Cr
n+1
Ora uma vez que 0 < r < 1 tem-se limr
n
= 0 e pelo teorema das sucess oes
enquadradas limu
n
= 0.
Analogamente se demonstra a proposic ao seguinte:
Proposicao 2.3.39. Seja u
n
uma sucessao de termos positivos, tal que
lim
u
n+1
u
n
= a .
Se 1 < a + entao u
n
converge para +.
29
Exemplo 2.3.40. Determine-se o limite da sucessao u
n
=
3
n
n
2
lim
u
n+1
u
n
= lim
3
n+1
(n + 1)
2
n
2
3
n
= lim3
_
n
n + 1
_
2
= 3 lim
1
(1 + 1/n)
2
= 3 > 1
Conclui-se que u
n
e convergente para +.
Exemplo 2.3.41. Determinem-se, se existirem, os limites das sucessoes
i)
n!
n
n
, ii)
c
n
n!
iii)
n
b
c
n
em que b > 0 e c > 1.
i)
u
n+1
u
n
=
(n + 1)!
(n + 1)
n+1
n
n
n!
=
(n + 1)n
n
(n + 1)(n + 1)
n
=
_
n
n + 1
_
n
=
_
1
1 + 1/n
_
n
1/e < 1
Conclui-se que
n!
n
n
e convergente para 0.
ii)
u
n+1
u
n
=
c
n+1
(n + 1)!
n!
c
n
=
c
(n + 1)
0 < 1
Conclui-se que
c
n
n!
e convergente para 0.
iii)
u
n+1
u
n
=
(n + 1)
b
c
n+1
c
n
n
b
=
_
1 +
1
n
_
b
1
c
1
c
< 1
Conclui-se que
n
b
c
n
e convergente para 0.
Pode assim estabelecer-se uma escala de sucess oes
n
b
<< c
n
<< n! << n
n
, b > 0, c > 1
em que u
n
<< v
n
signica que u
n
e desprezavel em rela cao a v
n
, isto e que
lim
u
n
v
n
= 0
Proposicao 2.3.42. Seja u
n
um sucessao de termos positivos. Entao se
u
n+1
u
n
converge em R,
n
u
n
tambem converge e para o mesmo limite.
30
Demonstracao. *
Seja
lim
n+
u
n+1
u
n
= l R
Tem-se
>0
pN
n > p l <
u
n+1
u
n
< l +
Tem-se:
(l )u
p+1
< u
p+2
< (l + )u
p+1
(l )
2
u
p+1
< u
p+3
< (l + )
2
u
p+1
e em geral para n > p + 1
(l )
np1
u
p+1
< u
n
< (l + )
np1
u
p+1
vindo
(l )(l )
(p+1)
n
u
1
n
p+1
<
n
u
n
< (l + )(l + )
(p+1)
n
u
1
n
p+1
Pelo teorema das sucess oes enquadradas, qualquer sublimite de
n
u
n
pertence
a [l , l + ] uma vez que u
p+1
e um n umero real xo. Como e qualquer,
o conjunto dos sublimites e singular e
n
u
n
converge para l.
Exemplo 2.3.43. Determinem-se os seguintes limites
i)
n
n.
ii)
n
_
(n + 1)! n!
Da proposic ao 2.3.42 facilmente se conclui que o limite e 1 em i), quanto
a ii), seja u
n
= (n + 1)! n!
lim
u
n+1
u
n
= lim
(n + 2)! (n + 1)!
(n + 1)! n!
= lim
(n + 1)!(n + 2 1)
n!(n + 1 1)
= lim
_
1 +
1
n
_
(n+1) = +
Concluindo-se que
n
u
n
e convergente para +.
2.4 Subsucess oes
Nesta sec cao vai-se denir o conceito de subsucessao comecando por denir
a sucessao composta de sucess oes.
Denicao 2.4.44. Chama-se composta de sucessoes u
n
e v
n
, em que v
n
N,
n N, `a sucessao (u v)
n
, tal que
(u v)
n
= u
v
n
i.e. que tem por termo de ordem n, o termo de ordem v
n
da sucessao u
n
.
31
Denicao 2.4.45. w
n
e subsucessao da sucessao de termos reais u
n
, se e
so se existir uma sucessao v
n
, tal que w
n
e composta de u
n
com v
n
e v
n
e
estritamente crescente
Observacao 2.4.46.
Qualquer subsucessao de uma sucessao limitada e limitada. Qualquer subsu-
cessao de uma sucessao monotona e monotona.
Uma sucessao nao limitada pode ter subsucessoes limitadas e uma sucessao
nao monotona tem subsucessoes monotonas.
Exemplo 2.4.47. Denam-se subsucessoes de
u
n
= (1)
n
n
n + 1
por composicao com as sucessoes
i) v
k
= k + 2
ii) v
k
= 2k
iii)
v
k
= 2k + 1
Tem-se as subsucess oes
w
k
= (1)
k
k + 2
k + 3
w
k
=
2k
2k + 1
w
k
=
2k + 1
2k + 2
Teorema 2.4.48. Qualquer subsucessao de uma sucessao convergente e tambem
convergente para o mesmo limite
Demonstracao.
Seja u
n
a e w
n
= u
v
n
uma subsucessao de u
n
.
Sendo u
n
convergente para a dado arbitrariamente > 0 existe p N tal
que para n > p se tem u
n
V
n=1
I
n
= , (ii) Se inf{b
n
a
n
} = 0,
+
n=1
I
n
= {c} , c R
33
Seja X um conjunto nito.
H a pelo menos um valor de x
n
que se repete innitas vezes. Designando
esse valor por a podemos formar uma subsucess ao x
n
k
= a obviamente
convergente.
Seja X um conjunto innito.
Sendo x
n
limitada, X e limitado e consequentemente
X [a, b] = I
1
Construa-se neste caso uma subsucessao convergente, x
n
k
.
Seja x
n
1
= x
1
. Divida-se I = I
1
ao meio obtendo-se dois subintervalos
I
1
, I
1
. Dado que X e um conjunto innito pelo menos um dos conjuntos
X
1
= {x
n
: x
n
I
1
n > n
1
}, X
1
= {x
n
: x
n
I
1
n > n
1
}
e um conjunto innito. Se X
1
for um conjunto innito x
n
2
ser a o
primeiro elemento de X
1
sen ao faz-se uma escolha semelhante com X
1
.
Seja I
2
o subintervalo associado a X
1
ou X
1
.
Repete-se o processo dividindo I
2
ao meio e escolhe-se x
n
3
. Obtem-se
assim uma sucess ao de intervalos encaixados
I
1
I
2
. . . I
n
. . .
cujo comprimento tende para zero ((b a)2
(k1)
) e tal que x
n
k
I
k
.
Pelo princpio dos intervalos encaixados
+
n=1
I
n
= {c} , c R
Ora atendendo a que
|x
n
k
c| (b a)2
(k1)
conclui-se que a subsucess ao construida e convergente e que x
n
k
c.
Denicao 2.4.52. Diz-se que a R e sublimite da sucessao u
n
se existir
uma subsucessao de u
n
que convirga para a.
Exemplo 2.4.53. Indique-se o conjunto dos sublimites da sucessao
v
n
= (1)
n
.
34
Sendo S o conjunto dos sublimites tem-se S = {1, 1}.
Teorema 2.4.54. O n umero real a e sublimite da sucessao u
n
se e so se
qualquer que seja > 0 e innito o conjunto dos inteiros positivos n que
vericam a condicao u
n
V
(a).
Demonstracao. *
Seja w
n
= (u v)
n
uma subsucessao de u
n
convergente para a i.e.
>0
pN
nN
n > p w
n
= u
v
n
V
(a).
Obviamente e um conjunto innito o conjunto formado pelos inteiros positi-
vos v
n
tais que n > p.
Reciprocamente suponha-se que qualquer que seja > 0 e um conjunto
innito o conjunto dos inteiros positivos n tais que u
n
V
(a).
Sendo = 1,
1
2
, . . . ,
1
n
pode escolher-se v
1
N tal que u
v
1
V1
2
(a), v
2
> v
1
tal que u
v
2
V1
2
(a). Em geral, escolhidos v
1
, v
2
, . . . , v
n1
generalizando o
processo anterior, e sempre possvel escolher v
n
> v
n1
de modo que
u
v
n
V1
n
(a)
Nestas condic oes w
n
= u
v
n
ser a uma subsucess ao de u
n
convergente para a
j a que para qualquer n N
a
1
n
< w
n
< a +
1
n
Observacao 2.4.55. O n umero real a e sublimite de u
n
se e so se
>0
pN
nN
: n > p u
n
V
(a)
O n umero real a e limite de u
n
se e so se
>0
pN
nN
: n > p u
n
V
(a)
Exemplo 2.4.56. Usando a nocao de sublimite mostre-se que para a > 0
lim
n
a = 1 , n N.
Considere-se a > 1
Seja a sucess ao z
n
= a
1
n
. Tem-se de imediato que
z
n
> 1 e z
n+1
< z
n
.
35
A sucessao z
n
e pois uma sucess ao limitada e decrescente logo e convergente
existindo z = limz
n
.
Qualquer subsucessao tem pelo teorema 2.4.48 o mesmo limite de z
n
e
z
2n
= a
1
2n
=
_
a
1
n
_1
2
= z
1
2
n
.
limz
2n
= limz
1
2
n
Assim
z = z
1
2
z
2
z = 0 z = 0 z = 1
Como z
n
> 1, tem-se z = 1.
Considere-se 0 < a < 1
lima
1
n
= lim1/(1/a)
1
n
1/1 = 1.
2.5 Sucessao de Cauchy. Sucessao contrac-
tiva
Um criterio de convergencia importante e a noc ao de sucessao de Cauchy ou
sucess ao fundamental.
Denicao 2.5.57. A sucessao u
n
e uma sucessao de Cauchy se e so se
>0
pN
r,sN
r, s > p |u
r
u
s
| < .
Exemplo 2.5.58. Seja u
n
= 1 + 1/n, tem-se |u
r
u
s
| = |1/r 1/s|
1/r + 1/s, o que permite concluir que u
n
e uma sucessao de Cauchy
Proposicao 2.5.59. Qualquer sucessao de Cauchy e uma sucessao limitada
Demonstracao.
Seja u
n
uma sucess ao de Cauchy. Fixado > 0 existir a p N tal que para
quaisquer n umeros inteiros r, s > p
|u
r
u
s
| <
Em particular escolhendo para s o valor xo p + 1, tem-se para r > p
|u
r
u
p+1
| <
36
Assim para r > p o conjunto dos termos u
r
e limitado (u
p+1
e um mino-
rante e u
p+1
+ e um majorante).
Como o conjunto dos termos u
r
com r p e nito e portanto limitado pode
concluir-se que o conjunto dos termos da sucess ao, uni ao de dois conjuntos
limitados, e limitado.
Teorema 2.5.60. Uma sucessao real e convergente se e so se e sucessao de
Cauchy
Demonstracao. *
Mostre-se que sendo u
n
uma sucessao convergente entao e uma sucessao de
Cauchy.
Sendo a = limu
n
>0
pN
nN
: n > p |u
n
a| < /2
Ora para n, s > p
|u
n
u
s
| = |u
n
a + a u
s
| |u
n
a| +|a u
s
| < /2 + /2 =
Concluindo-se que a sucess ao e de Cauchy.
Mostre-se que sendo u
n
uma sucess ao de Cauchy e uma sucess ao conver-
gente.
Seja sublimite de u
n
que existe pois u
n
e uma sucess ao limitada visto ser
uma sucessao de Cauchy. Mostre-se que limu
n
= .
Fixe-se > 0. Sendo u
n
uma sucess ao de Cauchy pode determinar-se p N
tal que
m, n > p |u
n
u
m
| < /2
e consequentemente
v
m
, n > p |u
n
u
v
m
| < /2
Por outro lado sendo sublimite de u
n
pode escolher-se v
m
m > p tal que
|u
v
m
| < /2
Conclui-se assim que sendo v
m
m > p
|u
n
| = |u
n
u
v
m
+ u
v
m
| |u
n
u
v
m
| +|u
v
m
| < /2 + /2 = .
i.e. limu
n
= .
A denicao de sucessao de Cauchy e muito util para provar a convergencia
de sucessoes para as quais n ao se tem candidato a limite
37
Exemplo 2.5.61. Verique-se que e divergente a sucessao
x
n
= 1 +
1
2
+
1
3
+ . . . +
1
n
Para m > n, tem-se
x
m
x
n
=
1
n + 1
+
1
n + 2
+ . . . +
1
m
cujo o 2
o
termo tem mn parcelas. Ent ao
x
m
x
n
1
m
+
1
m
+ . . . +
1
m
=
mn
m
Em particular para m = 2n tem-se
x
m
x
n
n
2n
=
1
2
Conclui-se assim que a sucessao x
n
n ao e sucessao de Cauchy.
A nalizar esta secc ao introduza-se a noc ao de sucess ao contractiva.
Denicao 2.5.62. A sucessao x
n
diz-se uma sucessao contractiva se existe
0 < c < 1 tal que
|x
n+1
x
n
| c|x
n
x
n1
|, n > 1.
Proposicao 2.5.63. Se x
n
e uma sucessao contractiva entao e uma sucessao
convergente.
Demonstracao. * Sendo x
n
uma sucessao contractiva tem-se
|x
3
x
2
| c|x
2
x
1
|
|x
4
x
3
| c|x
3
x
2
| c
2
|x
2
x
1
|
Mostrando-se por indu cao matem atica que
|x
n+1
x
n
| c
n1
|x
2
x
1
|, n > 1.
Tem-se entao
|x
m
x
n
| |(x
m
x
m1
) + (x
m1
x
m2
) + . . . + (x
n+1
x
n
)|
(c
m2
+ . . . + c
n1
)|x
2
x
1
| c
n1
1 c
mn
1 c
|x
2
x
1
|
i.e.
|x
m
x
n
| c
n1
|x
2
x
1
|
1 c
Assim a sucess ao x
n
e uma sucessao de Cauchy e consequentemente uma
sucess ao convergente.
38
Exemplo 2.5.64. Considere-se a sucessao u
n
u
1
= 1
a
2
, u
n+1
=
u
2
n
+ 1 a
2
0 < a < 1, n > 1
Analise-se se a sucessao e contractiva. Se u
n
for uma sucessao convergente
determine-se o seu limite.
Tem-se
|u
n+1
u
n
| =
1
2
|u
2
n
+ 1 a u
2
n1
1 + a| =
1
2
|u
2
n
u
2
n1
| =
=
1
2
|u
n
+ u
n1
||u
n
u
n1
|
Analise-se |u
n
+ u
n1
|.
Tem-se u
n
< 1, n N j a que
u
1
< 1
u
m
< 1 u
m+1
< 1
De facto
u
m
< 1 u
2
m
< 1 1 + u
2
m
a < 2 a u
m+1
< 1
a
2
< 1
Assim
|u
n+1
u
n
|
_
1
a
2
_
|u
n
u
n1
|
A sucessao u
n
e contractiva ( c = 1
a
2
).
Sendo a sucessao contractiva e uma sucessao convergente. Determine-se l =
limu
n
= limu
n+1
l =
1
2
_
l
2
+ 1 a
_
l
2
2l + 1 a = 0
l =
2
_
4 4(1 a)
2a
= 1
a
Ora como u
n
1, conclui-se que l = 1
a
39
2.6 Exerccios
2.6.1 Exerccios resolvidos
Exerc 2.6.1. Considere a sucessao w
n
= u
n
+ v
n
, n N, em que
u
n
=
n
n!
3
n
(2n)!
e v
1
= 1, v
n+1
=
1
v
1
n
+ 2
i) Determine o limite da sucessao u
n
. A sucessao u
n
e limitada? Justique.
ii) Mostre que a sucessao v
n
e decrescente.
iii) A sucessao v
n
e uma sucessao de Cauchy? Justique.
iv) A sucessao w
n
e uma sucessao convergente? Justique e em caso armativo
determine o limite.
Resolucao.
i)
lim
n+
u
n
= lim
n+
(n+1)!
3
n+1
(2(n+1))!
n!
3
n
(2n)!
= lim
n+
1
6(2n + 1)
= 0
A sucessao u
n
e limitada uma vez que e uma sucess ao convergente.
ii) Mostre-se que v
n+1
v
n
0 para n N, usando o princpio de inducao
matem atica.
Se n = 1, v
2
v
1
0 e uma proposi cao verdadeira.
Mostre-se que para m N v
m+1
v
m
0 v
m+2
v
m+1
0.
Tem-se
v
m+2
v
m+1
=
1
v
1
m+1
+ 2
1
v
1
m
+ 2
=
v
m+1
v
m
(1 + 2v
m
)(1 + 2v
m+1
)
Ora da hip otese de inducao e uma vez que v
m
> 0 para m N tem-se
v
m+2
v
m+1
0. Assim v
n+1
v
n
0 para n N, i.e. a sucess ao v
n
e decrescente.
iii) Uma vez que a sucess ao v
n
e decrescente e limitada (0 < v
n
v
1
), v
n
e uma sucess ao convergente. Ora toda a sucessao real convergente e
uma sucessao de Cauchy.
40
iv) A sucessao w
n
e convergente, pois resulta da adicao de duas sucess oes
convergentes e
lim
n+
w
n
= lim
n+
u
n
+ lim
n+
v
n
Seja v = limv
n
. Determine-se o valor de v. Sendo v
n
convergente, v
n+1
e igualmente convergente, uma vez que e uma sua subsucessao, tendo-se
v =
v
1 + v
. Assim v = 0 concluindo-se de (i) que lim
n+
w
n
= 0.
Exerc 2.6.2. Considere a sucessao x
n
, denida por
x
1
= 1 x
n+1
=
2 + x
n
i) Mostre por inducao matematica que a sucessao e crescente.
ii) A sucessao x
n
e limitada superiormente. A sucessao x
n
e convergente? Jus-
tique.
Resolucao.
i) Para n = 1, x
2
x
1
=
3 1 0
Para m N mostre-se que se x
m+1
x
m
0 entao x
m+2
x
m+1
0.
Da denic ao da sucessao, tem-se
x
m+2
x
m+1
=
_
2 + x
m+1
2 + x
m
=
(da hipotese de inducao) 0
..
x
m+1
x
m
_
2 + x
m+1
+
2 + x
m
. .
>0
0
Pelo princpio de inducao matem atica x
n+1
x
n
0,
nN
, isto e, a
sucess ao x
n
e crescente.
ii) Da alnea anterior, como x
n
e crescente e limitada inferiormente, sendo
o seu primeiro termo um dos minorantes do conjunto dos seus termos.
Assim x
n
e uma sucess ao limitada. A sucess ao x
n
e assim convergente
pois e uma sucess ao monotona e limitada.
Exerc 2.6.3. Indique, se existirem, os limites das sucessoes de termos gerais:
u
n
=
n
2
3
n
2
+ 1
v
n
=
n
(n!)
2
3
n
(2n)!
Justique abreviadamente as respostas.
41
Resolucao.
u
n
=
n
3
2
n
2
1
1 +
1
n
2
=
1
n
1
2
1
1 +
1
n
2
Quando, n +,
1
n
1
2
0 e 1 +
1
n
2
1. Das regras operatorias com
limites de sucess oes, tem-se de imediato u
n
0
v
n
=
n
y
n
Tem-se
y
n+1
y
n
=
((n + 1)!)
2
3
n+1
(2(n + 1))!
(n!)
2
3
n
(2n)!
=
((n + 1)!)
2
(n!)
2
3
n
(2n)!
3
n+1
(2(n + 1))!
=
=
_
(n + 1)n!
n!
_
2
3
n
(2n)!
3 3
n
(2n + 2)(2n + 1)(2n)!
=
(n + 1)
2
3(2n + 2)(2n + 1)
=
=
1
3
n
2
(1 +
2
n
+
1
n
2
)
2n(1 +
1
n
)2n(1 +
1
2n
)
=
1
12
(1 +
2
n
+
1
n
2
)
(1 +
1
n
)(1 +
1
2n
)
concluindo-se que:
lim
n+
v
n
= lim
n+
n
y
n
= lim
n+
y
n+1
y
n
=
1
12
.
Exerc 2.6.4. Considere as sucessoes de termos reais
a
n
=
2
n
1 + 2
n
b
n
=
2
3
+
4
5
+ ... +
2
n
1 + 2
n
i) Determine o limite da sucessao a
n
. A sucessao a
n
e limitada? Justique.
ii) A sucessao b
n
e convergente? Justique.
Resolucao.
i)
lim
n
a
n
= lim
n
2
n
1 + 2
n
= lim
n
1
2
n
+ 1
= 1
A sucess ao a
n
e uma sucessao limitada, pois toda a sucess ao convergente
e limitada.
42
ii) A sucessao b
n
=
2
3
+
4
5
+...+
2
n
1 + 2
n
e uma sucess ao de termos positivos,
estritamente crescente.
Tem-se
b
n
=
2
3
+
4
5
+ ... +
2
n
1 + 2
n
2
3
+
2
3
+ ... +
2
3
=
2
3
n
Uma vez que a sucess ao
2
3
n n ao e majorada b
n
tambem e uma sucess ao
n ao majorada.
Assim nao sendo a sucess ao b
n
limitada e uma sucessao divergente.
Exerc 2.6.5. Considere a sucessao a
n
, denida por
a
1
= 1, a
n+1
=
1
2
+
a
n
i) Mostre por inducao matematica que a sucessao e crescente.
ii) Mostre que a sucessao a
n
e contractiva.
iii) A sucessao x
n
e convergente? Justique. Determine o limite de a
n
Resolucao.
i) Mostra-se que a
n+1
a
n
n N.
Tem-se a
2
=
3
2
> a
1
= 1.
Mostre-se que a
m+1
a
m
a
n+2
a
n+1
.
Tem-se
a
m+2
a
m+1
1
2
+
a
m+1
1
2
+
a
m
a
m+1
a
m
a
m+1
a
m
.
Como por hipotese de inducao se assume que a
m+1
a
m
, tem-se
tambem que a
m+2
a
m+1
.
ii) a
n
e uma sucessao contractiva se existe C ]0, 1[ tal que
|a
n+2
a
n+1
| < C|a
n+1
a
n
|,
nN
.
Tem-se
|a
n+2
a
n+1
| = |
a
n+1
a
n
| =
|a
n+1
a
n
|
a
n+1
+
a
n
<
|a
n+1
a
n
|
2
,
j a que a
n
e crescente e a
1
= 1, tendo-se
a
n+1
+
a
n
> 2, n N.
Conclui-se que a sucess ao a
n
e contractiva com C =
1
2
.
43
iii) a
n
e uma sucess ao convergente, j a que e contractiva. Como a
n+1
e uma
subsucess ao de a
n
, a
n+1
tambem e convergente e lima
n+1
= lima
n
.
Se lima
n
= a R:
lima
n+1
=
1
2
+
_
lima
n
a =
1
2
+
a
a
1
2
=
a a
2
a +
1
4
= a a
2
2a +
1
4
= 0
vindo
a = 1 +
3
2
a = 1
3
2
.
Como a
n
e uma sucess ao crescente e a
1
= 1, tem-se a > 1, concluindo-se
que a = 1 +
3
2
.
Exerc 2.6.6. Determine se existirem os limites das seguintes sucessoes em
R.
i) u
n
=
n
p
n!
ii) v
n
=
(1/2)
n
n
3
iii) w
n
=
3
n
n
2
Resolucao.
i)
u
n+1
u
n
=
(n + 1)
p
(n + 1)!
n!
n
p
=
1
n + 1
_
1 +
1
n
_
p
0 < 1 u
n
=
n
p
n!
0
ii)
v
n+1
v
n
=
(1/2)
n+1
(n + 1)
3
n
3
(1/2)
n
=
1
2
_
n
n + 1
_
3
1/2 < 1 v
n
=
(1/2)
n
n
3
0
iii)
w
n+1
w
n
=
3
n+1
(n + 1)
2
n
2
3
n
= 3
_
1 +
1
n
_
2
3 > 1 w
n
=
3
n
n
2
+
44
Exerc 2.6.7. Determine se existirem os limites das seguintes sucessoes
i) u
n
=
n
80
+ n!
n
n
+ 50n!
ii) v
n
=
(n!)
2
(2n)!
+
cos(n!)
n
2
+ 1
iii) w
n
=
n
n
3
n
+ n!
Resolucao.
i)
n
80
+ n!
n
n
+ 50n!
=
n!
n
n
.
n
80
n!
+ 1
1 +
50n!
n
n
0
j a que
lim
n
80
n!
= 0 , lim
50n!
n
n
= 0 , lim
n!
n
n
= 0
ii)
1
n
2
+ 1
cos(n!)
n
2
+ 1
1
n
2
+ 1
Tem-se
1
n
2
+ 1
0 vindo
cos(n!)
n
2
+ 1
0
Por outro lado
((n + 1)!)
2
(2n + 2)!
(2n)!
(n!)
2
=
(n + 1)
2
(2n + 2)(2n + 1)
=
(n + 1)
2(2n + 1)
1/4 < 1
(n!)
2
(2n)!
0
A sucessao v
n
e convergente pois resulta da soma de duas sucessoes
convergentes tendo por limite 0.
iii)
w
n+1
w
n
=
(n + 1)
n+1
3
n+1
+ (n + 1)!
3
n
+ n!
n
n
=
1 +
3
n
n!
1 +
3
n+1
(n + 1)!
_
n + 1
n
_
n
e > 1
vindo
w
n
=
n
n
3
n
+ n!
+
Exerc 2.6.8. Sejam x
n
, y
n
sucessoes convergentes. Se x
n
y
n
n N entao
limx
n
limy
n
45
Resolucao.
A demonstrac ao reduz-se a mostrar que a sucessao convergente
z
n
= y
n
x
n
0, z
n
tem limite e que z = limz
n
0.
Por contradic ao suponha-se que z < 0.
Sendo z
n
convergente
>0
pN
: n > p < z
n
z <
Se = z > 0, da desigualdade anterior, z
n
< 0 o que n ao e possvel.
2.6.2 Enunciados de exerccios
Exerc 2.6.1. Considere a sucessao x
n
, denida por
x
1
= 1 x
n+1
=
1
4
(x
n
2
+ 1)
i) Mostre por inducao matematica que a sucessao e monotona.
ii) A sucessao x
n
e convergente? Justique.
Exerc 2.6.2. Considere a sucessao de termos em [0, 9] denida por
a
1
= 1, a
n+1
= 2
a
n
+ 1 n N.
i) Mostre por inducao matematica que a
n
e crescente.
ii) A sucessao e convergente? Justique.
iii) Determine o conjunto dos sublimites da sucessao b
n
= a
n
+ (n!)
1/n
.
Exerc 2.6.3. Considere a sucessao x
n
, denida por
x
1
= 1 x
n+1
=
2x
n
x
n
+ 3
i) Mostre por inducao matematica que a sucessao e monotona.
ii) A sucessao x
n
e convergente? Justique.
Exerc 2.6.4. Considere a sucessao denida por
u
1
= 1, u
n+1
= 1
1
5
u
2
n
n N.
46
i) Mostre por inducao matematica que |u
n
| 2 , n N.
ii) A sucessao u
n
e contractiva? Justique.
iii) Determine o limite da sucessao convergente
v
n
= u
n
+
n
_
n!
n
n
Exerc 2.6.5. Qualquer subsucessao de uma sucessao estritamente decres-
cente cujo conjunto dos termos e majorado e convergente em R? Justique
Exerc 2.6.6. Considere a sucessao denida por
u
1
= 3, u
n+1
=
u
n
2
+
2
u
n
n N.
i) Mostre por inducao matematica que u
n
com termos em [2, 3] e uma sucessao
decrescente.
ii) A sucessao u
n
e convergente? Justique
iii) Determine o limite da sucessao convergente
v
n
= u
n
+
n
(2n)!
2
2n
(n!)
2
Exerc 2.6.7. A sucessao w
n
de termos positivos tal que w
n+1
/w
n
1, n
pode ter como sublimite zero? Justique.
Exerc 2.6.8. Indique, se existirem, os limites das sucessoes de termos gerais:
a
n
=
3
n
n + 1 +
n
b
n
=
n
_
(n + 1)
n+1
2
n
c
n
=
n
3
1 + 2
n
+
1 e
e
n
d
n
=
n
5
+ n!
(2n)!
e
n
=
5
n
1 5
n
r
n
=
n
n
2
2n
(n + 1)!
s
n
=
3
n
4
+ 1
1 + 2
n
3
+ 1
t
n
=
n
n
n+1
2
2n+1
(n + 1)!
u
n
=
2
n
3
n+1
+ (1 +
1
2n
)
n
v
n
= (
1
n
2
)
1
n
+
n
n
2
+ 1
w
n
=
3
n
n + 1 +
n
x
n
=
n
_
(n + 1)
n+1
2
n
Justique abreviadamente as respostas.
47
Captulo 3
Funcoes reais de variavel real.
Continuidade.
Diferenciabilidade.
Este captulo tem como primeiro objectivo desenvolver as bases da teoria da
continuidade de fun coes reais de variavel real. Introduzem-se os conceitos
de continuidade local ` a Cauchy e `a Heine, conceitos que se relacionam com
a nocao de limite. Estabelecem-se para func oes contnuas em conjuntos li-
mitados e fechados importantes propriedades, em particular introduzem-se o
teorema da limitacao, o teorema de Bolzano e o teorema de Weierstrass.
O segundo objectivo do captulo e estabelecer os principais resultados da teo-
ria da diferenciabilidade para fun coes reais de variavel real. Dene-se func ao
derivada e relaciona-se com o conceito de func ao contnua. Analisa-se a de-
rivada da fun cao composta e a derivada da funcao inversa. Estabelecem-se
o teorema de Rolle e o teorema de Lagrange. Estabelece-se o teorema de
Cauchy analisando-se em particular a regra de Cauchy e a sua aplicacao ao
levantamento de indeterminac oes. Introduz-se o conceito de derivada de or-
dem superior e estabelece-se o teorema de Taylor discutindo algumas das
suas aplicac oes, em particular, a extremos de func oes. Conclui-se o captulo
com a an alise de assntotas ao gr aco de uma func ao.
3.1 Denicao de funcao real de variavel real
Designa-se por func ao real de variavel real uma correspondencia unvoca
entre dois subconjuntos de R
f : D R C R
48
Denir uma func ao e indicar o conjunto D designado por domnio e uma
express ao algebrica que faz corresponder a cada elemento x D um unico
f(x) C.
Se se indicar uma func ao sem denir explicitamente o domnio subentende-se
que o domnio e o subconjunto de R onde a express ao algebrica utilizada na
denic ao da fun cao designa um n umero real.
Exemplo 3.1.9. Seja a funcao polinomial
P
n
(x) = a
0
+ a
1
x + + a
n
x
n
, a
n
= 0, a
i
R, i = 0, . . . , n
e a funcao racional
R(x) =
P
n
(x)
P
m
(x)
=
a
0
+ a
1
x + + a
n
x
n
b
0
+ b
1
x + + b
m
x
m
, b
m
= 0, b
i
R, i = 0, . . . , m
Estas func oes nao tendo explicitamente indicados os domnios tem como
domnios respectivamente R e {x R : b
0
+ b
1
x + + b
m
x
m
= 0}.
Designa-se por contradomnio de f o conjunto das imagens dos elementos
do domnio por meio de f
C = {y R : y = f(x), x D}
Exemplo 3.1.10. Sejam as funcoes denidas em R
f
1
(x) = x
2
e f
2
(x) = sen x
Os contradomnios destas funcoes sao, respectivamente, C
f
1
= [0, +[ e
C
f
2
= [1, 1].
Dena-se de seguida operac oes algebricas entre func oes.
Denicao 3.1.11. Seja f : D
f
R R e g : D
g
R R. Em
D
f
D
g
= denem-se as funcoes f + g, f g, fg
(f g)(x) = f(x) g(x) (fg)(x) = f(x)g(x)
e para x D
f
D
g
, e tal que g(x) = 0, a funcao f/g
(
f
g
)(x) =
f(x)
g(x)
49
Exemplo 3.1.12. Sendo f
1
(x) =
4 x
2
e f
2
(x) =
x 1 dena-se f
1
+f
2
.
Tem-se D
f
1
= [2, 2], D
f
2
= [1, +[ e para x D
f
1
+f
2
= [1, 2]
(f
1
+ f
2
)(x) =
4 x
2
+
x 1
Conclui-se a sec cao introduzindo a no cao de funcao composta.
Denicao 3.1.13. Sejam f : D
f
R, g : D
g
R.
Se D
g
tem um subconjunto X = , tal que para x X se tem g(x) D
f
,
dene-se a funcao composta por
f g : D R (f g)(x) = f(g(x)) ,
em que
D = {x R : x D
g
g(x) D
f
}
Exemplo 3.1.14. Seja f
1
(x) =
x e f
2
(x) =
9 x
2
x + 1
em que D
f
1
= [0, +[
e D
f
2
= {x R : x = 1}.
Tem-se para a func ao composta f
1
f
2
(f
1
f
2
)(x) =
9 x
2
x + 1
, em que D
f
1
f
2
=] , 3]] 1, 3]
3.2 Continuidade local `a Cauchy e `a Heine
Inicie-se em seguida o estudo local da continuidade
Denicao 3.2.15. A funcao f : D R R e contnua em a D `a
Cauchy se e so se
>0
>0
xD
|x a| < |f(x) f(a)| <
Assim f e contnua `a Cauchy em a D se e s o se escolhida arbitraria-
mente uma vizinhanca de f(a), V
(f(a)).
Como consequencia da denic ao anterior f n ao e contnua em a D se e s o
se
>0
>0
xD|xa|<
|f(x) f(a)|
50
Exemplo 3.2.16. Seja f : [0, +[ R, f(x) =
x. Mostre que f e
contnua em a R.
A fun cao f e contnua em a = 0. De facto |f(x) f(0)| =
x < se
0 x <
2
ou seja se x V
=
2(0) [0, +[
Mostre-se que se a = 0, a funcao f e tambem contnua em a. Tem-se
|
a| =
|x a|
x +
a
|x a|
a
Assim se x [0, +[ e |x a| <
a = tem-se |f(x) f(a)| < .
Exemplo 3.2.17. Seja
D(x) =
_
_
_
1 se x Q
0 se x R \ Q.
Mostre que D nao e contnua em a R.
A fun cao D n ao e contnua para nenhum a R \ Q pois existe = 1 tal
que qualquer que seja > 0 existe sempre x V
2
) = 1.
Teorema 3.2.20. Seja f : D R R e a D. A denicao de continui-
dade `a Heine em a D e equivalente `a denicao de continuidade `a Cauchy
em a D.
51
Demonstracao.
Mostre-se que se f e contnua `a Heine em a D ent ao e contnua `a Cauchy
em a D.
Seja f n ao contnua ` a Cauchy em a e mostre-se que existe uma sucessao
x
n
D convergente para a tal que f(x
n
) nao e convergente para f(a).
N ao sendo f contnua ` a Cauchy em a existe > 0 tal que para todo o > 0
existe x D tal que
|x a| < e |f(x) f(a)|
Fixado e considerando = 1/n, n N, para cada n N escolha-se x
n
D
tal que
|x
n
a| < 1/n e |f(x
n
) f(a)|
A sucessao x
n
converge para a e f(x
n
) n ao converge para f(a), i.e. a funcao
f n ao e contnua ` a Heine em a D.
Mostre-se agora que se f e contnua `a Cauchy em a D ent ao e contnua
` a Heine em a D.
Seja x
n
D uma sucessao convergente para a D. Fixado > 0 existe
> 0 tal que para x D e |x a| < se tem |f(x) f(a)| < . Ora como
x
n
a existe p N tal que para n > p, |x
n
a| < Assim como x
n
D
ter-se- a tambem |f(x
n
) f(a)| < , o que mostra que f(x
n
) e convergente
para f(a).
Demonstra-se facilmente, usando o conceito de continuidade `a Heine, o
seguinte resultado.
Teorema 3.2.21. Se f, g : D R R sao funcoes contnuas em a D
tambem sao funcoes contnuas em a as funcoes f g, fg e, na hipotese de
g(a) = 0, a funcao f/g.
Exemplo 3.2.22. A funcao constante f
0
(x) = 1 e contnua em a R.
De facto
>0
|f
0
(x) f
0
(a)| = |1 1| = 0 <
Exemplo 3.2.23. A funcao f
1
(x) = x e contnua em a R.
De facto
>0
xR
|x a| < |f
1
(x) f
1
(a)| = |x a| < =
Mais geralmente do teorema 3.2.21 pode concluir-se que qualquer func ao po-
linomial P
n
(x) = a
0
+a
1
x+ +a
n
x
n
e contnua em R e que qualquer func ao
52
racional R(x) =
P
n
(x)
P
m
(x)
em que P
n
, P
m
s ao polin omios sem factores comuns,
e contnua em R\ A em que A = {r
1
, . . . , r
p
} , p m e o conjunto dos zeros
do polinomio P
m
.
O resultado seguinte estabelece a continuidade da funcao composta.
Teorema 3.2.24. Sejam as funcoes f, g e a R. Se a funcao g e contnua
em a e se a funcao f e contnua em b = g(a) entao a funcao f g e contnua
em a.
Demonstracao.
Seja g : D
g
D
f
R, f : D
f
R e a D
g
R.
Sendo g contnua em a e f contnua em g(a), tem-se qualquer que seja x
n
D
g
x
n
a g(x
n
) g(a)
e qualquer que seja y
n
= g(x
n
) D
f
y
n
g(a) f(y
n
) f(g(a))
Conclui-se assim que
lim(f g)(x
n
) = limf(g(x
n
)) = f(g(a)) = (f g)(a)
ou seja que f g e contnua em a.
Exemplo 3.2.25. Analise-se a continuidade da funcao f : R R
f(x) =
_
_
_
x sen(1/x) se x = 0
0 se x = 0.
i) Se a = 0 tem-se
|f(x) 0| = |x|| sen(1/x)| |x|, x = 0
e basta escolher = para concluir que a func ao f e contnua em 0
ii) Se a = 0 a fun cao e contnua por aplicac ao dos teoremas 3.2.21 e 3.2.24.
53
3.3 Denicao de limite. Limites laterais.
Vai-se introduzir a noc ao de limite de func ao f : D R R quando a
vari avel independente tende para a ponto de acumulac ao
1
de D.
Denicao 3.3.26. Seja f : D R, a D
>0
>0
x D 0 < |x a| < |f(x) l| < .
Teorema 3.3.27. Se f tem limite quando x a, esse limite e unico.
Demonstracao. *
Considerem-se b, b
R, b = b
.
Qualquer que seja > 0 existe entao por um lado > 0 tal que
|f(x) b| < para x V
(a) D \ {a} ,
e por outro
| < para x V
(a) D \ {a} .
Escolhendo x
0
V
(a) V
| = |b f(x
0
) + f(x
0
) b
| |f(x
0
) b| +|f(x
0
) b
| < 2
Ora a condic ao 0 < |b b
>0
=
0 < |x| < |f(x) 0| = |x| < =
1
a e ponto de acumula cao de D se qualquer que seja V
(a), tal
que b D b = a. Designa-se por D
>0
=
0 < |x| < |f(x) 0| = ||x| 0| = |x| < =
Facilmente se demonstra o seguinte resultado.
Teorema 3.3.30. Seja f : D R. Entao f tem limite l em a D
se e
so se qualquer que seja x
n
D e x
n
= a, se x
n
a entao f(x
n
) l.
Exemplo 3.3.31. Analise a existencia de limite quando x 0 da funcao
g : R \ {0} R, g(x) = sen(1/x).
Considerem-se as sucess oes
x
n
=
1
n
0 e x
n
=
1
/2 + 2n
0
Tem-se
limg(x
n
) = limsen(n) = 0, e limg(x
n
) = limsen(/2 + 2n) = 1
Assim nao existe limite de g quando x 0.
Teorema 3.3.32. Seja f : D R R e a D um ponto nao isolado de
D. Entao f e contnua em a se e so se
lim
xa
f(x) = f(a) .
Demonstracao.
Seja f contnua em a
>0
>0
x D |x a| < |f(x) f(a)| <
55
Ent ao obviamente lim
xa
f(x) = f(a) .
>0
>0
x D 0 < |x a| < |f(x) f(a)| <
Uma vez que f(x)|
x=a
f(a) = 0 pode eliminar-se a condic ao |x a| > 0 e
concluir-se que a func ao f e contnua em a.
Introduza-se as no coes de limites laterais ` a direita e `a esquerda.
Denicao 3.3.33. Seja f : D R R, a D
e, sendo D
d
= D]a, +[,
D
e
= D] , a],
f
d
= f|
D
d
f
e
= f|
D
e
Por denicao designa-se por limite lateral `a direita em a
lim
xa
f
d
(x) = f(a
+
) = lim
xa
+
f(x)
e por limite lateral `a esquerda em a
lim
xa
f
e
(x) = f(a
) = lim
xa
f(x) .
Facilmente se conclui que lim
xa
f(x) existe se e s o se existem f(a
+
), f(a
)
e f(a
+
) = f(a
).
Exemplo 3.3.34. Seja f : R R.
f(x) =
_
_
_
x
2
1 se |x| 1
1 x
2
se |x| > 1.
Determine-se lim
x1
+
f(x) e lim
x1
f(x).
A func ao f e uma func ao contnua em R \ {1, 1} pois e polinomial.
Tem-se
lim
x1
+
f(x) = lim
x1
+
(1 x
2
) = 0 = lim
x1
(x
2
1) = 0 = f(1),
sendo a fun cao f contnua em 1.
lim
x1
+
f(x) = lim
x1
+
(x
2
1) = 0 = lim
x1
(1 x
2
) = 0 = f(1),
56
sendo a fun cao f contnua em 1.
Relacione-se a propriedade de monotonia de uma func ao com a existencia
de limites laterais.
Denicao 3.3.35. Seja f : D R.
A funcao f e uma funcao crescente se quaisquer que sejam x
1
, x
2
D,
x
1
> x
2
= f(x
1
) f(x
2
)
A funcao f e uma funcao decrescente se quaisquer que sejam x
1
, x
2
D,
x
1
> x
2
= f(x
1
) f(x
2
)
A funcao f e monotona se e uma funcao crescente ou decrescente.
Teorema 3.3.36. Se a funcao f e monotona em I =]a, b[, em qualquer
ponto interior de I, c I, existem os limites laterais f(c
+
) e f(c
) i.e. as
descontinuidades da funcao f sao de primeira especie.
Demonstracao.
Seja f crescente em I. Mostre-se que para c int I existe f(c
).
A funcao f e majorada em ]a, c[ por f(c), existe assim supremo
s = sup
x]a,c[
f(x) f(c)
Da denic ao de supremo tem-se
f(x) s,
x]a,c[
>0
]a,c[
: f() > s ,
Ora como f e crescente em I
f(x) > f() > s ,
x],c[
Assim para < x < c
>0
s < f(x) s f(c
) = s = sup
x]a,c[
f(x)
Analogamente se mostra que existe
f(c
+
) = t = inf
x]c,b[
f(x) .
57
Observacao 3.3.37. Sendo a funcao f crescente em ]a, b[, f e uma funcao
majorada em ]a, c[ e minorada em ]c, b[ tendo-se f(c
) f(c) f(c
+
).
Mesmo quando a e b n ao pertencem a R pode denir-se
lim
xa
f(x) = b.
generalizando a nocao anterior de limite. Em particular:
lim
x+
f(x) = se e s o se
>0
>0
xD
x > 1/ f(x) < 1/
lim
xa
+
f(x) = + se e s o se
k>0
>0
xD
a < x < a + f(x) > k .
3.4 Funcoes contnuas em intervalos.
Denicao 3.4.38. Seja f : A D R. Diz-se que f e contnua em A se
e so se f e contnua para qualquer a A.
A func ao f e contnua em A D R se e s o se f|
A
for contnua. As
func oes que sao contnuas em conjuntos limitados e fechados
2
tem proprie-
dades especiais.
Antes de enunciar o teorema da limita cao de f, recorde-se a noc ao de func ao
limitada em A D.
Denicao 3.4.39. A funcao f : D R R e uma funcao limitada em
A D se existir M R
+
tal que qualquer que seja x A
|f(x)| M
i.e se e limitado o conjunto
f(A) = {f(x) : x A} .
2
A R e um conjunto fechado se e so se qualquer sucessao de termos em A convergente,
converge para um elementos de A. Sendo A um conjunto fechado limitado e nao vazio, o
sup A e o inf A pertencem ao conjunto.
58
Teorema 3.4.40 (Teorema da limitacao de f). Seja I = [a, b] R um
intervalo limitado e fechado e f : I R, uma funcao contnua em I entao
f e uma funcao limitada em I.
Demonstracao.
Suponha-se que a func ao f n ao e limitada. Ent ao para qualquer n N existe
x
n
I tal que
|f(x
n
)| > n
Mas sendo x
n
uma sucess ao limitada uma vez que I e um intervalo limitado
tem uma subsucess ao convergente x
n
k
, o que, atendendo a que I e fechado
conduz a que x
n
k
x I.
Ora f e contnua em x vindo f(x
n
k
) f(x). Assim f(x
n
k
) e uma sucess ao
limitada o que contraria
|f(x
n
k
)| > n
k
.
Em seguida considere-se o teorema do valor intermedio que traduz de
forma abreviada mas pouco precisa, que uma fun cao contnua num intervalo
limitado e fechado n ao passa de um valor a outro sem passar por todos os
valores intermedios.
Teorema 3.4.41 (Teorema de Bolzano ou teorema do valor intermedio).
Seja
I = [a, b] R um intervalo limitado e fechado.
f : I R, uma funcao contnua em I.
f(a) = f(b).
Entao qualquer que seja k estritamente compreendido entre f(a) e f(b) existe
c ]a, b[ tal que
f(c) = k.
Demonstracao. *
Vai-se supor que f(a) k f(b). Divida-se o intervalo [a, b] a meio. Para
um dos dois intervalos obtidos por exemplo [a
1
, b
1
] tem-se f(a
1
) k f(b
1
).
Fazendo a divis ao a meio deste intervalo obtem-se um segundo intervalo
[a
2
, b
2
] satisfazendo f(a
2
) k f(b
2
). Repetindo sucessivamente este pro-
cesso obtem-se uma sucessao de intervalos
[a, b] [a
1
, b
1
] [a
2
, b
2
] . . . [a
n
, b
n
] . . .
tal que, para qualquer n, se tem
f(a
n
) k f(b
n
)
59
Pelo princpio dos intervalos encaixados
3
existe um ponto c comum a todos
os intervalos tal que
c = lim a
n
= lim b
n
Ora sendo a func ao f contnua em c tem-se precisamente
f(c) = lim
n
f(a
n
) = lim
n
f(b
n
) = k
Se f(a) k f(b) a demonstrac ao reduz-se `a anterior substituindo f(x)
por f(x).
Consequencia imediata do terorema de Bolzano s ao os corol arios seguintes
Corolario 3.4.42. Seja f : [a, b] R uma funcao contnua que nao se
anula em I = [a, b]. Entao os valores de f(x) qualquer que seja x I tem o
mesmo sinal.
Corolario 3.4.43. Seja f : [a, b] R uma funcao contnua em I = [a, b].
Se f(a).f(b) < 0 a equacao
f(x) = 0
tem pelo menos uma solucao em ]a, b[.
Exemplo 3.4.44. Sendo f : [0, 1] [0, 1] uma funcao contnua mostre que
existe um ponto xo de f (existe x [0, 1] tal que f(x) = x).
Seja g : [0, 1] R, g(x) = f(x) x uma func ao contnua em [0, 1] = I.
Demonstre-se por absurdo a existencia de ponto xo.
Se g(x) = 0, x I, pelo teorema de Bolzano g(x) > 0 ou g(x) < 0. Ora
atendendo a que
g(1) = f(1) 1 0, g(0) = f(0) 0
conclui-se que existe x I tal que g(x) = 0.
Denicao 3.4.45. Seja f : I R
f tem maximo em I se existir x
M
I tal que
f(x) f(x
M
) , x I
f tem minimo em I se existir x
m
I tal que
f(x) f(x
m
) , x I .
3
Seja I
n
= [a
n
, b
n
] R, n N uma sucessao de intervalos limitados e fechados tais
que I
n+1
I
n
entao (i)
+
n=1
I
n
= , (ii) Se inf{b
n
a
n
} = 0,
+
n=1
I
n
= {c} , c R.
60
Teorema 3.4.46 (Teorema de Weierstrass). Seja I = [a, b] R um intervalo
limitado e fechado e f : I R, uma funcao contnua em I. Entao f tem
maximo e mnimo em I.
Demonstracao.
Sendo f(I) e um conjunto limitado tem supremo e inmo em R e se sup f(I)
e inf f(I) pertencem ao conjunto f(I) s ao o valor, respectivamente, m aximo
e mnimo da func ao.
Se f(I) e um conjunto fechado tem-se que sup f(I), inf f(I) f(I). Mostre-
se que f(I) e um conjunto fechado. Sendo y
n
f(I) uma sucess ao conver-
gente, mostre-se que limy
n
f(I).
Seja a sucess ao y
n
= f(x
n
) em que x
n
e uma sucessao limitada ja que x
n
I.
A sucessao x
n
tem uma subsucessao convergente x
n
k
tal que x
n
k
x I
pois I e fechado.
Por outro lado como f e uma func ao contnua
y
n
k
= f(x
n
k
) f(x) f(I).
Sendo y
n
k
uma subsucessao de y
n
tem-se assim que y
n
y f(I) concluindo-
se que f(I) e um conjunto fechado.
Exemplo 3.4.47. f : [1, 1] R, f(x) = |x|
max f([1, 1]) = 1 min f([1, 1]) = 0
Quando n ao e satisfeita alguma das hip oteses do teorema de Weierstrass
pode n ao existir m aximo ou mnimo.
Exemplo 3.4.48. Seja g : R R,
g(x) =
_
_
_
1/x se x = 0
0 se x = 0.
Tem-se que g e contnua em ]0, 1] = I, mas em I tem mnimo, mas n ao
tem maximo, nem sequer supremo.
Exemplo 3.4.49. Seja h : R R, h(x) =
1
1 + x
2
.
A funcao h tem maximo, mas nao tem mnimo.
Evidentemente uma func ao pode ter m aximo e mnimo num determinado
conjunto sem que sejam vericadas as condic oes do teorema de Weierstrass.
61
As condic oes sao sucientes, mas nenhuma delas e necess aria. Por exemplo,
a func ao de Dirichlet,
D(x) =
_
_
_
1 se x Q
0 se x R \ Q.
e uma func ao com maximo e mnimo em qualquer subconjunto n ao vazio de
R.
Teorema 3.4.50. Seja I R um intervalo limitado e fechado e f : I R,
uma funcao contnua em I entao f(I) e um intervalo limitado e fechado.
Demonstracao.
Se f(I) e limitado ent ao existem sup f(I) e inf f(I) e sendo f(I) fechado,
sup f(I), inf f(I) f(I).
Sejam M = sup f(I) e m = inf f(I). Tem-se naturalmente que f(I)
[m, M]. Pretende-se mostrar que f(I) = [m, M].
Sejam m = f(x
m
) e M = f(x
M
). Do teorema de Bolzano tem-se que que f
assume todos os valores entre f(x
m
) e f(x
M
) assim f(I) = [m, M].
Observacao 3.4.51. A propriedade anterior nao e exclusiva das funcoes
contnuas. Sem ser contnua, f : R R
f(x) =
_
_
_
sen(1/x) se x = 0
0 se x = 0.
transforma um intervalo I R num intervalo.
Observacao 3.4.52. Em geral f(I) = [f(a), f(b)]. Seja f : [1, 1] R,
f(x) = |x|.Tem-se
f(I) = [0, 1] e f(1) = f(1) = 1 .
Exemplo 3.4.53. Seja g : [0, 1] R, uma funcao contnua positiva. Mostre
que existe > 0 tal que
g(x) , x I = [0, 1]
62
Pelo teorema 3.4.50, g(I) = [, ]. Mostre-se que > 0.
Admita-se que = 0. Ent ao existe c [0, 1] tal que
g(c) = = 0
o que n ao e possvel pois g(x) > 0, x [0, 1].
Teorema 3.4.54. Seja f : I R uma funcao monotona em I = [a, b], a, b
R. Se f transforma o intervalo I no intervalo f(I) entao f e contnua em
I.
Demonstracao.
Seja f crescente em I e admita-se que em c I a func ao f n ao e contnua.
Tem-se
f(c
) = f(c) f(c
) < f(c)
ou
f(c) = f(c
+
) f(c) < f(c
+
)
O facto de f ser crescente leva a que f n ao possa assumir um valor entre
f(c
2
,
2
] ou seja
tem-se
x [/2, /2] sen x = y x = arcsen y
A funcao arco-coseno e a inversa da funcao coseno restrita a [0, ] ou seja
tem-se
x [0, ] cos x = y x = arccos y
64
3.6 Diferenciabilidade. Funcao derivada
Denicao 3.6.1. Seja f : D R R, a int D
4
.
Designa-se razao incremental da funcao f no ponto a
g : D \ {a} R
g(x) =
f(x) f(a)
x a
Denicao 3.6.2. Seja f : D R R, a intD.
A funcao f tem derivada em a se a razao incremental da funcao f tem limite
em R quando x a. Tendo-se
f
(a) = lim
xa
f(x) f(a)
x a
A funcao f diz-se diferenciavel em a se a derivada da funcao f em a e
um n umero real.
Note-se que sendo x = a + h se tem tambem
f
(a) = lim
h0
f(a + h) f(a)
h
Observacao 3.6.3.
Quando f
(a):
y = f(a) + (x a)f
(a)
Quando f
(a) D.
65
i) Tem-se
g
(0) = lim
x0
sen(x) sen(0)
x 0
= lim
x0
sen(x)
x
= 1.
sendo y = x a tangente ao gr aco de g em (0, 0).
ii) Em x = 0, h
|x|
x
= 1. Assim n ao existe em R
o limite da raz ao incremental
|x| 0
x 0
e consequentemente nao existe
derivada em x = 0.
Este ultimo exemplo sugere a noc ao de derivada lateral.
Denicao 3.6.5. Dene-se derivada lateral `a direita/esquerda, respectiva-
mente, por
f
d
(a) = lim
xa
+
f(x) f(a)
x a
e f
e
(a) = lim
xa
f(x) f(a)
x a
A funcao f tem derivada em a se e s o se existem as derivadas laterais de
f em a com o mesmo valor.
Exemplo 3.6.6. Considerando a funcao f do exemplo anterior, tem-se
f
d
(0) = 1, f
e
(0) = 1
Uma funcao pode ser contnua num ponto onde n ao existe derivada. A con-
tinuidade nem sequer garante a existencia de derivadas laterais.
Exemplo 3.6.7. Seja
f(x) =
_
_
_
x sen(
1
x
) se x = 0
0 se x = 0.
Quando x 0 nao existe limite para a fun cao f, nem sequer limites
laterais pois
f(x) f(0)
x 0
= sen(
1
x
)
O exemplo que se apresenta de seguida, ilustra que a existencia de deri-
vada innita nao garante a continuidade.
66
Exemplo 3.6.8. Seja
f(x) =
_
_
|x|
x
se x = 0
0 se x = 0.
Tem-se:
lim
x0
+
f(x) f(0)
x
= lim
x0
+
1
x
= + e lim
x0
1
x
= +
vindo f
(a)
Assim lim
xa
f(x) = f(a).
Denicao 3.6.10 (Func ao derivada de f). Seja f : D R R, D
1
D
o conjunto dos os pontos interiores a D em que f e diferenciavel. Em D
1
dene-se a funcao que em x D
1
tem por valor f
: D
1
R x f
(x)
A func ao f : D
1
R R e uma func ao diferenci avel em D
1
D
se e so se for diferenci avel em qualquer x D
1
. A func ao f e uma fun cao
diferenci avel em D
1
se e s o se f|
D
1
e uma func ao diferenci avel.
Teorema 3.6.11. Se f, g sao funcoes diferenciaveis em a, as funcoes f g,
f.g e f/g sao diferenciaveis em a e
i) (f g)
(a) = f
(a) g
(a)
ii) (fg)
(a) = f
(a)g(a) + f(a)g
(a)
iii) (f/g)
(a) =
f
(a)g(a) f(a)g
(a)
g
2
(a)
, onde g(a) = 0.
67
Demonstracao.
i)
lim
h0
(f + g)(a + h) (f + g)(a)
h
= lim
h0
f(a + h) f(a)
h
+lim
h0
g(a + h) g(a)
h
=
= f
(a) + g
(a)
ii) lim
h0
(fg)(a + h) (fg)(a)
h
= lim
h0
f(a + h)g(a + h) f(a + h)g(a) + f(a + h)g(a) f(a)g(a)
h
= lim
h0
f(a + h)
g(a + h) g(a)
h
+ g(a)lim
h0
f(a + h) f(a)
h
= f(a)g
(a) + f
(a)g(a)
j a que se f e diferenci avel em a ent ao f e contnua em a sendo
lim
h0
f(a + h) = f(a).
iii) Facilmente se conclui de (ii), uma vez que f/g = f.1/g.
3.7 Derivada da funcao composta. Derivada
da funcao inversa
Teorema 3.7.12 (Deriva cao da fun cao composta). Sejam I, J intervalos
abertos, e as funcoes f, g tais que
f : I R, g : J R e f(I) J,
f diferenciavel em a e g e diferenciavel em f(a).
Entao a funcao composta g f e diferenciavel em a e
(g f)
(a) = g
(f(a))f
(a).
68
Demonstracao. *
Sendo f uma func ao diferenciavel em a e g uma func ao diferenciavel em
b f(I), para a I e h R tal que a + h I considere-se
5
f(a + h) f(a) = h(f
(a) + (h))
e para b f(I) e k R tal que b + k f(I)
g(b + k) g(b) = k(g
(b) + (k))
em que
lim
h0
(h) = 0 e lim
k0
(k) = 0 .
Sendo b = f(a) e k = f(a + h) f(a) tem-se
g(f(a + h)) g(f(a)) = (f(a + h) f(a))(g
(a) + (h))(g
(a)g
(f(a)).
Exemplo 3.7.14. Determine os conjuntos em que sao diferenciaveis as
funcoes f, g : R R
i) f(x) = x|x|
ii)
g(x) =
_
_
_
x
2
sen(1/x) se x = 0
0 se x = 0.
5
Lema 3.7.13. [2] Se f e diferenciavel em x
0
entao
f(x) = f(x
0
) + (f
(x
0
) + (x)) (x x
0
)
em que e uma funcao denida numa vizinhanca de x
0
tal que
lim
xx
0
(x) = (x
0
) = 0
69
i) A func ao f e diferenci avel em R
+
e R
pois
f(x) =
_
_
_
x
2
se x > 0
x
2
se x < 0.
A funcao f e pois uma func ao diferenci avel em R \ {0}.
Tem-se
f
(0) = 0
Finalmente g e diferenci avel em R com derivada
g
(x) =
_
_
_
2x sen(1/x) cos(1/x) se x = 0
0 se x = 0.
Note-se que a func ao g
(d) =
1
f
(c)
=
1
f
(g(d))
.
Demonstracao.
Seja H(y) a raz ao incremental correspondente a g(y)
H(y) =
g(y) g(d)
y d
.
Sendo g estritamente mon otona entao g(y) = g(d) se y = d.
Considere-se
H
1
(y) =
y d
g(y) g(d)
.
Existe
f
(c) = lim
xc
f(x) f(c)
x c
pois f e diferenci avel em c. Ora, como x = g(y) e c = g(d),
f(x) f(c)
x c
=
f(g(y)) f(g(d))
g(y) g(d)
=
y d
g(y) g(d)
= H
1
(y)
Quando x c uma vez que a func ao g e contnua, y d, assim
lim
yd
H
1
(y) = f
(c)
i.e.
lim
yd
H(y) = lim
yd
1
H
1
(y)
=
1
f
(c)
.
Exemplo 3.7.16. Considere a funcao injectiva f :]
2
,
1
2
[R
f(x) =
_
_
x arccos(2x) se 0 < x <
1
2
0 se x = 0
2
x e
x
2
se
2
< x < 0.
Calcule a derivada da funcao inversa em zero.
71
Vai-se aplicar o teorema 3.7.15 e em particular a formula
_
f
1
_
(d) =
1
f
(c)
se f
(c) = 0
em que d = 0 = f(c). Conclui-se neste caso de imediato que c = 0.
Determine-se assim f
(0). Tem-se
lim
x0
f(x) f(0)
x 0
= lim
x0
/2.x e
x/2
0
x 0
= /2
e
lim
x0
+
f(x) f(0)
x 0
= lim
x0
+
x arccos(2x) 0
x 0
= /2
concluindo-se que f
(0) = /2 = 0.
Finalmente tem-se:
_
f
1
_
(0) =
1
/2
= 2/ .
Exemplo 3.7.17. Seja f : R R, f(x) = x|x|. Calcule a derivada da
funcao inversa.
A func ao f e estritamente monotona e contnua, diferenci avel em R
+
e
R
y
A derivada da fun cao inversa da func ao f e assim, para x > 0,
g
1
(y) =
1
f
(x)
=
1
f
y)
=
1
2
y
e para para x < 0,
g
2
(y) =
1
f
(x)
=
1
f
y)
=
1
2
y
Por outro lado sendo
f
(0) = lim
x0
|x|x
x
= 0
para g
1
, g
2
tem-se, respectivamente, ` a esquerda e `a direita de zero
lim
y0
+
y 0
y
= + e lim
y0
y 0
y
= +
72
3.8 Extremos relativos. Teorema de Lagrange.
Denicao 3.8.18. Seja f : D R R.
Diz-se que f tem um maximo relativo ou mnimo relativo em c D se existe
respectivamente uma vizinhanca de c, V
(c) D
ou
f(x) f(c) , x V
(c) D
Diz-se que f tem um extremo relativo em c, se tem um maximo ou um
mnimo relativo em c.
Quando uma func ao tem maximo em todo o seu domnio esse m aximo e
tambem um maximo relativo. Sendo f(c) o maximo em D de f : D R
R ter-se- a, qualquer que seja > 0, f(x) f(c), x V
(c) D. A reciproca
n ao e evidentemente verdadeira.
Exemplo 3.8.19. Seja f : R R, f(x) = |x|. Averigue se a funcao f tem
extremos.
A funcao tem um mnimo absoluto em x = 0, uma vez que
f(x) f(0) = 0 x R
Teorema 3.8.20 (Extremo interior). Seja I R um intervalo, c int I.
Se f tem um extremo relativo em c e se f e uma funcao diferenciavel em c
entao
f
(c) = 0
Demonstracao.
Suponha-se que f tem minimo relativo em c. Existe ent ao > 0 tal que a
diferenca f(x) f(c) e maior ou igual a zero no conjunto V
(c) D.
Nesse conjunto tem-se assim
f(x) f(c)
x c
0 , se x > c
f(x) f(c)
x c
0 , se x < c
Existindo f
e
(c) e f
d
(c). Ora das
desigualdades anteriores tem-se
f
d
(c) = lim
xc
+
f(x) f(c)
x c
0 , se x > c
73
f
e
(c) = lim
xc
f(x) f(c)
x c
0 , se x < c
Vindo da diferenciabilidade de f em c que f
e
(c) = f
d
(c) = f
(c) = 0.
Analogamente se demonstrava se f tivesse um maximo relativo em c.
Exemplo 3.8.21. Seja g : R R, g(x) = x(x
2
1) uma funcao com
extremos relativos. Determine os possveis valores do domnio de g que sao
extremos relativos.
A func ao derivada de g e g
(x) = 3x
2
1. A fun cao g tem em
3
3
possveis extremos relativos.
Observacao 3.8.22. A reciproca do teorema 3.8.20 e falsa.
Exemplo 3.8.23. Seja f : R R, f(x) = x
3
. A funcao f
(x) = 3x
2
e a
sua funcao derivada. Tem-se f
(c) = 0 .
Demonstracao.
Pelo teorema de Weierstrass se a func ao f e contnua em [a, b] tem maximo
M e mnimo m nesse intervalo. Se M = m f e constante em [a, b] e portanto
f
anula-se em qualquer ponto de ]a, b[. Se M > m a hip otese f(a) = f(b)
permite reconhecer que pelo menos um dos pontos com imagem M ou m e
atingido em c ]a, b[ vindo do teorema 3.8.20 f
(c) = 0.
74
Observacao 3.8.27 (Interpreta cao geometrica). O graco de uma funcao
nas condicoes do teorema de Rolle entre dois pontos com a mesma ordenada
tem sempre pelo menos um ponto de tangente horizontal.
Exemplo 3.8.28. Seja f : [a, a] R, a = 0, f(x) = x
2
. A funcao e
diferenciavel em ] a, a[ e
f(a) = f(a) = a
2
A func ao f tem tangente horizontal em c ]a, a[ em particular em c = 0.
Exemplo 3.8.29. g : [a, a] R, g(x) = |x|
g(a) = g(a)
N ao existe c ] a, a[ tal que g
(c) =
f(b) f(a)
b a
Demonstracao.
Seja
=
f(b) f(a)
b a
75
ou seja R tal que
f(b) b = f(a) a
A igualdade anterior mostra que a func ao g(x) = f(x)x tem valores iguais
nos extremos do intervalo [a, b]. Sendo g contnua em [a, b] e diferenciavel em
]a, b[ o teorema de Rolle assegura a existencia de c ]a, b[ tal que g
(c) = 0
ou seja tal que
g
(c) = f
(c) = 0
Concluindo-se que
f
(c) = =
f(b) f(a)
b a
Exemplo 3.8.33. Sendo > 1 mostre-se aplicando o teorema de Lagrange
que:
(1 + x)
> 1 + x , x > 0
Aplique-se a g(t) = (1 +t)
1
x 0
= (1 + c)
1
.
Como > 1, c > 0 tem-se (1 + c)
1
> 1 vindo (1 + x)
> 1 + x, x > 0.
Estabelecam-se alguns corolarios do teorema de Lagrange.
Corolario 3.8.34. Se f
c]x
1
,x
2
[
f(x
2
) f(x
1
)
x
2
x
1
= f
(c) = 0 f(x
2
) = f(x
1
)
concluindo-se que f e uma func ao constante em I.
Corolario 3.8.35. Se f, g sao duas funcoes diferenciaveis em I = [a, b] e se
para qualquer x I, f
(x) = g
= f
(x) g
(c) c ]x
1
, x
2
[.
Vindo
f(x
2
) f(x
1
) = f
(c).(x
2
x
1
) > 0 c ]x
1
, x
2
[.
Assim
x
2
> x
1
f(x
2
) > f(x
1
).
Concluindo-se que f e uma func ao estritamente crescente em [a, b].
3.9 Teorema de Cauchy. Regra de Cauchy
Teorema 3.9.37 (Teorema de Cauchy). Sejam f, g : [a, b] R, a, b R,
funcoes contnuas em [a, b], diferenciaveis em ]a, b[ e g
(c)
g
(c)
Demonstracao.
A fun cao g e contnua em [a, b], diferenci avel em ]a, b[ e g
c]a,b[
h
(c) = f
(c) g
(c) = 0
77
concluindo-se que
=
f
(c)
g
(c)
Consequencia directa do teorema anterior e o resultado seguinte designado
por regra de Cauchy
Teorema 3.9.38 (Regra de Cauchy). Sejam f, g : [a, b] R, diferenciaveis
em ]a, b[ vericando as condicoes
i) g
(x) = 0 , x ]a, b[
ii) lim
xa
f(x) = lim
xa
g(x) = 0, (lim
xa
f(x) = lim
xa
g(x) = )
Entao se existe em R
lim
xa
f
(x)
g
(x)
existe
lim
xa
f(x)
g(x)
e
lim
xa
f(x)
g(x)
= lim
xa
f
(x)
g
(x)
.
Demonstracao. *
Seja l = lim
xa
f
(x)
g
(x)
R e um n umero real positivo arbitrario. Determine-se
]a, b[ por forma que se tenha, para x ]a, [:
l <
f
(x)
g
(x)
< l +
Sendo x, y dois pontos distintos do intervalo ]a, [, do teorema de Cauchy,
existe um ponto entre x e y e consequentemente tambem no intervalo ]a, [
em que
f(x) f(y)
g(x) g(y)
=
f
()
g
()
Assim para quaisquer x e y nas condic oes indicadas
l <
f(x) f(y)
g(x) g(y)
=
f
()
g
()
< l +
78
Considere-se a hipotese de f, g tenderem para zero, quando x tende para a.
Fixado x qualquer que seja de ]a, [, e fazendo y a na desigualdade ante-
rior, tem-se
l
f(x)
g(x)
l +
e conclui-se assim que existe lim
xa
f(x)
g(x)
e que lim
xa
f(x)
g(x)
= l.
Analogamente se demonstra quando se considera a hipotese de lim
xa
f(x) =
lim
xa
g(x) = .
Observacao 3.9.39. Pode existir lim
xa
f(x)
g(x)
e nao existir lim
xa
f
(x)
g
(x)
Se a int I =]a
1
, b
1
[ demonstra-se facilmente o corol ario seguinte:
Corolario 3.9.40. Seja I um intervalo aberto, a I e f, g duas funcoes
diferenciaveis em I \ {a}. Se g
(x)
g
(x)
.
sempre que o segundo limite exista em R.
A regra de Cauchy permite resolver varios problemas de indeterminacoes.
Considerem-se alguns exemplos
Exemplo 3.9.41. lim
x0
1 cos x
x
2
= 1/2.
De facto
lim
x0
(1 cos x)
(x
2
)
= lim
x0
sen x
2x
= 1/2
Exemplo 3.9.42. lim
x0
ln(1 + x)
x
= 1.
De facto
lim
x0
(ln(1 + x))
= lim
x0
1/(1 + x)
1
= 1
79
Exemplo 3.9.43. lim
x0
x ln x = 0.
De facto
lim
x0
x ln x = lim
x0
ln x
1/x
vindo
lim
x0
(ln x)
(1/x)
= lim
x0
1/x
1/x
2
= lim
x0
x = 0
Exemplo 3.9.44. lim
x0
_
1
x
1
sen x
_
= 0.
De facto
lim
x0
_
1
x
1
sen x
_
= lim
x0
sen x x
x sen x
vindo
lim
x0
(sen x x)
(x sen x)
= lim
x0
cos x 1
sen x + x cos x
= lim
x0
sen x
2 cos x x sen x
= 0
Antes de se considerar mais alguns exemplos de aplicac ao da regra de Cauchy
dena-se para x > 0 a fun cao x
, R
x
= e
ln x
R
e sendo f(x) > 0
f(x)
g(x)
= e
g(x) ln f(x)
R
Exemplo 3.9.45. Determine-se lim
x0
+
x
sen x
= lim
x0
+
e
sen xln x
.
Tem-se
lim
x0
+
(ln x)
(1/ sen x)
= lim
x0
+
1/x
cos x/ sen
2
x
= lim
x0
+
sen
2
x
x
1
cos x
= 0
assim
lim
x0
+
x
sen x
= 1
Exemplo 3.9.46. Determine-se lim
x+
_
1 +
1
x
_
x
= lim
x+
e
xln(1+1/x)
.
80
Tem-se
lim
x+
xln(1 + 1/x) = lim
x+
(ln(1 + 1/x))
(1/x)
= lim
x+
1
1 + 1/x
= 1
assim
lim
x+
_
1 +
1
x
_
x
= e
Exemplo 3.9.47. Determine-se lim
x+
x
1/(x1)
= lim
x+
e
1/(x1) ln x
.
Tem-se
lim
x+
(ln x)
(x 1)
= lim
x+
1/x
1
= 0
assim
lim
x+
x
1/(x1)
= 1
3.10 Derivadas de ordem superior.
F ormula de Taylor
Considerando uma func ao f : D R R, convenciona-se designar por D
1
o subconjunto de D em que a funcao f e diferenci avel, domnio da func ao
derivada f
for
diferenci avel em a. Em D
2
, conjunto em que f
, n N
sendo o domnio de f
(n+1)
, D
n+1
, o conjunto em que f
(n)
e diferenciavel.
A func ao f diz-se n-vezes diferenci avel em a D se e so se existirem as
derivadas f
(a), f
(a), . . . , f
(n)
(a). A func ao f diz-se indenidamente dife-
renci avel em a D se e so se, para qualquer n N, f e n-vezes diferenciavel
em a.
Tem-se f C
n
(A) se e s o se f e n vezes continuamente diferenci avel no
aberto A ou seja se f e n-vezes diferenciavel em A com f
(n)
func ao contnua
em A.
81
Exemplo 3.10.49. Seja f : R R f(x) = x
2
H(x)
Tem-se
f
(x) =
_
_
_
0 se x 0
2x se x < 0.
As derivadas de ordem superior nao estao denidas em x = 0
f
(x) =
_
_
_
0 se x > 0
2 se x < 0.
f
(n)
(x) = 0 n 3 x = 0
Observacao 3.10.50. As funcoes elementares, por exemplo, a exponencial
e a logartmica, sao funcoes indenidamente diferenciaveis.
Demonstra-se facilmente usando o princpio de induc ao matematica e os
teoremas 3.6.11, 3.7.12, 3.7.15 a seguinte proposi cao.
Proposicao 3.10.51. Se f, g sao funcoes n-vezes diferenciaveis em a, tambem
o sao as funcoes f g, fg e f/g se g(a) = 0. Tendo-se
(f g)
(n)
(a) = f
(n)
(a) g
(n)
(a)
e
(fg)
(n)
(a) =
n
k=0
n!
(n k)!k!
f
(nk)
(a)g
(k)
(a) , (formula de Leibnitz)
Aborde-se agora o problema da aproxima cao de func oes reais de variavel
real por meio de polin omios. Em termos muito gerais a quest ao consiste em
determinar o polin omio que melhor possa substituir a funcao f sob certas
condic oes com erro controlado. Comece-se por analisar, se um polin omio do
1
o
grau pode constituir uma boa aproxima cao local da func ao f.
Sendo a fun cao f diferenci avel em a, o polin omio
p
1
(x) = f(a) + (x a)f
(a)
que verica as condi coes
p
1
(a) = f(a) e p
1
(a) = f
(a)
82
constitui uma boa aproximac ao local da funcao f. Geometricamente corres-
ponde a substituir na vizinhanca do ponto de abcissa a, a curva de equac ao
y = f(x) pela sua tangente nesse ponto o que leva a cometer-se o erro
r
1
(x) = f(x) p
1
(x)
em que
lim
xa
r
1
(x)
x a
= lim
xa
f(x) f(a) (x a)f
(a)
x a
=
lim
xa
f(x) f(a)
x a
f
(a) = 0
representado simbolicamente por
r
1
(x) = o(x a) quando x a
Conclui-se assim que, se a fun cao f e diferenci avel em a
f(x) = p
1
(x) + o(x a) quando x a
Analise-se, em seguida, a situac ao em que o polin omio que se pretende que
aproxime a funcao f e de grau n sendo a aproximacao num intervalo em vez
de local. Esta an alise conduz ao teorema de Taylor. O teorema de Taylor
estabelece precisamente que e possvel aproximar por um polin omio de grau
n, uma func ao n + 1 vezes diferenciavel num dado intervalo. O teorema de
Taylor fornece mesmo uma f ormula para o erro que se comete quando se
substituir a fun cao pelo polin omio, f ormula que em princpio permite obter
um majorante do erro.
Teorema 3.10.52 (Teorema de Taylor). Seja I = [a, b], a, b R, x
0
, x I
e f : I R tal que as funcoes f, f
, f
, ...f
(n)
sao contnuas em I e f
(n+1)
existe em ]a, b[ entao
f(x) = P
n
(x) + R
n
(x) , (formula de Taylor)
em que
P
n
(x) = f(x
0
) + f
(x
0
)(x x
0
) +
f
(x
0
)
2!
(x x
0
)
2
+ ... +
f
(n)
(x
0
)
n!
(x x
0
)
n
e o polinomio de Taylor de grau n relativo a x
0
e
R
n
(x) =
f
(n+1)
(c)
(n + 1)!
(x x
0
)
n+1
, c ]x, x
0
[
e o resto de Lagrange.
83
Demonstracao.
Seja J = [x, x
0
] em que x
0
> x e dena-se para x xo
F : J R
F(t) = f(x) f(t) (x t)f
(t) . . .
(x t)
n
n!
f
(n)
(t),
tal que
F(t) |
t=x
0
= f(x) P
n
(x)
F
(t) = f
(t) +f
(t) +
2(x t)
2
f
(t) (xt)f
(t) +. . .
(x t)
n
n!
f
(n+1)
(t)
Aplicando o teorema de Cauchy `as func oes F e G, sendo a func ao G denida
por
G(t) = (x t)
n+1
t [x, x
0
],
tem-se
F(x) F(x
0
)
G(x) G(x
0
)
=
F
(c)
G
(c)
c ]x, x
0
[
Para x xo (t = x)
F(x) = 0 , G(x) = 0 e G(x
0
) = (x x
0
)
n+1
vindo
F(x
0
)
(x x
0
)
n+1
=
f(x) P
n
(x)
(x x
0
)
n+1
=
(x c)
n
n!
f
(n+1)
(c)
1
(n + 1)(x c)
n
e nalmente
f(x) = P
n
(x) +
(x x
0
)
n+1
(n + 1)!
f
(n+1)
(c)
Observacao 3.10.53. Se n = 0 a formula de Taylor e equivalente ao teorema
de Lagrange em [x, x
0
]: f(x) = f(x
0
) + (x x
0
)f
(c)
Exemplo 3.10.54. Aproximar por um polinomio de Taylor de grau 2 em
x a funcao f : R R, f(x) = cos x e majorar o erro de aproximacao no
intervalo I = [1, 1].
A funcao f e indenidamente diferenci avel em R e tem-se
f(x) = cos x f(0) = 1 f
(x) = sen x f
(0) = 0
84
f
(x) = cos x f
(0) = 1 f
(x) = sen x f
(c) = sen c
Assim
f(x) = 1
1
2
x
2
+ R
2
(x)
em que R
2
(x) =
x
3
6
sen c.
Atendendo a que | sen c| 1 e |x| 1 tem-se:
|R
2
(x)| 1/6 x [1, 1]
3.11 A f ormula de Taylor e os extremos de
uma funcao
E necess ario, mas n ao suciente, para que uma func ao f diferenci avel em x
0
tenha um extremo local, que f
(x
0
) = 0. De uma forma geral chamam-se
pontos de estacionaridade de uma fun cao f aos zeros da sua derivada. Para
esclarecer se um ponto de estacionaridade e ou nao um ponto de maximo ou
minimo local tem-se, essencialmente, dois caminhos:
i) recorrer ao sinal da 1
a
derivada.
(Por exemplo se f
(x
0
) = 0 e f
(x) e positiva em ], x
0
[ e negativa em ]x
0
, [,
< x
0
< , f(x
0
) e um maximo local de f)
ii) recorrer ` a formula de Taylor.
Teorema 3.11.55. Seja f :R, I = [a, b], x
0
I tal que:
existem f
, f
, . . . , f
(n)
;
a funcao f
(n)
e contnua numa vizinhanca de x
0
;
f
(x
0
) = f
(x
0
) = . . . = f
(n1)
(x
0
) = 0, , f
(n)
(x
0
) = 0
entao
i) se n e par tem-se
f tem em x
0
um minimo local se f
(n)
(x
0
) > 0.
f tem em x
0
um maximo local se f
(n)
(x
0
) < 0.
ii) se n e impar tem-se que f nao tem maximo local nem minimo local em
x
0
.
Demonstracao. Nas condicoes do teorema numa vizinhanca de x
0
pode
escrever-se a formula de Taylor de ordem n 1
f(x) f(x
0
) =
f
(n)
(c)
n!
(x x
0
)
n
c ]x
0
, x[.
85
i) Se n e par, tem-se (x x
0
)
n
0
Seja f
(n)
(x
0
) > 0
Sendo f
(n)
contnua em x
0
existe uma vizinhanca de x
0
em que f
(n)
(x) 0.
Assim de
f
(n)
(c)
n!
(xx
0
)
n
0 tem-se que f(x) f(x
0
) ou seja existe minimo
em x
0
.
Seja f
(n)
(x
0
) < 0.
Analogamente tem-se f(x) f(x
0
) ou seja existe maximo em x
0
.
ii) Se n e impar, (x x
0
)
n
qualquer que seja a vizinhanca de x
0
muda de
sinal consoante x > x
0
ou x < x
0
consequentemente n ao existe maximo nem
minimo.
A f ormula de Taylor permite tambem analisar a posic ao do graco de
uma funcao na vizinhanca de um ponto em relac ao ` a tangente ao graco
nesse ponto.
Seja
f diferenci avel em x
0
t(x) = f(x
0
) + (x x
0
)f
(x
0
)
Se existe > 0 tal que em V
(x
0
) o gr aco de f est a por cima do graco
de t diz-se que a fun cao f e convexa em x
0
ou que o seu gr aco tem a
concavidade voltada para cima.
Se existe > 0 tal que em V
(x
0
) o graco de f est a por baixo do gr aco
de t diz-se que a func ao f e concava em x
0
ou que o seu gr aco tem a
concavidade voltada para baixo.
Se existe > 0 tal que num dos intervalos ]x
0
, x
0
[ e ]x
0
, x
0
+ [ o
gr aco de f est a por cima do graco de t e no outro o gr aco t est a por
cima do gr aco de f diz-se que x
0
e um ponto de inex ao de f ou que o seu
gr aco tem uma inexao em x
0
(Se f e contnua em x
0
e se f
(x
0
) = + ou
f
(x
0
) = tambem se diz que f tem uma inexao em x
0
).
Teorema 3.11.56. Seja f : I R, I = [a, b], x
0
I tal que:
a funcao f e n vezes diferenciavel;
a funcao f
(n)
e contnua em x
0
I;
f
(x
0
) = . . . = f
(n1)
(x
0
) = 0, f
(n)
(x
0
) = 0
entao
i) se n e par tem-se que
f tem a concavidade voltada para cima em x
0
se f
(n)
(x
0
) > 0.
f tem a concavidade voltada para baixo em x
0
se f
(n)
(x
0
) < 0.
ii) se n e impar tem-se que x
0
e ponto de inexao.
86
Demonstracao. Numa vizinhan ca de x
0
pode escrever-se a f ormula de
Taylor de ordem n 1
f(x) (f(x
0
) (x x
0
)f
(x
0
)) =
f
(n)
(c)
n!
(x x
0
)
n
c ]x
0
, x[.
i) Seja n e par
Se f
(n)
(x
0
) > 0 o gr aco de f est a acima da tangente.
Se f
(n)
(x
0
) < 0 o gr aco de f est a abaixo da tangente.
ii) Seja n e impar, o gr aco de f est a abaixo do graco da tangente ou acima
consoante x > x
0
ou x < x
0
designando-se x
0
um ponto de inex ao.
Observacao 3.11.57. Seja f
(x
0
) = 0
Se n e par tem-se que x
0
e ponto de minimo se f
(n)
(x
0
) > 0 e x
0
e ponto
de maximo se f
(n)
(x
0
) < 0.
Se n e impar, x
0
e ponto de inexao com tangente horizontal.
3.12 Assntotas ao graco de uma funcao
Associado ao conceito de limite envolvendo + ou surge o conceito
de assntota de curvas, que de uma forma pouco precisa designa uma recta
arbitrariamente pr oxima da curva.
Seja f : D R R. Existem tres tipos possveis de assntotas
ao graco de f. Assntotas horizontais. Assntotas verticais. Assntotas
oblquas.
i) Uma recta denida por y = b, b R e uma assntota horizontal `a curva
y = f(x) se
lim
x+
(f(x) b) = 0 ou lim
x
(f(x) b) = 0
ii) Uma recta denida por x = c, c R e uma assntota vertical `a curva
y = f(x) se pelo menos uma das condic oes seguintes se verica
lim
xc
+
f(x) = lim
xc
f(x) =
iii) Uma recta denida por y = ax + b, a, b R, a = 0 e uma assntota
oblqua ` a curva y = f(x) se
lim
x+
(f(x) ax b) = 0 ou lim
x
(f(x) ax b) = 0
87
Analise-se de seguida com mais pormenor as assntotas oblquas
Proposicao 3.12.58. Para que o graco da funcao f tenha como assntota
quando x +() a recta y = ax +b e necessario e suciente que exis-
tam e sejam nitos os limites
i) lim
x+()
f(x)
x
= a
ii) lim
x+()
(f(x) ax) = b
Demonstracao. Se a func ao f tem uma assntota obliqua, y = ax + b,
quando x +() tem-se f(x) = ax + b + (x), em que
lim
x+()
(x) = 0
Assim por um lado
f(x)
x
= a +
b
x
+
(x)
x
e lim
x+()
f(x)
x
= a
e por outro lado
lim
x+()
(f(x) ax) = lim
x+()
(b + (x)) = b
Reciprocamente, se existem e sao nitos os limites indicados denindo a
func ao (x) = f(x) ax b tem-se
lim
x+()
(x) = 0
e a recta de equac ao y = ax + b e assntota obliqua ` a curva y = f(x).
Exemplo 3.12.59. Seja f :] , 0[]1. +[R
f(x) =
_
_
2x 1
x 1
se x > 1
3x
2
+ 4x + 1
x
se x < 0
Verique se existem assntotas `a curva y = f(x)
88
Para x > 1 tem-se
lim
x+
(f(x) 2) = lim
x+
1
x 1
= 0
e y = 2 e uma assntota horizontal ` a curva y = f(x) quando x +.
Tem-se igualmente
lim
x1
+
f(x) = lim
x1
+
2x 1
x 1
= +
assim x = 1 e uma assntota vertical ` a curva y = f(x)
Para x < 0 tem-se
lim
x
(f(x) 3x 4) = 0
e a recta y = 3x + 4 e uma assntota oblqua ` a curva y = f(x) quando
x +.
Finalmente tem-se
lim
x0
f(x) =
concluindo-se que x = 0 e uma assntota vertical ` a curva y = f(x).
Sejam P, Q func oes polinomiais que n ao tem zeros comuns e f a func ao
denida por
f(x) =
P(x)
Q(x)
, x R \ A
sendo A o conjunto dos zeros reais da fun cao polinomial Q.
Se o grau de P e igual ao grau de Q tem-se
f(x) = b +
R(x)
Q(x)
b R
em que R e uma func ao polinomial de grau menor que Q.
Uma vez que
lim
x
R(x)
Q(x)
= 0
tem-se que y = b e uma assntota horizontal da curva y = f(x).
Se o grau de P e maior que o de Q uma unidade tem-se
f(x) = ax + b +
R(x)
Q(x)
a, b R a = 0
89
em que R e uma func ao polinomial de grau menor que Q.
Uma vez que
lim
x
R(x)
Q(x)
= 0
tem-se que y = ax + b e uma assntota oblqua da curva y = f(x).
Seja c A ou seja Q(c) = 0.
Facilmente se verica que quando x c
x) se x ]0, +[
0 se x = 0
i) A funcao f e contnua no seu domnio? Justique.
ii) Considere x
n
=
1 + 2n
n + 1
. Determine o limite da sucessao f(x
n
).
iii) A funcao tem maximo e mnimo em [2, 3]. Justique.
Resolucao.
i) A func ao f e contnua em x = 0, uma vez que
lim
x0
f(x) = lim
x0
_
x
2
sen(
x)
_
= 0 = f(0)
A funcao f e igualmente contnua para x = 0 uma vez que resulta da
composic ao e adic ao de funcoes contnuas.
ii) A sucess ao x
n
R
+
e
lim
n+
x
n
= lim
n+
1 + 2n
n + 1
= 2
Sendo a fun cao f contnua em x = 2 tem-se
lim
n+
f(x
n
) = f(2)
90
iii) Uma vez que [2, 3] R
+
e a fun cao e contnua em R
+
, tambem e
contnua em [2, 3]. Sendo o intervalo [2, 3] limitado e fechado, sao sa-
tisfeitas as condic oes do teorema de Weierstrass o que permite concluir
que a fun cao tem nesse intervalo maximo e minimo.
Exerc 3.13.2. Seja f : R R a funcao denida por:
f(x) =
_
_
_
x ln(1 + e
x
) se x ] , 1]
3
x
2
1 se x ]1, +[
i) A funcao f e contnua em x = 1? Justique.
ii) Dena a funcao derivada de f.
Resolucao.
i) A func ao f n ao e contnua em x = 1, uma vez que
lim
x1
+
f(x) = lim
x1
+
3
x
2
1 = 0 = f(1) = ln(1 + e)
ii) N ao sendo a func ao f contnua em x = 1 tambem nao e diferenciavel
nesse ponto.
Para x < 1 e para x > 1, a func ao f e diferenci avel pois resulta do
produto e da composic ao de func oes diferenciaveis.
f
(x) =
_
_
ln(1 + e
x
) +
xe
x
1 + e
x
se x ] , 1[
2x
3
(x
2
1)
2
3
se x ]1, +[
Exerc 3.13.3. Considere a funcao f : [1, +[R
f(x) =
_
_
_
ln(x + 3) + 1 se x > 1
cos(arcsen x) se 1 x 1
i) A funcao f e diferenciavel em x = 1?
91
ii) Dena a funcao derivada de f.
iii) A funcao f e monotona no intervalo [1, +[? A funcao f tem extremos
no domnio? Justique.
Resolucao. Simplicando a funcao f,
f(x) =
_
_
_
ln(x + 3) + 1 se x > 1
1 x
2
se 1 x 1
i) A fun cao f n ao e diferenci avel em x = 1, uma vez que nao e contnua
em x = 1.
f(1) = lim
x1
+
ln(x + 3) + 1 = ln(4) + 1
ii) A func ao derivada de f dene-se
f
(x) =
_
_
_
1
x+3
se x > 1
x
1x
2
se 1 < x < 1
iii) A func ao e estritamente crescente no intervalo [1, +[, pois f
(x) > 0.
A func ao tem um m aximo local em x = 0, uma vez que f
(0) = 0,
f
2x ln(x) = lim
x0
2 ln(x)
1/x
= 0.
De facto
lim
x0
2/x
x
2
= lim
x0
2x = 0.
Assim
lim
x0
f(x) = lim
x0
(x) =
_
_
_
2x
1+(x
2
1)
2
se x > 0
2 ln(x) + 4 se x < 0
ii) Como f
(x) = 0
ou seja as razes de 2 ln(x) + 4 = 0. f(e
2
) e o unico ponto de
estacionaridade em R
. Sendo f
(e
2
) < 0
e tem-se que f(e
2
) e um maximo local em R
.
Exerc 3.13.5. Seja f : R R tal que
f(x) =
_
_
ln(1 x) se x < 0
3x
4
4x
3
+
1
2
se x 0
i) Dena a funcao derivada de f.
ii) A funcao tem extremos para x > 0? Justique.
iii) A equacao f(x) = 0 tem solucao em [0, 1]? Justique.
iv) Analise a existencia do limite
lim
x0
xf(cos x) .
93
Resolucao.
i) Como lim
x0
+ f(x) = 1/2 e lim
x0
f(x) = 0 sao reais diferentes f
n ao e contnua em x = 0 consequentemente f n ao e diferenci avel em
x = 0.
A funcao derivada dene-se
f
(x) =
_
1
1 x
se x < 0
12x
3
12x
2
se x > 0
(3.13.1)
ii) Para x > 0, f
(x) = 12x
3
12x
2
. Analisando f
(x) = 0 tem-se:
12x
2
(x 1) = 0 x = 0 x = 1
x = 1 e ponto de mnimo pois f
(x) > 0
para x > 1.
iii) Como f(0)f(1) < 0 e f
1
= f|
[0,1]
e contnua em [0, 1], do teorema de
Bolzano, conclui-se que existe um zero em ]0, 1[.
iv)
lim
x0
+
xf(cos x) = lim
x0
+
x(3 cos
4
x 4 cos
3
x +
1
2
) = 0.
Por outro lado
lim
x0
xf(cos x) = lim
x0
ln(1 cos x)
1/x
e da regra de Cauchy
lim
x0
sen x
1cos x
1
x
2
= lim
x0
x
2
sen x
1 cos x
= lim
x0
2x sen x + x
2
cos x
sen x
=
lim
x0
2x lim
x0
x
sen x
x cos x = 0
Concluindo-se que
lim
x0
xf(cos x) = lim
x0
+
xf(cos x)
94
Exerc 3.13.6. Seja f :]0, 1[ R uma funcao diferenciavel em ]0, 1[ e tal
que para n N
f(
1
n + 1
) = f(
1
n + 2
)
Supondo que existe lim
x0
f
(c
n
) = 0
Construa-se ent ao a sucess ao de reais, c
n
, tal que
1
n + 2
< c
n
<
1
n + 1
,
sucess ao que e convergente para 0, pelo teorema das sucess oes enquadradas.
Como existe lim
x0
f
(c
n
) = 0 ent ao lim
x0
f
(x) = 0.
Exerc 3.13.7. Seja f : R
+
R uma funcao diferenciavel e tal que f
(x) =
1, qualquer que seja x R
+
. Mostre que existe quando muito um n umero
real positivo x
0
tal que f(x
0
) = x
0
Resolucao. Admita-se que existem x
0
, x
1
R
+
, x
0
< x
1
, tais que
f(x
0
) = x
0
e f(x
1
) = x
1
. A func ao h : R
+
R, denida por h(x) = f(x)x
tem ent ao zeros x
0
, x
1
. Como a func ao h e diferenci avel em R
+
pois resulta
da soma de func oes diferenci aveis, aplicando o teorema de Rolle ` a func ao h
no intervalo [x
0
, x
1
] existe c ]x
0
, x
1
[ tal que h
(c) = 0 ou seja f
(c) = 1 o que
e falso pois contraria a hipotese. Assim existe apenas x
0
tal que f(x
0
) = x
0
.
Exerc 3.13.8. Mostre, atraves do teorema de Lagrange, que
ln(x + 1) ln x <
1
x
, x > 0
Resolucao. A func ao f : R
+
R, f(t) = ln t e uma funcao dife-
renci avel. Uma vez que a func ao e contnua em [x, x + 1] e diferenci avel em
95
]x, x +1[ aplicando o teorema de Lagrange ` a func ao f no intervalo [x, x +1],
x > 0, existe c ]x, x + 1[ tal que
ln(x + 1) ln x
x + 1 x
=
1
c
Ora como
1
c
<
1
x
conclui-se que
ln(x + 1) ln x <
1
x
, x > 0
Exerc 3.13.9. Seja f : [a, b] R, a, b R uma funcao contnua. Sendo
f uma funcao com quatro zeros em ]a, b[ com derivada de terceira ordem
contnua em ]a, b[, tera a funcao f
, concluimos que
existem dois zeros de f
e f
. Sendo f
(x) <
0, x ]1, 1[ mostre que se existe uma sucessao x
n
]
1
2
,
1
2
[ tal que f
(x
n
) =
1
n+1
entao f tem pelo menos um maximo local.
Resolucao. A sucessao x
n
] 1/2, 1/2[ sendo uma sucess ao limitada.
Assim pelo teorema de Bolzano-Weierstrass x
n
tem uma subsucess ao x
n
k
convergente e x
n
k
c [1/2, 1/2].
Ora como f
(x
n
k
) f
(c) em que
f
(c) = limf
(x
n
k
) = 0
O n umero real c e um ponto de estacionaridade de f que como f
(c) < 0
(f
(x) < 0 para x ] 1, 1[) tem como consequencia que f(c) e m aximo de
f.
Exerc 3.13.11. Determine se existirem os seguintes limites
i) lim
x0
+
arctg x
ln x
ii) lim
x+
(1 +
2
x
)
x
iii) lim
x0
x cos x sen x
x
2
tg x
.
96
Resolucao.
i)
lim
x0
+
arctg x
ln x
=
arctg 0
+
ln 0
+
= 0
ii)
lim
x+
(1 +
2
x
)
x
= e
lim
x+
xln(1+
2
x
)
determine-se
lim
x+
ln(1 +
2
x
)
1
x
.
Da regra de Cauchy como
lim
x+
(ln(1 +
2
x
))
(
1
x
)
= lim
x+
2
1 +
2
x
= 2
tem-se
lim
x+
ln(1 +
2
x
)
1
x
= lim
x+
(ln(1 +
2
x
))
(
1
x
)
= 2
e nalmente lim
x+
(1 +
2
x
)
x
= e
2
iii) Da regra de Cauchy, como
lim
x0
x sen x
2x tg x + x
2
/ cos
2
x
= lim
x0
sen x
2 tg x + x/ cos
2
x
=
= lim
x0
sen x cos
2
x
2 sen x cos x + x
= lim
x0
sen xcos
2
x
x
sen x
x
2 cos x + 1
= 1/3
conclui-se que
lim
x0
x cos x sen x
x
2
tg x
= 1/3.
Exerc 3.13.12. Determine em R, se existirem, os seguintes limites:
i) lim
x3
x
2
5x + 6
sen(x 3)
, ii) lim
x0
+
_
1
x
sen x
_
1/x
.
Resolucao.
97
i) Da regra de Cauchy
lim
x3
2x + 1
cos(x 3)
= 1.
concluindo-se que
lim
x3
x
2
5x + 6
sen(x 3)
= 1.
ii)
lim
x0
+
_
1
x
sen(x)
_
1/x
= e
lim
x0
+
1
x
ln
(
1
x
sen(x)
)
= e
0
= 1
uma vez que pela regra de Cauchy
lim
x0
+
_
ln
_
1
x
sen(x)
__
= lim
x0
+
sen x+xcos x
xsen x
1
= lim
x0
+
sen x + x cos x
x sen x
e
lim
x0
+
x sen x
sen x + x cos x
= lim
x0
+
sen x x cos x
2 cos x x sen x
= 0.
Exerc 3.13.13. Seja f : R R a funcao denida por:
f(x) =
|x| 2
|x| + 1
i) Estude a funcao f considerando nomeadamente a continuidade, diferencia-
bilidade, monotonia, extremos, concavidades, assntotas.
ii) Esboce o graco da funcao f.
Resolucao.
i) A fun cao f e contnua em R pois resulta da composic ao de func oes
contnuas.
E diferenciavel em R \ {0} pois resulta da composic ao de
func oes diferenciaveis. Em x = 0 nao e diferenci avel, uma vez que f
(0)
n ao existe,
f
d
(0) = lim
x0
+
f(x) f(0)
x 0
= lim
x0
+
x2
x+1
x
=
A func ao f e uma func ao par (f(x) = f(x)) sendo o gr aco da func ao
f simetrico relativamente ao eixo das ordenadas.
Quando x > 0
f
(x) =
2
(x + 1)
2
98
Uma vez que f
(x) =
4
(x + 1)
3
Uma vez que f
(1)(x + 1) + f
(1)
(x + 1)
2
2
determine-se os coecientes
f(1) = ln 2,
99
f
(1) =
1
1x
|
x=1
= 1/2
f
(1) =
1
(1x)
2
|
x=1
=
1
4
Assim
P
2
(x) = ln 2 1/2(x + 1)
1
4
(x + 1)
2
2
Exerc 3.13.15. Seja f : R R, denida no exerccio 3.13.4. Indique o
polinomio de Taylor do 2
o
grau em potencias de x + 1 associado `a funcao
e determine um majorante para o erro cometido ao aproximar a funcao por
esse polinomio no intervalo [11/10, 9/10].
Resolucao. O polin omio de Taylor do 2
o
grau em potencias de x + 1
associado `a func ao e o polin omio
P
2
(x) = f(1) +f
(1)(x +1) +f
(1)
(x + 1)
2
2
= 3 +4(x +1) (x +1)
2
Quanto ao majorante para o erro, do teorema de Taylor para c [11/10, 9/10]
tem-se
|f(x) P
2
(x)| = |R
2
(x)| = |f
(c)
(x + 1)
3
3!
|
vindo uma vez que |x + 1| 1/10
|R
2
(x)| = |
2
c
2
|(x + 1)
3
|
3!
|
1
3.10
3
.c
2
10
2
3.10
3
.9
2
=
1
3
5
.10
Exerc 3.13.16. Seja f :] 3, +[ R, f(x) = ln(x + 3) + 1. Indique
um majorante do erro que se comete ao aproximar a funcao f em [1, 3] pelo
polinomio de Taylor do 2
o
grau em potencias de x 2.
Resolucao. Do teorema de Taylor, f(x) = P
2
(x) +R
2
(x) para x [1, 3],
em que P
2
(x) = f(2) + f
(2)(x 2) + f
(2)(x 2)
2
/2 e
R
2
(x) = f
(c)(x 2)
3
/3!, c [2, x].
Tem-se assim para c [2, x]
|f(x)P
2
(x)| = |R
2
(x)| = |f
(c)(x2)
3
/3!| = |
2(x 2)
3
6(c + 3)
3
| <
|(x 2)|
3
3
4
<
1
3
4
Exerc 3.13.17. Seja f : R R, f(x) = x ln(1+e
x
). Indique um majorante
para o erro que se comete ao aproximar a funcao f no intervalo ] 1, 1[ pelo
polinomio de Taylor de 1
o
grau em potencias de x.
100
Resolucao. Do teorema de Taylor tem-se
f(x) = P
1
(x) + R
1
(x) = f(0) + f
(0)x + f
(c)
x
2
2!
, c [0, x]
Assim para x ] 1, 1[,
|f(x) P
1
(x)| = |R
1
(x)| =
=
2e
2c
+ (2 + c)e
c
(1 + e
c
)
2
x
2
2
<
2e
2c
+ (2 + c)e
c
2(1 + e
c
)
2
<
2e
2c
+ (2 + c)e
c
2
<
2e
2
+ 3e
2
Exerc 3.13.18. Considere a funcao f : R
R
f(x) = 2x (ln(x) + 1) 1
Indique o polinomio de Taylor do 2
o
grau em potencias de x + 1 associado
`a funcao f e determine um majorante para o erro cometido ao aproximar a
funcao por esse polinomio no intervalo [11/10, 9/10].
Resolucao. O polin omio de Taylor do 2
o
grau em potencias de x + 1
associado `a func ao e o polin omio
P
2
(x) = f(1) +f
(1)(x +1) +f
(1)
(x + 1)
2
2
= 3 +4(x +1) (x +1)
2
uma vez que
f
(x) = 2 ln(x) + 4, f
(x) = 2/x
Quanto ao majorante para o erro, do teorema de Taylor, para c [11/10, 9/10]
tem-se
|f(x) P
2
(x)| = |R
2
(x)| = |f
(c)
(x + 1)
3
3!
|
vindo uma vez que |x + 1| 1/10
|R
2
(x)| = |
2
c
2
|(x + 1)
3
|
3!
|
1
3.10
3
.c
2
10
2
3.10
3
.9
2
=
1
3
5
.10
Exerc 3.13.19. Seja f : [a, b] R com segunda derivada contnua em
]a, b[ e x
0
]a, b[. Mostre que
f
(x
0
) = lim
h0
f(x
0
+ h) 2f(x
0
) + f(x
0
h)
h
2
101
Resolucao. Considere-se a f ormula de Taylor de 1
a
ordem da fun cao f
em x = x
0
+ h, com resto de Lagrange
f(x
0
+ h) = f(x
0
) + f
(x
0
)h +
f
(c)h
2
2!
e em x = x
0
h
f(x
0
h) = f(x
0
) f
(x
0
)h +
f
(d)h
2
2!
Somando ambas as equa coes tem-se
f(x
0
+ h) 2f(x
0
) + f(x
0
h)
h
2
=
f
(d) + f
(c)
2
Sendo a funcao f
(c) f
(x
0
) e f
(c) f
(x
0
)
concluindo-se
f
(x
0
) = lim
h0
f(x
0
+ h) 2f(x
0
) + f(x
0
h)
h
2
3.13.2 Enunciados de exerccios
Exerc 3.13.20. Sendo f : R R a funcao denida por:
f(x) =
_
_
_
2x + arctg(
1
x
) se x ]0, +[
1
1+x
2
se x ] , 0]
i) A funcao f e contnua em x = 0? Justique.
ii) Dena a funcao derivada de f.
iii) Indique um majorante para o erro que se comete ao aproximar a funcao
f no intervalo [1, 3] pelo polinomio de Taylor de 1
o
grau em potencias de x2.
Exerc 3.13.21. Sendo f :]
2
,
1
2
[R a funcao denida por:
f(x) =
_
_
x arcsen(2x) se x ]0,
1
2
[
0 se x = 0
2
xe
2
x
se x ]
2
, 0[
102
i) A funcao f e contnua em x = 0? Justique.
ii) Dena a funcao derivada de f.
iii) Determine a derivada da funcao inversa g = f
1
em f(
1
4
).
Exerc 3.13.22. Sendo f : R R a funcao denida por:
f(x) =
_
_
x(2 + sen(
1
x
)) se x ]0, +[
0 se x = 0
1x
x
se x ] , 0[
i) A funcao f e contnua em x = 0? Justique.
ii) Dena a funcao derivada de f.
iii)Determine a derivada da funcao inversa g = f
1
em f(2).
Exerc 3.13.23. Sendo f : R R a funcao denida por:
f(x) =
_
_
_
x arctg(2x) se x = 0
0 se x = 0
i) Estude a funcao f do ponto de vista da continuidade. Analise a existencia
de derivada em x = 0
ii) Dena a funcao derivada de f.
iii) Escreva o polinomio de Taylor de 2
o
grau em potencias de x 1 as-
sociado `a funcao f.
Exerc 3.13.24. Sendo f : R R a funcao denida por:
f(x) =
_
_
_
x ln(
1
x
2
) se x = 0
0 se x = 0
103
i) Estude a funcao f do ponto de vista da continuidade. Analise a existencia
de derivada em x = 0.
ii) Dena a funcao derivada de f.
iii) Escreva o polinomio de Taylor de 2
o
grau em potencias de x 1 as-
sociado `a funcao f.
Exerc 3.13.25. Sendo f : R R a funcao denida por:
f(x) =
_
_
_
x ln(1 +
1
x
) se |x| > 1
0 se |x| 1
i) Estude a funcao f do ponto de vista da continuidade.
ii) Dena a funcao derivada de f.
iii) Escreva o polinomio de Taylor de 2
o
grau em potencias de x 2 as-
sociado `a funcao f.
Exerc 3.13.26. Determine se existirem os seguintes limites
i) lim
x0
+
1
x ln(x)
ii) lim
x0
+
ln(cos x)
x
iii) lim
x0
+
ln x
tg x
iv) lim
x0
+
ln(x)
x
v) lim
x0
+ e
1
x
ln x vi) lim
x+
2x + 1
1 + 2
2x
2
+ 1
Exerc 3.13.27. Determine se existirem os seguintes limites
i) lim
x0
+(sen x)
x
ii) lim
x+
(
1
x
)
2
x
iii) lim
x0
+(cos x)
1
x
iv) lim
x0
+(x)
2x
v) lim
x0
+(x)
sen x
vi) lim
x0
+(tg x)
x
Exerc 3.13.28. Seja I R um intervalo aberto que contem 0 e 1 e f : I
R uma funcao contnua em I e tal que para todo o n N
f(
1
n
) = 3
1
n
2
104
Determine f(0) e mostre que [2, 3] f(I).
Exerc 3.13.29. Mostre que a equacao
3x
2
e
x
= 0.
tem exactamente tres solucoes em R.
Exerc 3.13.30. A equacao polinomial em R
x
3
+ px + q = 0.
em que p, q R e p > 0 tem mais que uma solucao em R? Justique.
Exerc 3.13.31. Mostre, atraves do teorema de Lagrange, que para x
[0, +[
x
1 + x
2
arctg x
Exerc 3.13.32. Seja f : [a, b] R com derivada f
(c)[f(
2
) f(
1
)] = f
(c)[f
(
2
) f
(
1
)]
105
Captulo 4
Integral de Riemann
Os principais resultados da teoria do integral de Riemann para func oes limi-
tadas denidas em [a, b], a, b R s ao apresentados neste captulo.
Denem-se, no sentido de Riemann, o integral denido e fun coes integraveis.
Indicam-se exemplos da determinac ao do integral recorrendo `a denic ao.
Estabelecem-se criterios de integrabilidade. Conclui-se que as funcoes li-
mitadas que sejam mon otonas e as fun coes limitadas que sejam contnuas
s ao integraveis. Indicam-se as principais propriedades do integral denido.
Demonstra-se o teorema fundamental do calculo integral. Dene-se integral
indenido e estabelece-se a f ormula de Barrow. Indicam-se metodos gerais
de integracao: Integra cao por partes, Integrac ao por substituic ao. Analisa-se
a integrac ao de func oes racionais. Indica-se procedimentos para a integracao
de func oes irracionais e de fun coes trigonometricas.
4.1 Denicao do integral de Riemann
Considere-se o problema de determinar a area sombreada da gura
A
em que f : [a, b] R e uma func ao contnua e
A = {(x, y) : a x b, 0 y f(x)}
106
O problema formulado suscita 3 quest oes que se associam aos tres topicos
centrais da teoria do integral de Riemann
O que se entende por area da regi ao limitada A ?
Como se dene o integral de Riemann?
Qual a classe de func oes para as quais a denic ao de integral faz sen-
tido? Como caracterizar as func oes integr aveis?
Como determinar a area?
O que estabelece o teorema fundamental do calculo integral? Quais os
metodos de integrac ao?
Nesta secc ao vai-se abordar a primeira quest ao formulada: Como se de-
ne o integral de Riemann. Tendo por objectivo a determinac ao da area
da regi ao A uma ideia natural e recorrer a aproximac oes por excesso e por
defeito, recorrendo a areas de rect angulos e melhorando essas aproximacoes,
aumentando o n umero de rectangulos. Num certo sentido e esta a ideia que
est a na base da deni cao do integral de Riemann.
Denicao 4.1.33. Seja I = [a, b]. Chama-se decomposicao do intervalo I a
um conjunto nito de pontos interiores de I
d = {x
1
, . . . , x
n1
}
em que
a = x
0
< x
1
< . . . < x
n1
< x
n
= b
Denicao 4.1.34 (Somas de Darboux). Seja f : I R uma funcao limitada
e d uma decomposicao de I = [a, b]. Designa-se por:
soma inferior de Darboux de f relativa `a decomposicao d
n
k=1
m
k
.(x
k
x
k1
) = s
d
= s(f, d)
em que
m
k
= inf{f(x) : x [x
k1
, x
k
]} , k = 1, 2, . . . , n
soma superior de Darboux de f relativa `a decomposicao d
n
k=1
M
k
.(x
k
x
k1
) = S
d
= S(f, d)
107
em que
M
k
= sup{f(x) : x [x
k1
, x
k
]} , k = 1, 2, . . . , n
Proposicao 4.1.35. Seja f : [a, b] R uma funcao limitada e S
d
, s
d
as
somas superior e inferior de Darboux relativas `a decomposicao d, entao
s
d
S
d
Demonstracao. Evidente, pois m
k
M
k
Denicao 4.1.36. Sendo d, d
e uma
decomposicao mais na que a decomposicao d se
d d
Cada decomposic ao d = {x
1
, . . . , x
n1
} com n 1 pontos decompoe o
intervalo I em n subintervalos [x
0
, x
1
], . . . , [x
n1
, x
n
]. Em particular se n = 1
o subintervalo unico coincide com I e as somas superiores e inferiores sao
M(b a) e m(b a)
em que M e m s ao, respectivamente o supremo e o inmo da funcao em I.
Proposicao 4.1.37. Seja f : [a, b] R uma funcao limitada, S
d
, s
d
as
somas superior e inferior de Darboux relativas `a decomposicao d, e S
d
, s
d
,
as somas superior e inferior de Darboux relativas `a decomposicao d
mais
na que d. Entao
s
d
s
d
S
d
S
d
Demonstracao. Faz-se a demonstrac ao quando d
1
d
\ d tal que x
1
]x
0
, x
1
[. Sendo M
1
e M
1
, respectivamente, os
supremos de f em [x
0
, x
1
] e [x
1
, x
1
] e M
i
, i = 1, 2, . . . , n, os supremos de f
em [x
i1
, x
i
]
M
1
M
1
e M
1
M
1
Vindo
M
1
(x
1
x
0
) + M
1
(x
1
x
1
) M
1
(x
1
x
0
) + M
1
(x
1
x
1
) = M
1
(x
1
x
0
)
e
M
1
(x
1
x
0
) + M
1
(x
1
x
1
) + M
2
(x
2
x
1
) + . . . + M
n
(x
n
x
n1
)
108
M
1
(x
1
x
0
) + M
2
(x
2
x
1
) + . . . + M
n
(x
n
x
n1
)
Concluindo-se que
S
d
S
d
.
De forma an aloga se demonstraria que s
d
s
d
o que atendendo a que s
d
S
d
termina a demonstracao
Proposicao 4.1.38. Seja f : [a, b] R uma funcao limitada, d
e d
duas
decomposicoes quaisquer de I, S
d
a soma superior relativa a d
e s
d
a soma
inferior relativa a d
. Entao
s
d
S
d
Demonstracao. Seja d = d
a decomposicao sobreposta a d
e d
.
Como a decomposic ao sobreposta a duas decomposic oes arbitrarias d
e d
e
sempre mais na que qualquer delas
s
d
s
d
S
d
S
d
k=1
m
k
.(x
k
x
k1
) = C
n
k=1
(x
k
x
k1
) = C(b a)
e analogamente
S
d
= C(b a).
Concluindo-se que e s ao conjuntos singulares com um unico elemento
C(b a). Tem-se pois que f e integr avel em [a, b] e
_
b
a
C dx =
_
b
a
C dx =
_
b
a
f(x) dx = C(b a)
Exemplo 4.1.41. Seja a funcao de Dirichlet D : R R
D(x) =
_
_
_
1 se x Q
0 se x R \ Q
Verique que D nao e integravel em [a, b].
110
Qualquer que seja a decomposi cao de [a, b] e qualquer que seja o intervalo
[x
k1
, x
k
] tem-se M
k
= 1 e m
k
= 0. Assim
s
d
=
n
k=1
m
k
.(x
k
x
k1
) = 0 = {0}
S
d
=
n
k=1
M
k
.(x
k
x
k1
) = b a = {b a}
Concluindo-se que a func ao f n ao e integravel pois
b a =
_
b
a
D(x) dx =
_
b
a
D(x) dx = 0
4.2 Criterios de integrabilidade
Teorema 4.2.1 (Criterio de integrabilidade de Riemann). Uma condicao ne-
cessaria e suciente para que a funcao limitada f : [a, b] R seja integravel
em [a, b] e que
>0
dD(I)
S
d
s
d
<
Demonstracao.
Comece-se por demonstrar que a condi cao e suciente.
Admita-se que f n ao e integravel i.e.
S > s
e seja 0 < S s. Ent ao para qualquer decomposic ao d D(I) tem-se
S s S
d
s
d
pois S
d
S e s
d
s j a que S e o inmo de e s e o supremo de .
Demonstre-se que a condic ao e necess aria.
Seja f integr avel i.e. S = s.
Por denic ao de supremo e inmo qualquer que seja > 0 existem necessa-
riamente decomposic oes d
e d
tais que
S
d
< S + /2 e s
d
> s /2
Assim designando por d a decomposic ao sobreposta a d
e d
(d = d
)
tem-se
S
d
< S + /2 e s
d
> s /2
111
e portanto, sendo f integr avel, conclui-se que
S
d
s
d
< S + /2 s + /2 =
Corolario 4.2.2. Seja f : I R uma funcao limitada. Se existir uma
sucessao de decomposicoes d
n
de I tal que
lim
n+
(S
d
n
s
d
n
) = 0 (4.2.1)
entao f e uma funcao integravel e
_
b
a
f(x) dx = lim
n+
S
d
n
= lim
n+
s
d
n
Demonstracao. Da condic ao (4.2.1) qualquer que seja > 0 existe N
tal que para n > N
S
d
n
s
d
n
<
Assim do teorema 4.2.1 conclui-se que f e integravel. Alem disso S
d
n
e uma
sucess ao decrescente e minorada consequentemente com limite.
Corolario 4.2.3. Para que a funcao f seja integravel em I = [a, b] e
_
b
a
f(x) dx = k
e condicao necessaria e suciente que para qualquer > 0 exista uma decom-
posicao d de I tal que S
d
, s
d
V
(k).
Demonstracao. (*)
Demonstre-se a condicao necess aria.
Sendo
_
b
a
f(x) dx = k qualquer que seja a decomposicao d que verique
S
d
s
d
< , tal decomposic ao existe de acordo com o teorema anterior,
ter-se- a
k s
d
> S
d
k e k S
d
< s
d
+ k +
Concluindo-se assim que
S
d
, s
d
V
(k)
Demonstre-se agora a condic ao suciente.
Se para qualquer > 0 existe uma decomposic ao d tal que S
d
, s
d
V
(k),
tem-se
S
d
< k + e s
d
> k
112
concluindo-se que para qualquer > 0 existe d tal que S
d
s
d
< 2 e que f
e integr avel.
Por outro lado se o integral tiver um valor diferente de k, por exemplo, se
S = s > k nenhuma soma superior pertenceria a V
k=1
k 1
n
.(x
k
x
k1
) =
1
n
n
k=1
k 1
n
e
S
d
n
=
n
k=1
k
n
.(x
k
x
k1
) =
1
n
n
k=1
k
n
concluindo-se que f e integr avel pois
S
d
n
s
d
n
=
1
n
n
k=1
1
n
=
1
n
n+
0
Quanto ao integral
_
1
0
f(x) dx = lim
n+
1
n
n
k=1
k
n
= lim
n+
1
n
.
1/n + 1
2
.n =
1
2
4.3 Integrabilidade de func oes mon otonas e
contnuas
Teorema 4.3.1. Seja f : [a, b] R uma funcao monotona e limitada. Entao
f e uma funcao integravel em [a, b].
113
Demonstracao.
Se f(a) = f(b) a funcao f e constante em [a, b] e e evidentemente in-
tegr avel. Considere-se f(a) < f(b) e consequentemente a func ao f crescente
(se fosse decrescente a demonstrac ao seria an aloga).
Seja d
n
= {x
1
, . . . , x
k
, . . . , x
n1
} uma decomposic ao que subdivide [a, b]
em n subintervalos iguais
x
k
x
k1
=
b a
n
Sendo f crescente
m
k
= f(x
k1
) e M
k
= f(x
k
)
e portanto
S
d
n
s
d
n
=
n
k=1
(f(x
k
) f(x
k1
)) (x
k
x
k1
) =
=
b a
n
n
k=1
(f(x
k
) f(x
k1
)) =
b a
n
(f(b) f(a))
Tem-se assim
lim
n+
(S
d
n
s
d
n
) = 0
concluindo-se que f e integr avel.
Observacao 4.3.2. O teorema anterior e generalizavel a funcoes secciona-
mente monotonas e limitadas.
Exemplo 4.3.3. Analise-se se e integravel a funcao f : [0, 1] R,
f(x) =
_
_
_
0 se x = 0
1
k
se x ]
1
k+1
,
1
k
], k N
1
Considere-se a particao P
n
= (
1
2
,
1
3
, . . . ,
1
n
). Tem-se
S(f, P
n
) =
M
0
n
+
n1
k=1
1
k
.(
1
k
1
k + 1
) =
1
n
2
+
n1
k=1
1
k
.(
1
k
1
k + 1
)
1
fun cao monotona com um n umero innito de pontos de descontinuidade
114
e
s(f, P
n
) = 0 +
n1
k=1
1
k
.(
1
k
1
k + 1
)
Assim
lim
n+
(S
d
n
s
d
n
) = lim
n+
1
n
2
= 0
Conclui-se pois que f e integr avel apesar de ter uma innidade de desconti-
nuidades.
Teorema 4.3.4. Seja f : I R uma funcao limitada e contnua em I =
[a, b]. Entao f e uma funcao integravel em I.
Demonstracao. (*) A funcao f e uniformemente contnua
2
em I = [a, b]
(toda a func ao contnua num intervalo limitado e fechado e uniformemente
contnua nesse intervalo). Assim dado > 0, existe > 0 tal que para
|x y| < se tem |f(x) f(y)| < /(b a) para x, y I.
Seja n N tal que (b a)/n < e d
n
= {x
1
, . . . , x
k
, . . . , x
n1
} uma decom-
posic ao que subdivide [a, b] em n subintervalos iguais
x
k
x
k1
=
b a
n
< .
Pelo teorema de Weierstrass existem v
k
, w
k
[x
k1
, x
k
] tais que m
k
= f(v
k
)
e M
k
= f(w
k
) por conseguinte
M
k
m
k
= f(v
k
) f(w
k1
) < /(b a)
e
n
k=1
(M
k
m
k
)(x
k
x
k1
) <
concluindo-se que f e integr avel.
Observacao 4.3.5. O teorema 4.3.4 generaliza-se para funcoes limitadas
com um conjunto de pontos de descontinuidade contavel.
2
Uma funcao f : I R diz-se uniformemente contnua em I = [a, b] se
>0
>0
x,tI
|x t| < |f(x) f(t)| <
115
Analise-se de seguida as principais propriedades do integral denido
Teorema 4.3.6. Sejam f, g : [a, b] R funcoes integraveis em I = [a, b] e
c uma constante real. Entao
i) f + g e uma funcao integravel e
_
I
(f + g) =
_
I
f +
_
I
g
ii) c.f e uma funcao integravel e
_
I
(c.f) = c.
_
I
f .
Demonstracao. (*) Sendo
_
I
f = e
_
I
g =
qualquer que seja > 0 existem decomposi coes d
1
, d
2
tais que
S
d
1
, s
d
1
V
/2
(), S
d
2
, s
d
2
V
/2
()
Tem-se entao
S
d
, s
d
V
/2
() /2 < s
d
S
d
< + /2
S
d
, s
d
V
/2
() /2 < s
d
S
d
< + /2
Assim
s
d
+ s
d
V
( + ) e S
d
+ S
d
V
( + ).
Considerando a decomposic ao sobreposta d = d
1
d
2
designe-se por M
k
, M
k
, M
k
,
m
k
, m
k
, m
k
os supremos e inmos das func oes f, g e f + g em [x
k1
, x
k
] e
conclua-se que s
d
, S
d
V
( + ).
Tem-se
m
k
m
k
+ m
k
M
k
M
k
+ M
K
Assim
s
d
=
n
k=1
m
k
.(x
k
x
k1
)
n
k=1
m
k
.(x
k
x
k1
) +
n
k=1
m
k
.(x
k
x
k1
)
e
S
d
=
n
k=1
M
k
.(x
k
x
k1
)
n
k=1
M
k
.(x
k
x
k1
) +
n
k=1
M
k
.(x
k
x
k1
)
116
tendo-se nalmente
s
d
+ s
d
s
d
S
d
S
d
+ S
d
.
Assim
s
d
, S
d
V
( + )
o que permite do corolario 4.2.3 obter a proposic ao i).
An alogamente se demonstra a proposicao ii).
Observacao 4.3.7.
_
a
a
f = 0
Se b < a tem-se
_
b
a
f =
_
a
b
f.
Teorema 4.3.8. Sejam a, b, c R, a < c < b.
i) Se f e integravel em I = [a, b] e tambem integravel em qualquer intervalo
nao degenerado J I e para qualquer c ]a, b[
_
b
a
f =
_
c
a
f +
_
b
c
f.
ii) Se f e uma funcao integravel em [a, c] e em [c, b] entao f e uma funcao
integravel em [a, b] e
_
c
a
f +
_
b
c
f =
_
b
a
f .
Demonstracao. (*)
i) Sendo f uma funcao integr avel em I = [a, b] e c ]a, b[, demonstre-se
que f e integr avel em J = [a, c].
Atendendo ao criterio de integrabilidade de Riemann, teorema 4.2.1,
considere-se > 0 e determine-se uma decomposic ao d
1
D(I) tal que
S
d
1
s
d
1
< . Sendo d
2
= d
1
{c} uma decomposic ao mais na que
a decomposicao d
1
tem-se tambem S
d
2
s
d
2
< . Considere-se ent ao a
decomposic ao do intervalo J, d = d
2
]a, c[, e mostre-se que
S
d
s
d
S
d
2
s
d
2
(4.3.1)
117
em que S
d
, s
d
s ao as somas superior e inferior relativas a d.
Sendo d = {x
1
, . . . , x
m1
} e d
2
= {x
1
, . . . x
m
, . . . , x
n1
}, onde a = x
0
<
x
1
< . . . < x
m
= c < x
m+1
< . . . < x
n
= b tem-se
S
d
2
s
d
2
= S
d
s
d
+
n
k=m+1
(M
k
m
k
).(x
k
x
k1
)
Uma vez que as parcelas do somatorio da igualdade anterior s ao n ao
negativas, tem-se (4.3.1), concluindo-se que S
d
s
d
< , e do teorema
4.2.1, a integrabilidade da func ao f em J = [a, c].
Analogamente se prova a integrabilidade da fun cao f em J = [c, b] e
consequentemente em qualquer intervalo J = [c, d], com a < c < d < b.
ii) Sendo =
_
c
a
f e =
_
b
c
f, do criterio de integrabilidade de Riemann,
teorema 4.2.1, existem decomposic oes d
1
D([a, c]) e d
2
D([c, b]) tais
que
/2 < s
d
1
S
d
1
< + /2
e
/2 < s
d
2
S
d
2
< + /2
Designando por d a decomposic ao de [a, b], denida por d = d
1
{c}d
2
tem-se
+ < s
d
+ S
d
< + +
concluindo-se que f e integr avel em [a, b] e que + =
_
b
a
f.
Como consequencias do teorema anterior tem-se
Observacao 4.3.9. Se f : [a, b] R e integravel em I = [a, b] e c
1
, c
2
, . . . , c
n
[a, b] entao
_
b
a
f =
_
c
1
a
f +
_
c
2
c
1
f + . . . +
_
b
c
n
f .
Se f e integravel em [a, c
1
], [c
1
, c
2
], . . ., [c
n
, b] entao f e integravel em [a, b]
tendo-se
_
c
1
a
f +
_
c
2
c
1
f + . . . +
_
b
c
n
f =
_
b
a
f .
Teorema 4.3.10. Sejam f, g funcoes integraveis em I = [a, b]
i) Se f(x) 0, x I entao
_
b
a
f 0
118
ii) Se f(x) g(x), x I entao
_
b
a
f
_
b
a
g
iii) Se f e integravel entao |f| tambem e integravel e
_
b
a
f
_
b
a
|f|
Demonstracao.
i) Sendo m 0 o inmo da func ao em I = [a, b] tem-se
_
b
a
f m(ba)
0
ii) Se f(x) g(x), x I tem-se f(x) g(x) 0 e entao
_
b
a
(f g) 0
iii) Sendo M
k
, m
k
o supremo e inmo de |f| em [x
k1
, x
k
]
M
k
m
k
= sup{||f(x)| |f(t)|| , x, t I
k
} sup{|f(x)f(t)|, x, t I
k
}
M
k
m
k
M
k
m
k
Assim
S
d
s
d
S
d
s
d
concluindo-se que |f| e integr avel.
Por outro lado tem-se
|f| f |f|
vindo
_
b
a
|f|
_
b
a
f
_
b
a
|f|
e
_
b
a
f
_
b
a
|f|
Observacao 4.3.11. Quando a funcao |f| e integravel nao se pode concluir
que f seja integravel. Por exemplo a funcao
f(x) =
_
_
_
C se x Q
C se x R \ Q
nao e integravel mas a funcao |f| e integravel.
119
4.4 Teorema fundamental do calculo integral.
F ormula de Barrow
A diferenciacao e a integrac ao s ao dois dos t opicos mais importantes em
An alise. O primeiro e um processo local uma vez que a derivada depende
apenas dos valores da func ao numa vizinhanca do ponto, o segundo e um
processo global no sentido de que o integral de uma func ao depende dos seus
valores num intervalo.
`
A primeira do vista pareceria n ao existir qualquer
relac ao entre estes dois t opicos contudo o teorema fundamental do calculo
integral mostra o contrario.
Sendo a func ao f : I R integr avel em I = [a, b] o teorema 4.3.8 permite
concluir que existe
_
c
a
f(t) dt, c [a, b]
Denicao 4.4.1. Seja f : [a, b] R uma funcao integravel. Designa-se por
integral indenido de f em I = [a, b] a funcao F : I R
F(x) =
_
x
a
f(t) dt,
Teorema 4.4.2. (1
o
Teorema Fundamental do Calculo Integral)
Seja f : I R uma funcao integravel em I = [a, b]. Entao
i) A funcao integral indenido de f, F, e contnua em I.
ii) Se f e contnua em c ]a, b[, a funcao integral indenido de f, F, e dife-
renciavel em c e
F
(c) = f(c)
Demonstracao.
i) Mostre-se que F e contnua em I, i.e. que sendo c [a, b]
>0
>0
: x I , |x c| < |F(x) F(c)| < (4.4.1)
Tem-se para x > c
F(x) F(c) =
_
x
a
f(t) dt
_
c
a
f(t) dt =
_
x
c
f(t) dt
vindo
|F(x) F(c)| =
_
x
c
f(t) dt
_
x
c
|f(t)| dt A.
_
x
c
1 dt = A.|x c|
120
em que A = sup
xI
|f(x)|. Conclui-se assim que para qualquer > 0,
escolhendo = /A se verica (4.4.1). Analogamente quando x < c se
vericava (4.4.1). A func ao F e assim contnua em c ]a, b[.
ii) Sendo f e contnua em c ]a, b[
>0
>0
: x I , |x c| < |f(x) f(c)| <
Analise-se a diferencibilidade da func ao F em c.
Seja h = |x c| < e analise-se
F(c + h) F(c)
h
f(c) =
1
h
_
c+h
c
f(t) dt
f(c)
h
_
c+h
c
1 dt =
=
1
h
_
c+h
c
(f(t) f(c)) dt.
Tem-se
F(c + h) F(c)
h
f(c)
1
|h|
_
c+h
c
|f(t) f(c)| dt
|h|
_
c+h
c
1 dt =
|h|
|h|
=
Assim F e diferenci avel em c e
F
(c) = f(c)
Denicao 4.4.3. A funcao f : I R diz-se primitivavel em I, se existir
F : I R tal que
F
(x) = f(x), x I
3
F diz-se uma primitiva de f e representa-se por
_
f(t) dt
4
ou por P(f).
Proposicao 4.4.4. Se f : I R e contnua em I = [a, b] entao a funcao
integral indenido e uma primitiva de f em I.
3
Nos pontos extremos de I a derivada e a derivada `a esquerda ou `a direita, consoante
se trate do extremo mais `a direita ou mais `a esquerda de I.
4
Muitas fun coes elementarmente primitivaveis nao tem como primitiva uma funcao
elementar.
121
Proposicao 4.4.5. Sejam F
1
, F
2
duas primitivas da funcao f em I, entao
F
1
F
2
e uma funcao constante em I.
Demonstracao. Sendo F
1
, F
2
duas primitivas de f em I = [a, b],
(F
1
F
2
)
(x) = F
1
(x) F
2
(x) = f(x) f(x) = 0, x I. Assim tem-se
(F
1
F
2
)(x) = C, x I
Proposicao 4.4.6. Se a funcao f e primitivavel em I, dados x
1
I e R
existe uma e uma so primitiva F
0
de f tal que
F
0
(x
1
) =
Demonstracao. Sendo F uma primitiva de f em I qualquer outra pri-
mitiva em I ser a:
F
0
(x) = F(x) + C
Escolhendo C = F(x
1
) tem-se F
0
(x
1
) = .
E imediato que F
0
e unica,
pois se existisse outra primitiva
F
0
satisfazendo a mesma condi cao ter-se-ia
0
(x) F
0
(x) = 0, x I e
F
0
(x
1
) F
0
(x
1
) = 0 permitindo o teorema de
Lagrange concluir que a diferenca
F
0
F
0
era identicamente nula em I.
Teorema 4.4.7. (2
o
Teorema Fundamental do Calculo Integral)
Seja f : I R uma funcao integravel e primitivavel em I = [a, b] e seja F
uma primitiva. Entao
_
b
a
f(t) dt = F(b) F(a) = [F(t)]
b
a
Formula de Barrow (4.4.2)
Demonstracao. Seja uma decomposi cao d = {x
1
, x
2
, . . . , x
n1
} de I e
F(b) F(a) =
n
k=1
(F(x
k
) F(x
k1
))
O teorema de Lagrange em [x
k1
, x
k
] permite concluir, sendo
k
]x
k1
, x
k
[,
que:
F(b) F(a) =
n
k=1
F
(
k
)(x
k
x
k1
) =
n
k=1
f(
k
)(x
k
x
k1
)
Ora como
m
k
f(x
k
) M
k
tem-se
n
k=1
m
k
(x
k
x
k1
) F(b) F(a)
n
k=1
M
k
(x
k
x
k1
)
122
e
sup
d
s(f, d) F(b) F(a) inf
d
S(f, d)
Sendo f integr avel
sup
d
s(f, d) = inf
d
S(f, d)
e
F(b) F(a) =
_
b
a
f(t) dt
Note-se que no caso particular de f ser contnua
F(x) =
_
x
c
f(t) dt c ]a, b[
e uma primitiva de f e, de imediato
_
b
a
f(t) dt =
_
c
a
f(t) dt +
_
b
c
f(t) dt =
_
b
c
f(t) dt
_
a
c
f(t) dt = F(b) F(a)
Exemplo 4.4.8. Aplicando a formula de Barrow aos integrais seguintes,
tem-se:
_
1
0
t
2
dt =
1
3
_
t
3
1
0
=
1
3
_
1
0
1
1 + t
dt = [ln(1 + t)]
1
0
= ln 2
_
0
sen t dt = [cos t]
0
= 2
_
2
0
sen t dt = [cos t]
2
0
= 0
4.5 Metodos gerais de integracao
Teorema 4.5.1 (Integra cao por partes). Sejam as funcoes f, g : I = [a, b]
R diferenciaveis com funcoes derivadas integraveis em I. Entao
_
b
a
f
(t)g(t) dt = [f(t)g(t)]
b
a
_
b
a
f(t)g
(t) dt
123
Demonstracao.
As func oes fg
e f
= f
g + fg
a funcao fg
_
b
a
h(t) dt = [f(t)g(t)]
b
a
=
_
b
a
f
(t)g(t) dt +
_
b
a
f(t)g
(t) dt
Concluindo-se que:
_
b
a
f
(t)g(t) dt = [f(t)g(t)]
b
a
_
b
a
f(t)g
(t) dt
Exemplo 4.5.2. Determine-se
_
2
1
x ln x dx recorrendo ao metodo de inte-
gracao por partes
_
2
1
x ln x dx =
_
1
2
x
2
ln x
_
2
1
1
2
_
2
1
x
2
1
x
dx =
= (2 ln 2 0)
1
2
_
1
2
x
2
_
2
1
= ln 4
3
4
Exemplo 4.5.3. Determine-se
_
2
0
sen
3
x dx recorrendo ao metodo de inte-
gracao por partes
I
3
=
_
2
0
sen
3
x dx =
_
2
0
sen
2
x.(cos x)
dx =
=
_
sen
2
x. cos x
2
0
_
2
0
2 sen x. cos x(cos x) dx =
= 2
_
2
0
sen x. cos
2
x dx = 2
_
2
0
sen x dx 2
_
2
0
sen
3
x dx
Sendo I
1
=
_
2
0
sen x dx tem-se
I
3
= 2(I
1
I
3
) I
3
=
2
3
I
1
ora como I
1
= 1 conclui-se que
I
3
=
2
3
124
Observacao 4.5.4. O metodo de integracao por partes e tambem um metodo
de primitivacao por partes considerando f e g funcoes diferenciaveis com
derivada contnua. De facto
_
x
a
f
(t)g(t) dt = [f(t)g(t)]
x
a
_
x
a
f(t)g
(t) dt
Exemplo 4.5.5. Determine-se uma primitiva da funcao f(t) = t cos t sen t.
_
x
0
t cos t sen t dt =
_
1
2
t sen
2
t
_
x
0
1
2
_
x
0
sen
2
t dt =
=
1
2
x. sen
2
x
1
2
_
x
0
1 cos 2t
2
dt =
=
1
2
_
x sen
2
x
x
2
+
1
4
sen 2x
_
Teorema 4.5.6 (Integracao por substituic ao). Seja a funcao f contnua em
[a, b] e : [, ] [a, b] diferenciavel com derivada integravel em [, ], tal
que a = () b = ().
Entao a funcao (f ).
e integravel em [, ] e
_
b
a
f(x) dx =
_
f((t)).
(t) dt
Demonstracao. Seja F uma primitiva de f em [a, b] e para t [, ]
h(t) = [F((t))]
= F
((t)).
(t) = f((t)).
(t)
Tem-se entao, sendo F uma primitiva de h em [, ],
_
h(t) dt =
_
f((t)).
1
(a)
f((t))
(t) dt
125
Exemplo 4.5.8. Determine-se o integral
_
1
0
1 x
2
dx
recorrendo ao metodo de integracao por substituicao.
Sendo a substituic ao : [0, /2] [0, 1], (t) = sen t,
(t) = cos t
tem-se
_
2
0
1 sen
2
t cos t dt =
_
2
0
cos t cos t dt =
1
2
_
2
0
(1 + cos 2t) dt =
=
1
2
_
t +
1
2
sen 2t)
_
2
0
=
4
Exemplo 4.5.9. Determine-se o integral
_
2
1
x 1
x
dx
recorrendo ao metodo de integracao por substituicao.
Sendo a substitui cao : [0, 1] [1, 2], (t) = 1 + t
2
,
(t) = 2t tem-se
2
_
1
0
t
2
1 + t
2
.t dt = 2
_
1
0
_
1
1
1 + t
2
_
dt = 2 [t arctg t]
1
0
= 2
_
1
4
_
Exemplo 4.5.10. Determine-se o integral
_
2
1
1
1 +
x
dx
Recorrendo `a substituicao : [1,
(t) = 2t tem-se
_
2
1
1
1 + t
2t dt = 2
_
2
1
_
1
1
1 + t
_
dt =
= 2 [t ln(1 + t)]
2
1
= 2
_
2 1 ln(1 +
2) + ln 2
_
Exemplo 4.5.11. Determine-se uma primitiva da funcao f : R
+
R,
f(x) =
1
1 +
x
.
Recorrendo `a substituic ao u = t
2
= (t) tem-se
_
x
0
1
1 +
u
du = 2
_
x
0
_
1
1
1 + t
_
dt
= [2(t ln(1 + t))]
x
0
= 2(
x ln(1 +
x))
126
4.6 Integracao de funcoes racionais
Nesta secc ao analisa-se a determinacao de integrais quando a fun cao inte-
granda e uma func ao racional, fun cao que e elementarmente primitiv avel.
Associada ` a determinac ao de integrais de func oes racionais inicia-se a sec cao
com uma abordagem sucinta ` a decomposicao de polin omios em polinomios
irredutveis e ` a decomposi cao de uma fun cao racional em frac coes simples.
A func ao racional p/q em que p e q s ao polin omios e representada por
uma fracc ao propria se o grau do polin omio numerador for menor que o grau
do polinomio denominador, e representada por uma fracc ao impropria caso
contr ario.
Sendo p um polin omio arbitr ario e q um polin omio de grau maior ou igual
a um, mostra-se que existem sempre polin omios univocamente determinados
r e c tais que
p(x) = q(x)c(x) + r(x)
em que o grau r < grau p grau q.
Dividindo ambos os membros da igualdade anterior por q tem-se
p(x)
q(x)
= c(x) +
r(x)
q(x)
,
o que atendendo a que um polinomio e imediatamente primitiv avel reduz
a primitivac ao de func oes racionais impr oprias ` a primitivacao de func oes
racionais pr oprias. Nesta seccao consider-se-a apenas funcoes racionais re-
presentadas por fraccoes pr oprias.
Comece-se por analisar a decomposic ao de um polin omio de coecientes
reais em factores irredutiveis.
Denicao 4.6.1. Um polinomio q de coecientes reais e de grau n 1 e
redutivel se existirem dois polinomios, q
1
, q
2
, ambos de grau inferior a n tais
que
q = q
1
.q
2
Diz-se irredutivel em caso contrario.
Mostra-se que:
Nos polin omios de grau impar, os polinomios de grau 1 s ao irredutveis. Os
polinomios de grau superior a 1 sao redutveis ( estes polin omios, q, tem li-
mites innitos de sinais contr arios quando x j a que existindo a, b R
127
tais que q(a).q(b) < 0 existe c R tal que q(c) = 0 ).
Nos polin omios de grau par, os polinomios de grau superior a 2 s ao re-
dutveis. Os polinomios de grau 2 podem ser irredutveis ou redutveis.
Considere-se
q(x) = x
2
+ bx + c
Se b
2
4c 0 os polinomios s ao redutveis (q(x) = (x )(x ), , R,
ou q(x) = (x )
2
). Se b
2
4c < 0 os polin omios sao irredutveis (q(x) =
(x + b/2)
2
+ (4c b
2
)/4 = (x p)
2
+ q
2
, p, q R).
Um polinomio com coecientes reais factoriza-se em:
polin omios de grau um (com razes simples; com razes simples e m ultiplas)
polin omios de grau dois irredutveis (com razes simples; com razes simples
e m ultiplas)
Analise-se de seguida a decomposic ao de uma func ao racional em fracc oes
simples comecando por denir polinomios primos entre si.
Denicao 4.6.2. Dois polinomios q
1
e q
2
sao primos entre si se nao existirem
polinomios, q
1
, q
2
e q tais que
q
1
= q. q
1
q
2
= q. q
2
Proposicao 4.6.3. Sejam q
1
e q
2
polinomios primos entre si e p um po-
linomio tal que grau p < grau (q
1
, q
2
). Entao existem polinomios p
1
e p
2
tais
que
p(x)
q
1
(x).q
2
(x)
=
p
1
(x)
q
1
(x)
+
p
2
(x)
q
2
(x)
, (4.6.1)
em que o grau p
i
< grau q
i
, i = 1, 2.
Demonstracao. (*) Do teorema de Bezout existem polin omios p
1
e p
2
primos entre si tais que
p
1
.q
1
+ p
2
.q
2
= 1
Multiplicando ambos os membros da igualdade anterior por
p
q
1
q
2
tem-se
p
q
1
q
2
=
p p
1
q
2
+
p p
2
q
1
Ora,
p p
1
= h
2
q
2
+ p
2
p p
2
= h
1
q
1
+ p
1
em que h
i
, p
i
, i = 1, 2 sao polinomios e grau p
i
< grau q
i
.
Assim
p
q
1
q
2
=
p
2
q
2
+
p
1
q
1
+ h
1
+ h
2
128
o que atendendo a que grau (q, q
1
) > grau p conduz a (4.6.1)
Exemplo 4.6.4. Determine-se o integral
_
3
2
4x
2
+ x + 1
x
3
x
dx
Seja
f : R \ {1, 0, 1} R
f(x) =
4x
2
+ x + 1
x(x 1)(x + 1)
=
A
x
+
B
x 1
+
C
x + 1
em que
_
_
A + B + C = 4
B C = 1
A = 1
De facto usando o princpio da identidade de polin omios
4x
2
+ x + 1 = (A + B + C)x
2
+ (B C)x A
Assim
f(x) =
1
x
+
3
x 1
+
2
x + 1
e
_
3
2
f(x) dx = [ln |x| + 3 ln |x 1| + 2 ln |x + 1|]
3
2
= 3 ln 3 + 8 ln 2.
Proposicao 4.6.5. Sejam a R e p, q
1
polinomios tais que grau p <
n+grau q
1
e q
1
(a) = 0. Entao
p(x)
q
1
(x)(x a)
n
=
A
1
(x a)
n
+
A
2
(x a)
n1
+ +
A
n
x a
+
p
1
(x)
q
1
(x)
,
em que grau p
1
<grau q
1
e
A
k
=
1
(k 1)!
_
p
q
1
_
(k1)
(a) k = 1, 2, . . . , n
129
Demonstracao. (*)
Seja q
1
(x) = 1 e consequentemente grau p n 1.
A f ormula de Taylor para o polin omio p relativamente a x = a tem resto nulo
e
p(x) = p(a) +
p
(a)
1!
(x a) + . . . +
p
(n1)
(a)
(n 1)!
(x a)
n1
Tem-se assim
p(x)
(x a)
n
=
A
1
(x a)
n
+
A
2
(x a)
n1
+ . . . +
A
n
x a
em que A
k
=
1
(k1)!
p
(k1)
(a).
Seja q
1
(x) = 1. Tem-se neste caso
p(x)
q
1
(x)
= A
1
+ A
2
(x a) + . . . + A
n
(x a)
n1
+
1
n!
_
p
q
1
_
(n)
()(x a)
n
em que ]0, x[ e A
k
=
1
(k1)!
_
p
q
1
_
(k1)
(a). Assim
p(x)
q
1
(x)(x a)
n
=
A
1
(x a)
n
+
A
2
(x a)
n1
+ . . . +
A
n
x a
+ R(x)
em que R e uma func ao racional cujo denominador nao se anula em a.
Exemplo 4.6.6. Determine-se o integral
_
2
1
4x + 1
x(x + 1)
3
dx
Seja
f : R \ {1, 0} R
f(x) =
4x + 1
x(x + 1)
3
=
A
x
+
A
3
x + 1
+
A
2
(x + 1)
2
+
A
1
(x + 1)
3
em que
_
_
A + A
3
= 0
3A + 2A
3
+ A
2
= 0
3A + A
3
+ A
2
+ A
1
= 4
A = 1
130
Note-se que as constantes A
1
, A
2
, A
3
podem ser determinadas resolvendo
o sistema anterior ou recorrendo `a f ormula
A
k
=
1
(k 1)!
_
4 +
1
x
_
(k1)
x=1
, k = 1, 2, 3.
Recorrendo `a f ormula anterior tem-se
A
1
= 41 = 3, A
2
=
_
1
x
2
_
x=1
= 1, A
3
=
1
2!
_
1
x
2
_
x=1
=
_
1
x
3
_
x=1
= 1.
Assim
f(x) =
1
x
1
x + 1
1
(x + 1)
2
+
3
(x + 1)
3
e
_
2
1
f(x) dx =
_
ln |x| ln |x + 1| +
1
(x + 1)
+
3
2
1
(x + 1)
2
_
2
1
= ln(4/3)
9
24
Na integracao de func oes racionais e central a decomposicao em fracc oes
simples. Vai-se estabelecer em seguida um resultado que contem como casos
particulares os anteriores.
Teorema 4.6.7 (Decomposic ao em fracc oes simples). Sejam p, q polinomios
tais que grau p < grau q. A funcao racional p/q e a soma de um n umero
nito de fraccoes simples da forma
A
(x a)
n
,
B
1
x + B
2
((x p)
2
+ q
2
)
m
em que n, m N; A, B
1
, B
2
R; a, p, q R.
Demonstracao. (*) A func ao racional p/q e decomponvel, da pro-
posic ao 4.6.3, numa soma de parcelas em que q
i
, i = 1, . . . , n, sao factores
irredutveis tais que grau p
i
< grau q
i
p(x)
q
1
(x) . . . q
n1
(x)q
n
(x)
=
p
1
(x)
q
1
(x)
+ . . . +
p
n1
(x)
q
n1
(x)
+
p
n
(x)
q
n
(x)
As parcelas da igualdade anterior sao da forma
(i)
p
1
(x)
(x a)
n
, a R (ii)
p
1
(x)
q
m
(x)
, q(x) = (x p)
2
+ q
2
, p, q R
131
em que p
1
, p
1
s ao polinomios. A decomposic ao das parcelas da forma (i) foi
analisada na proposi cao 4.6.5, quanto a (ii) tem-se
p
1
(x)
q
m
(x)
=
B
1
x + C
1
q
m
(x)
+
B
2
x + C
2
q
m1
(x)
+ . . . +
B
m
x + C
m
q(x)
igualdade estabelecida por recorrencia a partir das igualdades
p
1
(x) = q
1
(x)q(x) + c
0
(x) q
1
(x) = q
2
(x)q(x) + c
1
(x)
em que q
1
, c
0
, q
2
, c
1
s ao polin omios que se obtem de divisoes inteiras.
5
Exemplo 4.6.8. Determine-se o integral
_
3
2
x + 2
x
3
1
dx
Seja
f : R \ {1} R
f(x) =
x + 2
x
3
1
=
A
x 1
+
Bx + C
x
2
+ x + 1
em que
_
_
A + B = 0
A B + C = 1
A C = 2
uma vez que do princpio da identidade de polinomios
x + 2 = (A + B)x
2
+ (A B + C)x + A C .
Tem-se assim
_
3
2
f(x) dx =
_
3
2
1
x 1
dx
_
3
2
x + 1
x
2
+ x + 1
dx
Como o primeiro integral e imediato analise-se apenas a determinacao do
segundo integral. Tem-se
x + 1
x
2
+ x + 1
=
x + 1
(x + 1/2)
2
+ 3/4
=
x + 1
(x p)
2
+ q
2
5
Nao existe formula para as constantes correspondentes `as razes complexas se exis-
tir contudo so um factor desse tipo pode obter-se fazendo a diferenca com os factores
associados `as razes reais.
132
em que p = 1/2, q =
3t/2,
(t) =
3/2 tem-se
(t) = f((t))
(t) =
3
3
1
1 + t
2
+
1
2
.
2t
1 + t
2
concluindo-se que
(t) =
3
3
arctg t +
1
2
ln(1 + t
2
)
Assim, uma vez que t =
2
3
_
x +
1
2
_
, tem-se
_
3
2
f(x) dx =
_
ln |x 1|
3
3
arctg(
2
3
3
x +
3
3
)
1
2
ln(1 +
4
3
(x +
1
2
)
2
)
_
3
2
Exemplo 4.6.9. Determine-se o integral
_
3
2
x
4
x
3
+ 6x
2
4x + 7
(x 1)(x
2
+ 2)
2
dx
Tem-se
f : R \ {1} R
f(x) =
x
4
x
3
+ 6x
2
4x + 7
(x 1)(x
2
+ 2)
2
=
A
x 1
+
Bx + C
x
2
+ 2
+
Dx + E
(x
2
+ 2)
2
em que
_
_
A + B = 1
B + C = 1
4A + 2B C + D = 6
2B + 2C + E D = 4
4A 2C E = 7
uma vez que do princpio da identidade de polinomios
x
4
x
3
+ 6x
2
4x + 7 =
= (A+B)x
4
+(CB)x
3
+(4A+2BC+D)x
2
+(2B+2C+ED)x+4A2CE .
133
Tem-se assim
_
3
2
f(x) dx =
_
3
2
1
x 1
dx
_
3
2
1
x
2
+ 2
dx +
_
3
2
x 1
(x
2
+ 2)
2
dx
O primeiro integral e imediato. Determine-se uma primitiva com vista ` a
determinac ao do segundo integral.
Tem-se
_
1
x
2
+ 2
dx =
1
2
_ 1
2
1 +
_
x
2
_
2
dx =
arctg
_
x
2
_
2
Analise-se agora o terceiro integral.
Tem-se
_
x 1
(x
2
+ 2)
2
dx =
_
x
(x
2
+ 2)
2
dx
_
1
(x
2
+ 2)
2
dx
em que
_
x
(x
2
+ 2)
2
dx =
1
2
1
(x
2
+ 2)
e
_
1
(x
2
+ 2)
2
dx =
1
2
_
2
(x
2
+ 2)
2
dx =
1
2
_
x
2
+ 2 x
2
(x
2
+ 2)
2
dx =
=
1
2
_
1
x
2
+ 2
dx
1
2
_
x
2
(x
2
+ 2)
2
dx
e usando o metodo de primitiva cao por partes na ultima parcela
_
x
2
(x
2
+ 2)
2
dx =
_
x
x
(x
2
+ 2)
2
dx =
x
2
1
x
2
+ 2
+
1
2
_
1
x
2
+ 2
dx
obtem-se
_
1
(x
2
+ 2)
2
dx =
1
4
_
x
x
2
+ 2
+
_
1
x
2
+ 2
dx
_
Assim
_
3
2
f(x) dx =
_
ln |x 1|
5
4
2
arctg
_
x
2
_
1
4
x + 2
x
2
+ 2
_
3
2
Em conclusao de uma forma sucinta tem-se como metodo de integra cao
das func oes racionais representadas pela frac cao pr opria p/q
134
(A)Decomposicao em fraccoes simples da funcao integranda.
(Ai) Sao polinomios irredutveis de coecientes reais:
ax + b, a = 0 (polinomio de 1
o
grau com raiz real).
ax
2
+bx+c, em que b
2
4ac < 0 (polin omio de 2
o
grau sem raizes reais).
(Aii) Qualquer polinomio q(x) de coecientes reais tem uma factorizac ao
q(x) = c(x
1
)
r
1
. . . (x
m
)
r
m
_
(x p
1
)
2
+ q
2
1
_
s
1
. . .
_
(x p
m
)
2
+ q
2
m
_
s
m
em que
1
, . . . ,
m
s ao razes reais de polin omios com graus de multiplici-
dade r
1
, . . . , r
m
e p
1
q
1
i, . . . , p
m
q
m
i, p
j
, q
j
R, j = 1, . . . , m s ao razes
complexas de polin omios com graus de multiplicidade s
1
, . . . , s
m
(Aiii)
`
A factorizac ao do polin omio associa-se a decomposicao em fracc oes
simples da fun cao racional.
p(x)
q(x)
=
A
11
x
1
+
A
12
(x
1
)
2
+. . .+
A
1r
1
(x
1
)
r
1
+. . .+
A
m1
x
m
+
A
m2
(x
m
)
2
. . .+
A
mr
m
(x
m
)
r
m
+
+
B
11
x + C
11
(x p
1
)
2
+ q
2
1
+
B
21
x + C
21
((x p
1
)
2
+ q
2
1
)
2
+ . . . +
B
s
1
1
x + C
s
1
1
((x p
1
)
2
+ q
2
1
)
s
1
+ . . . +
+. . . +
B
n1
x + C
n1
(x p
n
)
2
+ q
2
n
+
B
n2
x + C
n2
((x p
n
)
2
+ q
2
n
)
2
+ . . . +
B
ns
n
x + C
ns
n
((x p
n
)
2
+ q
2
n
)
s
n
.
(B) Integracao das fraccoes simples.
(B.i)
_
A
n
(x a)
n
dx =
_
_
A
n
(1 n)(x a)
n1
se n > 1
A
1
ln |x a| se n = 1
(B.ii)
_
B
m
x + C
m
((x p)
2
+ q
2
)
m
dx
Recorrendo `a substituic ao (t) = p + qt = x tem-se
135
_
B
m
p + B
m
qt + C
m
((qt)
2
+ q
2
)
m
.q dt =
_
M
m
t
(t
2
+ 1)
m
dt +
_
N
n
(t
2
+ 1)
n
dt
em que
_
M
m
t
(t
2
+ 1)
m
dt
=
_
_
M
m
2(1 m)(t
2
+ 1)
m1
se m > 1
M
1
2
ln(t
2
+ 1) se m = 1
e
_
N
m
(t
2
+ 1)
m
dt =
_
_
_
N
m
arctg(t) se m = 1
f ormula de recorrencia se m > 1
Note-se que se m > 1
_
dt
(t
2
+ 1)
m
=
2m3
2m2
_
dt
(t
2
+ 1)
m
+
1
2m2
.
t
(t
2
+ 1)
m1
.
sendo o resultado nal obtido aplicando m1 vezes a primitivacao por partes
ate obter primitiva de
1
t
2
+ 1
.
(C) Aplicac ao da propriedade da linearidade dos integrais.
4.7 Integracao de funcoes irracionais e de func oes
trigonometricas
Comece-se por analisar a integrac ao de classes de func oes irracionais. Considerem-
se as classes de funcoes:
(i) R
_
x,
_
x
x
_1
2
_
, R
(ii) R
_
x,
ax
2
+ bx + c
_
em que R(x, y) representa uma func ao racional separadamente em cada uma
das vari aveis x e y.
(i) Seja o integral
136
I =
_
x
2
x
1
R
_
x,
_
x
x
_1
2
_
dx
A substituic ao
_
x
x
_1
2
= t x =
t
2
1 t
2
= (t) e
(t) =
2( )t
(1 t
2
)
2
permite reduzir a determinac ao do integral I ` a determina cao de um integral
cuja func ao integranda e uma func ao racional.
I = 2( )
_
1
(x
2
)
1
(x
1
)
R
_
t
2
1 t
2
, t
_
t
(1 t
2
)
2
dt
Exemplo 4.7.1. Determine-se o integral
_ 7
4
5
4
1
_
(x 1)(2 x)
dx
Considere-se
_
2 x
x 1
_
1
2
= t x =
2t
2
+ 1
1 + t
2
= (t) e
(t) =
2t
(1 + t
2
)
2
Tem-se
_
1
_
(x 1)(2 x)
dx =
_ _
2 x
x 1
_1
2
1
2 x
dx
Ora
_
1
t
.
1
2 (t)
2t
(1 + t
2
)
2
dt = 2
_
1
(1 + t
2
)
dt = 2 arctg t + C
Assim
_ 7
4
5
4
1
_
(x 1)(2 x)
dx == [2 arctg t]
3
3
=
3
(ii) Seja o integral
I =
_
x
2
x
1
R
_
x,
ax
2
+ bx + c
_
dx
Se b
2
4ac > 0
O trinomio ax
2
+bx+c tem duas razes reais , e e aplic avel o procedimento
anterior j a que
137
ax
2
+ bx + c =
a (x )
1
2
(x )
1
2
=
=
a
_
x
x
_1
2
(x ) , a > 0
Se b
2
4ac < 0, a > 0
A substituicao
ax
2
+ bx + c =
ax + t
em que
x =
t
2
c
b 2
at
= (t) t =
1
(x)
permite reduzir a determinac ao do integral I ` a determina cao de um integral
cuja func ao integranda e uma func ao racional.
I =
_
1
(x
2
)
1
(x
1
)
R((t), t)
(t) dt
Exemplo 4.7.2. Determine-se o integral
_
2
1
1
(x
2
+ k
2
)
x
2
+ k
2
dx
Considere-se
x
2
+ k
2
= x + t x =
k t
2
2t
= (t) e
(t) =
k
2
+ t
2
2t
2
Tem-se
_
2
1
1
(x
2
+ k
2
)
x
2
+ k
2
dx =
_
t
2
t
1
1
(x + t)
2
(x + t)
k
2
+ t
2
2t
2
dt =
= 4
_
t
2
t
1
t
(t
2
+ k
2
)
2
dt =
_
2
t
2
+ k
2
_
t
2
t
1
em que t
1
= 1 +
1 + k
2
e t
2
= 2 +
4 + k
2
.
Considere-se a nalizar a secc ao a integracao de uma classe de funcoes
trigonometricas. Seja o integral
I =
_
x
2
x
1
R(sen x, cos x) dx
138
A substituic ao
tg
x
2
= t x = 2 arctg t = (t) ,
(t) =
2
1 + t
2
e
sen x =
2t
1 + t
2
, cos x =
1 t
2
1 + t
2
,
permite reduzir a determinac ao do integral I ` a determina cao de um integral
cuja func ao integranda e uma func ao racional.
I = 2
_
1
(x
2
)
1
(x
1
)
R
_
2t
1 + t
2
,
1 t
2
1 + t
2
_
1
1 + t
2
dt
Exemplo 4.7.3. Determine-se o integral
_
/2
0
1
1 + sen x + cos x
dx
Considere-se
x = 2 arctg t
Tem-se
_
/2
0
1
1 + sen x + cos x
dx =
_
1
0
1
_
2t
1+t
2
+
1t
2
1+t
2
+ 1
_
2
1 + t
2
dt =
=
_
1
0
1
t + 1
dt = [ln |t + 1|]
1
0
= ln 2
j a que t
1
= 0 e t
2
= 1
4.8 Exerccios
4.8.1 Exerccios resolvidos
Exerc 4.8.1. Determine o valor dos seguintes integrais:
i)
_
1
0
(x
2
x)dx ii)
_
1
0
x cos x dx
Resolucao.
i) Directamente da f ormula de Barrow
_
1
0
(x
2
x)dx = [
x
3
3
2
3
x
3
2
]
1
0
=
1
3
139
ii) Recorrendo ao metodo de integrac ao por partes
_
1
0
x cos x dx = [x sen x]
1
0
_
1
0
sen x dx = sen 1 + cos 1 1
Exerc 4.8.2. Determine o valor dos integrais
i)
_
1/2
0
4x arcsen x
2
_
4 (
2x)
4
dx ii)
_
1
0
arctg x dx.
Resolucao.
i) Directamente da f ormula de Barrow
_
1/2
0
8x arcsen x
2
_
4 (
2x)
4
dx =
_
arcsen
2
x
2
1/2
0
=
2
36
ii) Recorrendo ao metodo de integrac ao por partes
_
1
0
arctg x dx = [x arctg x]
1
0
_
1
0
x
1 + x
2
dx =
= (1. arctg 1 0. arctg 0)
_
ln
1 + x
2
_
1
0
= /4 ln
2
Exerc 4.8.3. Determine o valor dos integrais
i)
_
e
1
dx
x
_
4 (ln x)
2
, ii)
_
2
0
sen x xdx.
Resolucao.
i) Directamente da f ormula de Barrow
_
e
1
dx
x
_
4 (ln x)
2
=
_
e
1
1
2x
_
1 (
ln x
2
)
2
dx =
_
arcsen
_
ln x
2
__
e
1
=
6
.
140
ii) Tem-se, recorrendo ao metodo de integra cao por partes,
_
2
0
sen x xdx = [cos x x]
2
0
_
2
0
cos x xdx
Aplicando mais uma vez o metodo de integrac ao por partes tem-se
_
2
0
cos x xdx = [sen x x]
2
0
_
2
0
sen x xdx
Assim obtem-se a equac ao
_
2
0
sen x xdx = [cos x x]
2
0
+ [sen xx]
2
0
_
2
0
sen x xdx
Concluindo-se que
_
2
0
sen x xdx =
2
2
Exerc 4.8.4. Determine o valor dos integrais
i)
_
1
0
x arctg x dx ii)
_
1
0
x
2
(x + 2)(x + 1)
2
dx
Resolucao.
i)
_
1
0
x arctg x dx = [
x
2
2
arctg x]
1
0
1
2
_
1
0
x
2
1 + x
2
x dx =
=
8
1
2
[x arctg x]
1
0
=
4
1
2
ii) A func ao integranda e uma func ao racional que se decomp oe em fracc oes
simples
_
1
0
x
2
(x + 2)(x + 1)
2
dx = A
_
1
0
1
x + 2
dx+B
_
1
0
1
(x + 1)
2
dx+C
_
1
0
1
x + 1
dx =
= A[ln(x + 2)]
1
0
B[
1
x + 1
]
1
0
+ C[ln(x + 1)]
1
0
.
A determinac ao das constantes A, B, C e feita pelo metodo dos coe-
cientes indeterminados ja que
x
2
= (A + C)x
2
+ (2A + B + 3C)x + A + 2B + 2C
141
Tem-se A = 4, B = 1, C = 3 concluindo-se que:
_
1
0
x
2
(x + 2)(x + 1)
2
dx = 4 ln(3/2) + 1/2 3 ln(2).
Exerc 4.8.5. Determine, usando o metodo de substituicao, o valor do inte-
gral
_
5
2
x
x 1 + 2
dx
Sugestao: Utilize a substituicao
x 1 = t
Resolucao. Aplicando o metodo de integracao por substituicao
_
5
2
x
x 1 + 2
dx =
_
2
1
t
2
+ 1
t + 2
.t dt = .
=
_
2
1
t
3
+ t
t + 2
dt =
_
2
1
_
t
2
2t + 5 +
10
t + 2
_
dt =
=
_
t
3
/3 t
2
+ 5t 10 ln(t + 2)
2
1
= 13/3 10 ln(4/3)
Exerc 4.8.6. Determine, usando o metodo de substituicao, o valor do inte-
gral
_
2
1
dx
(e
x
1)
2
.
Sugestao: Utilize a substituicao e
x
= t
Resolucao. Aplicando o metodo de integracao por substituicao
_
2
1
dx
(e
x
1)
2
=
_
e
2
e
dt
(t 1)
2
t
= .
=
_
e
2
e
_
A
t
+
B
t 1
+
C
(t 1)
2
_
dt =
_
e
2
e
1
t
dt+
_
e
2
e
1
t 1
dt+
_
e
2
e
1
(t 1)
2
dt = .
= [ln t]
e
2
e
[ln (t 1)]
e
2
e
_
1
t 1
_
e
2
e
= ln
_
e
2
e
2
1
_
+
e
e
2
1
.
142
Exerc 4.8.7. Calcule o seguinte integral por substituicao, recorrendo `a funcao
(t) = 2 arctg(t)
_
2
0
1
1 + sen x
dx.
(Sugestao: sen x =
2 tg(
x
2
)
1 + tg
2
(
x
2
)
)
Resolucao. Sendo x = (t) = 2 arctg(t),
(t) =
2
1 + t
2
e
sen(2 arctg(t)) =
2 tg(
(2 arctg(t))
2
)
1 + tg
2
(
(2 arctg(t))
2
)
=
2t
1 + t
2
tem-se
_
2
0
1
1 + sen x
dx =
_
1
0
1
1 +
2t
1 + t
2
2
1 + t
2
dt =
_
1
0
2
(1 + t)
2
dt = [2(t + 1)
1
]
1
0
= 1.
Exerc 4.8.8. Considere a funcao f : [a, b] R injectiva e diferenciavel,
com derivada contnua, tal que, f
(y).y dy
Ora sendo y = f(x)
(f
1
)
(y) = (f
1
)
(f(x)) =
1
f
(x)
Assim integrando por substituic ao em que x = f
1
(y)
_
d
c
(f
1
)
(y).y dy =
_
f
1
(d)
f
1
(c)
1
f
(x)
.f(x).f
(x) dx.
143
Exerc 4.8.9. Considere a funcao F :]0, [R
F (x) =
_
cos x
0
1
_
(1 t
2
)(4 t
2
)
dt
i) Dena a derivada de F(x)
ii) A funcao F e monotona? Justique.
Resolucao.
i) Sendo
F
1
(x) =
_
x
0
1
_
(1 t
2
)(4 t
2
)
dt e f(x) = cos x
a func ao F = F
1
f. Assim pela derivada da func ao composta
F
(x) = F
1
(f(x)).f
(x)
Ora f
1
(x) =
1
_
(1 x
2
)(4 x
2
)
x ] 1, 1[
Em conclusao
F
(x) =
sen x
_
(1 cos
2
x)(4 cos
2
x)
x ]0, [
ii) A func ao F e mon otona, estritamente crescente, em x ]0, [ uma vez
que
F
(x) =
sen x
_
(1 cos
2
x)(4 cos
2
x)
> 0, x ]0, [
Exerc 4.8.10.
Considere a funcao G : R
+
{0} R
G(x) =
_
x+x
2
0
t
2
t
4
+ 1
dt
i) Dena justicando a funcao derivada de G.
ii) O contradomnio de G esta contido em R
+
{0}? Justique.
144
Resolucao.
i) Sendo
G
1
(x) =
_
x
0
t
2
t
4
+ 1
dt e f(x) = x + x
2
a func ao G = G
1
f. Assim pela derivada da func ao composta
G
(x) = G
1
(f(x)).f
(x)
Ora f(x) = x + x
2
e pelo teorema fundamental do calculo
G
1
(x) =
x
2
x
4
+ 1
Em conclusao tem-se
G
(x) =
(x + x
2
)
2
(x + x
2
)
4
+ 1
(2x + 1)
ii) Sim, tem-se CD
G
= {G(x) : x R
+
{0}} R
+
{0}. Da alnea
anterior deduz-se que G, em que G(0) = 0, e uma func ao contnua
crescente, pois G
1 + t
2
dt.
i) Calcule G(0).
ii) A funcao G e diferenciavel no seu domnio? Justique e em caso armativo
determine a funcao derivada de G.
Resolucao.
i) Tem-se pela f ormula de Barrow
G(0) =
_
1
0
t
1 + t
2
dt = [(1 + t
2
)
1
2
]
1
0
=
2 1.
145
ii) A func ao g(t) =
t
1 + t
2
e uma funcao contnua em R e do teorema
fundamental do calculo, G
1
(x) =
_
x
0
t
1 + t
2
dt e diferenci avel em R.
Assim a funcao G = G
1
f, em que f(x) = cos 2x, e diferenci avel pois
resulta da composicao de fun coes diferenci aveis tendo-se
G
(x) = 2 sen 2x
cos 2x
1 + cos
2
2x
Exerc 4.8.12. Considere a funcao G : ]1/2, +[ R
G(x) =
_
2+cos x
1
1
t
3
+ 2t
2
+ t
dt.
i) Calcule G(
3
2
).
ii) Justique que G e diferenciavel em ]1/2, +[ e calcule G
(x), para
x > 1/2.
Resolucao.
i)
G(
3
2
) =
_
2+cos 3/2
1
1
t
3
+ 2t
2
+ t
dt =
_
2
1
1
t
3
+ 2t
2
+ t
dt.
A func ao integrando e uma func ao racional que se decompoe em fraccoes
simples
1
t
3
+ 2t
2
+ t
=
A
t
+
B
t + 1
+
C
(t + 1)
2
em que A = 1, B = A e C = 1 ja que
1 = (A + B)t
2
+ (2A + B + C)t + A .
Assim
_
2
1
(
1
t
1
t + 1
1
(t + 1)
2
)dt = [ln t ln(t + 1) + (t + 1)
1
]
2
1
= 2 ln 2ln 31/6.
146
ii) Do teorema fundamental do calculo, uma vez que f(t) =
1
t
3
+ 2t
2
+ t
e
uma func ao contnua no domnio e, do teorema da derivada da func ao
composta tem-se que Ge uma func ao diferenci avel em ]1/2, +[ tendo-
se para x > 1/2
G
(x) =
sen x
(2 + cos x)
3
+ 2(2 + cos x)
2
+ (2 + cos x)
Exerc 4.8.13. Sabendo que f tem derivadas contnuas ate `a 2
a
ordem em
R, e que para a R,
_
x
a
f
(a)(x a) +
_
x
a
f
(t)(x t)dt.
Resolucao. Recorrendo ao metodo de integrac ao por partes
f(x) f(a) =
_
x
a
f
(t)dt = [tf
(t)]
x
a
_
x
a
tf
(t)dt =
= xf
(x)af
(a)
_
x
a
tf
(t)dt = xf
(x)af
(a)+xf
(a)xf
(a)
_
x
a
tf
(t)dt =
= (xa)f
(a)+x(f
(x)f
(a))
_
x
a
tf
(t)dt = (xa)f
(a)+x
_
x
a
f
(t)dt
_
x
a
tf
(t)dt
Assim
f(x) f(a) = f
(a)(x a) +
_
x
a
f
(t)(x t)dt.
Exerc 4.8.14. Seja f : [a, b] R uma funcao diferenciavel. Mostre que
se F e uma primitiva de f em [a, b],
_
b
a
f
2
(x)dx = F(b)F
(b) F(a)F
(a)
_
b
a
F(x)F
(x)dx.
Resolucao. Sendo f e diferenci avel e F uma primitiva de f tem-se que
f e contnua e que F
_
b
a
f
(x)F(x)dx
Ora
[f(x)F(x)]
b
a
= F(b)F
(b) F(a)F
(a).
147
e
_
b
a
f
(x)F(x)dx =
_
b
a
F(x)F
(x)dx.
o que conduz de imediato `a proposicao que se queria demonstrar.
Exerc 4.8.15. Calcule a area da regiao limitadas pela curva y
2
= x(1 x)
2
e as rectas x = 0 e x = 1/2.
Resolucao. Sendo A a area da regiao tem-se
A = 2
_
1/2
0
_
x(1 x)
2
dx = 2
_
1/2
0
x (1 x) dx = 2
_
_
1/2
0
x
1/2
dx
_
1/2
0
x
3/2
dx
_
Aplicando a f ormula de Barrow obtem-se
A = 2
_
_
2
3
x
3/2
_
1/2
0
_
2
5
x
5/2
_
1/2
0
_
=
27
30
2.
Exerc 4.8.16. Determine a area da regiao plana delimitada pelas rectas
verticais de equacoes x = 1, x = 1 e pelos gracos das funcoes arctg |x|,
x
2
1.
As funcoes arctg |x|, x
2
1 sao func oes pares tendo-se
A =
_
1
1
_
arctg |x| (x
2
1)
_
dx = 2
_
1
0
_
arctg x (x
2
1)
_
dx
Ora usando a primitivacao por partes
_
1. arctg x dx = x. arctg x
_
x
x
2
+ 1
dx = x arctg x
1
2
ln(x
2
+ 1)
Assim
A = 2
_
x arctg x
1
2
ln(x
2
+ 1)
x
3
3
+ x
_
1
0
=
2
+
4
3
ln 2
148
4.8.2 Enunciados de exerccios
Exerc 4.8.17. Determine o valor dos seguintes integrais
i)
_
2
1
(
1
x
1)dx ii)
_
1
0
1
x
2
+ 3x + 2
dx
Exerc 4.8.18. Determine o valor dos seguintes integrais
i)
_
1
0
(x e
x
)dx ii)
_
1
0
x
1 + x
dx
Exerc 4.8.19. Determine o valor dos seguintes integrais
i)
_
2
0
(x + sen x)dx ii)
_
1
0
1
(x
2
+ 1)(x + 1)
dx
Exerc 4.8.20. Determine o valor dos seguintes integrais
i)
_
2
0
(1 cos x)dx ii)
_
1
0
x
1 x dx
Exerc 4.8.21. Determine o valor dos seguintes integrais
i)
_
2
1
(
1
x
1)dx ii)
_
1
0
xe
x
dx
Exerc 4.8.22. Calcule por substituicao, recorrendo `a funcao (t) = 2 arctg(t),
o integral
_
2
0
1
2 + cos x
dx.
(Sugestao: cos x =
1 tg
2
(
x
2
)
1 + tg
2
(
x
2
)
)
Exerc 4.8.23. Calcule por substituicao, recorrendo `a funcao (t) =
1 t
2
1 + t
2
,
o integral
_
1
0
1
1 + x
_
1 x
1 + x
dx.
Exerc 4.8.24. Calcule por substituicao, recorrendo `a funcao (t) = 2 arctg(t),
o integral
_
2
0
3
sen x + 2
dx.
(Sugestoes: sen x =
2 tg(
x
2
)
1 + tg
2
(
x
2
)
; t
2
+ t + 1 = (t +
1
2
)
2
+
3
4
)
149
Exerc 4.8.25. Considere a funcao F : ]1/2, +[ R, denida por
F(x) =
_
2x
1
t
t
2
+ 1
dt.
i) Calcule F(1).
ii) Justique que F e diferenciavel em ]1/2, +[ e calcule F
t + 1
dt.
i) Calcule F(1).
ii) Justique que F e diferenciavel em ]1/2, +[ e calcule F
n=1
a
n
.
em que a
n
e uma sucessao de termos reais e natural pensar na sucessao de
termos reais
151
s
1
= a
1
s
2
= a
1
+ a
2
.
.
.
s
n
= a
1
+ a
2
+ . . . + a
n
.
Nem sempre e possvel contudo atribuir signicado ao smbolo considerado
mas, se a sucess ao s
n
convergir naturalmente
lim
n
s
n
=
+
n=1
a
n
Denicao 5.1.1. Sejam as sucessoes de termos reais a
n
e s
n
= a
1
+ a
2
+
. . . + a
n
. Designa-se por serie numerica o objecto matematico denido pelo
par ordenado (a
n
, s
n
)
A serie numerica por simplicidade representa-se por
+
n=1
a
n
em que a sucess ao a
n
e designada por sucessao dos termos da serie e a sucess ao
s
n
e designada por sucess ao das somas parciais. Note-se que as duas sucess oes
a
n
e s
n
s ao determinadas uma pela outra
a
n
s
n
= a
1
+ a
2
+ . . . + a
n
s
n
a
n
= s
n
s
n1
Denicao 5.1.2. A serie numerica
+
n=1
a
n
e uma serie convergente(divergente) se e so se a sucessao s
n
e uma sucessao
convergente(divergente).
Se a serie e convergente a soma da serie e o limite da sucessao s
n
i. e.
+
n=1
a
n
= lim
n
s
n
152
Teorema 5.1.3. Se a serie
+
n=1
a
n
e convergente entao a sucessao a
n
e um
innitesimo
Demonstracao.
+
n=1
a
n
e uma serie convergente se e so se a sucessao
s
n
= a
1
+ a
2
+ . . . + a
n
e convergente. Tem-se
a
n+1
= s
n+1
s
n
.
Ora sendo s
n
uma sucess ao convergente, uma vez que s
n+1
e uma subsucess ao
de s
n
,
lim
n+
a
n+1
= lim
n+
s
n+1
lim
n+
s
n
= 0
Exemplo 5.1.4. Seja a serie geometrica
+
n=1
a.r
n1
, a R
Analise-se para que valores de r R a serie e convergente.
r = 1
s
n
= a + a + . . . + a = n.a
A serie e divergente pois s
n
e uma sucessao divergente.
r = 1
s
n
r.s
n
= a(1 r
n
) s
n
= a.
1 r
n
1 r
Como
lim
n+
r
n
=
_
_
+ se r > 1
0 se |r| < 1
n ao existe se r 1.
tem-se que a sucess ao s
n
converge se e so se |r| < 1. Consequentemente a
serie geometrica indicada e convergente se e s o se |r| < 1 e
+
n=1
a.r
n1
=
a
1 r
.
153
Exemplo 5.1.5. Analise-se a convergencia da serie
+
n=1
1
n
Tem-se
a
n
=
1
n
e s
n
= 1 +
1
2
+ . . . +
1
n
Ora
s
n
1
n
+ . . . +
1
n
=
n
n
=
n +
consequentemente a sucess ao s
n
e divergente e a serie
+
n=1
1
n
e divergente.
Este exemplo mostra que a condic ao a
n
0 e uma condic ao necessaria
de convergencia mas nao e condic ao suciente, pois a
n
0 e a serie e
divergente.
Exemplo 5.1.6. Seja a serie de Mengoli
+
n=1
1
n(n + 1)
Analise-se se a serie e convergente.
Tem-se
a
n
=
1
n(n + 1)
e s
n
=
1
1.2
+
1
2.3
+ . . . +
1
n(n + 1)
Ora
a
n
=
1
n(n + 1)
=
1
n
1
n + 1
vindo
s
1
= 1 1/2
s
2
= (1 1/2) + (1/2 1/3) = 1 1/3
.
.
.
s
n
= (1 1/2) + (1/2 1/3) + . . . + (1/n) + (1/n 1/(n + 1)) .
154
Assim a sucess ao s
n
= 1 1/(n + 1) e uma sucess ao convergente que tem
como limite 1. A serie de Mengoli indicada e pois uma serie convergente e
+
n=1
1
n(n + 1)
= 1
Mais geralmente tem-se a proposic ao seguinte
Proposicao 5.1.7. A serie
+
n=1
a
n
em que
a
n
= u
n
u
n+1
n N
e a sucessao u
n
sao convergentes ou divergentes simultaneamente e em caso
de convergencia
+
n=1
a
n
= u
1
lim
n+
u
n+1
Demonstracao. Considere-se a sucess ao
s
n
= a
1
+a
2
+. . . +a
n
= (u
1
u
2
) +(u
2
u
3
) +. . . +(u
n
u
n+1
) = u
1
u
n+1
.
As sucess oes s
n
e u
n
, atendendo ` a express ao anterior, tem a mesma natureza.
Sendo convergentes
lim
n+
s
n
= u
1
lim
n+
u
n+1
.
Conclui-se esta secc ao com resultados de operacoes algebricas envolvendo
series.
Teorema 5.1.8.
i) Sejam
+
n=1
a
n
e
+
n=1
a
n
,
duas series convergentes de somas respectivamente s
e s
. Entao a serie
+
n=1
a
n
, em que a
n
= a
n
+ a
n
, e convergente de soma s = s
+ s
.
155
ii) Se
+
n=1
a
n
e uma serie convergente de soma s, e b R. Entao a serie
+
n=1
b
n
em que
b
n
= ba
n
e convergente de soma bs.
Demonstracao.
i) Sejam s
n
e s
n
as sucessoes de somas parciais associadas `as series de
termos gerais respectivamente a
n
e a
n
.
Tem-se
s
n
= a
1
+ . . . + a
n
= (a
1
+ a
1
) + . . . + (a
n
+ a
n
) =
= (a
1
+ . . . + a
n
) + (a
1
+ . . . + a
n
) = s
n
+ s
n
.
Concluindo-se que a sucess ao s
n
e convergente e
s
n
s
+ s
= s
ii) Sendo t
n
a sucess ao das somas parciais associada ` a serie de termo geral
ba
n
tem-se
b.a
1
+ . . . + b.a
n
= b.(a
1
+ . . . + a
n
) b.s
Observacao 5.1.9.
Quando sao divergentes as series
+
n=1
a
n
e
+
n=1
a
n
, a serie
+
n=1
(a
n
+ a
n
),
pode divergir ou convergir.
Quando uma das series
+
n=1
a
n
ou
+
n=1
a
n
converge e a outra diverge a serie
+
n=1
(a
n
+ a
n
),
diverge.
156
5.2 Criterio de Cauchy. Consequencias
Em geral a convergencia de uma serie n ao e analisada directamente a partir
da sucessao das somas parciais mas recorrendo a criterios de convergencia.
Analisa-se nesta seccao uma condic ao necess aria e suciente de convergencia
designada por criterio de Cauchy.
Teorema 5.2.1 (Criterio de Cauchy). A serie
+
n=1
a
n
e convergente se e so se
>0
pN
r q > p |a
q+1
+ . . . + a
r
| <
Demonstracao.
A serie
+
n=1
a
n
e convergente se e s o se a sucessao s
n
= a
1
+ . . . + a
n
e
uma sucessao convergente. Ora a sucess ao s
n
e uma sucess ao convergente se
e s o se a sucess ao s
n
e uma sucess ao de Cauchy. Por outro lado s
n
e uma
sucess ao de Cauchy se e s o se
>0
pN
r q > p |s
r
s
q
| <
Atendendo a que
s
r
s
q
= a
q+1
+ . . . + a
r
.
tem-se assim o criterio de Cauchy.
Observacao 5.2.2. A condicao necessaria de convergencia a
n
0 pode
obter-se a partir deste criterio:
>0
pN
r q > p |a
q+1
+ . . . + a
r
| <
r=q+1
|a
q+1
| <
Exemplo 5.2.3. Analise-se se a serie harmonica,
+
n=1
1
n
.
e uma serie divergente
157
Tem-se para r = 2q que
1
q + 1
+
1
q + 2
+ . . . +
1
2q
1
2q
+ . . . +
1
2q
=
1
2
Assim pelo criterio de Cauchy a serie e divergente.
Corolario 5.2.4. As series numericas
+
n=1
a
n
e
+
n=1
b
n
em que existe p N tal que para n > p, a
n
= b
n
, sao da mesma natureza (a
natureza da serie nao depende dos p primeiros termos)
Exemplo 5.2.5. Tem a mesma natureza as series numericas
1
2
+
1
6
+
1
12
+ . . . +
1
n(n + 1)
+ . . . =
+
n=1
1
n(n + 1)
2 + 3 +
1
12
+ . . . +
1
n(n + 1)
+ . . . = 2 + 3 +
+
n=3
1
n(n + 1)
Sao ambas series convergentes ainda que com somas diferentes.
Corolario 5.2.6. A natureza de uma serie nao e alterada se for suprimido
um n umero nito arbitrario de termos i.e. para p N as series
+
n=1
a
n
e
+
n=1
b
n
,
em que b
n
= a
n+p
, sao da mesma natureza.
Exemplo 5.2.7. Sao series simultaneamente divergentes as series:
1 +
1
2
+
1
3
+ . . . +
1
n
+ . . . =
+
n=1
1
n
1
3
+
1
4
+ . . . +
1
n + 2
+ . . . =
+
n=1
1
n + 2
158
5.3 Criterios de convergencia para series de
termos nao negativos
Teorema 5.3.1. Sendo a
n
0 a serie
+
n=1
a
n
e convergente se e so se a sucessao das somas parciais e majorada.
Demonstracao. A sucessao
s
n
=
n
k=1
a
n
e uma sucessao crescente j a que, como a
n+1
0,
s
n+1
= s
n
+ a
n+1
s
n
.
Ora uma sucess ao s
n
crescente e convergente se e so se e majorada.
Teorema 5.3.2 (Criterio geral de comparac ao). Seja
0 a
n
b
n
, n N
i) Se
+
n=1
b
n
e uma serie convergente entao
+
n=1
a
n
e uma serie convergente.
ii) Se
+
n=1
a
n
e uma serie divergente entao
+
n=1
b
n
e uma serie divergente.
Demonstracao.
i) Sejam as sucessoes das somas parciais
s
n
= a
1
+ . . . + a
n
, e t
n
= b
1
+ . . . + b
n
.
Como 0 a
n
b
n
tem-se s
n
t
n
. Ora sendo
+
n=1
b
n
uma serie conver-
gente do teorema 5.3.1, t
n
e uma sucess ao majorada consequentemente
a sucessao s
n
e uma sucess ao majorada concluindo-se que
+
n=1
a
n
e uma
serie convergente.
159
ii) Tendo presente que sendo A, B proposic oes, A B
B
A, tem-se
de imediato ii) de i) .
Exemplo 5.3.3. Analise-se a convergencia da serie
+
n=1
1
n
2
.
A serie a analisar tem a mesma natureza que a serie
+
n=1
1
(n + 1)
2
.
Ora
1
(n + 1)
2
1
n(n + 1)
n N
em que
+
n=1
1
n(n + 1)
e uma serie de Mengoli convergente. Do criterio geral
de comparac ao tem-se ent ao que a serie
+
n=1
1
(n + 1)
2
e uma serie convergente.
Exemplo 5.3.4. Analise-se a natureza da serie
+
n=1
1
n
1/3
Uma vez que se tem
1
n
1
n
1/3
e a serie
+
n=1
1
n
e divergente a serie consi-
derada e uma serie divergente.
Mais geralmente tem-se que as series de Dirichlet
+
n=1
1
n
p
s ao series convergentes se p > 1 e series divergentes se p 1
Teorema 5.3.5 (Criterio geral de comparac ao na forma de limite). Sejam
a
n
0 e b
n
> 0. Entao
i) Se existir o limite em R de a
n
/b
n
e for diferente de zero, as series
+
n=1
a
n
e
+
n=1
b
n
tem a mesma natureza.
160
ii) Se
lim
n+
a
n
b
n
= 0
tem-se que se
+
n=1
b
n
e uma serie convergente entao
+
n=1
a
n
e uma serie con-
vergente.
iii) Se
lim
n+
a
n
b
n
= +
tem-se que se
+
n=1
a
n
e uma serie divergente entao
+
n=1
b
n
e uma serie diver-
gente.
Demonstracao.
i) Seja
lim
n+
a
n
b
n
= l = 0
Ent ao
]0,l[
n > p 0 < l <
a
n
b
n
< l +
concluindo-se que
0 < k
1
<
a
n
b
n
< k
2
em que k
1
= l , k
2
= l + . Assim do criterio geral de comparac ao
tem-se que se
+
n=1
b
n
e convergente
+
n=1
a
n
e convergente e que, se
+
n=1
a
n
e divergente
+
n=1
b
n
e divergente.
ii) Sendo o limite zero
>0
n > p 0
a
n
b
n
a
n
b
n
obtendo-se a conclusao do criterio geral de compara cao.
iii) Sendo o limite +
>0
n > p
a
n
b
n
a
n
b
n
obtendo-se a conclusao do criterio geral de compara cao.
161
Exemplo 5.3.6. Analise-se a natureza da serie
+
n=1
n
1
4
_
1
n + 1
n
_
Sendo
a
n
= n
1
4
_
1
n + 1
n
_
=
n
1
4
n
n + 1 + (n + 1)
n
tem-se
lim
a
n
n
3
2
+
1
4
=
1
2
= 0
Assim a serie
+
n=1
a
n
e uma serie convergente pois tem a mesma natureza que
a serie
+
n=1
1
n
5
4
, que e uma serie de Dirichlet convergente.
Teorema 5.3.7 (Criterio da razao). Seja
+
n=1
a
n
uma serie de termos nao
negativos
i) Se existe r < 1 tal que a partir de certa ordem
a
n+1
a
n
r
entao
+
n=1
a
n
e convergente.
ii) Se a partir de certa ordem
a
n+1
a
n
1
entao
+
n=1
a
n
e divergente.
Demonstracao.
162
i) Seja b
n
= r
n
. A serie geometrica
+
n=1
b
n
converge quando r < 1. Ora
a
n+1
a
n
r =
b
n+1
b
n
Assim
a
n+1
b
n+1
a
n
b
n
e a sucess ao
a
n
b
n
e decrescente tendo-se
a
n
b
n
a
1
b
1
= k
Recorrendo ao criterio de comparacao, uma vez que a
n
kb
n
, se a serie
+
n=1
b
n
e convergente e tambem convergente
+
n=1
a
n
.
ii) Se a partir de certa ordem a
n+1
a
n
ent ao a
n
n ao tende para zero e
consequentemente a serie
+
n=1
a
n
n ao e convergente.
Corolario 5.3.8 (Criterio de DAlembert). Seja
+
n=1
a
n
uma serie de termos
positivos e suponha-se que existe
lim
n+
a
n+1
a
n
= l
Se l < 1 a serie
+
n=1
a
n
converge.
Se l > 1 a serie
+
n=1
a
n
diverge.
Se l = 1
+
a serie
+
n=1
a
n
diverge.
Demonstracao.
Se l < 1 escolhido ]0, 1 l[ tem-se a partir de certa ordem
a
n+1
a
n
l + < 1
vindo do criterio da raz ao que a serie
+
n=1
a
n
converge.
163
Nos restantes casos basta vericar que a condic ao necessaria de con-
vergencia da serie nao se verica.
Exemplo 5.3.9. Considere-se a serie
+
n=1
a
n
n!
, a > 1
e analise-se se e convergente.
Tem-se
lim
n+
a
n+1
a
n
= lim
n+
a
n+1
(n+1)!
a
n
n!
= lim
n+
a
n + 1
= 0
concluindo-se pelo criterio de DAlembert que a serie e convergente.
Como consequencia da convergencia da serie
lim
n+
a
n
n!
= 0
i.e. quando n +, a
n
e desprez avel relativamente a n!, a
n
= o(n!).
Exemplo 5.3.10. Considere-se a serie
+
n=1
n!
n
n
e analise-se se e convergente.
Tem-se
lim
n+
a
n+1
a
n
= lim
n+
(n+1)!
(n+1)
n+1
n!
n
n
= lim
n+
_
n
n + 1
_
n
=
1
e
< 1
concluindo-se pelo criterio de DAlembert que a serie e convergente.
Como consequencia da convergencia da serie
lim
n+
n!
n
n
= 0
i.e. quando n +, n! e desprez avel relativamente a n
n
, n! = o(n
n
).
Teorema 5.3.11 (Criterio da raiz). Seja
+
n=1
a
n
uma serie de termos nao
negativos.
164
i) Se existe r < 1 tal que a partir de certa ordem
n
a
n
r entao a serie
+
n=1
a
n
e convergente.
ii) Se a partir de certa ordem
n
a
n
1 entao a serie
+
n=1
a
n
e divergente.
Demonstracao.
i) Se para n > p se tem a
n
r
n
em que r < 1 ent ao
+
n=1
r
n
serie convergente
+
n=1
a
n
serie convergente.
ii) Se existirem innitos n umeros naturais tais que
n
a
n
1, a sucess ao a
n
n ao e um innitesimo e consequentemente a serie
+
n=1
a
n
n ao converge.
Corolario 5.3.12. Seja
+
n=1
a
n
uma serie de termos nao negativos e
lim
n
a
n
= l
i) Se l < 1 a serie
+
n=1
a
n
e convergente.
ii) l > 1 a serie
+
n=1
a
n
e divergente.
iii) l = 1 nada se pode concluir.
Exemplo 5.3.13. Analise-se a convergencia da serie
+
n=1
na
n
Tem-se
lim
n+
n
na
n
= a
concluindo-se pelo criterio de Cauchy que a serie e convergente se a < 1 e
divergente se a > 1. Para a = 1 a serie e divergente uma vez que n ao satisfaz
a condic ao necess aria para a convergencia de series.
Observacao 5.3.14. Tem-se
lim
n+
n
_
1
n
2
= 1 e lim
n+
n
_
1
n
= 1
165
Sendo a serie
+
n=1
1
n
2
convergente e a serie
+
n=1
1
n
divergente conclui-se que
sendo l = 1 do corolario 5.3.12 nada se pode concluir quanto `a natureza da
serie.
Teorema 5.3.15 (Criterio integral). A serie
+
n=1
f(n) ,
em que f uma funcao contnua, decrescente e positiva em {x R : x 1},
e uma serie convergente se e so se existe, em R,
lim
m+
_
m
1
f(x) dx
Demonstracao. Como a func ao f e contnua, decrescente e positiva no
intervalo [k, k + 1], k N, tem-se
f(k + 1)
_
k+1
k
f(x) dx f(k)
Ora considerando n1 desigualdades para k = 1, . . . , n1, e somando termo
a termo tem-se
s
n
f(1) =
n
k=1
f(k) f(1)
_
n
1
f(x) dx
n1
k=1
f(k) = s
n1
o que permite obter de imediato o criterio integral.
Este criterio integral permite estabelecer a convergencia das series de
Dirichlet. Considerando lim
m+
_
m
1
f(x) dx em que f(x) =
1
x
p
tem-se
_
n
1
1
x
dx = ln n ln 1
e se p = 1
_
n
1
1
x
p
dx =
1
1 p
(
1
n
p1
1)
Assim da existencia em R de lim
m+
_
m
1
f(x) dx conclui-se que as series de
Dirichlet s ao divergentes se p 1 e convergentes se p > 1.
166
5.4 Series absolutamente convergentes
Os criterios de convergencia para series
+
n=1
a
n
em que a
n
0 permitem analisar evidentemente a convergencia das series
+
n=1
b
n
em que b
n
= a
n
, para n p com p N. O conceito de serie ab-
solutamente convergente, que se introduz nesta secc ao vai permitir alargar
o conjunto das series cujos criterios de convergencia de series de termos nao
negativos se podem aplicar.
Denicao 5.4.1. A serie
+
n=1
a
n
e uma serie absolutamente convergente se
n=1
a
n
e uma serie convergente;
e
n=1
|a
n
| e uma serie convergente.
A serie
+
n=1
a
n
diz-se uma serie simplesmente convergente se for uma serie
convergente e a serie
+
n=1
|a
n
| for uma serie divergente.
Observacao 5.4.2. Qualquer serie convergente que tenha todos os termos
com o mesmo sinal e absolutamente convergente. Uma serie simplesmente
convergente tem innitos termos positivos e innitos termos negativos.
Note-se que muitas das propriedades da adicao nao sao vericadas para as
series simplesmente convergentes mas apenas para as series absolutamente
convergentes.
Teorema 5.4.3. Se
+
n=1
|a
n
| e uma serie convergente entao
+
n=1
a
n
e tambem
uma serie convergente tendo-se
n=1
a
n
n=1
|a
n
|
167
Demonstracao. Convergindo a serie
+
n=1
|a
n
|, do criterio de Cauchy,
>0
pN
r q > p |a
q+1
| + . . . +|a
r
| <
Ora como
|a
q+1
+ . . . + a
r
| |a
q+1
| + . . . +|a
r
| (5.4.1)
pode concluir-se, se
+
n=1
a
n
for convergente, que
|a
q+1
+ . . . + a
r
| <
o que pelo criterio de Cauchy permite concluir a convergencia da serie
+
n=1
a
n
.
Finalmente passando ao limite em (5.4.1) tem-se a relac ao entre as somas
das series indicada.
Observacao 5.4.4. Se
+
n=1
|a
n
| e uma serie divergente, a serie
+
n=1
a
n
pode
ser convergente ou divergente.
Exemplo 5.4.5. Analise-se quanto `a convergencia a serie
+
n=1
r
n
cos(n), em
que 0 < r < 1.
Esta serie e absolutamente convergente, uma vez que a serie do modulos
+
n=1
|r
n
cos(n)| =
+
n=1
|r
n
(1)
n
| =
+
n=1
r
n
e uma serie geometrica convergente ja que 0 < r < 1.
5.5 A soma de series
Conhecida a convergencia de uma serie numerica na pr atica apenas em casos
particulares e facil o calculo da soma da serie por passagem ao limite da
sucess ao das somas parciais. Em geral opta-se por obter valores aproximados
da soma.
Considerando a serie convergente
+
n=1
a
n
168
do corolario 5.2.6 a serie
+
n=p+1
a
n
e uma serie convergente designada por resto de ordem p.
Fixando p N o termo de ordem n + p da sucess ao das somas parciais da
serie pode escrever-se
s
n+p
= s
p
+ (a
p+1
+ . . . + a
p+n
)
Passando ao limite em n tem-se
s = s
p
+ r
p
em que r
p
, o resto de ordem p, e a soma da serie
+
n=p+1
a
n
. Assim a soma da
serie
+
n=1
a
n
pode ser aproximada por
s
p
= a
1
+ a
2
+ . . . + a
n
com erro r
p
= s s
p
.
Vai-se indicar de seguida majorantes para o erro que se comete ao apro-
ximar a soma de series absolutamente convergentes, cuja convergencia foi
estabelecida pelo criterio da raiz e pelo criterio da raz ao.
Seja
+
n=1
a
n
em que |a
n
|
1/n
r < 1. Tem-se
+
n=1
a
n
=
p
n=1
a
n
+ r
p
e
|r
p
| = |
+
n=p+1
a
n
|
+
n=p+1
r
n
= r
p+1
.
1
1 r
.
Assim se r = 1/2, p = 10 tem-se
|r
10
| 2
11
.
1
1/2
= 2
10
< 0, 001
169
Seja
a
n+1
a
n
r < 1 e
+
n=1
a
n
=
p
n=1
a
n
+
+
n=p+1
a
n
a
n
0.
Tem-se
r
p
=
+
n=p+1
a
n
= a
p+1
+ a
p+2
+ . . . = a
p+1
_
1 +
a
p+2
a
p+1
+
a
p+3
a
p+1
+ . . .
_
e uma vez que
a
p+3
a
p+1
=
a
p+3
a
p+2
.
a
p+2
a
p+1
|r
p
| a
p+1
(1 + r + r
2
+ . . .)
a
p+1
1 r
Exemplo 5.5.1. Seja
+
n=0
1
n!
= 1 + 1 +
1
2!
+ . . . +
1
n!
+ . . . = 1 +
+
n=1
1
n!
def
= e.
em que
a
n+1
a
n
=
1
(n+1)!
1
n!
=
1
n + 1
< 1
Considerando p = 5 o erro que se comete na aproximacao
e
= 1 + 1 +
1
2!
+
1
3!
+
1
4!
+
1
5!
e majorado por 0, 002 ja que
1
1 1/(n + 1)
=
n + 1
n
a
p+1
=
1
(p + 1)!
e consequentemente
r
p
7
6
.
1
6!
< 0, 002
170
5.6 Series de potencias
Denicao 5.6.1. Sendo a
n
uma sucessao, chama-se serie de potencias de
x R com coecientes a
n
`a serie
+
n=0
a
n
x
n
.
A serie
+
n=0
a
n
x
n
identica-se com um polinomio se todos os coecientes a
n
forem nulos a partir de certa ordem. As series de potencias podem encarar-se
como generalizac oes de polin omios em x: a
0
+ a
1
x + . . . + a
n
x
n
.
Designa-se por domnio de convergencia de
+
n=0
a
n
x
n
o subconjunto de R para
o qual a serie e convergente.
Tal como um polin omio dene uma func ao de variavel real em R, uma serie
de potencias dene uma fun cao no subconjunto de R onde a serie e con-
vergente, precisamente a func ao que em cada ponto desse conjunto tem por
valor a soma da serie no ponto considerado.
Teorema 5.6.2. Seja a serie de potencias
+
n=0
a
n
x
n
em que existe lim
n+
n
_
|a
n
|.
A serie e absolutamente convergente para x ] r, r[, em que
r =
1
lim
n+
n
_
|a
n
|
.
Em x ] , r[]r, +[ a serie e divergente.
Demonstracao. Seja a serie |a
0
| +|a
1
x| + . . . +|a
n
x
n
| + . . . .
Tem-se para x R
lim
n+
n
_
|a
n
||x
n
| = lim
n+
|x|
n
_
|a
n
| = |x| lim
n+
n
_
|a
n
| .
Assim pelo criterio da raiz para x R xo se |x| lim
n+
n
_
|a
n
| < 1 a serie
e absolutamente convergente. Consequentemente sempre que
|x| <
1
lim
n+
n
_
|a
n
|
a serie e absolutamente convergente i.e. a serie de potencias e absolutamente
convergente para x ] r, r[.
171
Se x / [r, r] tem-se lim
n+
n
_
|a
n
x
n
| > 1 e
+
n=0
|a
n
x
n
| e divergente o que
leva a concluir que a serie dada n ao e absolutamente convergente. Por outro
lado como lim
n+
n
_
|a
n
x
n
| > 1 tem-se innitos valores de n para os quais
n
_
|a
n
x
n
| > 1 concluindo-se que a sucessao a
n
= a
n
x
n
n ao tende para zero e
consequentemente a serie considerada e divergente para x ], r[]r, +[.
Observacao 5.6.3.
Designa-se ]r, r[ por intervalo de convergencia e r por raio de convergencia.
Se lim
n+
n
_
|a
n
| = + tem-se r = 0 e a serie e divergente excepto em
x = 0. Se lim
n+
n
_
|a
n
| = 0 tem-se r = + e a serie e convergente em
R.
O teorema anterior esclarece a convergencia da serie de potencias
+
n=0
a
n
x
n
se
x = r e x = r extremos do intervalo de convergencia. Nao existe nenhum
resultado geral para x = r.
Exemplo 5.6.4. Analise-se em R a convergencia da serie
+
n=0
x
n
= 1 + x + x
2
+ . . . + x
n
+ . . .
e determine-se quando possvel a sua soma.
Tem-se
r =
n
_
|a
n
| = 1
Assim se |x| < 1 a serie e absolutamente convergente e
+
n=0
x
n
= 1 + x + x
2
+ . . . + x
n
+ . . . =
1
1 x
,
se |x| > 1 a serie e divergente.
O domnio de convergencia da serie de potencias
+
n=0
a
n
x
n
pode ser obtido
tambem partindo do criterio de DAlembert.
172
Corolario 5.6.5. O raio de convergencia da serie
+
n=0
a
n
x
n
, sempre que exista
o limite de
a
n
a
n+1
e dado por:
r = lim
n+
a
n
a
n+1
Demonstracao. Como
lim
n+
n
_
|a
n
| = lim
n+
a
n
a
n+1
a
n+1
x
n+1
a
n
x
n
= |x| lim
n+
a
n+1
a
n
< 1
conclui-se que x pertence ao domnio de convergencia da serie o que permite
obter, de modo alternativo, uma expressao para r.
Exemplo 5.6.6. Analise-se em R a convergencia da serie
+
n=0
x
n
n!
e determine-se quando possvel a sua soma.
Do corolario 5.6.5 tem-se para o raio de convergencia:
r = lim
n+
a
n
a
n+1
= lim
n+
(n + 1) = +.
Assim a serie e absolutamente convergente em R e
+
n=0
x
n
n!
= f(x) = exp(x), x R.
Exemplo 5.6.7. Analise-se em R a convergencia da serie
+
n=0
(1)
n
x
2n
= 1 x
2
+ x
4
x
6
+ . . . + (1)
n
x
2n
+ . . . .
e determine-se quando possvel a sua soma.
173
Tem-se
r = lim
n+
a
n
a
n+1
= 1.
Assim se |x| < 1 a serie e absolutamente convergente e
+
n=0
(1)
n
x
2n
= f(x) =
1
1 + x
2
x ] 1, 1[.
Se |x| > 1 a serie e divergente.
Denicao 5.6.8. Sendo a
n
uma sucessao de termos reais a serie de potencias
de x a, a R, e por denicao a serie
+
n=0
a
n
(x a)
n
A serie de potencias
+
n=0
a
n
(x a)
n
, converge em x
0
se e s o se a serie
+
n=0
a
n
u
n
, em que u = x
0
a, e convergente. Assim o domnio de con-
vergencia da serie de potencias de x a pode obter-se a partir do domnio
de convergencia da serie de potencias de u. Se r = +, o domnio de con-
vergencia e R e se r = 0 e {a} = [a, a]. Para 0 < r < + o domnio de
convergencia contem ]a r, a + r[ e est a contido em [a r, a + r] sendo a
convergencia absoluta em qualquer ponto do primeiro intervalo.
Exemplo 5.6.9. Determine-se o intervalo em que a serie de potencias
+
n=0
(1)
n
2n + 1
(x 3)
n
e absolutamente convergente.
Tem-se
a
n
=
(1)
n
2n + 1
a
n
a
n+1
=
2n + 3
2n + 1
r = 1
A serie e absolutamente convergente no intervalo aberto ]2, 4[ sendo em
] , 2[]4, +[ divergente.
174
Exemplo 5.6.10. Determine-se, se possvel a soma da serie de potencias
+
n=0
_
(1)
n
+
1
n!
_
(x 2)
n
=
+
n=0
(1)
n
(x 2)
n
+
+
n=0
1
n!
(x 2)
n
Uma vez que os raios de convergencia das series parcelas s ao repectiva-
mente
r
1
= lim
n+
a
n
a
n+1
= lim
n+
(1)
n
(1)
n+1
= 1 e r
2
= lim
n+
1/n!
1/(n + 1)!
= +
a serie e absolutamente convergente em
1 < x 2 < 1 1 < x < 3 x ]1, 3[
Em x = 1, a serie
+
n=0
_
1 +
(1)
n
n!
_
e divergente.
Em x = 3, a serie
+
n=0
_
(1)
n
+
1
n!
_
e divergente.
Finalmente determinando a soma no domnio de convergencia tem-se:
+
n=0
_
(1)
n
+
1
n!
_
(x 2)
n
=
1
x 1
+ e
x2
, x ]1, 3[.
5.7 Exerccios
5.7.1 Exerccios resolvidos
Exerc 5.7.1. Analise a natureza das series numericas indicadas e determine
a soma de uma delas
i)
+
n=1
n
3
n
2
+ 5
ii)
+
n=1
3 e
n
3
n
Resolucao.
i) Sejam as sucessoes a
n
=
n
3
n
2
+5
e b
n
=
n
3
n
2
=
1
n
1
6
com o mesmo com-
portamento quando n +. Tem-se
lim
n
3
n
2
+5
n
3
n
2
= lim
1
3
_
1 +
5
n
2
= 1 R
+
,
175
Do criterio de comparac ao as series
n=1
n
3
n
2
+5
e
n=1
1
n
1
6
tem a
mesma natureza. Como a serie
n=1
1
n
1
6
e uma serie de Dirichlet di-
vergente,
n=1
1
n
p
com p < 1, a serie
+
n=1
n
3
n
2
+5
e tambem divergente.
ii) A serie
+
n=1
3e
n
3
n
e uma serie convergente pois e a adic ao de duas series
geometricas convergentes
+
n=0
_
1
3
_
n
e
+
n=1
_
e
3
_
n
A soma da serie e obtida a partir da soma das anteriores series geometricas
+
n=1
3 e
n
3
n
=
+
n=0
_
1
3
_
n
n=1
_
e
3
_
n
=
1
1 1/3
e/3
1 e/3
= 3/2
e
3 e
Exerc 5.7.2. Analise a natureza das series numericas
i)
+
n=1
n
n
3
+ n
7/2
ii)
+
n=1
n!
n
n
cos(n).
Resolucao.
i) Seja
n
n
3
+ n
7
2
<
n
n
7
2
=
1
n
3
Do criterio geral de comparac ao a serie
n=1
n
n
3
+n
7
2
e convergente, uma
vez que a serie
n=1
1
n
3
e uma serie Dirichlet convergente,
n=1
1
n
p
com
p > 1.
ii) Seja
n=1
|
n!
n
n
cos(n)| =
n=1
n!
n
n
.
Tem-se
lim
a
n+1
a
n
= lim
(n + 1)!
(n + 1)
n+1
.
n
n
n!
= lim
n!(n + 1)n
n
(n + 1)
n
(n + 1)n!
= lim
1
(1 +
1
n
)
n
=
1
e
< 1,
Assim pelo criterio de DAlembert a serie
n=1
n
n
n
e convergente e
consequentemente a serie
n=1
n!
n
n
cos(n) e uma serie absolutamente
convergente.
176
Exerc 5.7.3.
Determine, se possvel, o valor da soma das series
i)
+
n=1
2
n+1
e
n1
ii)
+
n=1
n
2
1 + n
2
Resolucao.
i) A serie
2e
+
n=1
(
2
e
)
n
e uma serie geometrica convergente uma vez que tem raz ao inferior a
um (2/e). O valor da sua soma e:
+
n=1
2
n+1
e
n1
= 2e
2/e
1 2/e
=
4e
e 2
ii) A serie n ao satisfaz a condic ao necess aria da convergencia de series ja
que
lim
n
n
2
1 + n
2
= 1 = 0
consequentemente a serie
+
n=1
n
2
1 + n
2
e uma serie divergente n ao tendo
soma.
Exerc 5.7.4.
Analise a natureza das series
i)
+
n=1
3
n
1 + 3
2n
ii)
+
n=1
n
n
2
n
n!
iii)
+
n=1
_
cos(
n + 1
) cos(
n
)
_
Resolucao.
i) Tem-se
3
n
1 + 3
2n
3
n
3
2n
=
1
3
n
Ora
+
n=1
(
1
3
)
n
177
e uma serie geometrica convergente consequentemente, do criterio geral
de comparac ao a serie
+
n=1
3
n
1 + 3
2n
e uma serie convergente.
ii) A serie
+
n=1
n
n
2
n
n!
e uma serie divergente, j a que do criterio de DAlembert:
a
n+1
a
n
=
(n+1)
n+1
2
n+1
(n+1)!
n
n
2
n
n!
=
(n + 1)
n
(n + 1)
n
n
2
n
n!
22
n
(n + 1)n!
e
lim
n+
a
n+1
a
n
= lim
n+
1
2
(
n + 1
n
)
n
=
e
2
> 1.
iii)
+
n=1
_
cos(
n + 1
) cos(
n
)
_
e uma serie de Mengoli convergente
j a que e um caso particular da classe de series
+
n=1
(a
n
a
n+1
) com a
sucess ao a
n
= cos(
n + 1
) convergente.
Exerc 5.7.5.
Considere a serie
+
n=1
(1)
n
n
n
3
n
2
+ 1
i) A serie e absolutamente convergente? Justique.
ii) A sucessao
u
n
=
1
2
+
2
8
5
... + (1)
n
n
n
3
n
2
+ 1
e convergente? Justique.
Resolucao.
178
i) Seja
+
n=1
|(1)
n
n
n
3
n
2
+ 1
| =
+
n=1
n
n
3
n
2
+ 1
e as sucess oes
a
n
=
n
n
3
n
2
+ 1
e b
n
=
1
n
7
2
com o mesmo comportamento quando n +. Tem-se
lim
n+
a
n
b
n
= 1,
e as series
+
n=1
a
n
e
+
n=1
b
n
, do criterio de comparac ao, tem a mesma
natureza. A serie
+
n=1
b
n
e uma serie de Dirichlet convergente e con-
sequentemente
+
n=1
n
n
3
n
2
+ 1
e uma serie convergente.
A serie
+
n=1
(1)
n
n
n
3
n
2
+ 1
e pois absolutamente convergente.
ii)
Como
+
n=1
(1)
n
n
n
3
n
2
+ 1
e uma serie absolutamente convergente
e uma serie convergente. Assim a sucess ao das somas parciais
u
n
=
1
2
+
2
8
5
... + (1)
n
n
n
3
n
2
+ 1
e uma sucessao convergente.
Exerc 5.7.6.
Analise a natureza das series numericas indicadas e determine o valor da
soma de uma delas.
i)
+
n=1
3
(2n+1)
ii)
+
n=1
n + 1
n
4
+ n
iii)
+
n=1
n
2
1 + e
n
Resolucao.
179
i) A serie
+
n=1
3
(2n+1)
= 1/3
+
n=1
(
1
9
)
n
e uma serie geometrica de termos positivos convergente uma vez que
tem razao inferior a um (1/9). O valor da sua soma e :
1/3
+
n=1
(
1
9
)
n
= 1/3
1/9
1 1/9
=
1
24
ii) A serie
+
n=1
n + 1
n
4
+ n
e uma serie convergente pelo criterio de comparac ao j a que para as
sucess oes com o mesmo comportamento quando n +
a
n
=
n + 1
n
4
+ n
e b
n
=
1
n
7
2
se tem
lim
n+
a
n
b
n
= 1,
e a serie
+
n=1
b
n
e uma serie de Dirichlet convergente.
iii) A serie
+
n=1
n
2
1 + e
n
e uma serie convergente pelo criterio de DAlembert.
lim
n+
a
n+1
a
n
= lim
n+
(n + 1)
2
1 + e
n+1
n
2
1 + e
n
= lim
n+
_
1 +
1
n
_
2
1/e
n+1
+ 1/e
1/e
n+1
+ 1
=
1
e
< 1
Exerc 5.7.7. Considere a serie de potencias
+
n=1
3
n
5
n+1
(1 2x)
n+3
180
i) Indique o maior intervalo aberto onde a serie e absolutamente convergente
ii) Determine no intervalo indicado em i) a soma da serie.
Resolucao.
i) Tem-se para o raio de convergencia
r = lim|
a
n
a
n+1
| = lim
3
n
.5
n+2
5
n+1
.3
n+1
=
5
3
Assim serie converge absolutamente se |12x| < 5/3. O maior intervalo
aberto onde a serie de potencias e absolutamente convergente e:
] 1/3, 4/3[
ii)
+
n=1
3
n
5
n+1
(1 2x)
n+3
=
(1 2x)
3
5
+
n=1
_
3 6x
5
_
n
=
(1 2x)
3
5
36x
5
1
36x
5
=
(1 2x)
4
5 + 15x
Exerc 5.7.8. Determine o intervalo de R onde e convergente a serie de
potencias
+
n=1
(1)
n
2
n
n
2
(x 1)
n+2
, x R.
Resolucao. Tem-se para o raio de convergencia
r = lim|
a
n
a
n+1
| = lim
1
2
n
n
2
1
2
n+1
(n+1)
2
= 2
Assim a serie converge absolutamente se |x 1| < 2 i.e. se x ] 1, 3[.
Para x = 1, a serie
+
n=1
1
n
2
e uma serie de Dirichlet convergente. Para x = 3,
a serie
+
n=1
|
(1)
n
n
2
| =
+
n=1
1
n
2
e uma serie de Dirichlet convergente.
Em conclus ao a serie de potencias converge absolutamente para x [1, 3].
181
5.7.2 Enunciados de exerccios
Exerc 5.7.9. Analise a natureza das series numericas
+
n=1
n
n
2
+ 1
;
+
n=1
2
n
n(1 2
n
)
;
+
n=1
3
n
1 + n!
Exerc 5.7.10. Considere as series numericas
+
n=1
5
n
n
5
n!
+
n=1
n
_
n
2
(n + 1)
+
n=1
e
2n
(1 + e
2
)
n
i) As series sao convergentes? Justique.
ii) Determine a soma de uma delas.
Exerc 5.7.11. Seja a sucessao a
n
de termos reais nao nulos convergente
para a = 0. A serie
+
n=1
(a
n+1
+ a
n
)
e convergente? Justique.
Exerc 5.7.12. Sendo
+
n=1
(a
n
1) uma serie de termos positivos conver-
gente, qual a natureza da serie
+
n=1
a
2
n
1
4 + a
n
Justique.
Exerc 5.7.13. Considere a serie de potencias
+
n=0
(2x + 1)
n
n
2
2
n1
, x R
Indique o maior intervalo aberto de R em que a serie e absolutamente
convergente.
Exerc 5.7.14. Considere a serie
+
n=1
5
n
(x 1)
n+1
, x R
182
i) Determine o intervalo de R, onde a serie e absolutamente convergente.
ii) Determine a soma da serie quando x = 3.
Exerc 5.7.15. Considere a serie
+
n=0
1
2
n+2
(x + 3)
n+1
+
+
n=1
_
1
(n + 1)!
1
n!
_
x R.
i) Indique o intervalo de convergencia da serie.
ii) Indique a soma da serie no intervalo de convergencia indicado.
Exerc 5.7.16. Determine o intervalo de R onde e convergente a serie
+
n=1
n
2
n
(x + 2)
n
+
+
n=1
n
3
n!
x R.
183
Bibliograa
[1] J. Campos Ferreira, Introducao `a Analise Matematica, Fundacao Gul-
benkian, 8a ed., 2005.
[2] W. Trench, Introduction to Real Analysis, Trinity University, 2003.
[3] A. Ferreira dos Santos, Analise Matematica I e II, Texto de apoio `as
aulas, AEIST, 1994-95.
184