3次正方行列 $A$ が、任意の3次正方行列 $X$ に対して $AX = XA$ を満たすとき、$A = \alpha I$ ($\alpha$はスカラー、$I$は単位行列)であることを示す問題です。

代数学線形代数行列正方行列単位行列行列の演算
2025/5/7

1. 問題の内容

3次正方行列 AA が、任意の3次正方行列 XX に対して AX=XAAX = XA を満たすとき、A=αIA = \alpha Iα\alphaはスカラー、IIは単位行列)であることを示す問題です。

2. 解き方の手順

AA を3次正方行列として、A=(a11a12a13a21a22a23a31a32a33)A = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} とします。
まず、XXとして特定の行列を選び、条件 AX=XAAX = XA から AA の成分に関する情報を得ます。
(1) X=(010000000)X = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} の場合:
AX=(a11a12a13a21a22a23a31a32a33)(010000000)=(0a1100a2100a310)AX = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & a_{11} & 0 \\ 0 & a_{21} & 0 \\ 0 & a_{31} & 0 \end{pmatrix}
XA=(010000000)(a11a12a13a21a22a23a31a32a33)=(a21a22a23000000)XA = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} = \begin{pmatrix} a_{21} & a_{22} & a_{23} \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
AX=XAAX = XA より、
(0a1100a2100a310)=(a21a22a23000000)\begin{pmatrix} 0 & a_{11} & 0 \\ 0 & a_{21} & 0 \\ 0 & a_{31} & 0 \end{pmatrix} = \begin{pmatrix} a_{21} & a_{22} & a_{23} \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
したがって、a21=0a_{21} = 0, a22=a11a_{22} = a_{11}, a23=0a_{23}=0, a31=0a_{31}=0 が得られます。
同様に、X=(001000000)X = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} とすると、a31=0a_{31} = 0, a32=0a_{32} = 0, a33=a11a_{33} = a_{11} が得られます。
(2) X=(000100000)X = \begin{pmatrix} 0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} の場合:
AX=(a11a12a13a21a22a23a31a32a33)(000100000)=(a1200a2200a3200)AX = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} \begin{pmatrix} 0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} = \begin{pmatrix} a_{12} & 0 & 0 \\ a_{22} & 0 & 0 \\ a_{32} & 0 & 0 \end{pmatrix}
XA=(000100000)(a11a12a13a21a22a23a31a32a33)=(000a11a12a13000)XA = \begin{pmatrix} 0 & 0 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} = \begin{pmatrix} 0 & 0 & 0 \\ a_{11} & a_{12} & a_{13} \\ 0 & 0 & 0 \end{pmatrix}
AX=XAAX = XA より、
(a1200a2200a3200)=(000a11a12a13000)\begin{pmatrix} a_{12} & 0 & 0 \\ a_{22} & 0 & 0 \\ a_{32} & 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 & 0 \\ a_{11} & a_{12} & a_{13} \\ 0 & 0 & 0 \end{pmatrix}
したがって、a12=0a_{12} = 0, a32=0a_{32} = 0, a22=a11a_{22} = a_{11}, a12=0a_{12}=0, a13=0a_{13}=0 が得られます。
同様に、X=(000000100)X = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 1 & 0 & 0 \end{pmatrix} とすると、a13=0a_{13} = 0, a23=0a_{23} = 0, a33=a11a_{33} = a_{11} が得られます。
これらの結果をまとめると、A=(a11000a11000a11)=a11(100010001)=a11IA = \begin{pmatrix} a_{11} & 0 & 0 \\ 0 & a_{11} & 0 \\ 0 & 0 & a_{11} \end{pmatrix} = a_{11} \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{pmatrix} = a_{11} I となります。

3. 最終的な答え

A=αIA = \alpha I, where α=a11\alpha = a_{11}

「代数学」の関連問題

実数 $x, y$ に対して $0 < x < y$ かつ $x + y = 1$ ならば、$x < x^2 + y^2 < y$ が成り立つことを示す問題です。

不等式実数代数的な証明
2025/5/7

与えられた3つの数式について、$x$ の値を求める、または$x$ の範囲を求める。 (1) $|x-1|=2$ (2) $|x+4|<5$ (3) $|2x-3| \geq 4$

絶対値不等式方程式数式
2025/5/7

与えられた二次方程式を解きます。問題は6-(1)から6-(8)の合計8問あります。 (1) $x^2 + 2x - 15 = 0$ (2) $x^2 - 2x - 15 = 0$ (3) $x^2 -...

二次方程式因数分解解の公式
2025/5/7

$\frac{x}{b-c} = \frac{y}{c-a} = \frac{z}{a-b}$ のとき、$ax+by+cz = 0$ が成り立つことを証明する。

比例式等式証明
2025/5/7

与えられた2次方程式を解く問題です。具体的には、以下の5つの2次方程式を解く必要があります。 (1) $x^2 + 2x - 15 = 0$ (2) $x^2 - 2x - 15 = 0$ (3) $...

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

画像に写っている2次方程式の問題を解きます。具体的には、問題(3)から(8)までの6つの2次方程式の解を求めます。

二次方程式因数分解解の公式
2025/5/7

$\begin{cases} 2x - y = 7 \\ 3x + 2y = 7 \end{cases}$ を解きます。 1つ目の式を2倍すると、 $4x - 2y = 14$ これ...

連立方程式方程式解法代入
2025/5/7

xy平面上に原点O, 点$a = \begin{pmatrix} a_1 \\ a_2 \end{pmatrix}$, 点$b = \begin{pmatrix} b_1 \\ b_2 \end{pm...

線形代数ベクトル行列平行四辺形面積
2025/5/7

与えられた行列 $A = \begin{pmatrix} 1 & -2 \\ 1 & 5 \end{pmatrix}$, $B = \begin{pmatrix} 2 & -1 \\ -5 & 3 \...

行列行列式逆行列線形代数
2025/5/7

与えられた2次式を因数分解する問題です。

因数分解二次式
2025/5/7