如果知道特征值的话, A的极小多项式没有重根等价于A可对角化, 直接得到结论如果不知道特征值, 那么用初等变换证明diag(2E-A,E+A)可以变换到diag(E,0)对于伴随矩阵的问题, 利用AA*=|A|E, 把A*视为方程组AX=|A|E的解, 然后根据秩进行讨论即可
