若A,B均为n阶非零矩阵,且(|A+B)(A-B)=A²-B²,则必有.