Clculo Integral em IR

(Primitivao e Integrao)
Miguel Moreira e Miguel Cruz
Contedo
1 Primitivao 2
1.1 Noo de primitiva . . . . . . . . . . . . . . . . . . . . . . . . 2
1.2 Algumas primitivas imediatas . . . . . . . . . . . . . . . . . . 3
1.3 Propriedades das primitivas . . . . . . . . . . . . . . . . . . . 3
1.4 Tcnicas de Primitivao . . . . . . . . . . . . . . . . . . . . . 4
1.4.1 Primitivao por partes . . . . . . . . . . . . . . . . . 4
1.4.2 Primitivao por mudana de varivel (ou substituio) 5
1.4.3 Primitivao por decomposio . . . . . . . . . . . . . 9
2 O Integral de Riemann 13
2.1 Parties de intervalos e somas de Riemann . . . . . . . . . . 13
2.2 Integrabilidade Riemann . . . . . . . . . . . . . . . . . . . . 14
3 Propriedades do Integral de Riemman 16
3.1 Propriedades elementares . . . . . . . . . . . . . . . . . . . . . 16
3.2 Teorema Fundamental do Clculo Integral . . . . . . . . . . . 19
3.3 Integrao por partes . . . . . . . . . . . . . . . . . . . . . . . 22
3.4 Integrao por mudana de varivel . . . . . . . . . . . . . . . 22
4 Algumas aplicaes do integral denido 23
4.1 Clculo de reas . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4.2 Clculo de volumes de slidos de revoluo . . . . . . . . . . . 24
4.3 Clculo do comprimento de linha . . . . . . . . . . . . . . . . 25
5 Integrais Imprprios 26
5.1 Limites de integrao innitos . . . . . . . . . . . . . . . . . . 26
5.2 Funes integrandas no limitadas . . . . . . . . . . . . . . . . 28
5.3 Critrios de convergncia . . . . . . . . . . . . . . . . . . . . . 30
1 05/Janeiro/2001
1 Primitivao
1.1 Noo de primitiva
Denio 1 Se f e F so funes denidas no intervalo [a, b], F diferen-
civel em todos os pontos de [a, b] e se para todo o x [a, b],
F

(x) = f (x) ,
diz-se que F uma primitiva de f em [a, b].
Observao 1 Nestas circunstncias diz-se que f primitivvel em [a, b] .
Observao 2 Questes de notao: para denotar a primitiva F de uma
funo y = f (x) habitual utilizar a notao, F (x) = P
x
f (x), F (x) =
Pf (x) ouF (x) =
_
f (x) dx.
Naturalmente (P
x
f (x))

= f (x).
Exemplo 1 As funes F (x) = sinx e G(x) = sin x + 3 so primitivas de
cos x em IR pois (sinx)

= (sin x + 3)

= cos x.
Como se pode vericar, se F for uma primitiva de f, tambm F + C
(em que C uma constante) uma primitiva de f. Mas ser que todas
as primitivas de uma dada funo diferem entre si de uma constante? O
seguinte teorema responde armativamente a esta questo (mas s se F for
uma primitiva de f num intervalo).
Proposio 1 Sejam F e G duas primitivas de f no intervalo [a, b]. Ento,
F (x) G(x) = C (em que C uma constante), isto , F e G diferem entre
si de uma constante.
Dem. Reparando que,
(F (x) G(x))

= F

(x) G

(x)
= f (x) f (x)
= 0,
deduz-se que F G constante no intervalo [a, b], em resultado de um
corolrio do teorema de Lagrange. .
2 05/Janeiro/2001
Funo Primitiva
sin x cos x + C
cos x sin x + C
x

, ( = 1, x > 0)
x
+1
+1
+ C
1
x
ln |x| + C
1
1+x
2
arctan x + C
1

1x
2
arcsin x + C
Tabela 1: Tabela de primitivas elementares
Funo Primitiva

(x) sin (x) cos (x) + C

(x) cos (x) sin(x) + C

(x) (x)

, ( = 1, (x) > 0)
[(x)]
+1
+1
+ C

(x)
(x)
ln|(x)| + C

(x)
1+[(x)]
2
arctan (x) + C

(x)

1[(x)]
2
arcsin(x) + C
Tabela 2: Tabela de primitivas imediatas
1.2 Algumas primitivas imediatas
Na tabela 1 apresentamos algumas primitivas imediatas.
Reparando que
(F ((x)))

(x) F

((x))
atendendo regra de derivao da funo composta conclu-se facilmente que
F ((x)) uma primitiva de

(x) F

((x)).
Na tabela 2 apresentamos a verso mais geral da tabela 1.
1.3 Propriedades das primitivas
Daqui em diante, tendo em vista simplicar a notao utilizada, a igual-
dade Pf (x) = Pg (x) dever ser entendida vericando-se a menos de uma
constante, isto , signicando
Pf (x) Pg (x) = C,
com C IR.
3 05/Janeiro/2001
Proposio 2 Sejam f e g funes primitivveis no intervalo [a, b] e IR.
Ento, no intervalo [a, b]:
1. P (f (x) + g (x)) = Pf (x) + Pg (x) ;
2. P (f (x)) = Pf (x) ;
Proposio 3 Seja f uma funo diferencivel no intervalo [a, b]. Ento,
no intervalo [a, b],
P
x
f

(x) = f (x) + C.
Dem. (f (x) + C)

= f

(x).
Proposio 4 Toda a funo contnua num intervalo primitivvel nesse
intervalo.
Dem. Ver a parte 1 do teorema fundamental do clculo integral (pro-
posio 21).
1.4 Tcnicas de Primitivao
1.4.1 Primitivao por partes
Proposio 5 Sejam f e g so funes com derivada contnua no intervalo
[a, b]. Ento, neste mesmo intervalo
P (f

(x) g (x)) = f (x) g (x) P (f (x) g

(x)) .
Dem. Da frmula de derivao do produto,
(f (x) g (x))

= f

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

(x) ,
resulta
f

(x) g (x) = (f (x) g (x))

f (x) g

(x) .
Notando que estas funes so todas primitivveis pois so contnuas (pro-
posio 4), deduz-se
P (f

(x) g (x)) = P
_
(f (x) g (x))

_
P (f (x) g

(x))
= f (x) g (x) P (f (x) g

(x)) ,
tendo em conta algumas das propriedades, j assinaladas, da primitivao.
4 05/Janeiro/2001
Exemplo 2 Calcule P sin
2
x.
Fazendo f

(x) = sin x e g (x) = sinx, resulta f (x) = cos x e g

