Enunciado

  1. Completando o quadrado, mostre que
  2. ∫ 0 1 / 2 d x x 2 - x + 1 = π 3 3

  3. Ao fatorar x 3 + 1 como uma soma de cubos, reescreva a integral do item a). Depois expresse 1 / ( x 3 + 1 ) como a soma de uma série de potências e use-a para provar a seguinte fórmula para π :

π = 3 3 4 ∑ n = 0 ∞ - 1 n 8 n 2 3 n + 1 + 1 3 n + 2

Passo 1

Falaa, pessoal! Tudo certo??

Vamos dar uma olhada nessa questão.

Na leta a ) , ele pede pra gente mostrar o valor dessa integral, completando o quadrado. A ideia vai ser mexer no denominador dessa fração pra transformar em alguma coisa que de pra comparar com essa integral:

∫ d x x 2 + 1 = arctan ⁡ x + c

E assim conseguimos calcular normalmente a integral e provar o valor.

Já na letra b ) , a gente precisa reescrever a integral do item a ) a partir da soma de cubos de x 3 + 1 , ou seja, precisamos lembrar dessa lógica de fatoração:

a 3 + b 3 = a + b ∙ ( a 2 - a b + b 2 )

Depois, vamos demonstrar essa fórmula para π que a questão deu, usando essa série de potências:

1 1 - x = ∑ n = 0 ∞ x n

Então vamos começar!

Passo 2

Começando completando quadrados do denominador da integral:

x 2 - x + 1 = x 2 - x + 1

x 2 - x + 1 = x 2 - x + 1 4 - 1 4 + 1

x 2 - x + 1 = x - 1 2 2 + 3 4

Então a integral que vamos calcular fica assim:

∫ 0 1 / 2   d x x - 1 2 2 + 3 4

Para calcular essa integral a gente vai ter que transformar ela em alguma coisa parecida com essa aqui:

∫ d x x 2 + 1 = arctan ⁡ x + c

Então vamos colocar 3 4 em evidência no denominador:

∫ 0 1 / 2   d x x - 1 2 2 + 3 4 = ∫ 0 1 / 2   d x 3 4 ∙ 4 3 ∙ x - 1 2 2 + 1 =

= 1 3 4 ∫ 0 1 / 2   d x 2 3 ∙ x - 1 2 2 + 1 =

Assim, conseguimos achar a primitiva dessa função usando a substituição u = 2 3 ∙ x - 1 2 :

d u = 2 3 d x ⇒ d x = 3 2 d u

= 4 3 ∫ u 0 u 1 2 3 2 d u u 2 + 1 = 4 3 ∙ 3 2 ∙ arctan ⁡ u u = - 1 3 u = 0 =

= 2 3 3 ∙ arctan ⁡ 0 - arctan ⁡ - 1 3 = 2 3 3 ∙ - - π 6 =

= 2 3 3 ∙ π 6 = π 3 3

E assim, acabamos de provar o valor da letra a)!

Passo 3

Precisamos agora fatorar x 3 + 1 como uma soma de cubos, usando essa relação:

a 3 + b 3 = a + b ∙ ( a 2 - a b + b 2 )

Então:

x 3 + 1 = x + 1 ⋅ x 2 - x + 1

Percebe que o segundo termo desse produto é o denominador da integral de a ) . Então vamos voltar pra integral:

∫ 0 1 / 2 d x x 2 - x + 1 = ∫ 0 1 / 2 x + 1 d x x 2 - x + 1 ⋅ x + 1 = ∫ 0 1 / 2 x + 1 ⋅ 1 x 3 + 1 d x

Agora vamos reescrever o termo 1 / ( x 3 + 1 ) como uma série de potências:

1 1 - x = ∑ n = 0 ∞ x n

⇒ 1 1 + x 3 = 1 1 - - x 3 = ∑ n = 0 ∞ - x 3 n =

= ∑ n = 0 ∞ - 1 n x 3 n = ∑ n = 0 ∞ - 1 n x 3 n

Portanto, nossa integral se transforma em:

∫ 0 1 / 2 x + 1 ⋅ ∑ n = 0 ∞ - 1 n x 3 n d x = ∫ 0 1 / 2 ∑ n = 0 ∞ - 1 n x 3 n + 1 + ∑ n = 0 ∞ - 1 n x 3 n d x

Passo 4

Integrando ambas as séries, temos:

∑ n = 0 ∞ - 1 n x 3 n + 2 3 n + 2 + ∑ n = 0 ∞ - 1 n x 3 n + 1 3 n + 1 0 1 2 =

= ∑ n = 0 ∞ - 1 n x 3 n + 2 3 n + 2 + - 1 n x 3 n + 1 3 n + 1 0 1 2 =

Podemos colocar - 1 n e x 3 n + 1 em evidência:

= ∑ n = 0 ∞ - 1 n ⋅ x 3 n + 2 + 1 3 n + 1 x 3 n + 1 0 1 2 =

Substituindo os limites, temos:

= ∑ n = 0 ∞ - 1 n ⋅ 1 2 ⋅ 3 n + 2 + 1 3 n + 1 1 2 3 n + 1 - 0 =

= ∑ n = 0 ∞ - 1 n ⋅ 1 2 1 3 n + 2 + 2 3 n + 1 1 2 3 n ∙ 2 - 0 =

= 1 4 ⋅ ∑ n = 0 ∞ - 1 n ⋅ 1 3 n + 2 + 2 3 n + 1 ⋅ 1 8 n  

Passo 5

Como essa série representa a integral da letra a ) , nós já sabemos o valor:

π 3 3 = 1 4 ⋅ ∑ n = 0 ∞ - 1 n ⋅ 1 3 n + 2 + 2 3 n + 1 ⋅ 1 8 n  

π = 3 3 4 ⋅ ∑ n = 0 ∞ - 1 n 8 n ⋅ 1 3 n + 2 + 2 3 n + 1  

E acabamos de provar o que a questão nos pede!

Resposta

Demonstrado na resolução.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Encontre uma série de potências para f , plote f e varias somas parciais s n x na mesma tela. O que acontece quando n aumenta? f x = ln ⁡ 3 + x
Utilize operações de séries de potencias para encontrar a série de Taylor em x = 0 para a função ln ⁡ 1 + x - ln ⁡ ( 1 - x ) .
Utilize operações de séries de potencias para encontrar a série de Taylor em x = 0 para a função x 3 ln ⁡ ( 1 + x 2 )
Utilize operações de séries de potencias para encontrar a série de Taylor em x = 0 para a função cos ⁡ x - sen ⁡ x .