正交矩阵的定义及性质的应用