第一章 一元函数的极限.docVIP

第一章 一元函数的极限 第一章 一元函数的极限 §1.1 利用定义及迫敛性定理求极限 设R表示实数集合,R*表示扩张的实数集,即R*?R????,???. 例1 若liman?a?R*.证明limn???a1?a2???ann?0?a?R* (算术平均值收敛公式). ?a?n???证明 (1)设a?R,由liman?a,??n???,?N1?0,当n?N1时, an?2. 因此 a1?a2???ann?a ?(a1?a)?(a2?a)???(an?a)n ?a1?a?a2?a???aN?a1nAnAn?aN1?1?a???an?an ??n?N1n??2 ???2, An?其中A?a1?a?a2?a???aN?a.又存在N2?0,当n?N2时, 1?2.因此当 n?max{N1,N2}时, a1?a2???ann?0?a??2??2??. （2）设liman???,则?Mn???,?N1?0,当n?N1时,an?3M. 因此 ?a1?a2???ann aN1a1?a2???aNn1??1?aN1?2???annAn1?An?n?N1n?3M, ?0其中A?a1?a2???aN.由于时, An?M2?0, n?N1n?1(n???),所以存在N2,当n?N2, n?N1n?12.因此 a1?a2???ann?12?3M?12M?M. (3) 当liman???时,证明是类似的.(或令bn??an转化为(2)). n???注 例1的逆命题是不成立的.反例an???1?n(n?1,2,?),容易看出lim但是极限liman不存在. n???a1?a2???ann?0, n???例2 设{an}为单调递增数列, ?n?a1?a2???ann.证明若lim?n???n?a,则liman?a． n???证明 由{an}为单调递增数列,当m?n时有am?an.固定n,则有 ??a1?a2???anm?an?1?an?2???ammm?Am?m?nman, 其中A?a1?a2???an.令m???,则a?lim?m?an. m???又由于?n?a1?a2???ann?nann?an 所以?n?an?a.令n???,由迫敛性定理得liman?a． n???注 当{an}为单调递减数列时,上述结论也成立. 例3 设数列{an}收敛,且an?0(n?1,2,?),证明limnn???a1a2?an?liman.(几何平均值收敛公式). n???证明 设liman?a,则由极限的不等式性质得a?0. n???(1)若a?0,则limlnan?lna, n???由例1,因此limlimn???1n(lna1?lna2???lnan)?lna1. lnann???a1a2?an?limenn????lna1?lna2???lnan??e?a (2)若a?0,则limlnan???.因此 n???limn???1nn(lna1?lna2???lnan)???1, ?limn???a1a2?an?limenn????lna1?lna2???lnan?0. 注 可以证明当a???时结论也成立. 例4 设an?0(n?1,2,?),证明:若liman?1an存在,则limn???nn???an也存在且limn???nan?liman?1an. n???证明 令b1?a1,b2?由例3得, limn???a2a1,…,bn?anan?1,…. nb1b2?bn?limbnn???. 所以limn???nan?limanan?1?limn???an?1an. n???例5 证明limnn!nn???n?e. n证明1 设an?由例4得 limn,则 nn!an?1ann!??n?1?n?1?n?1?!an?e ?n!nn1????1??n???e(n???). n???n?limn???n证明2 利用司特林(Stirling)公式n!~ 例6 设an?a,bn?b(n???).令cn证明 cn?ab?1n1n1n?1n?n?2?n???e?n得 limnn!n???n?limn???e?2?n?2n1?e ?1n?a1bn? ?