正規直交基底と直交行列