在一元二次不等式的应用中提到的符号法则是什么