>>11
対称行列の固有ベクトルは全て直交するので、それから作るPも直交行列になります