矩阵A是可逆矩阵当且仅当0不是A的特征值怎么证