First is a linear subspace. To prove it is nonzero, use orthogonality and :
Hence . If then also implies . For ,
so is invariant. If had dimension two, its one-dimensional orthogonal complement would be invariant and would act there as a scalar . The determinant would be , so , forcing . Dimension three also forces . Both contradict the hypothesis. Consequently
Choose an orthonormal basis beginning with a unit vector in and followed by a basis of . In this basis the orthogonal matrix has block form
The first column of is some . Its perpendicular unit second column with positive orientation must be . Thus the restriction is the plane rotation
Trace invariance gives , proving
A Euclidean reflection in fixes that plane pointwise and reverses , so it occurs exactly when . This is equivalent to , hence exactly to . Finally,
This exhibits the three-dimensional improper orthogonal transformation as a rotation about the axis composed with Euclidean reflection in .
Denote the four displayed matrices, from left to right, by . An orthogonal matrix has an orthonormal set of columns, equivalently . Direct column dot products give for . The first column of has squared Euclidean norm , so the third matrix is the unique nonorthogonal matrix.
For , the determinant is . A nonidentity orthogonal transformation of with determinant is a rotation: it has a fixed axis and restricts to a plane rotation on its orthogonal complement. Consequently is the rotation.
For , calculation gives
A plane reflection fixes its entire plane, and therefore has eigenvalue . Since is invertible, is not a plane reflection. Thus is the combination of a rotation and a reflection. More explicitly, is an eigenvector with eigenvalue . On the perpendicular plane, is a rotation with , because . This gives a three-dimensional improper orthogonal transformation.
For , set . Then
This reflection matrix reverses the normal and fixes every vector perpendicular to . Therefore is reflection in the plane . In particular, and . Finally represents none of the three listed orthogonal transformations, since each preserves the Euclidean norm.