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