自分用の覚書。とある計算をしていて、のベクトルを「長さ」が1の2個の2次元のベクトル はでz軸とのなす角、に書き換えるとすっきりとした式になった。3元の実ベクトルを複素2×2元のベクトルに書き換えたときにどんな関係式が成り立つのかはまだ調べてない。