Você está na página 1de 122

M odulo 1

A Integral Denida
O principal objetivo deste m odulo e o estudo da integral denida de
fun c oes reais denidas em intervalos fechados e limitados, com enfase no
caso em que as fun c oes consideradas s ao contnuas. O resultado central aqui
apresentado e o Teorema Fundamental do C alculo para fun c oes contnuas, o
qual permite a obten c ao da integral denida de certas fun c oes de maneira
autom atica. Enfatizamos tambem como a integral denida e uma ferramenta
importante para o c alculo de areas de regi oes planas.
Usamos a integral denida para introduzir, de maneira rigorosa, a
fun c ao logartmica, cujas propriedades b asicas s ao discutidas detalhadamente.
Finalmente, denimos a fun c ao exponencial como a inversa da fun c ao lo-
gartmica e discutimos detalhadamente as suas propriedades b asicas.
7
CEDERJ
A integral denida. Motiva cao.
M

ODULO 1 - AULA 1
Aula 1 A integral denida. Motiva cao.
Referencias: Aulas 1 e 2 de
C alculo I.
Objetivos
Compreender um argumento, de car ater geometrico, que permitir a cal-
cular a area de certas regi oes planas.
Consideremos uma fun c ao f : [a, b] R contnua em [a, b] e tal que
f(x) 0 para todo x [a, b]. Vamos discutir a seguinte pergunta:
Como calcular a area da regi ao R compreendida entre o gr aco de f, o
eixo das abscissas e as retas x = a e x = b? (Ver a Figura 1.1).
R
a
b
Figura 1.1
Por exemplo, se f : [0, 2] R e denida por f(x) = 1 para todo
x [0, 2], ent ao os nossos conhecimentos de Geometria Plana nos dizem que
a area da regi ao compreendida entre o gr aco de f, o eixo das abscissas e as
retas x = 0 e x = 2 e 2 (ver a Figura 1.2).
0
1
1 2
Figura 1.2
Os nossos conhecimentos de Geometria Plana tambem nos garantem
que se f : [1, 1] R e denida por f(x) = |x| para todo x [1, 1], ent ao
9
CEDERJ
A integral denida. Motiva cao.
a area da regi ao compreendida entre o gr aco de f, o eixo das abscissas e as
retas x = 1 e x = 1 e 1 (ver a Figura 1.3).
1 1
Figura 1.3
No entanto, a Geometria Plana e insuciente para responder a nossa
pergunta no caso geral. Por exemplo, seja f : [0, 1] R denida por
f(x) = x
2
para todo x [0, 1] e consideremos a regi ao compreendida en-
tre o gr aco de f, o eixo das abscissas e a reta x = 1 (ver a Figura 1.4).
0
1
Figura 1.4
N ao h a, na Geometria Plana, ferramenta que nos permita calcular a
area da regi ao indicada. Para tentar atacar o problema, vamos usar o pro-
cedimento que passaremos a descrever a partir de agora.
Para cada inteiro n 1, dividamos o intervalo [0, 1] em n subintervalos
iguais, obtendo assim os intervalos
_
0,
1
n

,
_
1
n
,
2
n

, . . . ,
_
n2
n
,
n1
n

e
_
n1
n
, 1

,
cada um deles possuindo comprimento
1
n
. Observemos que se n = 2 teramos
os intervalos
_
0,
1
2

e
_
1
2
, 1

, se n = 3 teramos os intervalos
_
0,
1
3

,
_
1
3
,
2
3

e
_
2
3
, 1

, se n = 4 teramos os intervalos
_
0,
1
4

,
_
1
4
,
2
4

,
_
2
4
,
3
4

e
_
3
4
, 1

, e assim
por diante.
CEDERJ
10
A integral denida. Motiva cao.
M

ODULO 1 - AULA 1
Para cada inteiro n 1, vamos denir tres n umeros, T
n
, U
n
e V
n
, da
seguinte forma:
T
n
=
f(0)
n
+
f
_
1
n
_
n
+ +
f
_
n1
n
_
n
=
n

k=1
f
_
k1
n
_
n
,
U
n
=
f
_
1
n
_
n
+
f
_
2
n
_
n
+ +
f(1)
n
=
n

k=1
f
_
k
n
_
n
e
V
n
=
f(t
1
)
n
+
f(t
2
)
n
+ +
f(t
n1
)
n
+
f(t
n
)
n
=
n

k=1
f(t
k
)
n
,
onde t
1

_
0,
1
n

, t
2

_
1
n
,
2
n

, . . . , t
n1

_
n2
n
,
n1
n

e t
n

_
n1
n
, 1

s ao
tomados de maneira arbitr aria.
Antes de prosseguir, observemos que os n umeros T
n
, U
n
e V
n
tem um
signicado geometrico bastante simples. De fato, para cada k = 1, . . . , n,
o n umero
f
_
k1
n
_
n
representa a area do ret angulo de base
_
k1
n
,
k
n

e altura
f
_
k1
n
_
, o n umero
f
_
k
n
_
n
representa a area do ret angulo de base
_
k1
n
,
k
n

e
altura f
_
k
n
_
e o n umero
f(t
k
)
n
representa a area do ret angulo de base [
k1
n
,
k
n
] e
altura f(t
k
). Assim, cada um dos n umeros T
n
, U
n
e V
n
representa a soma das
areas dos ret angulos que acabamos de mencionar. Por exemplo, os n umeros
T
4
, U
4
e V
4
representam as areas das regi oes hachuradas nas Figuras 1.5a,
1.5b e 1.5c, respectivamente, enquanto os n umeros T
8
, U
8
e V
8
representam as
areas das regi oes hachuradas nas Figuras 1.6a, 1.6b e 1.6c, respectivamente.

E f acil observar que T


8
, U
8
e V
8
s ao uma melhor aproxima c ao para o valor
da area procurada do que T
4
, U
4
e V
4
. Veremos, a seguir, que esta arma c ao
e menos ingenua do que possa parecer.
11
CEDERJ
A integral denida. Motiva cao.
(a)
(b)
(c)
0
1/4 1/2 3/4 1
0
1/4 1/2 3/4 1
4 3 2 1
0
1/4 1/2 3/4 1 t t t t
Figura 1.5
(a) (b)
(c)
0
2/8 4/8 6/8 1 1/8 3/8 5/8 7/8
0
2/8 4/8 6/8 1 1/8 3/8 5/8 7/8
8 7 6 5 4 3 2 1
0
2/8 4/8 6/8 1 1/8 3/8 5/8 7/8 t t t t t t t t
Figura 1.6
CEDERJ
12
A integral denida. Motiva cao.
M

ODULO 1 - AULA 1
Notemos que, como t
k

_
k1
n
,
k
n

para k = 1, . . . , n e como f e cres-


cente, ent ao
f
_
k 1
n
_
f(t
k
) f
_
k
n
_
para k = 1, . . . , n. Conseq uentemente,
n

k=1
f
_
k1
n
_
n

n

k=1
f(t
k
)
n

n

k=1
f
_
k
n
_
n
,
isto e,
T
n
V
n
U
n
.
Notemos ainda que, para cada inteiro n 1,
T
n
=
n

k=1
f
_
k1
n
_
n
=
n

k=1
(k 1)
2
n
3
=
1
n
3
_
n

k=1
(k 1)
2
_
e
U
n
=
n

k=1
f
_
k
n
_
n
=
n

k=1
k
2
n
3
=
1
n
3
_
n

k=1
k
2
_
.
Fa camos agora um parenteses para provar que
n

k=1
k
2
= 1
2
+ 2
2
+ + n
2
=
n(n + 1)(2n + 1)
6
para todo inteiro n 1.
Para isto, vamos usar o princpio de indu c ao nita.

E claro que a
arma c ao acima e v alida para n = 1. Seja m um inteiro positivo e admitamos
a arma c ao verdadeira para m, ou seja, suponhamos que
1
2
+ 2
2
+ + m
2
=
m(m + 1)(2m + 1)
6
.
13
CEDERJ
A integral denida. Motiva cao.
Ent ao
1
2
+ 2
2
+ + m
2
+ (m + 1)
2
=
m(m + 1)(2m + 1)
6
+ (m + 1)
2
=
= (m + 1)
_
m(2m + 1)
6
+ (m + 1)
_
=
= (m + 1)
_
2m
2
+ m + 6m + 6
6
_
=
= (m + 1)
_
2m
2
+ 7m + 6
6
_
=
= (m + 1)
_
(m + 2)(2m + 3)
6
_
=
=
(m + 1) ((m + 1) + 1) (2(m + 1) + 1)
6
.
Isto mostra que a arma c ao e v alida para m + 1. Pelo princpio de
indu c ao nita a nossa arma c ao e v alida para todo inteiro n 1.
Em vista do que acabamos de provar, segue que
T
n
=
1
n
3
_
n

k=1
(k 1)
2
_
=
1
n
3
_
1
2
+ + (n 1)
2
_
=
=
(n 1)((n 1) + 1)(2(n 1) + 1)
6n
3
=
=
n(n 1)(2n 1)
6n
3
=
=
2n
3
3n
2
+ n
6n
3
e
U
n
=
1
n
3
_
n

k=1
k
2
_
=
n(n + 1)(2n + 1)
6n
3
=
2n
3
+ 3n
2
+ n
6n
3
para todo inteiro n 1. Logo,
lim
n
T
n
= lim
n
2n
3
3n
2
+ n
6n
3
=
2
6
=
1
3
e
lim
n
U
n
= lim
n
2n
3
+ 3n
2
+ n
6n
3
=
2
6
=
1
3
.
CEDERJ
14
A integral denida. Motiva cao.
M

ODULO 1 - AULA 1
E, como T
n
V
n
U
n
para todo n 1, podemos tambem armar que
lim
n
V
n
=
1
3
.
Em resumo, acabamos de mostrar que
lim
n
T
n
= lim
n
U
n
= lim
n
V
n
=
1
3
.
Isto signica que, para n sucientemente grande, os n umeros T
n
, U
n
e V
n
est ao bem pr oximos de
1
3
. Ou, em outras palavras, se dividirmos o intervalo
[0, 1] em subintervalos de comprimento
1
n
bem pequeno, as somas das areas
dos ret angulos obtidos das tres maneiras mencionadas anteriormente, que
s ao precisamente os n umeros T
n
, U
n
e V
n
, estar ao bem pr oximas de
1
3
. Seria
natural admitir que a area procurada valesse
1
3
. Na pr oxima aula veremos que
e este precisamente o caso e que, a bem da verdade, o argumento utilizado
se aplica a qualquer fun c ao contnua f : [a, b] R tal que f(x) 0 para
todo x [a, b].
Finalmente, cabe mencionar que nesta aula tambem tivemos a oportu-
nidade de preparar o terreno para introduzir a no c ao de integral denida, a
ser estudada a partir da pr oxima aula.
Resumo
Nesta aula voce foi apresentado a um argumento que permitir a calcular
a area de certas regi oes planas.
Exerccios
1. Mostre, por indu c ao, que
1
3
+ 2
3
+ + n
3
=
n
4
4
+
n
3
2
+
n
2
4
para todo inteiro n 1.
2. Seja f(x) = x
3
para todo x [0, 1] e considere as seq uencias (T
n
), (U
n
)
e (V
n
), onde
T
n
=
n

k=1
f
_
k1
n
_
n
, U
n
=
n

k=1
f
_
k
n
_
n
e V
n
=
n

k=1
f(t
k
)
n
_
t
1

_
0,
1
n

, t
2

_
1
n
,
2
n

,. . . , t
n1

_
n2
n
,
n1
n

e t
n

_
n1
n
, 1
_
.
15
CEDERJ
A integral denida. Motiva cao.
Mostre que
lim
n
T
n
= lim
n
U
n
= lim
n
V
n
=
1
4
.
Sugest ao: Raciocine como zemos para a fun c ao f(x) = x
2
.
Auto-avalia cao
Nesta aula discutimos a ideia na qual repousa a no c ao de integral de-
nida. Como esta no c ao desempenha um papel central em tudo o que veremos
a seguir, s o passe para a pr oxima aula ap os fazer o segundo exerccio pro-
posto.
CEDERJ
16
A integral denida.
M

ODULO 1 - AULA 2
Aula 2 A integral denida.
Referencias: Aulas 2 de
C alculo I e 1 de C alculo II.
Objetivos
Compreender a no c ao de integral denida.
Estudar algumas propriedades da integral denida.
Nesta aula, apoiados no germe lan cado na aula passada, vamos intro-
duzir a no c ao de integral denida de uma fun c ao real cujo domnio e um
intervalo fechado e limitado e cuja imagem e um conjunto limitado.
Inicialmente, lembremos que um subconjunto n ao vazio T R e limi-
tado quando existem m, M R (n ao necessariamente em T) tais que
m t M para todo t T.
O teorema de Weierstrass, visto na aula 7 de C alculo I, nos garante que
se f : [a, b] R e contnua em [a, b], ent ao sua imagem f([a, b]) = {f(x); x
[a, b]} e um conjunto limitado.
Georg Friedrich Bernhard
Riemann (1826-1866),
not avel matem atico alem ao,
professor em G ottingen, foi
uma das guras centrais da
Matem atica no seculo XIX.
Riemann foi um dos
fundadores da Teoria das
Fun c oes Analticas, mas
tambem fez importantes
contribui c oes ` a Geometria, ` a
Teoria dos N umeros e ` a
Fsica Matem atica. Ele
formulou a hip otese de
Riemann, conjectura a
respeito da fun c ao zeta que
continua em aberto ate hoje
e que, se provada, daria
informa c oes importantes
sobre a distribui c ao dos
n umeros primos.
Deni cao 2.1 Suponhamos a < b e seja f : [a, b] R tal que f([a, b]) e
um conjunto limitado. Para cada inteiro n 1, consideremos os pontos
a = x
0
< x
1
< x
2
< < x
n2
< x
n1
< x
n
= b tais que x
k
x
k1
=
ba
n
para k = 1, . . . , n e tomemos arbitrariamente pontos t
1
, t
2
, . . . , t
n1
e t
n
tais
que t
1
[x
0
, x
1
], t
2
[x
1
, x
2
], . . . , t
n1
[x
n2
, x
n1
] e t
n
[x
n1
, x
n
].
Consideremos ent ao a soma
S
n
= f(t
1
)(x
1
x
0
) + f(t
2
)(x
2
x
1
) + +
+ + f(t
n1
)(x
n1
x
n2
) + f(t
n
)(x
n
x
n1
) =
=
n

k=1
f(t
k
)(x
k
x
k1
) =
n

k=1
f(t
k
)
b a
n
=
b a
n
_
n

k=1
f(t
k
)
_
,
usualmente conhecida como uma soma de Riemann de f em [a, b].
Notemos que, se f(x) 0 para todo x [a, b], ent ao S
n
representa a
soma das areas de n ret angulos (o primeiro de base [x
0
, x
1
] e altura f(t
1
), o
segundo de base [x
1
, x
2
] e altura f(t
2
), . . . , o pen ultimo de base [x
n2
, x
n1
]
e altura f(t
n1
) e o ultimo de base [x
n1
, x
n
] e altura f(t
n
)), como indicamos
na Figura 2.1.
17
CEDERJ
A integral denida.
x
b
n
t n1 x
n1
n2
2 2 1 1
0
a
t
x
t
x
t
Figura 2.1
Se existir um n umero real S tal que lim
n
S
n
= S, para toda seq uencia
(S
n
) assim construda, diremos que a fun c ao f e integr avel em [a, b] e escre-
vemos
S =
_
b
a
f(x)dx.
Pode-se provar que S, caso
exista, e unico.
O n umero
_
b
a
f(x)dx e dito a integral (ou a integral denida) de f em
[a, b]. Ele tambem e conhecido como a integral de Riemann de f em [a, b].
As nota c oes
R
b
a
f(t)dt,
R
b
a
f(s)ds,
R
b
a
f(u)du, . . . s ao
tambem usadas para
representar a integral de f
em [a, b].
Se a > b, denimos
_
b
a
f(x)dx =
_
a
b
f(x)dx. Denimos, ainda,
_
a
a
f(x)dx = 0.
Na aula anterior consideramos as somas
T
n
=
n

k=1
f
_
k1
n
_
n
, U
n
=
n

k=1
f
_
k
n
_
n
e V
n
=
n

k=1
f(t
k
)
n
as quais, como e f acil notar, s ao somas de Riemann da
fun c ao f(x) = x
2
no intervalo [0, 1]. Admitindo, por um instante, a integra-
bilidade de f em [0, 1] (ver o teorema a seguir), teramos
_
1
0
x
2
dx = lim
n
T
n
= lim
n
U
n
= lim
n
V
n
,
em vista da Deni c ao 2.1. Por outro lado, vimos na referida aula que os
n umeros T
n
, U
n
e V
n
se aproximam da area compreendida entre o gr aco de
f, o eixo das abscissas e a reta x = 1 ` a medida que n cresce. Isto motiva a
deni c ao a seguir.
CEDERJ
18
A integral denida.
M

ODULO 1 - AULA 2
Deni cao 2.2 Seja f : [a, b] R uma fun c ao integr avel em [a, b] tal que
f(x) 0 para todo x [a, b]. Denimos a area da regi ao compreendida
entre o gr aco de f, o eixo das abscissas e as retas x = a e x = b como sendo
o n umero
_
b
a
f(x)dx.
Por outro lado, se f : [a, b] R e uma fun c ao integr avel em [a, b] e
f(x) 0 para todo x [a, b], denimos a area da regi ao compreendida entre
o gr aco de f, o eixo das abscissas e as retas x = a e x = b como sendo o
n umero
__
b
a
f(x)dx
_
.
Um resultado muito importante, cuja demonstra c ao ser a vista na dis-
ciplina de An alise, e o seguinte
Teorema 2.1
Se f : [a, b] R e contnua em [a, b], ent ao f e integr avel em [a, b].
Mais geralmente, e possvel provar que se f : [a, b] R possui imagem
f([a, b]) limitada e e contnua, exceto em um n umero nito de pontos de
[a, b], ent ao f e integr avel em [a, b].
Exemplo 2.1
Seja f : [0, 1] R denida por f(x) = x
2
para todo x [0, 1]. Como f e
contnua em [0, 1], o Teorema 2.1 nos garante que f e integr avel em [0, 1].
Logo, pela Deni c ao 2.1,
_
1
0
x
2
dx = lim
n
S
n
,
para qualquer seq uencia (S
n
) de somas de Riemann de f em [0, 1]. Em
particular, como lim
n
V
n
=
1
3
, segue que
_
1
0
x
2
dx =
1
3
.
Portanto, a area da regi ao compreendida entre o gr aco de f, o eixo
das abscissas e a reta x = 1 e
1
3
, respondendo assim ` a pergunta formulada
na aula anterior.
Exemplo 2.2
Seja f : [a, b] R denida por f(x) = c para todo x [a, b]. Ent ao
_
b
a
f(x)dx = c(b a).
19
CEDERJ
A integral denida.
Notemos que a integrabilidade de f segue imediatamente do Teorema
2.1. Mas, neste caso, ela pode ser provada facilmente, como veremos a seguir.
De fato, para cada inteiro n 1, sejam a = x
0
< x
1
< x
2
<
< x
n2
< x
n1
< x
n
= b como na Deni c ao 2.1 e t
k
[x
k1
, x
k
] para
k = 1, . . . , n. Ent ao
S
n
=
n

k=1
f(t
k
)(x
k
x
k1
) =
n

k=1
c (x
k
x
k1
) = c
_
n

k=1
(x
k
x
k1
)
_
=
= c ((x
1
a) + (x
2
x
1
) + + (x
n1
x
n2
) + (b x
n1
)) =
= c(b a).
Portanto,
lim
n
S
n
= c(b a).
Isto mostra que f e integr avel em [a, b] e
_
b
a
f(x)dx =
_
b
a
c dx = c(b a).
No caso em que c > 0, c(b a) e precisamente a area do ret angulo de
lado [a, b] e altura c, que coincide com a area da regi ao compreendida entre o
gr aco de f, o eixo das abscissas e as retas x = a e x = b (ver a Figura 2.2).
c
a
b
Figura 2.2
Vejamos, agora, um exemplo de uma fun c ao que n ao e integr avel.
CEDERJ
20
A integral denida.
M

ODULO 1 - AULA 2
Exemplo 2.3
Seja f : [0, 1] R denida por f(x) = 0 se x Q [0, 1] e f(x) = 1 se
x (R Q) [0, 1]. Mostremos que f n ao e integr avel em [0, 1].
Com efeito, para cada inteiro n 1, sejam 0 = x
0
< x
1
< x
2
<
< x
n2
< x
n1
< x
n
= 1 tais que x
k
x
k1
=
1
n
para k = 1, . . . , n
e tomemos pontos t
k
, t
k

[x
k1
, x
k
] tais que t
k
Q [x
k1
, x
k
] e t
k


(RQ)[x
k1
, x
k
] para k = 1, . . . , n (aqui estamos usando o fato importante
segundo o qual entre dois n umeros reais h a sempre um n umero racional e um
n umero irracional). Como f(t
k
) = 0 e f(t
k

) = 1 para k = 1, . . . , n, obtemos
S
n
=
1
n
_
n

k=1
f(t
k
)
_
= 0
e
S

n
=
1
n
_
n

k=1
f(t

k
)
_
= 1.
Portanto,
lim
n
S
n
= 0 e lim
n
S
n

= 1.
Assim, f n ao e integr avel em [0, 1].
Na proposi c ao a seguir veremos algumas propriedades elementares da
integral denida.
Proposi cao 2.1
Sejam f, g : [a, b] R duas fun c oes integr aveis em [a, b] e um n umero real.
Valem as seguintes propriedades:
(a) se f(x) 0 para todo x [a, b], ent ao
_
b
a
f(x)dx 0;
(b) a fun c ao f e integr avel em [a, b] e
_
b
a
(f)(x)dx =
_
b
a
f(x)dx =
_
b
a
f(x)dx;
c) a fun c ao f + g e integr avel em [a, b] e
_
b
a
(f + g)(x)dx =
_
b
a
(f(x) + g(x))dx =
_
b
a
f(x)dx +
_
b
a
g(x)dx.
21
CEDERJ
A integral denida.
Demonstra cao: Provaremos (a) e (b).
Inicialmente, provemos (a). Com efeito, para cada inteiro n 1, sejam
a = x
0
< x
1
< x
2
< < x
n2
< x
n1
< x
n
= b como na Deni c ao 2.1 e
t
k
[x
k1
, x
k
] para k = 1, . . . , n. Ent ao
S
n
=
b a
n
_
n

k=1
f(t
k
)
_
0,
pois f(t
k
) 0 para k = 1, . . . , n. Portanto, pelo Exerccio 2(a), da aula 11
de C alculo I, obtemos
lim
n
S
n
0, ou seja,
_
b
a
f(x)dx 0.
Agora, provemos (b). Com efeito, para cada inteiro n 1, sejam
a = x
0
< x
1
< x
2
< < x
n2
< x
n1
< x
n
= b como na Deni c ao 2.1 e
t
k
[x
k1
, x
k
] para k = 1, . . . , n. Denamos
S
n

=
b a
n
_
n

k=1
(f)(t
k
)
_
.
Ent ao
S
n

=
b a
n
_
n

k=1
f(t
k
)
_
=
_
b a
n
_
n

k=1
f(t
k
)
__
= S
n
,
onde S
n
=
b a
n
_
n

k=1
f(t
k
)
_
. Portanto,
lim
n
S
n

=
_
lim
n
S
n
_
=
_
b
a
f(x)dx.
Isto mostra que f e integr avel em [a, b] e
_
b
a
(f)(x)dx =
_
b
a
f(x)dx =
_
b
a
f(x)dx.
Fa camos, agora, um coment ario a respeito da no c ao de area. Para uma
fun c ao f : [a, b] R integr avel e tal que f(x) 0 para todo x [a, b], deni-
mos a area da regi ao compreendida entre o gr aco de f, o eixo das abscissas
e as retas x = a e x = b como sendo o n umero
_
b
a
f(x)dx. Acabamos de ver,
na Proposi c ao 2.1(a), que, sob as condi c oes mencionadas,
_
b
a
f(x)dx 0.
CEDERJ
22
A integral denida.
M

ODULO 1 - AULA 2
Assim, a referida area e um n umero maior ou igual a zero, como seria de
se esperar.
Por outro lado, para uma fun c ao f : [a, b] R integr avel e tal que
f(x) 0 para todo x [a, b], denimos a area da regi ao compreendida entre
o gr aco de f, o eixo das abscissas e as retas x = a e x = b como sendo

__
b
a
f(x)dx
_
. Mas, pela Proposi c ao 2.1(b), f e integr avel em [a, b] e
_
b
a
(f)(x)dx =
__
b
a
f(x)dx
_
.
Como (f)(x) = f(x) 0 para todo x [a, b], a Proposi c ao 2.1(a)
nos garante que
_
b
a
(f)(x)dx 0.
Assim, a referida area e um n umero maior ou igual a zero, como seria
de se esperar. Como conseq uencia imediata do Exemplo 2.2 e da Proposi c ao
2.1(c), obtemos:
Exemplo 2.4
Se f : [a, b] R e integr avel em [a, b] e c R, ent ao a fun c ao g : [a, b] R,
denida por g(x) = f(x) + c para todo x [a, b], e integr avel em [a, b] e
_
b
a
g(x)dx =
_
b
a
(f(x) + c)dx =
_
b
a
f(x)dx + c(b a).
Exemplo 2.5
Se f, g : [a, b] R s ao integr aveis em [a, b] e f(x) g(x) para todo x [a, b],
ent ao
_
b
a
f(x)dx
_
b
a
g(x)dx.
De fato, pela Proposi c ao 2.1(b),(c), f g = f + (g) e integr avel em
[a, b]. E, como (f g)(x) = f(x) g(x) 0 para todo x [a, b], segue da
Proposi c ao 2.1(a) que
_
b
a
(f g)(x)dx 0.
Mas,
0
_
b
a
(f g)(x)dx =
_
b
a
(f(x) g(x))dx =
_
b
a
f(x)dx
_
b
a
g(x)dx.
Portanto,
_
b
a
f(x)dx
_
b
a
g(x)dx.
23
CEDERJ
A integral denida.
Na pr oxima proposi c ao enunciaremos um resultado que n ao ser a demons-
trado neste curso.
Proposi cao 2.2
Sejam f : [a, b] R integr avel em [a, b] e a < u < b. Ent ao f|
[a,u]
(a restri c ao
de f a [a, u]) e integr avel em [a, u], f|
[u,b]
(a restri c ao de f a [u, b]) e integr avel
em [u, b] e
_
b
a
f(x)dx =
_
u
a
f(x)dx +
_
b
u
f(x)dx.
Exemplo 2.6
Denamos f : [0, 2] R por f(x) = x
2
+ 1 se x [0, 1] e f(x) = 2 se
x [1, 2] (o gr aco de f e esbo cado na Figura 2.3). Calculemos
_
2
0
f(x)dx.
1
2
0
1 2
Figura 2.3
De fato, como f e contnua em [0, 2], ent ao f e integr avel em [0, 2].
Alem disso, pela Proposi c ao 2.2,
_
2
0
f(x)dx =
_
1
0
f(x)dx +
_
2
1
f(x)dx.
Mas, pelo que vimos nesta aula,
_
1
0
f(x)dx =
_
1
0
(x
2
+ 1)dx =
_
1
0
x
2
dx + 1(1 0) =
1
3
+ 1 =
4
3
e
_
2
1
f(x)dx =
_
2
1
2 dx = 2(2 1) = 2.
Portanto,
_
2
0
f(x)dx =
4
3
+ 2 =
10
3
.
CEDERJ
24
A integral denida.
M

ODULO 1 - AULA 2
Resumo
Nesta aula voce foi apresentado ` a no c ao de integral denida e viu al-
gumas propriedades elementares da integral denida. O fato importante
segundo o qual toda fun c ao contnua de [a, b] em R e integr avel em [a, b] foi
tambem mencionado.
Exerccios
1. Calcule
_
1
1
|x|dx .
2. Seja f(x) = x
2
para todo x [0, 1]. Calcule a area da regi ao com-
preendida entre o gr aco de f, o eixo das abscissas e a reta x = 1.
3. (a) Mostre, por indu c ao, que 1 + + n =
n(n+1)
2
para todo inteiro
n 1.
(b) Mostre que
_
b
a
xdx =
b
2
2

