対称双一次形式の理論を追っていくと簡単に、対称行列 A に対して、 P^T * A * P が対角行列になるような正則行列 P が存在することが導かれます。
なんか不思議な感じがするのですが、行列だけいじって証明するよりも簡単に導かれてしますのはなぜですか？