>>676
斎藤本のp.150に
系[3.2]'　実正方行列Aに対し、P^(-1)APが対角行列になるような直交行列Pが
存在するためには、Aが対称行列であることが必要かつ充分な条件である。

と書いてある。