3

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

${}^t TAT = (400010007)$

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

$\dfrac{1}{\sqrt{22}} (211321133202)$

$\dfrac{1}{\sqrt{22}} (211321133202)$

$\dfrac{1}{\sqrt{22}} (211321133202)$

$\dfrac{1}{\sqrt{22}} (211321133202)$

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

$\lambda = -4$ の時

$(3+42323+43332+4) (xyz) = (000)$

とすると

$(723273332) (xyz) = (7x+2y3z2x+7y3z3x3y+2z) = (000)$

$\left\{ 7x+2y3z=02x+7y3z=03x3y+2z=0 \right.$

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

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

また $\lambda = 1$ の時

$(312323133321) (xyz) = (000)$

とすると

$(223223333) (xyz) = (2x+2y3z2x+2y3z3x3y3z) = (000)$

$\left\{ 2x+2y3z=03x3y3z=0 \right.$

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

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

最後に $\lambda = 7$ の時

$(372323733327) (xyz) = (000)$

とすると

$(423243339) (xyz) = (4x+2y3z2x4y3z3x3y9z) = (000)$

$\left\{ 4x+2y3z=02x4y3z=03x3y9z=0 \right.$

を解くと $y = x$ かつ $z = - \dfrac{2}{3}x$ となる。

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

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

$c_1 = \pm \dfrac{1}{\sqrt{11}},~c_2 = \pm \dfrac{1}{\sqrt{2}},~c_3 = \pm \dfrac{1}{\sqrt{22}}$

よって

$T = (11112322111123223110222) =\dfrac{1}{\sqrt{22}} (211321133202)$

である。