OA向量=x*OB向量+y*OC向量,为什么x+y=1,则ABC三点共线