垂直方程式;垂線方程式