证明反对称矩阵的对角线全为零。