a
2
2
.
Sugest ao: Voce j a sabe que a fun c ao f(x) = x e integr avel em [a, b],
pois ela e contnua em [a, b]. Para cada inteiro n 1, considere a soma
de Riemann S
n
=
b a
n
_
n

k=1
f
_
a +
k(b a)
n
__
e mostre que lim
n
S
n
=
b
2
2

a
2
2
.
4. Raciocine, como na aula 1, para mostrar que
_
b
a
x
2
dx =
b
3
3

a
3
3
.
5. Calcule
_
b
a
(x
2
+ x + 1)dx.
6. Seja f : [1, 1] R denida por f(x) = x
2
se x [1, 0] e f(x) = x
2
se x [0, 1]. Mostre que
_
1
1
f(x)dx = 0.
7. Seja f : [a, b] R uma fun c ao integr avel tal que m f(x) M para
todo x [a, b]. Mostre que
m(b a)
_
b
a
f(x)dx M(b a).
25
CEDERJ
A integral denida.
Auto-avalia cao
Nos exerccios desta aula voce teve a oportunidade de xar a no c ao de
integral denida e algumas de suas propriedades. Caso n ao tenha conseguido
fazer todos os exerccios, releia a aula e depois tente novamente. Caso persista
alguma d uvida, consulte o tutor no p olo.
CEDERJ
26
O Teorema Fundamental do Calculo.
M

ODULO 1 - AULA 3
Aula 3 O Teorema Fundamental do
Calculo.
Referencias: Aulas 6, 7, 9,
10, 12 de C alculo I, e 2 de
C alculo II.
Objetivo
Iniciar o estudo do Teorema Fundamental do C alculo, que fornece uma
maneira simples de se calcular a integral denida de fun c oes contnuas de-
nidas em intervalos fechados e limitados.
Na aula anterior voce aprendeu que toda fun c ao contnua f : [a, b] R
e integr avel. Entretanto, tendo em vista a complexidade da deni c ao, cal-
cular o n umero
_
b
a
f(x)dx pode n ao ser simples, como j a cou claro nas
duas aulas anteriores. Nesta aula iniciaremos o estudo de um teorema im-
portante que, em certos casos, nos levar a ao n umero
_
b
a
f(x)dx de maneira
autom atica: o Teorema Fundamental do C alculo.
Comecemos enunciando uma proposi c ao cuja demonstra c ao ser a vista
na disciplina de An alise.
Proposi cao 3.1
Se f : [a, b] R e integr avel em [a, b], ent ao a fun c ao |f| : [a, b] R e
integr avel em [a, b]. Alem disso,

_
b
a
f(x)dx

_
b
a
|f|(x)dx =
_
b
a
|f(x)|dx.
Lembremos que, por
deni c ao, |f|(x) = |f(x)|
para todo x [a, b].
Exemplo 3.1
A recproca da Proposi c ao 3.1 n ao e verdadeira em geral, ou seja, podemos
ter |f| integr avel sem que f seja integr avel.
Realmente, consideremos a fun c ao f : [0.1] R denida por f(x) = 1
se x Q [0, 1] e f(x) = 1 se x (R Q) [0, 1]. Raciocinando como no
Exemplo 2.3, conclumos que f n ao e integr avel em [0, 1] (fa ca os detalhes).
Entretanto, como |f|(x) = |f(x)| = 1 para todo x [0, 1], ent ao a fun c ao |f|
e integr avel em [0, 1].
Sejam a < b e f : [a, b] R uma fun c ao contnua em [a, b]. Para cada
x [a, b] denamos
F(x) =
_
x
a
f(t)dt.
27
CEDERJ
O Teorema Fundamental do Calculo.
Notemos que, como f e contnua em [a, b], ent ao f e contnua em [a, x],
logo integr avel em [a, x] para todo x [a, b]; assim, faz sentido considerar a
fun c ao F.
Notemos ainda que, se f(x) 0 para todo x [a, b], ent ao F(x)
representa a area da regi ao compreendida entre o gr aco de f, o eixo das
abscissas e as retas t = a e t = x; ver a Figura 3.1.
0
a x
b
Figura 3.1
Teorema 3.1
[1
a
forma do Teorema Fundamental do C alculo] Se a < b e f : [a, b] R e
contnua em [a, b], ent ao F e deriv avel em [a, b] e
F

(x) = f(x)
para todo x [a, b].
Demonstra cao: Fixemos x (a, b). Mostremos que F e deriv avel em x e
F

(x) = f(x). Os casos em que x = a ou x = b s ao tratados de maneira


an aloga. Devemos provar que
lim
tx
F(t) F(x)
t x
= f(x),
o que equivale a provar que
lim
tx

F(t) F(x)
t x
= f(x) e lim
tx
+
F(t) F(x)
t x
= f(x).
Provaremos que
lim
tx
+
F(t) F(x)
t x
= f(x),
CEDERJ
28
O Teorema Fundamental do Calculo.
M

ODULO 1 - AULA 3
sendo o caso do limite lateral ` a esquerda tratado de maneira an aloga.
Tomemos ent ao uma seq uencia (t
n
) arbitr aria tal que x < t
n
b para
todo n e lim
n
t
n
= x. Veriquemos que
lim
n
F(t
n
) F(x)
t
n
x
= f(x).
Com efeito, segue da Proposi c ao 2.2 que
F(t
n
) F(x) =
_
tn
a
f(t)dt
_
x
a
f(t)dt =
_
tn
x
f(t)dt.
Como, pelo Exemplo 2.2,
_
tn
x
f(x)dt = (t
n
x)f(x) (como x est a
xado, f(x) faz o papel de uma constante), obtemos
F(t
n
) F(x)
t
n
x
f(x) =
_
tn
x
f(t)dt
t
n
x

_
tn
x
f(x)dt
t
n
x
.
Por outro lado, pela Proposi c ao 2.1(c),
_
tn
x
f(t)dt
t
n
x

_
tn
x
f(x)dt
t
n
x
=
_
tn
x
(f(t) f(x))dt
t
n
x
.
Logo,
F(t
n
) F(x)
t
n
x
f(x) =
_
tn
x
(f(t) f(x))dt
t
n
x
.
Assim, pela Proposi c ao 3.1, obtemos

F(t
n
) F(x)
t
n
x
f(x)

_
tn
x
(f(t) f(x))dt

t
n
x

_
tn
x
|f(t) f(x)|dt
t
n
x
.
Pelo teorema de Weierstrass, visto na aula 7 de C alculo I, para cada n
existe
z
n
[x, t
n
] tal que
|f(t) f(x)| |f(z
n
) f(x)|
para todo t [x, t
n
] (estamos aplicando o teorema de Weierstrass ` a fun c ao
contnua t [x, t
n
] |f(t) f(x)| R).
Pelo Exemplo 2.5, segue que
_
tn
x
|f(t) f(x)|dt
_
tn
x
|f(z
n
) f(x)|dt = (t
n
x)|f(z
n
) f(x)|.
Conseq uentemente, temos

F(t
n
) F(x)
t
n
x
f(x)

|f(z
n
) f(x)|
para todo n.
29
CEDERJ
O Teorema Fundamental do Calculo.
Finalmente, como f e contnua em x e lim
n
z
n
= x (pois x z
n
t
n
e lim
n
t
n
= x ), temos que lim
n
f(z
n
) = f(x), isto e, lim
n
(f(z
n
) f(x)) = 0,
isto e, lim
n
|f(z
n
) f(x)| = 0. Portanto, em vista da desigualdade acima,
lim
n
F(t
n
) F(x)
t
n
x
= f(x).
Como (t
n
) e arbitr aria, acabamos de mostrar que
lim
tx
+
F(t) F(x)
t x
= f(x),
concluindo assim a demonstra c ao do teorema.
Sejam a < b e f : [a, b] R contnua em [a, b]. Denamos
F
1
(x) =
_
b
x
f(t)dt
para todo x [a, b]. Pela Proposi c ao 2.2, temos
_
x
a
f(t)dt +
_
b
x
f(t)dt =
_
b
a
f(t)dt
para todo x [a, b], isto e,
F
1
(x) = F(b) F(x)
para todo x [a, b]. Portanto, pelo Teorema 3.1, F
1
e deriv avel em [a, b] e
F
1

(x) = f(x)
para todo x [a, b].
Exemplo 3.2
Seja f : R R contnua em R e seja a um n umero real arbitr ario. Denamos
F : R R por F(x) =
_
x
a
f(t)dt para todo x R. Armamos que F e
deriv avel em R e F

(x) = f(x) para todo x R.


De fato, seja b > a arbitr ario. Como f e contnua em [a, b], o Teo-
rema 3.1 nos garante que F e deriv avel em [a, b] e F

(x) = f(x) para todo


x [a, b].
CEDERJ
30
O Teorema Fundamental do Calculo.
M

ODULO 1 - AULA 3
Por outro lado, seja c < a arbitr ario. Ent ao, para todo x [c, a], temos
F(x) =
_
x
a
f(t)dt =
_
a
x
f(t)dt = F
1
(x),
onde
F
1
(x) =
_
a
x
f(t)dt
para todo x [c, a]. Como vimos logo ap os o Teorema 3.1, F
1
e deriv avel em
[c, a] e F
1

(x) = f(x) para todo x [c, a]. Conseq uentemente, F e deriv avel
em [c, a] e F

(x) = F
1

(x) = (f(x)) = f(x) para todo x [c, a].


Em vista do que acabamos de observar segue que, para quaisquer
c, b R, com c < a < b, a fun c ao F e deriv avel em (c, b) e F

(x) = f(x) para


todo x (c, b). Finalmente, como todo x R pertence a algum intervalo
(c, b) (com c < a < b), conclumos que F e deriv avel em R e F

(x) = f(x)
para todo x R.
Como conseq uencia imediata do Exemplo 3.2, obtemos:
Exemplo 3.3
A fun c ao F(x) =
_
x
0
sen (t
2
) dt e deriv avel em R e F

(x) = sen (x
2
) para
todo x R. Em particular, F

__

2
_
= sen

2
= 1.
O pr oximo exemplo tambem decorre do Exemplo 3.2, apesar de exigir
um raciocnio adicional.
Exemplo 3.4
A fun c ao H(x) =
_
x
3
0
cos t dt e deriv avel em R e H

(x) = 3x
2
cos(x
3
) para
todo x R.
De fato, denamos h(x) = x
3
e F(x) =
_
x
0
cos t dt para todo x R.
Ent ao F h = H, pois
(F h)(x) = F(h(x)) = F(x
3
) =
_
x
3
0
cos t dt = H(x)
para todo x R. Como F e h s ao deriv aveis em R, a regra da cadeia nos
garante que H e deriv avel em R e
H

(x) = (F h)

(x) = F

(h(x))h

(x) = 3x
2
cos(x
3
)
para todo x R.
31
CEDERJ
O Teorema Fundamental do Calculo.
Resumo
Nesta aula voce come cou a estudar o Teorema Fundamental do C alculo,
um dos pilares do nosso curso.
Exerccios
1. Dena G(x) =
_
sen x
0
t
n
dt para todo x R, onde n e um n umero inteiro
positivo. Mostre que G e deriv avel em R e G

(x) = (cos x) (sen


n
x) para
todo x R.
2. Dena G(x) =
_
x
3
0

t dt para todo x [0, +). Mostre que G e


deriv avel em [0, +) e G

(x) = 3x
2

x
3
para todo x [0, +).
3. Dena G(x) =
_
x
3
x
2
cos t dt para todo x R. Mostre que G e deriv avel
em R e G

(x) = 3x
2
cos(x
3
) 2xcos(x
2
) para todo x R.
Sugest ao: Dena G
1
(x) =
_
0
x
2
cos t dt, G
2
(x) =
_
x
3
0
cos t dt e note que
G(x) = G
2
(x) + G
1
(x).
Auto-avalia cao
Os exerccios desta aula visam, essencialmente, xar a 1
a
forma do Teo-
rema Fundamental do C alculo. Trata-se, portanto, de uma boa oportunidade
para assimil a-la. Caso tenha sentido diculdades ao tentar faze-los, releia as
aulas 7 e 12 de C alculo I, e depois volte a eles. Se, porventura, persistirem
as d uvidas, procure o tutor no p olo.
CEDERJ
32
O Teorema Fundamental do Calculo. Continua cao.
M

ODULO 1 - AULA 4
Aula 4 O Teorema Fundamental do
Calculo. Continua cao.
Referencias: Aulas 9, 10,
12, 16, 17 de C alculo I, 2 e 3
de C alculo II.
Objetivo
Estudar uma formula c ao do Teorema Fundamental do C alculo que e
bastante ecaz no que diz respeito ao c alculo de integrais denidas.
Nesta aula usaremos a 1
a
forma do Teorema Fundamental do C alculo
para obter a 2
a
forma do Teorema Fundamental do C alculo, esta ultima uma
ferramenta importante para calcularmos integrais denidas, como car a claro
no decorrer da aula.
A 1
a
forma do Teorema Fundamental do C alculo nos garante que se
f : [a, b] R e contnua, ent ao existe F : [a, b] R deriv avel tal que
F

= f. O pr oximo resultado nos fornece uma maneira simples de calcular


_
b
a
f(x)dx.
Teorema 4.1
[2
a
forma do Teorema Fundamental do C alculo] Sejam a < b e f : [a, b] R
contnua em [a, b]. Se G : [a, b] R e deriv avel em [a, b] e G

= f, ent ao
_
b
a
f(x)dx = G(b) G(a).
Demonstra cao: Seja F(x) =
_
x
a
f(t)dt (x [a, b]) como na aula passada.
Pelo Teorema 3.1, F e deriv avel em [a, b] e F

= f. Logo, GF e deriv avel


em [a, b] e
(GF)

(x) = G

(x) F

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


para todo x [a, b]. Pelo Corol ario 17.1, a fun c ao G F e constante, isto
e, existe c R tal que G(x) F(x) = c para todo x [a, b]. Mas, como
F(a) = 0, segue que c = G(a). Portanto, fazendo x = b, obtemos
G(b) G(a) = G(b) c = F(b) =
_
b
a
f(t)dt,
concluindo assim a demonstra c ao do teorema.
Observemos que, para aplicar o Teorema 4.1, basta encontrar uma
fun c ao deriv avel G : [a, b] R tal que G

(x) = f(x) para todo x [a, b].


Vejamos alguns exemplos.
33
CEDERJ
O Teorema Fundamental do Calculo. Continua cao.
Exemplo 4.1
Para quaisquer a, b R, com a < b, e para todo inteiro n 1, temos
_
b
a
x
n
dx =
b
n+1
n + 1

a
n+1
n + 1
.
De fato, a fun c ao G(x) =
x
n+1
n+1
tem por derivada a fun c ao contnua
f(x) = x
n
. Logo, pelo Teorema 4.1,
_
b
a
x
n
dx =
_
b
a
f(x)dx = G(b) G(a) =
b
n+1
n + 1

a
n+1
n + 1
.
Exemplo 4.2
Para quaisquer a, b R, com a < b, temos
_
b
a
sen xdx = cos a cos b.
De fato, a fun c ao G(x) = cos x tem por derivada a fun c ao contnua
f(x) = sen x. Logo, pelo Teorema 4.1,
_
b
a
sen xdx =
_
b
a
f(x)dx = G(b) G(a) = cos b (cos a) = cos acos b.
Exemplo 4.3
Para quaisquer a, b R, com a < b, temos
_
b
a
cos xdx = sen b sen a.
De fato, a fun c ao G(x) = sen x tem por derivada a fun c ao contnua
f(x) = cos x. Logo, pelo Teorema 4.1,
_
b
a
cos xdx =
_
b
a
f(x)dx = G(b) G(a) = sen b sen a.
Exemplo 4.4
_
4
0
sec
2
xdx = 1.
De fato, consideremos a fun c ao contnua f(x) = sec
2
x
_
x
_
0,

4
_
.
Sendo G(x) = tg x, temos G

(x) = f(x) para todo x


_
0,

4

. Logo, pelo
CEDERJ
34
O Teorema Fundamental do Calculo. Continua cao.
M

ODULO 1 - AULA 4
Teorema 4.1,
_
4
0
sec
2
xdx =
_
4
0
f(x)dx = G(

4
) G(0) = tg

4
tg0 =
=
sen

4
cos

sen0
cos0
=
=

2
2

2
2
= 1.
Exemplo 4.5
Sejam 0 < a < b e n um inteiro, com n 2. Calculemos
_
b
a
dx
x
n
.
Com efeito, a fun c ao f(x) = x
n
e contnua em [a, b]. Alem disso, sendo
G(x) =
x
n+1
n + 1
, temos
G

(x) =
n + 1
n + 1
x
n+11
= x
n
= f(x)
para todo x [a, b]. Portanto, pelo Teorema 4.1,
_
b
a
dx
x
n
=
_
b
a
x
n
dx =
_
b
a
f(x)dx = G(b) G(a) =
=
1
n + 1
_
b
n+1
a
n+1
_
.
Em particular,
_
4
2
dx
x
4
=
1
4 + 1
_
4
4+1
2
4+1
_
=
=
1
3
_
1
4
3

1
2
3
_
=
=
1
3
_
1
8

1
64
_
=
7
192
.
Raciocinando como no exemplo acima, obtemos:
Exemplo 4.6
Sejam a < b < 0 e n um inteiro, com n 2. Ent ao
_
b
a
dx
x
n
=
1
n + 1
_
b
n+1
a
n+1
_
.
35
CEDERJ
O Teorema Fundamental do Calculo. Continua cao.
Exemplo 4.7
Sejam 0 a < b e n um inteiro, com n 2. Calculemos
_
b
a
n

xdx.
Com efeito, a fun c ao f(x) =
n

x e contnua em [a, b]. Alem disso, sendo


G(x) =
n
n + 1
n

x
n+1
=
n
n + 1
x
n+1
n
, temos
G

(x) =
n
n + 1
.
n + 1
n
x
n+1
n
1
= x
1
n
= f(x)
para todo x [a, b]. Portanto, pelo Teorema 4.1,
_
b
a
n

xdx =
_
b
a
f(x)dx = G(b) G(a) =
=
n
n + 1
_
n

b
n+1

a
n+1
_
.
Em particular,
_
2
1
3

xdx =
3
4
_
3

16 1
_
.
Exemplo 4.8
Sejam a, b R, com a < b, n um inteiro positivo e p um polin omio arbitr ario.
Calculemos
_
b
a
p

(x)(p(x))
n
dx.
Com efeito, observemos inicialmente que a fun c ao f(x) = p

(x)(p(x))
n
e contnua em R (justique esta arma c ao). Alem disso, sendo G(x) =
(p(x))
n+1
n + 1
, ent ao G e deriv avel em R e
G

(x) =
n + 1
n + 1
(p(x))
n+11
p

(x) = p

(x)(p(x))
n
= f(x)
para todo x R. Pelo Teorema 4.1,
_
b
a
p

(x)(p(x))
n
dx =
_
b
a
f(x)dx = G(b) G(a) =
=
(p(b))
n+1
n + 1

(p(a))
n+1
n + 1
.
Vamos usar o que acabamos de ver para calcular
_
1
0
x(x
2
+ 3)
4
dx. Re-
almente, fazendo p(x) = x
2
+ 3, temos p

(x) = 2x.
CEDERJ
36
O Teorema Fundamental do Calculo. Continua cao.
M

