矩阵可对角化的充分必要条件
구진가대각화적충분필요조건
The Ample and Essential Condition Making Matrices Diagonalizable