← 全部问题放缩技巧 n2−3≥n2/2 如何简化 n≥3 时的误差界限?
对于
n≥3,不等式
n2−3≥n2/2 成立。这允许将误差项
n2−39 中复杂的分母
n2−3 替换为更简单的
n2/2。由于分母变小(或相等),分数变大(或相等),从而提供了一个上界:
n2−39≤n2/29=n218。求解
n218<ε 得到
n>18/ε,这比直接的代数解更容易计算。
适用条件
- n≥3。
- 误差项是 n2−39。
- 目标是找到 N 使得误差 <ε。
理解与推导
- 验证 n≥3 时不等式 n2−3≥n2/2 成立。
- 将其应用于误差项的分母:因为 n2−3≥n2/2,所以 n2−31≤n2/21。
- 乘以分子 9 得到界限:n2−39≤n218。
- 设简化的界限小于 ε:n218<ε。
- 解出 n:n2>ε18⟹n>ε18。
- 选择一个大于该值的整数 N。
例子
脚本指出:“对于 n≥3,n²−3≥n²/2,所以误差以 18/n² 为界。要求 n>√(18/ε)……给出了另一个有效的截断值。”
容易误解的地方
- 假设在取倒数时不等号方向反转而不检查符号(这里各项均为正)。
- 忘记这个界限仅在 n≥3 时有效,因此最终的 N 也必须满足此范围限制。
- 认为这种方法得出的是精确的最小 N;它得出的是一个有效的、可能更大的 N。
相关问题
认识概念↗ 算术平均数充当当前估计值与下一个迭代值之间的几何桥梁。通过将递推关系 xn+1=21(xn+xna) 分解为 f(x)=x 和 g(x)=xa,算术平均数对应于 xn 处直线和双曲线上两点之间的垂直中点。
适用条件:递推关系为 xn+1=21(xn+xna)。;函数定义为 f(x)=x 和 g(x)=xa。;几何解释使用垂直距离和中点。
理解原因↗ 该极限不存在,因为函数沿不同路径趋近原点时会趋向不同的值。epsilon-delta 定义要求对每个附近的定义域点进行统一控制,这意味着所有路径必须产生相同的极限。
适用条件:函数为 f(x,y)=xy/(x2+y2)。;极限在 (x,y)→(0,0) 时评估。;定义域排除原点 (0,0)。
认识概念↗ 可视化将数列的离散点绘制在与 y=3 的水平渐近线相对的位置。容差 ε 定义了一个水平带 y=3±ε。
适用条件:数列为 an=n2−33n2。;极限为 A=3。;坐标系绘制离散点与 n 的关系。
认识概念↗ 条件 xn=x0 确保极限描述的是函数在 x0 *附近*的行为,而与函数在 x0 *处*的值无关。它排除了数列恒等于 x0 的平凡情况,这种情况无论周围行为如何,始终产生 f(x0)。
适用条件:x0 是定义域的聚点。;数列 xn 趋近于 x0。;函数 f 在 x0 处可能有定义,也可能没有。
理解原因↗ 归结原则要求*每一个*趋近于聚点的容许数列都产生相同的极限。仅检查几条路径只提供了一部分情况;未检查的路径中可能存在反例,从而使全称主张无效。
适用条件:该准则适用于定义域中趋近于 x0(排除 x0)的所有数列。;单个反例足以证明极限不存在。;有限的验证无法为无限集确立普遍真理。
答案依据视频资料生成并经过独立核验。若有疑问,请核对原视频或联系原作者。