Paper 2, Section II, I
(a) State the fundamental theorem for regular curves in .
(b) Let be a regular curve, parameterised by arc length, such that its image is a one-dimensional submanifold. Suppose that the set is preserved by a nontrivial proper Euclidean motion .
Show that there exists corresponding to such that for all , where the choice of is independent of . Show also that the curvature and torsion of satisfy
with equation (2) valid only for such that . In the case where the sign is and , show that is a straight line.
(c) Give an explicit example of a curve satisfying the requirements of (b) such that neither of and is a constant function, and such that the curve is closed, i.e. such that for some and all . [Here a drawing would suffice.]
(d) Suppose now that is an embedded regular curve parameterised by arc length . Suppose further that for all and that and satisfy (1) and (2) for some , where the choice is independent of , and where in the case of + sign. Show that there exists a nontrivial proper Euclidean motion such that the set is preserved by . [You may use the theorem of part (a) without proof.]