以方程组x+y=a x∧2+y∧2=4 的两组解(x1.y1)(x2.y2)分别为A B两点坐标 O为坐标原点 且向量O