0012132人目の素数さん垢版 | 大砲2018/04/21(土) 19:15:23.44ID:+ta4yLjZ >>11 対称行列の固有ベクトルは全て直交するので、それから作るPも直交行列になります