高次不等式的解法