A positive, counterclockwise rotation takes the standard basis vectors and to and . These images are the columns of its rotation matrix, soIt fixes the origin, preserves the dot product and has determinant one.
Since and , is an orthogonal matrix in the special orthogonal group. It also satisfies and thus preserves the dot product. Normalize the fixed eigenvector to . For ,so the orthogonal complement of the fixed axis is invariant. Choose an oriented orthonormal basis . In this basis the matrix has form , where is a real orthogonal matrix of determinant one.
Write the first column of as . Its unit second column must be perpendicular to the first; positivity of the determinant selects . Thus , and fixes the axis through while rotating its perpendicular plane by . Since trace is invariant under change of basis,This proves that is the required axial rotation. The trace determines the unsigned angle; the action in the oriented perpendicular plane determines its sign. The identity case has angle zero and any axis.
Use the orthogonal matrix identity . The product rule for determinants, , and invariance of determinant under matrix transpose givewhere the last sign comes from dimension three. Hence . The real linear map has a nonzero real vector in its kernel, so has an eigenvector with eigenvalue one. This is the odd-dimensional special orthogonal transformation has a fixed vector property, here proved directly without first classifying the other eigenvalues.
Articles by others on the same topic
There are currently no matching articles.