Solution

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

Set
The triangle inequality makes Lipschitz continuous and hence a continuous function. Since is an isometric embedding,
so as . The function is therefore coercive, and the extreme value theorem on a sufficiently large compact interval gives a minimizing parameter.
Suppose both minimize , put and , and let
The restriction of between the two parameters is a geodesic from to . Let be its midpoint. In the geodesic triangle with vertices , the thin geodesic triangle condition gives a point on one of the other two sides with . By symmetry suppose . Then
so
But lies on and is a closest point, so . Therefore , which is stronger than the required
This is the closest point on a geodesic line in a hyperbolic metric space estimate.

New to topics? Read the docs here!