垂线的性质是什么