Enunciado

Prove que o Teorema 5.6.7 é válido para a ordenação dada:

a = b < c

(Teorema dado no livro).

Passo 1

O teorema citado diz que se temos um intervalo qualquer contendo a , b , e c no qual f ( x ) é integrável, teremos o resultado ∫ a b f x d x = ∫ a c f x d x + ∫ c b f x d x , independente da ordem de a , b , e c . Sabemos de outro teorema que o resultado é válido para a < c < b , queremos agora partir desse resultado provar para a ordem a = b < c .

Passo 2

Se a = b < c , podemos afirmar, pela ordem convencional do teorema que:

∫ a c f x d x = ∫ a b f x d x + ∫ b c f x d x

Mas como a = b , temos ∫ a b f x d x = 0 e a expressão então fica:

∫ a c f x d x = ∫ b c f x d x

Mas o resultado que queremos é:

∫ a b f x d x = ∫ a c f x d x + ∫ c b f x d x

Que, como ∫ a b f x d x = 0 , é equivalente a:

∫ a c f x d x + ∫ c b f x d x = 0

Da segunda equação passamos ∫ b c f x d x para a esquerda, ficando com:

∫ a c f x d x - ∫ b c f x d x = 0

Invertendo os limites de integração da segunda integral e a multiplicando por - 1 , chegamos ao resultado que queríamos:

∫ a c f x d x + ∫ c b f x d x = 0

Resposta

Ei, a resposta está no passo a passo :)

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Nos exercícios de 11 a 31, calcular as integrais indefinidas.20. ∫ ( t + t + t 3 + t 4 + t 5 ) d t
Nos exercícios de 11 a 31, calcular as integrais indefinidas.16. ∫ 8 x 4 - 9 x 3 + 6 x 2 - 2 x + 1 x 2 d x
Nos exercícios de 11 a 31, calcular as integrais indefinidas.25. ∫ x 2 - 1 x 2 + 1 d x
31. int (d t)/((n - (1)/(2)) t^n) , onde n in z .
Dê uma estimativa para a área entre o gráfico da função f e o intervalo [ a ,b ] . Use um esquema de aproximação com n retângulos, análogo ao desenvolvido nesta seção para a função f( x )=x 2 . Se seu