跳到内容
← 全部问题

为什么放缩界限 n2/2n^2/2 和 2n2/32n^2/3 需要条件 n≥3n \ge 3?

不等式 n2−3≥n22n^2 - 3 \ge \frac{n^2}{2} 和 n2−3≥2n23n^2 - 3 \ge \frac{2n^2}{3} 并非对所有 nn 都成立。它们依赖于 nn 足够大。具体来说,n2−3≥n22n^2 - 3 \ge \frac{n^2}{2} 简化为 n22≥3  ⟹  n2≥6  ⟹  n≥6≈2.45\frac{n^2}{2} \ge 3 \implies n^2 \ge 6 \implies n \ge \sqrt{6} \approx 2.45。由于 nn 是整数,所以 n≥3n \ge 3。同样,n2−3≥2n23n^2 - 3 \ge \frac{2n^2}{3} 简化为 n23≥3  ⟹  n2≥9  ⟹  n≥3\frac{n^2}{3} \ge 3 \implies n^2 \ge 9 \implies n \ge 3。因此,n≥3n \ge 3 确保分母以缩放项为下界,从而使误差的上界有效。

适用条件

  • 对误差项 9n2−3\frac{9}{n^2-3} 使用放缩技巧。
  • nn 是正整数。

理解与推导

  1. 分析第一个放缩:n2−3≥n22n^2 - 3 \ge \frac{n^2}{2}。
  2. 重新排列:n2−n22≥3  ⟹  n22≥3  ⟹  n2≥6n^2 - \frac{n^2}{2} \ge 3 \implies \frac{n^2}{2} \ge 3 \implies n^2 \ge 6。
  3. 由于 nn 是整数,n≥3n \ge 3(因为 22=4<62^2=4 < 6)。
  4. 分析第二个放缩:n2−3≥2n23n^2 - 3 \ge \frac{2n^2}{3}。
  5. 重新排列:n2−2n23≥3  ⟹  n23≥3  ⟹  n2≥9n^2 - \frac{2n^2}{3} \ge 3 \implies \frac{n^2}{3} \ge 3 \implies n^2 \ge 9。
  6. 由于 nn 是整数,n≥3n \ge 3。
  7. 得出结论:对于 n<3n < 3,分母的这些特定下界不成立,因此相应的误差上界无效。

例子

脚本在应用两种放缩方法之前明确说明“对于 n≥3n\ge 3”。如果 n=2n=2,n2−3=1n^2-3=1,但 n2/2=2n^2/2 = 2,且 1≱21 \not\ge 2。

容易误解的地方

  • 假设放缩不等式对所有 n>3n > \sqrt{3} 都成立。
  • 忘记检查计算出的 NN 是否满足前提条件 n≥3n \ge 3。
  • 认为放缩总是简化问题而不引入额外的约束。

观看对应讲解

相关概念

继续追问

相关问题

认识概念

↗
理解原因

↗
认识概念

↗
认识概念

↗
理解原因

↗

答案依据视频资料生成并经过独立核验。若有疑问,请核对原视频或联系原作者。