Let be the horizontal rotation matrix through angle . Define the screw motionIts 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 . ThereforeThe 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
There are currently no matching articles.