利用函数性质判断方程解的存在