Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-133/4/b/solution

Let be the midpoint of a geodesic . Since is a convex subset of a geodesic metric space, . In the geodesic triangle with vertices , the point lies within of or . By symmetry suppose and . Put . Then
and consequently
Because is a closest point of to and , . Combining the inequalities gives . This is the coarse uniqueness of a closest point in a hyperbolic metric space.

New to topics? Read the docs here!