The hyperbolic sine function is bijective on the set R.
To demonstrate bijectivity, we'll show that for any x∈R it admits a unique solution y in its arrival set, in this case R.
We'll now show that the function f(x)=y has a single solution with y∈R.
Let's solve the equation f(x)=y, with unknown x∈R. To do this, let set X=ex.
As a reminder, ex>0, so X>0. This point is important for what follows.
f(x)=2ex−e−x⟺X−X1=2y
X2−2Xy−1=0
Using the relation (X−y)2=X2+y2−2Xy, we can write :
(X−y)2−y2−1=0
(X−y)2=y2+1
X=y±y2+1
There are therefore two solutions for X :
X1X2==y+y2+1y−y2+1
For all y∈R, X2=y−y2+1<0, since y≤y2<y2+1 ).
X2 can't be a solution because X=ex>0, or X2<0.
Similarly, y+y2+1>0, so X=y+y2+1.
So X1 is a solution of f(x)=y, because X1>0 .
So, for all y∈R, the equation has a unique solution (defined on R ):
x=ln(y+y2+1)
In conclusion, f is bijective and its reciprocal function is f−1:{R→Rx→ln(y+y2+1)
To sum up, the function sinh is bijective on the set R.