如何证明两个非零向量a.bx1*x2