讲线性代数的时候,老师用这个引出n维向量的概念。用向量解二元一次方程组都能这样用吗?能给出证明吗?