# Proving limit on angle of a hyperbolic right triangle

I'm trying to prove that for a right triangle $\Delta ABC$ with right angle $B$, the angle $BAC \le \sin^{-1}(sech AB)$

I'm not really able to find a way to bring this proof together. I've tried converting $\sin^{-1}(sech AB)$ to $\int_{0}^{sec(AB)} \frac 1 {\sqrt{1-z^2}}dz$ and trying to relate that integral to the area of a hyperbolic triangle, but I'm having no luck.

By the angle of parrallelism https://en.wikipedia.org/wiki/Angle_of_parallelism

When C is an ideal point $AC = BC = \infty , \angle C = 0$

Then by the angle of parallelism https://en.wikipedia.org/wiki/Angle_of_parallelism you get

$\sin \Pi(AB) = \sin \angle BAC = \frac {1}{\cosh (AB) } = sech(AB)$.

When $\angle BAC$ is larger than $\Pi(AB)$ there is no triangle (the "sides" won't meet)

and when $\angle BAC$ is smaller than $\Pi(AB)$ C is not an ideal point and you have a normal triangle.

To prove all of this you are in a difficult point , it all depends on the curvature (in the formula's above it is supposed to be $-1$)

If the curvature is not suppoost to be $-1$ the curvature first need to be calculated and then AB must be replaced by $\frac{AB}{-K}$

so i guess you will need to find any proof of the angle of parallelism and tweak it a bit.

hopes this helps.