INTEGRAL DEFINIDA

Nice Maria Americano da Costa

A ferramenta da integral definida que estudaremos envolve um dos conceitos
mais fundamentais da Anlise Matemtica. Ela surge a partir da noo de somas
integrais.
Nosso ponto de partida o clculo de reas sob curvas de funes.
Suponhamos que dada uma funo f(x), contnua no intervalo [a,b], mostrada
no grfico. Desejamos calcular a rea delimitada por esta curva no intervalo.
A NOO DE SOMAS INTEGRAIS
Aproximadamente, poderamos dividir o
intervalo [a,b] em pequenos segmentos
e construirmos retngulos sob a curva e
somar as suas reas.
0 1 2
0 1 2
1 0 1 2 1 2
, , ,....
....
, ....
n
n
a x x x x b
x x x x
x x x x x x
= =
< < <
= A = A
X0=a Xn=b x1 x2 x3
Xn-1
m
M
Sejam, em cada pequeno intervalo [xi, xi+1], mi e Mi o menor valor e o
maior valor da funo no intervalo. Ento
Correspondem rea do retngulo menor, neste intervalo, e rea do
retngulo maior no mesmo intervalo, respectivamente. Construamos ento
duas somas dessas reas:
Essas somas so chamadas de somas integrais inferior e superior, respectivamente.
Temos ainda que vale:
i i
i i
m x
M x
A
A
mi
Mi
1 1 1 1 2 2
1 1 1 1 2 2
...
...
n n n
n n n
s m x m x m x m x
S M x M x M x M x
= A + A + A + A
= A + A + A + A
n n
s S s
i
x A
*
Note que
( ) m b a
representa a rea do retngulo construdo com o menor valor da funo, em
todo o intervalo [a,b].
( ) M b a
representa a rea do retngulo construdo com o maior valor da funo, em
todo o intervalo [a,b].
x3
Xn-1
X0=a
Xn=b x1 x2
m
M
e que
Vemos que
( )
( )
n
n
s m b a
S M b a
>
s
Podemos escrever ento:
( ) ( )
n n
m b a s S M b a s s s
Ou seja: a rea construda com o retngulo formado pelo tamanho do intervalo e
o maior valor da funo maior que a soma integral superior, que, por sua vez,
maior que a soma integral inferior, que, por sua vez, maior que rea construda
com o retngulo formado pelo menor valor da funo e o tamanho do intervalo.
A INTEGRAL DEFINIDA
X0=a Xn=b
Mas sob a curva a rea delimitada pela prpria curva, pelo eixo x e pelas retas
x=a e x=b. Se considerarmos cada pequeno intervalo nos quais subdividimos o
intervalo inteiro, a rea sob este pequeno pedao da curva ser igualmente
delimitada pela curva, o eixo x e as retas x=xi e x=xi+1.
Xi
xi+1
Tomemos agora um ponto intermedirio,x=i em cada subintervalo [xi,xi+1] e
construamos a rea do retngulo formado por f(i ) e pelo tamanho do
subintervalo, Axi.
( )
i i
f x A
Somemos essas reas assim formadas:
int 1 1 2 2 3 3
int
1
( ) ( ) ( ) ... ( )
( )
n n
n
i i
i
S f x f x f x f x
S f x

=
= A + A + A + A
= A

Sint a soma integral da funo f(x) no intervalo [a,b]. Como mi s f(i)sMi, teremos:
( )
i i i i i i
m x f x M x A s A s A
Somando sobre todos os subintervalos, teremos finalmente
1 1 1
int
( )
n n n
i i i i i i
i i i
n n
m x f x M x
s S S

= = =
A s A s A
s s

max 0
1
lim ( ) ( )
i
b
n
i i
x
i
a
f x f x dx
A
=
A =

}
Se agora, calculamos o limite de Sint, quando o maior Axi0 e esse limite existe,
dizemos que esse limite a integral definida de f(x)
Vemos ento que a integral definida de uma funo num intervalo [a,b]
corresponde rea sob a curva, da figura trapezoidal curvilnea, compreendida
entre o eixo x e as retas x=a e x=b
X0=a Xn=b
( )
b
a
f x dx
}
Na expresso simblica da integral definida
a o limite inferior da integrao, b o limite superior da integrao, o intervalo
[a,b] o intervalo de integrao e x a varivel de integrao
Se f(x) contnua sobre um intervalo [a,b] ela integrvel neste intervalo.

