若A,B为n阶方阵,A^T A=I,B^T B=I,且|A|=-|B|,则A+B必为奇异矩阵