线性代数证明题。 设B为任一n阶方阵，A为n阶实对称矩阵，证明BтAB为对称矩阵。