Enunciado

Se f for contínua em [ 0 , π ] , use a substituição u = π - x para demonstrar que

∫ 0 π x   f sen ⁡ x   d x = π 2   ∫ 0 π f sen ⁡ x   d x

Passo 1

Opa, esse problema é bem direto! Temos:

∫ 0 π x   f sen ⁡ x   d x = π 2   ∫ 0 π f sen ⁡ x   d x

E temos que usar a substituição u = π - x para demonstrar essa igualdade é verdadeira! Ou seja, vamos partir da integral da esquerda e chegar na integral da direita! Repare que não vamos precisar integrar nada, só provar que são iguais!

Como o problema já nos deu o u , temos que encontrar d u , que nada mais é a derivada de u em relação a x . Além disso temos que alterar os limites de integração, então precisamos avaliar u em ambos os limites!

Precisamos, também lembrar de uma propriedade do seno:

sen ⁡ a - b = sen ⁡ a ⋅ cos ⁡ b - sen ⁡ b ⋅ cos ⁡ a

Por fim usaremos uma técnica de integral por partes, vamos resumir aqui, quando temos algo do tipo:

∫ f x d x = ∫ g x d x - ∫ f x d x

Podemos passar a integral - ∫ f x d x para o outro lado da integral (como se ela fosse uma varável:

∫ f x d x + ∫ f x d x = ∫ g x d x

E soma-las também como uma variável qualquer:

2 ⋅ ∫ f x d x = ∫ g x d x

E assim temos o valor para 2 integrais, precisamos do valor de uma só, e como no caso dessa integral ser uma variável qualquer, só passamos o 2 para o outro lado dividindo:

∫ f x d x = 1 2 ∫ g x d x

Passo 2

Como temos:

u = π - x

Derivando vamos ter:

d u = - d x

Agora vamos calcular os novos limites de integração:

x = 0 ⇒ u = π

x = π ⇒ u = 0

Agora olhando para a nossa integral, notamos que temos x multiplicando a função, então temos que também encontrar o valor dele:

u = π - x

x = π - u

Agora substituindo tudo e formando a nossa nova integral:

∫ 0 π x   f sen ⁡ x   d x = ∫ π 0 π - u   f sen ⁡ ( π - u )   ( - d u )

Lembra da propriedade que o sinal de negativo na integral inverte os limites de integração? Vamos aplica-la bem aqui:

- ∫ π 0 π - u   f sen ⁡ ( π - u )   d u = ∫ 0 π π - u   f sen ⁡ ( π - u )   d u

Note que sen ⁡ ( π - u ) = sen ⁡ π cos ⁡ u - sen ⁡ u cos ⁡ π = sen ⁡ u . Assim,

∫ 0 π x   f sen ⁡ x   d x = ∫ 0 π π - u   f sen ⁡ u   d u

Nessa última integral, podemos fazer uma nova mudança de variável que não afeta em nada a integral com x = u . Assim

∫ 0 π x   f sen ⁡ x   d x = ∫ 0 π π - x   f sen ⁡ u   d x

Passo 3

Abrindo essa segunda integral:

∫ 0 π π - x   f sen ⁡ u   d x = ∫ 0 π π   f sen ⁡ u -   x f sen ⁡ u d x

Usando também a propriedade que a integral da soma é a soma das integrais, podemos separá-las em duas:

∫ 0 π x   f sen ⁡ x   d x = π ∫ 0 π f sen ⁡ x   d x - ∫ 0 π x   f sen ⁡ x   d x

Aqui preste atenção, é um truque bem comum no cálculo (integral por partes): note que a mesma integral apareceu novamente, vamos passar ela para o outro lado da igualdade:

∫ 0 π x   f sen ⁡ x   d x + ∫ 0 π x   f sen ⁡ x   d x = π   ∫ 0 π f sen ⁡ x   d x

Assim podemos somar as integrais:

2 ∫ 0 π x   f sen ⁡ x   d x = π ∫ 0 π f sen ⁡ x   d x

Por fim, quero o valor de uma apenas, passamos o 2 dividindo:

∫ 0 π x   f sen ⁡ x   d x = π 2   ∫ 0 π f sen ⁡ x   d x

A conseguimos chegar onde queríamos!

Resposta

Demonstração.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

t) int_((pi)/(3))^((pi)/(2)) s e n^3 (x) d x
7- Calcule.n)int_(- 1)^1 x^3 (x^2 + 3)^(10) d x
e) int_(- 1)^0 x^2 e^(x^3) d x
m)int_0^1 (x^2)/((x + 1)^2) d x
s) int_((pi)/(3))^((pi)/(2)) s e n (x) s e n^2 (x) d x