与えられた行列 $A$, $B$, $X$, $Y$ に対して、以下の問題を解きます。 (1) $AB$, $BA$, $ABAB$, $BABA$ を計算する。 (2) $^t\!B \, ^t\!A$ および $^t\!A \, ^t\!B$ を計算する。 (3) $AX = E$ および $YB = E$ を満たす $X$, $Y$ を求める。ただし、$E$ は単位行列である。

代数学行列行列の計算転置行列一般逆行列
2025/6/4

1. 問題の内容

与えられた行列 AA, BB, XX, YY に対して、以下の問題を解きます。
(1) ABAB, BABA, ABABABAB, BABABABA を計算する。
(2) ^t\!B \, ^t\!A および ^t\!A \, ^t\!B を計算する。
(3) AX=EAX = E および YB=EYB = E を満たす XX, YY を求める。ただし、EE は単位行列である。

2. 解き方の手順

(1) ABAB, BABA, ABABABAB, BABABABA の計算
まず、ABABBABA を計算します。
A = \begin{pmatrix} 1 & 0 & -1 \\ 2 & 1 & 2 \end{pmatrix}, \quad B = \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ -1 & 2 \end{pmatrix}
AB = \begin{pmatrix} 1 & 0 & -1 \\ 2 & 1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ -1 & 2 \end{pmatrix} = \begin{pmatrix} 2 & -1 \\ 1 & 5 \end{pmatrix}
BA = \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ -1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 0 & -1 \\ 2 & 1 & 2 \end{pmatrix} = \begin{pmatrix} 3 & 1 & 1 \\ -1 & -1 & -3 \\ 3 & 2 & 5 \end{pmatrix}
次に、ABABABABBABABABA を計算します。
ABAB = AB \cdot AB = \begin{pmatrix} 2 & -1 \\ 1 & 5 \end{pmatrix} \begin{pmatrix} 2 & -1 \\ 1 & 5 \end{pmatrix} = \begin{pmatrix} 3 & -7 \\ 7 & 24 \end{pmatrix}
BABA = BA \cdot BA = \begin{pmatrix} 3 & 1 & 1 \\ -1 & -1 & -3 \\ 3 & 2 & 5 \end{pmatrix} \begin{pmatrix} 3 & 1 & 1 \\ -1 & -1 & -3 \\ 3 & 2 & 5 \end{pmatrix} = \begin{pmatrix} 11 & 5 & 5 \\ -11 & -6 & -13 \\ 24 & 11 & 22 \end{pmatrix}
(2) ^t\!B \, ^t\!A および ^t\!A \, ^t\!B の計算
AABB の転置行列を求めます。
^t\!A = \begin{pmatrix} 1 & 2 \\ 0 & 1 \\ -1 & 2 \end{pmatrix}, \quad ^t\!B = \begin{pmatrix} 1 & 1 & -1 \\ 1 & -1 & 2 \end{pmatrix}
^t\!B \, ^t\!A^t\!A \, ^t\!B を計算します。
^t\!B \, ^t\!A = \begin{pmatrix} 1 & 1 & -1 \\ 1 & -1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 2 \\ 0 & 1 \\ -1 & 2 \end{pmatrix} = \begin{pmatrix} 2 & 1 \\ -1 & 5 \end{pmatrix}
^t\!A \, ^t\!B = \begin{pmatrix} 1 & 2 \\ 0 & 1 \\ -1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 1 & -1 \\ 1 & -1 & 2 \end{pmatrix} = \begin{pmatrix} 3 & -1 & 3 \\ 1 & -1 & 2 \\ 1 & -3 & 5 \end{pmatrix}
(3) AX=EAX = E および YB=EYB = E を満たす XX, YY の計算
AX=EAX = EYB=EYB = E を満たす XX, YY を求めます。EE は単位行列です。しかし、AA は正方行列ではないため、厳密な意味での逆行列は存在しません。ここでは、一般逆行列を求めることにします。同様に、BBも正方行列ではないため、YB=EYB=Eを満たすYも一意には定まりません。
まず、AX=EAX=E を考えますが、AAは2x3行列であり、XXは3x2行列であるため、EEは2x2の単位行列となります。X=(abcdef)X = \begin{pmatrix} a & b \\ c & d \\ e & f \end{pmatrix}とすると、AX=EAX = E
(101212)(abcdef)=(1001)\begin{pmatrix} 1 & 0 & -1 \\ 2 & 1 & 2 \end{pmatrix} \begin{pmatrix} a & b \\ c & d \\ e & f \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
となります。これにより、
ae=1a-e=1, bf=0b-f=0, 2a+c+2e=02a+c+2e=0, 2b+d+2f=12b+d+2f=1
という連立方程式が得られます。
これを解くためには、自由度があるため一意の解は得られません。
次に、YB=EYB = E を考えますが、YYは3x2行列であり、BBは3x2行列であるため、積YBYBは定義されません。Y=(pqrstu)Y = \begin{pmatrix} p & q \\ r & s \\ t & u \end{pmatrix}とした場合、YBYBは定義できません。問題に誤りがある可能性があります。ここでは、YYを2x3の行列とし、Y=(pq1rs0)Y = \begin{pmatrix} p & q & 1 \\ r & s & 0 \end{pmatrix}とします。この場合、EEは2x2の単位行列となります。
YB=(pq1rs0)(111112)=(1001)YB = \begin{pmatrix} p & q & 1 \\ r & s & 0 \end{pmatrix} \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ -1 & 2 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
より、
p+q1=1p+q-1 = 1, pq+2=0p-q+2 = 0, r+s=0r+s = 0, rs=1r-s = 1
という連立方程式が得られます。これを解くと、
p+q=2p+q = 2, pq=2p-q = -2より、p=0p=0, q=2q=2.
r+s=0r+s = 0, rs=1r-s = 1より、r=1/2r=1/2, s=1/2s=-1/2.
したがって、Y=(0211/21/20)Y = \begin{pmatrix} 0 & 2 & 1 \\ 1/2 & -1/2 & 0 \end{pmatrix}

