垂线的性质?