设均为n维非零列向量,证明线性无关