δ在web里面怎么输入_【高等数学】用ε-δ语言证明函数极限

很多学生在初学函数极限时，对用函数极限定义证明无从下手，对证明的逻辑理不清楚。我详细（啰嗦）地讲解一下。

回顾，函数极限的

语言定义：

用函数极限定义证明的思路梳理（倒推）：

对

, 目的是要找到

，使得当

时，有

成立。

所以，就是从

出发，代入

和

，化简，往大放缩，方向是变成只带“

" 表达式（根据放缩需要，可对

做限制，如限制

，就能处理掉其它带”

"的项），再令其

, 就可以解出

带“

”表达式。

取

带 "

"表达式，限制

则当

时，就有

成立。

注1：实际上就是要放缩到“常数

"。

注2：关于限制

, 取

是为了好算，取

都可以，设置该限制为了保证可以放缩带

项为某个界值，按照

的取法，越小越能成立，存在

就行，所以，限制了多少，取的时候，就也小于它就行了，不影响证明过程、证明逻辑和结果。

例1

梳理思路: 对

, 目的是要找到

，使得当

时，有

成立。

令其

, 即

, 解出

取

, 则当

时，有

成立。

再按正过来的顺序叙述出来，即

证明：对

, 令

, 则当

时，有

故

.

例2

梳理思路：对

, 目的是要找到

，使得当

时，有

成立。

注意到，

,

, 故

观察上式，

是需要保留和求解的，分母中的

是需要处理（放缩）掉的，此时就需要对

做一定限制，比如

, 这实际上就给

限定了一个范围，从而就给

限定了一个范围，于是就能放缩了。

具体操作如下：
限定

, 则

, 故

, 从而

于是，接着往大放缩，

令其

, 即

, 解出

取

, 则当

时，有

成立。

再按正过来的顺序叙述出来，即

证明：对

, 令

, 则当

时，有

故

.

例3

梳理思路：对

, 目的是要找到（足够大的）

，使得当

时，有

成立。

令其

, 即

, 解出

取

, 则当

时，有

成立。

再按正过来的顺序叙述出来，即

证明: 对

, 令

, 则当

时，有

故

.

注：

，是用

来刻画的，所以，找

时，梳理思路时是要解 ”

".

，是用

来刻画的，所以，找

时，梳理思路时是要解 "

".

其它情况也是类似的，比如，

, 是用

来刻画的，所以，找

时，梳理思路时是要解 "

".

补充：用数列极限定义证明

而数列极限时，是

， 是用

来刻画的，所以, 找

时，梳理思路时是要解 ”

“, 解完再取整得到

.

具体梳理思路过程如下：

对

, 目的是要找到

，使得当

时，有

成立。

所以，就是从

出发，代入

和

，化简，往大放缩，方向是变成只带“

" 表达式，再令其

, 就可以解出

带“

”表达式。

取

带 "

"表达式

, （取整），则当

时，就有

成立。

注：实际上就是要放缩到“常数

"。

例4

梳理思路：对

, 要找到

，使得当

时，有

成立。

令

, 解出

, 取

, 则当

时，就有

成立。

再按正过来的顺序叙述出来，即

证明：对

, 令

, 则当

时，有

故

注: 对于取整函数有：

.

——————————————————————————————————

再补充：还有不少同学都产生一个错觉：“你这种

语言证明，好像换一下数也对啊，是不是随便拿数过来都能这样证出来，而和极限本身没什么关系啊。”

答： 当然不是。只有当

，即当

时，

是趋于

的，能这样证出来，因为

语言本来就是该极限式的等价描述啊。

这样换数，当然没问题:

但是这样换数，肯定就不行了：

肯定证不出来。

以例1的

为例，把

, 极限是

，换成

极限是

，当然没问题，因为

成立。但仍然是

想证极限是

，或者换成

想证极限是

，你试试就知道，都是不可能证出来的。

【再补充：为什么不可能证出来】

比如，证明

对

，要找到

，使得当

时，有

成立。

但这是不可能的，只要取

，则当

时，有

，从而必有

这说明只要

足够接近

（接近程度在

以内），则函数值 到

的距离恒大于

，故不可能趋于

.