MATEMÁTICA É ASSIM, TAMBÉM !: INTEGRAL DEFINIDA

Mostrando postagens com marcador INTEGRAL DEFINIDA. Mostrar todas as postagens

segunda-feira, 27 de fevereiro de 2012

VÍDEO - INTEGRAL DEFINIDA

Esse vídeo trata dos conceitos básicos dos conteúdos abordados na Integral Definida.
Revisem a aula assistindo-o.

O vídeo está publicado no You Tube no endereço: http://youtu.be/tpsC8wAqGs8

segunda-feira, 16 de janeiro de 2012

TEOREMAS RELATIVOS A INTEGRAL DEFINIDA - 02

Teoremas Relativos a Integral Definida (Parte 2)

Teorema 1: (Teorema do Valor Médio Para Integrais) Se [;f;]

é contínua em [;[a,b];]

, então existe sobre este segmento um ponto $[;\xi;]$ tal que

$[;\frac{1}{b - a}\int_{a}^{b}f(x)dx = f(\xi);]$

Sendo

uma função contínua no intervalo fechado e limitado [;[a,b];]

, ela assume o valor mínimo absoluto [;m;]

e o valor máximo absoluto [;M;]

neste intervalo. Assim, $[;m \leq f(x) \leq M;]$ para todo $[;x \in [a,b];]$ . Integrando esta expressão de [;a;]

, temos

$[;\int_{a}^{b}m dx \leq \int_{a}^{b}f(x)dx \leq \int_{a}^{b}Mdx \quad \Rightarrow \quad m(b - a) \leq \int_{a}^{b}f(x)dx \leq M(b - a);]$

Fazendo

$[;\mu = \frac{1}{b - a}\displaystyle{\int_{a}^{b}}f(x)dx;]$

segue que $[;m \leq \mu \leq M;]$ e sendo [;f;]

contínua em [;[a,b];]

, existe $[;\xi;]$ neste intervalo tal que

$[;f(\xi) = \mu = \frac{1}{b - a}\displaystyle{\int_{a}^{b}}f(x)dx;]$

Lembremos que se uma função é contínua e não-negativa em um intervalo [;[a,b];]

, então a área sob o gráfico de [;f;]

neste intervalo é representado pela integral definida

$[;A = \displaystyle{\int_{a}^{b}}f(x)dx;]$

Seja

a área sob o gráfico de [;f;]

a $[;x\;]$ conforme a figura abaixo:

Teorema 2: Seja [;f;]

uma função contínua no intervalo [;[a,b];]

. Então a função

$[;A(x) = \int_{a}^{x}f(t)dt;]$

é uma anti-derivada ou primitiva de [;f(x);]

, isto é, $[;A^{\prime}(x) = f(x);]$ .

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;]$

Dividindo esta expressão por $[;\Delta x;]$ , temos:

$[;\frac{A(x + \Delta x) - A(x)}{\Delta x} = \frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt \qquad (1);]$

Pelo Teorema do Valor Médio para Integrais, existe $[;\xi \in [x,x + \Delta x];]$ tal que

$[;\frac{1}{\Delta x}\int_{x}^{x + \Delta x}f(t)dt = f(\xi) \qquad (2);]$

Assim, fazendo $[;\Delta x \to 0;]$ em [;(1);]

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);]$

Observação 1: No caso em que a função [;f;]

é não-negativa em [;[a,b];]

, a função [;A(x);]

representa a área sob o gráfico de [;f(x);]

e o eixo $[;x\;]$ , e entre as ordenadas [;x = a;]

TEOREMAS RELATIVOS A INTEGRAL DEFINIDA - 02

Teoremas Relativos a Integral Definida (Parte 1)

É interessante observar que a integral definida depende somente da função [;f;]

e dos limites de integração, não dependendo da variável de integração. Portanto, podemos escrever

$[;\int_{a}^{b}f(x)dx = \int_{a}^{b}f(t)dt = \ldots = \int_{a}^{b}f(u)du;]$

Neste post, veremos alguns teoremas relacionados a integral definida, mas para isso, precisamos da seguinte definição:

Definição 1: Seja [;f;]

integrável no intervalo [;[a,b];]

estiver no domínio de [;f;]

, definimos

$[;\int_{a}^{a}f(x)dx = 0;]$

for integrável em [;[a,b];]

, então definimos

$[;\int_{b}^{a}f(x)dx = -\int_{a}^{b}f(x)dx;]$

