Rodriguesův rotační vzorec je vzorec , který spojuje dva vektory se společným počátkem, z nichž jeden se získá otočením druhého o známý úhel kolem osy procházející jejich společným počátkem:
kde je počáteční vektor, je výsledný vektor, je jednotkový vektor osy rotace, je úhel rotace. Vzorec lze také zapsat jako:
Základy vektorové teorie konečných rotací a sčítání rotací . Obdržel O. Rodrigues v roce 1840 [1]
Bez ztráty obecnosti nasměrujeme osu podél jednotkového vektoru a vektor leží v rovině OXZ, pak:
Kde:
Nastavíme vektor rovný:
Všimněte si, že:
Potom lze vektor vyjádřit pomocí vektorů a úhlu :
Výsledný vektor je vyjádřen pomocí vektorů a :
Přineseme-li podobné, získáme Rodriguesův rotační vzorec:
Násobení vektoru vektorem k lze reprezentovat jako násobení maticí K :
Vektor v , když se otočí kolem jednotkového vektoru k , přejde do vektoru
kde
Ukazuje se tedy, že matice rotace kolem jednotkového vektoru k o úhel
kde