三个未知数的不等式