2個なのは元の行列が2次の正方行列であったためだ。\end{pmatrix}\end{aligned}$$となる。\end{aligned}$$のようになって、確かに固有値・固有ベクトルになっていることが分かる。「複素数の位相を回転」させているのは興味深いところだ。これらの固有値に対して、固有空間は、$$V(e^{i\theta})=\big[\begin{pmatrix}i\\1\end{pmatrix}\big],V(e^{-i\theta})=\big[\begin{pmatrix}-i\\1\end{pmatrix}\big]$$と表せる。個の一次独立な固有ベクトルが見つかることになる。「対角化できる」は同値な条件になっている。