# Inverse Hyperbolic Secant of Imaginary Number

## Theorem

$\sech^{-1} x = \pm \, i \sec^{-1} x$

## Proof

 $\displaystyle y$ $=$ $\displaystyle \sech^{-1} x$ $\displaystyle \leadsto \ \$ $\displaystyle \sech y$ $=$ $\displaystyle x$ Definition of Inverse Hyperbolic Secant $\displaystyle \leadsto \ \$ $\displaystyle \map \sech {\pm \, y}$ $=$ $\displaystyle x$ Hyperbolic Secant Function is Even $\displaystyle \leadsto \ \$ $\displaystyle \map \sec {\pm \, i y}$ $=$ $\displaystyle x$ Hyperbolic Secant in terms of Secant $\displaystyle \leadsto \ \$ $\displaystyle \pm \, i y$ $=$ $\displaystyle \sec^{-1} x$ Definition of Inverse Secant $\displaystyle \leadsto \ \$ $\displaystyle y$ $=$ $\displaystyle \pm \, i \sec^{-1} x$ multiplying both sides by $\pm \, i$

$\blacksquare$