>>30
こんなの成立せんのじゃないの?
任意の対称行列は対角行列と相似なんだから、こんなの正しかったら任意の正方行列は対角行列と相似になる。