平面解析几何中四个有用的向量结论