已知向量a1=a2 a3 a4 并且a2 a3 a4线性相关