零点的定义与判定定理-零点定义判定定理

直觉上的“零点”：那些被数学刻意“硬杀”的奇点 说到零点，你最先想到的可能是那个让导数变成零的横坐标，要么是积分算出来的面积等于底乘以高。但别急着下定义，出于真正的零点，往往比教科书上写得要“恐怖”一些。它不是平滑的曲线碰到的平，也不是公式里的数字，有时候，它就连是一团混乱、一团死寂、一团彻底不需求计算的虚无。 在几何画板里，你会看到一条函数 $f(x)$ 的图像，突然在某个点 $x_0$ 处，图像消亡、消亡、消亡，像是一张纸被风吹得平铺在地面上，连皱褶都没了。
这时候 $f(x_0) = 0$，但在那之前，函数值可能正无穷，也可能负无穷，就连可能是负无穷加正无穷，最终变成个不定式。
这种状态，数学上称之为“无穷零点”。它不是一般的交点，它是函数对无穷大的自我吞噬。 再往深点挖，你会发现零点不只在曲线和轴相交，它更可能是函数本身“自相矛盾”的结局。
比如 $f(x) = frac{1}{x}$，这个函数在 $x=0$ 处根本不存有，出于它试图除以零。
这时候，$x=0$ 就是一个零点，但它不是图形的交点，它是函数在分母那一刻的“死亡”。数学上把它叫“可去零点”，出于它像是在一个分母上挖个洞，函数在那一瞬间被“硬杀”了，却还留个位置。 还有一种更极端的零点，叫“无零点”。
这听起来有点怪，但想想就明白。
比如 $y = text{undefined}$ 这种绝对无解的式子，它在定义域里彻底消亡了。对于所有人来说，它都不是零点。它不是曲线，不是数据，它是逻辑上的黑洞。
要是你强行要求它等于零，那不仅等式不成立，连“零”这个概念在这个空间里都丧失了意义。 如何判断一个点是不是零点？别光看公式，要去看“现场”。 起初，看导数。
要是导数在 $x_0$ 处等于零，说明函数在那一刻既没往上升也没往下降，它是某个极值的“拐点”要么“平台期”。
比如 $f(x) = x^3$，在 $x=0$ 处导数确实是 0，并且图像穿过了 x 轴。
这时候 $x=0$ 是个一般/平平的零点。 看极限。
要是 $lim_{x to x_0} f(x) = 0$，且函数在 $x_0$ 处有定义，那它就是零点。
要是极限是无穷大，但函数值实际上是 0（像刚刚那个 $frac{1}{x}$ 在 $x to 0$ 时的情况），那它也是零点，只是这种零点更“疯癫”，出于它不归于常规函数图像。 举个例子，看 $f(x) = frac{x^2}{x}$。在 $x neq 0$ 的地方，$f(x) = x$，显然 $f(0)=0$ 是个平凡零点。但要是你在 $x=0$ 处代入，$x=0$ 时，$frac{0}{0}$ 这种不定式如何算？你算不出一个具体的数。
这时候，$x=0$ 就是一个“零点”，出于它在计算过程中被“清零”了。 还有一个例子是 $y = x + frac{1}{x}$。在 $x=0$ 处，函数没定义。但在极限过程中，当 $x$ 接近 0 时，$frac{1}{x}$ 的绝对值会无限大。
这时候，函数像是被一股看不见的力硬生生扯平了，甭管 $x$ 多大，它都会无限远。$x=0$ 在这里是“零点”，但不是一个有效的函数值。 再结合几个数据看看。假设我们要找 $f(x) = x^3 - x$ 的零点。 解方程 $x^3 - x = 0$，即 $x(x^2 - 1) = 0$，解得 $x=0, x=1, x=-1$。 - $x=0$：$f(0)=0$。图像过原点。
这是标准的零点。 - $x=1$：$f(1)=0$。图像过点 $(1,0)$。
这也是零点。 - $x=-1$：$f(-1)=0$。图像过点 $(-1,0)$。 这三个点都挺“像”零点，但它们不同。$x=0$ 时，函数从正变负（实际上是 $x^3$ 主导），图像穿过 x 轴，方向变了。而 $x=1$ 时，$f(1)=0$，略微往左一点点（$0.9$），函数值还是正的；往右一点点（$1.1$），函数值还是负的。
故此 $x=1$ 是“拐点”零点，图像切过 x 轴。
同理 $x=-1$ 也是拐点零点。 那有没有“假”零点？有的。
比如 $f(x) = sin(frac{1}{x})$。当 $x$ 趋近于 0 时，$frac{1}{x}$ 变得极大，$sin(dots)$ 在 -1 和 1 之间疯狂震荡。
这时候，要是你问"$x=0$ 是不是零点？”，答案是“不是”。出于函数在 $x=0$ 处根本没有定义，它根本不存有于实数轴上。它就像是在一个沙滩上种树，树根本长不出来，那地方就不是树，不是零点。 再想想 $f(x) = left| frac{x}{x} right|$。
这个函数在 $x neq 0$ 时恒等于 1。
那 $x=0$ 呢？$0/0$ 是个不定式。别看极限不存有（要么是未定式，取决于定义），但函数值本身并不等于 0。它一辈子是 1。
故此 $x=0$ 不是零点。它是在一个全是 1 的函数里，被强行抹去了一个 0，但这抹去没有留下痕迹，也没留下数字。 实际上，零点的定义早就突破了几何的束缚。在复数域里，指数函数 $e^z$ 在任何地方都不等于 0。在微分方程里，齐次方程 $y' + y = 0$ 的通解是 $y = Ce^{-x}$。
要是你设 $y=0$，那 $C$ 务必为 0，但这会害得解没有意义（常数 0 算不算通解？一般不算原解，这是特解）。
这时候，函数值一辈子不为 0，要不就你人为地强制设定 $y=0$。
这种“一辈子不等于零”的状态，也是零点的一种哲学。 有时候，零点就是“不存有”。它不是图形的切线，不是曲线的切点，不是函数的值。它是一种现象，一种“无”。就像你在问“光是不是暗的？”答案往往不是。 总结来说，零点的判定不在于死抠公式，而在于看它在哪儿“活”过来，又在哪儿“死”那会儿。是它穿过你，还是钻进你？是它把你给填平了，还是把你给封死了？在 $x=0$ 处，函数可能正无穷大，可能负无穷大，可能 $1/0$，可能 $infty - infty$。甭管哪种，它都回绝了“是”这个答案。它不归于零点，它归于“非零点”的宇宙。 故此，下次当你看到某个点在函数图像上“凭空消亡”要么“瞬间爆炸”时，别再急着给它贴上“零点”的标签。它可能是 $frac{1}{x}$，可能是 $text{undefined}$，也可能是那个连你自己都不敢定义的“无”。数学的精确性有时候，恰恰在于承认某些地方根本就不是“零点”，而是“虚无”。