Areasekans, die aufgrund der strengen Antitonie und Surjektivität der hyperbolischen Sekansfunktion sech : [0, ∞) → (0, 1] zu dieser existierende, streng antitone Umkehrfunktion

\begin{eqnarray}\mathrm{arsech}:(0,1]\to [0,\infty ).\end{eqnarray}

\begin{eqnarray}{\mathrm{arsech}}^{^{\prime} }(y)=-\frac{1}{y\sqrt{1-{y}^{2}}}.\end{eqnarray}

Mit \(\mathrm{arsech}y=\mathrm{arcosh}\frac{1}{y}\) erhält man aus Eigenschaften der Areacosinusfunktion Eigenschaften der Areasekansfunktion.