対称(エルミート)行列の対角化ってどこで役に立ちますか?