A、B是正交矩阵,那么AA'=E BB'=E
(AB)*(AB)'=AB*B'A'=A*(BB')*A'=A*E*A'=AA'=E
所以AB也是正交矩阵