行列 $A = (−21−11−12−12−1)$ を直交行列 $T$ を使って対角化すると
${}^t TAT = (−4000−10001)$
となった。この時 $T$ として最も適切なものを以下の選択肢から選びなさい。
$\dfrac{1}{\sqrt{6}} (√220−√21√3√2−1√3)$
$\dfrac{1}{\sqrt{6}} (√202−√2√31√2√3−1)$
$\dfrac{1}{\sqrt{6}} (0√22√3−√21√3√2−1)$
$\dfrac{1}{\sqrt{6}} (02√2√31−√2√3−1√2)$
仮定から, $\lambda = -4,-1,1$ は $A$ の固有値である。
$\lambda = -4$ の時
$(−2+41−11−1+42−12−1+4) (xyz) = (000)$
とすると
$(21−1132−123) (xyz) = (2x+y−zx+3y+2z−x+2y+3z) = (000)$
$\left\{ 2x+y−z=0x+3y+2z=0−x+2y+3z=0 \right.$
を解くと $z = -y$ かつ $y = -x$ となる。
よって固有ベクトルは $\overrightarrow{v_1} = c_1 (1−11)$ $(c_1 \not=0)$ である。
また $\lambda = -1$ の時
$(−2+11−11−1+12−12−1+1) (xyz) = (000)$
とすると
$(−11−1102−120) (xyz) = (−x+y−zx+2z−x+2y) = (000)$
$\left\{ −x+y−z=0x+2z=0−x+2y=0 \right.$
を解くと $x = 2y$ かつ $z = -y$ となる。
よって固有ベクトルは $\overrightarrow{v_2} = c_2 (21−1)$ $(c_2 \not=0)$ である。
最後に $\lambda = 1$ の時
$(−2−11−11−1−12−12−1−1) (xyz) = (000)$
とすると
$(−31−11−22−12−2) (xyz) = (−3x+y−zx−2y+2z−x+2y−2z) = (000)$
$\left\{ −3x+y−z=0x−2y+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 = (1√32√60−1√31√61√21√3−1√61√2) =\dfrac{1}{\sqrt{6}} (√220−√21√3√2−1√3)$
である。