线性代数证明:在n维向量空间中,如果a1,a2,…an线性无关,则任一向量b可以由a1,a2…an表示