设A可逆矩阵且可对角化,证明A^(-1)也可以对角化