(x) =
cos x. Aplicando a frmula de primitivao por partes,
P (sinxsin x) = cos xsin x P
_
cos
2
x
_
= cos xsin x + P
_
1 sin
2
x
_
= cos xsin x + x P sin
2
x.
Ento,
P sin
2
x =
cos xsin x + x
2
+ C.
Exemplo 3 Calcule P ln x.
Fazendo f

(x) = 1 e g (x) = ln x resulta f (x) = x e g

(x) =
1
x
. Assim,
P ln x = xln x Px
1
x
= x(ln x 1) + C.
Exemplo 4 Calcule Pxe
x
.
Fazendo f

(x) = e
x
e g (x) = x resulta f (x) = e
x
e g

(x) = 1. Assim,
Pxe
x
= xe
x
P1e
x
= e
x
(x 1) + C.
1.4.2 Primitivao por mudana de varivel (ou substituio)
Comecemos por apresentar a seguinte notao para representar f (g (t)):
f (g (t)) = f (x)|
x=g(t)
.
Proposio 6 Seja f uma funo contnua no intervalo [a, b] e x = (t)
uma aplicao com derivada contnua e que no se anula. Ento,
P
x
f (x) = P
t
f ((t))

(t)|
t=
1
(x)
.
Dem. Claramente y = f (x) e z = f ((t))

(t) so funes primi-

tivveis no intervalo [a, b] relativamente s variveis x e t, respectivamente.
Seja, H (t) = P
t
f ((t))

(t) e
H
_

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

(t)|
t=
1
(x)
,
5 05/Janeiro/2001
mostremos que
d
(
H
(

1
(x)
))
dx
= f (x). Da regra de derivao da funo com-
posta e da funo inversa deduz-se sucessivamente,
d (H (
1
(x)))
dx
=
d (H (t))
dt

t=
1
(x)
d (
1
(x))
dx
= f ((t))

(t)|
t=
1
(x)
1

(t)

t=
1
(x)
= f (x)

1
(x)
_
1

(
1
(x))
= f (x) .
Observao 3 Seguidamente apresentamos uma demonstrao alternativa
da proposio anterior.
Dem. Seja F uma primitiva de f e H (t) = F ((t)). Ento
H

(t) = F

x
((t))

(t)
= f ((t))

(t) ,
o que mostra que H (t) = F ((t)) uma primitiva de f ((t))

(t). Assim,
se em H substituirmos (t) por x (ou seja zermos t =
1
(x)) obteremos
F (x).
Observao 4 Utilizando outra notao para representar o conceito de prim-
itiva a frmula de primitivao por substituio pode ser apresentada da
forma seguinte:
_
f (x) dx =
_
f ((t))

(t) dt

t=
1
(x)
=
_
f ((t))
d
dt
dt

t=
1
(x)
.
Exemplo 5 Calcule P
1
(2x+1)
2
.
Seja t = 2x + 1, isto , faamos x = (t) =
t1
2
. Da frmula de primiti-
vao por substituio,
P
x
1
(2x + 1)
2
= P
t

(t)
(2(t) + 1)
2

t=2x+1
= P
t
1
2
t
2

t=2x+1
=
1
2
t
1

2x+1
=
1
2 (
2x+1
)
+ C.
6 05/Janeiro/2001
Exemplo 6 Calcule Pe

2x
.
Faamos

2 x = t, isto , x = (t) = 2 t
2
. Assim,

(t) = 2t e
P
x
e

2x
= P
t

(t) e

2(t)

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

t=
1
(x)
= 2Pte
t

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

t=
1
(x)
= 2
_
e

2x
_
2 x 1
_
_
+ C.
Exemplo 7 Calcule P

4 x
2
.
Seja x = (t) = 2 sin t. Ento,

(t) = 2 cos t e
P
x

4 x
2
= P
t

(t)
_
4 (t)
2

t=
1
(x)
= P
t
2 cos t
_
4 (2 sint)
2

t=
1
(x)
= 4P
t
cos
2
t

t=arcsin
x
2
.
Mas,
P
t
cos
2
t = P
t
_
1 sin
2
t
_
=
= t
cos t sint + t
2
=
t + cos t sin t
2
.
Ento,
P
x

4 x
2
= 4
t + cos t sin t
2

t=arcsin
x
2
= 2
_
arcsin
x
2
+ cos arcsin
x
2
sin arcsin
x
2
_
= 2
_
arcsin
x
2
+
x
2
_
1
x
2
4
_
+ C
Uma das principais diculdades na primitivao por substituio reside
na escolha da mudana de varivel adequada. Em numerosas situaes
encontram-se estudadas substituies aconselhadas, tais como as que se ap-
resentam na tabela 3, na qual f uma funo racional dos argumentos in-
dicados. A utilizao destas substituies permite transformar a funo a
primitivar numa funo racional que pode ser primitivada por decomposio.
7 05/Janeiro/2001
Primitiva Substituio
Pf
_
x,

ax
2
+ bx + c
_
, a > 0

ax
2
+ bx + c = t + x

a
Pf
_
x,

ax
2
+ bx + c
_
, c > 0

ax
2
+ bx + c = tx +

c
Pf
_
x,

ax
2
+ bx + c
_
,

ax
2
+ bx + c = (x ) t,
b
2
4ac > 0 raz de ax
2
+ bx + c
Pf (e
x
) x = ln t
Tabela 3: Primitivao por substituio
Exemplo 8 Calcule P
1

x
2
+c
.
Notemos que a > 0 em x
2
+c. Utilizemos por isso a primeira das substi-
tuies recomendada na tabela 3,

x
2
+ c = t + x.
Assim, x = (t) =
ct
2
2t
e

(t) =
t
2
+c
2t
2
e
P
x
1

x
2
+ c
= P
t
1
t +
ct
2
2t
t
2
+ c
2t
2

t=

x
2
+cx
= P
t
1
t

t=

x
2
+cx
= ln

x
2
+ c x

+ C.
Exemplo 9 Calcule P
e
x
+2e
x
e
2x
.
Notemos que
e
x
+ 2e
x
e
2x
=
e
2x
+ 2
e
3x
e faamos x = (t) = ln t. Assim,

(t) =
1
t
e
P
x
e
x
+ 2e
x
e
2x
= P
t
t
2
+ 2
t
3
1
t

t=e
x
Exemplo 10 Calcule P
1+

x
2
3x2
x1
.
Notemos que a > 0 e que x
2
3x 2 tem duas razes reais distintas
pois b
2
4ac > 0. Podemos recorrer primeira ou ltima das substituies
assinaladas na tabela 3. Utilizando a primeira das substituies, faamos

