Solution

ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2001/paper-2/3/b/solution

On the circular cylinder, is constant, so the given line element reduces to . Unroll the circular cylinder with . The line element is then , so the usual Euclidean geometry formula measures arc length in the plane.
The endpoint has infinitely many lifts , with . For each lift, the straight line segment is shortest; its length is . Comparing the lifts gives the unrestricted shortest path on a circular cylinder:
If is a minimizing angular increment, a shortest geodesic is parametrized by , . This is a helix when both increments are nonzero, and a circular arc or vertical generator in the limiting cases. A nonminimal lift also gives a geodesic, but it is only shortest within its fixed winding class.
For , put . Then . At , both winding directions give distinct shortest paths of equal length.

New to topics? Read the docs here!