Evolton

北海道大学 2003年度 後期日程 第2次学力試験理系(後期)数学 第4問

行列A=(abcd)は,
ある自然数n1についてAn=Oを満たすとする.

(1) adbc=0を示せ.

(2) A2=Oを示せ.

ただしOは零行列を表す.

難易度6/ 10計算量5/ 10目安20

行列論証・証明 式変形、数学的帰納法

方針

(1) は、もし adbc0 なら A が逆行列をもち、その累乗 An も逆行列をもつため、零行列になることと矛盾する。(2)では2次行列について直接計算できる恒等式 A2(a+d)A+(adbc)I=O を使う。(1)から adbc=0 なので A2=(a+d)A となる。A=O は明らかであり、AO ならこの式を繰り返して An=(a+d)n1A とし、An=O から a+d=0 を導く。

解答

(1)

もし adbc0 であると仮定する。このとき行列 A は逆行列をもつ。すると An も逆行列をもち、その逆行列は (A1)n である。

しかし問題の仮定では An=O である。零行列 O は逆行列をもたないので、これは矛盾である。したがって adbc=0 である。

(2)

まず2次行列の恒等式を直接確認する。I を単位行列とすると、A2(a+d)A+(adbc)I=O が成り立つ。実際、A2=(a2+bcab+bdac+cdbc+d2)であり、(a+d)A=(a2+adab+bdac+cdad+d2)だから、差を取るとA2(a+d)A=(bcad00bcad)=(adbc)Iである。

(1) より adbc=0 であるからA2=(a+d)A(1)を得る。

ここで A=O なら、ただちに A2=O である。以下、AO とする。

このとき n=1 なら仮定 An=O から A=O となって矛盾するので、n2 である。

(1) から帰納的に Am=(a+d)m1A(m=1,2,3,) が成り立つ。実際、m=1 では明らかであり、m で成り立つなら Am+1=AmA=(a+d)m1A2=(a+d)mA である。

特に仮定の自然数 n について An=(a+d)n1A である。An=O かつ AO なので、(a+d)n1=0 でなければならない。したがって a+d=0 である。

これを(1)に代入すると A2=(a+d)A=O である。

【像は一段で零空間へ入る】

別解

解法2

方針

(1) は行列式の積から示す。(2)では、行列式0の非零な2次行列は二つの列が同じ非零列ベクトルの定数倍として表せることを使い、A=u(α β) と因数分解する。すると A2=λA が直ちに得られる。

解答

(1) 0=detO=det(An)=(detA)n.したがってdetA=adbc=0.(2)
A=O なら明らかである。以下 AO とする。このとき n=1 なら仮定から A=O となって矛盾するので、必ず n2 である。(1)より二つの列は一次従属だから、ある非零列ベクトル u と実数 α,β を用いてA=u(αβ)と書ける。λ=(αβ)uと置くとA2=u(αβ)u(αβ)=λA.したがって帰納的にAm=λm1A.An=O かつ AO なので λ=0 でなければならない。よってA2=λA=Oである。

総評

難度6、計算量5。目安時間は18〜23分。冪零行列に関する問題だが、使う道具は逆行列と2次行列の直接計算で足りる。(1)では A が逆行列をもてば An も逆行列をもつ、という矛盾の形を明確にする。(2)では A2(a+d)A+(adbc)I=O を名前だけで使わず、成分計算で示すと答案として安全である。A=O の場合と AO の場合を分けることで、最後の (a+d)n1A=O の扱いも明確になる。

冊子PDFで見る北大の行列の問題で問題集を作る

出典: 北海道大学 2003年度 後期 数学。問題文はHTML表示のために再入力・数式組版しています。