二元一次不等式的判别式为什么会大于等于0