You are on page 1of 126

ANLISE

MATEMTICA
I C
Prtica
Departamento de Matemtica
FCT/UNL
2008/2009
Maria do Cu Soares et al.
Estes apontamentos destinam-se aos alunos de Anlise Matemtica I da FCT-UNL e no
tm qualquer objectivo comercial.
Colaboradores:
Diogo Pinheiro
Nelson Chibeles Martins (co-autor dos captulos 1 e 2)
Filipe Marques (co-autor do captulo 3)
Manuela Pedro (co-autora dos captulos 5 e 6)
Lourdes Afonso (co-autora do captulo 8)
Ldia Loureno (co-autora do captulo 9)
Carmo Brs (co-autora do captulo 10)
ndice
1 Noes Topolgicas 1
1.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 1
1.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 3
1.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2 Induo Matemtica 11
2.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 11
2.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 12
2.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3 Sucesses de nmeros reais 17
3.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 17
3.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 20
3.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4 Limites, Continuidade e Clculo Diferencial 31
4.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 31
4.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 35
4.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
5 Teoremas fundamentais (Rolle, Lagrange e Cauchy). Indeterminaes. 45
5.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 45
i
5.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 47
5.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
6 Teorema de Taylor, Frmula de Taylor e Aplicaes 53
6.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 53
6.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 55
6.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
7 Estudo de funes 63
7.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 63
7.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 64
7.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
8 Primitivao 73
8.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 73
8.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 77
8.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
9 Clculo Integral. reas de guras planas 89
9.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 89
9.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 91
9.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
10 Integrais imprprios 107
10.1 Exerccios propostos para resoluo nas aulas . . . . . . . . . . . . . . . . . . . 107
10.2 Exerccios propostos para resoluo autnoma . . . . . . . . . . . . . . . . . . . 109
10.3 Exerccios resolvidos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
ii
1 Noes Topolgicas
1.1 Exerccios propostos para resoluo nas aulas
1. Considere os conjuntos
A = [0, 2[,
B = 0, 1, 2, 3,
C = Q,
D =
_
x R : x =
n
n + 1
, n N
_
.
Para cada um destes conjuntos, determine:
(a) o interior;
(b) a fronteira;
(c) o exterior;
(d) a aderncia;
(e) o derivado;
(f) o conjunto dos pontos isolados;
(g) o conjunto dos majorantes e o conjunto dos minorantes, caso existam;
(h) o supremo e o nmo, caso existam;
(i) o mximo e o mnimo, caso existam.
2. Considere o seguinte conjunto:
E = x R : [x 3[ 2 [2, 8].
(a) Determine o interior, o exterior e a fronteira de E.
(b) Determine a aderncia, o derivado e o conjunto dos pontos isolados de E.
(c) Indique, justicando, se E um conjunto limitado.
1
3. Considere o seguinte conjunto:
F =
_
x N : x
2
5x + 9 > 3
_

_
x R : x
2
7x 1 7
_
.
(a) Determine o interior, o exterior e a fronteira de F.
(b) Determine a aderncia, o derivado e o conjunto dos pontos isolados de F.
(c) Indique, justicando, se F um conjunto aberto ou um conjunto fechado.
4. Considere o seguinte conjunto:
G =
_
x R : x = 1 + 2 sin
_

n + 1
_
, n N
_

_
x R :
x 2
x + 1
> 0
_
.
(a) Determine o interior, o exterior e a fronteira de G.
(b) Determine a aderncia, o derivado e o conjunto dos pontos isolados de G.
(c) Indique, justicando, se G um conjunto aberto ou um conjunto fechado.
5. Considere o seguinte conjunto:
H =
_
x Q : x
2
< 9
_

_
x R Q : x
2
2x 5 0
_
.
(a) Determine o interior, o exterior e a fronteira de H.
(b) Determine a aderncia, o derivado e o conjunto dos pontos isolados de H.
(c) Determine, se existirem, o conjunto dos majorantes, o supremo, o mximo, o con-
junto dos minorantes, o nmo e o mnimo de H.
6. Considere o seguinte conjunto:
I =
_
x N : x
2
5x + 9 > 3
_
.
(a) Determine a aderncia, o derivado e o conjunto dos pontos isolados de I.
(b) Determine, se existirem, o conjunto dos majorantes, o supremo, o mximo, o con-
junto dos minorantes, o nmo e o mnimo de I.
(c) Indique, justicando, se I um conjunto limitado.
7. Considere o seguinte conjunto:
J = x R : [x + 3[ > [x + 1[ 1.
(a) Determine o interior, o exterior, a fronteira, a aderncia, o derivado e o conjunto dos
pontos isolados de J.
(b) Determine, se existirem, o conjunto dos majorantes, o supremo, o mximo, o con-
junto dos minorantes, o nmo e o mnimo de J.
(c) Indique, justicando, se J um conjunto aberto, fechado ou limitado.
2
1.2 Exerccios propostos para resoluo autnoma
1. Considere os conjuntos A e B denidos por:
A =
_
x R :
log(x)
x 4
> 0
_
,
B =
_
x [1, 1] : 0 < [ arcsin(x)[

4
_
.
(a) Exprima A e B na forma de intervalo ou unio de intervalos.
(b) Determine, para os conjuntos A e B, a aderncia, o derivado, o conjunto dos majo-
rantes e o conjunto dos minorantes.
(c) Considere C = AB e D = AB. Exprima C e D na forma de intervalo ou unio
de intervalos.
(d) Determine a aderncia, o derivado, o conjunto dos majorantes e o conjunto dos
minorantes dos conjuntos C e D.
2. Considere a funo f real de varivel real denida por f(x) =
1
log(x
2
9)
e seja A o seu
domnio. Considere, tambm, o seguinte subconjunto de R:
B = x R : [x + 1[ < 1 .
(a) Exprima A e B na forma de intervalo ou unio de intervalos.
(b) Averigue se A B um conjunto aberto ou um conjunto fechado.
(c) Averigue se A B um conjunto aberto ou um conjunto fechado.
(d) Averigue se A B e A B so conjuntos limitados.
3. Considere os conjuntos A e B denidos por:
A =
_
x R : [ arctan(x)[

4
_
,
B = x R : (x 1)(x + 3) 0 .
(a) Exprima A e B na forma de intervalo ou unio de intervalos.
(b) Determine o interior, a aderncia, o derivado, o conjunto dos majorantes e o conjunto
dos minorantes de A B.
(c) Averigue se A B um conjunto fechado ou limitado.
(d) Determine o interior, o exterior, a fronteira, a aderncia e o derivado do conjunto
A (R Q).
4. Considere os conjuntos A e B denidos por:
A =
_
x R :
x
1 [x[
< 0
_
,
B =
_
x R : x =
n
2n + 1
, n N
_
.
3
(a) Exprima A na forma de intervalo ou unio de intervalos.
(b) Determine a aderncia, o derivado, o conjunto dos minorantes e o conjunto dos
majorantes de A B.
(c) Averigue se A B um conjunto aberto ou um conjunto fechado.
(d) Averigue se A B um conjunto limitado.
5. Considere a funo f real de varivel real denida por f(x) =
log(1 x
2
)
x
, e designe por
A o seu domnio. Considere o subconjunto de R:
B =
_
x R : x = 2 +
1
n
, n N
_
.
(a) Determine A.
(b) Determine a fronteira e o derivado de A Q.
(c) Determine o interior, a fronteira, a aderncia e o derivado de B.
(d) Relativamente ao conjunto AB, determine o conjunto dos minorantes, o conjunto
dos majorantes e, se existirem, o supremo, o mximo, o nmo e o mnimo.
4
1.3 Exerccios resolvidos
1. Considere a funo f, real de varivel real, denida por f(x) =

x
2
4x + 3
log(x + 2)
e seja A o
seu domnio. Considere o seguinte subconjunto de R:
B = x R : [x 1[ < 3.
(a) Apresentando todos os clculos, escreva A e B na forma de intervalo ou unio de
intervalos.
(b) Determine o conjunto dos pontos interiores e o derivado de B, e a fronteira de AB.
Resoluo
(a) O domnio da funo f, real de varivel real, denido por
A =
_
x R : x
2
4x + 3 0
_
log(x + 2) ,= 0 x + 2 > 0
__
.
Para escrevermos o conjunto A na forma de intervalo ou unio de intervalos temos
que escrever cada uma das condies presentes na denio do conjunto A na forma
de intervalo(s) de nmeros reais e, aps isso, intersectar os conjuntos obtidos.
Quanto primeira desigualdade, comeamos por notar que o grco da funo qua-
drtica g(x) = x
2
4x + 3 uma parbola com a concavidade voltada para cima
(porque o coeciente de x
2
positivo), e com dois zeros que podemos obter resol-
vendo a equao g(x) = 0. Logo, aplicando a frmula resolvente, obtemos
x
2
4x + 3 = 0 x =
4

16 4 3
2
=
4

4
2
=
4 2
2
x = 3 x = 1.
Assim, a desigualdade x
2
4x+3 0 satisfeita sempre que x ] , 1] [3, +[.
Quanto segunda condio, basta notar que
log(x + 2) ,= 0 x + 2 > 0 x + 2 ,= 1 x > 2 x ,= 1 x > 2.
Logo, esta condio satisfeita para todo o x pertencente a ] 2, 1[] 1, +[.
Intersectando os subconjuntos de R acima obtidos, conclumos que
A =] 2, 1[] 1, 1] [3, +[.
Para escrevermos o conjunto B na forma de intervalo ou unio de intervalos temos
de resolver a desigualdade [x 1[ < 3. Para isso, notamos que
[x 1[ < 3 3 < x 1 < 3 2 < x < 4.
Logo, B =] 2, 4[.
5
(b) O conjunto dos pontos interiores de B int(B) =] 2, 4[= B.
Por denio, o derivado de B o conjunto dos pontos de acumulao de B. Assim,
B

= [2, 4].
Calculando a interseco dos conjuntos A e B, obtemos
A B =] 2, 1[] 1, 1] [3, 4[.
Donde, fr(A B) = 2, 1, 1, 3, 4.
2. Considere a funo f real de varivel real denida por f(x) =
arcsin(2x 2)
[x 1[ e
x
e designe
por D o seu domnio. Considere o subconjunto de R:
A = x R : x = (1)
n
e
n
n N.
(a) Determine, justicando, o derivado e o conjunto dos minorantes de A.
(b) Determine, justicando, a aderncia de D e a fronteira de D (R Q).
Resoluo
(a) O conjunto A constitudo pelos termos da sucesso u
n
= (1)
n
e
n
, n N. Esta
sucesso convergente para o ponto x = 0, por ser o produto de um innitsimo por
uma sucesso limitada
_
lim
n+
1
e
n
= 0 e 1 (1)
n
1, n N
_
. O conjunto
A constitudo apenas por pontos isolados tendo, no entanto, x = 0 como ponto
de acumulao, uma vez que, pela denio de limite de uma sucesso, qualquer
vizinhana de centro em 0 conter, a partir de certa ordem, todos os termos da
sucesso u
n
. Portanto, A

= 0.
Para obter o conjunto dos minorantes de A comecemos por notar que a subsuces-
so dos termos de ordem par, u
2n
= e
2n
, n N, montona decrescente, e que
0 < u
2n

1
e
2
, n N. Por outro lado, a subsucesso dos termos de ordem m-
par, u
2n1
= e
12n
, n N, montona crescente e satisfaz as desigualdades

1
e
u
2n1
< 0, n N. Sendo assim, como a unio dos conjuntos dos termos
destas duas subsucesses o conjunto dos termos da sucesso u
n
, ento todos os
termos da sucesso u
n
(i.e., todos os elementos de A) so superiores ou iguais ao pri-
meiro termo, u
1
. Portanto, o conjunto dos minorantes de A ] , u
1
] =] ,
1
e
].
(b) Comecemos por escrever o domnio D de f, dado por
D = x R : 1 2x 2 1 [x 1[ e
x
,= 0,
na forma de uma unio de intervalos de nmeros reais. Para isso, escrevemos cada
uma das condies presentes na denio do conjunto D na forma de intervalo(s) de
nmeros reais e, aps isso, intersectamos os conjuntos obtidos. Quanto ao primeiro
conjunto de desigualdades, basta ver que
1 2x 2 1 1 2x 3
1
2
x
3
2
,
6
donde 1 2x 2 1 se e s se x
_
1
2
,
3
2

.
Quanto segunda condio, basta notar que
[x 1[ e
x
= 0 [x 1[ = 0 e
x
= 0.
Como e
x
> 0, x R, e [x 1[ = 0 x 1 = 0 x = 1, ento x = 1 soluo da
equao [x 1[ e
x
= 0. Logo, [x 1[ e
x
,= 0 se e s se x R 1.
Intersectando os dois subconjuntos de R acima obtidos, conclumos que
D =
_
1
2
, 1
_

_
1,
3
2
_
.
Logo, int(D) =]
1
2
, 1[]1,
3
2
[, fr(D) =
1
2
, 1,
3
2
e consequentemente, pela denio de
aderncia, obtemos D =
_
1
2
,
3
2

.
Consideremos agora E = D (R Q) (i.e., E o conjunto dos nmeros irracionais
que pertencem ao conjunto D).
Comecemos por notar que qualquer elemento de D ponto fronteiro a E, dado
que qualquer vizinhana centrada num elemento de D contm nmeros racionais e
nmeros irracionais. Logo, D fr(E). Por outro lado, visto que qualquer vizinhana
de centro em 1 contm nmeros racionais e nmeros irracionais, obtemos que x = 1
tambm um ponto fronteiro a E, donde conclumos que fr(E) = D 1 = [
1
2
,
3
2
].
3. Considere a funo f, real de varivel real, denida por f(x) =

2
+ 3 arcsin(2x 1).
Designe por A o seu domnio e por B o seu contradomnio. Considere o subconjunto de
R
C = x R : x = e
arctan(n)
n N.
(a) Determine A e B.
(b) Determine o interior de B Q, o conjunto dos minorantes de C e o derivado de
A C.
Resoluo
(a) O domnio da funo f, real de varivel real, o conjunto A denido por
A = x R : 1 2x 1 1.
Resolvendo o conjunto de inequaes que dene A, obtemos
1 2x 1 1 0 2x 2 0 x 1.
Logo, A = [0, 1].
7
Para calcular o contradomnio da funo f, notemos que vlido o seguinte conjunto
de desigualdades:

2
arcsin(2x 1)

2

3
2
3 arcsin(2x 1)
3
2


2

3
2


2
+ 3 arcsin(2x 1)

2
+
3
2


2
+ 3 arcsin(2x 1) 2.
Logo, B = [, 2].
(b) Dado um qualquer ponto x
0
de B, sabe-se que qualquer vizinhana de centro em
x
0
conter nmeros racionais e nmeros irracionais. Logo, no existe qualquer vi-
zinhana de centro em x
0
contida em B Q, isto , x
0
/ int(B Q). Portanto,
int(B Q) = .
Os elementos do conjunto C so os termos da sucesso u
n
= e
arctan(n)
, n N. Uma
vez que e
x
e arctan(x) so funes reais de varivel real estritamente crescentes, a
sucesso u
n
montona crescente. Sendo assim, todos os termos de u
n
so maiores ou
iguais que o primeiro termo u
1
= e
arctan(1)
= e

4
. Portanto, o conjunto dos minorantes
de C ] , e

4
].
Uma vez que a sucesso u
n
convergente para e

2
_
lim
n+
e
arctan(n)
= e

2
_
, obtemos
que e

2
um ponto de acumulao do conjunto C. Logo (A C)

= [0, 1] e

2
.
4. Considere os subconjuntos de R
A = x R : x = arctan(n) n N, B =
_
x R :
[x + 1[ 1
(x + 1)
2
0
_
.
(a) Determine, justicando, o derivado, o conjunto dos minorantes e o conjunto dos
majorantes de A.
(b) Determine, justicando, a fronteira de B e a fronteira de B Q.
Resoluo
(a) Os elementos do conjunto A so os termos da sucesso u
n
= arctan(n), n N. Uma
vez que a sucesso u
n
convergente para

2
, pela denio de limite de uma sucesso
conclumos que

2
um ponto de acumulao do conjunto A. Notando ainda que o
conjunto A constitudo apenas por pontos isolados, obtemos que A

2
.
Sendo arctan(x) uma funo real de varivel real estritamente crescente, obtemos
que a sucesso u
n
montona crescente e, portanto, para todo o nmero natural
n, vericam-se as desigualdades u
1
u
n
< limu
n
. Logo, para todo o n N,

4
u
n
<

2
. Conclumos ento que o conjunto dos minorantes de A o intervalo
] ,

4
] e o conjunto dos majorantes de A [

2
, +[.
8
(b) Comecemos por escrever o conjunto B na forma de uma unio de intervalos de
nmeros reais. Para isso, temos que resolver a inequao que dene o conjunto B.
Em primeiro lugar, observemos que o domnio de denio da funo h(x) =
[x + 1[ 1
(x + 1)
2
D = x R : (x + 1)
2
,= 0.
Da desigualdade (x + 1)
2
,= 0 obtemos x ,= 1, donde D = R1.
Notemos agora que o sinal da inequao () que dene o conjunto B, completa-
mente determinado pelo sinal de [x+1[ 1 visto que (x+1)
2
0, para todo x R.
Observemos ainda que
[x + 1[ 1 0 [x + 1[ 1 1 x + 1 1 2 x 0,
e que
[x + 1[ 1 = 0 [x + 1[ = 1 x + 1 = 1 x + 1 = 1 x = 2 x = 0.
A tabela abaixo apresenta toda a informao acerca do sinal das diferentes expres-
ses:
2 1 0
[x + 1[ 1 + 0 0 +
(x + 1)
2
+ + + 0 + + +
[x + 1[ 1
(x + 1)
2
+ 0 0 +
Obtemos ento B = [2, 0]1 e portanto fr(B) = 2, 1, 0. Seja x
0
um ponto
qualquer de B. Qualquer vizinhana de centro em x
0
conter nmeros racionais e n-
meros irracionais. Logo, x
0
ponto fronteiro a BQ. Alm disso, tambm qualquer
vizinhana de centro em 1 conter nmeros racionais e nmeros irracionais, pelo
que x = 1 um ponto fronteiro a BQ. Portanto, fr(BQ) = B1 = [2, 0].
5. Considere a funo f real de varivel real denida por f(x) =
arcsin(x
2
1)
log(x)
e designe
por D o seu domnio. Determine o interior de D e a fronteira de D Q.
Resoluo
O domnio da funo f, real de varivel real, o conjunto D denido por
D =
_
x R : 1 x
2
1 1
_
x > 0 log(x) ,= 0
__
.
Para calcularmos o interior do conjunto D, comeamos por escrever D na forma de uma
unio de intervalos de nmeros reais. Para isso, escrevemos cada uma das condies
presentes na denio do conjunto D na forma de intervalo(s) de nmeros reais e, poste-
riormente, intersectamos os conjuntos obtidos.
Quanto s primeiras desigualdades, devemos observar que x
2
1 1 x
2
0 uma
condio universal, e que x
2
1 1 x
2
2

2 x

2. Obtemos ento que o


primeiro conjunto de desigualdades satisfeito para todo x [

2,

2].
9
Relativamente segunda condio, basta ver que
x > 0 log(x) ,= 0 x > 0 x ,= 1.
Logo, esta condio satisfeita para todo o x pertencente a R
+
1.
Intersectando os subconjuntos de R acima obtidos, podemos ento concluir que D =
]0, 1[]1,

2], e portanto int(D) =]0, 1[]1,

2[.
Para calcularmos a fronteira de DQ devemos comear por observar que todos os pontos
de D so fronteiros a D Q, uma vez que qualquer vizinhana centrada num ponto de
D conter nmeros racionais e nmeros irracionais. Logo D fr(D Q). Pelas mesmas
razes, 0 e 1 so pontos fronteiros a D Q. Portanto, fr(D Q) = [0,

2].
10
2 Induo Matemtica
2.1 Exerccios propostos para resoluo nas aulas
1. Mostre, usando o princpio de induo matemtica, que
(a)
n

k=0
(2k + 1) = (n + 1)
2
, n N
0
;
(b) n! n
n
, n N;
(c) 4
2n
1 mltiplo de 5, n N;
(d)
n

k=1
_
k
k + 2

k 1
k + 1
_
=
n
n + 2
, n N;
(e)
3
n
n!
< 4
2
_
3
4
_
n
, n > 3;
(f) n
3
+ 5n divisvel por 3, n N.
2. Considere a proposio p(n) : sin(2n) = 1
(a) Mostre que p(j) verdadeira = p(j + 1) verdadeira.
(b) Mostre que p(n) no verdadeira para nenhum nmero natural n.
3. Observando as igualdades
1
1
2
=
1
2
_
1
1
2
__
1
1
3
_
=
1
3
_
1
1
2
__
1
1
3
__
1
1
4
_
=
1
4

induza o resultado geral e prove-o, usando o princpio de induo matemtica.
11
2.2 Exerccios propostos para resoluo autnoma
1. Prove, usando o princpio de induo matemtica, que para x
0
[1, +[ se tem
(1 + x
0
)
n
1 + nx
0
,
para todo o nmero natural n.
2. Mostre, usando o princpio de induo matemtica, que
(a)
n

k=1
4
(k + 1)(k + 2)
=
2n
n + 2
, n N;
(b)
n1

k=1
k
2
<
n
3
3
, n N 1;
(c) 4
3n
4
n
mltiplo de 5, n N.
3. Dada a sucesso (u
n
)
nN
denida por
_

_
u
1
= 1
u
2
= 2
u
n+1
=
u
n
+ u
n1
2
, n 2
prove, por induo matemtica, que
u
n+1
u
n
= (1)
n1
1
2
n1
, n N.
12
2.3 Exerccios resolvidos
1. Mostre, usando o princpio de induo matemtica, que
n

k=1
(k + 1) =
n(n + 3)
2
, n N.
Resoluo:
Consideremos a condio p(n) :
n

k=1
(k + 1) =
n(n + 3)
2
. Pretendemos mostrar que p(n)
vlida para todo o nmero natural n.
i) Para n = 1 a condio reduz-se a
1

k=1
(k + 1) = 2 =
1(1 + 3)
2
,
pelo que p(1) verdadeira.
ii) Provemos agora que a propriedade hereditria. Assim, assumimos que p(n) verda-
deira e pretendemos provar que p(n + 1) tambm verdadeira, onde
p(n) :
n

k=1
(k + 1) =
n(n + 3)
2
e p(n + 1) :
n+1

k=1
(k + 1) =
(n + 1)(n + 4)
2
.
Como
(n + 1)(n + 4)
2
=
n
2
+ 5n + 4
2
, pretendemos ento provar que
n+1

k=1
(k+1) =
n
2
+ 5n + 4
2
.
Consideremos ento o primeiro membro da tese. Desdobrando o somatrio, obtemos
n+1

k=1
(k + 1) =
n

k=1
(k + 1) +
n+1

k=n+1
(k + 1).
Pela hiptese de induo sabemos que
n

k=1
(k + 1) =
n(n + 3)
2
. Logo,
n+1

k=1
(k + 1) =
n

k=1
(k + 1) +
n+1

k=n+1
(k + 1) =
n(n + 3)
2
+ n + 2 =
n(n + 3) + 2(n + 2)
2
=
n
2
+ 5n + 4
2
. Assim,
n+1

k=1
(k + 1) =
n
2
+ 5n + 4
2
.
Portanto, por i) e ii), provmos, pelo princpio de induo matemtica, que
n

k=1
(k + 1) =
n(n + 3)
2
, n N.
13
2. Mostre, usando o princpio de induo matemtica, que
n

k=1
_
1
2
_
k
= 1
_
1
2
_
n
, n N.
Resoluo:
Consideremos a condio p(n) :
n

k=1
_
1
2
_
k
= 1
_
1
2
_
n
. Pretendemos mostrar que p(n)
vlida para todo o nmero natural n.
i) Para n = 1 a condio reduz-se a
1

k=1
_
1
2
_
k
=
_
1
2
_
1
=
1
2
= 1
_
1
2
_
1
,
pelo que p(1) verdadeira.
ii) Provemos agora que a propriedade hereditria. Assim, assumimos que p(n) verda-
deira e pretendemos provar que p(n + 1) tambm verdadeira, onde
p(n) :
n

k=1
_
1
2
_
k
= 1
_
1
2
_
n
e p(n + 1) :
n+1

k=1
_
1
2
_
k
= 1
_
1
2
_
n+1
.
Considerando o primeiro membro da tese e desdobrando o somatrio, obtemos
n+1

k=1
_
1
2
_
k
=
n

k=1
_
1
2
_
k
+
n+1

k=n+1
_
1
2
_
k
.
Usando a hiptese de induo, sabemos que
n

k=1
_
1
2
_
k
= 1
_
1
2
_
n
, pelo que
n+1

k=1
_
1
2
_
k
=
n

k=1
_
1
2
_
k
+
n+1

k=n+1
_
1
2
_
k
= 1
_
1
2
_
n
+
_
1
2
_
n+1
= 12
1
2
_
1
2
_
n
+
_
1
2
_
n+1
=
1 2
_
1
2
_
n+1
+
_
1
2
_
n+1
= 1
_
1
2
_
n+1
. Assim,
n+1

k=1
_
1
2
_
k
= 1
_
1
2
_
n+1
.
Portanto, por i) e ii), provmos, pelo princpio de induo matemtica, que
n

k=1
_
1
2
_
k
= 1
_
1
2
_
n
, n N.
14
3. Prove, pelo princpio de induo matemtica, que 10
n+1
+ 3 10
n
+ 5 mltiplo de 9,
n N.
Resoluo:
Consideremos a condio p(n) : 10
n+1
+310
n
+5 mltiplo de 9. Pretendemos mostrar
que p(n) vlida para todo o nmero natural n.
i) Para n = 1 a condio reduz-se a p(1) : 10
1+1
+310
1
+5 = 135 mltiplo de 9. Logo,
p(1) verdadeira.
ii) Provemos agora que a propriedade hereditria. Assim, assumimos que p(n) verda-
deira e pretendemos provar que p(n + 1) tambm verdadeira, onde
p(n) : 10
n+1
+310
n
+5 mltiplo de 9 e p(n+1) : 10
n+2
+310
n+1
+5 mltiplo de 9.
Considerando o primeiro membro da tese, comecemos por notar que
10
n+2
+ 3 10
n+1
+ 5 = 10 (10
n+1
+ 3 10
n
) + 5 = 10 (10
n+1
+ 3 10
n
+ 5 5) + 5 =
10 (10
n+1
+ 3 10
n
+ 5) 10 5 + 5 = 10 (10
n+1
+ 3 10
n
+ 5) 9 5.
Usando a hiptese de induo, k N : 10
n+1
+ 3 10
n
+ 5 = 9 k. Logo,
10
n+2
+310
n+1
+5 = 10 (10
n+1
+310
n
+5)95 = 109k95 = 9 (10k5),
pelo que 10
n+2
+ 3 10
n+1
+ 5 mltiplo de 9.
Portanto, por i) e ii), provmos, pelo princpio de induo matemtica, que
10
n+1
+ 3 10
n
+ 5 mltiplo de 9, n N.
4. Mostre, pelo princpio de induo matemtica, que 3
n
> 2
n+1
, n N 1.
Resoluo:
Consideremos a condio p(n) : 3
n
> 2
n+1
. Pretendemos mostrar que p(n) vlida para
todo o nmero natural n, maior que um.
i) Para n = 2 a proposio reduz-se a
3
2
= 9 > 8 = 2
2+1
,
pelo que p(2) verdadeira.
ii)Provemos agora que a propriedade hereditria. Assim, assumimos que p(n) verda-
deira e pretendemos provar que p(n + 1) tambm verdadeira, onde
p(n) : 3
n
> 2
n+1
e p(n + 1) : 3
n+1
> 2
n+2
.
Considerando o primeiro membro da tese, como 3
n+1
= 3 3
n
, aplicando a hiptese de
induo obtemos 3
n+1
= 3 3
n
> 3 2
n+1
. Como 3 > 2, as desigualdades anteriores
implicam que 3
n+1
> 2 2
n+1
= 2
n+2
. Logo, 3
n+1
> 2
n+2
.
Portanto, por i) e ii), provmos, pelo princpio de induo matemtica, que
3
n
> 2
n+1
, n N 1.
15
16
3 Sucesses de nmeros reais
3.1 Exerccios propostos para resoluo nas aulas
1. Considere a sucesso denida por recorrncia
_
_
_
u
1
=

2
u
n+1
=

2u
n
, n N.
(a) Prove, por induo, que 0 < u
n
< 2 , n N.
(b) Prove que a sucesso montona crescente.
2. Considere a sucesso de termo geral u
n
=
(1)
3n

n
. Indique, justicando, quais das se-
guintes sucesses so subsucesses de u
n
:
(a)
1

2n
;
(b)
1

n
;
(c)
1

n
;
(d)
1

2n+1
.
3. Mostre, usando a denio, que
(a) lim
n+
2
n
= +;
(b) lim
n+
e
n
+ 2
e
n
= 1;
(c) lim
n+
1
n
2
= 0;
(d) lim
n+
1
n
2
+ n + 3
= 0.
4. D exemplos de sucesses (u
n
) e (v
n
) tais que u
n
0, v
n
+ e que:
(a) lim
n+
u
n
v
n
= 2 ;
17
(b) lim
n+
u
n
v
n
= 0 ;
(c) lim
n+
u
n
v
n
no existe.
5. Calcule, se existirem, os seguintes limites:
(a) lim
n+
n

n
2
+ n
;
(b) lim
n+

(1)
n+1
n 2
n
3
+ 2n
2
2

;
(c) lim
n+
sin(

n)

n
;
(d) lim
n+
sin
_
1
n
_
1
n
;
(e) lim
n+
_
1 + n
2
_
n
;
(f) lim
n+
n
n2
(n + )
n
(n
2
+ 1);
(g) lim
n+

n
2
+ 5 +
3

n
3

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

n
;
(h) lim
n+
2
n
sin(n
2
+ 2n)
2
2n+1
+ 2
n
;
(i) lim
n+
n
n
2
(1 + n
2
)
n
2
2
;
(j) lim
n+
2
2n+1
_
n + 2
4n + 1
_
n
;
(k) lim
n+
(

2n + 1

2n) cos
_
n
3
+ 1
_
;
(l) lim
n+
n

k=1
n
n
2
+ k
;
(m) lim
n+
n

2
n
+ 3
n+1
;
(n) lim
n+
sin(n
2
);
(o) lim
n+
n

k=1
(sin n)
2
5n
3
+ k
;
(p) lim
n+
n
n
_
1
2
3n
n!
.
6. Considere a sucesso
u
n
=
1
n
+
1
n + 1
+ +
1
2n
.
18
(a) Prove que a sucesso limitada.
(b) Prove que a sucesso montona.
(c) Prove que a sucesso convergente.
7. Usando a caracterizao de conjuntos fechados em termos de limites de sucesses conver-
gentes, mostre que os seguintes conjuntos no so fechados:
(a) ]0, 1];
(b) x R : x =
n
n+1
, n N.
8. Calcule os sublimites das seguintes sucesses e indique em cada caso os respectivos limite
superior e limite inferior:
(a) (1)
n
n
n + 1
;
(b) (1)
n
n + n;
(c)
cos(n) + cos(2n)
n
;
(d)
n

n2
n
sin
_
n
2
_
.
9. Considere a sucesso de nmeros reais denida, por recorrncia,
_
_
_
u
1
= 1
u
n+1
= 2 +

u
n
, n N.
(a) Mostre que a sucesso montona.
(b) Mostre que u
n
4 , n N.
(c) Mostre que a sucesso convergente e calcule o seu limite.
10. Prove, usando a denio, que a sucesso a
n
=
1
n
uma sucesso de Cauchy.
19
3.2 Exerccios propostos para resoluo autnoma
1. Considere a sucesso de termo geral u
n
=
3
n + 1
.
(a) Calcule os cinco primeiros termos da sucesso.
(b) Averige se a sucesso montona e limitada.
2. Verique se as seguintes sucesses so limitadas:
(a) v
n
=
5n
2
+ 8
5n
2
+ 1
;
(b) w
n
=
_

_
arccot(n) se n par
arctan(n) se n mpar.
3. Verique se as seguintes sucesses so montonas:
(a) u
n
= cos
_
1
n
_
+ 5;
(b) z
n
=
_

_
1
n
se n par
(2)
n
se n mpar.
4. As sucesses u
n
e v
n
vericam as seguintes condies:
i) n N 0 < u
n
< v
n
;
ii) n N v
n
decrescente.
Diga, justicando, se so verdadeiras ou falsas as seguintes armaes:
(a) v
n
convergente;
(b) u
n
convergente;
(c) u
n
decrescente.
5. Mostre, usando a denio, que
(a) lim
n+
log(n) = +;
(b) lim
n+
1
2
n
= 0;
(c) lim
n+
n +

n
n +

n + 1
= 1.
6. D exemplos de sucesses (u
n
) e (v
n
) tais que u
n
+ e v
n
, que veriquem
(a) lim
n+
(u
n
+ v
n
) = 0 ;
20
(b) lim
n+
(u
n
+ v
n
) = +;
(c) lim
n+
(u
n
+ v
n
) no existe.
7. Considere as sucesses de nmeros reais denidas por
_

_
u
1
=
3
5
u
n+1
=
un3
6
, n N
e v
n
= 5u
n
+ 3 .
(a) Mostre que v
n
uma progresso geomtrica.
(b) Deduza a expresso analtica de v
n
e u
n
.
(c) Calcule o limite de u
n
.
8. Considere a sucesso de termo geral u
n
= sin
_
n

2
_
. Encontre sucesses v
n
estritamente
crescentes tais que w
n
= u
n
v
n
seja subsucesso de u
n
, e que veriquem
(a) w
n
= 1 , n N;
(b) w
n
= 0 , n N.
9. Calcule os seguintes limites:
(a) lim
n+
ntan
_
1
n
_
;
(b) lim
n+
cos
2
(n) sin
_
1
n
_
;
(c) lim
n+
_
n
2
+ 3
n
2
+ 1
_
n
2
;
(d) lim
n+
_
1
5
n
+ 3. 7
n
_

1
n
;
(e) lim
n+

5n
2
+ 1

5n
2
1 +
n

n;
(f) lim
n+
(n + 1)
n
2
+
(n + 1)
2
n
3
+ +
(n + 1)
n
n
n+1
;
(g) lim
n+
1
3

n
3
+ 4
+
1
3

n
3
+ 5
+ +
1
3

n
3
+ 2n
;
(h) lim
n+
_
n
10
1
n
10
_
n
5
;
(i) lim
n+
2
n
e
n+1
e
n
2
n+1
.
10. Usando a caracterizao de conjuntos fechados em termos de limites de sucesses conver-
gentes, mostre que os seguintes conjuntos no so fechados:
21
(a) [0, 1[;
(b) Q.
11. Calcule os sublimites das seguintes sucesses, e indique, em cada caso, o limite superior
e o limite inferior:
(a)

2n + 1 (1)
n

2n + 3;
(b) (1)
n
sin
2
(n)
2n
1
n
.
12. Considere a sucesso de nmeros reais positivos denida, por recorrncia, por
_

_
u
1
= 5
u
n+1
=
5u
n
4
u
n
, n N.
(a) Prove por induo que 4 < u
n
, n N.
(b) Prove que a sucesso convergente.
13. Sendo a R, com 0 < a < 1, considere a sucesso denida por recorrncia do seguinte
modo
_

_
u
1
= 3
u
n+1
= u
n
+ 3 a
n
, n N.
(a) Prove, por induo, que u
n
= 3
n

k=1
a
k1
, n N.
(b) Mostre que a sucesso e montona.
(c) Calcule o seu limite.
14. Prove que a sucesso x
n
= 1 +
1
2
+
1
3
+ +
1
n
no uma sucesso de Cauchy.
22
3.3 Exerccios resolvidos
1. Prove, usando a denio, que lim
1

n + 2
= 0.
Resoluo:
Queremos provar que
> 0 p N : n > p

n + 2
0

< .
Como
1

n + 2
sempre positivo, a propriedade anterior reduz-se a
> 0 p N : n > p
1

n + 2
< .
Seja > 0 xo arbitrariamente.
Atendendo a que
1

n + 2
<
1

n
, n N, para satisfazer a denio, basta tomar p como
o menor nmero inteiro maior ou igual que
1

2
. De facto,
n > p
1

2
n >
1

2

1
n
<
2

n
< .
Logo,
n > p
1

n + 2
<
1

n
< .
Provmos ento que
> 0 p N : n > p
1

n + 2
< .
2. Determine, justicando, o limite das sucesses:
(a) x
n
= sin(n)
n
2

j=1
j
n
5
;
(b) y
n
=
n

j=0
sin(

n)
_
j + 2n
3
.
Resoluo:
(a) Comeamos por calcular o lim
n
2

j=1
j
n
5
.
23
A sucesso
n
2

j=1
j
n
5
pode ser reescrita na forma
n
2

j=1
j
n
5
=
1
n
5
+
2
n
5
+ +
n
2
n
5
. .
n
2
parcelas
,
pelo que,
n
2
1
n
5

n
2

j=1
j
n
5
n
2
n
2
n
5
, n N.
Tendo em conta que
lim
n
2
n
5
= lim
1
n
3
= 0 ,
lim
n
4
n
5
= lim
1
n
= 0 ,
podemos concluir, pelo teorema das sucesses enquadradas, que
lim
n
2

j=1
j
n
5
= 0 .
Uma vez que 1 sin(n) 1, n N, podemos concluir que
limsin(n)
n
2

j=1
j
n
5
= 0 ,
por ser o produto de um innitsimo por uma sucesso limitada.
(b) A resoluo desta alnea anloga anterior, uma vez que y
n
pode ser reescrita na
forma
y
n
= sin(

n)
n

j=0
1
_
j + 2n
3
= sin(

n)
_
_
_
_
_
_
1

0 + 2n
3
+ +
1

n + 2n
3
. .
n+1 parcelas
_
_
_
_
_
_
,
atendendo a que sin(

n) no depende do ndice do somatrio. Assim, vamos pri-


meiro calcular lim
n

j=0
1
_
j + 2n
3
. Comecemos por observar que
(n + 1)
1

n + 2n
3

j=0
1
_
j + 2n
3
(n + 1)
1

2n
3
, n N.
24
Dividindo o numerador e o denominador de ambas as fraces pela potncia de maior
grau, obtemos
lim
n + 1

n + 2n
3
= lim
1

n
+
1
n
3/2
_
1
n
2
+ 2
= 0
e
lim
n + 1

2n
3
= lim
1

n
+
1
n
3/2

2
= 0.
Logo, pelo teorema das sucesses enquadradas, conclumos que
lim
n

j=0
1
_
j + 2n
3
= 0.
Por outro lado temos
1 sin(

n) 1, n N
o que nos permite concluir que,
limsin(

n)
n

j=0
1
_
j + 2n
3
= 0,
por se tratar do produto de um innitsimo por uma sucesso limitada.
3. Calcule, justicando, os limites das seguintes sucesses:
(a)
n
n

n!
;
(b)
1
5
n
_
5n 1
n + 1
_
n
;
(c)
4

n + 1
n

n + 3
sin(

n + 1);
(d) sin
_
1
n
_
cos(

n + 1).
Resoluo:
(a) Comecemos por notar que
lim
n
n

n!
= lim
n
_
n
n
n!
.
25
Seja u
n
=
n
n
n!
> 0 , n N. Como
lim
u
n+1
u
n
= lim
(n+1)
(n+1)
(n+1)!
n
n
n!
= lim
(n + 1)
(n+1)
n!
(n + 1)! n
n
= lim
(n + 1)
n
(n + 1) n!
(n + 1) n! n
n
= lim
(n + 1)
n
n
n
= lim
_
1 +
1
n
_
n
= e,
e atendendo a que
lim
u
n+1
u
n
= e lim
n

u
n
= e,
conclumos que lim
n
n

n!
= e.
(b) Comecemos por notar que
1
5
n
_
5n 1
n + 1
_
n
=
_
5n 1
5n + 5
_
n
e que
5n 1
5n + 5
= 1 +
6
5n + 5
.
Logo,
lim
1
5
n
_
5n 1
n + 1
_
n
= lim
_
5n 1
5n + 5
_
n
= lim
_
_
1 +
6
5n + 5
_
5n+5
_ n
5n+5
.
Assim, como lim
_
1 +
6
5n + 5
_
5n+5
= e
6
e lim
n
5n + 5
=
1
5
, obtemos
lim
1
5
n
_
5n 1
n + 1
_
n
=
_
e
6
_1
5
= e

6
5
.
(c) Dividindo o numerador e o denominador da fraco pela potncia de maior grau
obtemos, sucessivamente,
lim
4

n + 1
n

n + 3
= lim
4

n
n
3/2
+
1
n
3/2

n
3
n
3/2
+
3
n
3/2
= lim
4
_
n
n
6
+
1
n
3/2
1 +
3
n
3/2
= lim
4
_
1
n
5
+
1
n
3/2
1 +
3
n
3/2
=
4

0 + 0
1 + 0
= 0.
26
Uma vez 1 sin(

n + 1) 1 , n N, temos que
lim
4

n + 1
n

n + 3
sin(

n + 1) = 0,
por se tratar do produto de um innitsimo por uma sucesso limitada.
(d) Tendo em conta que
limsin
_
1
n
_
= sin(0) = 0
e que
1 cos(

n + 1) 1, n N,
podemos concluir que
limsin
_
1
n
_
cos(

n + 1) = 0,
por ser o produto de um innitsimo por uma sucesso limitada.
4. Considere a sucesso de nmeros reais denida por recorrncia,
_
_
_
x
1
=

3
x
n+1
=

3 x
n
.
(a) Mostre, por induo matemtica, que

3 x
n
< 3, n N.
(b) Mostre que a sucesso crescente.
(c) Verique que a sucesso convergente e determine o seu limite.
Resoluo:
(a) Queremos provar, pelo princpio de induo matemtica, que a propriedade

3 x
n
< 3 vericada, para todo o nmero natural n.
(i) Para n = 1, a propriedade reduz-se a

3 x
1
=

3 < 3
pelo que, para n = 1, obtemos uma proposio verdadeira.
(ii) Queremos agora provar que se a propriedade vlida para um certo nmero
natural n, ento tambm vlida para o nmero natural seguinte, i.e, queremos
provar que

3 x
n
< 3

3 x
n+1
< 3.
Por hiptese,

3 x
n
< 3. Logo, obtemos sucessivamente

3 x
n
< 3
3

3 3 x
n
< 9

_
3

3 x
n
< 3

3
_
3

3 x
n+1
< 3,
27
pelo que

3 x
n+1
< 3.
Por (i) e (ii), provmos, pelo princpio de induo matemtica, que

3 x
n
< 3,
n N.
(b) Queremos provar que x
n+1
x
n
> 0, n N. Basta ver que
x
n+1
x
n
=

3x
n
x
n
=

x
n

x
n

x
n
=

x
n
(

x
n
).
Como, pela alnea (a),

x
n
> 0 e

x
n
<

3, ento

x
n
(

x
n
) > 0. Logo,
x
n+1
x
n
> 0, n N, pelo que conclumos que a sucesso estritamente crescente.
(c) Pela alnea (a), sabemos que a sucesso limitada e, pela alnea (b), sabemos que a
sucesso montona. Ento, podemos concluir que a sucesso convergente. Seja
limx
n
= a. Ento, limx
n+1
= a, uma vez que (x
n+1
)
nN
uma subsucesso de
(x
n
)
nN
, e qualquer subsucesso de uma sucesso convergente, convergente para o
mesmo limite. Temos ento
limx
n+1
= lim

3 x
n
limx
n+1
=

3
_
lim x
n
a =

3 a
a
2
= 3 a
a = 0 a = 3.
Podemos ento concluir que limx
n
= 3, uma vez que, como

3 x
n
< 3, n N,
ento

3 limx
n
3.
5. Seja a R um nmero positivo. Considere a sucesso de nmeros reais denida, por
recorrncia,
_
_
_
x
1
= 0, x
2
= a
x
n+2
= x
n+1
+ x
2
n
.
(a) Mostre que a sucesso crescente.
(b) Mostre que x
n
> 0, n N 1.
(c) Mostre que se existir b R tal que limx
n
= b, ento b = 0.
(d) Tendo em conta as alneas anteriores, calcule limx
n
.
Resoluo:
(a) Como x
n+2
x
n+1
= x
2
n
0 , n N, temos
x
n+2
x
n+1
0 , n N
28
isto ,
x
n+1
x
n
0 , n N 1 .
Como a > 0, temos ainda que x
2
x
1
= a 0 0. Podemos ento concluir que
x
n+1
x
n
0 , n N.
(b) Vamos mostrar, pelo princpio de induo matemtica, que
x
n
> 0, n N 1,
o que equivalente a
x
n+1
> 0, n N.
(i) Para n = 1, a propriedade reduz-se a x
2
= a > 0 pelo que, para n = 1, obtemos
uma proposio verdadeira.
(ii) Queremos agora provar que se a propriedade vlida para um certo nmero
natural n, ento tambm vlida para o nmero natural seguinte, i.e, queremos
provar que x
n+1
> 0 x
n+2
> 0.
Por hiptese de induo, x
n+1
> 0 e, como x
2
n
0, n N, obtemos x
n+2
=
x
n+1
+ x
2
n
0.
Por (i) e (ii), provmos, pelo princpio de induo matemtica, que x
n+1
> 0 , n
N.
(c) Suponhamos que existe b R, tal que limx
n
= b. Assim, como (x
n+1
)
nN
e (x
n+2
)
nN
so subsucesses de (x
n
)
nN
, e qualquer subsucesso de uma sucesso convergente
convergente para o mesmo limite, temos que limx
n+1
= limx
n+2
= b .
Uma vez que x
n+2
= x
n+1
+ x
2
n
obtemos
limx
n+2
= limx
n+1
+ (limx
n
)
2
b = b + b
2
b = 0.
Portanto, se limx
n
= b e b R, ento limx
n
= 0.
(d) Pela alnea (a), a sucesso montona crescente. Vejamos agora que a sucesso
no limitada. De facto, se a sucesso fosse limitada, pelo teorema da sucesso
montona e pela alnea (c), teramos que limx
n
= 0. Mas, x
n
x
2
, n 2, isto
, x
n
a > 0 , n 2, pelo que limx
n
a > 0, o que contradiz a alnea (c) (isto
, limx
n
= 0 uma contradio com o facto de termos uma sucesso montona
crescente cujo segundo termo estritamente positivo). Podemos ento concluir que
x
n
no limitada. Mas, por ser montona crescente, x
n
limitada inferiormente
(x
1
x
n
, n N). Podemos assim concluir que a sucesso no limitada por
no ser limitada superiormente, isto , o conjunto dos termos da sucesso no tem
majorantes.
Seja L > 0. Se L no majorante do conjunto dos termos da sucesso, ento
m
0
N : x
m
0
> L.
Uma vez que x
n
crescente, n > m
0
x
n
x
m
0
> L.
Podemos ento concluir que
L > 0 m
0
N : n > m
0
x
n
> L.
Logo, x
n
um innitamente grande positivo, ou seja, limx
n
= +.
29
30
4
Limites, Continuidade e
Clculo Diferencial
4.1 Exerccios propostos para resoluo nas aulas
1. Prove, usando a denio, que
(a) lim
x1
3x + 2 = 5;
(b) lim
x+
2x
x + 1
= 2.
2. Justique convenientemente a seguinte armao: " lim
x+
sin(x)".
3. Seja g a funo denida, em R, por
g(x) =
_
_
_
x + 3, se x > 1
x + 2, se x < 1.
(a) Esboce o grco de g.
(b) Mostre que no existe lim
x1
g(x).
4. Considere a funo f real de varivel real
f(x) =
_
_
_
2x + 3, se x < 1
x + 4, se x > 1.
Calcule lim
x 1
x = 1
f(x) e lim
x1
f(x).
5. Seja f a funo denida, em R, por
f(x) =
_
_
_
x + 2, se x > 1
2 3x, se x 1.
31
(a) Mostre que no existe lim
x1
f(x).
(b) Dena, em R, uma funo g tal que lim
x1
(f + g)(x) = 4.
6. Para cada nmero real m, a expresso seguinte dene uma funo real de varivel real:
h(x) =
_

_
x
2
m + 7, se x > 0
5, se x = 0
[x + 3[ + m, se x < 0.
(a) Determine m de modo que exista lim
x0
h(x).
(b) Calcule m de modo que lim
x5
h(x) = h(0). Neste caso, a funo injectiva? Justi-
que.
7. Seja f a funo real de varivel real denida por
f(x) =
_

_
x
2
e
x
, se x 1
sin(x 1)
x
2
1
, se x < 1.
(a) Determine o domnio da funo e estude-a quanto continuidade.
(b) Determine os zeros da funo dada.
(c) Calcule lim
x
f(x).
8. Considere a funo g, real de varivel real,
g(x) =
_
_
_
x + 1, se x > 2
1
2
x, se x 2.
(a) Calcule g(0) e g(3).
(b) Mostre que x [0, 3], g(x) ,=
5
2
.
Isto contradiz o teorema de Bolzano? Justique.
(c) Averige se a restrio de g ao intervalo [0, 2] necessariamente limitada.
9. Sejam f e g duas funes contnuas em [a, b] tais que f(a) = g(b) e f(b) = g(a). Mostre
que f g tem pelo menos um zero pertencente ao intervalo [a, b].
10. Considere a funo real de varivel real denida por
f(x) =
_
_
_
e
x
1, se x 0
cos(x) log(x + 1), se x < 0.
32
(a) Determine o domnio de f e estude-a quanto continuidade.
(b) Mostre que existe a
_

4
, 1

tal que f(a) = 0.


(c) Justique que a funo tem um mximo e um mnimo no intervalo [0, 1]. Indique os
seus valores.
11. Considere a funo real de varivel real denida por
g(x) =
_
_
_
3
x
+ 2
x
2 e
x
, se x 0
arctan(x), se x < 0.
(a) Determine o domnio da funo e estude-a quanto continuidade.
(b) Calcule lim
x
g(x) e lim
x+
g(x).
(c) O teorema de Weierstrass garante a existncia de mximo e mnimo da funo no
intervalo [1, 1]?
12. Considere a funo real de varivel real denida por
f(x) =
_
_
_

1
x
cos
_

2
x
_
, se x < 1
e
x
log(x
2
), se x 1.
(a) Determine o domnio da funo e estude-a quanto continuidade.
(b) A funo f diferencivel em x = 1? Justique.
(c) Calcule lim
x
f(x).
(d) Verique se ou no possvel prolongar f por continuidade ao ponto x = 0.
13. Considere a funo g, real de varivel real, tal que
g(x) =
_
_
_
e
bx+b
, se x < 1
(x 2)
2
, se x 1.
Determine o nmero real b de modo a que a funo g seja diferencivel em x = 1.
14. Seja A = [0, 2] e considere a funo
g : A R
x 1 +[ sin(x)[.
(a) Mostre que g contnua no intervalo A, mas que no tem derivada no ponto x = .
(b) Seja a
n
uma sucesso montona de termos de A. Averige se a
n
necessariamente
convergente para um ponto de A.
33
15. Dada a funo f(x) =

3
2 arccos
_
3x
2
_
, mostre que a recta de equao y 3x+
2
3
= 0
tangente ao grco da funo f. Determine o ponto de tangncia.
16. Considere a funo real de varivel real denida por f(x) = cos(3x).
(a) Calcule a terceira derivada de f.
(b) Prove, pelo princpio de induo matemtica, que f
(n)
(x) = 3
n
cos
_
n
2
+ 3x
_
, x
R, n N.
17. Dadas as funes f e g denidas por f(x) = 2 cot(3x) e g(x) =

2
+arcsin(1x), determine
a derivada de f o g no ponto de abcissa 1.
18. Dadas as funes
f : [2, 0] [0, ]
x arccos(x + 1)
e
g :
_

1
5
, +
_
R
x log
2
(5x + 1),
calcule as derivadas de f e de g, utilizando o teorema da derivada da funo inversa.
19. Considere a funo real de varivel real
f(x) =
_
_
_
x[x[, se x > 2
(x + 2)
2
4, se x 2.
(a) Determine o domnio de f.
(b) Estude f quanto continuidade.
(c) Determine a funo derivada f

.
(d) Determine a funo segunda derivada f

.
20. Considere a funo f real de varivel real denida por
f(x) =
_
_
_
e
|x1|
, se x > 0
arctan(x), se x 0.
(a) Estude a funo f quanto continuidade.
(b) Estude a funo f quanto diferenciabilidade e determine a funo f

.
(c) Determine o sinal da funo segunda derivada f

.
(Nota: pode usar, sem demonstrar, que lim
x0
arctan(x)
x
= 1.)
34
4.2 Exerccios propostos para resoluo autnoma
1. Prove, usando a denio, que
(a) lim
x0
+
1
x
= +;
(b) lim
x+
log1
2
x = .
2. Seja f a funo real de varivel real denida por
f(x) =
_

_
2x, se x < 1
x
2
+ 1, se 1 x < 2
3x 2, se x > 2.
Investigue se existe
(a) lim
x1
f(x);
(b) lim
x2
f(x).
3. Seja h a funo denida, em R, por
h(x) =
_

_
[x + 3[
x + 3
, se x ,= 3
2, se x = 3.
(a) Determine, se existir, lim
x3
h(x).
(b) Esboce o grco da funo h e determine o seu contradomnio.
(c) Diga, justicando, o valor lgico da proposio x, y R h(x) = h(y) x = y.
4. Considere a funo real de varivel real denida por
f(x) =
_

_
sin(x
2
4)
x 2
, se x > 2
x a, se x 2.
(a) Determine, caso exista, o valor de a que torna a funo contnua no ponto x = 2.
(b) Considerando a = 2, calcule os zeros da funo.
(c) Calcule lim
x+
f(x).
5. Considere, em R, as funes f(x) =
1
x
e g(x) =
x
2
9
x
3
27
.
(a) Determine o domnio de f e de g.
35
(b) Mostre que no h nenhuma extenso de f que seja contnua em R.
(c) Indique um prolongamento de g a R que seja contnuo.
6. Seja f uma funo real de varivel real, contnua em [a, b]. Sabendo que f(a) a e
f(b) b, prove que f tem pelo menos um ponto xo no intervalo [a, b] (Nota: c um
ponto xo de f, se f(c) = c).
7. Considere a funo real de varivel real denida por
g(x) =
_
_
_
2

arcsin [x 2[, se x 3
e
(x3)
2
, se x > 3.
(a) Determine o domnio da funo e estude-a quanto continuidade.
(b) Calcule lim
x2
g(x)
x 2
. (Nota: pode usar, sem demonstrar, que lim
x0
arcsin(x)
x
= 1.)
(c) O teorema de Weierstrass garante a existncia de mximo e mnimo da funo no
intervalo
_
5
2
, 4
_
?
8. Considere a funo real de varivel real denida por
h(x) =
_

_
2x
3
5x + m, se x 1
(x 1) log(e + (x + 1)
2
)
x
2
+ x 2
, se x < 1.
(a) Determine m de modo a que a funo seja contnua em x = 1.
Considere, nas prximas alneas, o valor de m obtido na alnea (a).
(b) Indique o conjunto dos pontos onde h contnua, justicando detalhadamente.
(c) Diga, justicando, se verdadeira ou falsa a proposio
x ] 1, 0[: h(x) = 1.
9. Seja g a funo real de varivel real denida por
g(x) =
_

_
x
2
+ 2x + 2, se x 2
1 +
e
x+1
(x 1)
(x
2
1)5
x
, se x > 2.
(a) Determine o domnio da funo e estude-a quanto continuidade.
(b) Calcule lim
x+
g(x) e lim
x1
g(x).
(c) Justique que a restrio da funo ao intervalo [4, 2] atinge um mnimo nesse
intervalo.
10. Calcule, usando regras de derivao, as derivadas das seguintes funes:
36
(a) e
sin(x)
;
(b) arctan(x
2
);
(c) arcsin(x
2
);
(d) log(cos(x));
(e)
_
sin(x)
_
5
;
(f) [x + 1[;
(g)
_
(log(x) + 1)
3
;
(h) tan(

x);
(i) tan
2
(x
4
) + cot(x);
(j) arctan
_

1 cos(x)
1 + cos(x)
_
;
(k)
sin(x) + cos(x)
sin(x) cos(x)
;
(l) log(log(x) + 2);
(m) log
_
e
x
1 + e
x
_
.
11. Dada a funo real de varivel real denida por y(x) = e
2x
sin(5x), verique que y

(x)
4 y

(x) + 29 y(x) = 0.
12. Considere a funo real de varivel real g(x) = xe
x
.
(a) Determine A = x R : g

(x) = 0.
(b) Demonstre, pelo princpio de induo matemtica, que g
(n)
(x) = (1)
n
(xn)e
x
, x
R, n N.
13. Considere, em R, a funo f denida por f(x) =
mx + 1
2x + m
. Determine o nmero real m de
forma a que a recta tangente ao grco de f, no ponto de abcissa x = 1, faa um ngulo
de 135
o
com o semi-eixo positivo das abcissas.
14. Considere, em R, as funes f(x) =
1
2
arcsin(x 2) e g(x) =
_
1
2
_
x+2
.
(a) Determine o domnio e o contradomnio de f e de g.
(b) Calcule as derivadas de f e de g, utilizando o teorema da derivada da funo inversa.
(c) Determine a derivada de g o f, no ponto de abcissa 2.
15. Estude a diferenciabilidade de cada uma das seguintes funes, no ponto x = 0:
(a) f(x) =
_
_
_
cos
_

2
x
_
, se x
_

2
, 0
_
x log
_

2
x + e
_
, se
_
0,

2
_
;
37
(b) g(x) =
_

_
x
1 + e
1
x
, se x ,= 0
0, se x = 0.
16. Considere a funo real de varivel real f : [3, 4] R denida por
f(x) =
_
_
_

2 x, se 3 x < 2
3x 6
x
, se 2 x 4.
(a) Prove que a funo admite mximo e mnimo.
(b) Calcule a funo derivada f

e a funo segunda derivada f

.
(c) Seja d
n
uma sucesso montona de termos de T
f
. Averige se d
n
necessariamente
convergente para um ponto de T
f
.
17. Considere a funo real de varivel real denida pela expresso
g(x) =
_

_
sin(x) + cos(x)
1 cos(x)
, se x ,= 0
1, se x = 0.
(a) Determine o domnio de g e estude-a quanto continuidade.
(b) Calcule os zeros de g. Justique a existncia desses zeros usando o teorema de
Bolzano.
(c) Estude a funo g quanto diferenciabilidade.
18. Considere a funo real de varivel real denida por
h(x) =
_
_
_
[x
2
9[, se x 0
log(x
2
+ e
4
), se x < 0.
(a) Determine o domnio de h e estude a funo quanto continuidade.
(b) Estude a funo h quanto diferenciabilidade.
38
4.3 Exerccios resolvidos
1. Prove, usando a denio, que lim
x1
4 x + 2 = 6.
Resoluo:
Queremos provar que > 0 > 0 : [x 1[ < [(4 x + 2) 6[ < , isto , que
> 0 > 0 : [x 1[ < 4 [x 1[ < .
Seja > 0 xo arbitrariamente.
Para vericar a denio, basta tomar =

4
. De facto, considerando este valor para ,
obtemos [x 1[ < 4[x 1[ < 4 = 4

4
= .
Assim, conclumos que > 0 =

4
> 0 : [x 1[ < 4 [x 1[ < .
2. Considere a funo f real de varivel real, denida por
f(x) =
_

_
log(1 x
2
), se 1 < x < 0
x
2
, se x 0
arctan(x) , se x 1.
(a) Determine o domnio da funo.
(b) Estude a continuidade de f.
(c) Estude a diferenciabilidade de f nos pontos x = 1 e x = 0.
Sugesto: pode usar, sem demonstrar, que lim
y0
log(1 + y)
y
= 1.
(d) Determine os zeros da funo.
(e) Calcule lim
x
f(x).
(f) Averige se, no intervalo [2, 3], a funo f limitada.
Resoluo:
(a) Comecemos por notar que
T
f
= x R : (1 x
2
> 0 1 < x < 0) x 0 x 1.
Como 1 x
2
> 0 x
2
< 1 1 < x < 1, ento 1 x
2
> 0 1 < x < 0
equivalente a 1 < x < 0. Logo, T
f
= R.
(b) No interior do intervalo onde est denido cada um dos ramos da funo, a funo
contnua. Nomeadamente, f contnua em ] 1, 0[ por ser a composio de
duas funes contnuas no seu domnio (funo quadrtica e funo logartmica),
contnua em ]0, +[ por ser uma funo quadrtica e, nalmente, contnua
39
em ] , 1[ por ser tambm a composio de duas funes contnuas (funo
trigonomtrica inversa e funo linear). Falta estudar a continuidade da funo nos
pontos x = 0 e x = 1.
Vamos ento estudar a continuidade da funo no ponto x = 0, comeando por
calcular os seus limites relativos. Assim, temos
lim
x0
+
f(x) = lim
x0
+
x
2
= 0 e lim
x0

f(x) = lim
x0

log(1 x
2
) = 0.
Logo, como lim
x0
+
f(x) = lim
x0

f(x) = 0 ento lim


x 0
x = 0
f(x) = 0. Alm disso, aten-
dendo a que f(0) = 0 ento lim
x0
f(x) = 0. Consequentemente, f contnua em
x = 0.
Estudemos agora a continuidade da funo no ponto x = 1, pelo mesmo processo:
lim
x1
+
f(x) = lim
x1
+
log(1 x
2
) = e lim
x1

f(x) = lim
x1

arctan(x) =

4
.
Assim, como lim
x1
+
f(x) ,= lim
x1

f(x) ento no existe lim


x 1
x = 1
f(x). Consequente-
mente, no existe lim
x1
f(x), pelo que f no contnua em x = 1.
Conclumos assim que f contnua em R 1.
(c) Como a funo no contnua em x = 1 ento no diferencivel neste ponto.
Assim, precisamos apenas de estudar a diferenciabilidade da funo no ponto x = 0.
Calculando as derivadas laterais, obtemos
f

(0
+
) = lim
x0
+
f(x) f(0)
x 0
= lim
x0
+
x
2
0
x
= lim
x0
+
x = 0
e
f

(0

) = lim
x0

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

log(1 x
2
) 0
x
= lim
x0

log(1 + (x
2
))
x
2
(x) = 0.
Como f

(0
+
) = f

(0

) = 0 ento existe e nita f

(0), pelo que f diferencivel em


x = 0.
(d) Para determinar os zeros da funo, necessitamos de analisar separadamente os trs
ramos.
Assim, no intervalo ] 1, 0[ temos f(x) = 0 log(1 x
2
) = 0 1 x
2
= 1 x
2
=
0 x = 0. Como 0 / ] 1, 0[, ento f no tem nenhum zero neste intervalo.
Relativamente ao intervalo [0, +[, temos f(x) = 0 x
2
= 0 x = 0. Como
0 [0, +[, ento x = 0 um zero da funo.
Por ltimo, no intervalo ] , 1], de f(x) = 0 arctan(x) = 0 x = 0
x = 0 conclumos novamente que a funo no tem nenhum zero neste intervalo,
uma vez que x = 0 no pertence ao intervalo ] , 1].
Sendo assim, o nico zero da funo x = 0.
40
(e) Tem-se que lim
x
f(x) = lim
x
arctan(x) =

2
.
(f) Como f contnua em R 1, ento f contnua no intervalo I = [2, 3]. Pelo
teorema de Weierstrass, como I um intervalo fechado e limitado ele transformado,
por esta funo contnua, num intervalo fechado e limitado. Logo, f(I) um intervalo
fechado e limitado. Assim, o contradomnio - f(I) - limitado pelo que f , neste
intervalo, limitada.
3. Considere a funo
g : [0, 2] [

2
,

2
]
y arcsin(y 1).
Calcule a derivada de g, utilizando o teorema da derivada da funo inversa.
Resoluo:
Consideremos I = [

2
,

2
], e a funo
f : I [0, 2]
x sin(x) + 1.
Como f uma funo estritamente montona e contnua em I, f invertvel (em I),
sendo
g : [0, 2] I
y arcsin(y 1).
a sua funo inversa.
Pelo teorema da derivada da funo inversa, sabemos ento que sendo f diferencivel no
ponto x = g(y) e f

(x) ,= 0 (x ]

2
,

2
[) , ento g diferencivel em y = f(x) e
g

(y) =
1
f

(g(y))
=
1
cos(g(y))
=
1
cos(arcsin(y 1))
.
Precisamos agora de simplicar a expresso cos(arcsin(y1)). Como x = arcsin(y1)
sin(x) = y 1, basta-nos encontrar o valor de cos(x), a partir do valor de sin(x). Pela
frmula fundamental da trigonometria, e atendendo a que x I, obtemos cos(x) =
_
1 sin
2
(x) =
_
1 (y 1)
2
. Conclumos assim que
g

(y) =
1
_
1 (y 1)
2
.
4. Considere a funo f real de varivel real denida por
f(x) =
_
_
_
x
2
1, se x < 1
arcsin(x 1), se x 1.
41
(a) Determine o domnio da funo.
(b) Calcule, se existir, lim
x1
f(x).
(c) A funo injectiva? Justique.
(d) Mostre que c ]0,
3
2
[ tal que f(c) =

12
.
(e) Justique que a funo tem um mximo e um mnimo no intervalo [0,
3
2
].
(f) Determine a funo derivada f

.
Resoluo:
(a) Comecemos por notar que T
f
= x R : x < 1 (1 x 1 1 x 1). Como
1 x 1 1 0 x 2 ento 1 x 1 1 x 1 1 x 2. Assim,
T
f
=] , 2].
(b) Comecemos por calcular os limites relativos. Temos lim
x1

f(x) = lim
x1

x
2
1 = 0 e
lim
x1
+
f(x) = lim
x1
+
arcsin(x 1) = arcsin(0) = 0. Como lim
x1
+
f(x) = lim
x1

f(x) = 0
ento lim
x 1
x = 1
f(x) = 0. Alm disso, atendendo a que f(1) = 0, conclumos que
lim
x1
f(x) = 0.
(c) Para a funo ser injectiva, tem de ser verdadeira a proposio
x, y T
f
, f(x) = f(y) x = y.
Atendendo a que f(1) = f(1) = 0 ento verica-se a negao da proposio ante-
rior, isto ,
x, y T
f
: f(x) = f(y) x ,= y,
pelo que f no injectiva.
(d) Vimos, na alnea (b), que existe lim
x1
f(x) pelo que f contnua no ponto x = 1.
Alm disso, no interior do intervalo onde est denido cada um dos ramos da funo,
podemos armar que f tambm contnua. De facto, em ], 1[ a funo contnua
por se tratar de uma funo polinomial e, em ]1, 2[ a funo contnua por se tratar
da composio de duas funes contnuas (uma funo trigonomtrica inversa, que
contnua no seu domnio, e uma funo linear). Ainda, f contnua em x = 2, uma
vez que lim
x2

f(x) = lim
x2

arcsin(x 1) = arcsin(1) =

2
= f(2). Conclumos assim
que f contnua em ] , 2] pelo que, em particular, f contnua em [0,
3
2
]. Como,
por outro lado, f(0) = 1 e f
_
3
2
_
= arcsin
_
1
2
_
=

6
ento, pelo teorema de Bolzano,
toda a funo contnua no passa de um valor para outro sem passar por todos os
valores intermdios, i.e., considerando k =

12
, como f(0) = 1 <

12
<

6
= f
_
3
2
_
ento c ]0,
3
2
[: f(c) = k =

12
.
Observao: Para estarmos nas condies do teorema de Bolzano, apenas precisamos
de provar que f contnua em [0,
3
2
]. Por isso, uma resoluo alternativa seria provar
42
que f contnua nos intervalos ]0, 1[ e ]1,
3
2
[, no ponto x = 1 (com justicaes
anlogas s anteriores) e, ainda, que lim
x0
+
f(x) = f(0) e lim
x
3
2

f(x) = f
_
3
2
_
.
(e) Vimos, na alnea anterior, que f contnua no intervalo I = [0,
3
2
]. Pelo corolrio do
teorema de Weierstrass, como I um intervalo limitado e fechado, ento a funo
atinge neste intervalo um mximo e um mnimo.
(f) No interior do intervalo onde est denido cada um dos ramos da funo, podemos
calcular f

utilizando as regras de derivao. Assim, obtemos


f

(x) =
_

_
2 x, se x < 1
1
_
1 (x 1)
2
, se 1 < x < 2.
Vamos agora estudar a diferenciabilidade de f no ponto x = 1, por denio. Cal-
culando as derivadas laterais, obtemos
f

(1
+
) = lim
x1
+
f(x) f(1)
x 1
= lim
x1
+
arcsin(x 1) 0
x 1
= lim
x1
+
arcsin(x 1)
x 1
= 1
e
f

(1

) = lim
x1

f(x) f(1)
x 1
= lim
x1

(x
2
1) 0
x 1
= lim
x1

(x 1)(x + 1)
x 1
= lim
x1

x+1 = 2.
Como f

(1
+
) ,= f

(1

) ento no existe f

(1). Notemos ainda que no denimos


derivada no ponto x = 2 porque este no um ponto interior a T
f
.
Podemos ento concluir que
f

(x) =
_

_
2 x, se x < 1
1
_
1 (x 1)
2
, se 1 < x < 2.
5. Considere as funes f e g denidas por f(x) = tan(2x) e g(x) = + arctan(1 x).
(a) Determine uma equao da tangente ao grco de g no ponto de abcissa 1.
(b) Determine a derivada de f o g no ponto de abcissa 1.
Resoluo:
(a) Uma equao da recta tangente ao grco de g no ponto de abcissa 1
y g(1) = g

(1)(x 1).
Como g

(x) =
1
1 + (1 x)
2
, ento g diferencivel em R, e g

(1) = 1. Por outro


lado, g(1) = . Logo, obtemos a equao da recta tangente
y = x + 1.
43
(b) Vimos, na alnea (a), que a funo g diferencivel em R e, por outro lado, sabemos
que a funo f diferencivel em T
f
= x R : x ,=

4
+ k

2
, k Z, e que
f

(x) =
2
cos
2
(2x)
. Assim, sendo g diferencivel no ponto 1 e f diferencivel no
ponto g(1), pelo teorema da derivada da funo composta, f g diferencivel em
1 e (f g)

(1) = f

(g(1)) g

(1). Atendendo aos clculos efectuados anteriormente,


obtemos ento (f g)

(1) = f

() (1) = 2 (1) = 2.
44
5
Teoremas fundamentais
(Rolle, Lagrange e Cauchy).
Indeterminaes.
5.1 Exerccios propostos para resoluo nas aulas
1. Seja f a funo real de varivel real denida por f(x) = x
4
x
2
1.
(a) Mostre que f verica as condies do teorema de Rolle no intervalo [2, 2].
(b) Determine o(s) ponto(s) em que a recta tangente ao grco da funo horizontal.
2. Considere a funo g : [1, 3] R, denida por g(x) = [x 1[.
(a) Mostre que g contnua no seu domnio e que g(1) = g(3).
(b) Verique que g

(x) no se anula para qualquer valor de x.


(c) Explique por que motivo no existe contradio com o teorema de Rolle.
3. Determine o nmero exacto de zeros da funo real de varivel real, denida por h(x) =
x
4
2x
3
+ 1.
4. Considere a funo real de varivel real denida, no intervalo [2, 2], por f(x) =
x
3
4
+1.
(a) Mostre que esta funo verica as condies do teorema de Lagrange.
(b) Determine o(s) ponto(s) em que a recta tangente ao grco de f paralela ao
segmento de extremos A(2, f(2)) e B(2, f(2)).
5. Considere a funo real de varivel real denida, no intervalo [1, 8], por f(x) = x
2
3
.
(a) Mostre que no existe c no intervalo ] 1, 8[ tal que f

(c) =
f(8) f(1)
8 (1)
.
(b) A alnea anterior contradiz o teorema de Lagrange? Justique.
6. Considere a funo real de varivel real, denida por g(x) = 1 + x log(x). Aplicando
o teorema de Lagrange funo g, mostre que o seguinte conjunto de desigualdades
satisfeito
1 + log(x) < log(4x) < 1 + log(2x), x 1.
Sugesto: considere intervalos da forma [x , 2x], com x 1.
45
7. (a) Seja f uma funo real de varivel real, diferencivel num intervalo I. Mostre,
utilizando o teorema de Lagrange que, se existir M > 0 tal que [f

(x)[ M, x I,
ento [f(x) f(y)[ M [x y[ , x, y I.
(b) Utilize o resultado da alnea anterior para mostrar que [ tan(x) tan(y)[
[x y[, x, y
_

2
,

2
_
.
8. Seja f a funo real de varivel real denida por f(u) = log(u).
(a) Mostre que o teorema do valor mdio de Lagrange pode ser aplicado funo f, em
qualquer intervalo da forma [1, x], para x > 1, e determine o valor mdio para o caso
em que x = e.
(b) Prove, utilizando o referido teorema que, x > 1, x 1 < log (x
x
) < x
2
x.
9. Considere f, uma funo contnua e diferencivel em [0, +[ tal que f(0) = 0 e
0 < f

(x) 1.
(a) Justique que f s se anula num ponto.
Sugesto: Considere o intervalo [0, b], b > 0, e aplique o teorema de Rolle.
(b) Prove que x 0, f(x) x.
10. Verique que no possvel aplicar a regra de Cauchy no clculo dos limites seguintes, e
calcule-os por um outro processo.
(a) lim
x+
2x sin(x)
3x + sin(x)
;
(b) lim
x0
+
x
2
_
2 + sin
_
1
x
__
.
11. Calcule, se existirem, os seguintes limites:
(a) lim
x0
x
3
x
log(x + e) 1
;
(b) lim
x0
+
x + log (sin(x))
log(x)
;
(c) lim
x+
log (x
2
+ 1)
1 + log(x)
;
(d) lim
x0
+
_
cot(x)
1
x
_
;
(e) lim
x0
+
(tan(x) log(x));
(f) lim
x1
+
(x 1)
tan(x1)
;
(g) lim
x0
+
(e
x
+ 2x)
1
x
.
46
5.2 Exerccios propostos para resoluo autnoma
1. Considere a equao x
5
20x + 1 = 0.
(a) Determine quantas solues tem esta equao e localize-as em R.
(b) Mostre que existe uma nica soluo no intervalo ]0, 2[.
2. Seja h : R R uma funo diferencivel e a, b e c trs nmeros reais distintos tais que
h(a) = h(b) = h(c). Qual das seguintes armaes verdadeira? Justique.
(a) h

tem, pelo menos, dois zeros;


(b) h

tem, no mximo, dois zeros;


(c) h

tem exactamente dois zeros.


3. Mostre que x = 0 a nica soluo da equao e
x
= 1 + x.
4. Seja f uma funo de classe C
1
em R, tal que 1 f

(x) 4 , x ]2, 5[ . Mostre que


3 f(5) f(2) 12.
5. Sejam f e g funes de classe C
1
em R, tais que f

(x) = g

(x) , x R. Sabendo que


g(x) = x
3
4x + 6 e que f(1) = 5, determine f.
6. Mostre, utilizando o teorema de Lagrange, que se 0 < x < y ento

y

x <
y x
2

x
.
Conclua que se 0 < x < y ento

xy <
1
2
(x + y).
7. Prove, aplicando o teorema de Lagrange, que:
(a) arcsin(x) > x, x ]0, 1[.
(b) arctan(2x) >
2x
1 + 4x
2
, x R
+
.
8. Seja f uma funo diferencivel em [0, +[ tal que f(0) = 3 e f

(x) = 0, x 0.
(a) Calcule, justicando, f(5).
Sugesto: Aplique o teorema de Lagrange ao intervalo [0, 5].
(b) Mostre que f necessariamente uma funo constante.
(c) Considere a funo g(x) = e
x
2
1
. Existe algum ponto onde a funo g tem uma
tangente paralela ao grco de f?
9. Calcule, se existirem, os seguintes limites:
(a) lim
x0
3x
2
sin
2
(x)
arctan (x
2
)
;
(b) lim
x0
sin
2
(x
2
)
(1 cos(x))
2
;
47
(c) lim
x+
log
_
x
x+1
_
sin
_
1
x
_ ;
(d) lim
x

2
_
arctan
_

2
x
_
tan(x)
_
;
(e) lim
x0
_
1
x
2

cos(3x)
x
2
_
;
(f) lim
x0
_
1
sin(x)

1
x
_
;
(g) lim
x0
+
(tan(x))
1
log(x)
;
(h) lim
x+
_
1 +
1
x
_
e
x
;
(i) lim
x1
(1 + log(x))
1
x1
.
48
5.3 Exerccios resolvidos
1. Seja g uma funo trs vezes diferencivel em R e a, b, c trs nmeros reais tais que
a < b < c. Prove que se g tem extremos locais em cada um dos pontos a, b e c, a equao
g

(x) = 0 tem pelo menos uma raiz real. Indique um intervalo que contenha essa raiz.
Resoluo:
Se a funo g trs vezes diferencivel em R, sabemos que g, g

e g

so diferenciveis (e
consequentemente contnuas) em R.
Por outro lado, se g tem extremos locais em cada um dos pontos a, b e c, e sendo g
diferencivel nestes pontos, ento g

(a) = g

(b) = g

(c) = 0.
Como a funo g

(x) contnua no intervalo [a, b], diferencivel em ]a, b[ e g

(a) = g

(b) =
0, estamos nas condies do teorema de Rolle, pelo que
c
1
]a, b[: g

(c
1
) = 0.
De igual forma, como a funo g

(x) contnua no intervalo [b, c], diferencivel em ]b, c[ e


g

(b) = g

(c) = 0, estamos novamente nas condies do teorema de Rolle, pelo que


c
2
]b, c[: g

(c
2
) = 0.
Considerando agora o intervalo [c
1
, c
2
], verica-se que g

(x) contnua neste intervalo,


diferencivel em ]c
1
, c
2
[ e, ainda, g

(c
1
) = g

(c
2
) = 0. Assim, pelo teorema de Rolle,
c ]c
1
, c
2
[ : g

(c) = 0,
o que signica que g

(x) = 0 tem, pelo menos, uma raiz real, pertencente ao intervalo


]c
1
, c
2
[.
2. Seja f a funo real de varivel real denida por f(x) = sin(x
2
1) + 2x
2
.
(a) Prove que f tem, no mximo, dois zeros.
(b) Prove que f tem exactamente dois zeros.
Resoluo:
(a) A funo f diferencivel em R, visto ser a soma de duas funes diferenciveis em R
(uma funo quadrtica, e a composta da funo seno com uma funo quadrtica).
Calculando os zeros da sua funo derivada, obtm-se
f

(x) = 0 2x (cos (x
2
1) + 2) = 0 x = 0 cos (x
2
1) = 2.
49
Como a condio cos (x
2
1) = 2 impossvel em R, ento x = 0 o nico zero
da funo derivada. Logo, pelo corolrio do teorema de Rolle, como entre dois zeros
(distintos) de uma funo diferencivel num intervalo h, pelo menos, um zero da
sua derivada, conclumos que a funo f ter, no mximo, dois zeros (se existissem
trs zeros distintos de f, ento teriam de existir, pelo menos, dois zeros distintos de
f

, o que uma contradio).


(b) Consideremos os intervalos [1, 0] e [0, 1]. Como f contnua em R ento, em
particular, f contnua nestes intervalos. Alm disso, f(1) = f(1) = 2 > 0 e
f(0) = sin(1) < 0. Logo, pelo teorema de Bolzano, podemos concluir que existe,
pelo menos, um zero da funo nestes dois intervalos, i.e.,
c
1
]1, 0[ : f (c
1
) = 0
e
c
2
]0, 1[ : f (c
2
) = 0.
Atendendo a que j tnhamos concludo que a funo f tem, no mximo, dois zeros,
podemos agora concluir que f tem, exactamente, dois zeros.
3. Prove, usando o teorema de Lagrange, que vlida a desigualdade
arctan
_
1
x
_
<

4

x 1
1 + x
2
, x > 1.
Resoluo:
Seja g a funo denida por g(x) = arctan
_
1
x
_
, num intervalo do tipo [1, x], com x > 1.
A funo g contnua neste intervalo, por ser a composta entre duas funes contnuas
(a funo arctan(x), contnua em R, e a funo
1
x
, contnua em R 0).
A sua funo derivada, g

(x) =
1
x
2
+ 1
, nita no intervalo ]1, x[, pelo que g diferen-
civel em ]1, x[.
Logo, vericam-se as condies do teorema de Lagrange, pelo que se pode concluir que
c ]1, x[ :
1
c
2
+ 1
=
arctan
_
1
x
_


4
x 1
.
Mas, se 1 < c < x, ento 2 < c
2
+ 1 < x
2
+ 1, pelo que
1
x
2
+ 1
<
1
c
2
+ 1
<
1
2
e,
consequentemente,
1
2
<
1
c
2
+ 1
<
1
x
2
+ 1
.
Pode pois concluir-se que
arctan
_
1
x
_


4
x 1
<
1
x
2
+ 1
, x > 1, de onde se obtm a desi-
gualdade pretendida.
50
4. Seja h uma funo de domnio R tal que h(0) = 0 e h

(x) = cos(x) e
sin
2
(x)
. Recorrendo
ao teorema de Lagrange, mostre que x > 0 , h(x) e x.
Resoluo:
A funo derivada h

nita em R, pelo que h uma funo contnua em R. Em


particular, h contnua num intervalo do tipo [0, x], x > 0, e diferencivel em ]0, x[,
x > 0, pelo que podemos aplicar o teorema de Lagrange, e obter:
c ]0, x[ : h

(c) =
h(x) h(0)
x
.
Como h

(c) = cos(c) e
sin
2
(c)
e h(0) = 0, obtemos cos(c) e
sin
2
(c)
=
h(x)
x
.
Visto que sin
2
(c) 1 e cos(c) 1 ento cos(c)e
sin
2
(c)
e. Obtemos ento,
h(x)
x
e, e
uma vez que x > 0, conclumos que h(x) ex.
Pode pois concluir-se que h(x) ex , x > 0.
5. Calcule o limite seguinte, justicando detalhadamente a sua resposta:
lim
x0
+
_
1 +
1
x
_
1
log(x)
.
Resoluo:
Ao calcular lim
x0
+
_
1 +
1
x
_
1
log(x)
obtm-se uma indeterminao do tipo
0
.
Atendendo a que 1 +
1
x
> 0 , x R
+
, pode transformar-se esta indeterminao numa
de outro tipo atravs da seguinte manipulao algbrica:
lim
x0
+
_
1 +
1
x
_
1
log(x)
= lim
x0
+
e
log
_
1 +
1
x
_
1
log(x)
= lim
x0
+
e
1
log(x)
log
_
1 +
1
x
_
= e
lim
x0
+
1
log(x)
log
_
1 +
1
x
_
= e
lim
x0
+
log
_
1 +
1
x
_
log(x)
= e
lim
x0
+
log
_
1 +
1
x
_
log(x)
.
(5.1)
Ao calcular este novo limite obtm-se uma indeterminao do tipo

.
Considerando as funes f(x) = log
_
1 +
1
x
_
e g(x) = log(x) , so vericadas as
condies de aplicao da regra de Cauchy, pois:
51
f e g so diferenciveis num intervalo do tipo ]0, a[, a > 0, uma vez que as respectivas
funes derivadas f

(x) =
1
x(x + 1)
e g

(x) =
1
x
tomam valores nitos neste
intervalo;
g

(x) ,= 0 , x ]0, a[, a > 0;


lim
x0
+
f(x) = lim
x0
+
g(x) = +.
Como lim
x0
+
f

(x)
g

(x)
= lim
x0
+
1
x + 1
= 1, verica-se que este limite existe, pelo que lim
x0
+
f(x)
g(x)
tambm existe e tem igual valor. Assim, lim
x0
+
f(x)
g(x)
= 1, concluindo-se, a partir de (5.1),
que lim
x0
+
_
1 +
1
x
_
1
log(x)
= e
1
.
6. Calcule o limite seguinte, justicando detalhadamente a sua resposta:
lim
x

4
log(tan(x))
cot(2x)
.
Resoluo:
Ao calcular lim
x

4
log(tan(x))
cot(2x)
, obtm-se uma indeterminao do tipo
0
0
.
Considerando as funes f(x) = log(tan(x)) e g(x) = cot(2x), so vericadas as condies
de aplicao da regra de Cauchy, pois:
f e g so diferenciveis num intervalo do tipo
_

4
,

4
+
_

4
_
, <

4
, uma vez
que as respectivas funes derivadas f

(x) =
1
sin(x) cos(x)
e g

(x) =
2
sin
2
(2x)
tomam valores nitos neste intervalo;
g

(x) ,= 0 , x
_

4
,

4
+
_

4
_
, <

4
;
lim
x

4
f(x) = lim
x

4
g(x) = 0.
Assim, esto vericadas as condies de aplicao da regra de Cauchy. Como lim
x

4
f

(x)
g

(x)
=
lim
x

sin
2
(2x)
2 sin(x) cos(x)
= lim
x

4
sin
2
(2x)
sin(2x)
= lim
x

4
sin(2x) = 1, verica-se que este li-
mite existe, pelo que tambm existe e igual lim
x

4
f(x)
g(x)
. Logo, lim
x

4
log(tan(x))
cot(2x)
= 1.
52
6
Teorema de Taylor,
Frmula de Taylor e
Aplicaes
6.1 Exerccios propostos para resoluo nas aulas
1. (a) Determine a frmula de Taylor de ordem 4, em torno do ponto x = 1, da funo de-
nida por f(x) = log(x), indicando em que intervalo esse desenvolvimento representa
a funo.
(b) Usando a alnea anterior, prove que
log(x) (x 1)
_
1
x 1
2
+
(x 1)
2
3
_
, x R
+
.
2. Considere a funo real de varivel real denida por g(x) = e
x
.
(a) Determine a frmula de MacLaurin, com resto de ordem 6, da funo g.
(b) Utilizando a frmula de MacLaurin de ordem n da funo g, determine um valor
aproximado de e com quatro casas decimais exactas.
3. Considere a funo real de varivel real denida por f(x) = log(cos(x)).
(a) Determine a frmula de MacLaurin, com resto de ordem 3, da funo f.
(b) Utilize a alnea anterior para mostrar que log (cos(x)) <
x
2
2
, x
_
0,

2
_
.
4. Seja h a funo real de varivel real denida por h(x) =
1
1 x
.
(a) Calcule h

(x), h

(x), h

(x) e h
(4)
(x) e obtenha uma expresso para h
(n)
(x).
(b) Prove, pelo princpio de induo matemtica, que a expresso de h
(n)
(x), obtida na
alnea anterior, vlida para todo o nmero natural.
(c) Determine a frmula de MacLaurin de ordem n para a funo h.
5. Calcule, recorrendo frmula da Taylor, os seguintes limites:
(a) lim
x

2
x

2
+ cos(x)
_
x

2
_
2
;
53
(b) lim
x0
xe
x
x + x
2
x
3
.
6. Seja g : R R a funo denida por g(x) = x
3
(x 2). Determine, caso existam, os
extremos locais e os pontos de inexo de g.
7. Seja g C
2
(R) tal que g

(x) > 0, x R. Considere ainda a funo h(x) = g (x x


2
) .
Mostre que h tem um extremo local, e classique-o. Trata-se de um extremo absoluto?
Justique.
54
6.2 Exerccios propostos para resoluo autnoma
1. Determine a frmula de MacLaurin, com resto de ordem 6, das funes f(x) = sin(x) e
g(x) = cos(x).
2. Considere a funo real de varivel real denida por h(x) = x e
x
sin(x).
(a) Escreva a frmula de MacLaurin de ordem 3, da funo h.
(b) Utilize a alnea anterior para mostrar que h(x) x
2
, x
_
0,

2
_
.
3. Seja a funo real de varivel real denida por (x) = x + e
13x
.
(a) Prove, pelo princpio de induo matemtica, que
(n)
(x) = (1)
n
3
n
e
13x
, x R,
n N 1.
(b) Determine a frmula de Taylor de ordem n da funo , em torno do ponto x =
1
3
.
4. Seja h a funo real de varivel real, denida por h(x) =
1
2x + 1
.
(a) Prove, pelo princpio de induo matemtica, que h
(n)
(x) = (1)
n
2
n
n! (2x + 1)
(n+1)
,
n N.
(b) Determine a frmula de MacLaurin de ordem n, da funo h.
5. Calcule, recorrendo frmula da Taylor, os seguintes limites:
(a) lim
x1
log(x) x + 1
(x 1)
2
;
(b) lim
x0
x sin(x)
x
2
.
6. Seja g a funo real de varivel real, denida por g(x) = x arctan(x).
(a) Determine a frmula de MacLaurin, com resto de ordem 3, da funo g.
(b) Justique que x arctan(x) x
2
, x R.
(c) Mostre que g tem um extremo local para x = 0 e classique-o.
7. Seja uma funo real de varivel real, tal que (1) = 1 e

(x) = (x + 2) log (x + 2).


(a) Determine a frmula de Taylor de ordem 4 da funo , em torno do ponto x = 1.
(b) Recorrendo aos clculos efectuados na alnea anterior, averige se existem extremos
locais e pontos de inexo de .
8. Seja f uma funo de classe C

, denida em R. Suponha que


f(x) = 2 + 3(x 1)
4
+
1
2
(x 1)
6

7
2
(x 1)
8
+
f
(9)
(c)
9!
(x 1)
9
,
sendo 1 < c < x ou x < c < 1.
55
(a) Determine f
(k)
(1), para 1 k 7.
(b) Verique se 2 um extremo relativo de f.
(c) Prove que se f
(9)
(x) uma funo positiva em R, ento
f(x) < 2 + 3(x 1)
4
+
1
2
(x 1)
6

7
2
(x 1)
8
, x < 1.
56
6.3 Exerccios resolvidos
1. Seja a funo real de varivel real denida por (x) =
1
3
log(3x + 2).
(a) Prove, por induo matemtica, que

(n)
(x) = (1)
n+1
3
n1
(n 1)! (3x + 2)
n
, n N.
(b) Determine a frmula de MacLaurin, com resto de ordem n, de .
Resoluo:
(a) A funo tem como domnio o intervalo
_

2
3
, +
_
.
Queremos provar, pelo princpio de induo matemtica, que a propriedade

(n)
(x) = (1)
n+1
3
n1
(n 1)! (3x + 2)
n
, n N
vericada, para todo o nmero natural n.
(i) Para n = 1, a propriedade reduz-se a
(1)
(x) = (1)
2
3
0
0! (3x + 2)
1
=
1
3x + 2
.
Assim, para n = 1, obtemos uma proposio verdadeira, uma vez que a expresso
encontrada corresponde primeira derivada da funo .
(ii) Queremos agora provar que se a propriedade vlida para um certo nmero
natural n, ento tambm vlida para o nmero natural seguinte, i.e, queremos
provar que se a derivada de ordem n de for dada por

(n)
(x) = (1)
n+1
3
n1
(n 1)! (3x + 2)
n
,
ento a derivada de ordem n + 1 ser denida por

(n+1)
(x) = (1)
n+2
3
n
n! (3x + 2)
n1
.
Por hiptese,
(n)
(x) = (1)
n+1
3
n1
(n 1)! (3x + 2)
n
. Logo, derivando ambos
os membros da igualdade, obtemos

(n+1)
(x) =
_

(n)
_

= (1)
n+1
3
n1
(n 1)! (n) (3x + 2)
n1
3
= (1)
n+2
3
n
n! (3x + 2)
n1
.
Por (i) e (ii), provmos, pelo princpio de induo matemtica, que

(n)
(x) = (1)
n+1
3
n1
(n 1)! (3x + 2)
n
, n N.
(b) A alnea anterior permite concluir que uma funo de classe C

no respectivo
domnio, pelo que se pode escrever a sua frmula de MacLaurin, qualquer que seja
a ordem pretendida e, em particular, a frmula de MacLaurin, com resto de ordem
n. Assim, pode armar-se que existe c ]0, x[ ou c ]x, 0[ , tal que
57
(x) = (0) + x

(0) +
x
2
2!

(0) + +
x
n
n!

(n)
(c).
Calculando o valor das sucessivas derivadas da funo no ponto x = 0 , obtm-se
(x) =
1
3
log(3x + 2) (0) =
1
3
log(2)

(x) =
1
3x + 2

(0) =
1
2

(x) =
3
(3x + 2)
2

(0) =
3
4
.
.
.

(n)
(x) = (1)
n+1
3
n1
(n 1)! (3x + 2)
n

(n)
(c) = (1)
n+1
3
n1
(n 1)! (3c + 2)
n
.
Logo, podemos concluir que existe c ]0, x[ ou c ]x, 0[ , tal que
(x) =
1
3
log(2) +
1
2
x
3
8
x
2
+ +
1
n
(1)
n+1
3
n1
(3c + 2)
n
x
n
.
2. Seja g a funo real de varivel real denida por g(x) =
1
3

2x 1
.
(a) Determine a frmula de Taylor em torno do ponto x = 1, com resto de ordem 3,
para a funo g.
(b) Utilize a alnea anterior para mostrar que
g(x) > 1
2
3
(x 1) +
8
9
(x 1)
2
, para
1
2
< x < 1.
Resoluo:
(a) O domnio da funo g R
_
1
2
_
. Neste conjunto, a funo g(x) =
1
3

2x 1
=
(2x 1)

1
3
de classe C

, pelo que se pode escrever a sua frmula de Taylor,


qualquer que seja a ordem pretendida, em torno de um qualquer ponto do domnio.
Em particular, pode escrever-se a sua frmula de Taylor, com resto de ordem 3, em
torno do ponto x = 1. Assim, pode armar-se que existe c ]1, x[ ou c ]x, 1[ , tal
que
g(x) = g(1) + (x 1) g

(1) +
(x 1)
2
2!
g

(1) +
(x 1)
3
3!
g

(c).
Calculando o valor das sucessivas derivadas da funo g no ponto x = 1, obtm-se
g(x) = (2x 1)

1
3
g(1) = 1
g

(x) =
2
3
(2x 1)

4
3
g

(1) =
2
3
g

(x) =
16
9
(2x 1)

7
3
g

(1) =
16
9
g

(x) =
224
27
(2x 1)

10
3
g

(c) =
224
27
(2c 1)

10
3
,
58
podendo ento concluir-se que existe c ]1, x[ ou c ]x, 1[, tal que
g(x) = 1
2
3
(x 1) +
8
9
(x 1)
2

112
81
(2c 1)

10
3
(x 1)
3
.
(b) Da alnea anterior sabemos que
g(x) = 1
2
3
(x 1) +
8
9
(x 1)
2

112
81
(2c 1)

10
3
(x 1)
3
,
com c ]1, x[ ou c ]x, 1[ , sendo o termo
112
81
(2c 1)

10
3
(x 1)
3
o resto de
Lagrange.
Como queremos provar a desigualdade para valores
1
2
< x < 1, ento estamos
apenas a considerar o caso x < c < 1. Logo, tem-se
1
2
< c < 1, e consequentemente
0 < 2c 1 < 1, pelo que (2c 1)

10
3
> 0. Por outro lado, como x < 1, ento
(x 1)
3
< 0 e, portanto, o resto de Lagrange positivo. Pode assim concluir-se que
g(x) > 1
2
3
(x 1) +
8
9
(x 1)
2
,
para
1
2
< x < 1.
3. Seja h uma funo de domnio R tal que h(0) = 0 e h

(x) = cos(x) e
sin
2
(x)
. Determine
os extremos relativos de h. Justique.
Resoluo:
A funo h de classe C

em R, uma vez que a sua primeira derivada tambm o . Sendo


h, em particular, uma funo diferencivel, os extremos relativos de h, a existirem, so
zeros da sua derivada. Para os determinarmos vamos resolver a equao h

(x) = 0, em
ordem a x:
h

(x) = 0 cos(x) = 0 e
sin
2
(x)
= 0 x =

2
+ k , k Z.
Calculando a segunda derivada de h, obtemos h

(x) = e
sin
2
(x)
(sin(x) + cos(x) sin(2x)),
pelo que h

2
+ 2k
_
= e e h


2
+ 2k
_
= e. Como a primeira derivada que
no se anula nos pontos

2
+ k , k Z, de ordem par, podemos concluir que existiro,
nestes pontos, extremos relativos. Como h

2
+ 2k
_
< 0, ento a funo h admite
mximos relativos para x =

2
+ 2k, k Z e, como h


2
+ 2k
_
> 0, a funo h
admite mnimos relativos para x =

2
+ 2k, k Z.
4. Seja f :]0, +[R uma funo com segunda derivada contnua em R
+
, tal que f

(1) = 0
e f

(1) = 2. Seja a funo real de varivel real denida por (x) = f(e
x
).
59
(a) Calcule

(0) e

(0).
(b) Pode concluir-se que tem um extremo local no ponto x = 0? Em caso armativo,
classique-o.
(c) Usando a frmula de MacLaurin para a funo , calcule lim
x0
(x) (0)
x
2
.
Resoluo:
(a) A funo uma funo diferencivel em R
+
, por ser a composta de uma funo
diferencivel em R
+
(a funo f), com uma funo diferencivel em R (a funo
exponencial). Podemos assim aplicar a a regra da derivao da funo composta,
obtendo-se

(x) = f

(e
x
) e
x
, pelo que

(0) = f

(1) = 0.
De modo anlogo se justicava que tambm a funo

diferencivel em R
+
,
sendo a sua funo derivada denida por

(x) = f

(e
x
) (e
x
)
2
+ f

(e
x
) e
x
, pelo que

(0) = f

(1) + f

(1) = 2.
(b) Atendendo a que f uma funo com segunda derivada contnua em R
+
, a funo ,
sendo a composta da funo f com a funo exponencial, tambm uma funo de
classe C
2
em R
+
. Na alnea anterior constatamos que

(0) = 0 e que

(0) = 2.
Logo, como a primeira derivada de que no se anula em x = 0 de ordem par,
pode concluir-se que (0) um mximo local (

(0) < 0), tendo em ateno um


dos teoremas estudados, que aplica o teorema de Taylor determinao de extremos
locais de uma funo.
(c) Vimos na alnea anterior que C
2
(R
+
), pelo que se pode escrever a sua frmula
de MacLaurin de ordem 2. Assim, pode armar-se que existe c ]0, x[ ou c ]x, 0[,
tal que
(x) = (0) + x

(0) +
x
2
2

(c)
= (0) +
x
2
2
_
f

(e
c
) e
2c
+ e
c
f

(e
c
)
_
.
Substituindo (x) por esta expresso no limite dado, obtm-se
lim
x0
(x) (0)
x
2
= lim
x0
(0) +
x
2
2
(f

(e
c
) e
2c
+ e
c
f

(e
c
)) (0)
x
2
= lim
x0
1
2
_
f

(e
c
) e
2c
+ e
c
f

(e
c
)
_
= 1,
atendendo a que, se x tende para zero, e 0 < c < x ou x < c < 0, tambm c tende
para zero.
5. Usando a frmula de Taylor, calcule o seguinte limite:
lim
x
log([ cos(x)[) +
(x)
2
2
(x )
2
.
60
Resoluo:
Seja I uma vizinhana de , com 0 < <

2
. Como cos(x) < 0, para qualquer x
pertencente a I, ento [ cos(x)[ = cos(x).
A funo g(x) = log (cos(x)) de classe C

em I, pelo que se pode escrever a sua


frmula de Taylor, qualquer que seja a ordem pretendida, em torno do ponto x = .
Assim, em particular para a ordem 2, pode armar-se que existe c ], x[ ou c ]x, [
(com x I), tal que
g(x) = g() + (x ) g

() +
(x )
2
2!
g

(c).
Calculando o valor das sucessivas derivadas da funo g no ponto x = , obtm-se
g(x) = log (cos(x)) g() = 0
g

(x) = tan(x) g

() = 0
g

(x) =
1
cos
2
(x)
g

(c) =
1
cos
2
(c)
.
Podemos ento concluir que existe c ], x[ ou c ]x, [ tal que
g(x) =
(x )
2
2
1
cos
2
(c)
.
Substituindo no limite dado, obtemos
lim
x
log([ cos(x)[) +
(x)
2
2
(x )
2
= lim
x

(x)
2
2
1
cos
2
(c)
+
(x)
2
2
(x )
2
= lim
x
_

1
2 cos
2
(c)
+
1
2
_
= 0,
pois se x tende para , e c ], x[ ou c ]x, [, tambm c tende para .
61
62
7 Estudo de funes
7.1 Exerccios propostos para resoluo nas aulas
1. Considere a funo real de varivel real
f(x) =
_
_
_
x[x[, se x > 2
(x + 2)
2
4, se x 2.
(a) Determine os intervalos de monotonia e os extremos locais de f.
(b) Determine os sentidos de concavidade e os pontos de inexo de f.
(c) Esboce o grco de f e determine o seu contradomnio.
2. Considere a funo f real de varivel real denida por
f(x) =
_
_
_
e
|x1|
, se x > 0
arctan(x), se x 0.
(a) Determine os intervalos de monotonia e os extremos locais de f.
(b) Determine os sentidos de concavidade e os pontos de inexo de f.
(c) Esboce o grco de f e determine o seu contradomnio.
3. Considere a funo f real de varivel real denida por
f(x) =
_
_
_
x
2
+ x, se x < 0
log(2x
2
+ x + 1), se x 0.
(a) Determine o domnio da funo e estude-a quanto continuidade.
(b) Estude a funo f quanto diferenciabilidade e determine a funo f

.
(c) Determine os intervalos de monotonia e os extremos locais de f.
(d) Determine a funo segunda derivada f

.
(e) Determine os sentidos de concavidade e os pontos de inexo de f.
(f) Esboce o grco de f.
63
7.2 Exerccios propostos para resoluo autnoma
1. Considere a funo f real de varivel real denida por
f(x) =
_
_
_
1
x
2
+ x
, se x < 1
arctan
_
1
x
_
, se x 1.
(a) Determine o domnio da funo.
(b) Estude a continuidade da funo.
(c) Determine a funo derivada f

.
(d) Determine os intervalos de monotonia e os extremos locais de f.
(e) Determine a funo segunda derivada f

.
(f) Determine os sentidos de concavidade e os pontos de inexo de f.
(g) Esboce o grco de f e indique o seu contradomnio.
2. Considere a funo real de varivel real f denida por
f(x) =
_
_
_
[1 x
2
[, se x 0
sin(x 1), se x > 0.
(a) Determine o domnio da funo.
(b) Estude a funo f quanto continuidade.
(c) Estude a funo f quanto diferenciabilidade e determine a funo f

.
(d) Determine os intervalos de monotonia e os extremos locais de f.
(e) Determine a funo f

e estude as concavidades de f.
(f) Esboce o grco de f.
3. Considere a funo real de varivel real f, denida por
f(x) =
_
_
_
x log(x), se x > 0
e
x
1
e
, se x 0.
(a) Determine o domnio da funo.
(b) Estude a continuidade da funo.
(c) Determine a funo derivada f

.
(d) Determine os intervalos de monotonia e os extremos locais de f.
(e) Determine a funo segunda derivada f

.
(f) Determine os sentidos de concavidade e os pontos de inexo de f.
(g) Esboce o grco de f e indique o seu contradomnio.
64
7.3 Exerccios resolvidos
1. Considere a funo real de varivel real f, denida por
f(x) =
_

_
log(1 x
2
), se 1 < x < 0
x
2
, se x 0
arctan(x) , se x 1.
(a) Determine a funo derivada f

.
(b) Determine os intervalos de monotonia e os extremos locais de f.
(c) Determine a funo segunda derivada f

.
(d) Determine os sentidos de concavidade e os pontos de inexo de f.
(e) Esboce o grco de f e indique o seu contradomnio.
Resoluo:
Relativamente a esta funo, j vimos, no exerccio 2 dos Exerccios Resolvidos de Limites,
Continuidade e Clculo Diferencial, que:
T
f
= R;
lim
x1
+
f(x) = e lim
x1

f(x) =

4
;
f contnua em R 1;
f no diferencivel em x = 1 e diferencivel em x = 0, sendo f

(0) = 0;
f(0) = 0;
lim
x
f(x) =

2
.
(a) No interior do intervalo onde est denido cada um dos ramos da funo, podemos
calcular f

utilizando as regras de derivao. Assim, obtemos


f

(x) =
_

_
2x
1 x
2
se 1 < x < 0
2x se x > 0
1
1 + x
2
, se x < 1.
Atendendo ao estudo da diferenciabilidade nos pontos x = 0 e x = 1 j efectuado,
conclumos ento que
f

(x) =
_

_
2x
1 x
2
se 1 < x < 0
2x se x 0
1
1 + x
2
, se x < 1.
65
(b) Para determinar os intervalos de monotonia da funo, vamos recorrer a um quadro
de sinais para a funo (primeira) derivada. Para isso necessitamos de calcular os
zeros da primeira derivada, que facilmente se v ser, neste caso, apenas x = 0.
Assim, toda a informao sobre o sinal da primeira derivada encontra-se resumida
no quadro seguinte:
1 0
f

+ 0
f
Podemos ento concluir que f estritamente crescente em ] 1, 0[, e que estrita-
mente decrescente em ] , 1[ e em ]0, +[. Como numa vizinhana de x = 0
todas as imagens da funo so menores ou iguais que f(0) = 0, ento 0 um mximo
relativo para a funo. Como em x = 1 a funo no contnua, para averiguar
se f(1) um extremo relativo necessrio ver detalhadamente como se comporta
a funo numa vizinhana deste ponto. Atendendo monotonia da funo numa
vizinhana de x = 1, e aos limites lim
x1
+
f(x) = e lim
x1

f(x) =

4
= f(1),
conclumos ento que no existe extremo em x = 1.
(c) No interior do intervalo onde est denido cada um dos ramos da funo, podemos
calcular f

utilizando as regras de derivao. Assim, obtemos


f

(x) =
_

2 + 2x
2
(1 x
2
)
2
se 1 < x < 0
2 se x > 0
2x
(1 + x
2
)
2
, se x < 1.
Precisamos ainda de calcular a segunda derivada de f no ponto x = 0, por denio.
Assim, temos
f

(0
+
) = lim
x0
+
f

(x) f

(0)
x 0
= lim
x0
+
2x 0
x 0
= lim
x0
+
2 = 2
e
f

(0

) = lim
x0

(x) f

(0)
x 0
= lim
x0

2x
1x
2
0
x 0
= lim
x0

2
1 x
2
= 2.
Logo, como f

(0
+
) = f

(0

) = 2, temos f

(0) = 2, pelo que


f

(x) =
_

2 + 2x
2
(1 x
2
)
2
se 1 < x < 0
2 se x 0
2x
(1 + x
2
)
2
, se x < 1.
66
(d) Para determinar os sentidos de concavidade da funo, vamos recorrer a um quadro
de sinais para a funo segunda derivada. Atendendo a que f

no tem zeros, toda


a informao sobre o sinal da segunda derivada encontra-se resumida no quadro
seguinte:
1 0
f


f
Podemos ento concluir que f tem a concavidade voltada para baixo em ] , 1[
e em ] 1, +[, no havendo por isso pontos de inexo.
(e) Atendendo a que lim
x1
+
f(x) = , lim
x1

f(x) =

4
, lim
x
f(x) =

2
e lim
x+
f(x) =
, ento (T
f
=] , 0] [

4
,

2
[.
Segue-se o grco da funo:
2. Considere a funo real de varivel real f, denida por
f(x) =
_
_
_
x
2
1, se x < 1
arcsin(x 1), se x 1.
(a) Determine os intervalos de monotonia e os extremos locais de f.
(b) Determine a funo segunda derivada f

.
(c) Determine os sentidos de concavidade e os pontos de inexo de f.
(d) Esboce o grco de f e indique o seu contradomnio.
Resoluo:
Relativamente a esta funo, j vimos, no exerccio 4 dos Exerccios Resolvidos de Limites,
Continuidade e Clculo Diferencial, que:
T
f
=] , 2];
67
f contnua em ] , 2];
f

(x) =
_

_
2 x, se x < 1
1
_
1 (x 1)
2
, se 1 < x < 2.
(a) Para determinar os intervalos de monotonia da funo, vamos novamente recorrer a
um quadro de sinais para a funo (primeira) derivada. O nico zero da primeira
derivada x = 0, e a informao sobre o sinal da primeira derivada encontra-se
resumida no quadro seguinte:
0 1 2
f

0 + +
f
Podemos ento concluir que f estritamente crescente em ]0, 1[ e em ]1, 2], e que
estritamente decrescente em ] , 0[. Como numa vizinhana de x = 0 todas as
imagens da funo so maiores ou iguais que f(0) = 1, ento 1 um mnimo
relativo para a funo. Por outro lado, por um argumento semelhante, f(2) =
arcsin(1) =

2
um mximo relativo para a funo. No ponto x = 1, como a funo
contnua (apesar de no ser diferencivel), no existe nenhum extremo relativo.
(b) No interior do intervalo onde est denido cada um dos ramos da funo, podemos
calcular f

utilizando as regras de derivao. Logo, obtemos


f

(x) =
_

_
2, se x < 1
x 1
(1 (x 1)
2
)
3
2
, se 1 < x < 2.
(c) A funo f

no tem zeros e toda a informao sobre o sinal da segunda derivada


encontra-se resumida no quadro seguinte:
1 2
f

+ +
f
Podemos ento concluir que f tem a concavidade voltada para cima em ] , 1[ e
em ]1, 2], no havendo por isso pontos de inexo.
(d) Atendendo a que lim
x
f(x) = +, ento (T
f
= [1, +[.
Podemos ainda vericar que a funo tem dois zeros: os pontos x = 1 e x = 1.
Segue-se o grco da funo:
68
3. Considere a funo real de varivel real f, denida por
f(x) =
_
_
_
[x
2
4[, se x 0
log(x 2), se x > 0.
(a) Determine o domnio da funo.
(b) Estude a continuidade da funo.
(c) Determine a funo derivada f

.
(d) Determine os intervalos de monotonia e os extremos locais de f.
(e) Determine a funo segunda derivada f

.
(f) Determine os sentidos de concavidade e os pontos de inexo de f.
(g) Esboce o grco de f e indique o seu contradomnio.
Resoluo:
(a) Comecemos por notar que
T
f
= x R : x 0 (x 2 > 0 x > 0 =] , 0]]2, +[.
(b) No interior do intervalo onde est denido cada um dos ramos da funo, a funo
contnua. Nomeadamente, f contnua em ] , 0[ por ser a composio de duas
funes contnuas no seu domnio (funo quadrtica e funo mdulo), e contnua
em ]2, +[ por ser tambm a composio de duas funes contnuas no seu domnio
(funo logartmica e funo linear). Falta estudar a continuidade da funo no
ponto x = 0. Uma vez que
lim
x0

f(x) = lim
x0

[x
2
4[ = 4 = f(0),
ento f contnua em x = 0.
Conclumos assim que f contnua em ] , 0]]2, +[.
69
(c) Uma vez que
[x
2
4[ =
_
_
_
x
2
4, se x
2
4 0
x
2
+ 4, se x
2
4 < 0
=
_
_
_
x
2
4, se x 2 x 2
x
2
+ 4, se 2 < x < 2,
ento
f(x) =
_

_
x
2
4, se x 2
x
2
+ 4, se 2 < x 0
log(x 2), se x > 2.
No interior do intervalo onde est denido cada um dos ramos da funo, podemos
calcular f

utilizando as regras de derivao. Assim, obtemos


f

(x) =
_

_
2x, se x < 2
2x, se 2 < x < 0
1
x2
, se x > 2.
Como s denimos derivada em pontos interiores ao domnio da funo, resta-nos
estudar o ponto x = 2.
Calculando as derivadas laterais, obtemos
f

(2
+
) = lim
x2
+
f(x) f(2)
x (2)
= lim
x2
+
x
2
+ 4 0
x + 2
= lim
x2
+

(x 2)(x + 2)
x + 2
= lim
x2
+
(x 2) = 4
e
f

(2

) = lim
x2

f(x) f(2)
x (2)
= lim
x2

x
2
4 0
x + 2
= lim
x2

(x 2)(x + 2)
x + 2
= lim
x2

(x 2) = 4.
Como f

(2
+
) ,= f

(2

) ento no existe f

(2) pelo que


f

(x) =
_

_
2x, se x < 2
2x, se 2 < x < 0
1
x2
, se x > 2.
(d) A (primeira) derivada da funo no tem zeros, pelo que facilmente se obtm o
quadro resumo abaixo:
2 0 2
f

+ +
f
70
Podemos ento concluir que f estritamente crescente em ]2, 0[ e em ]2, +[, e que
estritamente decrescente em ] , 2[. Como numa vizinhana de x = 2 todas
as imagens da funo so maiores ou iguais que f(2) = 0, ento 0 um mnimo
relativo para a funo. Por outro lado, por um argumento semelhante, f(0) = 4
um mximo relativo para a funo.
(e) Como no interior do intervalo onde est denido cada um dos ramos da funo
podemos calcular f

utilizando as regras de derivao, obtemos


f

(x) =
_

_
2, se x < 2
2, se 2 < x < 0
1
(x2)
2
, se x > 2.
(f) A segunda derivada da funo tambm no tem zeros, pelo que obtemos o quadro
resumo abaixo:
2 0 2
f

+
f
Conclumos, ento, que f tem a concavidade voltada para cima em ] , 2[ e
que tem a concavidade voltada para baixo em ] 2, 0[ e em ]2, +[. No ponto
x = 2, apesar de termos mudana de sentido de concavidade direita e esquerda
do ponto, no temos nenhum ponto de inexo porque a funo no diferencivel
neste ponto.
(g) Atendendo a que lim
x
f(x) = +, lim
x+
f(x) = +, e lim
x2
+
f(x) = , ento
(T
f
= R.
Podemos ainda vericar que a funo tem dois zeros: os pontos x = 2 e x = 3.
Segue-se o grco da funo:
71
72
8 Primitivao
8.1 Exerccios propostos para resoluo nas aulas
1. Determine as primitivas das funes denidas pelas seguintes expresses analticas:
(a) e
x
+
1
x
;
(b) 4
x
+ 3x
5
+ 2;
(c) sin(x) cos(x);
(d)
1
x
2
+ 1
+
4
3

x
2
;
(e) 6x(x
2
+ 1);
(f) 6
4x
+ e
5x
;
(g) cos(cos(x)) sin
2
(cos(x)) sin(x);
(h) e
x
2
+2 sin(x)
(x + cos(x));
(i) cos(2x) cos(x);
(j)
sin(x)
cos
2
(x)
;
(k)
log(arcsin(x))
arcsin(x)

1 x
2
;
(l)
(1 + 2 arctan(x))
3
1 + x
2
;
(m)
1
cos
2
(x)
_
1 + tan(x)
;
(n)
arctan(x)
1 + x
2
;
(o)
_
1 + log(x
8
)
x
;
(p)
_
1

x
+ x
3
_
2
;
73
(q)
sin(x) cos(x)
sin(x) + cos(x)
;
(r) cos
2
(x);
(s)
1

9 x
2
.
2. Seja f a funo real de varivel real denida por f(x) = cos(4x+). Determine a primitiva
de f que toma o valor 2 quando x = 0.
3. Primitive, por partes, as funes denidas pelas seguintes expresses analticas:
(a) (3x 1) sin(x);
(b) log
2
(x);
(c) x
2
e
x
;
(d)
log(log(x))
x
.
4. Usando em cada caso a substituio indicada, primitive as funes denidas por:
(a)
1 + 4e
x
1 + 2e
x
(e
x
= t);
(b)
1
1 cos(x)
(tan(x/2) = t);
(c) tan
3
(x) (tan(x) = t);
(d)

x
4 +

x
(

x = t).
5. Determine as primitivas das funes racionais denidas pelas seguintes expresses anal-
ticas:
(a)
x
4
x + 2
;
(b)
1
(x + 2)(x 3)(x + 4)
;
(c)
x
2
x
(x + 1)
2
(x 2)
;
(d)
4x
x
2
+ 4x + 3
.
6. Determine as primitivas das funes racionais denidas pelas seguintes expresses anal-
ticas:
(a)
1
x
2
+ 2x + 5
;
(b)
x
4
+ x
2
x + 1
x
3
+ x
;
74
(c)
x
2
+ 6x
x
3
+ x
2
+ 4x + 4
;
(d)
2x
3
+ x
2
+ 4x + 3
2x
4
+ 4x
3
+ 4x
2
+ 4x + 2
.
7. Determine as primitivas das funes irracionais denidas pelas seguintes expresses ana-
lticas:
(a)

2x + 3
4

2x + 3 + 2
;
(b)
1
x

x
2
x 1
;
(c)
1
x
3

3x 2
;
(d)
1
x

x
2
+ x 2
.
8. Determine as primitivas das funes transcendentes denidas pelas seguintes expresses
analticas:
(a)
cos(x)
1 + cos(x)
;
(b)
e
2x
e
x
+ 1
;
(c)
1
1 + sin
2
(x)
;
(d)
1
(2 + cos(x))(1 + sin(x))
.
9. Seja f a funo real de varivel real denida por f(x) =
e
x
(e
2x
e
x
2)
2
. Determine a
primitiva de f que toma o valor 1 quando x = 0.
10. Primitive as funes denidas pelas seguintes expresses analticas:
(a)
x
3

x
2
+ 1
+ 3x
2
arctan(x);
(b)
sin(x) + cos(x)
sin(x) cos(x)
;
(c) x
2
sin(4x);
(d)
x
2
+ 1
4 + 2x
2
;
(e)
1

x
+
x

x
3
;
75
(f)

9 x
2
x
;
(g) e
x
sin(x);
(h) arctan(x);
(i)
1
x + 2
_
x + 1
x + 2
;
(j)
1

x
2
+ 4
;
(k)
sin(x) cos(x)
4 cos
2
(x) + sin(x) cos(x)
;
(l) cos(sin(x)) cos(x).
11. Determine a funo real de varivel real que satisfaz simultaneamente as condies f

(x) =
x cos(x
2
) + xe
2x
1 e f(0) = 2.
76
8.2 Exerccios propostos para resoluo autnoma
1. Determine as primitivas das funes denidas pelas seguintes expresses analticas:
(a)
3x
3
5

x
x
;
(b) 3x
3
+ 4 sin(x);
(c)
e
x
1 + e
x
;
(d) e
4x
2
+log(x)
;
(e)
log
2
(x)
x
;
(f) e
2x
cot(e
2x
);
(g)
e

x
;
(h)
sin(x)
1 + cos
2
(x)
;
(i)
1
(1 + x
2
)(1 + arctan
2
(x))
;
(j) (sin(ax + b) cos(ax + b))
2
;
(k)
cos(log(x)). sin(log(x))
x
;
(l)
cos(x)
5
_
(sin(x))
8
;
(m) sec(tan(x)) tan(tan(x)) sec
2
(x);
(n)
e
tan(x)
cos
2
(x)
;
(o) tan(x) log(cos(x)).
2. Primitive, por partes, as funes denidas pelas seguintes expresses analticas:
(a) (3x
2
+ 1)e
5x
;
(b)
3x + 2
4
cos(5x);
(c)
x
sin
2
(x)
.
3. Usando em cada caso a substituio indicada, primitive as funes denidas por:
(a) cos
2
(x) sin
3
(x) (cos(x) = t);
(b)

1 x
2
(x = sin(t) ou x = cos(t));
77
(c)
e
x/2
e
x/3
+ 1
(e
x/6
= t).
4. Divida o polinmio x
3
+ 2x
2
+ x + 3 pelo polinmio x
2
+ 1.
5. Mostre que o polinmio x
3
+ x 2 redutvel.
6. Mostre que os polinmios 3x + 2 e x
2
4x + 13 so irredutveis.
7. Determine as primitivas das funes racionais denidas pelas seguintes expresses anal-
ticas:
(a)
x
2
+ 4x + 6
x
2
+ 2
;
(b)
x
3
x
2
+ 1
+
4
x
4
+ x
3
3x
2
x + 2
;
(c)
x
2
+ 4
(x
2
+ 2x + 2)(x 1)
2
.
8. Determine as primitivas das funes irracionais denidas pelas seguintes expresses ana-
lticas:
(a)
x
2
+ 1
(

x)
3
+ 3x + 2

x
;
(b)

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

x
2
9
.
9. Determine as primitivas das funes transcendentes denidas pelas seguintes expresses
analticas:
(a)
tan(x)
1 + sin
2
(x)
;
(b)
1 sin(x)
1 + cos(x)
;
(c)
e
x
+ 2
e
2x
2e
x
.
10. Determine a funo real de varivel real f, denida em R
+
, que satisfaz as condies
f

(x)= x (cos(x) + log(x)) e f(1) = 0.


11. Determine as primitivas das funes denidas pelas seguintes expresses analticas:
(a) log(x +

1 + x
2
);
(b) x sin(x
2
1) + log(x
2
+ x + 1);
78
(c) e
5x
sin(2x);
(d)
2x + x
2
x
2
;
(e)
x
6
7x
7
+ 5
+ (x + 2)e
x
;
(f) x cos(x) sin(x);
(g)
1
x
3

3x 2
;
(h)
x
3

4 + x
2
.
12. Determine a funo real de varivel real f, denida no intervalo ] 1, 1[, que satisfaz as
condies
f

(x)=
x
2
+ 1
x
2
+ 2
+ arcsin(x) e f(0) = 0.
79
8.3 Exerccios resolvidos
1. Determine a primitiva de h(x) =
5 sin(x) cos(x)
1 2 cos
2
(x)
.
Resoluo:
O domnio da funo h T
h
= x R : 1 2 cos
2
(x) ,= 0.
Notando que (1 2 cos
2
(x))

= 4 cos(x) sin(x), obtemos


P
_
5 sin(x) cos(x)
1 2 cos
2
(x)
_
=
5
4
P
_
4 sin(x) cos(x)
1 2 cos
2
(x)
_
=
5
4
log [1 2 cos
2
(x)[ + C,
onde C R e x T
h
.
2. Determine a primitiva de h(x) = log(1 x
2
).
Resoluo:
O domnio da funo h T
h
= x R : 1 x
2
> 0 =] 1, 1[.
Vamos usar o mtodo de primitivao por partes para calcular a primitiva de h. Denindo
f(x) = 1 e g(x) = log
_
1 x
2
_
e notando que g uma funo diferencivel no seu domnio ] 1, 1[, obtemos
P (h) = P (fg) = Fg P (Fg

) ,
onde
F(x) = P(f(x)) = P(1) = x e g

(x) =
2x
1 x
2
=
2x
x
2
1
.
Segue-se ento que
P (h(x)) = P
_
log(1 x
2
)
_
= x log(1 x
2
) P
_
x
2x
x
2
1
_
= x log(1 x
2
) 2P
_
x
2
x
2
1
_
. (8.1)
Vamos ento calcular a primitiva de
x
2
x
2
1
. Notando que a funo a primitivar uma
funo racional cujo grau do polinmio no numerador igual ao grau do polinmio no
denominador, aplicamos o algoritmo da diviso para obter
x
2
x
2
1
= 1 +
1
x
2
1
,
80
donde se segue que
P
_
x
2
x
2
1
_
= P
_
1 +
1
x
2
1
_
= x + P
_
1
x
2
1
_
. (8.2)
Falta ainda calcular a primitiva de
1
x
2
1
. Notando que:
(i) a funo a primitivar uma funo racional cujo grau do polinmio no numerador
menor do que o grau do polinmio no denominador,
(ii) os zeros do polinmio x
2
1 no denominador so reais (1 e 1) e tm ambos multi-
plicidade 1,
(iii) a funo racional a primitivar irredutvel, visto que o numerador e o denominador
no tm factores comuns,
ento existem A, B R tais que
1
x
2
1
=
A
x 1
+
B
x + 1
, x R 1, 1,
ou seja, existem A, B R tais que
1 = A(x + 1) + B(x 1), x R 1, 1. (8.3)
De (8.3), podemos escrever a igualdade polinomial 0x +1 = (A+B)x +(AB) de onde
se obtm o sistema
_
_
_
A + B = 0
A B = 1,
que tem como soluo A =
1
2
e B =
1
2
. Deste modo, obtemos
1
x
2
1
=
1
2
x 1

1
2
x + 1
,
donde se segue que
P
_
1
x
2
1
_
= P
_
1
2
x 1
_
P
_
1
2
x + 1
_
=
1
2
log [x 1[
1
2
log [x + 1[ + C. (8.4)
Das igualdades (8.2) e (8.4) obtemos
P
_
x
2
x
2
1
_
= x + P
_
1
x
2
1
_
= x +
1
2
log [x 1[
1
2
log [x + 1[ + C (8.5)
81
e das igualdades (8.1) e (8.5) conclumos que
P (h(x)) = x log(1 x
2
) 2P
_
x
2
x
2
1
_
= x log(1 x
2
) 2x log [x 1[ + log [x + 1[ + C,
onde C R e x T
h
.
3. Determine a primitiva de f(x) =
e
2x
+ 1
e
x
(2 + e
2x
)
.
Resoluo:
A funo a primitivar uma funo transcendente de domnio R. Para calcular a sua
primitiva utilizamos a substituio e
x
= t ou, equivalentemente, x = log(t). Dado que
(t) = log(t) uma funo bijectiva e diferencivel em R
+
com derivada dada por

(t) =
1
t
e funo inversa denida por
1
(x) = e
x
, efectuando a substituio, obtemos
P (f(x)) = P (f ((t)) .

(t))
|
t=
1
(x)
=
_
P
_
t
2
+ 1
t(2 + t
2
)
1
t
__
|
t=
1
(x)
=
_
P
_
t
2
+ 1
t
2
(2 + t
2
)
__
|
t=
1
(x)
. (8.6)
Vamos ento calcular a primitiva de
t
2
+ 1
t
2
(2 + t
2
)
. Notando que:
(i) a funo a primitivar uma funo racional cujo grau do polinmio no numerador
menor do que o grau do polinmio no denominador,
(ii) o polinmio t
2
(2 + t
2
) no denominador tem uma raiz real (0) com multiplicidade 2
e um par de razes complexas conjugadas (

2 i) com multiplicidade 1,
(iii) a funo racional a primitivar irredutvel, visto que o numerador e o denominador
no tm factores comuns,
ento existem A, B, M, N R tais que
t
2
+ 1
t
2
(2 + t
2
)
=
A
t
+
B
t
2
+
Mt + N
2 + t
2
, t R 0,
ou seja, existem A, B, M, N R tais que
t
2
+ 1 = At(2 + t
2
) + B(2 + t
2
) + (Mt + N)t
2
, t R 0. (8.7)
82
De (8.7), podemos escrever a igualdade polinomial 0t
3
+t
2
+ 0t + 1 = (A+M)t
3
+ (B +
N)t
2
+ 2At + 2B de onde se obtm o sistema
_

_
A + M = 0
B + N = 1
2A = 0
2B = 1,
que tem como soluo A = 0, B =
1
2
, M = 0 e N =
1
2
.
Deste modo, obtemos
t
2
+ 1
t
2
(2 + t
2
)
=
1
2
t
2
+
1
2
2 + t
2
,
donde se segue que
P
_
t
2
+ 1
t
2
(2 + t
2
)
_
= P
_
1
2
t
2
+
1
2
2 + t
2
_
=
1
2
P(t
2
) +
1
2
P
_
1
2 + t
2
_
=
1
2
P(t
2
) +
1
2
P
_
1
2
1 +
t
2
2
_
=
1
2
P(t
2
) +

2
4
P
_
_
_
1

2
1 +
_
t

2
_
2
_
_
_
=
1
2t
+

2
4
arctan
_
t

2
_
+ C. (8.8)
Das igualdades (8.6) e (8.8) conclumos que
P
_
e
2x
+ 1
e
x
(2 + e
2x
)
_
=
_
P
_
t
2
+ 1
t
2
(2 + t
2
)
__
|
t=
1
(x)
=
_

1
2t
+

2
4
arctan
_
t

2
_
+ C
_
|
t=
1
(x)
=
1
2e
x
+

2
4
arctan
_
e
x

2
_
+ C,
onde C R.
4. Determine a primitiva de h(x) =
sin(x)
cos(x)(cos(x) 1)
.
Resoluo:
83
A funo a primitivar uma funo transcendente de domnio T
h
=xR: (cos(x) ,= 0)
(cos(x) 1 ,= 0). Notando que a funo h mpar em sin(x), utilizamos a substituio
t = cos(x) ou, equivalentemente, x = arccos(t). Dado que (t) = arccos(t) uma
funo bijectiva de [1, 1] em [0, ], e diferencivel em ] 1, 1[ com derivada dada por

(t) =
1

1t
2
e funo inversa denida por
1
(x) = cos(x), efectuando a substituio,
obtemos
P (f(x)) = P (f ((t)) .

(t))
|
t=
1
(x)
=
_
P
_

1 t
2
t(t 1)
_

1 t
2
___
|
t=
1
(x)
=
_
P
_
1
t(t 1)
__
|
t=
1
(x)
. (8.9)
Vamos ento calcular a primitiva de
1
t(t 1)
. Notando que:
(i) a funo a primitivar uma funo racional cujo grau do polinmio no numerador
menor do que o grau do polinmio no denominador,
(ii) o polinmio t(t 1) no denominador tem duas razes reais (0 e 1), ambas com
multiplicidade 1,
(iii) a funo racional a primitivar irredutvel, visto que o numerador e o denominador
no tm factores comuns,
ento existem A, B R tais que
1
t(t 1)
=
A
t
+
B
t 1
, t R 0, 1,
ou seja, existem A, B R tais que
1 = A(t 1) + Bt , t R 0, 1. (8.10)
De (8.10), podemos escrever a igualdade polinomial 0t + 1 = (A + B)t A de onde se
obtm o sistema
_
_
_
A + B = 0
A = 1,
que tem como soluo A = 1 e B = 1. Deste modo, obtemos
1
t(t 1)
=
1
t
+
1
t 1
,
donde se segue que
P
_
1
t(t 1)
_
= P
_

1
t
+
1
t 1
_
= P
_
1
t
_
+ P
_
1
t 1
_
= log [t[ + log [t 1[ + C. (8.11)
84
Das igualdades (8.9) e (8.11) segue-se que
P
_
sin(x)
cos(x)(cos(x) 1)
_
=
_
P
_
1
t(t 1)
__
|
t=
1
(x)
= log [t[ log [t 1[ + C
|
t=
1
(x)
= log [cos (x)[ log [cos(x) 1[ + C,
onde C R e x T
h
.
5. Determine a funo h, real de varivel real, que satisfaz simultaneamente as condies
h

(x) = x log(x
2
+ 2) e h(0) = 0.
Resoluo:
Vamos usar o mtodo de primitivao por partes para calcular a primitiva de h

. Denindo
f(x) = x e g(x) = log
_
x
2
+ 2
_
e notando que g uma funo diferencivel no seu domnio R, obtemos
P (h

) = P (fg) = Fg P (Fg

) ,
onde
F(x) = P(f(x)) = P(x) =
x
2
2
e g

(x) =
2x
x
2
+ 2
.
Segue-se ento que
h(x) = P (h

(x)) = P
_
x log(x
2
+ 2)
_
=
x
2
2
log(x
2
+ 2) P
_
x
2
2
2x
x
2
+ 2
_
=
x
2
2
log(x
2
+ 2) P
_
x
3
x
2
+ 2
_
. (8.12)
Vamos ento calcular a primitiva de
x
3
x
2
+ 2
. Notando que a funo a primitivar uma
funo racional cujo grau do polinmio no numerador maior do que o grau do polinmio
no denominador, aplicamos o algoritmo da diviso para obter
x
3
x
2
+ 2
= x
2x
x
2
+ 2
,
donde se segue que
P
_
x
3
x
2
+ 2
_
= P
_
x
2x
x
2
+ 2
_
= P(x) P
_
2x
x
2
+ 2
_
=
x
2
2
log
_
x
2
+ 2
_
+ C. (8.13)
85
Das igualdades (8.12) e (8.13) conclumos que
h(x) =
_
x
2
2
+ 1
_
log(x
2
+ 2)
x
2
2
+ C,
para algum C R.
Vamos agora determinar C R de modo a que se verique h(0) = 0. Dado que
h(0) = log(2) + C,
ento temos que ter
C = log(2).
Assim, a funo pretendida
h(x) =
_
x
2
2
+ 1
_
log(x
2
+ 2)
x
2
2
log(2).
6. Determine a funo real h, denida em [1, 1] e que satisfaz simultaneamente as condies
h

(x) =
x
2
+ 1
x
2
+ 2
+ arcsin(x) e h(0) = 0.
Resoluo:
A funo pretendida uma primitiva de h

. Comeamos por notar que


P (h

(x)) = P
_
x
2
+ 1
x
2
+ 2
_
+ P (arcsin(x)) . (8.14)
Vamos ento calcular a primitiva de
x
2
+ 1
x
2
+ 2
. Notando que a funo a primitivar uma
funo racional cujo grau do polinmio no numerador igual ao grau do polinmio no
denominador, aplicamos o algoritmo da diviso para obter
x
2
+ 1
x
2
+ 2
= 1
1
x
2
+ 2
,
donde se segue que
P
_
x
2
+ 1
x
2
+ 2
_
= P
_
1
1
x
2
+ 2
_
= P(1) P
_
1
x
2
+ 2
_
= P(1) P
_
1
2
x
2
2
+ 1
_
= x

2
2
P
_
_
_
1

2
_
x

2
_
2
+ 1
_
_
_
= x

2
2
arctan
_
x

2
_
+ C
1
, (8.15)
86
onde C
1
R.
Para calcularmos a primitiva de arcsin(x) usamos o mtodo de primitivao por partes.
Denindo
f(x) = 1 e g(x) = arcsin(x)
e notando que g uma funo diferencivel em ] 1, 1[, obtemos
P (arcsin(x)) = P (fg) = Fg P (Fg

) ,
onde
F(x) = P(f(x)) = P(1) = x e g

(x) =
1

1 x
2
.
Segue-se ento que
P (arcsin(x)) = x arcsin(x) P
_
x

1 x
2
_
= x arcsin(x) +
1
2
P
_
2x (1 x
2
)

1
2
_
= x arcsin(x) +

1 x
2
+ C
2
, (8.16)
onde C
2
R.
Das igualdades (8.14), (8.15) e (8.16) obtemos
h(x) = x

2
2
arctan
_
x

2
_
+ x arcsin(x) +

1 x
2
+ C,
para algum C R.
Vamos agora determinar C R de modo a que se verique h(0) = 0. Dado que
h(0) = 1 + C,
ento temos que ter
C = 1.
Assim, a funo pretendida
h(x) = x

2
2
arctan
_
x

2
_
+ x arcsin(x) +

1 x
2
1.
7. Determine a primitiva de f(x) =
1

x
2
3x + 2
.
Resoluo:
A funo a primitivar uma funo algbrica irracional de domnio T
h
= x R :
x
2
3x + 2 > 0.
87
Para calcular a sua primitiva podemos, por exemplo, utilizar a substituio

x
2
3x + 2 =
x + t. Da igualdade anterior, obtemos sucessivamente

x
2
3x + 2 = x + t
x
2
3x + 2 = (x + t)
2
= x
2
+ 2xt + t
2
3x 2xt = 2 + t
2
x(3 2t) = 2 + t
2
x =
2 t
2
3 + 2t
.
Dado que (t) =
2 t
2
3 + 2t
uma funo bijectiva e diferencivel em R
3
2
com derivada
dada por

(t) =
2 (2+3t+t
2
)
(3+2t)
2
e funo inversa denida por
1
(x) =

x
2
3x + 2 x,
efectuando a substituio, obtemos
P (f(x)) = P (f ((t)) .

(t))
|
t=
1
(x)
=
_

_
P
_
_
_
_

1
2 t
2
3 + 2t
+ t
2 (2 + 3t + t
2
)
(3 + 2t)
2
_
_
_
_
_

_
|
t=
1
(x)
=
_

_
P
_
_
_
_

1
2 + 3t + t
2
3 + 2t
2 (2 + 3t + t
2
)
(3 + 2t)
2
_
_
_
_
_

_
|
t=
1
(x)
=
_
P
_

3 + 2t
2 + 3t + t
2
2 (2 + 3t + t
2
)
(3 + 2t)
2
__
|
t=
1
(x)
=
_
P
_
2
3 + 2t
__
|
t=
1
(x)
= log [3 + 2t[ + C
|
t=
1
(x)
= log

3 + 2
_
x
2
3x + 2 x
_

+ C,
onde C R e x T
h
.
88
9
Clculo Integral. reas de
guras planas
9.1 Exerccios propostos para resoluo nas aulas
1. Calcule os seguintes integrais:
(a)
_
5
1
1
(x + 7)
2
dx;
(b)
_
2
0
cos
3
(x) dx;
(c)
_
1
0
e
ax
sin(bx) dx (a, b R);
(d)
_
9
4
1

x
1 +

x
dx;
(e)
_
2

x
2
3
x
dx;
(f)
_
15
1
4

x + 1

x + 1 + 2
dx;
(g)
_
2

4
x cos(x)
sin
2
(x)
dx;
(h)
_
1
2
1

x
2
+ 4x + 5
dx;
(i)
_
2
1
2x
3
+ 2x
2
+ 5x + 3
x
4
+ 2x
3
+ 3x
2
dx.
2. Calcule a derivada das seguintes funes:
(a) F(x) =
_
x
1
1
t
dt;
89
(b) F(x) =
_
x
3
0
e
t
dt;
(c) F(x) =
_
0
x
2
sin(t) dt;
(d) F(x) =
_
x
3
x
2
log(t) dt.
3. Calcule, caso exista, o seguinte limite:
lim
x0
_
x
2
x
sin(t
2
) dt
sin
2
(x)
.
4. Considere a funo real de varivel real denida por
f(x) =
_
sin(x)
0
e
t
2
dt.
(a) Determine a funo f

. Justique a resposta.
(b) Determine os extremos relativos de f. Justique a resposta.
5. Determine a rea de cada um dos seguintes domnios:
(a) Domnio limitado pelos grcos das funes f(x) = e
x
e g(x) = e
x
, e pelas rectas
de equao x = 1 e x = 2;
(b) Domnio limitado pela parbola de equao y
2
= 2x 2 e pela recta de equao
y x + 5 = 0;
(c) Domnio contido no semiplano x 1 e limitado pela recta de equao y = 0 e pelo
grco da funo f(x) =
x
(x
2
+ 3)
2
;
(d) Domnio limitado pelos grcos das funes f(x) = arctan(x) e g(x) =

4
x
2
;
(e) Domnio limitado pelos grcos das funes f(x) =
1
x
, g(x) = 3x e h(x) = 6x.
90
9.2 Exerccios propostos para resoluo autnoma
1. Calcule os seguintes integrais:
(a)
_
5
2
5
(x + 1)
2
dx;
(b)
_
3
1
x
3
log (x) dx;
(c)
_
1
0
log
_
x +

3 + x
2
_
dx;
(d)
_
8
4
x

x
2
15
dx;
(e)
_
2
0
3 arctan
_

1 + x
_
dx;
(f)
_
2
0
x
3
+ x
2
12x + 1
x
2
+ x 12
dx;
(g)
_
16
1
7
4

x +

x
dx.
2. Calcule, caso exista, o seguinte limite:
lim
x0
+
_
x
2
0
sin(

t) dt
x
3
.
3. Considere a funo real de varivel real f denida por
f(x) =
_
1
x
2
e
t
2

t
dt.
(a) Determine a frmula de Taylor de ordem 2 de f, no ponto x = 1.
(b) Calcule lim
x1
f(x) +
2
e
(x 1)
(x 1)
2
.
4. Determine a rea de cada um dos seguintes domnios:
(a) Domnio contido no semiplano x 0 e limitado pela circunferncia x
2
+ y
2
= 4;
(b) Domnio limitado pelo grco da funo f(x) = (x+1)
2
4 e pela recta de equao
y = 2x;
(c) Domnio limitado pelo grco da funo f(x) = x
3
6x
2
+8x e pela recta de equao
y = 0;
91
(d) Domnio limitado pelo grco da funo f(x) = arcsin(x) e pela recta de equao
y =

2
x;
(e) Domnio contido no 1
o
quadrante e limitado pela hiprbole de equao xy = 1, pela
parbola de equao y = x
2
e pela recta de equao y = 4.
92
9.3 Exerccios resolvidos
1. Calcule os seguintes integrais:
(a)
_
8
1
1 +
3

x dx;
(b)
_
e
1
1
x
(log(x))
3
dx;
(c)
_

2
0
x
2
+ 2x + 3
x
2
+ 2
dx;
(d)
_
3
0
(x + 1)

9 x
2
dx;
(e)
_
2
1
e
3x
+ e
2x
+ 1
e
x
e
x
dx;
(f)
_
1
0
5x + 1
(x
2
+ 2x + 5)(x + 1)
dx.
Resoluo:
(a) A funo integranda f(x) = 1 +
3

x est denida e contnua no intervalo [1, 8],


pelo que f integrvel neste intervalo.
Atendendo a que F(x) = x+
3
4
3

x
4
uma primitiva de f ento, pela regra de Barrow,
obtemos
_
8
1
1 +
3

x dx =
_
x +
3
4
3

x
4
_
8
1
= (8 +
3
4
3

8
4
) (1 +
3
4
3

1
4
) =
73
4
.
(b) A funo integranda f(x) =
1
x
(log(x))
3
est denida e contnua no intervalo [1, e],
pelo que f integrvel neste intervalo.
Atendendo a que F(x) =
(log(x))
4
4
uma primitiva de f ento, pela regra de Barrow,
obtemos
_
e
1
1
x
(log(x))
3
dx =
_
(log(x))
4
4
_
e
1
=
_
(log(e))
4
4
_

_
(log(1))
4
4
_
=
1
4
.
(c) A funo integranda f(x) =
x
2
+ 2x + 3
x
2
+ 2
uma funo racional denida e contnua
no intervalo [0,

2], logo f integrvel neste intervalo.


Como f uma funo racional cujo grau do polinmio no numerador igual ao grau
do polinmio no denominador, aplicamos o algoritmo da diviso para obter
x
2
+ 2x + 3
x
2
+ 2
= 1 +
2x + 1
x
2
+ 2
.
93
Assim,
_

2
0
x
2
+ 2x + 3
x
2
+ 2
dx =
_

2
0
1 +
2x + 1
x
2
+ 2
dx =
_

2
0
1 +
2x
x
2
+ 2
+
1
x
2
+ 2
dx
=
_

2
0
1 +
2x
x
2
+ 2
+

2
2
1

2
_
x

2
_
2
+ 1
dx.
Atendendo a que F(x) = x + log(x
2
+ 2) +

2
2
arctan
_
x

2
_
uma primitiva de f
ento, pela regra de Barrow, obtemos
_

2
0
x
2
+ 2x + 3
x
2
+ 2
dx
=
_
x + log(x
2
+ 2) +

2
2
arctan
_
x

2
__

2
0
=
_

2 + log
_
(

2)
2
+ 2
_
+

2
2
arctan
_

2
_
_

_
0 + log(0
2
+ 2) +

2
2
arctan
_
0

2
_
_
=

2 + log(2) +

2
8
.
(d) A funo integranda f(x) = (x + 1)

9 x
2
o produto de uma funo polinomial
por uma funo irracional, ambas denidas e contnuas no intervalo [0, 3]. Assim, f
est denida e contnua em [0, 3], pelo que integrvel neste intervalo.
Observe-se que o integral dado se pode decompor na soma de dois integrais, na forma
_
3
0
(x + 1)

9 x
2
dx =
_
3
0
x

9 x
2
dx +
_
3
0

9 x
2
dx. (9.1)
Relativamente primeira parcela, como F
1
(x) =
1
3
_
(9 x
2
)
3
uma primitiva
da funo f
1
(x) = x

9 x
2
, pela regra de Barrow, obtemos
_
3
0
x

9 x
2
dx =
_
1
3
_
(9 x
2
)
3
_
3
0
=
_
1
3
_
(9 3
2
)
3
_

_
1
3
_
(9 0
2
)
3
_
= 9.
Relativamente segunda parcela, vamos efectuar uma integrao por substituio
sendo, neste caso, x = 3 sin(t) uma substituio adequada. A funo (t) = 3 sin(t)
uma funo de classe C
1
em [0,

2
], pois

(t) = 3 cos(t) contnua neste intervalo.


Atendendo a que (0) = 0 e que
_

2
_
= 3, efectuando a substituio, obtemos
94
_
3
0

9 x
2
dx =
_
2
0
_
9 9 sin
2
(t) 3 cos(t) dt
=
_
2
0
_
9(1 sin
2
(t)) 3 cos(t) dt
=
_
2
0
3 [cos(t)[ 3 cos(t)dt
=
_
2
0
9 cos
2
(t) dt
= 9
_
2
0
_
1
2
+
1
2
cos(2t)
_
dt
=
9
2
_
t +
sin(2t)
2
_
2
0
=
9
4
.
Da igualdade (9.1) conclumos ento que
_
3
0
(x + 1)

9 x
2
dx =
_
3
0
x

9 x
2
dx +
_
3
0

9 x
2
dx = 9 +
9
4
.
(e) A funo integranda f(x) =
e
3x
+ e
2x
+ 1
e
x
e
x
uma funo transcendente denida e
contnua no intervalo [1, 2], pelo que f integrvel neste intervalo.
Vamos efectuar uma integrao por substituio. Neste caso, a substituio ade-
quada e
x
= t ou, equivalentemente, x = log(t). A funo (t) = log(t) uma
funo de classe C
1
em [e, e
2
], uma vez que

(t) =
1
t
contnua neste intervalo.
Atendendo a que (e) = 1 e que
_
e
2
_
= 2, efectuando a substituio, obtemos
_
2
1
e
3x
+ e
2x
+ 1
e
x
e
x
dx =
_
e
2
e
t
3
+ t
2
+ 1
t
1
t
1
t
dt =
_
e
2
e
t
3
+ t
2
+ 1
t
2
1
dt.
Como a funo integranda
t
3
+ t
2
+ 1
t
2
1
uma funo racional cujo grau do polin-
mio no numerador maior que o grau do polinmio no denominador, aplicamos o
algoritmo da diviso para obter
t
3
+ t
2
+ 1
t
2
1
= t + 1 +
t + 2
t
2
1
. Logo,
_
e
2
e
t
3
+ t
2
+ 1
t
2
1
dt =
_
e
2
e
t + 1 +
t + 2
t
2
1
dt =
_
e
2
e
t + 1 dt +
_
e
2
e
t + 2
t
2
1
dt. (9.2)
Relativamente primeira parcela, como F
1
(t) =
t
2
2
+ t uma primitiva da funo
integranda f
1
(t) = t + 1 obtemos, pela regra de Barrow,
_
e
2
e
t + 1 dt =
_
t
2
2
+ t
_
e
2
e
=
_
e
4
2
+ e
2
_

_
e
2
2
+ e
_
=
e
4
2
+
e
2
2
e.
Relativamente segunda parcela, note-se que:
95
(i) a funo a primitivar uma funo racional cujo grau do polinmio no numera-
dor menor do que o grau do polinmio no denominador,
(ii) o polinmio t
2
1 no denominador tem duas razes reais (1 e 1) com multipli-
cidade 1,
(iii) a funo racional a primitivar irredutvel, visto que o numerador e o denomi-
nador no tm factores comuns,
ento existem A, B R tais que
t + 2
t
2
1
=
t + 2
(t 1)(t + 1)
=
A
t 1
+
B
t + 1
, t R 1, 1,
ou seja, existem A, B R tais que t +2 = A(t +1) +B(t 1), t R 1, 1. Da
igualdade anterior, podemos escrever a igualdade polinomial t+2 = (A+B)t+(AB)
de onde se obtm o sistema
_
_
_
A + B = 1
A B = 2,
que tem como soluo A =
3
2
e B =
1
2
.
Logo,
_
e
2
e
t + 2
t
2
1
dt =
_
e
2
e
3
2
t 1
+

1
2
t + 1
dt.
Atendendo a que F
2
(x) =
3
2
log [t 1[
1
2
log [t + 1[ uma primitiva de f
2
(x) =
3
2
t 1
+

1
2
t + 1
ento, pela regra de Barrow,
_
e
2
e
t + 2
t
2
1
dt
=
_
3
2
log [t 1[
1
2
log [t + 1[
_
e
2
e
=
3
2
log(e
2
1)
1
2
log(e
2
+ 1)
3
2
log(e 1) +
1
2
log(e + 1)
=
3
2
log(e + 1)
1
2
log(e
2
+ 1) +
1
2
log(e + 1) = 2 log(e + 1)
1
2
log(e
2
+ 1).
Ento, da igualdade (9.2) obtemos
_
2
1
e
3x
+ e
2x
+ 1
e
x
e
x
dx
=
_
e
2
e
t
3
+ t
2
+ 1
t
2
1
dt =
_
e
2
e
t + 1 dt +
_
e
2
e
t + 2
t
2
1
dt
=
e
4
2
+
e
2
2
e + 2 log(e + 1)
1
2
log(e
2
+ 1).
96
(f) A funo integranda f(x) =
5x + 1
(x
2
+ 2x + 5)(x + 1)
uma funo racional denida e
contnua no intervalo [0, 1], pelo que f integrvel neste intervalo.
Vamos ento calcular uma primitiva de f. Notando que:
(i) a funo a primitivar uma funo racional cujo grau do polinmio no numera-
dor menor do que o grau do polinmio no denominador,
(ii) o polinmio (x
2
+ 2x + 5)(x + 1) no denominador tem uma raiz real (1) com
multiplicidade 1, e um par de razes complexas conjugadas (1 2i) com mul-
tiplicidade 1,
(iii) a funo racional a primitivar irredutvel, visto que o numerador e o denomi-
nador no tm factores comuns,
ento existem A, B, C R tais que
5x + 1
(x
2
+ 2x + 5)(x + 1)
=
A
x + 1
+
Bx + C
x
2
+ 2x + 5
, x R 1,
ou seja, existem A, B, C R tais que
5x + 1 = A(x
2
+ 2x + 5) + (Bx + C)(x + 1), , x R 1. (9.3)
De (9.3), podemos escrever a igualdade polinomial
0x
2
+ 5x + 1 = (A + B)x
2
+ (2A + B + C)x + 5A + C
de onde se obtm o sistema
_

_
A + B = 0
2A + B + C = 5
5A + C = 1,
que tem como soluo A = 1, B = 1 e C = 6.
Deste modo, obtemos
_
1
0
5x + 1
(x
2
+ 2x + 5)(x + 1)
dx
=
_
1
0
1
x + 1
+
x + 6
x
2
+ 2x + 5
dx
=
_
1
0
1
x + 1
dx +
_
1
0
x + 6
x
2
+ 2x + 5
dx
=
_
1
0
1
x + 1
dx +
_
1
0
x + 1
x
2
+ 2x + 5
dx +
_
1
0
5
x
2
+ 2x + 5
dx.
(9.4)
Relativamente primeira parcela, como F
1
(x) = log [x + 1[ uma primitiva da
funo integranda f
1
(x) =
1
x + 1
obtemos, pela regra de Barrow,
97
_
1
0
1
x + 1
dx = [log [x + 1[ ]
1
0
= log [2[ + log [1[ = log(2).
Quanto segunda parcela, como F
2
(x) =
1
2
log [x
2
+ 2x + 5[ uma primitiva da
funo integranda f
2
(x) =
x + 1
x
2
+ 2x + 5
, obtemos pela regra de Barrow,
_
1
0
x + 1
x
2
+ 2x + 5
dx =
1
2
_
log [x
2
+ 2x + 5[

1
0
=
1
2
(log(8) log(5)) =
1
2
log
_
8
5
_
.
Finalmente, como
_
1
0
5
x
2
+ 2x + 5
dx =
_
1
0
5
(x + 1)
2
+ 4
dx
=
5
4
_
1
0
1
(
x+1
2
)
2
+ 1
dx
=
5
2
_
1
0
1
2
(
x+1
2
)
2
+ 1
dx
e F
3
(x) = arctan
_
x + 1
2
_
uma primitiva da funo integranda f
3
(x) =
1
2
(
x+1
2
)
2
+ 1
obtemos, pela regra de Barrow,
_
1
0
5
x
2
+ 2x + 5
dx =
5
2
_
1
0
1
2
(
x+1
2
)
2
+ 1
dx
=
5
2
_
arctan
_
x + 1
2
__
1
0
=
5
2
_
arctan(1) arctan
_
1
2
__
=
5
2
_

4
arctan
_
1
2
__
=
5
8

5
2
arctan
_
1
2
_
.
Da igualdade (9.4) obtemos ento
_
1
0
5x + 1
(x
2
+ 2x + 5)(x + 1)
dx
=
_
1
0
1
x + 1
dx +
_
1
0
x + 1
x
2
+ 2x + 5
dx +
_
1
0
5
x
2
+ 2x + 5
dx
= log(2) +
1
2
log
_
8
5
_
+
5
8

5
2
arctan
_
1
2
_
.
2. Calcule, caso exista, o limite
lim
x0
+
_
x
3

cos(
3

t + ) dt
sin(x
2
)
,
justicando detalhadamente a sua resposta.
Resoluo:
98
Ao calcular lim
x0
+
_
x
3

cos(
3

t + ) dt
sin(x
2
)
obtemos uma indeterminao do tipo
0
0
. Consi-
derando as funes F(x) =
_
x
3

cos(
3

t + ) dt e g(x) = sin(x
2
), vamos provar que so
vericadas as condies da regra de Cauchy no intervalo I =]0, [ com 0 < <
_

2
.
Vamos provar, em primeiro lugar, que a funo F diferencivel em I. Atendendo a que
a funo h(t) = cos(
3

t + ) contnua em R, ento ela contnua em qualquer intervalo


da forma [, b] (b > ) contido em R. Assim, pelo teorema fundamental do clculo
integral, a funo H(x) =
_
x

cos(
3

t + ) dt diferencivel em [, b] e, alm disso,


H

(x) = h(x) = cos(


3

x + ), x [, b]. Como F(x) = H(x


3
), ento
F

(x) =
_
H(x
3
)
_

= H

(x
3
)(x
3
)

= H

(x
3
) 3x
2
= 3x
2
cos(
3

x
3
+ )
= 3x
2
cos(x), x [, b] .
Como, em particular, F

(x) = 3x
2
cos(x) toma sempre valores nitos em I, ento a funo
F diferencivel em I.
Por outro lado, a funo g(x) = sin(x
2
) tambm diferencivel em I, uma vez que
g

(x) = 2x cos(x
2
) toma valores nitos neste intervalo. Alm disso, g

(x) ,= 0, x I e
lim
x0
+
F(x) = lim
x0
+
g(x) = 0.
Vericam-se, assim, as condies de aplicabilidade da Regra de Cauchy. Como
lim
x0
+
F

(x)
g

(x)
= lim
x0
+
3x
2
cos(x)
2x cos(x
2
)
= lim
x0
+
3x cos(x)
2 cos(x
2
)
= 0
verica-se que este limite existe, pelo que tambm existe e tem igual valor lim
x0
+
F(x)
g(x)
.
Logo, lim
x0
+
F(x)
g(x)
= 0.
3. Considere a funo real de varivel real denida por
f(x) =
_
1
x
e
t
t
dt.
(a) Determine, justicando, o domnio da funo f.
(b) Escreva a frmula de Taylor de ordem 2 da funo f, no ponto x = 1.
(c) Mostre que 2f(

x) =
_
1
x
e

t
t
dt.
99
Resoluo:
(a) A funo integranda g(t) =
e
t
t
uma funo denida e contnua em R0. Assim,
para encontrar o domnio da funo f (i.e., o conjunto dos valores para os quais a
funo f est denida) temos de assegurar que o intervalo de integrao [x, 1], para
x < 1 (ou [1, x], para x > 1), est contido em R0. Logo, x s pode tomar valores
positivos, pelo que o domnio de f R
+
.
(b) Na alnea (a) vimos que a funo f est denida em R
+
, e que a funo integranda
g(t) =
e
t
t
est denida e contnua em R 0. Assim, em particular, g contnua
em [1, b], com b > 1 (ou [b, 1], com 0 < b < 1) pelo que, pelo teorema fundamental
do clculo integral, podemos concluir que a funo h(x) =
_
x
1
e
t
t
dt diferenci-
vel em [1, b] (ou [b, 1]) e que h

(x) = g(x) =
e
x
x
, x [1, b] (ou [b, 1]). Como
f(x) =
_
1
x
e
t
t
dt =
_
x
1
e
t
t
dt = h(x) ento f

(x) = h

(x) =
e
x
x
, x [1, b]
(ou [b, 1]). Podemos agora concluir que f uma funo de classe C
1
numa vizinhana
do ponto 1 (contida em R
+
), uma vez que a funo f

contnua nessa vizinhana.


Ainda, a segunda derivada f

(x) = e
x
_
x + 1
x
2
_
est denida numa vizinhana do
ponto 1 (contida em R
+
). Assim, podemos escrever a frmula de Taylor com resto de
ordem 2 da funo f em torno do ponto 1, i.e., podemos armar que existe c ]x, 1[
ou c ]1, x[ tal que f(x) = f(1) + (x 1)f

(1) +
(x 1)
2
2!
f

(c). Como f(1) = 0,


f

(1) =
1
e
e f

(c) =
1
e
c
_
c + 1
c
2
_
, podemos ento concluir que existe c ]x, 1[ ou
c ]1, x[ tal que f(x) = (x 1)
1
e
+
(x 1)
2
2!
1
e
c
_
c + 1
c
2
_
.
(c) Notemos que f(

x) =
_
1

x
e
t
t
dt, e que T
f
= R
+
. Considerando a substituio
t =

u, a funo (u) =

u uma funo de classe C
1
em R
+
, uma vez que a
funo

(u) =
1
2

u
contnua neste conjunto. Atendendo a que (1) = 1 e (x) =

x, efectuando a substituio obtemos f(

x) =
_
1

x
e
t
t
dt =
_
1
x
e

u
1
2

u
du =
1
2
_
1
x
e

u
u
du, de onde conclumos, conforme pretendido, que 2f(

x) =
_
1
x
e

t
t
dt.
4. Calcule a rea do domnio limitado pelo grco da funo g(x) = arctan(x) e pelas rectas
de equao y =

4
e x = 0.
Resoluo:
100
Em primeiro lugar, note-se que o ponto de interseco da funo g(x) = arctan(x) com a
recta y =

4
(i.e, a soluo da equao arctan(x) =

4
) o ponto de coordenadas
_
1,

4
_
.
Por outro lado, o grco de y = arctan(x) est sempre abaixo da recta y =

4
no intervalo
[0, 1], uma vez que arctan(x)

4
, x [0, 1]. Assim, o domnio est limitado superior-
mente pela recta y =

4
e inferiormente pelo grco de y = arctan(x), pelo que a rea
pretendida ser dada por
A =
_
1
0

4
arctan(x)

dx =
_
1
0

4
arctan(x) dx.
As funes f(x) =

4
e g(x) = arctan(x) esto denidas e so contnuas em [0, 1], logo
so ambas integrveis neste intervalo. Assim,
_
1
0

4
arctan(x) dx =
_
1
0

4
dx
_
1
0
arctan(x) dx
=
_

4
x
_
1
0

_
1
0
arctan(x) dx =

4

_
1
0
arctan(x) dx.
(9.5)
Resta-nos calcular o integral
_
1
0
arctan(x) dx e, para isso, vamos efectuar uma integrao
por partes. Considerando h(x) = 1 e g(x) = arctan(x), h contnua em [0, 1] e g uma
funo de classe C
1
em [0, 1], pois tem derivada contnua neste intervalo. Uma vez que
H(x) = x uma primitiva da funo h obtemos ento
_
1
0
arctan(x) dx = [x arctan(x)]
1
0

_
1
0
x
1
1 + x
2
dx
= [x arctan(x)]
1
0

1
2
_
1
0
2x
1 + x
2
dx
=

4

1
2
[log(1 + x
2
)]
1
0
=

4
log(

2).
Finalmente, da igualdade (9.5) obtemos
_
1
0

4
arctan(x) dx =

4

_

4
log(

2)
_
= log(

2).
5. Calcule a rea do domnio limitado pelo grco da funo f(x) =
1
x

x
2
x 2
e pelas
rectas de equao x = 3, x = 4 e y = 0.
Resoluo:
O domnio limitado inferiormente pelo grco da funo f(x) =
1
x

x
2
x 2
, e
limitado superiormente pela recta y = 0, uma vez que
1
x

x
2
x 2
< 0, x [3, 4].
101
Assim, a rea dada por
A =
_
4
3

0
_

1
x

x
2
x 2
_

dx =
_
4
3
0
_

1
x

x
2
x 2
_
dx
=
_
4
3
1
x

x
2
x 2
dx.
A funo integranda f(x) =
1
x

x
2
x 2
, est denida e contnua em [3, 4], logo f
integrvel neste intervalo.
Vamos efectuar uma integrao por substituio. Atendendo a que o polinmio x
2
x2
tem duas razes reais e distintas (1 e 2), neste caso uma das substituies adequadas
(x + 1) t =

x
2
x 2. Da igualdade anterior obtemos sucessivamente
(x + 1) t =

x
2
x 2
(x + 1)
2
t
2
= x
2
x 2
(x + 1)
2
t
2
= (x + 1)(x 2)
(x + 1) t
2
= x 2
x (t
2
1) = t
2
2
x =
t
2
+ 2
1 t
2
.
A funo (t) =
t
2
+ 2
1 t
2
uma funo de classe C
1
em
_
1
2
,
_
2
5
_
, pois

(t) =
6t
(1 t
2
)
2
uma funo contnua neste intervalo. Atendendo a que
_
1
2
_
= 3 e que
__
2
5
_
= 4,
efectuando a substituio, obtemos
_
4
3
1
x

x
2
x 2
dx =
_

2
5
1
2
1
t
2
+2
1t
2
(
t
2
+2
1t
2
+ 1)t
6t
(1 t
2
)
2
dt
=
_

2
5
1
2
(1 t
2
)
2
3(t
2
+ 2)
6
(1 t
2
)
2
dt
=
_

2
5
1
2
2
t
2
+ 2
dt =
_

2
5
1
2
1
_
t

2
_
2
+ 1
dt
=

2
_

2
5
1
2
1

2
_
t

2
_
2
+ 1
dt =

2
_
arctan
_
t

2
__

2
5
1
2
=

2
_
arctan
_

5
5
_
arctan
_

2
4
__
.
102
6. Determine a rea do domnio limitado pelo grco da funo f(x) =
1
1 + sin(x)
, e as
rectas de equao y = 0, x = 0 e x =

2
.
Resoluo:
O domnio limitado superiormente pelo grco da funo f(x) =
1
1 + sin(x)
e inferior-
mente pela recta de equao y = 0, uma vez que se verica a desigualdade
1
1 + sin(x)
> 0,
no intervalo [0,

2
].
Assim, a rea dada por
A =
_
2
0

1
1 + sin(x)
0

dx =
_
2
0
1
1 + sin(x)
0 dx =
_
2
0
1
1 + sin(x)
dx.
A funo f(x) =
1
1 + sin(x)
est denida e contnua em [0,

2
], logo f integrvel neste
intervalo.
Vamos calcular este integral efectuando uma integrao por substituio. Neste caso a
substituio adequada t = tan(
x
2
) ou, equivalentemente, x = 2 arctan(t). A funo
(t) = 2 arctan(t) uma funo de classe C
1
em [0, 1], pois

(t) =
2
1+t
2
uma funo
contnua neste intervalo. Atendendo a que (0) = 0, (1) =

2
, e que sin(x) =
2t
1 + t
2
,
efectuando a substituio, obtemos
_
2
0
1
1 + sin(x)
dx =
_
1
0
1
1 +
2t
1+t
2
2
1 + t
2
dx =
_
1
0
2
(1 + t)
2
dx = 2
_
1
t + 1
_
1
0
= 1.
7. Calcule a rea do domnio limitado pelo grco da funo f(x) =

2 + x
2
e pela parbola
de equao y = x
2
.
Resoluo:
Em primeiro lugar, note-se que os pontos de interseco da funo f(x) =

2 + x
2
com
a parbola y = x
2
so os pontos de coordenadas (

2, 2) e (

2, 2), uma vez que

2 + x
2
= x
2
2 + x
2
= x
4
x
4
x
2
2 = 0 x =

2 x =

2
(note-se que fazendo a mudana de varivel y = x
2
a equao x
4
x
2
2 = 0 se pode
escrever na forma y
2
y 2 = 0).
No intervalo [

2,

2] vericada a desigualdade

2 + x
2
x
2
, isto , neste intervalo o
domnio limitado superiormente pelo grco da funo f(x) =

2 + x
2
e inferiormente
103
pelo grco da parbola y = x
2
. Logo, a rea dada por
A =
_

2

2
[

2 + x
2
x
2
[ dx =
_

2

2 + x
2
x
2
dx
=
_

2

2 + x
2
dx
_

2

2
x
2
dx.
(9.6)
As funes f(x) =

2 + x
2
e g(x) = x
2
esto denidas e so contnuas em [

2,

2],
logo ambas so integrveis neste intervalo.
Relativamente ao segundo integral, como G(x) =
x
3
3
uma primitiva para a funo g
ento, pela regra de Barrow,
_

2

2
x
2
dx =
_
x
3
3
_

2
=
(

2)
3
3

(

2)
3
3
=
4

2
3
. (9.7)
Vamos agora efectuar uma integrao por substituio para calcular o valor do pri-
meiro integral. Neste caso uma das substituies adequadas x =

2 tan(t). A funo
(t) =

2 tan(t) uma funo de classe C


1
em
_

4
,

4

, pois

(t) =

2
1
cos
2
(t)
uma
funo contnua neste intervalo. Atendendo a que
_

4
_
=

2 e que
_

4
_
=

2,
efectuando a substituio, obtemos
_

2

2 + x
2
dx =
_
4

4
_
2 + 2 tan
2
(t)

2
cos
2
(t)
dt
=
_
4

2
1
cos(t)

2
cos
2
(t)
dt
=
_
4

4
2
cos
3
(t)
dt.
Precisamos de fazer uma nova substituio para calcular o valor deste ltimo integral.
Neste caso, como a funo integranda h(t) =
1
cos
3
(t)
uma funo mpar em cos(t),
a substituio escolhida u = sin(t) ou, equivalentemente, t = arcsin(u). A funo
(u) = arcsin(u) uma funo de classe C
1
em [

2
2
,

2
2
], pois

(u) =
1

1 u
2

contnua neste intervalo. Atendendo a que


_

2
2
_
=

4
,
_

2
2
_
=

4
, e que cos(t) =
_
1 sin
2
(t) =

1 u
2
em [

4
,

4
], efectuando a substituio, obtemos
_
4

4
2
cos
3
(t)
dt =
_

2
2

2
2
2
_
(1 u
2
)
3
1

1 u
2
du =
_

2
2

2
2
2
(1 u
2
)
2
du.
Falta ainda calcular a primitiva de k(u) =
2
(1 u
2
)
2
. Notando que:
104
(i) a funo a primitivar uma funo racional cujo grau do polinmio no numerador
menor do que o grau do polinmio no denominador,
(ii) os zeros do polinmio (1 u
2
)
2
no denominador so reais (1 e 1) e tm ambos
multiplicidade 2,
(iii) a funo racional a primitivar irredutvel, visto que o numerador e o denominador
no tm factores comuns,
ento existem A, B, C, D R tais que
2
(1 u
2
)
2
=
2
(1 u)
2
(1 + u)
2
=
A
(1 u)
2
+
B
1 u
+
C
(1 + u)
2
+
D
1 + u
, u R 1, 1,
ou seja, existem A, B, C, D R tais que
2 = A(1+u)
2
+B(1+u)
2
(1u) +C(1u)
2
+D(1u)
2
(1+u), u R1, 1. (9.8)
De (9.8), podemos escrever a igualdade polinomial
0u
3
+0u
2
+0u+2 = (B+D)u
3
+(AB+CD)u
2
+(2A+B2CD)u+A+B+C+D
de onde se obtm o sistema
_

_
B + D = 0
A B + C D = 0
2A + B 2C D = 0
A + B + C + D = 2,
que tem como soluo A =
1
2
, B =
1
2
, C =
1
2
e D =
1
2
. Deste modo, obtemos
2
(1 u
2
)
2
=
1
2
_
1
(1 u)
2
+
1
1 u
+
1
(1 + u)
2
+
1
1 + u
_
donde se segue que
_

2
2

2
2
2
(1 u
2
)
2
du
=
1
2
_

2
2

2
2
1
(1 u)
2
+
1
1 u
+
1
(1 + u)
2
+
1
1 + u
du
=
1
2
_
1
1 u
log [1 u[
1
1 + u
+ log [1 + u[
_

2
2

2
2
=
1
2
_
1
1

2
2
log [1

2
2
[
1
1+

2
2
+ log [1 +

2
2
[
_

1
2
_
1
1+

2
2
log [1 +

2
2
[
1
1

2
2
+ log [1

2
2
[
_
=
1
2
_
2 log(3 + 2

2) + 4 + 2

2 4 + 2

2
_
= log(3 + 2

2) + 2

2.
105
Finalmente, das igualdades (9.6) e (9.7), obtemos
_

2

2 + x
2
x
2
dx = log(3 + 2

2) + 2

2
4

2
3
= log(3 + 2

2) +
2

2
3
.
106
10 Integrais imprprios
10.1 Exerccios propostos para resoluo nas aulas
1. Recorrendo denio de integral imprprio, estude a natureza dos seguintes integrais
calculando, se possvel, o seu valor:
(a)
_
+
1
e

x
dx;
(b)
_
1
0
x log(x) dx.
2. Estude a natureza dos seguintes integrais imprprios:
(a)
_
+
1
x
x
3
+ x
2
1
dx;
(b)
_
+
0
1

e
x
dx;
(c)
_
+
2
log(x)

x + x
2
+ 1
dx;
(d)
_
+
0
cos(x)

x
3
+ 1
dx;
(e)
_
2
1

x
x
2
1
dx;
(f)
_
2
0
_
1 + tan(x) dx;
(g)
_
2
2
1

4 x
2
dx;
(h)
_
2
0
2
x
2
2x
dx;
(i)
_
+
1
2
1
3

2x 1
dx;
107
(j)
_
0

1
3

1 x
4
dx.
3. Determine a rea de cada um dos seguintes domnios planos ilimitados:
(a) domnio contido no semiplano y 0, e limitado pela recta de equao x = 0 e pelo
grco da funo f(x) = log(x);
(b) domnio denido pelo grco da funo f(x) =
1
x
2
e pelas rectas de equao x = 1
e y = 0.
4. Estude a natureza do seguinte integral imprprio, em funo do parmetro real :
_
+
0
x

1 + x
3
dx.
108
10.2 Exerccios propostos para resoluo autnoma
1. Recorrendo denio de integral imprprio, estude a natureza dos seguintes integrais
calculando, se possvel, o seu valor:
(a)
_
+
1
1
(1 + x
2
) arctan(x)
dx;
(b)
_
e
0
1
x
_
1 log(x)
dx.
2. Estude a natureza dos seguintes integrais imprprios:
(a)
_
+
0
e

2x+1
dx;
(b)
_
+
2
x sin(x
2
)
x
4
+ 3
dx;
(c)
_
+
1
e
x
x dx;
(d)
_
2
0
e
x
cos(x)
x
dx;
(e)
_
2
0
log(x)
x
dx;
(f)
_

0
1
_
sin(x)
dx;
(g)
_
+
2
log(x)
x

x
2
4
dx;
(h)
_
+
0
1
x

x
2
+ 1
dx;
(i)
_
+
0
1
(x + 1)
5

1 x
2
dx.
3. Determine a rea de cada um dos seguintes domnios planos ilimitados:
(a) domnio denido pelo grco da funo f(x) =
1
1 + x
2
e pelo eixo dos xx;
(b) domnio denido pelo grco da funo f(x) =
1
x log
2
(x)
, pelas rectas de equao
x = 0 e x =
1
2
, e pelo eixo dos xx.
4. Estude a natureza do seguinte integral, em funo do parmetro real :
_
2
0
sin(x)
x

dx.
109
10.3 Exerccios resolvidos
1. Recorrendo denio de integral imprprio, estude a natureza dos seguintes integrais
calculando, se possvel, o seu valor:
(a)
_
+
1
1
x
2
(x
2
+ 1)
dx;
(b)
_
0
1
e
2x

1 e
2x
dx.
Resoluo:
(a) Dado que a funo f(x) =
1
x
2
(x
2
+ 1)
est denida no intervalo [1, +[, o integral
_
+
1
1
x
2
(x
2
+ 1)
dx imprprio de 1.
a
espcie.
Pela denio de integral imprprio de 1.
a
espcie, dado que a funo f integrvel
em qualquer intervalo [1, x], com x > 1, tem-se
_
+
1
1
x
2
(x
2
+ 1)
dx = lim
x+
_
x
1
1
t
2
(t
2
+ 1)
dt.
Note-se que, como a funo f contnua em R0, ento contnua e consequen-
temente integrvel em qualquer intervalo [1, x], com x > 1.
Precisamos agora de calcular uma primitiva para a funo f. Notando que:
i. a funo a primitivar uma funo racional cujo grau do polinmio no numera-
dor menor do que o grau do polinmio no denominador,
ii. o polinmio t
2
(t
2
+1) no denominador tem uma raiz real (0) com multiplicidade
2, e um par de razes complexas conjugadas (i) com multiplicidade 1,
iii. a funo racional a primitivar irredutvel, visto que o numerador e o denomi-
nador no tm factores comuns,
ento existem A, B, C, D R tais que
1
t
2
(t
2
+ 1)
=
A
t
2
+
B
t
+
Ct + D
t
2
+ 1
, t R 0,
ou seja, existem A, B, C, D R tais que 1 = A(t
2
+1)+Bt(t
2
+1)+(Ct +D)t
2
, t
R 0. Da igualdade anterior, podemos escrever a igualdade polinomial
0t
3
+ 0t
2
+ 0t + 1 = (B + C)t
3
+ (A + D)t
2
+ Bt + A
de onde se obtm o sistema
_

_
B + C = 0
A + D = 0
B = 0
A = 1,
110
que tem como soluo A = 1, B = 0, C = 0 e D = 1.
Logo,
_
x
1
1
t
2
(t
2
+ 1)
dt =
_
x
1
1
t
2

1
t
2
+ 1
dt.
Atendendo a que F(t) =
t
1
1
arctan(t) uma primitiva de f(t) =
1
t
2

1
t
2
+ 1
ento, pela regra de Barrow,
_
x
1
1
t
2

1
t
2
+ 1
dt =
_
t
1
1
arctan(t)
_
x
1
=
1
x
arctan(x) + 1 + arctan(1).
Logo, obtemos
_
+
1
1
x
2
(x
2
+ 1)
dx = lim
x+
_
x
1
1
t
2
(t
2
+ 1)
dt
= lim
x+
_

1
x
arctan(x) + 1 + arctan(1)
_
=

2
+ 1 +

4
= 1

4
,
concluindo-se assim que o integral convergente.
(b) Dado que a funo f(x) =
e
2x

1 e
2x
est denida no intervalo [1, 0[ (note-se que
T
f
= R

e lim
x0

f(x) = +), o integral


_
0
1
e
2x

1 e
2x
dx imprprio de 2.
a
espcie.
Pela denio de integral imprprio de 2.
a
espcie, dado que a funo f integrvel
em qualquer intervalo [1, x], com 1 < x < 0, temos que
_
0
1
e
2x

1 e
2x
dx = lim
x0

_
x
1
e
2t

1 e
2t
dt.
Note-se que, como a funo f contnua emR

, ento contnua e consequentemente


integrvel em qualquer intervalo [1, x], com 1 < x < 0. Atendendo a que
F(t) = P
_
e
2t

1 e
2t
_
=
1
2
P
_
2e
2t
(1 e
2t
)

1
2
_
=
1
2
_
(1 e
2t
)
1
2
1
2
_
=
_
1 e
2t
_1
2
uma primitiva de f ento, pela regra de Barrow,
_
x
1
e
2t

1 e
2t
dt =
_

_
1 e
2t
_1
2
_
x
1
=
_
(1 e
2x
)
1
2
(1 e
2
)
1
2
_
.
111
Logo, obtemos
_
0
1
e
2x

1 e
2x
dx = lim
x0

_
x
1
e
2t

1 e
2t
dt
= lim
x0

_
(1 e
2x
)
1
2
(1 e
2
)
1
2
_
=

1 e
2
,
concluindo-se assim que o integral convergente.
2. Estude a natureza dos seguintes integrais imprprios:
(a)
_
+
1
arctan(e
x
)
x
dx;
(b)
_
+
2
cos
2
(x)
x
4
1
dx;
(c)
_
+
0
1
e
2x
e
x
+ 5
dx;
(d)
_
0
1
x + 2
sin(
3

x)
dx;
(e)
_
1
0
sin(log(x)) dx;
(f)
_
+
1
1
5
_
(x
2
1)
3
dx;
(g)
_
2

x
(4 x
2
)

2 x
dx.
Resoluo:
(a) A funo integranda f(x) =
arctan(e
x
)
x
est denida no intervalo [1, +[ pelo que
estamos perante um integral imprprio de 1.
a
espcie. Dado que f(x) > 0, x
[1, +[, podemos aplicar um critrio de comparao. Assim, vamos comparar o in-
tegral
_
+
1
f(x)dx com o integral
_
+
1
1
x
dx que sabemos ser um integral imprprio
de 1.
a
espcie divergente.
Notando que
lim
x+
arctan(e
x
)
x
1
x
= lim
x+
arctan(e
x
) =

2
R
+
,
112
conclumos que os dois integrais tm a mesma natureza, ou seja, o integral
_
+
1
f(x)dx
tambm divergente.
(b) A funo integranda f(x) =
cos
2
(x)
x
4
1
est denida no intervalo [2, +[ pelo que
estamos perante um integral imprprio de 1.
a
espcie. Dado que f(x) > 0, x
[2, +[, podemos aplicar um critrio de comparao.
Como cos
2
(x) 1, x R, verica-se a desigualdade
f(x)
1
x
4
1
, x [2, +[. (10.1)
Denindo a funo g(x) =
1
x
4
1
, se provarmos que
_
+
2
g(x) dx convergente,
ento pela desigualdade (10.1) podemos concluir que
_
+
2
f(x) dx tambm con-
vergente (critrio geral de comparao).
Estude-se ento a convergncia de
_
+
2
g(x) dx comparando este integral com o
integral imprprio de 1.
a
espcie
_
+
1
1
x
4
dx que sabemos ser convergente. Visto
que
lim
x+
1
x
4
1
1
x
4
= lim
x+
x
4
x
4
1
= 1 R
+
,
conclumos que os dois integrais (
_
+
2
g(x) dx e
_
+
1
1
x
4
dx) so da mesma natu-
reza, ou seja, o integral
_
+
2
g(x) dx convergente. Consequentemente, o integral
_
+
2
f(x) dx tambm convergente.
(c) A funo integranda f(x) =
1
e
2x
e
x
+ 5
est denida no intervalo [0, +[ pelo
que estamos perante um integral imprprio de 1.
a
espcie. Por outro lado, a funo
f positiva neste intervalo, uma vez que, para valores x 0, se tem e
x
1, e
consequentemente (e
x
)
2
e
x
+ 5 > 0.
Assim, podemos aplicar um critrio de comparao e vamos comparar o integral
_
+
0
f(x) dx com o integral imprprio de 1.
a
espcie
_
+
1
1
x

dx.
113
Note-se que
lim
x+
1
e
2x
e
x
+ 5
1
x

= lim
x+
x

e
2x
e
x
+ 5
= lim
x+
x

e
x
_
e
x
1 +
5
e
x
_
= lim
x+
x

e
x
1
e
x
1 +
5
e
x
= 0, R,
atendendo a que lim
x+
x

e
x
= 0, R.
Uma vez que o limite zero, possvel determinar a natureza do integral imprprio
_
+
0
f(x)dx, desde que o integral de comparao seja convergente. Como o integral
_
+
1
1
x

dx convergente para > 1, e para estes valores (por exemplo, para


= 2) o limite atrs calculado zero, podemos concluir que o integral
_
+
0
f(x) dx
convergente.
(d) A funo integranda f(x) =
x + 2
sin(
3

x)
est denida no intervalo [1, 0[ (note-se que
lim
x0

x + 2
sin(
3

x)
= ), pelo que
_
0
1
x + 2
sin(
3

x)
dx um integral imprprio de 2.
a
espcie.
Visto que f(x) < 0, x [1, 0[, que
_
0
1
x + 2
sin(
3

x)
dx =
_
0
1

x + 2
sin(
3

x)
dx,
e que os dois integrais acima tm a mesma natureza, podemos estudar a natureza do
integral
_
0
1

x + 2
sin(
3

x)
dx, cuja funo integranda positiva no intervalo indicado, e
concluir sobre a natureza do integral inicial.
Estude-se ento a convergncia de
_
0
1
f(x) dx, comparando este integral com o
integral imprprio de 2.
a
espcie
_
0
1

1
x
1
3
dx que sabemos ser convergente.
Dado que
lim
x0

x + 2
sin(
3

x)

1
x
1
3
= lim
x0

(x + 2)
3

x
sin(
3

x)
= 2 R
+
,
114
uma vez que lim
x0

x
sin(
3

x)
= 1, conclumos que os dois integrais tm a mesma
natureza, pelo que o integral
_
0
1

x + 2
sin(
3

x)
dx convergente. Portanto, o integral
_
0
1
f(x) dx tambm convergente.
(e) A funo integranda f(x) = sin(log(x)) est denida no intervalo ]0, 1] (note-se que
no existe lim
x0
+
sin(log(x))), pelo que estamos perante um integral imprprio de 2.
a
espcie.
Como a funo integranda no tem sempre o mesmo sinal, vamos estudar
_
1
0
[f(x)[dx,
comparando-o com o integral imprprio de 2.
a
espcie convergente
_
1
0
1

x
dx.
Temos
lim
x0
+
[ sin(log(x))[
1

x
= lim
x0
+

x [ sin(log(x))[ = 0,
por ser o produto de uma funo convergente para zero por uma funo limitada
(0 [ sin(log(x))[ 1).
Assim, como o limite zero e o integral de comparao convergente, conclumos
que o integral
_
1
0
[f(x)[ dx convergente, pelo que o integral inicial tambm
convergente (absolutamente convergente).
(f) A funo integranda f(x) =
1
5
_
(x
2
1)
3
est denida no intervalo ]1, +[ (note-se
que T
f
= R 1, 1 e que lim
x1
+
1
5
_
(x
2
1)
3
= +), pelo que estamos perante um
integral imprprio misto e podemos escrever
_
+
1
1
5
_
(x
2
1)
3
dx =
_
2
1
1
5
_
(x
2
1)
3
dx +
_
+
2
1
5
_
(x
2
1)
3
dx.
O integral
_
+
1
1
5
_
(x
2
1)
3
dx convergente se e s se os integrais
I
1
=
_
2
1
1
5
_
(x
2
1)
3
dx e I
2
=
_
+
2
1
5
_
(x
2
1)
3
dx forem ambos convergentes.
Comecemos por estudar a natureza do integral I
1
. Dado que f(x) > 0, x ]1, 2], po-
demos comparar este integral com o integral imprprio de 2.
a
espcie
_
2
1
1
(x 1)
3
5
dx
que sabemos ser convergente.
115
Tendo em conta que
lim
x1
+
1
5
_
(x
2
1)
3
1
5
_
(x 1)
3
= lim
x1
+
5
_
(x 1)
3
5
_
(x 1)
3
(x + 1)
3
= lim
x1
+
1
5
_
(x + 1)
3
=
1
5

8
R
+
,
conclumos que os dois integrais tm a mesma natureza. Assim, como o integral de
comparao convergente, o integral I
1
tambm convergente.
Resta-nos estudar o integral I
2
. Dado que f(x) > 0, x [2, +[, podemos com-
parar este integral com o integral imprprio de 1.
a
espcie
_
+
1
1
x
6
5
dx que sabemos
ser convergente.
Temos
lim
x+
1
5
_
(x
2
1)
3
1
x
6
5
= lim
x+
x
6
5
5
_
(x
2
1)
3
= lim
x+
5
_
(x
2
)
3
5
_
(x
2
1)
3
= lim
x+
5

_
x
2
x
2
1
_
3
= 1 R
+
.
Como o limite nito e diferente de zero, conclumos que os dois integrais tm a
mesma natureza. Assim, como o integral de comparao convergente, o integral I
2
tambm convergente.
Podemos agora concluir que o integral inicial convergente, uma vez que os integrais
I
1
e I
2
so convergentes.
(g) A funo f(x) =
x
(4 x
2
)

2 x
est denida em ] , 2[ (note-se que T
f
=
] , 2[ 2 e que lim
x2

x
(4 x
2
)

2 x
= +). Deste modo, o integral em
estudo imprprio misto e podemos escrever
_
2

x
(4 x
2
)

2 x
dx =
_
3

x
(4 x
2
)

2 x
dx +
_
2
3
x
(4 x
2
)

2 x
dx.
O integral
_
2

x
(4 x
2
)

2 x
dx convergente se e s se os integrais
I
1
=
_
3

x
(4 x
2
)

2 x
dx e I
2
=
_
2
3
x
(4 x
2
)

2 x
dx forem ambos con-
vergentes.
Comecemos por estudar a natureza do integral I
2
=
_
2
3
x
(4 x
2
)

2 x
dx. Dado
que f(x) > 0, x [3, 2[, podemos utilizar um critrio de comparao. Assim,
116
vamos comparar este integral com o integral de 2.
a
espcie
_
2
3
1
(2 x)
dx que
sabemos ser divergente.
Dado que
lim
x2

x
(4 x
2
)

2 x
1
(2 x)
= lim
x2

x
(2 x)(2 + x) (2 x)
1
2
1
(2 x)
= lim
x2

x
(2 x)(2 x)
1
2
=
1
4
R
+
,
podemos concluir que os dois integrais so da mesma natureza, ou seja, o integral I
2
divergente.
Conclumos ento que o integral inicial divergente.
3. Determine a rea de cada um dos seguintes domnios planos ilimitados:
(a) domnio limitado pelo grco da funo f(x) = e
|x|
e pela recta de equao y = 0;
(b) domnio contido nos semiplanos y x 2 e y 0, e limitado pelo grco da funo
f(x) =
1
x 2
.
Resoluo:
(a) A funo f pode ser escrita na forma
f(x) = e
|x|
=
_
e
x
, se x 0
e
x
, se x < 0,
pelo que a rea ilimitada situada entre o grco desta funo e a recta y = 0 dada
pelo integral imprprio de 1.
a
espcie
_
+

e
|x|
dx =
_
0

e
x
dx +
_
+
0
e
x
dx.
Como as funes integrandas e
x
e e
x
so integrveis, respectivamente, em qualquer
intervalo [x, 0] com x < 0, e em qualquer intervalo [0, x] com x > 0 ento, pela
denio de integral imprprio de 1.
a
espcie, temos que
_
0

e
x
dx +
_
+
0
e
x
dx = lim
x
_
0
x
e
t
dt + lim
x+
_
x
0
e
t
dt.
Atendendo a que F
1
(t) = e
t
uma primitiva de f
1
(t) = e
t
, e que F
2
(t) = e
t
uma
primitiva de f
2
(t) = e
t
ento, pela regra de Barrow, obtemos
_
0
x
e
t
dt =
_
e
t

0
x
= 1 e
x
117
e
_
x
0
e
t
dt =
_
e
t

x
0
= e
x
+ 1
e, portanto,
_
0

e
x
dx +
_
+
0
e
x
dx = lim
x
(1 e
x
) + lim
x+
(e
x
+ 1)
= 2.
(b) O semiplano y x 2 est situado acima da recta de declive 1 que passa pelo
ponto de coordenadas (2, 0). Dado que a funo f(x) =
1
x 2
tem a recta x = 2
como assmptota vertical, e o domnio ilimitado para o qual queremos calcular a
rea se situa no semiplano y 0, basta calcularmos o limite de f numa vizinhana
direita do ponto 2. Como lim
x2
+
1
x 2
= +, conclumos que o domnio ilimitado
pretendido est situado entre o grco de f e a recta y = x 2, para valores de x
compreendidos entre 2 e a abcissa do ponto de interseco do grco de f com a
recta y = x 2. Comecemos por calcular a abcissa desse ponto de interseco:
1
x 2
= x 2 1 = x
2
4x + 4 x
2
4x + 3 = 0 x = 1 x = 3.
Dado que queremos que a rea se situe no semiplano y 0, o ponto pretendido o
que tem como abcissa x = 3, visto que o que corresponde a uma ordenada positiva.
A rea pedida ser ento denida pelo integral
_
3
2
1
x 2
(x 2) dx. A funo
f(x) =
1
x 2
(x2) est denida no intervalo ]2, 3] (note-se que lim
x2
+
f(x) = +),
pelo que estamos perante um integral imprprio de 2.
a
espcie. Atendendo a que f
integrvel em qualquer intervalo da forma [x, 3], com 2 < x < 3, pela denio de
integral imprprio de 2.
a
espcie, obtemos
_
3
2
1
x 2
(x 2) dx = lim
x2
+
_
3
x
1
t 2
(t 2) dt.
Atendendo a que F(t) = log [t 2[
t
2
2
+2t uma primitiva de f(t) =
1
t 2
(t 2)
ento, pela regra de Barrow, obtemos
_
3
x
1
t 2
(t 2) dt =
_
log [t 2[
t
2
2
+ 2t
_
3
x
=
3
2
log [x 2[ +
x
2
2
2x
e, portanto,
_
3
2
1
x 2
(x 2) dx = lim
x2
+
_
3
2
log [x 2[ +
x
2
2
2x
_
= +.
118
4. Estude a natureza do seguinte integral imprprio, em funo do parmetro real :
_
2
0
(

2
x)

(sin(x))
1
3
dx.
Resoluo:
Dado que um parmetro, devemos considerar separadamente 2 casos.
1
o
caso
Se 0, a funo f(x) =
(

2
x)

(sin(x))
1
3
est denida em
_
0,

2
_
e toma neste intervalo valores
no negativos. Trata-se de um integral imprprio de 2.
a
espcie, que podemos comparar
com o integral
_
2
0
1
x
1
3
dx que sabemos ser convergente.
lim
x0
+
(

2
x)

(sin(x))
1
3
1
x
1
3
= lim
x0
+
_

2
x
_

_
x
sin(x)
_1
3
=
_

2
_

R
+
, 0,
pelo que os dois integrais so da mesma natureza. Como o integral de comparao
convergente podemos concluir que sendo 0, o integral inicial convergente.
2
o
caso
Se < 0, a funo f est denida em
_
0,

2
_
e toma neste intervalo valores positivos.
Estamos perante um integral imprprio de 2.
a
espcie e podemos escrever
_
2
0
(

2
x)

(sin(x))
1
3
dx =
_
4
0
1
(sin(x))
1
3
(

2
x)

dx +
_
2

4
1
(sin(x))
1
3
(

2
x)

dx.
Seja I
1
=
_
4
0
1
(sin(x))
1
3
(

2
x)

dx. Trata-se de um integral imprprio de 2.


a
espcie
que, tal como no 1.
o
caso, pode ser comparado com o integral imprprio de 2.
a
espcie
convergente
_
4
0
1
x
1
3
dx. Deste modo conclumos, de forma anloga, que o integral I
1

convergente para qualquer valor < 0.
Consideremos agora o integral imprprio de 2.
a
espcie I
2
=
_
2

4
1
(sin(x))
1
3
(

2
x)

dx.
Podemos comparar este integral com o integral imprprio de 2.
a
espcie
_
2

4
1
_

2
x
_

dx.
Dado que
lim
x

1
(sin(x))
1
3
(

2
x)

1
_

2
x
_

= lim
x

(sin(x))

1
3
= 1 R
+
,
119
podemos concluir que os dois integrais tm a mesma natureza. Como o integral de com-
parao convergente se < 1, ou seja se > 1, conclumos que o integral I
2

convergente se 1 < < 0 e divergente se 1.
Deste modo o integral
_
2
0
(

2
x)

(sin(x))
1
3
dx, com < 0, convergente se e s se I
1
e I
2
o
forem, pelo que ser convergente se 1 < < 0.
Conclumos ento que o integral
_
2
0
(

2
x)

(sin(x))
1
3
dx convergente se e s se ] 1, +[.
120

You might also like