向量a(x1,y1)垂直于向量b(x2,y2)他们的坐标满足一个公式,这个公式是什么?