向量共线定理x1y1=x2y2