A,B均为n阶正交矩阵,且|A|>0,|B|