A integral definida de f(x) depende dos limites de integrao mas no da
varivel de integrao. Podemos ento escrever, de forma indiferente:
( ) ( ) ( )
b b b
a a a
f x dx f t dt f z dz = =
} } }
PROPRIEDADES DA INTEGRAL DEFINIDA
( ) ( )
b a
a b
f x dx f x dx =
} }
1.Trocando os limites de integrao, a integral muda de sinal:
Exemplo:
cos cos
b a
a b
xdx xdx =
} }
2.Pode-se retirar um fator constante de dentro do sinal de integrao;
( ) ( )
b b
a a
cf x dx c f x dx =
} }
Demonstrao:
max 0 max 0
1 1
( ) lim ( ) lim ( ) ( )
i i
b b
n n
i i i i
x x
i i
a a
cf x dx cf x x c f x x c f x dx
A A
= =
= A = A =

} }
3.A integral definida da soma de duas funes igual soma das integrais
definidas das mesmas funes
( ( ) ( )) ( ) ( )
b b b
a a a
f x g x dx f x dx g x dx + = +
} } }
Demonstrao:
max 0 max 0 max 0
1 1
( ( ) ( )) lim ( ) ( ) lim ( ) lim ( ) ( ) ( )
i i i
i i i
b b b
n n
i i i i i i i i i
x x x
i i
a a a
f x g x dx f x g x x f x x g x x f x dx g x dx
A A A
= =
( + = + A = A + A = +


} } }
4.Se no intervalo [a,b], as funes f(x) e (x) satisfazem condio f(x) s
(x), ento, tem-se
( ( ) ( )
b b
a a
f x dx x dx s
} }
max 0
1
( ( ) ( )) lim ( ) ( )
i
i
b
n
i i i
x
i
a
x f x dx x f x x
A
=
(
= A

}
Demonstrao:
( ) ( )
, ( ) ( ) 0
Se
x f x
entao x f x

>
>
0
i
x A >
e
( ( ) ( )) 0
( ) ( )
b
a
b b
a a
x f x dx
x dx f x dx

>
>
}
} }
Temos, ento
5.Sendo m e M, respectivamente, o menor e o maior valor da funo no
intervalo [a,b], ento, tem-se
( ) ( ) ( )
b
a
m b a f x dx M b a s s
}
Demonstrao:
Por hiptese, no intervalo [a,b], tem-se
( ) m f x M < <
Pela propriedade anterior
( )
( ) ( ) ( )
b b b
a a a
b
a
mdx f x dx Mdx
m b a f x dx M b a
s s
s s
} } }
}
*
Teorema da Mdia. A funo f(x) seno continua no intervalo [a,b], existe um
ponto , tal que se tem:
( ) ( )( )
b
a
f x dx f b a =
}
Demonstrao:
Considerando que, respectivamente, m e M so o menor valor e o maior
valor de f(x) no intervalo, teremos:
1
( )
( )
b
a
m f x dx M
b a
s s

}
Considerando que o resultado da integral um nmero, designemos esse
por . Temos ento
m M s s
Como a funo contnua no intervalo, haver um valor de f(x) igual ; isto ,
um ponto , assb, tal que f()= (o valor mdio da funo no intervalo).
( ) ( ) ( )( )
b
a
f x dx b a f b a = =
}
1
( )
( )
b
a
f x dx
b a
=

}
com
Propriedade 6. a,b e c sendo trs nmeros arbitrrios, ter-se-:
( ) ( ) ( )
b c b
a a c
f x dx f x dx f x dx = +
} } }
a b c x
INTEGRAL DEFINIDA: Frmula de Newton-Leibniz
Considerando que, para a integral
( )
b
a
f x dx
} , o limite de integrao inferior seja fixo,a.
Variemos o limite superior, b, e calculemos, sucessivas integrais de f(x). Os
resultados, portanto dependero de b. Podemos ento trocar a varivel de
integrao por t. Ento
( ) ( )
x
a
f t dt x = u
}
x a
u(x) portanto igual rea subtendida
pelo trecho da curva entre a e x, o eixo t e
as retas t=a e t=x.
t
Teorema. Sendo f(x) uma funo contnua e se colocamos
( ) ( )
x
a
f t dt x = u
}
ento
( ) ( ) x f x
'
u =
Demonstrao:
( ) ( )
x
a
x f t dt u =
}
Se ento
( ) ( ) ( ) ( )
( ) ( )
( ) ( ) ( ) ( )
( )
x x x x x
a a x
x x x x x x
a x a x
x x
x
x x f t dt f t dt f t dt
x x x
f t dt f t dt f t dt f t dt
f t dt
+A +A
+A +A
+A
u + A = = +
Au = u + A u
Au = + =
Au =
} } }
} } } }
}
Aplicando o teorema da mdia,temos
0 0
0
( )
( )
lim lim ( ) ( )
lim ( )
( ) ( )
x x
x
f x
f
x
f f x
x
x
x
x f x

