可对角化的矩阵的秩等于其非零特征值的个数.这个知识点是怎么推导出来的