垂线性质是什么