Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/ib/paper-4/13d/c/solution

Here the integrand
has no explicit -dependence. The Beltrami identity therefore gives
for a positive constant . Thus
whose nonvertical solutions are the semicircles
The endpoint and the prescribed value at both lie on
because
The required positive arc is consequently
The condition keeps the endpoint above the -axis. The sketch is the descending part of the upper semicircle of radius centred at , from to
This is precisely a Geodesic in the Poincare half-plane model.

New to topics? Read the docs here!