x
2
3x 2 = t + x.
8 05/Janeiro/2001
Assim,
x = (t) =
2 + t
2
3 + 2t
e

(t) =
2t
2
+ 6t 4
(3 + 2t)
2
.
Resultando,
P
x
1 +

x
2
3x 2
x 1
= P
t
1 + t
2+t
2
3+2t

2+t
2
3+2t
1
_

2t
2
+ 6t 4
(3 + 2t)
2
_

t=
1
(x)
No prximo ponto iremos ver como primitivar funes racionais.
1.4.3 Primitivao por decomposio
A decomposio uma tcnica de primitivao de funes racionais que con-
siste em decompor em fraces elementares de primitivao imediata ou quase
imediata a funo racional que se pretende primitivar.
Proposio 7 Seja F (x) uma funo racional. possvel escrever F na
forma
F (x) = H (x) +
P (x)
Q(x)
em que H, P e Q representam polinmios tais que o grau de P inferior ao
grau do polinmio mnico
1
Q.
Dem. Omitida.
Exemplo 11 Escreva na forma anteriormente indicada a funo racional
F (x) =
x
4
3x
2
+x
3x
3
+x
.
Apliquemos o algoritmo da diviso ao quociente F. Facilmente se verica
que
F (x) =
x
3
+

10
3
x + 1
3x
2
+ 1
=
x
3
+

10
9
x +
1
3
x
2
+
1
3
.
1
um polinmio mnico se o coeciente do termo de maior grau 1.
9 05/Janeiro/2001
funo Primitiva
a
(xr)
k
, k 1, k IN
_
a ln |(x k)| + C, se k = 1
a(xr)
k+1
k+1
, se k > 1
bx+d
[
(x)
2
+
2
]
b ln((x)
2
+
2
)
2
+
(b+d)

arctan
_
x

_
+ C
bx+d
[
(x)
2
+
2
]
k
, k > 1, k IN
b
(
1+t
2
)
k+1
2
2k2
(1k)
+
b+d

2k1
_
1
(1+t
2
)
k
dt,
t =
x

1
(1+t
2
)
k
, k > 1, k IN
por partes fazendo,
1
(1+t
2
)
k
=
1
(1+t
2
)
k1

t
2
2t
(1+t
2
)
k
Tabela 4: Primitivao por decomposio
Assim, o clculo da primitiva de F ca reduzido ao clculo da primitiva
elementar do polinmio H e da primitiva da fraco racional P/Q com as
caractersticas atrs indicadas:
_
F (x) dx =
_
H (x) dx +
_
P (x)
Q(x)
dx.
Proposio 8 Sejam P e Q polinmios tais que o grau de P inferior ao
grau do polinmio mnico Q. Ento P/Q pode decompor-se numa soma de
termos elementares dos tipos seguintes:
1.
a
(xr)
k
, a, r IR, k IN e k 1
2.
bx+d
[(x)
2
+
2
]
k
, , , b, d IR, k IN e k 1.
Dem. Omitida.
Desta forma conhecendo as primitivas dos termos elementares
a
(xr)
k
e
bx+d
[
(x)
2
+
2
]
k
o problema do clculo de
_
P(x)
Q(x)
dx ca resolvido. Na tabela 4
apresentamos as primitivas indicadas.
Seguidamente vamos vericar como podemos decompor P/Q.
Proposio 9 Consideremos o polinmio mnico Q e todas as suas razes
reais r
k
(1 k s) e complexas c
l
=
l
+
l
i (1 l t) assim como
as respectivas multiplicidades
k
(1 k s) das razes reais e da razes
complexas
l
(1 l t).
10 05/Janeiro/2001
Razes: Multiplicidade:
r
1

1
.
.
.
.
.
.
r
s

s
c
1
=
1

1
i
1
.
.
.
.
.
.
c
t
=
t

t
i
t
Ento o polinmio Q pode ser escrito da seguinte forma,
Q(x) = (x r
1
)

1
. . . (x r
s
)

s
_
(x
1
)
2
+
2
1
_

1
. . .
_
(x
t
)
2
+
2
t
_

t
Dem. Omitida.
Exemplo 12 Decomponha na forma indicada o polinmio Q(x) = x
3
x
2
+
x 1.
Comecemos por observar que as razes de Q so r = 1 e c = i, qualquer
delas de multiplicidade um. Ento,
Q(x) = (x 1)
_
x
2
+ 1
_
.
Proposio 10 Consideremos a funo racional P/Q tal que o grau de P
menor do que o grau do polinmio mnico Q e todas as razes reais r
k
(1 k s) e complexas c
l
=
l
+
l
i (1 l t), deste ltimo polinmio,
assim como as respectivas multiplicidades
k
(1 k s) das razes reais e
da razes complexas
l
(1 l t). Ento,
P (x)
Q(x)
=
s

k=1

n=1
a
(n)
k
(x r
k
)
n
+
t

l=1

m=1
b
(m)
l
x + d
(m)
l
_
(x
l
)
2
+
2
l
_
m
Dem. Omitida.
De referir que os coecientes desconhecidos na decomposio anterior po-
dem ser calculados pelo mtodo dos coecientes indeterminados.
Exemplo 13 Decomponha da maneira indicada as funes racionais
1. F
1
(x) =
x
2
+2x1
(x+1)
3
(x1)
x
2
+ 2x 1
(x + 1)
3
(x 1)
=
a
1
(x + 1)
+
a
2
(x + 1)
2
+
a
3
(x + 1)
3
+
a
4
(x 1)
.
11 05/Janeiro/2001
2. F
2
(x) =
x
3
1
x(x
2
+1)
2
x
3
1
x(x
2
+ 1)
2
=
a
1
x
+
b
1
x + d
1
(x
2
+ 1)
+
b
2
x + d
2
(x
2
+ 1)
2
.
3. F
3
(x) =
x+2
(x
2
1)(x
2
+1)
2
x + 2
(x
2
1) (x
2
+ 1)
2
=
x + 2
(x 1) (x + 1) (x
2
+ 1)
2
=
a
1
(x 1)
+
a
2
(x + 1)
+
b
1
x + d
1
(x
2
+ 1)
+
b
2
x + d
2
(x
2
+ 1)
2
.
4. F
4
(x) =
x
2
+2x1
x
3
x
2
+x1
x
2
+ 2x 1
x
3
x
2
+ x 1
=
x
2
+ 2x 1
(x 1) (x
2
+ 1)
=
a
1
(x 1)
+
b
1
x + d
1
(x
2
+ 1)
.
Exemplo 14 Decomponha em fraces elementares a funo racional
F (x) =
x
2
+ 2x 1
x
3
x
2
+ x 1
e calcule os coecientes indeterminados.
Do exemplo anterior,
x
2
+ 2x 1
x
3
x
2
+ x 1
=
a
1
(x 1)
+
b
1
x + d
1
(x
2
+ 1)
=
a
1
(x
2
+ 1) + (x 1) (b
1
x + d
1
)
(x 1) (x
2
+ 1)
=
(a
1
+ b
1
) x
2
+ (d
1
b
1
) x + (a
1
d
1
)
(x 1) (x
2
+ 1)
.
Ento,
_
_
_
a
1
+ b
1
= 1
d
1
b
1
= 2
a
1
d
1
= 1

