必须是，由定义转置完等于本身，两者必须是同型矩阵，才有可能相等，要同型，则必有行标等于列表

对称矩阵里面的数可以是实数，而实对称矩阵里面的数都是实数。

对称矩阵只说明A^T=A，没说明矩阵中的元素是实数，矩阵中的元素不仅可以是实数，也可以是虚数，甚至元素本身就是一个矩阵或其它更一般的数学对象，实对称矩阵就说明了矩阵中的元素要是实数。