证明对称矩阵必为方阵。