垂线的定义