1. 莱布尼茨判别法的严格证明:奇偶部分和相向夹逼,余项不超过第一个被舍去的项★ 要懂
下面给出一个严格的夹逼证明,并指明交错、 单调递减、 这三个条件各自的作用。单调递减保证偶数项部分和 递增、奇数项部分和 递减,且 ,即这两串部分和一升一降、相向而行; 保证两串之间的间隙 ,于是它们收缩到同一极限 。由证明还可顺带得到余项估计 ,即用前 项作近似时,误差不超过第一个被舍去的项。这是交错级数作数值估计的基本依据。
证明 / 推导
设级数为 ,其中 单调递减且 。先考察偶数项部分和:再考察奇数项部分和:
又 ,故 。于是 递增而有上界,收敛于某数 ;同理 递减而有下界,也收敛。由 知两个极限相等,因此 ,级数收敛。又 夹在相邻两个部分和之间,故 。