Put and . They are nonzero vectors with the same Euclidean norm. Choose the rotation matrix taking the direction to ; equal lengths then give . DefineThis is a translation by followed by a rotation about , so it is an isometry. Direct substitution gives and .
Articles by others on the same topic
There are currently no matching articles.