Enunciado

Demonstre a identidade

arcsen  ⁡ x - 1 x + 1 = 2 arctg ⁡ x - π 2

Passo 1

Eaeee, belezinha? Bom... a questão nos pede para demonstrar a seguinte identidade:

arcsen  ⁡ x - 1 x + 1 = 2 arctg ⁡ x - π 2

Para isso, devemos “transformar” essa equação em uma função.

Com isso, podemos utilizar os artifícios de derivação para podermos provar a igualdade!!

A ideia é que se a derivada for igual a zero, nossa identidade será verdadeira.

Não entendeu né? Então vamos devagarinho que vai dar certo 😉

Passo 2

Primeiro vamos passar todo mundo para um lado só:

arcsen  ⁡ x - 1 x + 1 - 2 arctg ⁡ x + π 2 = 0

Com isso, podemos definir a seguinte função f x :

f x = arcsen  ⁡ x - 1 x + 1 - 2 arctg ⁡ x + π 2

Repara que domínio de f é [ 0 ,   ∞ ) .

Passo 3

Agora vamos nos preocupar em derivar essa função.

f x = arcsen  ⁡ x - 1 x + 1 - 2 arctg ⁡ x + π 2

Essa função é formada por três termos, e teremos que derivar cada um deles.

Assim:

f ' x = arcsen  ⁡ x - 1 x + 1 ' - 2 arctg ⁡ x ' + π 2 '

Vamos olhar para cada um deles individualmente.

Passo 4

Começando com o primeiro, temos:

arcsen  ⁡ x - 1 x + 1 '

Repara que essa função é formada por uma função dentro da outra. Assim, podemos entendê-la como:

arcsen  ⁡ u

Onde chamamos de

u = x - 1 x + 1

Perceba que essa é uma daquelas derivadas trigonométricas já tabeladas. Assim, teremos que usar a regra da cadeia e podemos olhar para ela como sendo

arcsen  ⁡ u ' = 1 1 - u 2 ⋅ u '

Como precisaremos de u ' e ele é formado pela divisão entre duas outras funções, também teremos que usar a regra do quociente. Assim, nossa derivada será:

arcsen  ⁡ x - 1 x + 1 ' = 1 1 - x - 1 x + 1 2 ⋅ 1 ⋅ x + 1 - x - 1 ⋅ 1 x + 1 2

Agora vamos simplificar essa derivada para facilitar nossos cálculos.

Podemos reescrever resolvendo a parte de cima:

arcsen  ⁡ x - 1 x + 1 ' = x + 1 - x + 1 1 - x - 1 x + 1 2 ⋅ 1 x + 1 2

Que se torna:

arcsen  ⁡ x - 1 x + 1 ' = 2 1 - x - 1 x + 1 2 ⋅ 1 x + 1 2

E fazendo o mmc na raiz que está no denominador, ficamos com:

arcsen  ⁡ x - 1 x + 1 ' = 2 x + 1 2 - x - 1 2 x + 1 2 ⋅ 1 x + 1 2

E resolvendo os produtos notáveis, quadrado da soma e quadrado da diferença que estão na raiz, ficamos com:

arcsen  ⁡ x - 1 x + 1 ' = 2 x 2 + 2 x + 1 - x 2 + 2 x - 1 x + 1 2 ⋅ 1 x + 1 2

Que se torna:

arcsen  ⁡ x - 1 x + 1 ' = 2 4 x x + 1 2 ⋅ 1 x + 1 2

E tirando da raiz, ficamos com:

arcsen  ⁡ x - 1 x + 1 ' = 2 2 x + 1 x ⋅ 1 x + 1 2

E simplificando tudo teremos:

arcsen  ⁡ x - 1 x + 1 ' = 1 x x + 1

Perfeito. Vamos agora derivar o segundo termo.

Passo 5

Agora faremos:

2 arctg ⁡ x '

E novamente temos uma derivada tabelada

arc tg   ⁡ u

Onde chamamos de

u = x

Assim, teremos que usar a regra da cadeia e podemos olhar para ela como sendo

arc tg   ⁡ u ' = 1 1 + u 2 ⋅ u '

E termos:

2 arctg ⁡ x ' = 2 1 + x 2 ⋅ x '

E resolvendo, ficamos com:

2 arctg ⁡ x ' = 2 1 + x ⋅ 1 2 x

E simplificando teremos:

2 arctg ⁡ x ' = 1 x 1 + x

Prontinho. Vamos para a derivada do último termos.

Passo 6

E teremos que fazer:

π 2 '

Mas se lembre que π 2 é uma constante. Assim sua derivada será:

π 2 ' = 0

Show, agora vamos juntar tudo que encontramos.

Passo 7

Olhando para cada um dos termos

f ' x = arcsen  ⁡ x - 1 x + 1 ' - 2 arctg ⁡ x ' + π 2 '

Que nos deu:

f ' x = 1 x x + 1 - 1 x x + 1 + 0

f ' x = 0

Veja que a derivada resultou em zero!!

Isso significa que está provado aquela nossa igualdade!!!

Caso fosse diferente de zero, então significaria que:

arcsen  ⁡ x - 1 x + 1 ≠ 2 arctg ⁡ x - π 2

Resposta

Demonstração

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Verifique se a função satisfaz as hipóteses do Teorema do Valor Médio no intervalo dado. Então, encontre todos os números c que satisfaçam a conclusão do Teorema do Valor Médio. f x = 2 x 2 - 3 x + 1[
Verifique que a função satisfaz as três hipóteses do Teorema de Rolle no intervalo dado. Então, encontre todos os números c que satisfazem à conclusão do Teorema de Rolle. f x = x 3 - x 2 - 6 x + 2
Encontre o número c que satisfaça à conclusão do Teorema do Valor Médio para o intervalo dado. Desenhe o gráfico da função, a reta secante passando pelas extremidades, e a reta tangente em (c, f (c)).
Mostre que a equação tem exatamente uma raiz real. 2 x + cos ⁡ x = 0
Mostre que a equação tem exatamente uma raiz real.20. x 3 + e x = 0