(後只人季 定理4.2 (必要性) 若rA<L,(23)有非零解。 该解使(22)成立,则向量组α1,a2,…,a1线性相关。 证毕 推论:定理42中向量组α1,a2,…,a1线性无关的充分 必要条件是rA=lo 若rA=L,(22)成立只有零解,故向量组a1,a2,…,at 线性无关