使用ε定义证明序列收敛的技术求助
嘿,我懂你现在卡在这儿的感觉——用ε-N定义证收敛,化简完不等式却不知道怎么找N,对吧?其实不用硬解那个二次不等式,咱们用放缩法就轻松多了,毕竟ε-N定义只需要找到存在这样的N就行,不用抠最小的那个N,放缩的时候大胆简化就好!
我帮你把完整的步骤捋清楚:
首先,你已经完成了最关键的化简:
$$\left|\frac{4n2+3n}{n2-4n+4} - 4\right| = \left|\frac{19n-16}{(n-2)^2}\right|$$
注意到当$n \geq 3$时,分子$19n-16$和分母$(n-2)2$都是正数,所以绝对值可以直接去掉,得到$\frac{19n-16}{(n-2)2}$。
接下来就是核心的放缩步骤,我们把分子分母都换成更简单的形式:
- 分子放缩:当$n \geq 1$时,$19n-16 < 19n < 20n$(因为16是正数,减去它后分子肯定比19n小,我们故意放大成20n,这样后续计算更方便)。
- 分母放缩:我们先给n定一个下界,比如让$n \geq 5$,这时候$n-2 \geq \frac{n}{2}$(你可以验证下:n=5时,5-2=3,n/2=2.5,3>2.5;n越大,这个不等式越成立)。那平方之后就有$(n-2)^2 \geq (\frac{n}{2})^2 = \frac{n^2}{4}$。
把这两个放缩结合起来,当$n \geq 5$时:
$$\frac{19n-16}{(n-2)^2} < \frac{20n}{\frac{n^2}{4}} = \frac{80}{n}$$
现在问题就简化成:找到N,使得当$n \geq N$时,$\frac{80}{n} < \varepsilon$。解这个不等式很简单,移项得$n > \frac{80}{\varepsilon}$。
最后,我们取$N = \max\left(5, \left\lceil \frac{80}{\varepsilon} \right\rceil\right)$,这里$\lceil x \rceil$表示向上取整(比如$\frac{80}{\varepsilon}$是3.1的话,就取4;如果是整数,就取它本身)。
验证一下逻辑:当$n \geq N$时,$n$同时满足$n \geq 5$和$n \geq \frac{80}{\varepsilon}$,所以$\frac{80}{n} \leq \frac{80}{\frac{80}{\varepsilon}} = \varepsilon$,进而$\frac{19n-16}{(n-2)^2} < \frac{80}{n} \leq \varepsilon$,完全符合ε-N定义的要求!
其实放缩的方式不止这一种,比如你也可以选$n \geq 4$作为下界,或者把分子放大成19n,最终得到的N形式可能略有不同,但本质都是对的——只要能找到这样的N,就完成了证明。
备注:内容来源于stack exchange,提问作者Keroten

