解决不等式问题的基本依据