证明:因为A,B是正交矩阵
所以 A^TA=E,B^TB=E
所以有
(AB)^T(AB)
= (B^TA^T)(AB)
= B^T(A^TA)B
= B^TB
= E
所以 AB 是正交矩阵.