定理 4.1. n 阶矩阵 A 可逆当且仅当 其行列式 ∣A∣ 不等于零。 \begin{proof} 必要性 假设 AB=BA=E , 对它取行列式得 ∣A∥B∣=1, 于是 ∣A∣=0 。 充分性 假设 ∣A∣=d=0, 那么由上述关系有 AA∗=A∗A=dE, 从而有 A(d1A∗)=(d1A∗)A=E 由矩阵可逆的定义知, A−1=d1A∗ , 即矩阵 A 可逆。 \end{proof} 由于行列式不为零等价于矩阵满秩, 故上述定理也可以叙述为: 矩阵可逆当且仅当 矩阵满秩。