2次の直交行列は、ある $\theta$ が存在して、次のどちらかの形になることを示す問題です。 $$ \begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix}, \begin{pmatrix} \cos \theta & \sin \theta \\ \sin \theta & -\cos \theta \end{pmatrix} $$
2025/6/18
1. 問題の内容
2次の直交行列は、ある が存在して、次のどちらかの形になることを示す問題です。
\begin{pmatrix}
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta
\end{pmatrix},
\begin{pmatrix}
\cos \theta & \sin \theta \\
\sin \theta & -\cos \theta
\end{pmatrix}
2. 解き方の手順
2次正方行列 が直交行列であるとは、 (Iは単位行列) を満たすことです。
つまり、
A^T A = \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} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
したがって、以下の条件が成り立ちます。
\begin{align}
a^2 + c^2 &= 1 \\
b^2 + d^2 &= 1 \\
ab + cd &= 0
\end{align}
より、, となる が存在します。
同様に、 より、, となる が存在します。
に代入すると、 となります。
これは、 と同値です。
したがって、 (nは整数) となります。
と表せます。
が偶数の場合、 ( は整数) とすると、 なので、
このとき、行列は
となります。
が奇数の場合、 ( は整数) とすると、 なので、
このとき、行列は
となります。
以上より、2次の直交行列は、ある が存在して、 または のどちらかの形になることが示されました。
3. 最終的な答え
2次の直交行列は、ある が存在して、次のどちらかの形になります。
\begin{pmatrix}
\cos \theta & -\sin \theta \\
\sin \theta & \cos \theta
\end{pmatrix},
\begin{pmatrix}
\cos \theta & \sin \theta \\
\sin \theta & -\cos \theta
\end{pmatrix}