A,B都是正交矩阵,∴|A|=±1,|B|=±1∵|A|=-|B|不妨设|A|=1,|B|=-1|A+B|=|A+A·A^T·B|=|A(E+A^T·B)|=|A|·|E+A^T·B|=|E+A^T·B|=|(E+B^T·A)^T|=|E+B^T·A||A+B|=|B·B^T·A+B|=|B(B^T·A+E)|=|B|·|B^T·A+E|=-|B^T·A+E|∴|B^T·A+E|=-|B^T·A+E|∴|B^T·A+E|=0∴|A+B|=0