点Qは 点Pを 回転させたものである。 点Pの座標の ,を と で表わすと,
・・・・・・ (1)
点Qの座標の ,を と, で表わすと,
加法定理を用いると,
となる。(1) を代入すると,
となる。この関係を行列を用いて表わすと,
となる。
行列 を回転行列という。