有必要证明BTAB是对称矩阵吗? 线性代数