_
_
_
a
1
= 1
b
1
= 0
d
1
= 2

x
2
+ 2x 1
x
3
x
2
+ x 1
=
1
(x 1)
+
2
(x
2
+ 1)
12 05/Janeiro/2001
2 O Integral de Riemann
2.1 Parties de intervalos e somas de Riemann
Denio 2 Seja [a, b] um intervalo com b > a.
1. Uma partio
2
de [a, b] um conjunto de pontos P = {x
0
, x
1
, . . . , x
n
}
tal que
a = x
0
< x
1
< x
2
< . . . < x
n
= b.
2. A norma da partio P = {x
0
, x
1
, . . . , x
n
} o nmero (que sempre
maior ou igual a zero),
P = max
1jn
|x
j
x
j1
| .
3. Um renamento da partio P = {x
0
, x
1
, . . . , x
n
} uma partio Q
de [a, b] tal que P Q. Nesta situao diz-se que Q mais na do
que P.
Exemplo 15 Sejam I = [0, 1], P = {0, 0.1, 0.3, 0.5, 1} e Q = P {0.7}.
P e Q so duas parties de I tais que P = 0.5 e Q = 0.3. Q um
renamento da partio P pois P Q. Naturalmente Q mais na do que
P.
Denio 3 Seja [a, b] um intervalo fechado limitado, P = {x
0
, x
1
, . . . , x
n
}
uma partio de [a, b] e f : [a, b] IR uma funo limitada. Chama-se soma
de Riemann de f relativamente partio P ao nmero
S (f, P) =
n

j=1
f (t
j
) (x
j
x
j1
)
com
t
j
[x
j1
, x
j
] com 1 j n.
Exemplo 16 Represente e interprete geometricamente uma soma de Rie-
mann de f (x) = x
2
em [0, 1] e P = {0, 0.25, 0.5, 0.75, 1} .
Proposio 11 Sejam P e Q parties de [a, b] tal que P Q ento P
Q .
Dem. Omitida.
2
ou decomposio de vrtices P.
13 05/Janeiro/2001
Denio 4 (Convergncia de uma soma de Riemann) Seja P = {x
0
, x
1
, . . . , x
n
}
uma partio de [a, b] e f : [a, b] IR uma funo limitada. Diz-se que a
soma de Riemann de f converge para o nmero I (f) quando P 0 se
para todo > 0 existe uma partio P

de [a, b] tal que

P

j=1
f (t
j
) (x
j
x
j1
) I (f)

<
para todas as escolhas de t
j
[x
j1
, x
j
] , 1 j n. Nestas circunstncias
I (f) = lim
P0
n

j=1
f (t
j
) (x
j
x
j1
)
2.2 Integrabilidade Riemann
Denio 5 Seja [a, b] um intervalo com b > a. Diz-se que f : [a, b] IR
integrvel Riemann em [a, b] se f limitada em [a, b] e se o limite
I (f) = lim
P0
n

j=1
f (t
j
) (x
j
x
j1
) ,
existe. Nestas circunstncias escreve-se
I (f) =
_
b
a
f (x) dx,
e diz-se que
_
b
a
f (x) dx o integral denido de f entre a e b.
Na denio anterior f representa a chamada funo integranda, x a
varivel de integrao, dx o acrscimo innitsimal associado a
lim
P0
(x
j
x
j1
)
e a e b os limites de integrao.
Observao 5 No presente contexto e se nada for dito em contrrio a ex-
presso funo integrvel dever entender-se funo integrvel Rie-
mann.
Exemplo 17 As funes constantes f (x) = k, so integrveis Riemann
pois so limitadas, e f (t
j
) = k para todas as escolhas de t
j
[x
j1
, x
j
] ,
j = 1, 2, . . . , n para toda a partio P de [a, b],
n

j=1
k (x
j
x
j1
) = k
n

j=1
(x
j
x
j1
)
= k (b a) .
14 05/Janeiro/2001
Oseguinte resultado mostra que todas as funes contnuas so integrveis
Riemann.
Proposio 12 As funes contnuas em intervalos fechados e limitados
[a, b], so integrveis Riemann.
Dem. Omitida.
Ointegral de Riemann de uma funo positiva entre a e b pode interpretar-
se geometricamente como a rea da regio do plano limitada superiormente
pelo grco de f, inferiormente pelo eixo dos xx e lateralmente pelas rectas
x = a e x = b.
Exemplo 18 Consideremos a funo f (x) = x e o intervalo [0, 1]. Calcule-
mos
_
1
0
f (x) dx.
Consideremos a partio didica do intervalo indicado,
P
n
= {j/2
n
: j = 0, 1, 2, 3, . . . , 2
n
}
e a soma de Riemann,
S (f, P) =
j=2
n

j=1
f
_
j
2
n
__
j
2
n

j 1
2
n
_
=
j=2
n

j=1
j
2
n
1
2
n
=
j=2
n

j=1
j
4
n
=
1 + 2 + 4 + . . . + 2
n
4
n
=
(1 + 2
n
) 2
n
2 4
n
=
_
1
2
n
+ 1
_
2
.
Ento,
_
1
0
f (x) dx = lim
n
_
1
2
n
+ 1
_
2
=
1
2
.
15 05/Janeiro/2001
3 Propriedades do Integral de Riemman
3.1 Propriedades elementares
Vamos ver agora algumas propriedades importantes do integral de Riemann.
Proposio 13 (Linearidade do Integral) Sejam f e g integrveis em
[a, b] e IR, ento f + g e f so integrveis em [a, b] e
_
b
a
(f (x) + g (x)) dx =
_
b
a
f (x) dx +
_
b
a
g (x) dx
e
_
b
a
(f (x)) dx =
_
b
a
f (x) dx.
Dem. Deixemos a demonstrao da segunda igualdade como exerccio e
demonstremos a primeira. Comecemos por observar que f +g limitada em
[a, b]. Seja > 0 e
1


