Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2025/ii/paper-4/25i/a/solution

For in a sufficiently small neighbourhood of , let be the geodesic satisfying and . The exponential map at is
Choose an oriented orthonormal basis of , write , and define geodesic polar coordinates by
The Gauss lemma says that radial and angular coordinate curves are orthogonal. Since is a unit-speed geodesic,
Moreover, torsion-freeness of the surface connection gives , and therefore
At , , so for every sufficiently small . Thus the first fundamental form is
and as because is the identity.

New to topics? Read the docs here!