>>89
じゃあ、固有値がすべて異なるなら、すべての固有ベクトルの長さを1にして
並べれば直交行列になる。
固有値に二重根があればその固有空間の次数が2になってそこから2つの
固有ベクトルを互いに直交するように取れる。
以下同様にして、固有ベクトルからなる正規直交基底が取れる。