Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2022/ib/paper-1/11e/d/solution

Use an orientation-preserving isometry to send to and to the imaginary axis, whose boundary points are . A geodesic through meeting it at angle has boundary points
Indeed , so the semicircle with endpoints passes through , and its tangent there makes angle with the vertical.
The cross-ratio is invariant under the normalizing Möbius transformation. With the suitable ordering and the convention used here,

New to topics? Read the docs here!