The rotation matrix for rotating an object along normal direction with angle is given by
where such that
We can easily validate that the equation is correct, note that as desired. And for any vector perpendicular to
as desired as well.
Compute and from
Note that
Thus, . Moreover, since , we can compute as the eigenvector of .
Algebraic Derivation Rodrigues’ rotation formula
For any rotation matrix , Thus is skew symmetric and can be written as
with .
Note that we have and . Thus
(1)