Enunciado

Mostre que a fórmula (2) desta secção é equivalente à fórmula ∫ sec ⁡ x   d x = ln ⁡ | sec ⁡ x + tan ⁡ x | + C .

(Sugestão: multiplique o numerador e o denominador sob o radical por ( 1 + s e n   x ) .)

Passo 1

A fórmula (2) apresentada na seção do livro é

∫ sec ⁡ x   d x = ln ⁡ 1 + s e n   x 1 - s e n   x + C

A questão pede para provarmos que ela é análoga a expressão usual

∫ sec ⁡ x   d x = ln ⁡ | sec ⁡ x + tan ⁡ x | + C

Note que para fazer isso, não precisamos resolver nenhuma integral, temos apenas que mostrar que

ln ⁡ 1 + s e n   x 1 - s e n   x = ln ⁡ | sec ⁡ x + tan ⁡ x |

Na verdade, não precisamos nem mostrar que elas são exatamente iguais, basta que elas difiram por uma constante!

Passo 2

A dica dada no enunciado é a seguinte:

1 + s e n   x 1 - s e n   x = 1 + s e n   x 1 - s e n   x ⋅ ( 1 + s e n   x ) ( 1 + s e n   x ) = 1 + s e n   x 2 1 - s e n 2 x = 1 + s e n   x cos ⁡ x 2

Como y 2 = y , temos que

1 + s e n   x 1 - s e n   x = 1 + s e n   x cos ⁡ x = 1 cos ⁡ x + s e n   x cos ⁡ x

Passo 3

Usando as definições de secante e tangente:

1 + s e n   x 1 - s e n   x = | sec ⁡ x + tan ⁡ x |

Assim,

ln ⁡ 1 + s e n   x 1 - s e n   x = ln ⁡ | sec ⁡ x + tan ⁡ x |

que é precisamente o que queríamos mostrar!

Resposta

Demonstração.

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Nos exercícios de 1 a 31, calcule a integral indefinida.1. ∫ x d x 3 + x
Nos exercícios de 1 a 31, calcule a integral indefinida.19. ∫ d x 3 - 5 s e n x
Nos exercícios de 1 a 31, calcule a integral indefinida.14. ∫ d x 1 + s e n x
Nos exercícios de 1 a 31, calcule a integral indefinida.3. ∫ d x x 1 + 4 x
Nos exercícios de 1 a 31, calcule a integral indefinida.4. ∫ x 1 + x 2 / 3 d x