怎么证明一个矩阵可逆的充要条件是其行列式不等于0

问题描述:

怎么证明一个矩阵可逆的充要条件是其行列式不等于0
我在证明其必要性是遇到了 |AA^(-1)|=1 然后怎么推出 |A | |A^(-1)|=1

因为|AB|=|A||B| 啊,书上的性质,同济五版第四十页.