与えられた行列が直交行列かどうかを確認します。 (1) $\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}$ (2) $\begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix}$

代数学線形代数行列直交行列転置行列
2025/7/15

1. 問題の内容

与えられた行列が直交行列かどうかを確認します。
(1) (1234)\begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}
(2) (010100001)\begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix}

2. 解き方の手順

直交行列の定義は、行列 AA の転置行列 ATA^T と元の行列 AA の積が単位行列 II になることです。すなわち、ATA=AAT=IA^T A = A A^T = I が成立するとき、AA は直交行列です。
(1) の場合:
A=(1234)A = \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix}
AT=(1324)A^T = \begin{pmatrix} 1 & 3 \\ 2 & 4 \end{pmatrix}
ATA=(1324)(1234)=(11+3312+3421+4322+44)=(10141420)A^T A = \begin{pmatrix} 1 & 3 \\ 2 & 4 \end{pmatrix} \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} = \begin{pmatrix} 1\cdot1+3\cdot3 & 1\cdot2+3\cdot4 \\ 2\cdot1+4\cdot3 & 2\cdot2+4\cdot4 \end{pmatrix} = \begin{pmatrix} 10 & 14 \\ 14 & 20 \end{pmatrix}
AAT=(1234)(1324)=(11+2213+2431+4233+44)=(5111125)A A^T = \begin{pmatrix} 1 & 2 \\ 3 & 4 \end{pmatrix} \begin{pmatrix} 1 & 3 \\ 2 & 4 \end{pmatrix} = \begin{pmatrix} 1\cdot1+2\cdot2 & 1\cdot3+2\cdot4 \\ 3\cdot1+4\cdot2 & 3\cdot3+4\cdot4 \end{pmatrix} = \begin{pmatrix} 5 & 11 \\ 11 & 25 \end{pmatrix}
ATAIA^T A \ne I かつ AATIA A^T \ne I なので、(1)の行列は直交行列ではありません。
(2) の場合:
A=(010100001)A = \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix}
AT=(010100001)A^T = \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix}
ATA=(010100001)(010100001)=(00+11+0001+10+0000+10+0110+01+0011+00+0010+00+0100+01+1001+00+1000+00+11)=(100010001)A^T A = \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix} = \begin{pmatrix} 0\cdot0+1\cdot1+0\cdot0 & 0\cdot1+1\cdot0+0\cdot0 & 0\cdot0+1\cdot0+0\cdot1 \\ 1\cdot0+0\cdot1+0\cdot0 & 1\cdot1+0\cdot0+0\cdot0 & 1\cdot0+0\cdot0+0\cdot1 \\ 0\cdot0+0\cdot1+1\cdot0 & 0\cdot1+0\cdot0+1\cdot0 & 0\cdot0+0\cdot0+1\cdot1 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}
AAT=(010100001)(010100001)=(00+11+0001+10+0000+10+0110+01+0011+00+0010+00+0100+01+1001+00+1000+00+11)=(100010001)A A^T = \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \end{pmatrix} = \begin{pmatrix} 0\cdot0+1\cdot1+0\cdot0 & 0\cdot1+1\cdot0+0\cdot0 & 0\cdot0+1\cdot0+0\cdot1 \\ 1\cdot0+0\cdot1+0\cdot0 & 1\cdot1+0\cdot0+0\cdot0 & 1\cdot0+0\cdot0+0\cdot1 \\ 0\cdot0+0\cdot1+1\cdot0 & 0\cdot1+0\cdot0+1\cdot0 & 0\cdot0+0\cdot0+1\cdot1 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix}
ATA=IA^T A = I かつ AAT=IA A^T = I なので、(2)の行列は直交行列です。

3. 最終的な答え

(1) 直交行列ではない
(2) 直交行列である

「代数学」の関連問題

(i) 実数 $a, b$ について、$a < b$ と同じ内容の不等式を $\frac{1}{2}a + 4 \ \boxed{ク} \ \frac{1}{2}b + \ \boxed{ケ}$ の形...

不等式一次不等式不等式の解法
2025/7/17

(i) $a < b$ のとき、$\frac{1}{2}a + 4$ と $\frac{1}{2}b + ケ$ の関係を表す不等号を求める問題。また、(ii) $-3x + 2 \geq \frac{...

不等式一次不等式不等式の解法
2025/7/17

与えられた2次不等式 $x^2 + kx + 2k - 1 > 0$ の解がすべての実数であるための、定数 $k$ の取りうる値の範囲を求める問題です。

二次不等式判別式解の範囲二次関数
2025/7/17

2次方程式 $x^2 - 2ax + a^2 - 1 = 0$ の2つの解がともに0以上3以下であるとき、定数 $a$ のとりうる値の範囲を求める問題です。

二次方程式解の範囲不等式
2025/7/17

1個の仕入れ価格が100の商品がある。1個あたりの儲けを $x$ ($0 \le x \le 100$) とする。1個を $100+x$ で販売すると、1日の販売個数は $240-2x$ となる。1日...

二次関数最大値不等式応用問題
2025/7/17

次の連立不等式 $\begin{cases} x^2 - 8x - 9 \le 0 \\ x^2 - 9x + 14 \ge 0 \end{cases}$ の解を求め、空欄を埋める問題です。

不等式連立不等式二次不等式因数分解
2025/7/17

2次不等式 $5x^2 - 4x - 12 < 0$ を満たす整数 $x$ の個数を求める問題です。

二次不等式因数分解不等式整数解
2025/7/17

2次不等式 $5x^2 - 4x - 12 < 0$ を満たす整数の個数を求める問題です。

二次不等式因数分解判別式不等式の解
2025/7/17

2次不等式 $x^2 + 3(k-1)x + \frac{3}{4}k - \frac{1}{4} > 0$ がすべての実数 $x$ について成り立つような、実数 $k$ の範囲を求める問題です。選択...

二次不等式判別式不等式
2025/7/17

不等式 $n < 2\sqrt{13} < n+1$ を満たす整数 $n$ を求め、実数 $a, b$ を $a = 2\sqrt{13} - n$, $b = \frac{1}{a}$ で定める。こ...

不等式無理数の計算有理化式の計算
2025/7/17