>>487
本当に定義がそれだけだとすると、かなりおかしい。たとえば
P = t[1 0 0 0 0] みたいな縦長の行列も tP P = 1 で直交行列になってしまう。

きっとどこかに 「n×n の実行列 P が直交行列であるとは……」
みたいな一文があるはず。無かったら焚書すべし。