n维向量组a1,a2,...,an线性无关
所以 |a1,a2,...,an| ≠0
由Cramer法则,线性方程组 (a1,a2,...,an)X=b 有唯一解
所以 b 可由 a1,a2,...,an 唯一线性表示.