Enunciado

Deduza a fórmula s e n h - 1 x =   ln ⁡ x 2 + 1     para qualquer x real. Explique em sua dedução por que na raiz quadrada é usado o sinal de mais, em vez do sinal de menos.

Passo 1

Vamos colocar y = s e n h - 1 x e deduzir a parte do logaritmo no desenvolvimento...

y = s e n h - 1 x → y = 1 s e n h   x → x = s e n h   y (função inversa)

Usando agora a definição de s e n h   x temos:

s e n h   y =   e y - e - y 2

Então temos:

x = e y - e - y 2 → 2 x = e y - e - y → 2 x = e y - 1 e y → 2 x e y = e 2 y - 1

2 x e y - e 2 y + 1 = 0    

Agora a gente faz uma mudança pra ficar mais fácil...

a = e y

Aí a gente reescreve assim:

2 a x - a 2 + 1 = 0 = a 2 - 2 a x - 1 = 0

Equação do segundo grau, galerinha....

Passo 2

a 2 - 2 a x - 1 = 0

Vamos jogar Bháskara e encontrar o valor de a :

a =   2 x ± ( 2 x ) 2 - 4 1 - 1 2 ( 1 ) =   2 x ± 4 x 2 + 4   2 = 2 x + 2 x 2 + 1 2 = x ± x 2 + 1

Então...

a = x ± x 2 + 1 = e y

Observe que e y > 0 sempre, então não podemos escolher e y = x - x 2 + 1 pois seria negativo. Ficamos então com e y = x + x 2 + 1

Tirando o logaritmo natural dos dois lados...

ln ⁡ e y = ln ⁡ x + x 2 + 1

y =   ln ⁡ x + x 2 + 1

s e n h - 1 x =   ln ⁡ x + x 2 + 1

Chegamos à fórmula pedida.

Resposta

Ei, a resposta está no passo a passo :)

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Mostre que a desigualdade é valida int_4^5 (1)/(x - 3) d x = int_4^5 (1)/(x) d x
Mostre que a desigualdade é valida int_1^2 (1)/(x - 3) d x = int_1^2 (1)/(x) d x
Se f (x) = {[[0 , a = xc],[k , x = c],[1 , cx = b]]) Prove que f é integrável em [a,b] e int_a^b f (x) d x = b - c
Mostre que a desigualdade é valida int_(- 2)^(- 1) (1)/(x - 3) d x = int_(- 2)^(- 1) (1)/(x) d x
Calcule a derivada (d)/(d x) int_(- x)^x (4)/(1 + t ²) d t ²