线性代数;设4维列向量a1,a2,a3线性无关且与4维列向量b1,b2均正交,证明b1,b2线性相关