Rotate the disc so that lies on the positive real axis. From part (b), the perpendicular hyperbolic line is a Euclidean circle orthogonal to the unit circle, with centre on the real axis and radius . Orthogonality of the two circles gives
Combining the two equations yields
The radial distance formula from part (b) says
The hyperbolic double-angle identities now give
Therefore
This is the Euclidean circle representing a perpendicular hyperbolic line.

Articles by others on the same topic (0)

There are currently no matching articles.