直交行列による対角化

問題