用坐标证明垂直