因为 b可由向量a1,a2,...,as线性表示,且表示法唯一.
所以方程组 (a1,a2,...,as)x=b 有唯一解
所以 r(a1,a2,...,as)=r(a1,a2,...,as,b)=s
所以a1,a2,...,as线性无关