证明 n * n 对称矩阵空间的维度是 n(n+1)/2 。