若A可逆,设A的逆矩阵为A^(-1)
则 根据逆矩阵定义有：AA^(-1)=A^(-1)A=E
∵|AB|=|A||B| ∴ |A||A^(-1)|=|A^(-1)||A|=|E|=1
从而 |A^(-1)|=1/|A|=|A|^(-1)