已知向量a,b,c满足a=4