怎么证明n阶反对称矩阵对角线元素都为零?