Evolton

北海道大学 2004年度 前期日程理系数学 第2問

Aを2次の正方行列A=(abca)(ただし,bc0),
kを実数とする.
行列X=(xyzx)について
等式XAAX=kA……(*)を考える.
ただし,行列の成分は,すべて実数とする.

(1) k=0のとき,(*)を満たすXAの実数倍であることを示せ.

(2) k0のとき,(*)を満たすXが存在するための必要十分条件は
A2=O(ただし,Oは零行列)であることを示せ.
このとき,(*)を満たすXz=cであるものを求めよ.

難易度7/ 10計算量7/ 10目安25

行列 式変形、必要十分条件文字消去

方針

まず XAAX を成分計算し、x,y,z に関する3本の一次方程式にする。(1) では k=0 としてその解空間を調べ、bc0 を使って x,y,z が同じ実数倍でそろうことを示す。
(2) では3本の式をうまく足し合わせて k(a2+bc)=0 を導き、k0 から a2+bc=0、すなわち A2=O を得る。逆向きでは A2=O を仮定し、指定された z=c から x,y を順に決めて、残りの式も満たすことを確認する。

解答

(1)
成分を計算すると、XAAX=(bz+cy2ay+2bx2az2cxbzcy).したがって XAAX=kA{bz+cy=ka,2ay+2bx=kb,2az2cx=kc(*)と同値である。

k=0 とする。第1式から cy=bz である。bc0 なので y=tb とおけば z=tc となる。第2式から bx=ay=atb なので x=ta である。よってX=tAであり、条件を満たす XA の実数倍である。

(2)
まず k0 で解 X が存在すると仮定する。式 () の第1式に a、第2式に c/2、第3式に b/2 を掛けて加える。左辺は相殺され、右辺はka2+c2kb+b2kc=k(a2+bc)となる。したがって k(a2+bc)=0 であり、k0 よりa2+bc=0.一方、A2=(a2+bc00a2+bc)だから、これは A2=O と同値である。

逆に A2=O、すなわち a2+bc=0 とする。bc0 から a0 である。z=c と指定し、第3式へ代入するとx=ak2.これを第2式へ代入してy=b(ak)a=a(ka)cを得る。よってX=(ak2a(ka)cca+k2).a2+bc=0 を用いて第1式も満たすことを確認できる。したがって A2=O は必要十分条件であり、上の X が指定された解である。

総評

成分計算から必要十分条件を引き出す重めの行列問題で、目安時間は25分程度。最初に XAAX を正確に出せるかが大前提で、(2) では3本の式をそのまま解こうとせず、係数を掛けて足し a2+bc を作るのが核心である。逆向きでは条件を示すだけでなく、実際に X を構成し、指定された z=c を満たすことまで書く必要がある。

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

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