把A化到相抵标准型A=PDQ^T,其中P和Q可逆,D=diag{I,0}再取B=PQ^{-1}, C=QDQ^T即可
(BтAB)т = (B)т(A)т(Bт)т = BтAтB=BтAB,不就是对称矩阵么?