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