Finding Inverse Hyperbolic secant in terms of logarithms ?

1. Aug 29, 2011

mahmoud2011

The Problem is when I Compute the Inverse I have to solutions

$sech^{-1}(x) = ln(\frac{1\pm \sqrt{1-x^{2}}}{x}) : 0<x\leq 1$

And this not function which of them I will choose

Another Question is how can I prove without the graph that csch (x) is one - to -one

thanks

Last edited: Aug 29, 2011
2. Aug 29, 2011

mahmoud2011

For the second question I proved it depending on the definition of one to one function and csch(x) ,where since sinh(x) is one to one ,the whenever sinh(c)=sinh(d) , c=d
Then it follows that whenever 1/sinh(c) = 1/sinh(d) , c=d
And thus the result follows and that's what I did .

3. Aug 29, 2011

mahmoud2011

For the first question , I tried to check my solution I tried to check the solution directly from the definition of inverse function,

Let $h(x) = ln(\frac{1-\sqrt{1-x^2}}{x}) : 0<x\leq 1$

$g(x)=ln (\frac{1+ \sqrt{1-x^2}}{x}) : 0<x\leq 1$

$f(x) = sech(x) : x\geq 0$

then we have after some Algebra ,
$(f o h)(x) = x : 0<x\leq 1$
Whereas $(h o f)(x) = -x : x\leq0$
And Thus h is not the inverse of f , Checking g we will see that it do its job it is the inverse where

$(f o g)(x) = x : 0<x\leq 1$
Whereas $(g o f)(x) = x : x\leq0$

4. Aug 30, 2011

HallsofIvy

Staff Emeritus
Exactly what does the question say? The reason you are getting "$\pm$" is because sech is NOT a one-to-one function and so does NOT HAVE an inverse over all real numbers. You can, of course, restrict the domain so that it does have an inverse. How the domain is restricted will determine the sign.

5. Aug 30, 2011

mahmoud2011

I have restricted the domain such that x is greater than or equal zero and I also had Both signs So I Checked the solutions from definition of Inverse function And Choosed the positive sign As I have written above.