若A为可逆阵,那么有
A*A-1=E
两边取行列式有
|A*A-1|=|E|=1
而左边有|A*A-1|=|A|*|A-1|=1≠0,所以|A|≠ 0
证毕.