An isometry of the Euclidean plane is a map preserving all Euclidean distances, . Such a map of the whole plane is automatically bijective, and has the form with an orthogonal matrix.
The classification is identity, translations, rotations about a point, reflections in a line, and glide reflections. Here a glide reflection is a reflection followed by a nonzero translation parallel to its mirror. The cases preserving orientation have and are translations or rotations; the orientation-reversing cases have and are reflections or glide reflections. The identity is included by allowing a zero translation or rotation angle.
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 .
First use the preceding isometry to align the first two points, and put . It remains to align with while fixing . Use orthonormal coordinates in which and , , and write , . The prescribed distances giveSubtracting yields , and then . Therefore is either or its reflection across the line through . In the first case take ; in the second compose with that reflection. Both constructions fix the first two images and send the third point to its required image. The argument also covers three collinear points, when the two possible third images coincide. Thus all three points can be matched by one plane isometry.
Articles by others on the same topic
There are currently no matching articles.