問題は2つの部分に分かれています。 (1) 行列 $X = \begin{pmatrix} a & c \\ b & d \end{pmatrix}$ と単位行列 $E = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}$ について、$XE = EX = X$ が成り立つことを示す。 (2) 与えられた正方行列 $A$ が、対応する正方行列 $X$ の逆行列であるかどうかを調べる。

代数学行列行列の積単位行列逆行列
2025/7/26

1. 問題の内容

問題は2つの部分に分かれています。
(1) 行列 X=(acbd)X = \begin{pmatrix} a & c \\ b & d \end{pmatrix} と単位行列 E=(1001)E = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} について、XE=EX=XXE = EX = X が成り立つことを示す。
(2) 与えられた正方行列 AA が、対応する正方行列 XX の逆行列であるかどうかを調べる。

2. 解き方の手順

(1) XE=EX=XXE = EX = X を示す
XEXE を計算します。
XE=(acbd)(1001)=(a1+c0a0+c1b1+d0b0+d1)=(acbd)=XXE = \begin{pmatrix} a & c \\ b & d \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} a \cdot 1 + c \cdot 0 & a \cdot 0 + c \cdot 1 \\ b \cdot 1 + d \cdot 0 & b \cdot 0 + d \cdot 1 \end{pmatrix} = \begin{pmatrix} a & c \\ b & d \end{pmatrix} = X
次に、EXEX を計算します。
EX=(1001)(acbd)=(1a+0b1c+0d0a+1b0c+1d)=(acbd)=XEX = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} a & c \\ b & d \end{pmatrix} = \begin{pmatrix} 1 \cdot a + 0 \cdot b & 1 \cdot c + 0 \cdot d \\ 0 \cdot a + 1 \cdot b & 0 \cdot c + 1 \cdot d \end{pmatrix} = \begin{pmatrix} a & c \\ b & d \end{pmatrix} = X
したがって、XE=EX=XXE = EX = X が成り立ちます。
(2) AAXX の逆行列かどうかを調べる
行列 AA が行列 XX の逆行列であるためには、AX=XA=EAX = XA = E が成り立つ必要があります。ここで、EE は単位行列です。各場合について、AXAX を計算し、単位行列 EE になるかどうかを調べます。
(i) A=(4397)A = \begin{pmatrix} 4 & 3 \\ 9 & 7 \end{pmatrix}, X=(7394)X = \begin{pmatrix} 7 & -3 \\ -9 & 4 \end{pmatrix}
AX=(4397)(7394)=(47+3(9)4(3)+3497+7(9)9(3)+74)=(282712+12636327+28)=(1001)=EAX = \begin{pmatrix} 4 & 3 \\ 9 & 7 \end{pmatrix} \begin{pmatrix} 7 & -3 \\ -9 & 4 \end{pmatrix} = \begin{pmatrix} 4\cdot7 + 3\cdot(-9) & 4\cdot(-3) + 3\cdot4 \\ 9\cdot7 + 7\cdot(-9) & 9\cdot(-3) + 7\cdot4 \end{pmatrix} = \begin{pmatrix} 28 - 27 & -12 + 12 \\ 63 - 63 & -27 + 28 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = E
XA=(7394)(4397)=(74+(3)973+(3)794+4993+47)=(2827212136+3627+28)=(1001)=EXA = \begin{pmatrix} 7 & -3 \\ -9 & 4 \end{pmatrix} \begin{pmatrix} 4 & 3 \\ 9 & 7 \end{pmatrix} = \begin{pmatrix} 7\cdot4 + (-3)\cdot9 & 7\cdot3 + (-3)\cdot7 \\ -9\cdot4 + 4\cdot9 & -9\cdot3 + 4\cdot7 \end{pmatrix} = \begin{pmatrix} 28 - 27 & 21 - 21 \\ -36 + 36 & -27 + 28 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = E
よって、AAXX の逆行列です。
(ii) A=(4568)A = \begin{pmatrix} 4 & -5 \\ -6 & 8 \end{pmatrix}, X=(4534)X = \begin{pmatrix} 4 & 5 \\ 3 & 4 \end{pmatrix}
AX=(4568)(4534)=(44+(5)345+(5)464+8365+84)=(1615202024+2430+32)=(1002)EAX = \begin{pmatrix} 4 & -5 \\ -6 & 8 \end{pmatrix} \begin{pmatrix} 4 & 5 \\ 3 & 4 \end{pmatrix} = \begin{pmatrix} 4\cdot4 + (-5)\cdot3 & 4\cdot5 + (-5)\cdot4 \\ -6\cdot4 + 8\cdot3 & -6\cdot5 + 8\cdot4 \end{pmatrix} = \begin{pmatrix} 16 - 15 & 20 - 20 \\ -24 + 24 & -30 + 32 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 2 \end{pmatrix} \ne E
よって、AAXX の逆行列ではありません。
(iii) A=(052112031)A = \begin{pmatrix} 0 & 5 & 2 \\ 1 & -1 & -2 \\ 0 & 3 & 1 \end{pmatrix}, X=(518102305)X = \begin{pmatrix} 5 & 1 & -8 \\ -1 & 0 & 2 \\ 3 & 0 & -5 \end{pmatrix}
AX=(052112031)(518102305)=(05+60+0+00+10105+161+0+082+1003+30+0+00+65)=(100010001)=EAX = \begin{pmatrix} 0 & 5 & 2 \\ 1 & -1 & -2 \\ 0 & 3 & 1 \end{pmatrix} \begin{pmatrix} 5 & 1 & -8 \\ -1 & 0 & 2 \\ 3 & 0 & -5 \end{pmatrix} = \begin{pmatrix} 0-5+6 & 0+0+0 & 0+10-10 \\ 5+1-6 & 1+0+0 & -8-2+10 \\ 0-3+3 & 0+0+0 & 0+6-5 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} = E
XA=(518102305)(052112031)=(0+1+02512410280+0+05+0+62+0+20+0+015+0156+05)=(100010001)=EXA = \begin{pmatrix} 5 & 1 & -8 \\ -1 & 0 & 2 \\ 3 & 0 & -5 \end{pmatrix} \begin{pmatrix} 0 & 5 & 2 \\ 1 & -1 & -2 \\ 0 & 3 & 1 \end{pmatrix} = \begin{pmatrix} 0+1+0 & 25-1-24 & 10-2-8 \\ 0+0+0 & -5+0+6 & -2+0+2 \\ 0+0+0 & 15+0-15 & 6+0-5 \end{pmatrix} = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} = E
よって、AAXX の逆行列です。

