线性代数问题 A和B 是正交矩阵,是证明A*B也是正交矩阵.