证明 设A是n阶正交矩阵,那么A的行向量组是Rn的一个标准正交基.