ODULO 1 - AULA 4
Portanto,
_
1
0
x(x
2
+ 3)
4
dx =
_
1
0
p

(x)
2
(p(x))
4
dx =
1
2
_
1
0
p

(x) (p(x))
4
dx =
=
1
2
_
(p(1))
5
5

(p(0))
5
5
_
=
=
1
10
_
4
5
3
5
_
.
Exemplo 4.9
Sejam a, b R, com a < b, p um polin omio arbitr ario e calculemos
_
b
a
p

(x) cos(p(x)) dx
Com efeito, observemos inicialmente que a fun c ao f(x) = p

(x) cos(p(x))
e contnua em R (justique esta arma c ao). Alem disso, sendo G(x) =
sen (p(x)), a regra da cadeia nos garante que G e deriv avel em R e G

(x) =
p

(x) cos(p(x)) = f(x) para todo x R. Pelo Teorema 4.1,


_
b
a
p

(x) cos(p(x)) dx =
_
b
a
f(x)dx = G(b) G(a) = sen (p(b)) sen (p(a)).
Vamos usar o que acabamos de ver para calcular
_
2
0
x
2
cos(x
3
)dx. Re-
almente, fazendo p(x) = x
3
, temos p

(x) = 3x
2
.
Portanto,
_
2
0
x
2
cos(x
3
)dx =
_
2
0
p

(x)
3
cos(p(x))dx =
1
3
_
2
0
p

(x) cos(p(x))dx =
=
1
3
(sen (p(2)) sen (p(0))) =
=
sen 8
3
.
Exemplo 4.10
Seja f(x) = sen x, x
_


2
,

2

. Calculemos a area da regi ao compreendida


entre o gr aco de f, o eixo das abscissas e as retas x =

2
e x =

2
(a referida
regi ao est a hachurada na Figura 4.1).
37
CEDERJ
O Teorema Fundamental do Calculo. Continua cao.

2
0
1
1
Figura 4.1

E f acil ver que a area em quest ao e 2


_
2
0
sen xdx. Como, pelo
Exemplo 4.2,
_
2
0
sen xdx = cos 0 cos

2
= 1,
a area procurada vale 2.
Por outro lado,
_
2

2
sen xdx = cos
_

2
_
cos
_

2
_
= 0,
mostrando que, neste caso, a area da regi ao em quest ao e a integral denida
_
2

2
sen xdx n ao coincidem.
Exemplo 4.11
Vamos provar a Proposi c ao 2.1(c) no caso particular em que f, g : [a, b] R
s ao contnuas em [a, b].
Com efeito, como f e g s ao contnuas em [a, b], ent ao f + g e contnua
em [a, b]. Pelo Teorema 2.1, f + g e integr avel em [a, b].
CEDERJ
38
O Teorema Fundamental do Calculo. Continua cao.
M

ODULO 1 - AULA 4
Agora, sejam G, H : [a, b] R duas fun c oes deriv aveis em [a, b] tais
que G

= f e H

= g. Pelo Teorema 4.1,


_
b
a
f(x)dx = G(b) G(a) e
_
b
a
g(x)dx = H(b) H(a).
Por outro lado, pela Proposi c ao 10.2, a fun c ao G + H e deriv avel em
[a, b] e (G + H)

(x) = G

(x) + H

(x) = f(x) + g(x) = (f + g)(x) para todo


x [a, b]. Aplicando novamente o Teorema 4.1, obtemos
_
b
a
(f + g)(x)dx = (G + H)(b) (G + H)(a) =
= (G(b) + H(b)) (G(a) + H(a)) =
= (G(b) G(a)) + (H(b) H(a)) =
=
_
b
a
f(x)dx +
_
b
a
g(x)dx,
provando o que desej avamos.
Como j a observamos, a aplicabilidade do Teorema 4.1 depende de co-
nhecermos explicitamente uma fun c ao deriv avel G tal que G

= f (uma tal
fun c ao G e dita uma primitiva de f).

E claro que se G e uma primitiva de f
e c e um n umero real arbitr ario , ent ao G+c tambem e uma primitiva de f.
Na disciplina de C alculo II voce estudar a metodos de integra c ao que
permitem a obten c ao de primitivas de certas fun c oes.
Resumo
Nas duas ultimas aulas voce aprendeu o Teorema Fundamental do
C alculo, um resultado muito importante que desempenhar a um papel central
em tudo o que veremos a seguir.
39
CEDERJ
O Teorema Fundamental do Calculo. Continua cao.
Exerccios
1. Calcule as seguintes integrais denidas:
(a)
_
2
1
(x
2
+|x| + 2)dx ; (b)
_
2
0
(5 sen x 2 cos x)dx ;
(c)
_
1
0

xdx ; (d)
_
1
2
_
1
x
2
+ x
2
_
dx ;
(e)
_
2
1
_
1
x
2
+
1
x
4
_
dx ; (f)
_
2
1
_
1
x
3
+ x
3
+ sen x
_
dx ;
(g)
_
4
0
cos(3x)dx ; (h)
_
b
a
cos(x)dx ( R {0}) ;
(i)
_
4
0
sen (4x)dx ; (j)
_
b
a
sen (x)dx ( R {0}) ;
(l)
_
0
1
3

xdx ; (m)
_
0
1
(
3

x +
5

x)dx.
_
Sugest ao para (h): Se G(x) =
1

sen (x), ent ao G

(x) = cos(x)
_
.
_
Sugest ao para (l): Se G(x) =
x
4
3
4
3
, ent ao G

(x) = x
1
3
=
3

x
_
.
2. Sendo f(x) = sen (3x), calcule a area da regi ao compreendida entre o
gr aco de f, o eixo das abscissas e as retas x = 0 e x =

3
.
3. Sendo f(x) =
5

x, calcule a area da regi ao compreendida entre o gr aco


de f, o eixo das abscissas e as retas x = 1 e x = 0.
4. Calcule
_
1
0
__
3
2
t
4
sen xdt
_
dx.
5. Seja f : [0, 1] R uma fun c ao contnua tal que x
2
f(x) 2x
2
+ 1
para todo x [0, 1]. Mostre que
1
3

_
1
0
f(x)dx
5
3
.
Sugest ao: Use o Exemplo 2.5.
6. Argumentando como no Exemplo 4.11, prove a Proposi c ao 2.1(b) no
caso particular em que f e contnua em [a, b].
7. Sejam I um intervalo n ao trivial, f : I R e G
1
, G
2
: I R duas
primitivas de f (isto e, G
1
e G
2
s ao deriv aveis em I e G
1

= G
2

= f).
Prove que existe c R tal que G
2
= G
1
+ c.
CEDERJ
40
O Teorema Fundamental do Calculo. Continua cao.
M

ODULO 1 - AULA 4
Auto-avalia cao
Nos exerccios desta aula voce teve a oportunidade de assimilar o sig-
nicado do Teorema Fundamental do C alculo. Trata-se de uma etapa
importante do curso. Caso tenha sentido diculdade nos exerccios,
releia a aula e, em seguida, volte aos exerccios. Caso permane cam
d uvidas, procure o tutor no p olo.
41
CEDERJ
Calculo de areas. O teorema do valor medio para integrais.
M

ODULO 1 - AULA 5
Aula 5 Calculo de areas. O teorema do
valor medio para integrais.
Referencias: Aulas 7 de
C alculo I, 2, 3 e 4 de C alculo
II.
Objetivos
Aprender como usar a integral denida para calcular a area de regi oes
planas.
Aprender o teorema do valor medio para integrais.
Nesta aula discutiremos uma das aplica c oes da integral denida, a sa-
ber, o c alculo de areas de regi oes planas. Discutiremos, ainda, o teorema do
valor medio para integrais.
Consideremos duas fun c oes contnuas f, g : [a, b] R tais que f(x)
g(x) para todo x [a, b]. O nosso objetivo e calcular a area da regi ao
compreendida entre os gr acos de f e g e as retas x = a e x = b, regi ao esta
hachurada na Figura 5.1.
f
g
b
a
0
Figura 5.1
Como, pelo teorema de Weierstrass, o conjunto f([a, b]) e limitado,
podemos encontrar um n umero real tal que f(x) + 0 para todo
x [a, b]. Ent ao temos 0 f(x) + g(x) + para todo x [a, b].

E claro que a area procurada coincide com a area da regi ao compreendida


entre os gr acos de f + e g + e as retas x = a e x = b, sendo esta ultima
regi ao hachurada na Figura 5.2.
43
CEDERJ
Calculo de areas. O teorema do valor medio para integrais.
f +
g +
0
a
b
Figura 5.2
Mas a area desta ultima e a diferen ca entre a area da regi ao compreen-
dida entre o gr aco de g + , o eixo das abscissas e as retas x = a e x = b e
a area da regi ao compreendida entre o gr aco de f + , o eixo das abscissas
e as retas x = a e x = b, ou seja,
_
b
a
(g(x)+)dx
_
b
a
(f(x)+)dx =
_
b
a
g(x)dx
_
b
a
f(x)dx =
_
b
a
(g(x)f(x))dx.
Assim, a area procurada e
_
b
a
(g(x) f(x))dx.
Notemos que, se f(x) 0 para todo x [a, b] ou f(x) 0 para todo
x [a, b], ent ao a area da regi ao compreendida entre o gr aco de f, o eixo
das abscissas e as retas x = a e x = b e igual a area da regi ao compreendida
entre os gr acos de f e g (onde g(x) = 0 para todo x [a, b]) e as retas x = a
e x = b .
Vejamos alguns exemplos.
Exemplo 5.1
Calculemos a area da regi ao limitada pelas retas x = 0, x = 1, y = 2 e pelo
gr aco de f(x) = x
3
(a regi ao em quest ao est a hachurada na Figura 5.3).
Sendo g(x) = 2 para todo x [0, 1], a area procurada e a area da regi ao
compreendida entre os gr acos de f e g e as retas x = 0 e x = 1 (notemos
CEDERJ
44
Calculo de areas. O teorema do valor medio para integrais.
M

ODULO 1 - AULA 5
f(x) = x
3

0
1
2
2 1
Figura 5.3
que f(x) < g(x) para todo x [0, 1]). Portanto, a area em quest ao e
_
1
0
(g(x) f(x))dx =
_
1
0
(2 x
3
)dx =
_
1
0
2 dx
_
1
0
x
3
dx =
= 2(1 0)
1
4
(1
4
0
4
) =
7
4
.
Exemplo 5.2
Calculemos a area da regi ao limitada pelos gr acos das fun c oes f(x) = x e
g(x) = x
2
(a regi ao em quest ao est a hachurada na Figura 5.4).
f(x) = x
g(x) = x
2
1
0
1
Figura 5.4
Com efeito, como f(x) = g(x) se, e somente se, x = 0 ou x = 1 e como
45
CEDERJ
Calculo de areas. O teorema do valor medio para integrais.
g(x) f(x) para todo x [0, 1], a area em quest ao e
_
1
0
(f(x) g(x))dx =
_
1
0
(x x
2
)dx =
_
1
0
xdx
_
1
0
x
2
dx =
=
1
2
(1
2
0
2
)
1
3
(1
3
0
3
) =
1
6
.
Exemplo 5.3
Calculemos a area da regi ao compreendida entre os gr acos das fun c oes
f(x) = x e g(x) =

x e as retas x = 0 e x = 2 (a regi ao em quest ao
est a hachurada na Figura 5.5).
f(x) = x
g(x) =

x
0
1
2
1 2
Figura 5.5
Com efeito, como f(x) g(x) para todo x [0, 1] e g(x) f(x) para
todo x [1, 2], a area em quest ao e
_
1
0
(g(x) f(x))dx +
_
2
1
(f(x) g(x))dx =
=
_
1
0
(

x x)dx +
_
2
1
(x

x)dx =
=
_
1
0

xdx
_
1
0
xdx +
_
2
1
xdx
_
2
1

xdx =
=
2
3
(

1
3

0
3
)
1
2
(1
2
0
2
) +
1
2
(2
2
1
2
)
2
3
(

2
3

1
3
) =
=
2
3

1
2
+
3
2

4

2
3
=
1
3
(5 4

2).
CEDERJ
46
Calculo de areas. O teorema do valor medio para integrais.
M

ODULO 1 - AULA 5
Exemplo 5.4
Calculemos a area da regi ao compreendida entre o gr aco de f(x) = x
5
, o
eixo das abscissas e as retas x = 1 e x = 1 (a regi ao em quest ao est a
hachurada na Figura 5.6).
f(x) = x
5
1
1
0
1
1
Figura 5.6
Com efeito, como f(x) 0 para todo x [1, 0] e f(x) 0 para todo
x [0, 1], a area em quest ao e

_
0
1
x
5
dx +
_
1
0
x
5
dx =
2
6
.
Obviamente, poder-se-ia ver diretamente que a area procurada e
2
_
1
0
x
5
dx,
j a que f(x) = f(x) para todo x R.
Exemplo 5.5
Calculemos a area do conjunto
D =
_
(x, y) R
2
; 1 x 2 , 0 y
1
x
4
_
,
o qual hachuramos na Figura 5.7.
Com efeito, como
1
x
4
> 0 para todo x = 0 e, em particular, para todo
x [1, 2], a area procurada e
_
2
1
1
x
4
dx =
1
3
_
1
2
3

1
1
3
_
=
_

1
3
_

7
8
_
=
7
24
.
47
CEDERJ
Calculo de areas. O teorema do valor medio para integrais.
1
x
4
1/16
0
1
1 2
Figura 5.7
Exemplo 5.6
Calculemos a area do conjunto
D = {(x, y) R
2
; x y
4

x},
o qual hachuramos na Figura 5.8.
x
4

x
0
1
1
Figura 5.8
CEDERJ
48
Calculo de areas. O teorema do valor medio para integrais.
M

ODULO 1 - AULA 5
Notemos, primeiramente, que para (x, y) pertencer a D devemos ter
x 0. Alem disso, x =
4

x se, e somente se, x = 0 ou x = 1. Como x


4

x
para todo x [0, 1], a area de D e
_
1
0
(
4

x x)dx =
_
1
0
4

xdx
_
1
0
xdx =
=
4
5
(
4

1
5

0
5
)
1
2
=
3
10
.
Exemplo 5.7
Calculemos a area da regi ao compreendida entre o gr aco de f(x) =
1
x
2
(x > 0) e as retas y = x e y = 4 (a regi ao em quest ao est a hachurada na
Figura 5.9).
y = x
y = 4
f(x) =
1
x
2
0
1
4
1 4
Figura 5.9
Para explicar este exemplo vamos trabalhar com uma fun c ao da vari avel
y, diferentemente do que vnhamos fazendo. Poderamos, tambem, argu-
mentar como antes mas, neste caso, o raciocnio utilizado e efetivamente
mais simples (certique-se de que esta arma c ao e verdadeira raciocinando
como nos exemplos anteriores).
Para x > 0,
1
x
2
= y se, e
somente se, x =
1

y
.
Como f(x) = x se, e somente se, x = 1, f(1) = 1 e como y
1

y
para
todo y [1, 4], a area em quest ao e
_
4
1
_
y
1

y
_
dy =
_
4
1
y dy
_
4
1
1

y
dy =
=
1
2
(4
2
1
2
) 2(

1) =
15
2
2 =
11
2
.
49
CEDERJ
Calculo de areas. O teorema do valor medio para integrais.
Exemplo 5.8
Calculemos a area da regi ao hachurada na Figura 5.10, determinada pelos
gr acos das fun c oes f(x) = x
3
x, g(x) = x x
3
e pelo crculo de centro
(0, 0) e raio 1.
f(x) = x
3
x
g(x) = x x
3
1
1
1
1
Figura 5.10
Inicialmente, notemos que f(x) = g(x) se, e somente se x
3
x = xx
3
,
isto e, se, e somente se, x = 0, x = 1 ou x = 1.
A area em quest ao e o qu adruplo da area da regi ao hachurada que est a
acima do eixo das abscissas e ` a direita do eixo das ordenadas (justique esta
arma c ao). Logo, basta achar esta ultima.
A area de um crculo de raio
r e r
2
.
Para faze-lo, basta observar que a area mencionada e

4

_
1
0
(x x
3
)dx,
lembrando que a area de cada quadrante do crculo de centro (0, 0) e raio 1
e

4
. Como
_
1
0
(x x
3
)dx =
_
1
0
xdx
_
1
0
x
3
dx =
1
2

1
4
=
1
4
,
podemos nalmente armar que a area procurada e
4
_

4

1
4
_
= 1.
Vamos terminar a aula discutindo a seguinte pergunta: dada uma
fun c ao contnua f : [a, b] R tal que f(x) 0 para todo x [a, b], e
CEDERJ
50
Calculo de areas. O teorema do valor medio para integrais.
M

ODULO 1 - AULA 5
possvel encontrar um ponto u [a, b] tal que a area da regi ao compreendida
entre o gr aco de f, o eixo das abscissas e as retas x = a e x = b (que e preci-
samente
_
b
a
f(x)dx
_
coincida com a area do ret angulo de base [a, b] e altura
f(u) (que e precisamente f(u)(b a))? A Figura 5.11 ilustra a situa c ao.
f(u)
0
a u
b
Figura 5.11
Provaremos que a resposta ` a pergunta formulada e armativa, como
segue imediatamente do seguinte
Teorema 5.1
[teorema do valor medio para integrais] Se a < b e f : [a, b] R e contnua
em [a, b], existe u [a, b] tal que
_
b
a
f(x)dx = f(u)(b a).
Demonstra cao: Pelo teorema de Weierstrass, visto na aula 7 de C alculo I,
existem x
1
, x
2
[a, b] tais que
f(x
1
) f(x) f(x
2
)
para todo x [a, b]. Pelos Exemplos 2.2 e 2.5,
f(x
1
)(b a) =
_
b
a
f(x
1
)dx
_
b
a
f(x)dx
_
b
a
f(x
2
)dx = f(x
2
)(b a),
isto e,
f(x
1
)
_
b
a
f(x)dx
b a
f(x
2
).
Se x
1
= x
2
, f e constante em [a, b] e qualquer u [a, b] serve.
51
CEDERJ
Calculo de areas. O teorema do valor medio para integrais.
Suponhamos, ent ao, x
1
= x
2
(digamos x
1
< x
2
). Como f e contnua
em [x
1
, x
2
], o teorema do valor intermedi ario, visto na aula 7 de C alculo I,
garante a existencia de u [x
1
, x
2
]
_
[a, b]
_
tal que
f(u) =
_
b
a
f(x)dx
b a
,
isto e,
_
b
a
f(x)dx = f(u)(b a).
Isto conclui a demonstra c ao do teorema.
Exemplo 5.9
Seja f(x) = x
3
para todo x [0, 1]. Pelo Teorema 5.1, existe u [0, 1] tal
que
_
1
0
x
3
dx = f(u)(1 0) = u
3
.
Como
_
1
0
x
3
dx =
1
4
, conclumos que u =
1
3

4
.
Assim, a area da regi ao compreendida entre o gr aco de f, o eixo das
abscissas e a reta x = 1
_
que e
1
4
_
coincide com a area do ret angulo de base
[0, 1] e altura f
_
1
3

4
_
=
1
4
; ver a Figura 5.12.
1
3

4
1/4
1
0
1
Figura 5.12
Evidentemente, s o foi possvel encontrar u explicitamente, no exemplo
acima, por se tratar de uma situa c ao bastante favor avel.
CEDERJ
52
Calculo de areas. O teorema do valor medio para integrais.
M

ODULO 1 - AULA 5
Resumo
Nesta aula voce aprendeu a fazer uso da integral denida para calcular
a area de regi oes planas. O teorema do valor medio para integrais tambem
foi discutido.
Exerccios
1. Esboce a regi ao e ache a area da regi ao compreendida entre:
(a) os gr acos de f(x) = x
2
e g(x) =
x
2
2
+ 2;
(b) os gr acos de f(x) = x
2
e g(x) = 1 x
2
;
(c) os gr acos de f(x) = x
2
e g(x) = 1 x
2
e a reta y = 2;
(d) os gr acos de f(x) = x
2
e g(x) = x
2
2x + 4 e a reta x = 0;
(e) os gr acos de f(x) = x
2
e g(x) = x
2
e as retas x = 1 e x = 1;
(f) o gr aco de f(x) =

x e as retas y = 0 e x = a, onde a (0, +)
e arbitr ario;
(g) os gr acos de f(x) =
1
x
2
, g(x) =
x
2
16
e h(x) = x
2
, para x > 0;
(h) os gr acos de f(x) = x
2
x 2 e g(x) = x + 6;
(i) os gr acos de f(x) = 1 + sen x, g(x) = 1 + cos x e a reta x = 0;
(j) os gr acos de f(x) = 1 + sen x, g(x) = 1 + cos x e a reta x = ;
(l) o gr aco de f(x) = cos x e as retas x = 0, x = e y = 0;
(m) os gr acos de f(x) = sen x e g(x) = cos x e as retas x = 0 e x =

2
;
(n) a par abola x = y
2
e a reta x = 4.
2. Esboce o conjunto D e ache a area de D, nos seguintes casos:
(a) D = {(x, y) R
2
; x
2
1 y 0};
(b) D = {(x, y) R
2
; 0 y 9 x
2
};
(c) D = {(x, y) R
2
; 0 x 1 ,

x y 3};
(d) D = {(x, y) R
2
; x
2
+ 1 y x + 1};
(e) D = {(x, y) R
2
; x
2
1 y x + 1}.
3. (a) Use o teorema do valor medio para integrais para mostrar que
_
2
0
1
x
2
+ 3
dx
2
3
.
(b) Chegue ` a mesma conclus ao usando o Exemplo 2.5.
53
CEDERJ
Calculo de areas. O teorema do valor medio para integrais.
4. (a) Use o teorema do valor medio para integrais para mostrar que
_

0
sen (

x) dx .
(b) Chegue ` a mesma conclus ao usando o Exemplo 2.5.
Auto-avalia cao
Nos Exerccios 1 e 2 voce usou o Teorema Fundamental do C aculo para
determinar a area de regi oes planas. Em caso de d uvida, releia esta aula e
a aula 4, e tente novamente. Caso persista alguma d uvida, consulte o
tutor no p olo.
CEDERJ
54
Exerccios resolvidos.
M

ODULO 1 - AULA 6
Aula 6 Exerccios resolvidos.
Referencias: Aulas 7, 10,
12 e 17 de C alculo I, e 2, 3, 4
e 5 de C alculo II.
Objetivo
Amadurecer o conte udo sobre integral denida visto nas aulas 2, 3, 4 e
5, notadamente o Teorema Fundamental do C alculo.
Exerccio 1: Seja f : R R uma fun c ao contnua e dena H(x) =
_
x
0
xf(t) dt para todo x R. Mostre que H e deriv avel em R e
H

(x) =
_
x
0
f(t) dt + xf(x)
para todo x R.
Nos Exerccios 1, 2, 3, 4, 5
usamos o Exemplo 3.2: se
f : R R e contnua, a R
e F(x) =
R
x
a
f(t) dt (x R),
ent ao F e deriv avel em R e
F

(x) = f(x) para todo


x R .
Solu cao: Sejam g(x) = x e F(x) =
_
x
0
f(t) dt para todo x R. Ent ao
H(x) =
_
x
0
xf(t) dt = x
_
x
0
f(t) dt = g(x)F(x) = (gF)(x)
para todo x R. Como g e F s ao deriv aveis em R, ent ao H e deriv avel em
R (como produto de duas fun c oes deriv aveis em R) e
H

(x) = g

(x)F(x) + g(x)F

(x) =
_
x
0
f(t) dt + xf(x)
para todo x R.
Exerccio 2: Seja h(x) = 3x + 2
_
x
1
sen
2
_

4
t
2
_
dt, x R. Determine os
coecientes , e do polin omio p(x) = (x 1)
2
+ (x 1) + para que
p(1) = h(1), p

(1) = h

