9.3 正交矩阵：一个规范正交基