対称行列の対角化ってどうするの?
もちろん計算機にやらせる方法なんだけど。