対角優位行列とゲルシュゴリンの定理

「対角優位行列は半正定値行列である」

という命題が成り立つ方法を考えていたが、ゲルシュゴリンの定理を使ったら、あっというまに示せることがわかった。

やっぱり、いろんな定理を知っている、ということも大事なものである。