D13函数的极限学习教案

1、会计学1D13函数的极限函数的极限1. 0 xx 时函数极限的定义时函数极限的定义引例引例. 测量正方形面积.面积为A )边长为(真值:;0 x边长面积2x直接观测值间接观测值任给精度 ,要求 Ax2确定直接观测值精度 :0 xx0 xAx第1页/共16页)(xf在点0 x的某去心邻域内有定义 ,0,0当00 xx时, 有 Axf)(则称常数 A 为函数)(xf当0 xx 时的极限,Axfxx)(lim0或)()(0 xxAxf当即,0,0当),(0 xUx时, 有若记作 Axf)(Axfxx)(lim0极限存在函数局部有界(P36定理2) 这表明: AA几何解释几何解释:OAx0 xy)(x

2、fy 第2页/共16页)(lim0为常数CCCxx证证:Axf)(CC 0故,0对任意的,0当00 xx时 , 0CC因此CCxx0lim总有第3页/共16页1)12(lim1xx证证:Axf)(1) 12(x12x欲使,0取,2则当10 x时, 必有1) 12()(xAxf因此,)( Axf只要,21x1)12(lim1xx第4页/共16页211lim21xxx证证:Axf)(2112xx21 x故,0取,当10 x时, 必有2112xx因此211lim21xxx1 x第5页/共16页00 x证证:Axf)(0 xx 001xxx欲使,0且. 0 x而0 x可用0 xx因此,)( Axf只要

3、,00 xxx00limxxxx.lim00 xxxx时00 xxxx故取,min00 xx则当00 xx时,00 xxx保证 .必有Ox0 xx第6页/共16页定理定理1 . 若,)(lim0Axfxx且 A 0 ,),(0时使当xUx. 0)(xf)0)(xf证证: 已知,)(lim0Axfxx即,0, ),(0 xU当时, 有.)(AxfA当 A 0 时, 取正数,A则在对应的邻域上. 0)(xf( 0)(A则存在( A 0 ),(0 xU),(0 xUx),(0 xU(P37定理3)0(AA0 x0 xAx0 xy)(xfy O第7页/共16页AxfA)(:0A:0A若取,2A则在对应

4、的邻域上 若,0)(lim0Axfxx则存在使当时, 有.2)(Axf23)(2AxfA2)(23AxfA),(0 xU, ),(0 xU),(0 xUx(P37定理3)分析分析:AA0 x0 xAx0 xy)(xfy O第8页/共16页0 x的某去心邻域内0)(xf)0)(xf, 且 ,)(lim0Axfxx则. 0A)0(A证证: 用反证法.则由定理 1,0 x的某去心邻域 ,使在该邻域内,0)(xf与已知所以假设不真, .0A(同样可证0)(xf的情形)思考: 若定理 2 中的条件改为, 0)(xf是否必有?0A不能不能! 0lim20 xx存在如 假设 A 0 , 条件矛盾,故时,当0

5、)(xf第9页/共16页左极限 :)(0 xfAxfxx)(lim0,0,0当),(00 xxx时, 有.)( Axf右极限 :)(0 xfAxfxx)(lim0,0,0当),(00 xxx时, 有.)( Axf定理定理 3 .Axfxx)(lim0Axfxfxxxx)(lim)(lim00( P39 题*11 )第10页/共16页0,10,00, 1)(xxxxxxf讨论 0 x时)(xf的极限是否存在 . 解解: 利用定理 3 .因为)(lim0 xfx) 1(lim0 xx1)(lim0 xfx) 1(lim0 xx1显然, )0()0( ff所以)(lim0 xfx不存在 .xyO11

6、 xy11 xy第11页/共16页XXAAOxy)(xfy A定义定义2 . 设函数xxf当)(大于某一正数时有定义,若,0X,)(,AxfXx有时当则称常数时的极限,Axfx)(lim)()(xAxf当或几何解释几何解释:AxfA)(XxXx或记作直线 y = A 为曲线)(xfy 的水平渐近线 .,0 xxf当)(A 为函数第12页/共16页. 01limxx证证:01xx1取,1X,时当Xx 01x因此01limxx注注:就有故,0欲使,01x只要,1x.10的水平渐近线为xyyOxyxy1第13页/共16页Oxyx1x11xxgxxf11)(,1)(直线 y = A 仍是曲线 y = f (x) 的渐近线 .Axfx)(lim,0,0X当Xx 时, 有 Axf)(Axfx)(lim,0,0X当Xx时, 有 Axf)(几何意义几何意义 :例如，都有水平渐近线;0yxxxgxf21)(,21)(都有水平渐近线. 1y又如，Oxyx21x21第14页/共16页1. 函数极限的或X定义及应用2. 函数极限的性质:保号性定理与左右极限等价定理思考与练习思考与练习1. 若极限)(lim0 xfxx存在,)()(lim00 xfxfxx2.