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)