若A是反对称矩阵,则其主对角上元素全为零.如何证明