垂直线的性质是什么 快