方阵可逆，方阵行列式≠0，方阵满秩三者关系推导

首先明确这三者是等价的。 接下来我们得先明确概念的定义： ①方阵可逆：即方阵存在逆阵，使：AA^-1=E; ②矩阵行列式：即由矩阵的全部元素构成的行列式; ③方阵的秩：等于方阵n个列向量所构成的向量组的秩；满秩即秩=n; ④向量组的秩：向量组的最大无关组所含向量的个数； ⑤向量组的最大无关组：若一个向量组中的部分向量组α1,α2,…,αm满足：1）α1,α2,…,αm线性无关；2）向量组中任一向量都是α1,α2,…,αm的线性组合。则称α1,α2,…,αm是该向量组的最大无关组； ⑥向量组的线性相关性：设有n维向量组α1,α2,…,αm,如果存在不全为零的数k1,k2,…,km,使得k1α1+k2α2+…+kmαm=0成立，则称向量组α1,α2,…,αm线性相关；如果上式仅当k1=k2=…=km=0时才成立，则称向量组α1,α2,…,αm线性组关。 然后即是三者关系推导： 1）由方阵可逆→方阵行列式≠0： ∵A可逆，即AA^-1=E ∴ |A||A^-1|=E ∴|A|≠0. 2)方阵行列式≠0→方阵满秩 方阵行列式≠0→上三角行列式≠0→上三角行列式对角线上的数不为0→n个列向量所构成的向量组线性无关→方阵满秩. 3）方阵满秩→方阵行列式≠0 方阵满秩→n个列向量所构成的向量组线性无关→上三角行列式对角线上的数不为0→上三角行列式≠0→方阵行列式≠0 4）方阵行列式≠0→方阵可逆 先定义伴随矩阵： AA*=|A|E→A(A*/|A|)=E→A^-1=A*/|A| 由以上四个推导便可证明方阵可逆，方阵行列式≠0，方阵满秩三者是等价的。 参考文献 线性代数/刘二根，谢霖铨主编. —南昌：江西高校出版社，2015.7（2016.7重印） 图片引自https://pic1.zhimg.com/v2fb904f7b91615106f1fe3b992cc4c7d4_r.jpg