The integral curves of are lines when , and helices around an axis when . The helix is closed exactly when its axial translation component vanishes, in which case every nonfixed orbit is a circle.
A simple closed curve in preserved by a nonconstant smooth family of proper rigid motions is a circle. Differentiating the normalized family at the identity gives a nonzero infinitesimal proper Euclidean motion tangent to the curve. Compactness rules out its line and nonclosed helical orbits, leaving a circular rotation orbit.
Articles by others on the same topic
There are currently no matching articles.