2

行列 $A = (211112121)$ を直交行列 $T$ を使って対角化すると

${}^t TAT = (400010001)$

となった。この時 $T$ として最も適切なものを以下の選択肢から選びなさい。

$\dfrac{1}{\sqrt{6}} (220213213)$

$\dfrac{1}{\sqrt{6}} (202231231)$

$\dfrac{1}{\sqrt{6}} (022321321)$

$\dfrac{1}{\sqrt{6}} (022312312)$

仮定から, $\lambda = -4,-1,1$ は $A$ の固有値である。

$\lambda = -4$ の時

$(2+41111+42121+4) (xyz) = (000)$

とすると

$(211132123) (xyz) = (2x+yzx+3y+2zx+2y+3z) = (000)$

$\left\{ 2x+yz=0x+3y+2z=0x+2y+3z=0 \right.$

を解くと $z = -y$ かつ $y = -x$ となる。

よって固有ベクトルは $\overrightarrow{v_1} = c_1 (111)$ $(c_1 \not=0)$ である。

また $\lambda = -1$ の時

$(2+11111+12121+1) (xyz) = (000)$

とすると

$(111102120) (xyz) = (x+yzx+2zx+2y) = (000)$

$\left\{ x+yz=0x+2z=0x+2y=0 \right.$

を解くと $x = 2y$ かつ $z = -y$ となる。

よって固有ベクトルは $\overrightarrow{v_2} = c_2 (211)$ $(c_2 \not=0)$ である。

最後に $\lambda = 1$ の時

$(211111121211) (xyz) = (000)$

とすると

$(311122122) (xyz) = (3x+yzx2y+2zx+2y2z) = (000)$

$\left\{ 3x+yz=0x2y+2z=0 \right.$

を解くと $x = 0$ かつ $z = y$ となる。

よって固有ベクトルは $\overrightarrow{v_3} = c_3 (011)$ $(c_3 \not=0)$ である。

$T$ が直交行列である時 $ |\overrightarrow{v_1}| = |\overrightarrow{v_2}| = |\overrightarrow{v_3}| = 1$ であるから

$c_1 = \pm \dfrac{1}{\sqrt{3}},~c_2 = \pm \dfrac{1}{\sqrt{6}},~c_3 = \pm \dfrac{1}{\sqrt{2}}$

よって

$T = (13260131612131612) =\dfrac{1}{\sqrt{6}} (220213213)$

である。