Enunciado

Prove a fórmula indicada desta seção.

Fórmula (3) : tgh^(- 1) x = (1)/(2) ln ((1 + x)/(1 - x)) , |x| < 1

Passo 1

Vamos começar fazendo:

y = tgh^(- 1) x

Dessa forma,

x = tgh y

Lembrando que

tgh y = (e^y - e^(- y))/(e^y + e^(- y))

Vamos chegar na expressão

x = (e^y - e^(- y))/(e^y + e^(- y))

Passo 2

Vamos resolver essa equação exponencial, buscando o valor de y .

x = (e^y - e^(- y))/(e^y + e^(- y))

x = (e^y - (1)/(e^y))/(e^y + (1)/(e^y))

Fazendo e^y = a , vamos ter:

x = (a - (1)/(a))/(a + (1)/(a))

x = ((a^2 - 1)/(a))/((a^2 + 1)/(a))

x = (a^2 - 1)/(a^2 + 1)

x a^2 + x = a^2 - 1

a^2 (1 - x) = x + 1

a^2 = (x + 1)/(1 - x)

a = +- sqrt((x + 1)/(1 - x))

Passo 3

Agora vamos fazer

a = e^y

São duas equações:

e^y = + sqrt((x + 1)/(1 - x))

e^y = - sqrt((x + 1)/(1 - x))

Mas aquela segunda nunca vai ter solução, isso porque não existe valor de y que deixa a exponencial negativa.

Então vamos ter;

e^y = sqrt((x + 1)/(1 - x))

Aplicando logaritmo natural dos dois lados

ln e^y = ln (sqrt((x + 1)/(1 - x)))

y = ln (sqrt((x + 1)/(1 - x)))

Lembrando que:

sqrt((x + 1)/(1 - x)) = ((x + 1)/(1 - x))^((1)/(2))

Vamso ter

y = ln (((x + 1)/(1 - x))^((1)/(2)))

Usando as propriedades de log

y = (1)/(2) ln ((x + 1)/(1 - x))

Como fizemos y = tgh^(- 1) x , vamos ter

tgh^(- 1) x = (1)/(2) ln ((x + 1)/(1 - x))

Resposta

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

Ver Outros Exercícios desse livro

Exercícios de Livros Relacionados

Uma função f é dada por um gráfico. Determine se f é injetora.
Uma função f é dada por uma tabela de valores, um gráfico, uma fórmula ou por meio de descrição verbal. Determine se f é injetora.
(a) O que é uma função injetora?(b) A partir do gráfico, como dizer se uma função é injetora?
Se for dado o gráfico de f , como você encontrará o gráfico de f - 1 ?
(b) Se for dada uma fórmula para f , como você encontrará uma fórmula para f - 1 ?