行列 $A$ と $B$ が与えられています。 $A = \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 1 \\ 1 & 0 & -1 \end{bmatrix}$ $B = \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 0 \\ 1 & 1 & -1 \end{bmatrix}$ (1) 行列の積 $AB$ を計算します。 (2) (1)の結果から $A$ の逆行列 $A^{-1}$ を推測し、$A^{-1}A = I$ (ここで $I$ は3x3の単位行列) を確認します。

代数学行列行列の積逆行列
2025/5/22

1. 問題の内容

行列 AABB が与えられています。
A=[111121101]A = \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 1 \\ 1 & 0 & -1 \end{bmatrix}
B=[111120111]B = \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 0 \\ 1 & 1 & -1 \end{bmatrix}
(1) 行列の積 ABAB を計算します。
(2) (1)の結果から AA の逆行列 A1A^{-1} を推測し、A1A=IA^{-1}A = I (ここで II は3x3の単位行列) を確認します。

2. 解き方の手順

(1) 行列の積 ABAB を計算します。
AB=[111121101][111120111]=[1+1+112+11+0112+11+4+11+011+011+011+0+1]=[300060002]AB = \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 1 \\ 1 & 0 & -1 \end{bmatrix} \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 0 \\ 1 & 1 & -1 \end{bmatrix} = \begin{bmatrix} 1+1+1 & 1-2+1 & 1+0-1 \\ 1-2+1 & 1+4+1 & 1+0-1 \\ 1+0-1 & 1+0-1 & 1+0+1 \end{bmatrix} = \begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix}
(2) ABAB の結果から A1A^{-1} を推測します。
AB=[300060002]AB = \begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix}
ABAB が対角行列なので、AB=CAB = C とすると、B=A1CB = A^{-1}C と予想できます。
もし AB=IAB=I(単位行列)であれば、 B=A1B = A^{-1} となります。今回は ABAB は単位行列ではありません。
AB=[300060002]=6[1/200010001/3]AB = \begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix} = 6 \begin{bmatrix} 1/2 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1/3 \end{bmatrix}
対角成分をそれぞれ 1 にするために、ABAB の各行を対角成分で割ると
A1=[1/31/31/31/61/31/61/201/2]A^{-1} = \begin{bmatrix} 1/3 & 1/3 & 1/3 \\ 1/6 & -1/3 & 1/6 \\ 1/2 & 0 & -1/2 \end{bmatrix}
であると仮定します。
確認: A1=cBA^{-1} = c B となる cc が存在するか?
行列 BB に定数倍をすると A1A^{-1} になることはないようなので、BB から直接 A1A^{-1} を得ることは難しいと考えられます。
A1A=[1/31/31/31/61/31/61/201/2][111121101]=[1/3+1/3+1/31/32/3+01/3+1/31/31/61/3+1/61/6+2/3+01/61/31/61/2+01/21/2+0+01/2+0+1/2]=[11/31/305/61/301/21]A^{-1} A = \begin{bmatrix} 1/3 & 1/3 & 1/3 \\ 1/6 & -1/3 & 1/6 \\ 1/2 & 0 & -1/2 \end{bmatrix} \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 1 \\ 1 & 0 & -1 \end{bmatrix} = \begin{bmatrix} 1/3+1/3+1/3 & 1/3-2/3+0 & 1/3+1/3-1/3 \\ 1/6-1/3+1/6 & 1/6+2/3+0 & 1/6-1/3-1/6 \\ 1/2+0-1/2 & 1/2+0+0 & 1/2+0+1/2 \end{bmatrix} = \begin{bmatrix} 1 & -1/3 & 1/3 \\ 0 & 5/6 & -1/3 \\ 0 & 1/2 & 1 \end{bmatrix}
これは単位行列ではないので、逆行列の推測が間違っていました。しかし、 ABAB が対角行列なので、この事実を利用します。
AB=[300060002]AB=\begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix} より、B=[111120111]B=\begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 0 \\ 1 & 1 & -1 \end{bmatrix}, A1A^{-1}を両辺にかけると、A1AB=A1[300060002]A^{-1}AB=A^{-1} \begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix}となり、IB=A1[300060002]IB=A^{-1} \begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix}なので、B=A1[300060002]B=A^{-1} \begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix}、したがって、A1=B[1/30001/60001/2]=[1/31/61/21/31/301/31/61/2]A^{-1}=B \begin{bmatrix} 1/3 & 0 & 0 \\ 0 & 1/6 & 0 \\ 0 & 0 & 1/2 \end{bmatrix} = \begin{bmatrix} 1/3 & 1/6 & 1/2 \\ 1/3 & -1/3 & 0 \\ 1/3 & 1/6 & -1/2 \end{bmatrix}
A1A=[1/31/61/21/31/301/31/61/2][111121101]=[100010001]=IA^{-1}A = \begin{bmatrix} 1/3 & 1/6 & 1/2 \\ 1/3 & -1/3 & 0 \\ 1/3 & 1/6 & -1/2 \end{bmatrix} \begin{bmatrix} 1 & 1 & 1 \\ 1 & -2 & 1 \\ 1 & 0 & -1 \end{bmatrix} = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} = I

3. 最終的な答え

(1) AB=[300060002]AB = \begin{bmatrix} 3 & 0 & 0 \\ 0 & 6 & 0 \\ 0 & 0 & 2 \end{bmatrix}
(2) A1=[1/31/61/21/31/301/31/61/2]A^{-1} = \begin{bmatrix} 1/3 & 1/6 & 1/2 \\ 1/3 & -1/3 & 0 \\ 1/3 & 1/6 & -1/2 \end{bmatrix}

「代数学」の関連問題

$A = 2x + y + 3z$, $B = x + 2y + z$, $C = x + y + 2z$ が与えられたとき、以下の2つの式を計算します。 (1) $2A - (B + 2C)$ (2...

式の計算多項式代入
2025/5/22

与えられた式 $(4a + 5b)(2a + 4b)$ を展開し、整理せよ。

式の展開多項式分配法則因数分解
2025/5/22

$A = x^2 + 4x - 3$ および $B = 2x^2 - x + 4$が与えられたとき、以下の式を計算します。 (1) $A + 2B$ (2) $2A - 3B$ (3) $A + B ...

多項式式の計算展開整理
2025/5/22

2次方程式 $3x^2 = 7x$ を解いてください。

二次方程式因数分解方程式
2025/5/22

公差が3、第8項が12である等差数列$\{a_n\}$の初項と一般項を求める。

等差数列数列一般項初項
2025/5/22

与えられた4x4行列の行列式を計算する問題です。行列は以下の通りです。 $\begin{vmatrix} a_{11} & 0 & 0 & a_{14} \\ a_{21} & a_{22} & 0 ...

行列式線形代数行列
2025/5/22

与えられた連立方程式の解を求める問題です。 連立方程式は以下の通りです。 $y = -x + 4$ $y = 4x - 6$

連立方程式代入法一次方程式
2025/5/22

与えられた連立一次方程式 $5x = -3 + 2y$ $5x - 3y = -7$ を解いて、$x$ と $y$ の値を求めます。

連立一次方程式方程式代入法
2025/5/22

与えられた連立一次方程式を解いて、$x$ と $y$ の値を求める問題です。連立方程式は以下の通りです。 $ \begin{cases} 5x = -3 + 2y \\ 5x - 3y = -7 \e...

連立方程式一次方程式代入法方程式の解
2025/5/22

与えられた連立方程式を解く問題です。 $ \begin{cases} 5x = -3 + 2y \\ 5x - 3y = -7 \end{cases} $

連立方程式一次方程式代入法
2025/5/22