Ajude a manter o site livre, gratuito e sem propagandas. Colabore!
Na Seção 5.1, vimos que a integral definida de uma dada função em um intervalo está associada à área (líquida) entre seu gráfico e as retas , e . Consultemos a Figura 5.2.
Com base nesta noção geométrica, podemos inferir as seguintes propriedades de integração para funções integráveis e :
Integral degenerada
| (5.26) | 
Multiplicação por escalar
| (5.27) | 
Soma/subtração
| (5.28) | 
Sobreposição/concatenação de intervalos
| (5.29) | 
Cotas inferior e superior
| (5.30) | 
Sejam e funções integráveis tais que
| (5.31) | |||
| (5.32) | |||
| (5.33) | 
Então, vejamos os seguintes casos:
| (5.34) | |||
| (5.35) | 
| (5.36) | 
| (5.37) | |||
| (5.38) | 
| (5.39) | |||
| (5.40) | |||
| (5.41) | 
| (5.42) | |||
| (5.43) | 
Lembrando que , temos da propriedade e) acima que
| (5.44) | |||
| (5.45) | 
Com base na noção de integral, define-se a média de uma função no intervalo por
| (5.46) | 
no caso de ser integrável neste intervalo.
Se for contínua em , então existe tal que
| (5.47) | 
Vejamos uma ideia da demonstração. Da propriedade de integração e) acima, temos
| (5.48) | 
Agora, pelo teorema do valor intermediário (Teorema 2.6.1), temos assume todos os valores entre seus valores mínimo e máximo. Logo, existe tal que
| (5.49) | 
∎
Seja uma função contínua em , , e
| (5.50) | 
então possui pelo menos um zero neste intervalo. De fato, do teorema do valor médio para integrais, temos que existe tal que
| (5.51) | |||
| (5.52) | 
Seja uma função integrável e a função definida por
| (5.53) | 
para algum número real dado.
Se é contínua em , então é contínua em e diferenciável em a função
| (5.54) | 
sendo
| (5.55) | 
Vejamos a ideia da demonstração. Da definição de derivada, temos
| (5.56) | |||
| (5.57) | |||
| (5.58) | 
Agora, do teorema do valor médio para integrais (Teorema 5.2.1), temos que existe tal que
| (5.59) | |||
| (5.60) | 
Notemos que quando e, portanto, temos
| (5.61) | |||
| (5.62) | |||
| (5.63) | 
∎
A parte I do teorema fundamental do cálculo (Teorema 5.2.2), mostra que a integral de uma função (contínua) é uma função tal que
| (5.66) | 
Dizemos que é uma primitiva da função .
Observamos que se é uma primitiva de , então
| (5.67) | 
também é primitiva de para qualquer constante , i.e.
| (5.68) | |||
| (5.69) | |||
| (5.70) | |||
| (5.71) | 
Mais ainda, do Corolário 4.3.2 do teorema do valor médio para derivadas, temos que quaisquer duas primitivas de uma mesma função diferem-se apenas uma constante.
Com isso, definimos a integral indefinida de em relação a por
| (5.72) | 
onde é qualquer primitiva de e uma constante indeterminada.
Se é contínua em e é qualquer primitiva de , então
| (5.73) | 
Vejamos a ideia da demonstração. A parte I do teorema fundamental do cálculo (Teorema 5.2.2), nos garante a existência de
| (5.74) | 
Seja, então, uma primitiva qualquer de . Logo,
| (5.75) | |||
| (5.76) | |||
| (5.77) | |||
| (5.78) | 
∎
Do teorema fundamental do cálculo, parte II, temos
| (5.86) | 
Ou seja, o valor da integral definida muda de sinal ao permutarmos seus limites de integração. De fato, se é uma primitiva de , então
| (5.87) | |||
| (5.88) | |||
| (5.89) | 
Temos que
| (5.90) | 
Agora,
| (5.91) | 
Conforme esperado, temos
| (5.92) | 
Calcule
| (5.93) | 
Primeiramente, notemos que
| (5.94) | |||
| (5.95) | 
Então, usando as propriedades de integração, temos
| (5.96) | |||
| (5.97) | |||
| (5.98) | |||
| (5.99) | |||
| (5.100) | 
Calcule a área entre o gráfico de e as retas , e .
Lembrando que a integral definida está associada a área sob o gráfico do integrando, temos que a área desejada pode ser calculada por
| (5.101) | 
pois para e para . Também, observamos que
| (5.102) | 
Logo, do teorema fundamental do cálculo segue que
| (5.103) | |||
| (5.104) | |||
| (5.105) | 
Encontre a função tal que
| (5.106) | 
e .
Integrando ambos os lados da equação diferencial em relação a , temos
| (5.107) | |||
| (5.108) | 
Agora, da condição , segue
| (5.110) | |||
| (5.111) | |||
| (5.112) | 
Concluímos que . Verifique!
Sejam e tais que
| (5.113) | |||
| (5.114) | |||
| (5.115) | 
Calcule
a) ; b) ; c)
Calcule
a) ; b) ; c)
Calcule a área entre o gráfico de e as retas , e .
Calcule as seguintes integrais:
a) ; b)
Encontre a função tal que
| (5.116) | 
e .
Aproveito para agradecer a todas/os que de forma assídua ou esporádica contribuem enviando correções, sugestões e críticas!

Este texto é disponibilizado nos termos da Licença Creative Commons Atribuição-CompartilhaIgual 4.0 Internacional. Ícones e elementos gráficos podem estar sujeitos a condições adicionais.