Teoremas Relativos a Integral Definida (Parte 2)

Teorema 1: (Teorema do Valor Médio Para Integrais) Se
é contínua em
, então existe sobre este segmento um ponto
tal que
Sendo
uma função contínua no intervalo fechado e limitado
, ela assume o valor mínimo absoluto
e o valor máximo absoluto
neste intervalo. Assim,
para todo
. Integrando esta expressão de
a
, temos
Fazendo
Seja
a área sob o gráfico de
de
a
conforme a figura abaixo:
Teorema 2: Seja
uma função contínua no intervalo
. Então a função
![A(x) = \int_{a}^{x}f(t)dt [;A(x) = \int_{a}^{x}f(t)dt;]](http://thewe.net/tex/A%28x%29%20=%20%5Cint_%7Ba%7D%5E%7Bx%7Df%28t%29dt)
é uma anti-derivada ou primitiva de
, isto é,
.
Demonstração: Note que
![A(x + \Delta x) - A(x) = \int_{a}^{x + \Delta x}f(t)dt - \int_{a}^{x}f(t)dt = \int_{x}^{x + \Delta x}f(t)dt [;A(x + \Delta x) - A(x) = \int_{a}^{x + \Delta x}f(t)dt - \int_{a}^{x}f(t)dt = \int_{x}^{x + \Delta x}f(t)dt;]](http://thewe.net/tex/A%28x%20+%20%5CDelta%20x%29%20-%20A%28x%29%20=%20%5Cint_%7Ba%7D%5E%7Bx%20+%20%5CDelta%20x%7Df%28t%29dt%20-%20%5Cint_%7Ba%7D%5E%7Bx%7Df%28t%29dt%20=%20%5Cint_%7Bx%7D%5E%7Bx%20+%20%5CDelta%20x%7Df%28t%29dt)
Dividindo esta expressão por
, temos:
![\frac{A(x + \Delta x) - A(x)}{\Delta x} = \frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt \qquad (1) [;\frac{A(x + \Delta x) - A(x)}{\Delta x} = \frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt \qquad (1);]](http://thewe.net/tex/%5Cfrac%7BA%28x%20+%20%5CDelta%20x%29%20-%20A%28x%29%7D%7B%5CDelta%20x%7D%20=%20%5Cfrac%7B1%7D%7B%5CDelta%20x%7D%5Cint_%7Bx%7D%5E%7Bx%20+%20%5CDelta%20x%7Df%28t%29dt%20%5Cqquad%20%281%29)
Pelo Teorema do Valor Médio para Integrais, existe
tal que
![\frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt = f(\xi) \qquad (2) [;\frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt = f(\xi) \qquad (2);]](http://thewe.net/tex/%5Cfrac%7B1%7D%7B%5CDelta%20x%7D%5Cint_%7Bx%7D%5E%7Bx%20+%20%5CDelta%20x%7Df%28t%29dt%20=%20f%28%5Cxi%29%20%5Cqquad%20%282%29)
Assim, fazendo
em
e usando
, segue que
![A^{\prime}(x) = \lim_{\Delta x \to 0}\frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt = \lim_{\Delta x \to 0}f(\xi) = f(x) [;A^{\prime}(x) = \lim_{\Delta x \to 0}\frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt = \lim_{\Delta x \to 0}f(\xi) = f(x);]](http://thewe.net/tex/A%5E%7B%5Cprime%7D%28x%29%20=%20%5Clim_%7B%5CDelta%20x%20%5Cto%200%7D%5Cfrac%7B1%7D%7B%5CDelta%20x%7D%5Cint_%7Bx%7D%5E%7Bx%20+%20%5CDelta%20x%7Df%28t%29dt%20=%20%5Clim_%7B%5CDelta%20x%20%5Cto%200%7Df%28%5Cxi%29%20=%20f%28x%29)
Sendo
Fazendo
segue que
e sendo
contínua em
, existe
neste intervalo tal que
Lembremos que se uma função é contínua e não-negativa em um intervalo
, então a área sob o gráfico de
neste intervalo é representado pela integral definida
Seja

é uma anti-derivada ou primitiva de
Demonstração: Note que
Dividindo esta expressão por
Pelo Teorema do Valor Médio para Integrais, existe
Assim, fazendo
Observação 1: No caso em que a função
é não-negativa em
, a função
representa a área sob o gráfico de
e o eixo
, e entre as ordenadas
e
.
Obrigado por difundir os posts do blog Fatos Matemáticos. Em breve, publicarei a terceira parte.
ResponderExcluir