3. 最終的な答え

(1) XE=EX=XXE = EX = X である。
(2)
(i) AAXX の逆行列である。
(ii) AAXX の逆行列ではない。
(iii) AAXX の逆行列である。

「代数学」の関連問題

4つのベクトル $a_1 = \begin{pmatrix} 1 \\ 2 \\ 3 \end{pmatrix}$, $a_2 = \begin{pmatrix} 2 \\ 5 \\ c \end{p...

線形代数ベクトル線形従属線形独立部分空間次元
2025/7/26

与えられた式 $2(8x^2 - 4) - 7(4x^2 + 3x - 6)$ を展開し、簡略化して最終的な答えを求めます。

式の展開多項式簡略化
2025/7/26

与えられた式 $\frac{2a-b}{4} - \frac{3a-2b}{3}$ を計算し、最も簡単な形で表します。

分数計算式の計算代数
2025/7/26

与えられた連立一次方程式について、以下の問いに答える問題です。 (1) 係数行列 $A$ の階数 $rank(A)$ を求めよ。 (2) $A$ は正則行列か。 (3) この連立方程式が解を持つように...

線形代数連立一次方程式行列階数正則行列行基本変形
2025/7/26

与えられた連立方程式を行列を用いて解く問題と、与えられた2つの条件を満たす行列が存在するかどうかを調べる問題の2つがあります。

線形代数行列連立方程式逆行列
2025/7/26

与えられた式 $y(x-3y) + 3x(3y-x)$ を展開し、整理して簡単にします。

式の展開因数分解多項式
2025/7/26

与えられた2次方程式 $x^2 + 2tx + 4 = 0$ について、以下の2つの問いに答えます。 (1) この方程式が異なる2つの実数解を持つための $t$ の条件を求めます。 (2) この方程式...

二次方程式判別式解と係数の関係不等式
2025/7/26

与えられた式 $(a-1)x - (a-1)$ を因数分解してください。

因数分解多項式
2025/7/26

$x$ についての2次方程式 $x^2 - 2mx + 2m^2 + m - 2 = 0$ の解がすべて整数となるような整数 $m$ をすべて求める。

二次方程式解の公式整数解平方根
2025/7/26

与えられた数列 $\{a_n\}$ が群に分けられている。 (1) 第 $N$ 群の末項 $\frac{N}{1}$ が数列 $\{a_n\}$ の第何項かを $N$ を用いて表す。 (2) $a_{...

数列群数列不等式数式処理
2025/7/26