(1) e p

(1) =
h

(1)

.
Solu cao: Como p(1) = e h(1) = 3, devemos ter = 3. Como p

(x) =
2(x1)+ para todo x R, ent ao p

(1) = . Por outro lado, como h

(x) =
3+2sen
2
_

4
x
2
_
para todo x R, ent ao h

(1) = 3+2sen
2
_

4
_
= 3+2
_

2
2
_
2
= 4.
Logo, devemos ter = 4.
Finalmente, como p

(x) = 2 para todo x R, ent ao p

(1) = 2 .
Por outro lado, h

(x) = 2x
_
sen
_

4
x
2
___
cos
_

4
x
2
__
para todo x R. Logo,
h

(1) = 2
_
sen

4
__
cos

4
_
= 2

2
2

2
2
= . Logo, devemos ter 2 = 1,
isto e, =
1
2
.
55
CEDERJ
Exerccios resolvidos.
Exerccio 3: Seja g(x) =
_
x
0
t sen t dt , x
_

2
,
3
2
_
. Mostre que g possui
apenas um ponto de m aximo local em
_

2
,
3
2
_
.
Solu cao: A fun c ao g e deriv avel em
_

2
,
3
2
_
e g

(x) = xsen x para todo


x
_

2
,
3
2
_
. Temos ainda que g

(x) = 0 se, e somente se, sen x = 0; portanto,


g

(x) = 0 se, e somente se, x = . Alem disso, como g

(x) = sen x + xcos x


para todo x
_

2
,
3
2
_
, vem
g

() = cos = < 0.
Logo, e o unico ponto de m aximo local de g em
_

2
,
3
2
_
.
Exerccio 4: Determine f
_

2
_
, sendo f : R R uma fun c ao contnua
tal que
_
x
0
f(t) dt = x
3
sen (2x)
para todo x R.
Solu cao: Denamos F(x) =
_
x
0
f(t) dt para todo x R. Como F(x) =
x
3
sen (2x) para todo x R, ent ao
f(x) = F

(x) = 3x
2
sen (2x) + 2x
3
cos(2x)
para todo x R. Em particular,
f
_

2
_
= 3
_

2
_
2
sen + 2
_

2
_
3
cos =

3
4
.
Exerccio 5: Mostre que a fun c ao
G(x) =
_
x
3
+x
1
1
1 + cos
4
t
dt (x R)
e crescente.
Solu cao: Denamos g(x) = x
3
+ x e F(x) =
_
x
1
1
1 + cos
4
t
dt para todo
x R. Ent ao e claro que G = F g. Pela regra da cadeia, G e deriv avel
em R e G

(x) = (F g)

(x) = F

(g(x))g

(x) = F

(x
3
+x) g

(x) =
3x
2
+1
1+cos
4
(x
3
+x)
para todo x R. Assim, G

(x) > 0 para todo x R, e da resulta que G e


crescente em R.
CEDERJ
56
Exerccios resolvidos.
M

ODULO 1 - AULA 6
Exerccio 6: Calcule
_
3
0
|x
2
1| dx.
Solu cao: Inicialmente, observemos que como a fun c ao x [0, 3] |x
2
1|R
e contnua (justique esta arma c ao), ent ao ela e integr avel em [0, 3]. Alem
disso, como x
2
1 0 para 0 x 1 e x
2
1 0 para 1 x 3, temos
|x
2
1| =
_
_
_
1 x
2
se 0 x 1 ,
x
2
1 se 1 x 3 .
Portanto,
_
3
0
|x
2
1| dx =
_
1
0
|x
2
1| dx +
_
3
1
|x
2
1| dx =
=
_
1
0
(1 x
2
) dx +
_
3
1
(x
2
1) dx =
=
_
1
0
dx
_
1
0
x
2
dx +
_
3
1
x
2
dx
_
3
1
dx =
= 1
1
3
+
1
3
_
3
3
1
3
_
2 =
22
3
.
Exerccio 7: Sejam a < b e f : [a, b] R uma fun c ao contnua. Mostre que
existe u [a, b] tal que
_
u
a
f(t)dt =
_
b
u
f(t)dt.
Solu cao: O resultado e claro se
_
b
a
f(x)dx = 0 (basta tomar u = a ou
u = b). Suponhamos ent ao
_
b
a
f(x)dx = 0, digamos
_
b
a
f(x)dx > 0. Consi-
deremos a fun c ao
G(x) =
_
x
a
f(t)dt
_
b
x
f(t)dt,
denida para x [a, b]. Como vimos na aula 3, as fun c oes
x [a, b]
_
x
a
f(t)dt R e x [a, b]
_
b
x
f(t)dt R
s ao deriv aveis em [a, b], logo contnuas em [a, b]. Conseq uentemente, G e
contnua em [a, b]. Alem disso,
G(a)=
_
a
a
f(t)dt
_
b
a
f(t)dt=
_
b
a
f(t)dt < 0 <
_
b
a
f(t)dt
_
b
b
f(t)dt=G(b).
Pelo teorema do valor intermedi ario, existe u (a, b) tal que G(u) = 0,
isto e,
_
u
a
f(t)dt =
_
b
u
f(t)dt.
57
CEDERJ
Exerccios resolvidos.
Exerccio 8: Mostre que
3
24

_
3

4
(1 + sen
2
x)dx
7
48
.
Solu cao: Pelo teorema do valor medio para integrais (justique a aplicabi-
lidade do mesmo), existe u
_

4
,

3

tal que
_
3

4
(1 + sen
2
x)dx = (1 + sen
2
u)
_

3


4
_
=

12
(1 + sen
2
u).
Por outro lado, como

2
2
= sen

4
sen x sen

3
=

3
2
para todo x
_

4
,

3

, segue que
3
2
= 1 +
1
2
1 + sen
2
u 1 +
3
4
=
7
4
.
Logo,
3
24
=

12

3
2

_
3

4
(1 + sen
2
x)dx =

12
(1 + sen
2
u)

12

7
4
=
7
48
,
provando o que desej avamos.
Exerccio 9: Calcule a area da regi ao compreendida entre o gr aco de
f(x) = (sec x)(tg x), o eixo das abscissas e as retas x =

4
e x =

4
.
Solu cao: Primeiramente, notemos que sec x > 0 para todo x
_


4
,

4

,
tg x 0 para todo x
_


4
, 0

e tg x 0 para todo x
_
0,

4

. Portanto,
f(x) 0 para todo x
_


4
, 0

e f(x) 0 para todo x


_
0,

4

. Assim, a
area em quest ao e

_
0

4
(sec x)(tg x)dx +
_
4
0
(sec x)(tg x)dx.
Tomemos agora G(x) = sec x para x
_
0,

4

. A fun c ao G e deriv avel


em
_
0,

4

e
G

(x) =
(sen x)
cos
2
x
=
1
cos x
sen x
cos x
= (sec x)(tg x)
CEDERJ
58
Exerccios resolvidos.
M

ODULO 1 - AULA 6
para todo x
_
0,

4

. Pelo Teorema Fundamental do C alculo,


_
4
0
(sec x)(tg x)dx = G
_

4
_
G(0) = sec

4
sec 0 =
2

2
1 =

2 1.
De modo an alogo, verica-se que
_
0

4
(sec x)(tg x)dx = (

2 1)
`
na verdade, este fato decorre facilmente do que vimos acima, j a que f(x) =
f(x) para todo x
_


4
, 0
_
.
Podemos ent ao nalmente armar que a area procurada e 2(

2 1).
Resumo
Esta aula e dedicada, essencialmente, a exerccios nos quais o Teorema
Fundamental do C alculo est a envolvido. Outros resultados importantes, vis-
tos no decorrer do curso, tambem foram utilizados.
59
CEDERJ
A fun cao logartmica.
M

ODULO 1 - AULA 7
Aula 7 A fun cao logartmica.
Referencias: Aulas 40, de
Pre-C alculo, 5, 8, 12, 16, 17,
18, 26 de C alculo I, e 2, 3 e 4
de C alculo II.
Objetivos
Compreender o signicado da fun c ao logartmica.
Estudar propriedades b asicas da fun c ao logartmica.
No m odulo 4, de Pre-C alculo, fez-se uma primeira apresenta c ao da
fun c ao logartmica. Nesta e na pr oxima aula, faremos uma apresenta c ao
rigorosa da fun c ao logartmica, usando como ferramenta a integral denida.
Deni cao 7.1 Para cada x > 0, denamos
log x =
_
x
1
1
t
dt .
O n umero real log x e dito o logaritmo de x e a fun c ao x (0, +)
log x R e dita a fun c ao logartmica.
Observemos que a existencia de
_
x
1
1
t
dt, para cada x > 0, decorre da
continuidade da fun c ao t (0, +)
1
t
R.
Tem-se log 1 =
_
1
1
1
t
dt = 0. Alem disso, para x > 1, log x e a area da
regi ao hachurada na Figura 7.1a; e, para 0 < x < 1, log x e o simetrico da
area da regi ao hachurada na Figura 7.1b, pois log x =
_
x
1
1
t
dt =
_
1
x
1
t
dt.
(a) (b)
0
1
1/x
1
x
0
1
1/x
1
x
Figura 7.1
Como, para x > 1, a area do ret angulo de base [1, x] e altura
1
x
e
1
x
(x 1), segue da Figura 7.1a que log x
1
x
(x 1) > 0. Por outro lado,
61
CEDERJ
A fun cao logartmica.
para 0 < x < 1, a area do ret angulo de base [x, 1] e altura 1 e 1 x; logo,
resulta da Figura 7.1b que
_
1
x
1
t
dt 1 x, isto e,
log x =
_
1
x
1
t
dt (1 x) = x 1 < 0.
Justiquemos analiticamente a validade das desigualdades log x
1
x
(x
1) para x > 1 e log x x 1 para 0 < x < 1. Com efeito, para cada x > 1,
tem-se que se 1 t x, ent ao
1
t

1
x
. Logo,
log x =
_
x
1
1
t
dt
_
x
1
1
x
dt =
1
x
_
x
1
dt =
1
x
(x 1).
Por outro lado, para cada 0 < x < 1, tem-se que se x t 1, ent ao
1
t
1. Logo,
_
1
x
1
t
dt
_
1
x
dt = (1 x),
o que implica
log x =
_
x
1
1
t
dt =
_
1
x
1
t
dt (1 x) = x 1.
Um fato importante, que decorre do Teorema 3.1, e o seguinte:
Proposi cao 7.1
A fun c ao log x =
_
x
1
1
t
dt e deriv avel em (0, +) e
log

(x) =
1
x
para todo x (0, +), onde log

(x) representa a derivada da fun c ao lo-


gartmica no ponto x.
Exemplo 7.1
A fun c ao g(x) = log(1+x
2
) e deriv avel em R e g

(x) =
2x
1+x
2
para todo x R.
De fato, seja f(x) = 1 + x
2
para todo x R (notemos que f(x) =
1 + x
2
1 > 0 para todo x R ). Ent ao g = log f (onde log denota a
fun c ao logartmica), pois (log f)(x) = log(f(x)) = log(1 + x
2
) = g(x) para
todo x R . Pela regra da cadeia, g e deriv avel em R e
g

(x) = (log f)

(x) = log

(f(x))f

(x) = 2xlog

(1 + x
2
) =
2x
1 + x
2
para todo x R.
CEDERJ
62
A fun cao logartmica.
M

ODULO 1 - AULA 7
Exemplo 7.2
Para quaisquer a, b R, com 0 < a < b, tem-se
_
b
a
1
x
dx = log b log a.
De fato, seja f(x) =
1
x
para todo x [a, b]; ent ao f e contnua em [a, b].
Seja G(x) = log x para todo x [a, b]. Pela Proposi c ao 7.1, G e deriv avel em
[a, b] e G

(x) =
1
x
= f(x) para todo x [a, b]. Pelo Teorema Fundamental do
C alculo,
_
b
a
1
x
dx =
_
b
a
f(x)dx = G(b) G(a) = log b log a.
Portanto, a area da regi ao compreendida entre o gr aco de f(x) =
1
x
, o
eixo das abscissas e as retas x = a e x = b (ver a Figura 7.2) e log b log a.
0
a
b
Figura 7.2
A pr oxima proposi c ao expressa a propriedade fundamental da fun c ao
logartmica.
Proposi cao 7.2
Para quaisquer x, y (0, +), tem-se
log(xy) = log x + log y.
Demonstra cao: Fixemos x (0, +) e consideremos a fun c ao g : (0, +)
R denida por g(y) = log(xy) para todo y (0, +).
Seja f(y) = xy para todo y (0, +); ent ao g = log f, pois
g(y) = log(xy) = log(f(y)) = (log f)(y) para todo y (0, +). Como
63
CEDERJ
A fun cao logartmica.
f e log s ao deriv aveis em (0, +), segue da regra da cadeia que g e deriv avel
em (0, +) e
g

(y) = (log f)

(y) = (log

(f(y))) f

(y) =
= (log

(xy)) x =
=
1
xy
x =
1
y
= log

(y)
para todo y (0, +). Pelo Corol ario 17.1, visto em C alculo I, a fun c ao
g log e constante, isto e, existe c R tal que g(y) log y = c para todo
y (0, +). Fazendo y = 1, obtemos c = g(1) = log x. Portanto,
log(xy) = log x + log y
para todo y (0, +). Finalmente, como x e arbitr ario, a demonstra c ao
est a concluda.
Fazendo x = y na Proposi c ao 7.2, segue que
log(x
2
) = log(xx) = log x + log x = 2 log x.
Conseq uentemente,
log(x
3
) = log(x
2
x) = log(x
2
) + log x = 2 log x + log x = 3 log x.
Usando a Proposi c ao 7.2 e o princpio de indu c ao nita podemos armar
que
log(x
n
) = nlog x
para todo x (0, +) e para todo inteiro n 1.
Seja x (0, +) arbitr ario. Ent ao
0 = log 1 = log
_
x
1
x
_
= log x + log
_
1
x
_
,
ou seja,
log
_
1
x
_
= log x.
Usando a Proposi c ao 7.2 e o que acabamos de ver segue que, para
quaisquer x, y (0, +),
log
_
x
y
_
= log
_
x
1
y
_
= log x + log
_
1
y
_
= log x log y.
Vejamos mais algumas propriedades importantes da fun c ao logartmica.
CEDERJ
64
A fun cao logartmica.
M

ODULO 1 - AULA 7
Proposi cao 7.3
(a) A fun c ao logartmica e crescente.
(b) O gr aco da fun c ao logartmica tem concavidade para baixo.
(c) A imagem da fun c ao logartmica e R, isto e,
{log x; x (0, +)} = R.
(d) A fun c ao logartmica e bijetora.
Demonstra cao: (a): Como log

(x) =
1
x
> 0 para todo x (0, +) (Pro-
posi c ao 7.1), (a) decorre da Proposi c ao 17.1(b), vista em C alculo I.
(b): Como log

(x) =
1
x
2
< 0 para todo x (0, +), (b) decorre da
Proposi c ao 18.1(b), vista em C alculo I.
(c): Como 2 > 1, log 2 > 0. Logo,
lim
n
log(2
n
) = lim
n
(nlog 2) = +
e
lim
n
log
_
1
2
n
_
= lim
n
(log(2
n
)) = .
Seja y R arbitr ario. Ent ao, em vista do que acabamos de observar,
podemos encontrar um inteiro m 1 tal que log
_
1
2
m
_
< y < log(2
m
). Como
a fun c ao logartmica e contnua em
_
1
2
m
, 2
m

, podemos aplicar o teorema do


valor intermedi ario para obter x
_
1
2
m
, 2
m
_
tal que log x = y. Portanto,
{log x; x (0, +)} = R, provando (c).
(d): A fun c ao logartmica e injetora em vista de (a) e sobrejetora em
vista de (c). Portanto, a referida fun c ao e bijetora, provando (d).
Levando em considera c ao as informa c oes obtidas na Proposi c ao 7.3,
podemos garantir que o gr aco da fun c ao logartmica e como na Figura 7.3.
0
1
Figura 7.3
65
CEDERJ
A fun cao logartmica.
Pela Proposi c ao 7.3(d), existe um unico n umero real pertencente a
(0, +), denotado por e, tal que log e = 1.

E possvel mostrar que o n umero
e e irracional (sendo 2,71828183 uma boa aproxima c ao para e), mas n ao o
faremos aqui. Veremos apenas que 2 < e < 4. Realmente, como a area
da regi ao compreendida entre o gr aco de f(x) =
1
x
, o eixo das abscissas e
as retas x = 1 e x = 2 e menor do que 1 (ver a Figura 7.4a), log 2 < 1.
Por outro lado, como a area da regi ao compreendida entre o gr aco de
f(x) =
1
x
, o eixo das abscissas e as retas x = 1 e x = 4 e maior do que
1 (ver a Figura 7.4b), 1 < log 4.
Uma demonstra c ao do fato
de que e e irracional pode
ser encontrada em M.
Spivak, Calculus, W. A.
Benjamin, Inc. (1967).
(a) (b)
0
1
1/2
1 2
0
1
1/2
1/4
1 2 3 4
Figura 7.4
Logo, log 2 < 1 < log 4, ou seja, log 2 < log e < log 4. Como a fun c ao
logartmica e crescente, conclumos que 2 < e < 4.
J a sabemos que lim
x+
log x = +. Concluiremos esta aula mostrando
que a fun c ao f(x) = x cresce muito mais r apido do que a fun c ao logartmica.
Proposi cao 7.4
Para todo x (0, +),
log x < x.
Demonstra cao: A asser c ao e clara se x (0, 1), pois log x < 0 se x (0, 1).
Vamos provar a asser c ao para x [1, +). Com efeito, consideremos
a fun c ao g(x) = log xx, denida para x [1, +). Ent ao g e deriv avel em
[1, +) e g

(x) =
1
x
1 =
1x
x
para todo x [1, +). Logo, g

(x) < 0 para


todo x (1, +), e da resulta que g e decrescente em [1, +). Portanto,
para todo x (1, +), g(x) < g(1) = log 11 = 1 < 0, isto e, log xx < 0,
isto e, log x < x. Finalmente, como log 1 = 0 < 1, a demonstra c ao est a
concluda.
CEDERJ
66
A fun cao logartmica.
M

ODULO 1 - AULA 7
Proposi cao 7.5
lim
x+
log x
x
= 0.
Demonstra cao: Para todo x (0, +), temos que

x (0, +); logo, pela
proposi c ao anterior, log

x <

x, isto e,
log

x
< 1 . Por outro lado, pela
Proposi c ao 7.2,
log x
x
=
log(

x)
x
= 2
log

x
.
1

x
para todo x > 0.
Conseq uentemente, podemos armar que
0
log x
x
< 2
1

x
para todo x [1, +). Como lim
x+
1

x
= 0, segue da desigualdade acima
que lim
x+
log x
x
= 0, como queramos demonstrar.
Decorre da Proposi c ao 7.5 que lim
x+
log x
x
n
= 0 para todo inteiro n 1.
Realmente, temos
0
log x
x
n

log x
x
para todo x [1, +).
Resumo
Nesta aula voce foi apresentado ` a fun c ao logartmica e estudou algumas
propriedades b asicas da mesma.
Exerccios
1. De o domnio e esboce o gr aco das seguintes fun c oes:
(a) f(x) = log(x + 1) ; (b) f(x) = log |x|.
67
CEDERJ
A fun cao logartmica.
2. De o domnio e derive as seguintes fun c oes:
(a) f(x) = log(x + 1) ; (b) f(x) = log |x| ;
(c) f(x) = log(x
2
4x + 5) ; (d) f(x) = log(x) ;
(e) f(x) = sen (log x) ; (f) f(x) = log(sen x) ;
(g) f(x) = cos(log x) ; (h) f(x) = log(cos x) ;
(i) f(x) = log(log x) ; (j) f(x) = log(1 + sen
2
x) ;
(l) f(x) = log
_
cos x
1 + x
2
_
.
3. Mostre, usando o princpio de indu c ao nita, que log(x
n
) = nlog x para
todo x (0, +) e para todo inteiro n 1. Conclua que log
_
x
1
n
_
=
logx
n
para todo x (0, +) e para todo inteiro n 1.
4. Obtenha a Proposi c ao 7.5 a partir da regra de LH opital, estudada na
aula 26 de C alculo I.
5. Use a regra de LH opital para calcular os seguintes limites:
(a) lim
x0
log(x + 1) x +
x
2
2
x
2
; (b) lim
x0
log(x + 1) x +
x
2
2
x
3
;
(c) lim
x0
log(x + 1) x +
x
2
2

x
3
3
x
3
.
6. Mostre, usando a Proposi c ao 7.1, que
lim
x0
log(1 + x)
x
= 1.
7. Use o exerccio anterior para mostrar que
lim
x+
x log
_
1 +
1
x
_
= 1.
8. Determine a area da regi ao compreendida entre os gr acos de f(x) =
1
x
,
g(x) = x
2
e a reta y = 2, para x > 0.
9. A fun c ao deriv avel y = f(x) est a denida implicitamente pela equa c ao
x
3
x log y + y
3
= 2x + 5. Encontre a equa c ao da reta tangente ao
gr aco de f no ponto (2, 1).
CEDERJ
68
A fun cao logartmica.
M

ODULO 1 - AULA 7
Auto-avalia cao
Nos exerccios desta aula voce p ode perceber se entendeu os fatos
b asicos sobre a fun c ao logartmica que acabamos de discutir. Tendo em
vista a import ancia dos referidos fatos, s o passe para a pr oxima aula ap os
fazer todos os exerccios propostos.
69
CEDERJ
A fun cao logartmica. Continua cao.
M

ODULO 1 - AULA 8
Aula 8 A fun cao logartmica. Continua cao.
Referencias: Aulas 10, 12,
16, 17 e 18 de C alculo I, e 7
de C alculo II.
Objetivos
Entender a no c ao de logaritmo de um n umero maior do que zero em
uma base dada.
Estudar propriedades b asicas a respeito desta no c ao.
Na aula anterior, introduzimos a fun c ao logartmica e estudamos algu-
mas de suas propriedades b asicas. Nesta aula, nos apoiaremos no que vimos
na anterior para denir o logaritmo de um n umero maior do que zero em
uma base dada e estudar propriedades b asicas acerca desta no c ao.
Deni cao 8.1 Seja a (0, +), a = 1. Para cada x (0, +) denimos
log
a
x =
log x
log a
.
O n umero log
a
x e dito o logaritmo de x na base a.
No caso particular em que a = e, temos
log
e
x =
log x
log e
= log x
para todo x (0, +), ou seja, o logaritmo de x na base e coincide com o
logaritmo de x para qualquer x (0, +).
Proposi cao 8.1
Seja a (0, +), a = 1. Ent ao valem as seguintes propriedades para quais-
quer x, y (0, +):
(a) log
a
x = 0 se, e somente se, x = 1 ;
(b) log
a
x = 1 se, e somente se, x = a ;
(c) log
a
(xy) = log
a
x + log
a
y ;
(d) log
a
_
1
x
_
= log
a
x;
(e) log
a
_
x
y
_
= log
a
x log
a
y ;
(f) log
a
(x
n
) = nlog
a
x para todo inteiro n 1.
71
CEDERJ
A fun cao logartmica. Continua cao.
Demonstra cao:
(a): log
a
x = 0 se, e somente se,
log x
log a
= 0 se, e somente se, log x = 0 se,
e somente se, x = 1.
(b): log
a
x = 1 se, e somente se,
log x
log a
= 1 se, e somente se, log x = log a
se, e somente se, x = a.
(c):
log
a
(xy) =
log(xy)
log a
=
log x + log y
log a
=
=
log x
log a
+
log y
log a
= log
a
x + log
a
y.
(d):
log
a
_
1
x
_
=
log
_
1
x
_
log a
=
log x
log a
=
log x
log a
= log
a
x.
(e):
log
a
_
x
y
_
= log
a
_
x.
1
y
_
= log
a
x + log
a
_
1
y
_
= log
a
x log
a
y.
(f):
log
a
(x
n
) =
log(x
n
)
log a
=
nlog x
log a
= n
log x
log a
= nlog
a
x
para todo inteiro n 1.
Proposi cao 8.2
A fun c ao
log
a
: x (0, +) log
a
x R
e bijetora.
Demonstra cao: De fato, vimos na Proposi c ao 7.3(d) que a fun c ao logartmica
e bijetora. Da resulta facilmente que a fun c ao log
a
e bijetora, pois
log
a
x =
1
log a
log x
para todo x (0, +).
CEDERJ
72
A fun cao logartmica. Continua cao.
M

