Rodrigues’ rotation formula

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…