题目

  1. Taylor 求极限:用 Taylor 展开求
  2. 误差估计:用 Taylor 公式计算 位有效数字(即误差 ),并给出严格误差上界。
  3. 不等式证明:证明对一切

提示

点击展开提示
  • 第 1 题:把 展开到 阶(含 Peano 余项 ANL-THM-025 Peano 形式即可),分子化简。
  • 第 2 题。用ANL-THM-025 Lagrange 余项给误差严格上界:取展开到 阶,。注意 的奇偶性使 4 阶余项实质上是 项。
  • 第 3 题:用 Lagrange 余项形式 ,对 余项非负即可。

解答

点击展开完整解答

第 1 题:

:由ANL-THM-025 Peano 形式, 处展开到 阶:

代入分子:

对比 L’Hospital 法则:本题用 ANL-THM-024 L’Hospital 需求导 次, Taylor 仅展开一次得到答案——这是 Taylor 处理”高阶 “型的优势。

第 2 题: 位精度

:取 处 Taylor 展开到 阶(含 Lagrange 余项):

其中 介于 之间。,故

因此

精度不足! 升至 阶展开( 奇函数, 项系数为 ,故”展到 余项实质 ”。 但严格地用 Lagrange 余项需直接展开到含 阶):

,故

计算近似值

严格误差上界

(保留 位)。

关键观察:用 Lagrange 余项时,展开阶数不一定要凑齐到目标阶数—— 对奇 / 偶函数,可”跳过”某些项利用对称性获得更紧的余项估计。 实务中常采用”展到下一个非零项 + 估其后余项”。

第 3 题:

证明:由ANL-THM-025 Lagrange 余项形式(): 使

;又 。 因此余项

代入:

推广:对一切 。 同理 时方向反转奇偶——证明留作变式。

考察点

  • ANL-THM-025 Peano 余项用于求极限(处理高阶
  • ANL-THM-025 Lagrange 余项用于严格的误差估计
  • 对奇 / 偶函数 Taylor 展开的对称性观察(节省余项阶数)
  • Lagrange 余项的非负性 ⇒ 不等式(第 3 题模式)

备注

Taylor 公式的两种用法

形式用途关键
Peano 余项 求极限、渐近行为 的代数运算”
Lagrange 余项 误差估计、不等式证明”找

对比 L’Hospital 法则与 Taylor

L’HospitalTaylor
适用, (高阶尤佳)
计算量重复求导 一次展开
直观性强(看到主导项)
不等式证明不擅长擅长(余项控制)
处理振荡分母失败( 反例)同样需小心