实对称矩阵是否满秩?为什么