3. 最終的な答え

(1)
AB=(2115)AB = \begin{pmatrix} 2 & -1 \\ 1 & 5 \end{pmatrix}
BA=(311113325)BA = \begin{pmatrix} 3 & 1 & 1 \\ -1 & -1 & -3 \\ 3 & 2 & 5 \end{pmatrix}
ABAB=(37724)ABAB = \begin{pmatrix} 3 & -7 \\ 7 & 24 \end{pmatrix}
BABA=(115511613241122)BABA = \begin{pmatrix} 11 & 5 & 5 \\ -11 & -6 & -13 \\ 24 & 11 & 22 \end{pmatrix}
(2)
^t\!B \, ^t\!A = \begin{pmatrix} 2 & 1 \\ -1 & 5 \end{pmatrix}
^t\!A \, ^t\!B = \begin{pmatrix} 3 & -1 & 3 \\ 1 & -1 & 2 \\ 1 & -3 & 5 \end{pmatrix}
(3)
AX=EAX=Eを満たすXXは不定。
YB=EYB = E を満たす YYY=(0211/21/20)Y = \begin{pmatrix} 0 & 2 & 1 \\ 1/2 & -1/2 & 0 \end{pmatrix}

「代数学」の関連問題

2つの方程式が与えられています。 1つ目の2次方程式 $x^2 + 2(a - \sqrt{3})x - 3\sqrt{3}a + 9 = 0$ が異なる2つの実数解を持つ条件と、2つ目の2次方程式 ...

二次方程式判別式不等式解の範囲
2025/6/6

与えられた4つの2次方程式を解く問題です。 (1) $x^2 + 2x - 2 = 0$ (2) $3x^2 - 4x - 2 = 0$ (3) $x^2 + 2\sqrt{3}x + 3 = 0$ ...

二次方程式解の公式平方根
2025/6/6

$a$ を1でない正の実数とするとき、$a^y = x$ を満たす実数 $y$ を、$a$ を何といい、$x$ の何というのか、また、$\log_a x$ の $x$ を何といい、それが正の実数である...

対数指数真数常用対数
2025/6/6

与えられた式 $-2x^3 - 6x^2y + 8xy^2$ を因数分解せよ。

因数分解多項式共通因数
2025/6/6

$a$ を1でない正の実数とするとき、$a^y = x$ を満たす実数 $y$ を、$a$ を (1) とする $x$ の (2) といい、$\log_a x$ と表します。また、このときの $x$ ...

対数指数定義域
2025/6/6

与えられた3つの2次方程式を解く問題です。 (1) $16x^2 = 25$ (2) $4x^2 - 1 = 0$ (3) $(2x+5)^2 - 7 = 0$

二次方程式平方根方程式の解法
2025/6/6

与えられた2つの式を因数分解します。 (1) $9a^3 - 16a$ (2) $x^3y + 2x^2y + xy$

因数分解多項式共通因数差の平方平方完成
2025/6/6

問題8の(1)は、$9a^2 - 16a$ を因数分解せよ、という問題です。

因数分解多項式
2025/6/6

$k$を実数とする。2次方程式 $x^2+kx-1=0$ の2つの解を$\alpha, \beta$とする。2次方程式 $x^2-(k+4)x+1=0$ が2つの解$\alpha^2$と$\beta^...

二次方程式解と係数の関係解の対称式二次方程式の解
2025/6/6

与えられた式 $49x^2 - 144$ を因数分解してください。

因数分解差の二乗二次式
2025/6/6