수직선 위 일차 부등식