Let be the horizontal rotation matrix through angle . Define the screw motion
Its linear part is an orthogonal matrix with determinant one, and its remaining part is a translation. Thus it is a proper Euclidean motion of Euclidean three-space, with .
In horizontal-vector notation the given parametric surface satisfies . Therefore
The defining circle in each horizontal plane is entirely parametrized by , so covers . The displayed equality and prove . This one-parameter subgroup preserves the dot products and cross products defining , and the chosen unit normal. Consequently their coordinate coefficients, and the Gaussian curvature, depend only on .

Articles by others on the same topic (0)

There are currently no matching articles.