目標

点 $(x,y)$ を反時計回りに $\theta$ だけ回転させた点を $(X,Y)$ とする。このとき

\left(\begin{matrix}
X\\
Y
\end{matrix}\right)
=\left(\begin{matrix}
\cos{\theta} & -\sin{\theta}\\
\sin{\theta} & \cos{\theta}
\end{matrix}\right)
\left(\begin{matrix}
x\\
y
\end{matrix}\right)

となることを示す。

証明

点 $(x,y)$を極座標表示すると

\left(\begin{matrix}
x\\
y
\end{matrix}\right)
=
\left(\begin{matrix}
r\cos{\alpha}\\
r\sin{\alpha}
\end{matrix}\right)...(1)

となる。ここで反時計回りに $\theta$ だけ回転させた点を $(X,Y)$ とすると，

\left(\begin{matrix}
X\\
Y
\end{matrix}\right)
=
\left(\begin{matrix}
r\cos{(\alpha+\theta)}\\
r\sin{(\alpha+\theta)}
\end{matrix}\right)

加法定理より

\left(\begin{matrix}
X\\
Y
\end{matrix}\right)
=
\left(\begin{matrix}
r\cos{\alpha}\cos{\theta}-r\sin{\alpha}\sin{\theta}\\
r\sin{\alpha}\cos{\theta}+r\cos{\alpha}\sin{\theta}
\end{matrix}\right)

(1)より

\left(\begin{matrix}
X\\
Y
\end{matrix}\right)
=
\left(\begin{matrix}
x\cos{\theta}-y\sin{\theta}\\
y\cos{\theta}+x\sin{\theta}
\end{matrix}\right)
=
\left(\begin{matrix}
\cos{\theta} & -\sin{\theta}\\
\sin{\theta} & \cos{\theta}
\end{matrix}\right)
\left(\begin{matrix}
x\\
y
\end{matrix}\right)