A necessary and sufficient condition making the matrix diagonalizable

• 矩阵可对角化的一个充分必要条件