辅助函数在数与式的大小比较中的应用