为什么含有零向量的线性组合一定是线性相关的,证明存在性与唯一性