How to derive Lobachevsky's formula for the angle of parallelism
3
$begingroup$
I'm lightly studying some non-Euclidean Geometry and in the book I am reading there is no proof or derivation from where the Lobachevsky formula for angle of parallelism comes from: $$Pi(x)=2tan^{-1}left(e^{-x}right)$$ Any help? Thanks P.S. I couldn't find anything by google search either.
differential-geometry hyperbolic-geometry noneuclidean-geometry
share | cite | improve this question
edited Dec 24 '18 at 9:38
Blue
49.4k 8 70 157
asked Jul 21 '16 at 12:37