1

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

${}^t TAT = (100010004)$

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

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

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

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

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

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

$\lambda = -1$ の時

$(1+11212+11211+1) (xyz) = (000)$

とすると

$(212131212) (xyz) = (2xy+2zx+3yz2xy+2z) = (000)$

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

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

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

また $\lambda = 1$ の時

$(111212112111) (xyz) = (000)$

とすると

$(012111210) (xyz) = (y+2zx+yz2xy) = (000)$

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

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

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

最後に $\lambda = 4$ の時

$(141212412114) (xyz) = (000)$

とすると

$(312121213) (xyz) = (3xy+2zx2yz2xy3z) = (000)$

$\left\{ 3xy+2z=0x2yz=02xy3z=0 \right.$

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

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

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

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

よって

$T = (12161302613121613) =\dfrac{1}{\sqrt{6}} (312022312)$

である。