ODULO 1 - AULA 8
Proposi cao 8.3
A fun c ao log
a
e deriv avel em (0, +) e
log

a
(x) =
1
xlog a
para todo x (0, +), onde log

a
(x) representa a derivada da fun c ao log
a
em x.
Demonstra cao: Como log
a
x =
1
log a
log x para todo x (0, +), segue
da Proposi c ao 7.1 que a fun c ao log
a
e deriv avel em (0, +) e log

a
(x) =
1
log a
log

(x) =
1
xlog a
para todo x (0, +).
Exemplo 8.1
Seja a (0, +), a = 1. Ent ao a fun c ao f(x) = log
a
_
1
x
2
+3
_
e deriv avel em
R e
f

(x) =
2
log a
.
x
x
2
+ 3
para todo x R.
De fato, denamos h(x) =
1
x
2
+3
para todo x R; ent ao h(x) > 0
para todo x R. Como f = log
a
h (pois (log
a
h)(x) = log
a
(h(x)) =
log
a
_
1
x
2
+3
_
= f(x) para todo x R) e como h e deriv avel em R e log
a
em
(0, +), segue da regra da cadeia que f e deriv avel em R e
f

(x) = (log
a
h)

(x) = log

a
(h(x))h

(x) =
= log

a
_
1
x
2
+ 3
_

_
2x
(x
2
+ 3)
2
_
=
=
1
log a

1
1
x
2
+3

2x
(x
2
+ 3)
2
=
2
log a

x
x
2
+ 3
para todo x R.
Em particular,
f

(0) =
2
log a
.
0
3
= 0
e
f

2) =
2
log a
.

2
(

2)
2
+ 3
=
2

2
5 log a
.
73
CEDERJ
A fun cao logartmica. Continua cao.
Exemplo 8.2
Seja a (0, 1) e consideremos f como no Exemplo 8.1. Ent ao f e decrescente
em (, 0) e crescente em (0, +).
De fato, log a < 0, pois a (0, 1). Portanto, como f

(x) =
2
log a

x
x
2
+3
,
temos f

(x) < 0 para x (, 0) e f

(x) > 0 para x (0, +). Logo, a


nossa arma c ao segue da Proposi c ao 17.1(c), (b), vista no C alculo I.
Analogamente, temos:
Exemplo 8.3
Seja a (1, +) e consideremos f como no Exemplo 8.1. Ent ao f e crescente
em (, 0) e decrescente em (0, +).
Proposi cao 8.4
Seja a (0, 1). Ent ao valem as seguintes propriedades:
(a) a fun c ao log
a
e decrescente;
(b) o gr aco da fun c ao log
a
tem concavidade para cima;
(c) lim
x0
+
log
a
x = + e lim
x+
log
a
x = .
Demonstra cao: Como 0 < a < 1, log a < 0. Conseq uentemente, log

a
(x) =
1
x log a
< 0 para todo x (0, +). Pela Proposi c ao 17.1(c), vista em C alculo
I, temos (a).
Como log

a
(x) =
1
x
2
log a
> 0 para todo x (0, +), (b) segue da
Proposi c ao 18.1(a), vista em C alculo I.
Finalmente, lim
x0
+
log
a
x = lim
x0
+
log x
log a
= +, pois lim
x0
+
log x = . E
lim
x+
log
a
x = lim
x+
log x
log a
= , pois lim
x+
log x = +. Isto prova (c).
Em vista do que acabamos de ver, podemos esbo car o gr aco da fun c ao
log
a
quando 0 < a < 1; ver a Figura 8.1.
Proposi cao 8.5
Seja a (1, +). Ent ao valem as seguintes propriedades:
(a) a fun c ao log
a
e crescente;
(b) o gr aco da fun c ao log
a
tem concavidade para baixo;
(c) lim
x0
+
log
a
x = e lim
x+
log
a
x = +.
CEDERJ
74
A fun cao logartmica. Continua cao.
M

ODULO 1 - AULA 8
1
0
1
a
2
e
3
Figura 8.1
Demonstra cao: Como a > 1, log a > 0. Basta, ent ao, raciocinar como na
demonstra c ao da proposi c ao anterior para provar (a), (b) e (c) acima.
Em vista do que acabamos de ver, podemos esbo car o gr aco da fun c ao
log
a
quando a > 1; ver a Figura 8.2.
1
1
a
2
e
3
Figura 8.2
Vimos, no nal da aula passada, que
lim
x+
log x
x
n
= 0
para todo inteiro n 1.
Consideremos a (0, +), a = 1. Ent ao
lim
x+
log
a
x
x
n
= lim
x+
_
1
log a
.
log x
x
n
_
=
=
1
log a
_
lim
x+
log x
x
n
_
= 0
para todo inteiro n 1.
75
CEDERJ
A fun cao logartmica. Continua cao.
Resumo
Nesta aula voce estudou o logaritmo de um n umero maior do que zero
em uma base a (0, +) {1}, bem como algumas propriedades b asicas a
respeito desta no c ao.
Exerccios
1. De o domnio e esboce o gr aco das seguintes fun c oes:
(a) f(x) = log
3
(x 1) ; (b) f(x) = 1 + log1
4
|2x 1|.
2. De o domnio e derive as seguintes fun c oes:
(a) f(x) = log
3
(x 1) ; (b) f(x) = 1 + log1
4
|2x 1| ;
(c) f(x) = log
2
(x
2
+ x + 1) ; (d) f(x) = log

2
(log x) ;
(e) f(x) = log(log

2
x) ; (f) f(x) = log
e
(x
2
+ x 2) ;
(g) f(x) = log

3
_
log1
2
x
_
; (h) f(x) = log1
2
_
log

3
x
_
;
(i) f(x) = log
5
_
x
x
2
+1
_
; (j) f(x) = log1
5
_
sen
2
x
x
2
1
_
.
3. (a) Mostre que a fun c ao f(x) = log
1
7
_
1
x
4
_
, denida para x R {0},
e decrescente em (, 0) e crescente em (0, +).
(b) Mostre que (a) continua v alido se substituirmos
1
7
por qualquer
a (0, 1).
(c) O que ocorreria se substitussemos
1
7
por qualquer a (1, +)?
4. Seja H(x) =
_
log
4
x
x
2
cos t dt para todo x (0, +). Mostre que H e
deriv avel em (0, +) e
H

(x) =
cos (log
4
x)
xlog 4
2xcos(x
2
)
para todo x (0, +).
5. Calcule os seguintes limites:
(a) lim
x+
log

3
x
x
2
; (b) lim
x0

log

(x) ;
(c) lim
x0

log

2
2
x
2
; (d) lim
x0
log

(sen
2
x) ;
(e) lim
x0
log

2
2
(sen
2
x).
CEDERJ
76
A fun cao logartmica. Continua cao.
M

ODULO 1 - AULA 8
Auto-avalia cao
Os exerccios desta aula dependem, fundamentalmente, do que acabou
de ser visto, das regras de deriva c ao e do conte udo das aulas 17 de C alculo
I e 3 de C alculo II. Trata-se, portanto, de mais uma oportunidade para
xar fatos importantes estudados no decorrer do curso. Em caso de d uvida
consulte essas aulas ou procure o tutor no p olo.
77
CEDERJ
A fun cao exponencial.
M

ODULO 1 - AULA 9
Aula 9 A fun cao exponencial.
Referencias: Aulas 8, 10,
12, 16, 17, 18, 26 e 27 de
C alculo I, 3, 4 e 7 de C alculo
II.
Objetivos
Compreender o signicado da fun c ao exponencial.
Estudar propriedades b asicas da fun c ao exponencial.
No m odulo 4, de Pre-C alculo, fez-se uma primeira apresenta c ao da
fun c ao exponencial. Nesta e na pr oxima aula, faremos um estudo rigoroso da
fun c ao exponencial baseado no que j a estudamos sobre a fun c ao logartmica.
Vimos, na aula 7 de C alculo I, que a fun c ao logartmica e uma fun c ao
bijetora de (0, +) em R. Portanto, ela possui uma fun c ao inversa, cujo
domnio e a imagem da fun c ao logartmica (isto e, R) e cuja imagem e o
domnio da fun c ao logartmica (isto e, (0, +)).
Deni cao 9.1 A inversa da fun c ao logartmica e dita a fun c ao exponencial. A
imagem de cada x R pela fun c ao exponencial ser a denotada por e
x
.
Pela deni c ao de inversa de uma fun c ao podemos armar que
log(e
x
) = x para todo x R
e
e
log x
= x para todo x (0, +).
Em particular, e
0
= e
log 1
= 1 e e
1
= e
log e
= e.
A proposi c ao a seguir expressa a propriedade fundamental da fun c ao
exponencial.
Proposi cao 9.1
Para quaisquer x, y R, tem-se
e
x+y
= e
x
e
y
.
Demonstra cao: Sejam x, y R. Ent ao existem u, v (0, +), necessari-
amente unicos, tais que log u = x e log v = y. Conseq uentemente, pela
Proposi c ao 7.2,
e
x+y
= e
log u+log v
= e
log(uv)
= uv = e
x
e
y
,
como queramos demonstrar.
Vejamos outras propriedades importantes da fun c ao exponencial, algu-
mas das quais dependem fortemente da proposi c ao anterior.
79
CEDERJ
A fun cao exponencial.
Proposi cao 9.2
(a) A fun c ao exponencial e crescente.
(b) Para quaisquer x, y R, tem-se
e
x
=
1
e
x
e e
xy
=
e
x
e
y
.
(c) Para todo x R e para todo inteiro n 0, tem-se e
nx
= (e
x
)
n
.
(d) Para todo x R e para todo inteiro n, tem-se e
nx
= (e
x
)
n
.
(e) Para quaisquer inteiros p e q, q = 0, tem-se e
p
q
=
_
e
1
q
_p
.
Demonstra cao: (a): Basta lembrar que a inversa de uma fun c ao crescente e
uma fun c ao crescente.
(b): Como 1 = e
0
= e
x+(x)
= e
x
e
x
, segue que e
x
=
1
e
x
. Logo,
e
xy
= e
x+(y)
= e
x
e
y
=
e
x
e
y
.
(c): Seja x R arbitr ario. Vamos usar o princpio de indu c ao nita
para mostrar que e
nx
= (e
x
)
n
para todo inteiro n 0.

E claro que a arma c ao e satisfeita para n = 0. Seja k 0 e supo-


nhamos a arma c ao v alida para k, ou seja, admitamos que e
kx
= (e
x
)
k
.
Ent ao
e
(k+1)x
= e
kx+x
= e
kx
e
x
= (e
x
)
k
e
x
= (e
x
)
k+1
,
provando que a arma c ao e v alida para k + 1. Pelo princpio de indu c ao
nita, e
nx
= (e
x
)
n
para todo inteiro n 0.
Finalmente, como x e arbitr ario, a demonstra c ao de (c) est a concluda.
(d): Seja x R arbitr ario e seja n um inteiro, com n < 0. Como
n > 0, segue de (c) que e
(n)x
= (e
x
)
n
. Logo, por (b), obtemos
e
nx
= e
((n)x)
=
1
e
(n)x
=
1
(e
x
)
n
= (e
x
)
n
.
Como, em vista de (c), a igualdade e
nx
= (e
x
)
n
e satisfeita para todo
inteiro n 0, acabamos de mostrar a validade de (d).
(e): Sejam p e q dois inteiros arbitr arios, com q = 0. Ent ao, por (d),
e
p
q
= e
p
1
q
=
_
e
1
q
_
p
,
provando (e).
A pr oxima proposi c ao diz respeito ` a derivabilidade da fun c ao
exponencial.
CEDERJ
80
A fun cao exponencial.
M

ODULO 1 - AULA 9
Proposi cao 9.3
A fun c ao exponencial e deriv avel em R e (e
x
)

= e
x
para todo x R, onde
(e
x
)

denota a derivada da fun c ao exponencial em x.


Demonstra cao: Para facilitar a compreens ao da demonstra c ao escrevamos
f(x) = log x, x (0, +); logo, f
1
(x) = e
x
, x R. Pelo teorema da
fun c ao inversa, estudado na aula 27 de C alculo I, f
1
e deriv avel em R e
(f
1
)

(f(t)) =
1
f

(t)
=
1
log

(t)
=
1
1
t
= t
para todo t (0, +).
Seja x R arbitr ario. Ent ao x = log t = f(t) para um unico
t (0, +). Portanto,
(e
x
)

= (f
1
)

(x) = (f
1
)

(f(t)) = t = f
1
(x) = e
x
,
concluindo assim a demonstra c ao.
Pela proposi c ao acima, a fun c ao exponencial e duas vezes deriv avel em
R e (e
x
)

= ((e
x
)

= (e
x
)

= e
x
para todo x R. Mais geralmente, segue
da referida proposi c ao e do princpio de indu c ao nita que, para todo inteiro
n 1, a fun c ao exponencial e n vezes deriv avel em R e (e
x
)
(n)
= e
x
para
todo x R.
Exemplo 9.1
Seja f(x) = e
sen
2
x
para todo x R. Ent ao f e deriv avel em R e f

(x) =
2(sen x)(cos x)e
sen
2
x
para todo x R.
Com efeito, seja h(x) = sen
2
x para todo x R; h e deriv avel em R e
h

(x) = 2(sen x)(cos x) para todo x R (justique esta arma c ao). Como
f(x) = e
h(x)
para todo x R, segue da regra da cadeia que f e deriv avel em
R e
f

(x) = 2(sen x)(cos x)e


sen
2
x
para todo x R.
Proposi cao 9.4
(a) O gr aco da fun c ao exponencial tem concavidade para cima.
(b) lim
x
e
x
= 0 e lim
x+
e
x
= +.
Demonstra cao:
(a): Como (e
x
)

= e
x
> 0 para todo x R, (a) segue da Proposi c ao
18.1(a), vista em C alculo I.
81
CEDERJ
A fun cao exponencial.
(b): Para cada x R existe um unico t (0, +) tal que x = log t.
Alem disso, x se, e somente se, t 0
+
e x + se, e somente se,
t +. Portanto,
lim
x
e
x
= lim
t0
+
e
log t
= lim
t0
+
t = 0
e
lim
x+
e
x
= lim
t+
e
log t
= lim
t+
t = +,
como queramos demonstrar.
Usando o que vimos ate agora, podemos garantir que o gr aco da fun c ao
exponencial e como na Figura 9.1.
0
1
2
e
3
1
Figura 9.1
Exemplo 9.2
Para quaisquer a, b R, com a < b, tem-se
_
b
a
e
x
dx = e
b
e
a
.
Com efeito, seja G(x) = e
x
. Pela Proposi c ao 9.3, G

(x) = e
x
para todo
x R. Portanto, pelo Teorema Fundamental do C alculo,
_
b
a
e
x
dx = G(b) G(a) = e
b
e
a
.
Logo, a area da regi ao compreendida entre o gr aco de f(x) = e
x
, o
eixo das abscissas e as retas x = a e x = b e e
b
e
a
(na Figura 9.2 hachuramos
a regi ao mencionada).
CEDERJ
82
A fun cao exponencial.
M

ODULO 1 - AULA 9
1
0 a
b
Figura 9.2
Exemplo 9.3
Para quaisquer a, b R, com a < b, tem-se
_
b
a
cos xe
sen x
dx = e
sen b
e
sen a
.
Com efeito, consideremos a fun c ao G(x) = e
sen x
. Pela regra da cadeia,
G e deriv avel em R e tem por derivada a fun c ao contnua f(x) = cos xe
sen x
.
Portanto, pelo Teorema Fundamental do C alculo,
_
b
a
cos xe
sen x
dx =
_
b
a
f(x)dx = G(b) G(a) = e
sen b
e
sen a
.
A pr oxima proposi c ao nos diz que a fun c ao exponencial cresce muito
mais r apido do que qualquer polin omio x
n
(n = 1, 2, . . . ). Mais precisamente:
Proposi cao 9.5
Para todo inteiro n 1,
lim
x+
e
x
x
n
= +.
Demonstra cao: Vamos provar a asser c ao acima usando o princpio de
indu c ao nita.
No caso em que n = 1, devemos mostrar que
lim
x+
e
x
x
= +.
De fato, argumentando como na demonstra c ao da Proposi c ao 9.4(b),
obtemos
lim
x+
e
x
x
= lim
t+
e
log t
log t
= lim
t+
t
log t
.
Mas, pela Proposi c ao 7.5,
lim
t+
log t
t
= 0,
83
CEDERJ
A fun cao exponencial.
sendo
log t
t
> 0 para todo t (1, +). Conseq uentemente,
lim
x+
e
x
x
= lim
t+
t
log t
= lim
t+
_
1
log t
t
_
= +.
Seja k um inteiro, k 1, e admitamos que
lim
x+
e
x
x
k
= +.
Ent ao, como lim
x+
e
x
= + e lim
x+
x
k+1
= +, podemos aplicar a
regra de LH opital para obter
lim
x+
e
x
x
k+1
= lim
x+
e
x
(k + 1)x
k
=
1
k + 1
_
lim
x+
e
x
x
k
_
= +,
provando que a asser c ao e v alida para k +1. Pelo princpio de indu c ao nita,
a asser c ao e v alida para todo inteiro n 1, isto e,
lim
x+
e
x
x
n
= +
para todo inteiro n 1.
J a sabemos que a fun c ao deriv avel f(x) = e
x
e tal que f(0) = 1 e
f

(x) = f(x) para todo x R. Concluiremos esta aula mostrando que tais
propriedades caracterizam a fun c ao exponencial. Mais precisamente, temos
a seguinte
Proposi cao 9.6
Seja f : R R uma fun c ao deriv avel tal que f(0) = 1 e f

(x) = f(x) para


todo x R. Ent ao f(x) = e
x
para todo x R.
Demonstra cao: Consideremos a fun c ao g : R R, denida por g(x) =
f(x)
e
x
para todo x R (notemos que faz sentido considerar a fun c ao g, pois e
x
= 0
para todo x R). Como tanto f quanto a fun c ao exponencial s ao deriv aveis
em R, segue da Proposi c ao 10.4, vista no C alculo I, que g e deriv avel em R e
g

(x) =
f

(x)e
x
f(x)(e
x
)

(e
x
)
2
=
f

(x)e
x
f(x)e
x
(e
x
)
2
=
=
f(x)e
x
f(x)e
x
(e
x
)
2
= 0
para todo x R. Logo, pela Proposi c ao 17.1(a), vista em C alculo I, existe
c R tal que g(x) = c para todo x R, isto e, f(x) = c e
x
para todo x R.
Fazendo x = 0, obtemos 1 = f(0) = c e
0
= c. Assim, f(x) = e
x
para todo
x R, como queramos demonstrar.
CEDERJ
84
A fun cao exponencial.
M

ODULO 1 - AULA 9
Resumo
Nesta aula voce foi apresentado ` a fun c ao exponencial e aprendeu algu-
mas de suas propriedades b asicas.
Exerccios
1. Esboce o gr aco das seguintes fun c oes:
(a) f(x) = e
x
; (b) f(x) = e
|x|
; (c) f(x) = e
x1
.
2. De o domnio e derive as seguintes fun c oes:
(a) f(x) = e
x
2
+x+1
; (b) f(x) = e
sen x
; (c) f(x) = e
cos x
;
(d) f(x) = e
x
x
2
+1
; (e) f(x) = e
x
x
2
1
; (f) f(x) =
x
e
x
;
(g) f(x) =
x
e
x
1
; (h) f(x) =
sen
2
x
e
x
; (i) f(x) =
tg x
e
x
;
(j) f(x) = cos
2
(e
x
) ; (l) f(x) = cos
_
e
x
2
_
;
(m) f(x) = log(e
x
+ sen
2
x) .
3. Seja p um polin omio arbitr ario. Mostre que a fun c ao f(x) = e
p(x)
e
deriv avel em R e f

(x) = p

(x) e
p(x)
para todo x R. Conclua que, se
R e uma raiz de p, ent ao f

() = p

().
4. Dena senh x =
e
x
e
x
2
, cosh x =
e
x
+ e
x
2
e tgh x =
e
x
e
x
e
x
+ e
x
=
1
2
e
2x
+ 1
para todo x R. Mostre que, para quaisquer x, y R,
tem-se:
A fun c ao
x R senh x R e
conhecida como a fun c ao
seno hiperb olico, a fun c ao
x R cosh x R e
conhecida como a fun c ao
cosseno hiperb olico e a
fun c ao x R tgh x R e
conhecida como a fun c ao
tangente hiperb olica.
(a) cosh
2
x senh
2
x = 1 ;
(b) tgh
2
x +
1
cosh
2
x
= 1 ;
(c) senh (x + y) = (senh x)(cosh y) + (cosh x)(senh y) ;
(d) cosh(x + y) = (cosh x)(cosh y) + (senh x)(senh y) .
5. Mostre que as fun c oes senh, cosh e tgh s ao deriv aveis em R e, alem
disso, tem-se
(a) senh

(x) = cosh x,
(b) cosh

(x) = senh x e
85
CEDERJ
A fun cao exponencial.
(c) tgh

(x) =
1
cosh
2
x
para todo x R.
6. Use a regra de LH opital para calcular os seguintes limites:
(a) lim
x0
e
x
1 x
x
2
2
x
2
;
(b) lim
x0
e
x
1 x
x
2
2

x
3
6
x
3
;
(c) lim
x0
e
x
1 x
x
2
2
x
3
.
7. Para a, b R, com a < b, calcule
_
b
a
sen xe
cos x
dx.
Sugest ao: Raciocine como no Exemplo 9.3.
8. Calcule
_
b
a
e
x
dx, onde a e b s ao dois n umeros reais quaisquer, com
a < b, e R {0}.
9. Determine a concavidade do gr aco da fun c ao F(x) =
_
x
0
e
t
2
dt, de-
nida para x R.
10. Calcule
_
2
1
e
x
e
x
+ 5
dx.
Sugest ao: Considere G(x) = log(e
x
+ 5) e mostre que G

(x) =
e
x
e
x
+ 5
para todo x [1, 2].
11. Considere a fun c ao f(x) = e
2x
+ 2e
x
+ 3, denida para x R.
(a) Mostre que f e bijetora.
(b) Determine a equa c ao da reta tangente ao gr aco de f
1
no ponto
(6, 0).
Auto-avalia cao
Nos exerccios desta aula voce aliou fatos importantes, estudados no
decorrer do curso, ao que acabou de aprender a respeito da fun c ao exponen-
cial. Tendo em vista a import ancia da fun c ao exponencial, s o passe para a
pr oxima aula ap os fazer todos os exerccios propostos. Caso tenha sentido
diculdades, releia a aula. Permanecendo as d uvidas, consulte o tutor no
p olo.
CEDERJ
86
A fun cao exponencial. Continua cao.
M

