正交矩阵与正交变换的性质及应用