昨日、tr(AB) = tr(BA) - biochem_fan's note で回転行列 M の trace が となることに触れたが、すごく直感的な説明を思いついたのでメモ。
三次元空間のどんな回転も、回転軸と回転角で表現できる。その回転軸が z 方向になるように基底を取り直すと、回転行列は
という形になり、
となることは明らか。
昨日、tr(AB) = tr(BA) - biochem_fan's note で回転行列 M の trace が となることに触れたが、すごく直感的な説明を思いついたのでメモ。
三次元空間のどんな回転も、回転軸と回転角で表現できる。その回転軸が z 方向になるように基底を取り直すと、回転行列は
という形になり、
となることは明らか。