函数零点与根的关系 推导式