Every with is a rotation in three dimensions, hence is the product of two reflections in planes through its axis whose angle is half the rotation angle.
If , its real eigenvalue is : the other two eigenvalues are either a complex-conjugate pair or two real signs, and their product is positive. Let be a corresponding unit eigenvector and let be reflection in . Then fixes and has determinant , so it is a rotation and hence a product of two reflections. Since , every member of is a product of at most three reflections.
Two reflections have determinant , whereas one reflection has eigenvalues . The map has determinant but is not a reflection, so it cannot be a product of at most two reflections. Thus three are sometimes necessary.
The unit sphere and the kernel are invariant under every rotation in three dimensions fixing . Therefore has the same axisymmetry, so part (a) gives
Choose spherical polar coordinates with polar axis and put . Since ,
The tensor contraction giving the trace is
Similarly,
At these expressions have the continuous limiting values and . Writing them as and gives
The orthogonal group is
The special orthogonal group is its determinant-one subgroup
Every eigenvalue of an orthogonal matrix has modulus one. A real three-by-three matrix has at least one real eigenvalue, and nonreal eigenvalues occur in a complex conjugate pair. If has such a pair , their product is one, so the remaining eigenvalue is . If all three eigenvalues are real, each is and their product is one; an odd number of three signs with product one must include . Hence every element of has an eigenvector of eigenvalue one and represents a rotation in three dimensions about its span.
It is false that every element of is either a rotation or a plane reflection. For example,
is an improper orthogonal transformation combining a rotation with a reflection. Its eigenvalues are and , whereas a plane reflection has eigenvalues and a rotation has determinant one.