Rodrigues rotationsformlen er en formel , der forbinder to vektorer med en fælles oprindelse, hvoraf den ene opnås ved at rotere den anden med en kendt vinkel omkring en akse, der går gennem deres fælles oprindelse:
hvor er startvektoren, er den resulterende vektor, er enhedsvektoren for rotationsaksen, er rotationsvinklen. Formlen kan også skrives som:
Ligger til grund for vektorteorien om endelige rotationer og addition af rotationer . Modtaget af O. Rodrigues i 1840 [1]
Uden tab af generalitet leder vi aksen langs enhedsvektoren , og vektoren ligger i OXZ-planet, så:
Hvor:
Lad os sætte vektoren lig med:
Læg mærke til det:
Så kan vektoren udtrykkes i form af vektorerne og og vinklen :
Den resulterende vektor er udtrykt i form af vektorerne og :
Ved at bringe lignende, får vi Rodrigues rotationsformlen:
Vektormultiplikation med en vektor k kan repræsenteres som en multiplikation med en matrix K :
Vektoren v vil, når den drejes rundt om enhedsvektoren k , gå ind i vektoren
hvor
Således viser det sig, at rotationsmatrixen omkring enhedsvektoren k ved vinklen
hvor