ロドリゲスの回転公式

三次元回転におけるロドリゲスの回転公式（）とは、ベクトル空間において、与えられた回転軸に対して回転を行うための効率的なアルゴリズムを指す。またこの公式は、任意の3つの基底ベクトルに対する、 群上の回転行列を用いた変換の軸角度表現を与えている。つまり、この式は （ のリー代数）から への指数写像を、行列の指数関数を計算せずに与えるアルゴリズムとなっている。
性質.
 上の回転軸を表す単位ベクトル , 右手の法則に基づく回転角度 に対して、ロドリゲスの回転公式は次の様に与えられる。
ここで は3次単位行列であり、formula_2 は formula_3 との外積に対応する歪対称行列である。
他の表現として、回転面を表すゼロでないベクトル に対する軸ベクトルとしてクロス積  を用いることができる。このとき、回転角  を  から離れた、もしくは  に向けた角として表せる。2つのベクトルがなす角を  とすると、 と同様の意味を  に与えることができる（ただし2つは必ずしも一致しない）。このとき、単位軸ベクトル は次のように書ける。
もし回転面を表すベクトルが事前に分かっている場合は、この形式を用いる。物理学における例として、トーマスの歳差運動が挙げられる。