②如果不等式F（x） < G（x）的定义域被解析式H（ x ）的定义域所包含，那么不等式 F（x）<G（x）与不等式F（x）+H（x）<G（x）+H（x）同解。
③如果不等式F（x）<G（x） 的定义域被解析式H（x）的定义域所包含，并且H（x）>0，那么不等式F(x)<G（x）与不等式H（x）F（x）<H（ x ）G（x） 同解；如果H（x）<0，那么不等式F（x）<G（x）与不等式H (x)F（x）>H（x）G（x）同解。
④不等式F（x）G（x）>0与不等式同解；不等式F（x）G（x）<0与不等式同解。