ODULO 1 - AULA 10
Aula 10 A fun cao exponencial.
Continua cao.
Referencias: Aulas 10, 12,
16, 17, 18 e 27 de C alculo I,
4 e 8 de C alculo II.
Objetivos
Compreender o que se entende por a
x
, onde a (0, +) e x R.
Estudar propriedades b asicas a respeito desta no c ao.
Na aula 8 estudamos as fun c oes log
a
, onde a (0, +) {1}, as quais
s ao bijetoras em vista da Proposi c ao 8.2. Nesta aula nos dedicaremos ao
estudo das inversas das fun c oes log
a
. No caso particular em que a = e, j a
sabemos que a inversa da fun c ao log
a
e a fun c ao exponencial, que foi discutida
detalhadamente na aula anterior.
Deni cao 10.1 Seja a (0, +). Para cada x R denimos
a
x
= e
x log a
.
Como e
x
> 0 para todo x R, segue que a
x
> 0 para todo x R.
Se a = 1, temos a
x
= e
x log 1
= e
0
= 1 para todo x R.
Se a = e, temos a
x
= e
x log e
= e
x
para todo x R; isto signica dizer
que, neste caso, a fun c ao x R a
x
(0, +) e precisamente a fun c ao
exponencial.
Suponhamos a (0, +) {1}. Ent ao temos:
(a) para todo x R,
log
a
(a
x
) = log
a
_
e
x log a
_
=
log
_
e
x log a
_
log a
=
xlog a
log a
= x
e
(b) para todo x (0, +),
a
log
a
x
= e
(log
a
x) (log a)
= e
(
log x
log a
)
(log a)
= e
log x
= x.
Segue de (b) que, para cada a (0, +) {1}, a fun c ao x R a
x

(0, +) e a inversa da fun c ao log


a
.
Vejamos algumas propriedades importantes das fun c oes x R a
x

(0, +) que decorrem de propriedades j a provadas para a fun c ao exponencial.


87
CEDERJ
A fun cao exponencial. Continua cao.
Proposi cao 10.1
Seja a (0, +). Para quaisquer x, y R, tem-se:
(a) a
x+y
= a
x
. a
y
;
(b) (a
x
)
y
= a
xy
;
(c) a
x
=
1
a
x
;
(d) a
xy
=
a
x
a
y
.
Alem disso, se a = 1, a
x
= 1 se, e somente se, x = 0.
Demonstra cao: (a): a
x+y
= e
(x+y) log a
= e
xlog a+y log a
= e
x log a
. e
y log a
= a
x
. a
y
.
(b): Inicialmente, notemos que a arma c ao a ser provada faz sentido,
j a que a
x
> 0. Temos ent ao
(a
x
)
y
=
_
e
xlog a
_
y
= e
y log(e
x log a
)
= e
y(x log a)
= e
(xy) log a
= a
xy
,
como queramos provar.
(c): a
x
= e
(x) log a
= e
(x log a)
=
1
e
xlog a
=
1
a
x
.
(d): a
xy
= a
x+(y)
= a
x
. a
y
=
a
x
a
y
.
Finalmente, se a = 1, a
x
= 1 se, e somente se, e
x log a
= 1 = e
0
se, e
somente se, xlog a = 0 se, e somente se, x = 0.
Fazendo a = e na Proposi c ao 10.1(b), obtemos (e
x
)
y
= e
xy
para quais-
quer x, y R, estendendo o que havamos visto na Proposi c ao 9.2(e).
Proposi cao 10.2
Seja a (0, +). Ent ao a fun c ao x R a
x
(0, +) e deriv avel em R e
(a
x
)

= (log a)a
x
para todo x R, onde (a
x
)

denota a derivada desta fun c ao em x.


Demonstra cao: J a sabemos que a fun c ao exponencial e deriv avel em R e
(e
x
)

= e
x
para todo x R. Conseq uentemente, a fun c ao x R a
x

(0, +) e deriv avel em R e (a


x
)

= (log a)e
x log a
= (log a)a
x
para todo x R.
Exemplo 10.1
Sejam a (0, +) e p um polin omio. Ent ao a fun c ao f(x) = a
p(x)
e deriv avel
em R e
f

(x) = (log a)p

(x)a
p(x)
para todo x R.
CEDERJ
88
A fun cao exponencial. Continua cao.
M

ODULO 1 - AULA 10
Com efeito, pela regra da cadeia, a fun c ao f e deriv avel em R e
f

(x) = p

(x)(a
p(x)
)

= (log a)p

(x)a
p(x)
para todo x R.
Em particular, se f(x) = 7
x
3
+8x4
, ent ao f

(x) = (log 7)(3x


2
+8)7
x
3
+8x4
.
Exemplo 10.2
Seja a (0, +). Ent ao a fun c ao f(x) = a
cos x
e deriv avel em R e
f

(x) = (log a)sen xa


cos x
para todo x R.
Com efeito, pela regra da cadeia, a fun c ao f e deriv avel em R e
f

(x) = (sen x) (a
cos x
)

= (log a)sen xa
cos x
para todo x R.
Em particular, f

(0) = (log a)sen 0 a


cos 0
= 0 .
Proposi cao 10.3
Se a (0, 1), valem as seguintes propriedades:
(a) a fun c ao x R a
x
(0, +) e decrescente;
(b) o gr aco da fun c ao x R a
x
(0, +) tem concavidade para cima;
(c) lim
x
a
x
= + e lim
x+
a
x
= 0.
Demonstra cao: (a): Segue do Teorema 27.1(b), visto no C alculo I, j a que a
fun c ao x (0, +) log
a
x R e decrescente (Proposi c ao 8.4(a)).
(b): Pela Proposi c ao 10.2, a fun c ao x R a
x
(0, +) e duas
vezes deriv avel em R e
(a
x
)

