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

代数学線形代数行列正方行列単位行列行列の可換性
2025/5/2

1. 問題の内容

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

2. 解き方の手順

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=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} = 0a31=0a_{31} = 0a11=a22a_{11} = a_{22}a23=0a_{23} = 0 である。
(2) X=(001000000)X = \begin{pmatrix} 0 & 0 & 1 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} の場合を考える。AX=XAAX = XA より、
(00a1100a2100a31)=(a31a32a33000000)\begin{pmatrix} 0 & 0 & a_{11} \\ 0 & 0 & a_{21} \\ 0 & 0 & a_{31} \end{pmatrix} = \begin{pmatrix} a_{31} & a_{32} & a_{33} \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
したがって、a31=0a_{31} = 0a32=0a_{32} = 0a11=a33a_{11} = a_{33}a21=0a_{21} = 0 である。
(3) X=(000100000)X = \begin{pmatrix} 0 & 0 & 0 \\ 1 & 0 & 0 \\ 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} = 0a32=0a_{32} = 0a22=a11a_{22} = a_{11}a13=0a_{13} = 0 である。
(4) X=(000000100)X = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 1 & 0 & 0 \end{pmatrix} の場合を考える。AX=XAAX = XA より、
(a1300a2300a3300)=(000000a11a12a13)\begin{pmatrix} a_{13} & 0 & 0 \\ a_{23} & 0 & 0 \\ a_{33} & 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & 0 & 0 \\ 0 & 0 & 0 \\ a_{11} & a_{12} & a_{13} \end{pmatrix}
したがって、a13=0a_{13} = 0a23=0a_{23} = 0a33=a11a_{33} = a_{11}a12=0a_{12} = 0 である。
以上の結果から、AA は対角行列であり、a11=a22=a33a_{11} = a_{22} = a_{33} であることがわかる。したがって、A=(a11000a11000a11)=a11IA = \begin{pmatrix} a_{11} & 0 & 0 \\ 0 & a_{11} & 0 \\ 0 & 0 & a_{11} \end{pmatrix} = a_{11}I となる。α=a11\alpha = a_{11} とおけば、A=αIA = \alpha I である。

3. 最終的な答え

A=αIA = \alpha I

「代数学」の関連問題

行列 $A = \begin{pmatrix} 1 & -2 \\ 1 & 5 \end{pmatrix}$、 $B = \begin{pmatrix} 2 & -1 \\ -5 & 3 \end{p...

行列逆行列行列式正則
2025/5/2

(1) 不等式 $|2x-1| < 9$ を解く。 (2) 不等式 $|2x+1| > 9$ を解く。

不等式絶対値一次不等式
2025/5/2

与えられた2つの数を解とする二次方程式を1つ作成する問題です。具体的には、以下の3つの場合について二次方程式を求めます。 (1) 2, -1 (2) $2 + \sqrt{3}, 2 - \sqrt{...

二次方程式解と係数の関係複素数平方根
2025/5/2

行列A, Bが与えられたとき、それらが可換であること、非可換であることの定義をそれぞれ述べる。

線形代数行列可換非可換
2025/5/2

次の5つの式を因数分解してください。 (1) $6xy - 8x - 3y + 4$ (2) $8x^2 + 6xy - 9y^2$ (3) $(x^2 + x)^2 - 8(x^2 + x) + 1...

因数分解多項式2次式たすき掛け
2025/5/2

与えられたベクトル $\vec{a} = \begin{pmatrix} 2 \\ 4 \\ 6 \end{pmatrix}$, $\vec{b} = \begin{pmatrix} 4 \\ 5 \...

ベクトル一次独立一次従属一次結合線形代数連立一次方程式
2025/5/2

与えられた3つの2次式を、複素数の範囲で因数分解する問題です。 (1) $x^2 - 3x - 2$ (2) $2x^2 - 2x - 3$ (3) $x^2 + 4x + 6$

二次方程式因数分解解の公式複素数
2025/5/2

問題は20と21の2つの大問に分かれており、それぞれ4つの小問があります。 大問20は因数分解の問題、大問21は計算問題です。

因数分解展開式の計算二乗の計算共通因数和と差の積
2025/5/2

問題は、もとのコーヒーの量を$x$ mLとして、4人で分けたところ、1人あたり240mLになったという状況を表す方程式を選択肢から選ぶことと、もとのコーヒーの量$x$を求めることです。コーヒーを入れる...

方程式一次方程式文章問題数量関係
2025/5/2

与えられた2次方程式を解きます。具体的には、以下の2つの方程式を解きます。 1. $x^2 - 3x + 9 = 0$

二次方程式解の公式複素数重解
2025/5/2