平面向量垂直的坐标表示推导