设有一组数k1,k2,...,kn使得k1α+k2α2+...+knαn=0令A=(α1,α2,...,αn)然后它就证明了必要性因为向量组α1,α2,...,αn线性无关所以k1=k2=…=kn=0就是说这个方程只有零解那么|A|≠0,即A可逆它又证明了充分性当矩阵A可逆时,上述方程组只有零解就是k1=k2=…=kn=0此时向量组α1,α2,...,αn线性无关