対称行列なら転置で対角化可能