a是对称矩阵bn阶反对称矩阵 求证a2为对称矩阵