\end{bmatrix}より自明。実際には三角化可能な行列、すなわちすべての行列についてフロベニウスの定理が成り立つ。元の行列の対角要素の累乗で求められるためである。\end{bmatrix}演習:各自これを確かめよ。=POP^{-1}=Oとなる。この定理もフロベニウスの定理と同様に、三角化可能な行列、すなわちすべての行列に対して成り立つ。固有値や固有ベクトルを求めることなく、f_A(A)=A^2-A+I=Oが成立することが分かる。\end{cases}と表せることが分かる。\lambda_i=\lambda_1\,\lambda_2\,\cdots\,\lambda_nのように表せる。\lambda_iを得る。\lambda_iを得る。次の項を比較しても良い。固有値が等しいトレースが等しい行列式が等しいという点で「似ている」ことになる。rankA=ゼロでない固有値の個数」は対角化可能な行列でしか成り立ちませんね。記述を修正することにいたします。ご指摘ありがとうございました。22:36:05)なんか変な感じです(ブラウザでの表示的に)。それと、最後に右からP^-1を掛ける必要があるのかな?その次の行は先頭の何文字かが消えてる感じです。「左辺はm回の...」かな?ななめ読みして雰囲気だけ懐かしがってるだけだけどね。:-pIE9とSafariとChrome、どれも同じでした。指摘どうもありがとう。式の数式タグが正しく閉じられていなかったのが原因でした。12:04:07数式は大丈夫なようです。かけ算の回数はm-1か(^^;。13:42:07あ、確かに「乗」が抜けてたね。