相似对角化的等价条件