已知A=B-C,其中BT=B,CT=-C,证明AAT=ATA充要条件BC=CB.T为上标,表示转置