2
. Existem parties P

1
e R

1
tais que
P

1
P

j=1
f (t
j
) (x
j
x
j1
) I (f)

<
1
=

2
e
R

1
P

j=1
g (t
j
) (x
j
x
j1
) I (g)

<
1
=

2
para todas as escolhas de t
j
[x
j1
, x
j
] , j = 1, 2, . . . , n (porqu?). Conside-
remos a partio de [a, b], Q

= P

1
R

1
. Ento,

j=1
(f (t
j
) + g (t
j
)) (x
j
x
j1
) (I (f) + I (g))

j=1
f (t
j
) (x
j
x
j1
) I (f) +
n

j=1
g (t
j
) (x
j
x
j1
) I (g)

j=1
f (t
j
) (x
j
x
j1
) I (f)

j=1
g (t
j
) (x
j
x
j1
) I (g)

<

2
+

2
=
se Q

P, para todas as escolhas de t

j
[x
j1
, x
j
] , j = 1, 2, . . . , n (porqu?).
O que mostra que,
_
b
a
(f (x) + g (x)) dx =
_
b
a
f (x) dx +
_
b
a
g (x) dx
16 05/Janeiro/2001
Proposio 14 Se f integrvel em [a, b] ento f integrvel em todo o
subintervalo [c, d] de [a, b] e
_
b
a
f (x) dx =
_
c
a
f (x) dx +
_
b
c
f (x) dx,
para todo o c ]a, b[.
Dem. Omitida.
Proposio 15 (Comparao de Integrais) Sejam f e g integrveis em
[a, b] e f (x) g (x) para todo x [a, b] , ento
_
b
a
f (x) dx
_
b
a
g (x) dx. (1)
Em particular se m f (x) M,
m(b a)
_
b
a
f (x) dx M (b a) . (2)
Dem. Seja h(x) = f (x) g (x). Ento, h(x) 0 para todo x [a, b],
com h e a funo constante 0 integrveis Riemann (porqu?). Por outro
lado,
S (h, P) S (0, P) = 0
para toda a partio de P de [a, b]. Ento,
lim
P0
n

j=1
h(t
j
) (x
j
x
j1
) 0.
Da linearidade do integral (proposio 15), conclui-se
_
b
a
h(x) dx =
_
b
a
(f (x) g (x)) dx
=
_
b
a
f (x) dx
_
b
a
g (x) dx 0,
o que mostra que
_
b
a
f (x) dx
_
b
a
g (x) dx
como se pretendia.
17 05/Janeiro/2001
Proposio 16 Seja f integrvel em [a, b] , ento |f| integrvel em [a, b] ,e

_
b
a
f (x) dx

_
b
a
|f (x)| dx.
Dem. Omitida.
Proposio 17 Seja f e g integrveis em [a, b] , ento fg integrvel em
[a, b].
Dem. Omitida.
Proposio 18 Se f integrvel em [a, b] ento
_
c
c
f (x) dx = 0
para todo o c [a, b].
Dem. Seja c [a, b[, h > 0 tal que c +h [a, b[ e M o mximo de f em
[a, b]. Ento, das proposies 16 e 15,

_
c+h
c
f (x) dx

_
c+h
c
|f (x)| dx
M (c + h c)
Mh.
Fazendo h 0 resulta

_
c+h
c
f (x) dx

0. Deste facto resulta a tese.

Anlogamente se demonstra a situao c = b.
Denio 6 Seja f integrvel em [a, b], ento
_
a
b
f (x) dx =
_
b
a
f (x) dx.
Esta denio pode justicar-se recorrendo noo de Integral de Rie-
mann e permite generalizar algumas das propriedades j estudadas.
Proposio 19 (Teorema da mdia) Seja f contnua em [a, b] , ento ex-
iste c [a, b] tal que
_
b
a
f (x) dx = f (c) (b a) . (3)
Dem. Naturalmente f integrvel (porqu?). Seja m e M o mnimo e o
mximo de f em [a, b], respectivamente. Do teorema de Bolzano (porque
18 05/Janeiro/2001
f contnua) para todo entre m e M existe c [a, b] tal que f (c) = . Da
equao (2) como,
m
_
b
a
f (x) dx
b a
M,
fazendo =

b
a
f(x)dx
ba
resulta a tese.
3.2 Teorema Fundamental do Clculo Integral
Comecemos por denir o que se entende por integral indenido.
Denio 7 Seja f integrvel em [a, b]. Ento a funo
F (x) =
_
x
a
f (t) dt
com x [a, b] diz-se integral indenido de f.
Proposio 20 Seja f integrvel em [a, b] , ento
F (x) =
_
x
a
f (t) dt
existe e contnua em [a, b] .
Dem. Seja > 0, x
0
[a, b], M = sup
x[a,b]
f (x) e =

M
. Ento,
recorrendo s propriedades atrs indicadas,
|F (x) F (x
0
)| =

_
x
a
f (t) dt
_
x
0
a
f (t) dt

=
_

_
x
x
0
f (t) dt

, se x
0
x

_
x
0
x
f (t) dt

, se x
0
> x

_ _
x
x
0
|f (t)| dt, se x
0
x
_
x
0
x
|f (t)| dt, se x
0
> x
M|x x
0
| .
Este facto mostra, como se pretendia, que
|x x
0
| <
x
|F (x) F (x
0
)| < .
Proposio 21 (Teorema fundamental do Clculo Integral) Seja [a, b]
um intervalo com b > a e f : [a, b] IR.
19 05/Janeiro/2001
1. Se f contnua em [a, b] ento F (x) =
_
x
a
f (t) dt tem derivada con-
tnua em [a, b] e
d
__
x
a
f (t) dt
_
dx
= F

(x) = f (x) . (4)

2. (Frmula de Barrow) Se f contnua em [a, b] e G uma primitiva de
f em [a, b]. Ento
_
b
a
f (t) dt = G(x)|
b
a
= G(b) G(a) . (5)
Dem.
1. Seja F (x) =
_
x
a
f (t) dt. Calculemos a razo incremental de F em
x
0
]a, b[:
F (x
0
+ h) F (x
0
)
h
=
_
x
0
+h
a
f (t) dt
_
x
0
a
f (t) dt
h
=
_
x
0
+h
x
0
f (t) dt
h
,
das propriedades elementares do integral. Por outro lado, como f
contnua em [a, b], da proposio 19 (teorema da mdia) existe
h
entre
x
0
e x
0
+ h tal que
_
x
0
+h
x
0
f (t) dt = f (
h
) (x
0
+ h x
0
)
= f (
h
) h.
Assim, notando que x
0
quando h 0, (porqu?),
lim
h0
F (x
0
+ h) F (x
0
)
h
= lim
h0
_
x
0
+h
x
0
f (t) dt
h
= lim
h0
f (
h
) h
h
= f (x
0
) .
Este facto demonstra que F

(x) = f (x) e que F

contnua em ]a, b[.

A demonstrao de que F

(a) = f (a) (derivada de F direita de a) e

F

(b) = f (b) (derivada de F esquerda de b) poderia ser realizada de

forma idntica recorrendo noo de derivada lateral direita e esquerda
respectivamente.
20 05/Janeiro/2001
2. Seja G(x) uma primitiva de f em [a, b]. Ento, da proposio 1, j
que
_
x
a
f (t) dt tambm uma primitiva de f em [a, b],
G(x)
_
x
a
f (t) dt = k.
Fazendo x = a resulta G(a) = k. Assim,
G(b)
_
b
a
f (t) dt = G(a) ,
o que demonstra a validade da equao (5).
Observao 6 possvel enfraquecer ligeiramente as hipteses do nmero
2 da proposio 21:
(Frmula de Barrow) Se F

integrvel em [a, b] ento

_
b
a
F

(t) dt = F (x)|
b
a
= F (b) F (a) .
A demonstrao deste caso pode encontrar-se em [6].
Observao 7 A equao (5) fornece-nos um mtodo de clculo do integral
denido e conhecida por frmula de Barrow ou frmula de Newton-
Leibniz.
Exemplo 19 Seja f contnua em [a, b], F (y) =
_
y
a
f (t) dt e y = g (x) uma
funo diferencivel em ]a, b[. Calcule, a derivada de
H (x) =
_
g(x)
a
f (t) dt,
em ]a, b[.
1. Comecemos por observar que (H (x))

= (F (g (x)))

. Pela regra de
derivao da funo composta
(H (x))

= F

y
(g (x)) g

(x) .
2. Mas, do nmero 1 da proposio 21, F

y
(y) = f (y), ento
(H (x))

= f (g (x)) g

(x) .
21 05/Janeiro/2001
Exemplo 20 Calcule
_

0
sin xdx. Seja cos x uma primitiva de sin x. En-
to, do nmero 2 da proposio 21,
_

0
sin xdx = cos x|

0
= cos (cos 0)
= (1) (1) = 2.
3.3 Integrao por partes
Proposio 22 (Frmula de integrao por partes) Sejam f e g difer-
enciveis em [a, b] com f

e g

integrveis em [a, b]. Ento,

_
b
a
f

(x) g (x) dx = f (x) g (x)|

b
a

_
b
a
f (x) g

(x) dx.
Dem. Da regra de derivao do produto,
f

(x) g (x) = (f (x) g (x))

f (x) g

(x) . (6)
Tendo presente a frmula de Barrow, notando que f (x) g (x) uma primitiva
de (f (x) g (x))

e que os restantes termos da equao anterior so integrveis

em [a, b], deduz-se o resultado pretendido, integrando membro a membro a
equao (6).
Exemplo 21 Calcule
_
/2
0
xsin xdx.
Seja g (x) = x e f

(x) = sin x. Nestas circunstncias g

(x) = 1 e f (x) =
cos x. Assim,
_
/2
0
xsin xdx = xcos x|
/2
0

_
/2
0
1 (cos x) dx
= 0 +
_
/2
0
cos xdx
= sinx|
/2
0
= 1.
3.4 Integrao por mudana de varivel
Proposio 23 (Mudana de varivel) Seja x = (t) uma funo com
derivada contnua em [a, b], intervalo fechado e limitado, tal que (a)
(b). Se,
1. f for contnua em ([a, b]) , ou se,
22 05/Janeiro/2001
2. for estritamente crescente em [a, b] e f for integrvel em [(a) , (b)],
ento,
_
(b)
(a)
f (x) dx =
_
b
a
f ((t))

(t) dt.
Dem. Demonstremos apenas o primeiro resultado (a demonstrao do
nmero 2 pode encontrar-se em [6]). Suponha-se f contnua em ([a, b]) =
[(a) , (b)]. Seja, F (x) =
_
x
(a)
f () d uma primitiva de f. Note-se que F
uma primitiva de f em resultado do nmero 1 da proposio 21. Por outro
lado H (t) = F ((t)) uma primitiva da funo contnua f ((t))

(t).
Assim pela frmula de Barrow resulta sucessivamente,
_
b
a
f ((t))

(t) dt = H (b) H (a)

= F ((b)) F ((a))
=
_
(b)
(a)
f (x) dx
Exemplo 22 Calcule
_
1
0
1

1x
2
dx.
Seja x = (t) = sin t e

(t) = cos t. Assim, quando x = 1 e x = 0,

t = arcsin 1 =

2
e t = 0. Ento,
_
1
0
1

1 x
2
dx =
_
2
0
cos t
_
1 (sin t)
2
dt
=
_
2
0
1dt
=

2
.
4 Algumas aplicaes do integral denido
4.1 Clculo de reas
A rea A, limitada pelas curvas (correspondentes a funes integrveis) y =
f (x) e y = g (x) e pelas rectas verticais x = a e x = b (a b), pode
calcular-se recorrendo seguinte expresso:
A =
_
b
a
|f (x) g (x)| dx
23 05/Janeiro/2001
Note-se que
_
b
a
|f (x) g (x)| dx = lim
P0
n

j=1
|f (t
j
) g (t
j
)| (x
j
x
j1
)
facto que interpretado geometricamente justica a armao.
Exemplo 23 Clcule a rea limitada pelas curvas y = sinx e o eixo dos xx
entre x = 0 e x = .
Seja ento
A =
_

0
|sinx 0| dx =
_

0
sin xdx
= cos + cos 0 = 2.
Exemplo 24 Clcule a rea limitada pelas curvas y = x e y = x
2
entre
x = 0 e x = 1.Seja ento
A =
_
1
0

x x
2

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

x
3
3

1
0
=
1
6
.
4.2 Clculo de volumes de slidos de revoluo
O volume V de um slido de revoluo gerado pela rotao em torno do eixo
dos xx da rea limitada pelas curvas (correspondentes a funes integrveis
no negativas) y = f (x) e y = g (x) e as rectas x = a e x = b (a b), pode
ser calculado pela seguinte expresso:
V =
_
b
a

f
2
(x) g
2
(x)

dx
Note-se que
_
b
a

f
2
(x) g
2
(x)

dx = lim
P0
n

j=1

f
2
(t
j
) g
2
(t
j
)

(x
j
x
j1
)
facto que interpretado geometricamente justica a armao.
Exemplo 25 Clcule o volume de uma esfera de raio igual a um.
24 05/Janeiro/2001
Seja ento y =

1 x
2
,
V =
_
1
1

1 x
2
_
2
0
2

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

1
1
=
4
3
.
Exemplo 26 Clcule o volume do slido de revoluo gerado pela rotao
da superfcie limitada pelas curvas y = kx e o eixo dos xx entre x = 0 e
x = h (k > 0 e h > 0).
Seja ento
V =
_
h
0

(kx)
2
0
2

dx
= k
2
_
h
0
x
2
dx
=
k
2
h
3
3
.
4.3 Clculo do comprimento de linha
O comprimento l da linha associada ao grco da funo y = f (x) (com
derivada contnua) entre x = a e x = b (isto entre os pontos (a, f (a)) e
b, f (b)), pode calcular-se recorrendo ao seguinte integral denido por
l =
_
b
a
_
1 +
_
df
dx
(x)
_
2
dx
Note-se que
_
b
a
_
1 +
_
df
dx
(x)
_
2
dx = lim
P0
n

j=1
_
1 +
_
df
dx
(t
j
)
_
2
(x
j
x
j1
)
facto que interpretado geometricamente justica a armao.
Exemplo 27 Calcule o permetro de uma circunferncia de raio igual a um.
25 05/Janeiro/2001
Seja f (x) =

1 x
2
e f

(x) =
x

1x
2
. Ento,
l = 4
_
1
0
_
1 +
_

1 x
2
_
2
dx
= 4
_
1
0
_
1
1 x
2
dx
= 4
_
2
0
_
1
1 sin
2
t
cos tdt
= 4

2
= 2,
fazendo a mudana de varivel x = sin t.
5 Integrais Imprprios
A operao de integrao pode ser extendida a intervalos no limitados e/ou
funes no limitadas recorrendo noo de integral imprprio que podem,
assim, ocorrer em duas situaes diferentes:
1. quando os limites de integrao so innitos, isto , quando o intervalo
de integrao no limitado (Integrais imprprios de 1
a
espcie);
2. quando a funo integranda no limitada no intervalo de integrao.(In-
tegrais imprprios de 2
a
espcie)
5.1 Limites de integrao innitos
Denio 8 Seja f uma funo integrvel para todo o sempre que [a, ]
[a, +[ . O integral imprprio, da funo f em [a, +] , o limite
_
+
a
f (x) dx = lim
+
_

a
f (x) dx
caso exista e seja nito. Nesta situao diz-se que
_
+
a
f (x) dx existe ou
converge.
Se lim
+
_

a
f (x) dx no existir nem for nito diz-se que
_
+
a
f (x) dx
no existe ou diverge.
26 05/Janeiro/2001
Dene-se de maneira anloga,
_
a

f (x) dx = lim

_
a

f (x) dx,
_
+

f (x) dx = lim

_
a

f (x) dx + lim
+
_

a
f (x) dx.
Exemplo 28 Calculemos
_
+
0
1
1+x
2
dx.
_
+
0
1
1 + x
2
dx = lim
+
_

0
1
1 + x
2
dx
= lim
+
arctan x|

0
= lim
+
arctan
=

2
.
Exemplo 29 Calculemos
_
+
1
1
x
2
dx.
_
+
1
1
x
2
dx = lim
+
_

1
1
x
2
dx
= lim
+
x
1

1
= lim
+
_

1
(1)
_
= 1.
Exemplo 30 Calculemos
_
+

1
1+x
2
dx.
_
+

1
1 + x
2
dx = lim

_
0

1
1 + x
2
dx + lim
+
_

0
1
1 + x
2
dx
= lim

arctan x|
0

+

2
= lim

arctan +

2
= .
Exemplo 31 Mostre que
_
+
1
1
x
dx diverge.
_
+
1
1
x
dx = lim
+
_

1
1
x
dx
= lim
+
ln|x||

1
= lim
+
ln()
= +.
27 05/Janeiro/2001
Exemplo 32 Estude quanto convergncia o integral imprprio
_
+
1
1
x
k
dx.
Seja k = 1, do exemplo anterior verica-se que o integral imprprio referido
no converge. Suponha-se k = 1. Ento
_
+
1
1
x
k
dx = lim
+
_
x
k+1
k + 1
_

1
=
1
(1 k)
lim
+
_
1

k1
_

1
(1 k)
.
O que mostra que
_
+
1
1
x
k
dx converge, quando k > 1, pois lim
+
_
1

k1
_
=
0 e diverge quando 0 k < 1 pois lim
+
_
1

k1
_
= +. Em resumo,
k 1
_
+
1
1
x
k
dx diverge e
k > 1
_
+
1
1
x
k
dx converge. (7)
5.2 Funes integrandas no limitadas
Denio 9 Seja f uma funo integrvel para todo o sempre que [a, ]
[a, c[ e no limitada em = c. O integral imprprio, da funo f em [a, c] ,
o limite
_
c
a
f (x) dx = lim
c

_

a
f (x) dx
caso exista e seja nito. Nesta situao diz-se que
_
c
a
f (x) dx existe ou con-
verge.
Se lim
c

a
f (x) dx no existir nem for nito diz-se que
_
c
a
f (x) dx no
existe ou diverge.
Dene-se de maneira anloga,
_
b
a
f (x) dx quando a no limitao de f
se verica em x = a, limite inferior de integrao, ou x = c, pertencente ao
interior do intervalo [a, b]:
_
b
a
f (x) dx = lim
a
+
_
b

f (x) dx,
_
b
a
f (x) dx = lim
c

_

a
f (x) dx + lim
c
+
_
b

f (x) dx.
28 05/Janeiro/2001
Exemplo 33 Calculemos
_
1
0
1

1x
dx.
_
1
0
1

1 x
dx = lim
1

1 x
dx
= lim
1

(1 x)
1/2
1/2

0
= 2 lim
1

(1 x)
1/2

0
= 2
_
lim
1

(1 x)
1/2
1
_
= 2.
Exemplo 34 Calculemos
_
1
0
1
x
2
dx.
_
1
0
1
x
2
dx = lim
0
+
_
1
0
1
x
2
dx
= lim
0
+
x
1

= +
Exemplo 35 Estude quanto convergncia o integral imprprio
_
1
0
1
x
k
dx.
Seja k = 1, ento
_
1
0
1
x
dx = lim
0
+
ln |x||
1

= +
O que mostra que
_
1
0
1
x
k
dx no converge, quando k = 1. Suponha-se que
k = 1. Ento
_
1
0
1
x
k
dx = lim
0
+
_
x
k+1
k + 1
_

=
1
(1 k)

1
(1 k)
lim
0
+
_
1

k1
_
.
o que mostra que
_
1
0
1
x
k
dx diverge se k > 1 (pois lim
0
+
_
1

k1
_
= +) e
converge se 0 k < 1. Em resumo,
k < 1
_
1
0
1
x
k
dx converge e
k 1
_
1
0
1
x
k
dx diverge. (8)
29 05/Janeiro/2001
Exemplo 36 Seja f (x) = x
3/4
. Mostre que
_
1
0
f (x) dx converge e que
_
1
0
(f (x))
2
dx no converge. Interprete o resultado geometricamente.
Antendendo ao resultado (8) conclu-se imediatamente que
_
1
0
1
x
3/4
dx
convergente e
_
1
0

_
x
3/4
_
2
dx =
_
1
0
1
x
3/2
dx
divergente. Este facto mostra que a rea limitada superiormente pela curva
f e inferiormente pelo eixo dos xx, entre x = 0 e x = 1, nita enquanto
que o volume do slido de revoluo, gerado pela mesma, innito.
5.3 Critrios de convergncia
Antes de apresentarmos alguns importantes critrios de convergncia iremos
referir a denio de convergncia absoluta de um integral imprprio.
Denio 10 Seja
_
b
a
f (x) dx
um integral imprprio de 1
a
ou de 2
a
espcie. Este integral diz-se absoluta-
mente convergente se o integral imprprio
_
b
a
|f (x)| dx
convergir.
O seguinte resultado relaciona a convergncia absoluta de um integral
imprprio com a sua convergncia, dita, simples.
Proposio 24 Seja
_
b
a
f (x) dx um integral imprprio de 1
a
ou de 2
a
es-
pcie. Se
_
b
a
|f (x)| dx um integral imprprio convergente ento
_
b
a
f (x) dx
tambm convergente.
Dem. Omitida.
Proposio 25 (Primeiro critrio de comparao) Sejam
_
b
a
f (x) dx e
_
b
a
g (x) dx dois integrais imprprios, ambos da mesma espcie e relativamente
ao mesmo limite de integrao, tais que 0 f (x) g (x) , x ]a, b[. Ento
1.
_
b
a
f (x) dx divergente
_
b
a
g (x) dx divergente.
30 05/Janeiro/2001
2.
_
b
a
g (x) dx convergente
_
b
a
f (x) dx convergente.
Dem. Omitida.
Proposio 26 (Segundo critrio de comparao) Sejam
_
b
a
f (x) dx e
_
b
a
g (x) dx dois integrais imprprios de 1
a
ou de 2
a
espcie relativamente
ao limite superior x = b (respectivamente, limite inferior x = a) tais que
lim
xb

f(x)
g(x)
= IR
+
(respectivamente, lim
xa
+
f(x)
g(x)
= IR
+
. Ento,
_
b
a
f (x) dx e
_
b
a
g (x) dx
so da mesma natureza, isto , so ambos convergentes ou ambos divergentes.
Dem. Omitida.
Na utilizao dos critrios de convergncia atrs enunciados os resultados
de convergncia (7) e (8) so frequentemente utilizados.
Exemplo 37 Estude quanto convergncia o seguinte integral
_
+
1
1
x
2
(1 + e
x
)
dx.
Comecemos por observar que 0
1
x
2
(1+e
x
)

1
x
2
, x [1, +[. e que
_
+
1
1
x
2
dx converge como vimos anteriormente. Ento do primeiro critrio
de comparao resulta a convergncia de
_
+
1
1
x
2
(1+e
x
)
dx.
Exemplo 38 Estude quanto convergncia o seguinte integral
_
1
0
1

x + 4x
3
dx.
Comecemos por observar que 0
1

x+4x
3

1

x
, x ]0, 1]. Tendo em conta
que
_
1
0
1

x
dx converge, conclu-se que
_
1
0
1

x+4x
3
dx tambm converge, pelo
primeiro critrio de comparao.
Exemplo 39 Estude quanto convergncia o seguinte integral
_
+
1
sinx
x
3
dx.
Comecemos por observar que 0

sinx
x
3

1
x
3
, x [1, +[. Tendo em conta
que
_
+
1
1
x
3
dx converge, conclu-se que
_
+
1

sinx
x
3

dx tambm converge pelo

primeiro critrio de comparao. Da proposio 24 conclu-se a convergncia
de
_
+
1
sinx
x
3
dx.
31 05/Janeiro/2001
Exemplo 40 Mostre que
_
+
2
1
x

x
2
1
dx converge.
Seja f (x) =
1
x
2
e g (x) =
1
x

x
2
1
, reparando que
lim
x+
1
x

x
2
1
1
x
2
= lim
x+
x
2
x

x
2
1
= 1 IR
+
,
deduz-se pelo segundo critrio de comparao a convergncia de
_
+
2
1
x

x
2
1
dx,
j que
_
+
2
1
x
2
dx tambm converge.
Exemplo 41 Mostre que
_
3
1
1
x

x
2
1
dx converge.
Seja f (x) =
1

x1
e g (x) =
1
x

x
2
1
, reparando que
lim
x1
+
1
x

x
2
1
1

x1
= lim
x1
+

x 1
x

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

2
IR
+
,
deduz-se pelo segundo critrio de comparao a convergncia de
_
3
1
1
x

x
2
1
dx,
j que
_
3
1
1

x1
dx tambm converge. Note que (8) permite conclur que
_
3
1
1

x1
dx converge j que
1

x 1
=
1
(x 1)
1/2
.
Referncias
[1] Apostol, T. M., Calculus, Revert, 1977;
[2] zenha, Acilina e Jernimo, M. A., Clculo Diferencial Integral em IR e
IR
n
, McGraw-Hill, 1995;
[3] Lima, Elon Lages, Curso de Anlise (Vol 1 e 2), IMPA, Projecto Euclides,
1995;
[4] Piskounov, N., Calcul Direntiel et Intgral, MIR, 1976;
32 05/Janeiro/2001
[5] Taylor, A. E., Advanced Calculus, Xerox College Publishing, Mas-
sachusetts, 1972;
[6] Wade, W. R., An Introduction to Analysis, Prentice Hall, 1995;
33 05/Janeiro/2001