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