$\begin{pmatrix} \cos \theta & -\sin \theta & 0 \\ \sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} \cos \varphi & 0 & -\sin \varphi \\ 0 & 1 & 0 \\ \sin \varphi & 0 & \cos \varphi \end{pmatrix}$ を計算します。

##

1. 問題の内容

1. 行列の積を計算する問題です。具体的には、

$\begin{pmatrix} \cos \theta & -\sin \theta & 0 \\ \sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} \cos \varphi & 0 & -\sin \varphi \\ 0 & 1 & 0 \\ \sin \varphi & 0 & \cos \varphi \end{pmatrix}$

を計算します。

2. 行列 $A = \begin{pmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ \frac{\sqrt{3}}{2} & \frac{1}{2} \end{pmatrix}$ に対し、$A^{2023}$ を求めます。

3. $\cosh \varphi = \frac{e^{\varphi} + e^{-\varphi}}{2}$, $\sinh \varphi = \frac{e^{\varphi} - e^{-\varphi}}{2}$ のとき、

$\begin{pmatrix} \cosh \varphi & \sinh \varphi \\ \sinh \varphi & \cosh \varphi \end{pmatrix} \begin{pmatrix} \cosh \varphi \\ \sinh \varphi \end{pmatrix}$

を計算します。

4. (1)で定義される行列式の値を求めます。

5. (1)で定義される行列の余因子行列を求めます。

6. 行列を簡約化する問題です。具体的には、

$\begin{pmatrix} 3 & 1 & 7 & 9 & 4 \\ -1 & 0 & -2 & -3 & 5 \\ 1 & 1 & 4 & 4 & 7 \\ -2 & -1 & -5 & -6 & 6 \end{pmatrix}$

を簡約化します。

##

2. 解き方の手順

1. 行列の積を計算します。

$\begin{pmatrix} \cos \theta & -\sin \theta & 0 \\ \sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} \cos \varphi & 0 & -\sin \varphi \\ 0 & 1 & 0 \\ \sin \varphi & 0 & \cos \varphi \end{pmatrix} = \begin{pmatrix} \cos \theta \cos \varphi & -\sin \theta & -\cos \theta \sin \varphi \\ \sin \theta \cos \varphi & \cos \theta & -\sin \theta \sin \varphi \\ \sin \varphi & 0 & \cos \varphi \end{pmatrix}$

2. 行列 $A = \begin{pmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ \frac{\sqrt{3}}{2} & \frac{1}{2} \end{pmatrix}$ は、回転行列に対応します。

$A = \begin{pmatrix} \cos \frac{\pi}{3} & -\sin \frac{\pi}{3} \\ \sin \frac{\pi}{3} & \cos \frac{\pi}{3} \end{pmatrix}$

したがって、$A^{2023}$ は $\frac{2023 \pi}{3}$ 回転することに対応します。

$\frac{2023 \pi}{3} = 674\pi + \frac{\pi}{3}$ より、

$A^{2023} = \begin{pmatrix} \cos \frac{\pi}{3} & -\sin \frac{\pi}{3} \\ \sin \frac{\pi}{3} & \cos \frac{\pi}{3} \end{pmatrix} = \begin{pmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ \frac{\sqrt{3}}{2} & \frac{1}{2} \end{pmatrix}$

3. 行列の積を計算します。

$\begin{pmatrix} \cosh \varphi & \sinh \varphi \\ \sinh \varphi & \cosh \varphi \end{pmatrix} \begin{pmatrix} \cosh \varphi \\ \sinh \varphi \end{pmatrix} = \begin{pmatrix} \cosh^2 \varphi + \sinh^2 \varphi \\ \sinh \varphi \cosh \varphi + \cosh \varphi \sinh \varphi \end{pmatrix} = \begin{pmatrix} \cosh(2\varphi) \\ \sinh(2\varphi) \end{pmatrix}$

4. (1)の行列の行列式を計算します。

$\det \begin{pmatrix} \cos \theta & -\sin \theta & 0 \\ \sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix} = \cos^2 \theta + \sin^2 \theta = 1$

$\det \begin{pmatrix} \cos \varphi & 0 & -\sin \varphi \\ 0 & 1 & 0 \\ \sin \varphi & 0 & \cos \varphi \end{pmatrix} = \cos^2 \varphi + \sin^2 \varphi = 1$

したがって、求める行列式は $1 \times 1 = 1$ です。

5. (1)の行列の余因子行列を計算します。

まず、

$A = \begin{pmatrix} \cos \theta & -\sin \theta & 0 \\ \sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix}$

の余因子行列は

$\begin{pmatrix} \cos \theta & -\sin \theta & 0 \\ \sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix}^T = \begin{pmatrix} \cos \theta & \sin \theta & 0 \\ -\sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix}$

次に、

$B = \begin{pmatrix} \cos \varphi & 0 & -\sin \varphi \\ 0 & 1 & 0 \\ \sin \varphi & 0 & \cos \varphi \end{pmatrix}$

の余因子行列は

$\begin{pmatrix} \cos \varphi & 0 & \sin \varphi \\ 0 & 1 & 0 \\ -\sin \varphi & 0 & \cos \varphi \end{pmatrix}$

(1)の行列は$AB$なので、その余因子行列は$B^T A^T$になります。

よって

$B^T A^T = \begin{pmatrix} \cos \varphi & 0 & \sin \varphi \\ 0 & 1 & 0 \\ -\sin \varphi & 0 & \cos \varphi \end{pmatrix} \begin{pmatrix} \cos \theta & \sin \theta & 0 \\ -\sin \theta & \cos \theta & 0 \\ 0 & 0 & 1 \end{pmatrix} = \begin{pmatrix} \cos \varphi \cos \theta & \cos \varphi \sin \theta & \sin \varphi \\ -\sin \theta & \cos \theta & 0 \\ -\sin \varphi \cos \theta & -\sin \varphi \sin \theta & \cos \varphi \end{pmatrix}$

6. 与えられた行列を簡約化します。掃き出し法などを用います。計算が煩雑なので、ここでは結果のみ示します。簡約化された行列は単位行列になります。

##

3. 最終的な答え

1. $\begin{pmatrix} \cos \theta \cos \varphi & -\sin \theta & -\cos \theta \sin \varphi \\ \sin \theta \cos \varphi & \cos \theta & -\sin \theta \sin \varphi \\ \sin \varphi & 0 & \cos \varphi \end{pmatrix}$

2. $\begin{pmatrix} \frac{1}{2} & -\frac{\sqrt{3}}{2} \\ \frac{\sqrt{3}}{2} & \frac{1}{2} \end{pmatrix}$

3. $\begin{pmatrix} \cosh(2\varphi) \\ \sinh(2\varphi) \end{pmatrix}$

4. 1

5. $\begin{pmatrix} \cos \varphi \cos \theta & \cos \varphi \sin \theta & \sin \varphi \\ -\sin \theta & \cos \theta & 0 \\ -\sin \varphi \cos \theta & -\sin \varphi \sin \theta & \cos \varphi \end{pmatrix}$

6. $\begin{pmatrix} 1 & 0 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 & 0 \end{pmatrix}$