n阶矩阵可相似对角化的充要条件