>>772

固有値 1, 1 を持つ 2×2 行列は、 I だけじゃないですよね。

なんか Strang の解答を見ると、まるで、

B^4 は固有値 1, 1 を持つ 2×2 行列

ゆえに、

B^4 = I

と結論しているかのうようにみえます。