Prove que o Teorema 5.6.7 é válido para a ordenação dada:
(Teorema dado no livro).
Passo 1
O teorema citado diz que se temos um intervalo qualquer contendo , , e no qual é integrável, teremos o resultado , independente da ordem de , , e . Sabemos de outro teorema que o resultado é válido para , queremos agora partir desse resultado provar para a ordem .
Passo 2
Se , podemos afirmar, pela ordem convencional do teorema que:
Mas como , temos e a expressão então fica:
Mas o resultado que queremos é:
Que, como , é equivalente a:
Da segunda equação passamos para a esquerda, ficando com:
Invertendo os limites de integração da segunda integral e a multiplicando por , chegamos ao resultado que queríamos:
Resposta
Ei, a resposta está no passo a passo :)