Teorema 1: Se $[;c \in \mathbb{R};]$ , então

$[;\int_{a}^{b}cdx = c(b - a) \qquad (1);]$

Demonstração: De fato, seja [;f(x) = c;]

. Sendo esta função integrável, então

$[;\int_{a}^{b}cdx = \lim_{n \to \infty}\frac{(b - a)}{n}\sum_{k=0}^{n-1}c = \frac{b - a}{n}\times cn = (b - a)c;]$

Teorema 2: Sejam [;f;]

funções integráveis em [;[a,b];]

. Se

é uma constante, então [;cf;]

são integráveis em [;[a,b];]

. Além disso,

$[;\displaystyle{\int_{a}^{b}} cf(x)dx = c\displaystyle{\int_{a}^{b}} f(x)dx;]$

$[;\displaystyle{\int_{a}^{b}}[f(x) + g(x)]dx = \displaystyle{\int_{a}^{b}} f(x)dx + \displaystyle{\int_{a}^{b}} g(x)dx;]$

Demonstração: Subdividimos o intervalo [;[a,b];]

subintervalos, por meio dos pontos [;x_k;]

, $[;k=1,2,\ldots, n-1;]$ escolhidos arbitrariamente. Em cada um dos novos intervalos $[;[a,x_1], [x_1,x_2],\ldots, [x_{n-1},b];]$ escolhemos, também arbitrariamente, os pontos $[;\xi_1, \xi_2, \ldots, \xi_n;]$ .

Sendo

integrável em [;[a,b];]

, então

$[;\int_{a}^{b} cf(x)dx = \lim_{\Delta x_k \to 0}\sum_{k=1}^{n}cf(\xi_k)\Delta x_k = \lim_{\Delta x_k \to 0}c\sum_{k=1}^{n}f(\xi_k)\Delta x_k;]$

$[;= c\lim_{\Delta x_k \to 0}\sum_{k=1}^{n}f(\xi_k)\Delta x_k = c\int_{a}^{b} f(x)dx;]$

[;ii);]

Sendo

integráveis em [;[a,b];]

, então

$[;\int_{a}^{b} [f(x) + g(x)]dx = \lim_{\Delta x_k \to 0}\sum_{k=1}^{n}[f(\xi_k) + g(\xi_k)]\Delta x_k;]$

$[;= \lim_{\Delta x_k \to 0}\sum_{k=1}^{n}f(\xi_k)\Delta x_k + \lim_{\Delta x_k \to 0}\sum_{k=1}^{n}g(\xi_k)\Delta x_k;]$

$[;= \int_{a}^{b} f(x)dx + \int_{a}^{b} g(x)dx;]$

Teorema 3: Seja [;f;]

uma função contínua em [;[a,b];]

e $[;f(x) \geq 0;]$ para todo $[;x \in [a,b];]$ . Se $[;a \prec c \prec b;]$ , então

Demonstração: Sendo [;f;]

contínua em [;[a,b];]

ela é integrável e sendo ela não-negativa,

$[;\int_{a}^{b}f(x)dx;]$

representa a área sob o gráfico de [;f;]

. Analogamente, sendo $[;a \prec c \prec b;]$ , as integrais

$[;\int_{a}^{c}f(x)dx \qquad \text{e} \qquad \int_{b}^{c}f(x)dx;]$

representam as áreas sob o gráfico de [;f;]

e de

respectivamente. Sendo a área de [;a;]

a soma das áreas menores, segue o resultado.

Teorema 4: Seja [;f;]

uma função integrável em [;[a,b];]

. Se $[;f(x) \geq 0;]$ para todo $[;x\;]$ em [;[a,b];]

, então

$[;\int_{a}^{b}f(x)dx \geq 0;]$

Demonstração: Sendo [;f;]

integrável em [;[a,b];]

, a integral definida não depende da forma que subdividimos o intervalo [;[a,b];]

. Assim,

$[;\int_{a}^{b}f(x)dx = \lim_{n \to \infty}\frac{(b - a)}{n}\sum_{k=0}^{n-1}f\biggl[a + \frac{(b - a)k}{n} \biggr];]$

Sendo $[;f(x) \geq 0;]$ para todo $[;x \in [a,b];]$ , então $[;f(x_k) = f[a + (b - a)k/n] \geq 0;]$ para $[;k = 1,\ldots, n-1;]$ , donde segue o resultado.