实对称矩阵证明第5题