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