Redirecting to Rodrigues' rotation formula