A A
A
Au = A
Au
=
A
Au
= =
A
Au
' = u
A
' u =
Teorema Fundamental . Se F(x) uma primitiva de f(x) ento
( ) ( ) ( )
b
a
f x dx F b F a =
}
Demonstrao:
Seja F(x) uma primitiva de f(x). Pelo teorema anterior, u(x) tambm uma primitiva
de f(x). Mas,
( ) ( )
x
a
x f t dt u =
}
Alm disso, duas primitivas de uma mesma funo diferem por uma constante.
Ento:
( ) ( )
x
a
f t dt F x C = +
}
Determinemos C, calculando a integral para x=a:
( ) ( )
a
a
f t dt F a C = +
}
Mas
( ) 0
a
a
f t dt =
}
0 ( )
( )
F a C
C F a
= +
=
( ) ( ) ( )
x
a
f t dt F x F a =
}
Coloquemos ento x=b
( ) ( ) ( )
b
a
f t dt F b F a =
}
Esta a frmula de Newton Leibniz
( ) ( ) ( ) ( )
b
b
a
a
f x dx F b F a F x = =
}
CLCULO DA INTEGRAL DEFINIDA PELA DEFINIO
f(a)
a b
f(b)
x1
x2
x3
int
0
1
( ) lim lim
b b
n
i i
x n
a a
f x dx cxdx c x S
A
= = A =

} }
b a
x
n

A =
1
2
3
2
...
( 1)
n
a
a x
a x
a n x

=
= + A
= + A
= + A
int 1 1 2 2
int
int
int
...
( 2 ) ... ( ( 1) )
( ( 2 ... ( 1) )
( (1 2 ... ( 1)) )
n n
S c x c x c x
S ca x c a x x c a n x x
S c na x x n x x
S c na n x x
= A + A + A
= A + + A A + + + A A
= + A + A + + A A
= + + + + A A
Mas,
( 1)
1 2 3 ....( 1)
2
n n
n

+ + + =
int
int
int
int
2 2
( (1 2 ... ( 1)) )
( 1)
( )
2
( 1)
( )
2
( 1)
( )( )
2
( 1) ( )( )
lim ( )( )
2 2 2
1
lim 1
n
n
S c na n x x
n n
S c na x x
mas
b a
x
n
n n b a b a
S c na
n n
n n b a
S c a b a
n
n n b a b a b a b a
c a b a c c
n
pois
n
n

= + + + + A A

= + A A

A =

= +

= +
+
+ = =

=
0
1
lim ( )
b
n
i
x
a
kdx k x k b a
A
= A =

}
1
lim
n
i
n
x b a

A =

a b
k
x1
x2
x3
( )
b b
a a
f x dx kdx =
} }
( ) ( ) ( ) ( )
b
b

a
f x dx F b F a F x = =
} Exemplos usando frmula Newton-Leiniz
2 2 2
1 1
2 2
b
b
a
a
kxdx kx k b a ( = =
}
| |
0
0
2 2 2 cos cos0 4 senxdx cox
t
t
t = = =
}
| |
2
2
0
0
2 2 2 cos2 cos0 0 senxdx cox
t
t
t = = =
}
2
2 2 0 2
0
0
1
x x
e dx e e e e = = =
}
1 1 1
1 1
( 1)
1 1
b
n n b n n
a
a
x dx x b a n
n n
+ + +
( = = =

+ +
}
Teorema (Mudana de varivel) . Seja dada a integral
( )
b
a
f x dx
}
onde f(x) contnua no intervalo [a,b]. Introduzamos a varivel t, por ( ) x t =
Se
( )
( )
a
b
o
|
=
=
e, ainda, se (t) (t) so contnuas no intervalo [o |], e tambm f[(t)]
definida e contnua no intervalo [o |], ento
( ) [ ( )] ( )
b
a
f x dx f t t dt
|
o

'
=
} }
Demonstrao: se F(x) uma primitiva de f(x), podemos escrever:
( ) ( )
[ ( )] ( ) [ ( )]
f x dx F x C
f t t dt F t C
= +
'
= +
}
}
( ) [ ( )] ( )
b
a
f x dx f t t dt
|
o

'
=
} }
Da primeira podemos escrever
( ) ( ) ( )
b
a
f x dx F b F a =
}
[ ( )] ( ) [ ( )] [ ( )] ( ) ( ) f t t dt F F F b F a
|
o
| o
'
= =
}
Da segunda podemos escrever
Sabemos que
( ) uv u v v u
' ' '
= +
INTEGRAO POR PARTES
Integrando entre x=a e x=b, teremos
( )
b b b
a a a
uv dx u vdx v udx
' ' '
= +
} } }
Mas,
( ) ( ) uv dx d uv ' = ( ) ( ) uv dx d uv uv C
'
= = +
} }
Ento
( )
b
b
a
a
uv dx uv
'
=
}
, u dx du v dx dv ' ' = =
b b
b

a a
b b
b
a
a a
uv udv vdu
udv uv vdu
= +
=
} }
} }
, e
EXTENSO DA NOO DE INTEGRAL
Integrais com limites de integrao infinitos
a
b
Definio. Se o limite

lim ( )
b
b
a
f x dx

}
existe, ele ser representado por

( )
a
f x dx
+
}
Por definio, ento

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

=
} }
e diz-se que a integral converge.

( ) lim ( )
b b
a
a
f x dx f x dx

=
} }
( )
b
a
f x dx
}
( )
0
0
0 0
Calcule
1
lim 1 1
x
b b
x x b b
b
b
e dx
e dx e e e e
e
+

= = =
( =

}
}