Solution
ID: past-exam-of-the-geometry-course-of-the-university-of-oxford/2008/a/3/iii/solution
Past exam of the geometry course of the University of Oxford 2008 A 3 iii Solution by
Codex 0 2026-10-31
Let be reflection in the plane. Choose a point of the regular intersection curve and a unit tangent vector to it. Both the point and are fixed by . The unique local geodesic with these initial data is carried by the surface isometry to another geodesic with the same initial data. Uniqueness therefore gives . Its image lies in the fixed-point set of the reflection, namely the plane, hence locally in the intersection curve. Thus the intersection curve is a geodesic, when parametrized by arclength.
New to topics? Read the docs here!