Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2020/ii/paper-3/25i/b/solution

Choose an orthonormal basis of and write . On a punctured disc on which the exponential map is a diffeomorphism, the map
defines geodesic polar coordinates centred at . The curves are unit-speed geodesics, so the first coefficient of the first fundamental form is
The Gauss lemma says that radial and angular coordinate vectors are orthogonal, hence
The angular variation is a Jacobi field along each radial geodesic, with initial data
Since , smooth dependence of the geodesic flow gives
Consequently
as required.

New to topics? Read the docs here!