= ((a
x
)

= (log a)(a
x
)

= (log a)(log a)a


x
= (log a)
2
a
x
para todo x R. Da resulta que (a
x
)

> 0 para todo x R. Logo, pela


Proposi c ao 18.1(a), vista no C alculo I, temos (b).
(c): Como a (0, 1), log a < 0. Por outro lado, sabemos que lim
x
e
x
= 0
e lim
x+
e
x
= +.
Portanto,
lim
x
a
x
= lim
x
e
x log a
= + e lim
x+
a
x
= lim
x+
e
x log a
= 0.
A Proposi c ao 10.3(a) tambem segue da Proposi c ao 10.2 e da Proposi c ao
17.1(c), vista no C alculo I, lembrando que log a < 0 se a (0, 1).
89
CEDERJ
A fun cao exponencial. Continua cao.
Raciocinando como na demonstra c ao da proposi c ao anterior, obtemos:
Proposi cao 10.4
Se a (1, +), valem as seguintes propriedades:
(a) a fun c ao x R a
x
(0, +) e crescente;
(b) o gr aco da fun c ao x R a
x
(0, +) tem concavidade para cima;
(c) lim
x
a
x
= 0 e lim
x+
a
x
= +.
A Proposi c ao 10.4(a) tambem segue da Proposi c ao 10.2 e da Proposi c ao
17.1(b), vista no C alculo I, lembrando que log a > 0 se a (1, +).
Nas Figuras 10.1a e 10.1b esbo camos os gr acos das fun c oes x R
a
x
(0, +) quando a (0, 1) e a (1, +), respectivamente.
(a) (b)
0
a
1
a
1
1
0
a
2
a
1 2
Figura 10.1
Proposi cao 10.5
Sejam I um intervalo n ao trivial, f : I R uma fun c ao deriv avel em I tal
que f(x) > 0 para todo x I e g : I R uma fun c ao deriv avel em I. Ent ao
a fun c ao h(x) = f(x)
g(x)
e deriv avel em I e
h

(x) = h(x)
_
g

(x) log(f(x)) + g(x)


f

(x)
f(x)
_
para todo x I.
Demonstra cao: Seja v(x) = log(f(x)) para todo x I. Pela regra da cadeia,
v e deriv avel em I e
v

(x) = log

(f(x)) . f

(x) =
f

(x)
f(x)
CEDERJ
90
A fun cao exponencial. Continua cao.
M

ODULO 1 - AULA 10
para todo x I.
Seja w(x) = g(x)v(x) para todo x I. Pela Proposi c ao 10.3, vista no
C alculo I , w e deriv avel em I e
w

(x) = g

(x)v(x) + g(x)v

(x) = g

(x) log(f(x)) + g(x)


f

(x)
f(x)
para todo x I.
Finalmente, como h(x) = e
g(x) log(f(x))
= e
g(x)v(x)
= e
w(x)
para todo
x I, segue da regra da cadeia que h e deriv avel em I e
h

(x) = e
w(x)
w

(x) = h(x)
_
g

(x) log(f(x)) + g(x)


f

(x)
f(x)
_
para todo x I.
Exemplo 10.3
Sejam r um n umero real arbitr ario e h(x) = x
r
(x (0, +)). Ent ao h e
deriv avel em (0, +) e h

(x) = rx
r1
para todo x (0, +).
De fato, tomemos f(x) = x e g(x) = r; ent ao h(x) = f(x)
g(x)
para todo
x (0, +). Pela Proposi c ao 10.5, h e deriv avel em (0, +) e
h

(x) = h(x)
_
g

(x) log(f(x)) + g(x)


f

(x)
f(x)
_
=
= x
r
_
0 log x + r
1
x
_
=
= r
x
r
x
= rx
r1
para todo x (0, +).
Lembremos que, no caso particular em que r e um n umero racional n ao
nulo, o Exemplo 10.3 j a era conhecido (ver a aula 12 de C alculo I).
Resumo
Nesta aula voce aprendeu o que se entende por a
x
(a (0, +) , x R)
e estudou propriedades b asicas acerca desta no c ao.
Exerccios
1. Esboce o gr aco das seguintes fun c oes:
(a) f(x) =
_
1
5
_
x+2
; (b) f(x) = (

3)
|x|+1
; (c) f(x) =
_
e
3
_
|x1|
.
91
CEDERJ
A fun cao exponencial. Continua cao.
2. De o domnio e derive as seguintes fun c oes:
(a) f(x) = 2
sen x
; (b) f(x) = 2
sen
2
x
; (c) f(x) = 2
sen (x
2
)
;
(d) f(x) =
_
1
2
_
x
3
2x
; (e) f(x) =
_
1

2
_ x
x
2
4
; (f) f(x) =
cos x
5
x
;
(g) f(x) = log(3
x
) ; (h) f(x) = 3
log x
; (i) f(x) =
log(x
2
)
;
(j) f(x) = log
2
(3
x
) ; (l) f(x) = log
3
(2
x
) ; (m) f(x) = 2
log
3
x
;
(n) f(x) = 3
log
2
x
.
3. (a) Esboce a regi ao compreendida entre o gr aco de f(x) =
_
1
7
_
|x|
, o
eixo das abscissas e as retas x = 1 e x = 1.
(b) Determine a area da regi ao mencionada em (a).
4. Calcule
_
b
a
7
2x
dx, onde a, b R e a < b. Sugest ao: Se G(x) =
1
2 log 7
7
2x
, ent ao G

(x) = 7
2x
.
5. Calcule
_
b
a
x7
x
2
dx, onde a, b R e a < b.
Sugest ao: Se G(x) =
1
2 log 7
7
x
2
, ent ao G

(x) = x7
x
2
.
6. Mostre que
_
b
a
(sen x)
_
1
6
_
cos x
dx =
1
log
_
1
6
_
_
_
1
6
_
cos a

_
1
6
_
cos b
_
.
7. Derive as seguintes fun c oes:
(a) f(x) = x
x
, x (0, +) ; (b) f(x) = x
x
3
7x
2
+6x
, x (0, +) ;
(c) f(x) = (x
2
+ 1)
cos x
, x R ; (d) f(x) = (sen
2
x + 1)
x
2
+1
, x R.
Auto-avalia cao
Os exerccios desta aula dependem, fundamentalmente, do conte udo
da mesma, das regras de deriva c ao e do Teorema Fundamental do C alculo.
Por esta raz ao, se voce teve d uvidas nos exerccios propostos, releia as aulas
pertinentes e tente novamente. Caso persista alguma d uvida, consulte o tutor
no p olo.
CEDERJ
92
Exerccios resolvidos.
M

ODULO 1 - AULA 11
Aula 11 Exerccios resolvidos.
Referencias: Aulas 5, 7, 8,
9, 16, 17, 18, 26 e 27 de
C alculo I, 3, 4, 5, 7 e 9 de
C alculo II.
Objetivo
Fixar o conte udo das aulas 2 a 9, notadamente aquele referente ` as aulas
7 e 9.
Exerccio 1: Seja R a regi ao compreendida entre os gr acos de
f(x) =
1
x
, g(x) = x
2
e h(x) =
x
4
.
(a) Esboce a regi ao R.
(b) Ache a area da regi ao R.
Solu cao: (a): Evidentemente, a regi ao R em quest ao est a contida no con-
junto {(x, y) R
2
; x 0 e y 0}.
Notemos que, como g(x) h(x) = x
2

x
4
= x
_
x
1
4
_
, temos
g(x) h(x) para x
_
0,
1
4

e h(x) g(x) para x


_
1
4
, +

. Alem disso,
g(x) = h(x) se, e somente se, x = 0 ou x =
1
4
. Por outro lado, f(x) = g(x)
se, e somente se,
1
x
= x
2
se, e somente se, x = 1; f(x) = h(x) se, e somente
se,
1
x
=
x
4
se, e somente se, x = 2; e, como f(x) h(x) =
1
x

x
4
=
4x
2
4x
, temos
h(x) f(x) para x [1, 2]. Assim, a regi ao R e como na Figura 11.1.
f(x) =
1
x
g(x) = x
2
h(x) =
x
4
1/2
1/4
1
1 2
Figura 11.1
(b): Juntando as informa c oes obtidas em (a), conclumos que a area de
R e
_
1
1
4
_
x
2

x
4
_
dx +
_
2
1
_
1
x

x
4
_
dx.
93
CEDERJ
Exerccios resolvidos.
Mas
_
1
1
4
_
x
2

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

_
1
4
_
3
_

1
4
.
1
2
_
1
2

_
1
4
_
2
_
=
=
1
3
_
1
1
64
_

1
8
_
1
1
16
_
=
=
1
3
.
63
64

1
8
.
15
16
=
21
64

15
128
=
27
128
e
_
2
1
_
1
x

x
4
_
dx =
_
2
1
1
x
dx
1
4
_
2
1
xdx = log 2 log 1
1
8
(2
2
1
2
) =
= log 2
3
8
.
Portanto, a area de R e
27
128
log 2 +
3
8
=
75
128
log 2.
Exerccio 2: Seja f : (0, +) R, denida por f(x) = x+log x para todo
x (0, +).
(a) Mostre que f e inversvel em (0, +).
(b) Mostre que a inversa f
1
de f est a denida em R, e deriv avel em
R e (f
1
)

(x) =
f
1
(x)
1+f
1
(x)
para todo x R. Forne ca f
1
(1) e (f
1
)

(1).
Solu cao:
(a): A fun c ao f e deriv avel em (0, +), como soma de duas fun c oes
deriv aveis em (0, +), e f

(x) = 1 +
1
x
para todo x (0, +). Assim,
f

(x) > 0 para todo x (0, +). Logo, f e crescente em (0, +) e, con-
seq uentemente, f e inversvel em (0, +).
(b): Como lim
x0
+
x = 0 e lim
x0
+
log x = , ent ao lim
x0
+
f(x) = . Por
outro lado, como lim
x+
x = +e lim
x+
log x = +, ent ao lim
x+
f(x) = +.
CEDERJ
94
Exerccios resolvidos.
M

ODULO 1 - AULA 11
Como f e contnua em (0, +) (j a que e deriv avel em (0, +)), pode-
mos garantir que f((0, +)) = R (justique esta arma c ao usando o te-
orema do valor intermedi ario). Portanto, o domnio de f
1
e R. E, como
f(1) = 1 + log 1 = 1, ent ao f
1
(1) = 1.
Finalmente, pelo teorema da fun c ao inversa, f
1
e deriv avel em R e
(f
1
)

(x) =
1
f

(f
1
(x))
para todo x R. Como f

(f
1
(x)) = 1 +
1
f
1
(x)
=
1+f
1
(x)
f
1
(x)
, obtemos
(f
1
)

(x) =
f
1
(x)
1 + f
1
(x)
para todo x R. Em particular, (f
1
)

(1) =
f
1
(1)
1+f
1
(1)
=
1
1+1
=
1
2
.
Exerccio 3 (Exerccio 5, da aula 7): Use a regra de LH opital para calcular
os seguintes limites:
(a) lim
x0
log(x + 1) x +
x
2
2
x
2
; (b) lim
x0
log(x + 1) x +
x
2
2
x
3
;
(c) lim
x0
log(x + 1) x +
x
2
2

x
3
3
x
3
.
Solu cao: (a): Temos que
lim
x0
_
log(x + 1) x +
x
2
2
_
= 0 e lim
x0
x
2
= 0.
Logo, pela regra de LH opital,
lim
x0
log(x + 1) x +
x
2
2
x
2
= lim
x0
1
x+1
1 + x
2x
,
caso o limite da direita exista. Mas, como
lim
x0
_
1
x + 1
1 + x
_
= 0 e lim
x0
2x = 0,
segue da regra de LH opital que
lim
x0
1
x+1
1 + x
2x
= lim
x0

1
(x+1)
2
+ 1
2
,
caso o limite da direita exista. Como
lim
x0

1
(x+1)
2
+ 1
2
=
1 + 1
2
= 0,
95
CEDERJ
Exerccios resolvidos.
podemos nalmente concluir que
lim
x0
log(x + 1) x +
x
2
2
x
2
= 0.
(b): Raciocinando como em (a), podemos garantir que
lim
x0
log(x + 1) x +
x
2
2
x
3
= lim
x0

1
(x+1)
2
+ 1
6x
,
caso o limite da direita exista. Mas, como
lim
x0
_

1
(x + 1)
2
+ 1
_
= 0 e lim
x0
6x = 0,
segue da regra de LH opital que
lim
x0

1
(x+1)
2
+ 1
6x
= lim
x0
2
(x+1)
3
6
,
caso o limite da direita exista. Como
lim
x0
2
(x+1)
3
6
=
2
6
=
1
3
,
podemos nalmente concluir que
lim
x0
log(x + 1) x +
x
2
2
x
3
=
1
3
.
(c): Raciocinando como nos itens anteriores, podemos garantir que
lim
x0
log(x + 1) x +
x
2
2

x
3
3
x
3
= lim
x0
2
(x+1)
3
2
6
,
caso o limite da direita exista. Mas
lim
x0
2
(x+1)
3
2
6
=
2 2
6
= 0.
Portanto,
lim
x0
log(x + 1) x +
x
2
2

x
3
3
x
3
= 0.
Exerccio 4: (a) Seja f : R R uma fun c ao contnua e dena
G(x) = e
R
x
0
f(t)dt
para todo x R. Mostre que G e deriv avel em R e
G

(x) = f(x)G(x) para todo x R.


CEDERJ
96
Exerccios resolvidos.
M

ODULO 1 - AULA 11
(b) Suponha que f seja como em (a) e que, alem disso, se tenha f(x) > 0
para todo x R ( respectivamente f(x) < 0 para todo x R). Mostre que
G e crescente em R ( respectivamente decrescente em R ).
(c) Mostre que a fun c ao G(x) = e
R
x
0
1
t
4
+1
dt
e crescente em R.
Solu cao: (a): Sejam f(x) = e
x
e F(x) =
_
x
0
f(t)dt (x R). J a sabemos
que f e F s ao deriv aveis em R e f

(x) = e
x
e F

(x) = f(x) para todo x R.


Como G = f F, a regra da cadeia nos garante que G e deriv avel em R e
G

(x) = (f F)

(x) = f

(F(x))F

(x) = e
F(x)
f(x) = f(x)G(x)
para todo x R.
(b): Se f(x) > 0 para todo x R, ent ao G

(x) = f(x)G(x) > 0 para


todo x R, j a que G(x) > 0 para todo x R. Portanto, G e crescente
em R.
Analogamente, se f(x) < 0 para todo x R, ent ao G

(x) < 0 para


todo x R. Portanto, G e decrescente em R.
(c): Como f(x) =
1
x
4
+1
> 0 para todo x R, segue de (b) que a fun c ao
G(x) = e
R
x
0
1
t
4
+1
dt
e crescente em R.
Exerccio 5: (a) Mostre que a fun c ao f : R R, denida por f(x) = e

1
x
2
se x = 0 e f(0) = 0, e deriv avel em R.
(b) Esboce o gr aco de f.
Solu cao: (a): Pela regra da cadeia, f e deriv avel em R {0} e
f

(x) =
2
x
3
e

1
x
2
para todo x R {0}.
Mostremos que f e deriv avel em 0. Realmente, devemos vericar que
lim
x0
f(x) f(0)
x 0
= lim
x0
f(x)
x
= lim
x0
e

1
x
2
x
existe.
Mas
lim
x0
+
e

1
x
2
x
= lim
x0
+
1
x
e
1
x
2
= lim
x0
+
1
x
e
(
1
x
)
2
= lim
t+
t
e
t
2
.
Como lim
t+
e
t
t
= + e como
e
t
2
t

e
t
t
para todo t [1, +) (justique
97
CEDERJ
Exerccios resolvidos.
esta arma c ao), segue que lim
t+
e
t
2
t
= + . Logo,
lim
x0
+
e

1
x
2
x
= lim
t+
t
e
t
2
= lim
t+
1
e
t
2
t
= 0.
Por outro lado,
lim
x0

1
x
2
x
=
_
lim
x0

1
(x)
2
x
_
=
_
lim
t0
+
e

1
t
2
t
_
= 0.
Conseq uentemente, lim
x0
e

1
x
2
x
= 0. Isto prova que f e deriv avel em 0 e
f

(0) = 0.
Em resumo, temos f

(x) =
2
x
3
e

1
x
2
se x = 0 e f

(0) = 0.
(b): Inicialmente, notemos que f e par, isto e, f(x) = f(x) para todo
x R. Assim, para conhecer o gr aco de f, basta conhecer o gr aco de f
quando x varia em [0, +).
Como f

(x) =
2
x
3
e

1
x
2
> 0 para todo x (0, +), segue que f e
crescente em [0, +); logo, f e decrescente em (, 0] (este fato tambem
decorre do fato de que f

(x) < 0 para todo x (, 0)).


Como lim
x+
f(x) = lim
x+
e

1
x
2
= 1 (j a que lim
x+
_

1
x
2
_
= 0, a fun c ao
exponencial e contnua em 0 e e
0
= 1), a reta y = 1 e uma assntota horizontal
ao gr aco de f.
Fa camos um estudo da concavidade do gr aco de f.
Com efeito, como f

(x) =
2
x
3
e

1
x
2
para todo x R {0}, podemos
armar que
f

(x) =
_

6
x
4
+
4
x
5
_
e

1
x
2
para todo x R {0}.
Por outro lado,
f

(0) = lim
x0
f

(x) f

(0)
x 0
= lim
x0
f

(x)
x
=
= lim
x0
2
x
3
e

1
x
2
x
= lim
x0
2
x
4
e
1
x
2
=
= lim
x0
2
_
1
x
2
_
2
e
1
x
2
= lim
t+
2t
2
e
t
= 0.
CEDERJ
98
Exerccios resolvidos.
M

ODULO 1 - AULA 11
Em resumo, f e duas vezes deriv avel em R, f

(x) =
_

6
x
4
+
4
x
5
_
e

1
x
2
se
x R{0} e f

(0) = 0. Como f

(x) =
2
x
4
e

1
x
2
_
3 +
2
x
_
para x R{0},
conclui-se que f

(x) > 0 para todo x


_
0,
2
3
_
e f

(x) < 0 para todo x


_
2
3
, +
_
. Portanto, o gr aco de f tem concavidade para cima em
_
0,
2
3
_
e
concavidade para baixo em
_
2
3
, +
_
.
A partir das informa c oes obtidas, esbo camos o gr aco de f na Figura
11.2.
1
0
Figura 11.2
Resumo
Nos exerccios resolvidos desta aula voce xou, principalmente, o conte udo
a respeito das fun c oes logartmica e exponencial, estudado nas aulas 7 e 9.
Eles tambem podem ter contribudo para dirimir eventuais d uvidas sobre as
referidas fun c oes.
99
CEDERJ
Outras indetermina c oes da regra de LH opital.
M

ODULO 1 - AULA 12
Aula 12 Outras indetermina c oes da regra
de LH opital.
Referencias: Aulas 26 de
C alculo I, 7, 8, 9 e 10 de
C alculo II.
Objetivo
Estudar algumas outras indetermina c oes onde a regra de LH opital
se aplica.
Na aula 26 de C alculo I, vimos quatro formas de indetermina c ao onde
a regra de LH opital se aplica: as formas
0
0
,

, .0 e . Nesta aula
veremos tres outros tipos de indetermina c ao, a saber, 0
0
,
0
e 1

.
Iniciemos pela forma indeterminada 0
0
.
Imagine que queiramos determinar o lim
x

(44x)
senx
. Voce pode per-
ceber que, ate aqui, nehuma das tecnicas para calcular limites s ao aplic aveis
neste caso. Observe que, escrevendo f(x) = 4 4x e g(x) = senx, temos
lim
x

(4 4x) = 0 e lim
x

senx = 0, o que justica a seguinte


Deni cao 12.1 Sejam I um intervalo n ao trivial, f : I R tal que f(x) > 0
para todo x I e a R tal que lim
xa
f(x) = 0. Se g : I R e uma fun c ao tal
que lim
xa
g(x) = 0, dizemos que a fun c ao f(x)
g(x)
tem a forma indeterminada
0
0
em a.
Para determinar o lim
xa
f(x)
g(x)
quando f(x)
g(x)
tem a forma indetermi-
nada 0
0
, vamos transform a-la na forma
0
0
ou

antes de aplicar a regra de


LH opital.
Lembre que o domnio da
fun c ao logartmica e o
intervalo (0, +).
Para fazer isso, lembre inicialmente que f(x)
g(x)
= e
g(x)logf(x)
> 0 para
todo x I. Portanto, escrevendo y(x) = f(x)
g(x)
(x I), segue que logy(x)
est a bem denida e logy(x) = log e
g(x)logf(x)
= g(x).logf(x) para todo x I.
Assim,
lim
xa
y(x) = lim
xa
e
log y(x)
= lim
xa
e
g(x).log f(x)
.
Como a fun c ao exponencial e contnua, segue que lim
xa
e
g(x).logf(x)
=
e
lim
xa
g(x).logf(x)
, desde que exista lim
xa
g(x).logf(x). Se este for o caso e
lim
xa
g(x).logf(x) = L, segue que
lim
xa
y(x) = lim
xa
f(x)
g(x)
= e
lim
xa
g(x).logf(x)
= e
L
.
101
CEDERJ
Outras indetermina c oes da regra de LH opital.
Acabamos de ver que, para determinar o lim
xa
f(x)
g(x)
, basta determinar
o lim
xa
g(x).log f(x). Ora, como lim
xa
f(x) = 0 e lim
xa
g(x) = 0, segue que
g(x).log f(x) tem a forma indeterminada 0. em a.
Voce viu, na aula 26 de C alculo I, que para transformar esta forma
indeterminada na forma
0
0
ou

usamos o artifcio de escrever g(x).log f(x) =


g(x)
1
log f(x)
, que tem a forma indeterminada
0
0
em a, ou g(x).log f(x) =
log f(x)
1
g(x)
,
que tem a forma indeterminada

em a. Lembremos que a escolha entre as


duas formas dever a ser feita levando-se em conta qual delas torna mais f acil
a aplica c ao da regra de LH opital. Vejamos um exemplo.
Exemplo 12.1
Vamos determinar o lim
x

(4 4x)
senx
. Note que, como 4 4x > 0 para
todo x (, ), ent ao log(4 4x) est a bem denida para tais valores de
x.
Pelo que acabamos de ver, devemos determinar o lim
x

(senx).log(4
4x).
Escrevamos (senx).log(4 4x) =
log(44x)
1
senx
=
log(44x)
cossecx
, a qual tem a
forma indeterminada

.
Aplicando a regra de LH opital duas vezes, temos:
lim
x

(senx).log(4 4x) = lim


x

4
44x
(cossecx)(cotgx)
=
= lim
x

4sen
2
x
(4 4x)cosx
=
= lim
x

8(senx)(cosx)
(4x 4)senx 4cosx
=
=
0
4
= 0.
Obtemos, portanto, que
lim
x

(4 4x)
senx
= e
0
= 1.
Vejamos, agora, a forma indeterminada
0
.
Deni cao 12.2 Sejam I um intervalo n ao trivial, f : I R tal que f(x) > 0
para todo x I e a R tal que lim
xa
f(x) = +. Se g : I R e uma
fun c ao tal que lim
xa
g(x) = 0, dizemos que a fun c ao f(x)
g(x)
tem a forma
indeterminada
0
em a.
CEDERJ
102
Outras indetermina c oes da regra de LH opital.
M

ODULO 1 - AULA 12
Analogamente ao caso anterior, devemos determinar o lim
xa
g(x)logf(x).
Como lim
xa
logf(x) = +, segue que g(x)logf(x) tem a forma indetermi-
nada 0.. De novo, usamos o artifcio de escrever g(x).logf(x) =
g(x)
1
logf(x)
ou
g(x).logf(x) =
logf(x)
1
g(x)
para, em seguida, aplicar a regra de LH opital.
Exemplo 12.2
Vamos determinar o lim
x2
+
_
1
x2
_
x2
. Como
1
x2
> 0 para todo x (2, +),
segue que log
_
1
x2
_
est a bem denida para tais valores de x.
Pelo que acabamos de ver, devemos determinar o lim
x2
+
(x2).log
_
1
x2
_
.
Escrevendo (x 2).log
_
1
x2
_
=
log
_
1
x2
_
1
x2
e aplicando a regra de LH opital,
obtemos
lim
x2
+
(x 2).log
_
1
x 2
_
= lim
x2
+
log
_
1
x2
_
1
x2
=
= lim
x2
+
_

1
(x2)
2
_
/
_
1
(x2)
_
1
(x2)
2
=
= lim
x2
+
(x 2) = 0
Assim,
lim
x2
+
_
1
x 2
_
x2
= e
lim
x2
+
(x 2)log
_
1
x 2
_
= e
0
= 1.
Vejamos, para nalizar, a forma indeterminada 1

.
Deni cao 12.3 Sejam I um intervalo n ao trivial, f : I R tal que f(x) > 0
para todo x I e a R tal que lim
xa
f(x) = 1. Se g : I R e uma
fun c ao tal que lim
xa
g(x) = , dizemos que a fun c ao f(x)
g(x)
tem a forma
indeterminada 1

em a.
Da mesma maneira, devemos determinar o lim
xa
g(x).logf(x). Como
lim
xa
logf(x) = 0 e lim
xa
g(x) = , segue que g(x)logf(x) tem a forma inde-
terminada .0. De novo, usamos o artifcio de escrever g(x).logf(x) =
g(x)
1
logf(x)
ou g(x).logf(x) =
logf(x)
1
g(x)
para, em seguida, aplicar a regra de LH opital.
103
CEDERJ
Outras indetermina c oes da regra de LH opital.
Exemplo 12.3
Vamos determinar o lim
x0
+
(cosx)
1
sen(x)
. Como cosx > 0 para todo x (0,

2
),
segue que log(cosx) est a bem denida para tais valores de x.
Pelo que acabamos de ver, devemos determinar o lim
x0
+
_
1
senx
_
.log(cosx).
Escrevendo
1
senx
.log(cosx) =
log(cosx)
1
senx
e aplicando a regra de LH opital, obte-
mos
lim
x0
+
_
1
senx
_
.log(cosx) = lim
x0
+
log(cosx)
1
sen x
=
= lim
x0
+
senx
cosx
cosx
sen
2
x
=
= lim
x0
+
sen
3
x
cos
2
x
= 0.
Assim,
lim
x0
+
(cos
x
)
1
senx
= e
lim
x0
+
_
1
senx
_
.log(cosx)
= e
0
= 1.
Resumo
Nesta aula voce constatou a import ancia das fun c oes logartmica e ex-
ponencial para o c alculo de certos limites.
Exerccios
1. Determine os limites abaixo:
a) lim
x0
+
x
_
1/log
1
x
_
b) lim
x

(cosx)
x

2
c) lim
x

_
x

4
_cos2x
d) lim
x0
+
5x
senx
e) lim
x+
xe
x
f) lim
x0
+
x
x
g) lim
x0
(2x + e
2x
)
1/x
h) lim
x0
+
(1 + x)
logx
i) lim
x0
+
(e
x
+ 2x)
2/x
j) lim
x0
(e
x
2
/2
cosx)
4/x
4
k) lim
x+
(e
x
+ x)
1/x
l) lim
x1
(
1
e
x1
)
1/(x1)
m) lim
x0
+
(cotg2x)
x
2
n) lim
x+
(e
x
)
1/e
x
o) lim
x+
x
2
e
x
CEDERJ
104
Outras indetermina c oes da regra de LH opital.
M

ODULO 1 - AULA 12
p) lim
x0
(1 + tg x)
1/x
q) lim
x+
e
x
+ 1
x
4
+ x
3
r) lim
x

2
(senx)
secx
s) lim
x0
(e
1/x
)
x
t) lim
x2
+
_
1
2e
x2
2
_x2
u) lim
x0

_
1
1 e
x
_x
2
.
2. Encontre o n umero real c para o qual lim
x+
_
cx + 1
cx 1
_
x
= 9.
3. Encontre o n umero real c para o qual lim
x+
_
x + c
x c
_
x
= 4.
Auto-avalia cao
Entre os exerccos propostos, voce encontrar a n ao somente aqueles en-
volvendo as formas de indetermina c ao estudadas nesta aula, como tambem
algumas formas de indetermina c ao estudadas na aula 26 de C alculo I. Para
resolve-los, voce deve demonstrar domnio das regras de deriva c ao e a iden-
tica c ao, em cada caso, da forma de indetermina c ao da regra de LH opital
a ser aplicada. Caso persista alguma d uvida, releia a aula com aten c ao ou
procure o tutor no seu p olo.
105
CEDERJ
Gracos de fun c oes.
M

ODULO 1 - AULA 13
Aula 13 Gracos de fun c oes.
Referencias: Aulas 16 a 29
de C alculo I, 7, 8, 9 e 10 de
C alculo II.
Objetivos
Estudar algumas fun c oes envolvendo as fun c oes logartmica e exponen-
cial e esbo car seus gr acos.
Para cada uma das fun c oes f dos exemplos que se seguem, estudaremos:
(i) o domnio e a derivabilidade de f,
(ii) as assntotas verticais e horizontais ao gr aco de f,
(iii) o crescimento e o decrescimento de f,
(iv) a concavidade do gr aco de f,
(v) os extremos relativos e absolutos de f e
(vi) os pontos de inex ao do gr aco de f.
Finalmente, esbo caremos o gr aco de f.
Exemplo 13.1
Considere a fun c ao f(x) = xe

x
2
.
Claramente, vemos que o domnio de f e R. Agora, como h(x) = e
x
e g(x) =
x
2
s ao fun c oes deriv aveis em R, segue que (h g)(x) = e

x
2
e
deriv avel em R. Assim, f e deriv avel em R, pois e um produto de fun c oes
deriv aveis em R, a saber, u(x) = x e (h g)(x) = e

x
2
.
Vejamos as assntotas verticais e horizontais. Como f e contnua em R
(pois e deriv avel em R), n ao existe assntota vertical ao gr aco de f, visto
que, para todo a R, lim
xa
f(x) = f(a). Vimos, na aula 9, que lim
x+
e
x
= +
e lim
x
e
x
= 0. Assim, lim
x+
e

x
2
= lim
x+
1
e
x
2
= 0, donde conclumos que f
tem a forma indeterminada .0. Aplicando a regra de LH opital, obtemos
lim
x+
f(x) = lim
x+
xe

x
2
= lim
x+
x
e
x
2
= lim
x+
1
1
2
e
x
2
= 0.
Como lim
x
x = e lim
x
e

x
2
= +, segue que lim
x
f(x) = .
Assim, conclumos que a reta y = 0 e a unica assntota horizontal ao gr aco
de f.
Derivando f, obtemos
f

(x) = xe

x
2
_

1
2
_
+ e

x
2
= e

x
2
_
1
x
2
_
para todo x R. Sendo e

x
2
> 0 para todo x R, 1
x
2
> 0 para todo
x (, 2) e 1
x
2
< 0 para todo x (2, +), segue que f e crescente em
(, 2) e decrescente em (2, +).
107
CEDERJ
Gracos de fun c oes.
Claramente, f

e deriv avel e
f

(x) = e

x
2
_

1
2
_

1
2
e

x
2
_
1
x
2
_
= e

x
2
_
x
4
1
_
para todo x R. Como
x
4
1 > 0 para todo x (4, +),
x
4
1 < 0 para todo
x (, 4) e e

x
2
> 0 para todo x R, segue que f

(x) > 0 em (4, +)


e f

(x) < 0 em (, 4), ou seja, o gr aco de f tem concavidade para cima


no intervalo (4, +) e concavidade para baixo no intervalo (, 4).
Para obter os extremos de f, devemos determinar seus pontos crticos.
Sendo f deriv avel em R e visto que f

(x) = 0 somente se x = 2, segue


que este e o unico ponto crtico de f. Como f

(2) < 0, segue do teste da


derivada segunda que f possui um m aximo relativo em x = 2. E, dado que
f e crescente em (, 2) e decrescente em (2, +), conclumos, na verdade,
que f possui um m aximo absoluto em x = 2.
Finalmente, o gr aco de f possui reta tangente no ponto
_
4,
4
e
2
_
e dado
que f

muda de sinal somente em x = 4, obtemos que o ponto


_
4,
4
e
2
_
e o
unico ponto de inex ao do gr aco de f.
Reunindo todas as informa c oes obtidas, estamos, agora, aptos a esbo car
o gr aco de f (ver a Figura 13.1).
4 2
0
2/e
Figura 13.1
Exemplo 13.2
Considere a fun c ao f(x) = xlog(x
2
).
Claramente, vemos que o domnio de f e R{0}. Agora, como h(x) =
logx e deriv avel em (0, +) e g(x) = x
2
e deriv avel em R, segue que (h
g)(x) = log(x
2
) e deriv avel em R {0}. Assim, f e deriv avel em R {0},
pois e um produto de fun c oes deriv aveis em R {0}, a saber, u(x) = x e
(h g)(x) = log(x
2
).
CEDERJ
108
Gracos de fun c oes.
M

ODULO 1 - AULA 13
Vejamos as assntotas verticais e horizontais. Como f e contnua em
R{0} (pois e deriv avel emR{0}), para todo a R{0}, lim
xa
f(x) = f(a).
Assim, a reta x = 0 e a unica candidata a assntota vertical. Note que f(x)
tem a forma indeterminada 0. em x = 0, pois lim
x0
x = 0 e lim
x0
log(x
2
) =
. Escrevendo f(x) =
log(x
2
)
1
x
e aplicando a regra de LH opital, obtemos
lim
x0
xlog(x
2
) = lim
x0
log(x
2
)
1
x
= lim
x0
2x/x
2
1/x
2
= lim
x0
(2x) = 0.
Conclumos, portanto, que n ao existem assntotas verticais ao
gr aco de f.
Vimos, na aula 7, que lim
x+
logx = +. Assim, lim
x
log(x
2
) = +,
donde lim
x+
xlog(x
2
) = + e lim
x
xlog(x
2
) = , ou seja, n ao existem
assntotas horizontais ao gr aco de f.
Derivando f, obtemos
f

(x) = x
_
2x
x
2
_
+ log(x
2
) = 2 + log(x
2
)
para todo x R{0}. Como log(x
2
) < 2 se, e somente se, x
_

1
e
,
1
e
_

{0}, segue que f

(x) < 0 em
_

1
e
,
1
e
_
{0} e f

(x) > 0 em
_
,
1
e
_

_
1
e
, +
_
. Assim, f e crescente em
_
,
1
e
_

_
1
e
, +
_
e decrescente em
_

1
e
,
1
e
_
{0}.
Sendo f

deriv avel em R {0} e f

(x) =
2
x
, segue que f

(x) < 0 para


x (, 0) e f

(x) > 0 para x (0, +), ou seja, o gr aco de f tem


concavidade para baixo em (, 0) e concavidade para cima em (0, +).
Como f

(x) = 0 se, e somente se, x =


1
e
ou x =
1
e
, f

_

1
e
_
< 0
e f

_
1
e
_
> 0, segue do teste da derivada segunda que f possui um m aximo
relativo em x =
1
e
e um mnimo relativo em x =
1
e
. Como lim
x
f(x) =
e lim
x+
f(x) = +, conclumos que f n ao possui extremos absolutos.
Finalmente, dado que f

(x) < 0 se x (, 0) e f

(x) > 0 se
x (0, +), temos que o gr aco de f n ao possui ponto de inex ao (lembre
que f n ao est a denida em 0).
Reunindo todas as informa c oes obtidas, podemos, agora, esbo car o
gr aco de f (ver a Figura 13.2).
109
CEDERJ
Gracos de fun c oes.
2/e
2/e
1/e
1 1/e 1
Figura 13.2
Exemplo 13.3
Considere a fun c ao f(x) =
1
1e
x
.
O domnio de f e R {0}. A fun c ao f e deriv avel em R {0}, pois a
fun c ao g(x) = 1 e
x
e deriv avel em R (logo, em R {0}) e g(x) = 0 para
todo x R {0}.
Vejamos as assntotas verticais e horizontais. Como f e contnua em
R{0} (pois e deriv avel emR{0}), para todo a R{0}, lim
xa
f(x) = f(a).
Assim, a reta x = 0 e a unica candidata a assntota vertical. Note que, como
e
x
< 1 se x < 0 e e
x
> 1 se x > 0, ent ao lim
x0

f(x) = +e lim
x0
+
f(x) = .
Assim, a reta x = 0 e uma assntota vertical ao gr aco de f.
Agora, dado que lim
x
e
x
= 0 e lim
x+
e
x
= +, segue que lim
x
f(x) =
1 e lim
x+
f(x) = 0, donde conclumos que as retas y = 1 e y = 0 s ao as
assntotas horizontais ao gr aco de f.
Derivando f, obtemos f

(x) =
e
x
(1e
x
)
2
para todo x R {0}. Assim,
f

(x) > 0 para todo x R {0} e, portanto, f e crescente em R {0}.


A fun c ao f

e deriv avel em R{0} e f

(x) =
e
x
+e
2x
(1e
x
)
3
. Como e
x
+e
2x
> 0
para todo x R, o sinal de f

ca determinado pelo sinal de (1 e


x
)
3
.
Assim, f

(x) > 0 se x < 0 e f

(x) < 0 se x > 0, ou seja, o gr aco de f tem


concavidade para cima em (, 0) e concavidade para baixo em (0, +).
Note que, como f e crescente em R{0}, ent ao f n ao possui extremos.
Analogamente, como f

(x) > 0 para todo x R {0}, o gr aco de f n ao


possui pontos de inex ao.
CEDERJ
110
Gracos de fun c oes.
M

ODULO 1 - AULA 13
Reunindo todas as informa c oes obtidas, temos que o gr aco de f e como
na Figura 13.3.
1
0
Figura 13.3
Exemplo 13.4
Considere a fun c ao f(x) =
x
2
logx
.
O domnio de f e (0, 1) (1, +). Como f e um quociente de fun c oes
deriv aveis em (0, 1) (1, +), f e deriv avel em (0, 1) (1, +).
Vejamos as assntotas verticais e horizontais. Como f e contnua em
(0, 1)(1, +) (pois e deriv avel em (0, 1)(1, +)), segue que as retas x = 0
e x = 1 s ao as unicas candidatas a assntotas verticais ao gr aco de f. A reta
x = 0 n ao e uma assntota vertical, pois lim
x0
+
x
2
logx
= lim
x0
+
1
logx
.x
2
= 0.0 = 0.
Como lim
x1

x
2
logx
= e lim
x1
+
x
2
logx
= +, segue que a reta x = 1 e uma
assntota vertical ao gr aco de f.
Note, tambem, que f tem a forma indeterminada

(em +). Apli-


cando a regra de LH opital, obtemos
lim
x+
x
2
logx
= lim
x+
2x
2
= +.
Assim, n ao existem assntotas horizontais ao gr aco de f.
Derivando f, obtemos f

(x) =
x((2logx)1)
(logx)
2
para todo x (0, 1)(1, +).
Como logx <
1
2
para x (0, 1)
_
1, e
1
2
_
e logx >
1
2
para x
_
e
1
2
, +
_
, segue
que f

(x) < 0 para x (0, 1)


_
1, e
1
2
_
e f

(x) > 0 para x


_
e
1
2
, +
_
, ou
seja, f e decrescente em (0, 1)
_
1, e
1
2
_
e crescente em
_
e
1
2
, +
_
.
111
CEDERJ
Gracos de fun c oes.
Note que f

e deriv avel em (0, 1)(1, +) e f

(x) =
2(logx)
2
3logx+2
(logx)
3
para
todo x (0, 1) (1, +). Para determinar o sinal de f

, devemos estudar
os sinais do numerador e do denominador de f

. Como (logx)
3
< 0 para
x (0, 1) e (logx)
3
> 0 para x (1, +), resta estudar o sinal do numerador
2(logx)
2
3logx + 2. Mas voce pode observar que 2y
2
3y + 2 > 0 para
todo y R (justique esta arma c ao). Portanto, 2(logx)
2
3logx + 2 > 0
para todo x (0, 1) (1, +). Vemos, assim, que f

(x) < 0 se x (0, 1)


e f

(x) > 0 se x (1, +), ou seja, o gr aco de f tem concavidade para


baixo em (0, 1) e concavidade para cima em (1, +).
Agora, sendo f deriv avel no seu domnio (0, 1)(1, +) e f

(x) = 0 se,
e somente se, x = e
1
2
, o unico ponto crtico de f e x = e
1
2
. Alem disso, visto
que e
1
2
> 1, segue que f

(e
1
2
) > 0, ou seja, f possui um mnimo relativo em
x = e
1
2
(note que isto tambem segue do fato, visto acima, de f ser decrescente
em (1, e
1
2
) e crescente em (e
1
2
, +)). E, como lim
x1

f(x) = , f n ao possui
extremos absolutos.
Finalmente, como f

(x) < 0 se x (0, 1) e f

(x) > 0 se x (1, +),


segue que seu gr aco n ao possui pontos de inex ao (lembre que f n ao est a
denida em 1).
Agora, podemos esbo car o gr aco de f, como indicado na Figura 13.4.
2e
1/2
e
0
1
Figura 13.4
Resumo
Nesta aula, aplicamos todo o ferramental estudado no m odulo 2 de
C alculo I para esbo car gr acos de fun c oes envolvendo as fun c oes logartmica
e exponencial.
CEDERJ
112
Gracos de fun c oes.
M

ODULO 1 - AULA 13
Exerccios
Para cada uma das fun c oes abaixo, estude:
(i) o domnio e a derivabilidade de f,
(ii) as assntotas verticais e horizontais ao gr aco f,
(iii) o crescimento e o decrescimento de f,
(iv) a concavidade do gr aco de f,
(v) os extremos relativos e absolutos de f e
(vi) os pontos de inex ao do gr aco de f.
Finalmente, esboce o gr aco de f.
a) f(x) = x
2
e
1
x
b) f(x) = 2xlogx c) f(x) = x
2
e
x
d) f(x) =
1
2
(x
2
log(x
2
)).
Auto-avalia cao
Os exerccios propostos envolvem todo o conte udo do m odulo 2 de
C alculo I, mais as aulas 7 a 12 . Se tiver d uvida em alguns dos conceitos
envolvidos ou tecnicas utilizadas na solu c ao dos mesmos, releia com aten c ao
a aula correspondente. Caso persista alguma d uvida, procure o tutor no
seu p olo.
113
CEDERJ
Exerccios resolvidos.
M

ODULO 1 - AULA 14
Aula 14 Exerccios resolvidos.
Referencias: Aulas 1 a 12.
Objetivo
Fixar o conte udo do m odulo 1 de C alculo II.
Exerccio 1: Dena H(x) =
_
xx
2
x
3

t
3
+ 1 dt para x [1, +). Mostre
que H e deriv avel em [1, +) e determine H

(x) para x [1, +).


Solu cao: Dena F
1
(x) =
_
0
x
3

t
3
+ 1 dt e F
2
(x) =
_
xx
2
0

t
3
+ 1 dt para
x [1, +). Note que H(x) = F
1
(x) + F
2
(x) para todo x [1, +).
Mostremos que F
1
e F
2
s ao deriv aveis em [1, +). Com efeito, dena
g(x) = x
3
e G
1
(x) =
_
0
x

t
3
+ 1 dt. Ent ao F
1
= G
1
g, pois
(G
1
g)(x) = G
1
(g(x)) = G
1
(x
3
) =
_
0
x
3

t
3
+ 1 dt = F
1
(x)
para todo x [1, +).
Analogamente, dena p(x) = x x
2
e G
2
(x) =
_
x
0

t
3
+ 1 dt. Ent ao
F
2
= G
2
p, pois
(G
2
p)(x) = G
2
(p(x)) = G
1
(x x
2
) =
_
xx
2
0

t
3
+ 1 dt = F
2
(x)
para todo x [1, +).
Como

t
3
+ 1 e contnua em [1, +), segue do Exemplo 3.2 que G
1
e G
2
s ao deriv aveis em [1, +), G
1

(x) =

x
3
+ 1 e G
2

(x) =

x
3
+ 1
para todo x [1, +). Sendo g e p deriv aveis em R, segue da regra da
cadeia que F
1
e F
2
s ao deriv aveis em [1, +),
F
1

(x) = (G
1
g)

(x) = G
1

(g(x)).g

(x) =
= G
1

(g(x)).g

(x) =
= 3x
2
G
1

(x
3
) =
= 3x
2
_
(x
3
)
3
+ 1 = 3x
2

x
9
+ 1
115
CEDERJ
Exerccios resolvidos.
e
F
2

(x) = (G
2
p)

(x) = G
2

(p(x)).p

(x) =
= (1 2x)G
2

(x x
2
) =
= (1 2x)
_
(x x
2
)
3
+ 1
para todo x [1, +). Assim, H

(x) = F
1

(x) + F
2

(x) = 3x
2

x
9
+ 1 +
(1 2x)
_
(x x
2
)
3
+ 1 para todo x [1, +).
Exerccio 2: Determine
_
1
1
x
3
(6x
4
5)
1000
dx.
Solu cao: Vamos usar o que vimos no Exemplo 4.8. Escrevendo p(x) =
6x
4
5, temos que p

(x) = 24x
3
. Portanto,
_
1
1
x
3
(6x
4
5)
1000
dx =
_
1
1
p

(x)
24
(p(x))
1000
dx =
=
1
24
_
(p(1))
1001
1001

(p(1))
1001
1001
_
=
=
1
24
_
1
1001

1
1001
_
= 0.
Exerccio 3: Sejam p um polin omio arbitr ario e a, b n umeros reais tais que
a < b e p(x) 0 para todo x [a, b]. Determine
_
b
a
p

(x)
n
_
p(x) dx, onde n
e um inteiro maior ou igual a 2 (observe que a condi c ao p(x) 0 para todo
x [a, b]s o precisa ser imposta no caso em que n e par).
Solu cao: A fun c ao f(x) = p

(x)
n
_
p(x) e contnua em [a, b]. Alem disso,
sendo G(x) =
n
n+1
(p(x))
n+1
n
, G e deriv avel em [a, b] e
G

(x) =
n
n + 1
.
n + 1
n
.p

(x).(p(x))
n+1
n
1
= p

(x)p(x)
1
n
= f(x)
para todo x [a, b]. Portanto, pelo Teorema Fundamental do C alculo,
_
b
a
p

(x)
n
_
p(x) dx =
_
b
a
f(x) dx = G(b)G(a) =
n
n + 1
((p(b))
n+1
n
(p(a))
n+1
n
).
CEDERJ
116
Exerccios resolvidos.
M

ODULO 1 - AULA 14
Exerccio 4: Calcule
_
1
1
(2x + 3)
3

3x
2
+ 9x + 6 dx.
Solu cao: Se tomarmos p(x) = 3x
2
+9x+6, temos que p

(x) = 6x+9. Assim,


_
1
1
(2x + 3)
3

3x
2
+ 9x + 6 dx =
_
1
1
p

(x)
3
3
_
p(x) dx =
1
3
_
1
1
p

(x)
3
_
p(x) dx.
Pelo exerccio anterior, segue que
_
1
1
(2x + 3)
3

3x
2
+ 9x + 6 dx =
1
3
.
3
4
((p(1))
4
3
(p(1))
4
3
) =
1
4
(18)
4
3
.
Exerccio 5: Calcule
_
1
0
__
4
2
t
3
cos x dt
_
dx.
Solu cao: Na integral denida
_
4
2
t
3
cosx dt, a vari avel de integra c ao e t.
Assim, como cosx n ao depende de t, segue que
_
4
2
t
3
cosx dt = (cosx)
_
4
2
t
3
dt.
Note que G(t) =
t
4
4
e tal que G

(t) = t
3
. Portanto, pelo Teorema
Fundamental do C alculo,
_
4
2
t
3
cosx dt = (cosx)
_
4
2
t
3
dt =
= (cosx)
_
4
4
4

2
4
4
_
= (cosx)(4
3
2
2
) = 60cosx.
Logo,
_
1
0
__
4
2
t
3
cosx dt
_
dx =
_
1
0
60cosx dx =
= 60(sen1 sen0) = 60sen1.
117
CEDERJ
Exerccios resolvidos.
Exerccio 6: Seja F(x) =
_
2x
x
1
t
dt para todo x > 0. Mostre que F e uma
fun c ao constante.
Solu cao: Para todo x (0, +), temos
F(x) =
_
2x
x
1
t
dt =
_
1
x
1
t
dt +
_
2x
1
1
t
dt =
= log (2x) log x =
= log 2 + log x log x = log 2.
Portanto, F e uma fun c ao constante.
Exerccio 7 (Exerccios 1(h) e 1(l), da aula 5): Esboce a regi ao e ache a
area da regi ao compreendida entre:
(a) os gr acos de f(x) = x
2
x 2 e g(x) = x + 6;
(b) os gr acos de f(x) = cos x e as retas x = 0, x = e y = 0.
Solu cao: (a): Note que f(x) = g(x) se, e somente se, x = 2 ou x = 4, e
que f(x) g(x) para todo x [2, 4]. Assim, a regi ao em quest ao e como
indicado na Figura 14.1.
f(x) = x
2
x 2
g(x) = x + 6
6
1
2
6 2 4
Figura 14.1
CEDERJ
118
Exerccios resolvidos.
M

ODULO 1 - AULA 14
A area da regi ao e, portanto,
_
4
2
(g(x) f(x)) dx =
_
4
2
(x
2
+ 2x + 8) dx =
=
_
4
2
x
2
dx +
_
4
2
2x dx +
_
4
2
8 dx =
=
_

4
3
3
+
(2)
3
3
_
+ 2
_
4
2
2

(2)
2
2
_
+ 8(4 (2)) =
=
108
3
.
(b): A regi ao em quest ao e como indicado na Figura 14.2.
f(x) = cosx

2
0
1
1
Figura 14.2
Ve-se, facilmente, que a area da regi ao e duas vezes a area da regi ao
compreendida entre o gr aco de f(x) = cos x, para x [0,

2
], e a reta x = 0,
ou seja,
2
_
2
0
cosx dx = 2
_
sen

2
sen0
_
= 2.
Exerccio 8: Mostre, usando o teorema do valor medio para integrais, que
3
31

_
3
0
1
x
3
+ 4
dx
3
4
.
119
CEDERJ
Exerccios resolvidos.
Solu cao: A fun c ao f(x) =
1
x
3
+4
e contnua em [0, 3]. Pelo teorema do valor
medio para integrais, existe u [0, 3] tal que
_
3
0
1
x
3
+ 4
dx = f(u)(3 0) = 3f(u).
Por outro lado, como 4 x
3
+ 4 31 para todo x [0, 3], ent ao
1
31

1
x
3
+4

1
4
para todo x [0, 3]. Portanto,
3
31
3f(u) =
3
u
3
+4

3
4
, isto e,
3
31

_
3
0
1
x
3
+ 4
dx
3
4
,
como queramos demonstrar.
Exerccio 9: Vamos usar as propriedades da fun c ao logartmica e sua deri-
vada para determinar f

(x), onde f(x) =


3

x+1
(x+2)

x+3
para x [0, +).
Solu cao: Como f(x) > 0 para todo x [0, +), temos que g(x) = logf(x)
est a bem denida em [0, +). Aplicando as propriedades da fun c ao lo-
gartmica, obtemos
g(x) =
1
3
log(x + 1) log(x + 2)
1
2
log(x + 3).
Sendo f e log deriv aveis em (0, +), segue da regra da cadeia que g e
deriv avel em [0, +) e
g

(x) =
1
f(x)
.f

(x) =
1
3(x + 1)

1
x + 2

1
2(x + 3)
para todo x [0, +).
Multiplicando ambos os lados da igualdade por f(x), obtemos
f

(x) =
=
3

x + 1
(x + 2)

x + 3
.
2(x + 2)(x + 3) 6(x + 1)(x + 3) 3(x + 1)(x + 2)
(6(x + 1)(x + 2)(x + 3)
.
Finalmente, desenvolvendo o numerador e simplicando a express ao,
obtemos
f

(x) =
7x
2
23x 12
6(x + 1)
2
3
(x + 2)
2
(x + 3)
3
2
para todo x [0, +).
Exerccio 10: Calcule
_
1
0
x
2
+ 2x + 3
x
3
+ 3x
2
+ 9x + 1
dx.
CEDERJ
120
Exerccios resolvidos.
M

ODULO 1 - AULA 14
Solu cao: A fun c ao f(x) = x
3
+ 3x
2
+ 9x + 1 e tal que f(x) > 0 para todo
x [0, 1]. Assim, G(x) = logf(x) est a bem denida para todo x [0, 1].
Pela regra da cadeia, G e deriv avel em [0, 1] e G

(x) =
1
f(x)
.f

(x) para todo


x [0, 1], ou seja,
G

(x) =
3x
2
+ 6x + 9
x
3
+ 3x
2
+ 9x + 1
=
3(x
2
+ 2x + 3)
x
3
+ 3x
2
+ 9x + 1
.
para todo x [0, 1].
Como
_
1
0
x
2
+2x+3
x
3
+3x
2
+9x+1
dx =
1
3
_
1
0
3(x
2
+2x+3)
x
3
+3x
2
+9x+1
dx, segue do Teorema Fun-
damental do C alculo que
_
1
0
x
2
+ 2x + 3
x
3
+ 3x
2
+ 9x + 1
dx =
1
3
(G(1) G(0)) =
1
3
(log14 log1) =
log14
3
.
Resumo
Esses exerccios avaliam todo o conte udo visto neste m odulo. A partir
dessas resolu c oes voce pode, inclusive, tirar d uvidas de exerccios de aulas
anteriores nos quais tenha tido d uvida. Nesse caso, retorne ` a(s) aula(s) em
quest ao e refa ca-os. Se persistir a d uvida, procure o tutor no p olo.
121
CEDERJ
Exerccios resolvidos.
M

ODULO 1 - AULA 15
Aula 15 Exerccios resolvidos.
Referencias: M odulos 1, 2
de C alculo I e o M odulo 1 de
C alculo II.
Objetivo
Fixar os principais conceitos e resultados estudados durante o curso.
Exerccio 1 (Exerccio 5, da aula 4 de C alculo I): Mostre que
lim
x0
1 cos
3
x
2xsen x cos x
=
3
4
.
(a) Usando o limite fundamental lim
x0
sen x
x
= 1.
(b) Usando a regra de LH opital.
Solu cao: (a): Para x
_


2
,

2
_
{0}, temos
1 cos
3
x
2xsenx cosx
=
1 cos
2
x
2xsenx cosx
+
cos
2
x
2xsenx cosx

cos
3
x
2xsenx cosx
=
=
sen
2
x
2xsenx cosx
+
cosx
2xsenx

cos
2
x
2xsenx
=
=
senx
2x
1
cosx
+ cosx
_
1 cosx
2xsenx
_
=
=
senx
2x
1
cosx
+
cosx
1 + cosx
_
(1 cosx
_
(1 + cosx)
2xsenx
_
=
=
senx
2x
1
cosx
+
cosx
1 + cosx
_
sen
2
x
2xsenx
_
=
=
senx
2x
1
cosx
+
cosx
1 + cosx
sen x
2x
.
Portanto,
lim
x0
1 cos
3
x
2xsenx cosx
=
_
lim
x0
senx
2x
__
1
lim
x0
cosx
_
+
_
lim
x0
cosx
1 + lim
x0
cosx
__
lim
x0
senx
2x
_
=
=
1
2
1 +
1
2

1
2
=
3
4
.
(b): Lembrando que sen(2x) = 2senx cosx, temos
1 cos
3
x
2xsenx cosx
=
1 cos
3
x
xsen(2x)
.
123
CEDERJ
Exerccios resolvidos.
Como lim
x0
(1 cos
3
x) = lim
x0
(xsen(2x)) = 0, segue da regra de
LH opital que
lim
x0
1 cos
3
x
2xsenx cosx
= lim
x0
3cos
2
x senx
sen(2x) + 2xcos(2x)
,
caso o limite da direita exista. Mas, como
lim
x0
3cos
2
x senx = lim
x0
(sen(2x) + 2xcos(2x)) = 0,
segue da regra de LH opital que
lim
x0
3cos
2
x senx
sen(2x) + 2xcos(2x)
= lim
x0
3(2cosx sen
2
x + cos
3
x)
2cos(2x) + 2cos(2x) 4xsen(2x)
=
= lim
x0
3(2cosx sen
2
x + cos
3
x)
4cos(2x) 4xsen(2x)
caso o limite da direita exista. Finalmente, como
lim
x0
3(2cosx sen
2
x + cos
3
x)
4cos(2x) 4xsen(2x)
=
3
4
,
conclumos que
lim
x0
1 cos
3
x
2xsenx cosx
=
3
4
.
Exerccio 2: Use o teorema do valor intermedi ario para mostrar que o
polin omio p(x) = x
4
+ 7x
3
9 tem pelo menos duas razes reais.
Solu cao: Como p(0) = 9 < 0 e p(2) = 63 > 0, segue do teorema do valor
intermedi ario que existe (0, 2) tal que p() = 0. Logo,
p(x) = q(x)(x ) para todo x R, onde q e um polin omio de grau 3.
Pelo Exerccio 3, da aula 8 de C alculo I, q possui pelo menos uma raiz
real . Escrevendo q(x) = ax
3
+ bx
2
+ cx + d, temos x
4
+ 7x
3
9 =
(ax
3
+ bx
2
+ cx + d)(x ), e da resulta que a = 1, b = 7 + , c =
9

2
e d =
9

. Portanto, q(x) = x
3
+(7 +)x
2
+
9

2
x+
9

; em particular, q() > 0.


Conseq uentemente, = , sendo p() = q()( ) = 0. Assim, acabamos
de mostrar que p tem pelo menos duas razes reais, a saber, e .
Exerccio 3: Seja D =
_
log(x
5
+1)
x
4
+1
; x [1, 2]
_
. Use o teorema de Weierstrass
para mostrar que existem z, w D tais que z t w para todo t D.
Solu cao: Consideremos a fun c ao f(x) =
log(x
5
+1)
x
4
+1
, que e contnua em [1, 2]
(justique esta arma c ao). Pelo teorema de Weierstrass, existem x
1
, x
2

[1, 2] tais que f(x
1
) f(x) f(x
2
) para todo x [1, 2]. Ent ao, tomando
z = f(x
1
) D e w = f(x
2
) D, tem-se que z t w para todo t D (j a
que todo t D e da forma t = f(x) para algum x [1, 2]).
CEDERJ
124
Exerccios resolvidos.
M

ODULO 1 - AULA 15
Exerccio 4: Seja f(x) = |x|
3
para todo x R. Mostre que f e duas vezes
deriv avel em R e tres vezes deriv avel em R{0}. Mostre que f

e contnua
em 0, mas que f n ao e tres vezes deriv avel em 0.
Solu cao: Como f(x) = x
3
para todo x (, 0) e f(x) = x
3
para todo
x (0, +), segue que f

(x) = 3x
2
para todo x (, 0) e f

(x) = 3x
2
para todo x (0, +). Por outro lado,
lim
x0

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

x
3
x
= lim
x0

(x
2
) = 0
e
lim
x0
+
f(x) f(0)
x 0
= lim
x0
+
x
3
x
= lim
x0
+
x
2
= 0.
Logo, lim
x0
f(x) f(0)
x 0
= 0, provando que f e deriv avel em 0 e f

(0) = 0.
Em resumo, temos f

(x) = 3x
2
para todo x (, 0), f

(0) = 0
e f

(x) = 3x
2
para todo x (0, +). Portanto, f

(x) = 6x para todo


x (, 0) e f

(x) = 6x para todo x (0, +). Por outro lado,


lim
x0

(x) f

(0)
x 0
= lim
x0

3x
2
x
= lim
x0

(3x) = 0
e
lim
x0
+
f

(x) f

(0)
x 0
= lim
x0
+
3x
2
x
= lim
x0
+
3x = 0.
Logo, lim
x0
f

(x) f

(0)
x 0
= 0, provando que f

e deriv avel em 0 e
f

(0) = 0.
Acabamos de mostrar que f e duas vezes deriv avel em R, sendo
f

(x) = 6x para todo x (, 0), f

(0) = 0 e f

(x) = 6x para
todo x (0, +). Portanto, f

(x) = 6 para todo x (, 0) e


f

(x) = 6 para todo x (0, +), mostrando que f e tres vezes deriv avel
em R {0} = (, 0) (0, +).
Finalmente, como
lim
x0

(x) = lim
x0

(6x) = 0
e
lim
x0
+
f

(x) = lim
x0
+
6x = 0,
125
CEDERJ
Exerccios resolvidos.
segue que lim
x0
f

(x) = 0 = f

(0), mostrando que f

e contnua em 0. Por
outro lado,
lim
x0

(x) f

(0)
x 0
= lim
x0

6x
x
= 6
e
lim
x0
+
f

(x) f

(0)
x 0
= lim
x0
+
6x
x
= 6,
mostrando que lim
x0
f

(x) f

(0)
x 0
n ao existe. Assim, f n ao e tres vezes de-
riv avel em 0.
Exerccio 5: Seja f : R R tal que |f(x) f(y)| (xy)
2
para quaisquer
x, y R. Mostre que f e uma fun c ao constante.
Solu cao: Fixemos x R. Ent ao, para todo t R, t = x, temos

f(t) f(x)
t x

=
|f(t) f(x)|
|t x|
|t x|,
pois |t x|
2
= (t x)
2
. Como lim
tx
|t x| = |x x| = 0, conclumos que
lim
tx
f(t) f(x)
t x
= 0.
Isto prova que f e deriv avel em x e f

(x) = 0. Como x e arbitr ario, se-


gue que f e deriv avel em R e f

(x) = 0 para todo x R. Conseq uentemente,


f e uma fun c ao constante.
Exerccio 6: Mostre, usando o teorema do valor medio, que
1
9
<

668 <
1
8
.
Solu cao: Consideremos a fun c ao f(x) =

x restrita ao intervalo [64, 66]. J a
sabemos que o teorema do valor medio e aplic avel ` a fun c ao f. Pelo referido
teorema, existe c (64, 66) tal que f(66) f(64) = f

(c)(66 64) = 2f

(c),
isto e,

66 8 = 2
1
2

c
=
1

c
.
Mas, como 64 < c < 66 < 81, ent ao
1
9
=
1

81
<
1

c
<
1

64
=
1
8
.
Portanto,
1
9
<

66 8 <
1
8
, como queramos demonstrar.
Exerccio 7: Seja f(x) = e
x
3
+x
para todo x R.
(a) Mostre que f e crescente e Imf = {f(x); x R} = (0, +).
CEDERJ
126
Exerccios resolvidos.
M

ODULO 1 - AULA 15
(b) Use o teorema da fun c ao inversa para mostrar que a inversa f
1
de f e deriv avel em (0, +) e (f
1
)

(f(x)) =
1
(3x
2
+1)e
x
3
+x
para todo x R.
Forne ca (f
1
)

(1).
Solu cao: (a): Para quaisquer x, y R, com x < y, temos x
3
+ x < y
3
+ y.
Logo, como a fun c ao exponencial e crescente, f(x) = e
x
3
+x
< e
y
3
+y
= f(y).
Isto mostra que f e crescente. Como lim
x
(x
3
+ x) = , lim
x+
(x
3
+ x) =
+, lim
t
e
t
= 0 e lim
t+
e
t
= +, segue que lim
x
f(x) = 0 e lim
x+
f(x) =
+. Como f e contnua em R e Imf (0, +), o teorema do valor
intermedi ario garante que Imf = (0, +).
(b): Pela regra da cadeia, f e deriv avel em R e f

(x) = (3x
2
+ 1)e
x
3
+x
para todo x R. Logo, f

(x) > 0 para todo x R (o que tambem mostra que


f e crescente). Pelo teorema da fun c ao inversa, f
1
e deriv avel em (0, +)
e
(f
1
)

(f(x)) =
1
f

(x)
=
1
(3x
2
+ 1)e
x
3
+x
para todo x R. Em particular, como f(0) = 1, temos que
(f
1
)

(1) = (f
1
)

(f(0)) =
1
(3 0
2
+ 1)e
0
3
+0
= 1.
Exerccio 8: Sejam a, b R, a < b, e f, g : [a, b] R duas fun c oes
deriv aveis em [a, b] tais que as fun c oes f

e g

s ao contnuas em [a, b]. Mostre,


usando o Teorema Fundamental do C alculo, que
_
b
a
f

(x)g(x)dx +
_
b
a
f(x)g

(x)dx = f(b)g(b) f(a)g(a).


Solu cao: Denamos h(x) = f(x)g(x) para todo x [a, b]. A fun c ao h e
deriv avel em [a, b] e
h

(x) = f

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

(x)
para todo x [a, b]. Alem disso, a fun c ao x [a, b] f

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

(x)
R e contnua em [a, b]. Portanto, pelo Teorema Fundamental do C alculo,
_
b
a
(f

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

(x))dx = h(b) h(a) = f(b)g(b) f(a)g(a),


isto e,
_
b
a
f

(x)g(x)dx +
_
b
a
f(x)g

(x)dx = f(b)g(b) f(a)g(a).


127
CEDERJ
Exerccios resolvidos.
Exerccio 9: Use o Exerccio 8 para mostrar que, para quaisquer a, b R,
com 0 < a < b, tem-se
_
b
a
logx dx = b(logb 1) a(loga 1).
Solu cao: Denamos f(x) = x e g(x) = logx para todo x [a, b]. Como
f

(x) = 1 e g

(x) =
1
x
para todo x [a, b], segue que f

e g

s ao contnuas em
[a, b]. Podemos, ent ao, aplicar o Exerccio 8 para concluir que
_
b
a
logx dx +
_
b
a
dx = blogb aloga,
isto e,
_
b
a
logx dx = blogb aloga b + a = b(logb 1) a(loga 1).
Resumo
Conclumos nosso curso procurando, mais uma vez, real car a import ancia
dos conceitos e resultados fundamentais que tivemos a oportunidade de es-
tudar.
CEDERJ
128

Você também pode gostar