3．从四元搭配可穷分类后的单调性判定方程有限解之外的定义域为不等式