垂线的性质是