原文:探索利用放缩法证明函数零点存在问题