水平面与正垂面的交线是正垂线。