Dette resultatet kalles Rodrigues' rotasjonsformel etter Olinde Rodrigues som fant den på midten av 1800-tallet.