行列 $A = (32−323−3−3−3−2)$ を直交行列 $T$ を使って対角化すると
${}^t TAT = (−400010007)$
となった。この時 $T$ として最も適切なものを以下の選択肢から選びなさい。
$\dfrac{1}{\sqrt{22}} (√2√113√2−√1133√20−2)$
$\dfrac{1}{\sqrt{22}} (√2√113√2√113−3√20−2)$
$\dfrac{1}{\sqrt{22}} (√2√113√2−√113−3√202)$
$\dfrac{1}{\sqrt{22}} (√2√113√2−√113−3√20−2)$
仮定から, $\lambda = -4,1,7$ は $A$ の固有値である。
$\lambda = -4$ の時
$(3+42−323+4−3−3−3−2+4) (xyz) = (000)$
とすると
$(72−327−3−3−32) (xyz) = (7x+2y−3z2x+7y−3z−3x−3y+2z) = (000)$
$\left\{ 7x+2y−3z=02x+7y−3z=0−3x−3y+2z=0 \right.$
を解くと $y = x$ かつ $z = 3x$ となる。
よって固有ベクトルは $\overrightarrow{v_1} = c_1 (113)$ $(c_1 \not=0)$ である。
また $\lambda = 1$ の時
$(3−12−323−1−3−3−3−2−1) (xyz) = (000)$
とすると
$(22−322−3−3−3−3) (xyz) = (2x+2y−3z2x+2y−3z−3x−3y−3z) = (000)$
$\left\{ 2x+2y−3z=0−3x−3y−3z=0 \right.$
を解くと $y = -x$ かつ $z = 0$ となる。
よって固有ベクトルは $\overrightarrow{v_2} = c_2 (1−10)$ $(c_2 \not=0)$ である。
最後に $\lambda = 7$ の時
$(3−72−323−7−3−3−3−2−7) (xyz) = (000)$
とすると
$(−42−32−4−3−3−3−9) (xyz) = (−4x+2y−3z2x−4y−3z−3x−3y−9z) = (000)$
$\left\{ −4x+2y−3z=02x−4y−3z=0−3x−3y−9z=0 \right.$
を解くと $y = x$ かつ $z = - \dfrac{2}{3}x$ となる。
よって固有ベクトルは $\overrightarrow{v_3} = c_3 (33−2)$ $(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 = (1√111√23√221√11−1√23√223√110−2√22) =\dfrac{1}{\sqrt{22}} (√2√113√2−√1133√20−2)$
である。