行列
について、
となる事を示せ。
行列 の特性方程式は
となり、 で重根を持つ。
となり、
固有ベクトルは
から、
と選べる。
ここで
なる式が成り立つことに注意すれば、任意のベクトル
も固有値1の固有ベクトルである事が分かる。
例えば
と取れば、
となり、実際に固有値1の固有ベクトルであることが分かる。
このことをまとめて書くと
となる。
ここで
と置けば
となる。
従って
ここで
に注意すれば、
から、
が示される。