两个方法:
1.用定义
直接计算 AA^T,若 等于单位矩阵E,就是正交矩阵
2.用定理
A是n阶正交矩阵的充分必要条件是 A 的列(或行)向量组是R^n的标准正交基.
即列向量的长度都是1,且两两正交.