证明以下 矩阵/模型 -> 是 正交矩阵(模型).