包含零向量的向量組一定線性相關(guān)?
劉老師您好：
課本上給的證明是這樣的：
考慮向量組0,a2,...,as∈R^n,由于0=0a2+...+0as 故由定義3.9知向量組0,a2,...,as線性相關(guān).
--------------------
定義3.9：R^n中的向量a1,a2,...,as（s≥2）稱為線性相關(guān),如果a1,a2,...as中至少有一個(gè)向量可以由向量組中的其余向量線性表出.
----------------
定理3.2：R^n中的向量組a1,a2,...,as（s≥1）線性無(wú)關(guān)的充分必要條件是,僅當(dāng)常數(shù)k1=k2=...ks=0時(shí),k1a1+k2a2+...+ksas=0才能成立.
----------------------
我的問(wèn)題是,由定理3.2可知常數(shù)k1=k2=...ks=0,k1a1+k2a2+...+ksas=0時(shí),線性無(wú)關(guān).而證明中的「0=0a2+...+0as」說(shuō)明常數(shù)都是0,卻為什么可用來(lái)證明線性相關(guān)呢?