展开 向量垂直坐标关系证明