A=(abcd)とするとtA=(acbd)となりA = \begin{pmatrix} a & b \\ c & d \end{pmatrix}\text{とすると} \quad {}^{t}A = \begin{pmatrix} a & c \\ b & d \end{pmatrix} \quad \text{となり}A=(acbd)とするとtA=(abcd)となり tAA=(acbd)(abcd)=(a2+c2ab+cdab+cdb2+d2){}^{t}AA = \begin{pmatrix} a & c \\ b & d \end{pmatrix} \begin{pmatrix} a & b \\ c & d \end{pmatrix} = \begin{pmatrix} a^2+c^2 & ab+cd \\ ab+cd & b^2+d^2 \end{pmatrix}tAA=(abcd)(acbd)=(a2+c2ab+cdab+cdb2+d2) これから a2+c2=1b2+d2=1ab+cd=0を満たすa^2+c^2=1 \qquad b^2+d^2=1 \qquad ab+cd=0 \quad \text{を満たす}a2+c2=1b2+d2=1ab+cd=0を満たす ここで a=cosθa=\cos\thetaa=cosθ とおくと c=±sinθc=\pm\sin\thetac=±sinθ となり bcosθ±dsinθ=0b=sinθ、 d=∓cosθとなるのでb\cos\theta \pm d\sin\theta = 0 \qquad b=\sin\theta 、\ d=\mp\cos\theta \text{となるので}bcosθ±dsinθ=0b=sinθ、 d=∓cosθとなるので (cosθ−sinθsinθcosθ)又は(cosθsinθsinθ−cosθ)と書ける\begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix} \quad \text{又は} \quad \begin{pmatrix} \cos\theta & \sin\theta \\ \sin\theta & -\cos\theta \end{pmatrix} \quad \text{と書ける}(cosθsinθ−sinθcosθ)又は(cosθsinθsinθ−cosθ)と書ける