向量a1,a2,a3线性无关,向量b×a=0,判断向量a1,a2,a3,b线性相关