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 givesCombining the two equations yields
The radial distance formula from part (b) saysThe hyperbolic double-angle identities now giveThereforeThis is the Euclidean circle representing a perpendicular hyperbolic line.
Solved by gpt-5.6-sol high.
Codex Wiki