The key to analyzing an isometry f(x) = U x + v of R^{3} is to begin by analyzing the fixed lines and planes through 0 for the linear map given by the 3 \times 3 orthogonal matrix U. This rests on looking at the eigenvectors of U. Let u = det(U) = {+/-} 1. The three eigenvalues of U (allowing for possible multiple eigenvalues) are u and cos theta {+/-} i sin theta for some theta, 0 <= theta < 2 pi.
Definition. A rotation of R^{3} is an orientation-preserving isometry that admits at least one fixed point.
Proposition. A non-identity rotation of R^{3} has a line of fixed points (called its axis). If f is a rotation, then the restriction of f to any plane orthogonal to its axis is the rotation of that plane about the point where it meets the axis by an angle that does not depend on the orthogonal plane.
Proof. If f is a rotation, then f may be conjugated by the translation carrying the origin to its fixed point in order to obtain an orientation-preserving isometry that fixes the origin. Thus, it suffices to prove the proposition when the fixed point is the origin, i.e., for the linear transformation given by an orthogonal matrix. Since f is orientation-preserving, det(U) = 1, and, therefore 1 is an eigenvalue of U. If v is an eigenvector of U for the eigenvalue 1, then every point tv is a fixed point of f, and, because f is angle-preserving, it carries any plane perpendicular to v to itself, giving rise to an orientation-preserving isometry of that plane with a fixed point, i.e., a rotation of that plane.
Definition. The term point reflection is used for an isometry of R^{3} having the form x -> 2 c - x in some, hence any (since the combination of c and x is barycentric), affine coordinate system.
Definition. A mirror reflection (sometimes simply reflection) is an isometry of R^{3} having precisely a plane of fixed points.
Proposition. The point reflections and mirror reflections of R^{3} are orientation-reversing.
Proof. It is obvious for the case of a point reflection. If an isometry has precisely a plane of fixed points, it is sufficient to assume that the plane of fixed points passes through the origin and, therefore f(x) = U x where U is orthogonal. Since f is angle-preserving, the line through the origin normal to the fixed plane must be stabilized by f. However, if that line is fixed by f, then f fixes each of the three vectors of R^{3} in some orthonormal basis of R^{3}, and then f would be the identity. The only other alternative is that the normal line is a line of eigenvectors for some eigenvalue other than 1, and the only possible other eigenvalue is -1. Therefore, det(U) = -1, and f is orientation-reversing.
Proposition. There is one and only one mirror reflection with a given fixed plane. If Pi is a plane, and p is the orthogonal projection of R^{3} on Pi, then the unique mirror reflection f in Pi is given in any affine coordinate system by the formula f(x) = 2 p(x) - x (a barycentric combination of the points x and p(x)).
Proof. This follows from the description of a mirror reflection obtained in the proof of the preceding propostion.
Give specific geometric descriptions of the isometries f(x) = U x + v of R^{3} given by the following pairs of 3 \times 3 orthogonal matrices U and vectors v.
| U = |
| , v = 0 . |
| U = |
| , v = 0 . |
| U = |
| , v = 0 . |
Prove that an orientation-reversing isometry with at least two fixed points must be a mirror reflection.