张宇1000题高等数学 第二章 数列极限
目录
- CCC组
- 3.设当a⩽x⩽ba\leqslant x\leqslant ba⩽x⩽b时,a⩽f(x)⩽ba\leqslant f(x)\leqslant ba⩽f(x)⩽b,并设存在常数kkk,0⩽k<10\leqslant k<10⩽k<1,对于[a,b][a,b][a,b]上的任意两点x1x_1x1与x2x_2x2,都有∣f(x1)−f(x2)∣⩽k∣x1−x2∣|f(x_1)-f(x_2)|\leqslant k|x_1-x_2|∣f(x1)−f(x2)∣⩽k∣x1−x2∣。证明:
- (1)存在唯一的ξ∈[a,b]\xi\in[a,b]ξ∈[a,b]使f(ξ)=ξf(\xi)=\xif(ξ)=ξ;
- (2)对于任意给定的x1∈[a,b]x_1\in[a,b]x1∈[a,b],定义xn+1=f(xn),n=1,2,⋯x_{n+1}=f(x_n),n=1,2,\cdotsxn+1=f(xn),n=1,2,⋯,则limn→∞xn\lim\limits_{n\to\infty}x_nn→∞limxn存在,且limn→∞xn=ξ\lim\limits_{n\to\infty}x_n=\xin→∞limxn=ξ。
- 4.设f(x)f(x)f(x)在[0,+∞)[0,+\infty)[0,+∞)上连续,满足0⩽f(x)⩽x,x∈[0,+∞)0\leqslant f(x)\leqslant x,x\in[0,+\infty)0⩽f(x)⩽x,x∈[0,+∞),设a1⩾0,an+1=f(an)(n=1,2,⋯)a_1\geqslant0,a_{n+1}=f(a_n)(n=1,2,\cdots)a1⩾0,an+1=f(an)(n=1,2,⋯),证明:
- (1){an}\{a_n\}{an}为收敛数列;
- (2)设limn→∞an=t\lim\limits_{n\to\infty}a_n=tn→∞liman=t,则有f(t)=tf(t)=tf(t)=t;
- (3)若条件改为0⩽f(x)<x,x∈[0,+∞)0\leqslant f(x)<x,x\in[0,+\infty)0⩽f(x)<x,x∈[0,+∞),则(2)中的t=0t=0t=0。
- 写在最后
CCC组
3.设当a⩽x⩽ba\leqslant x\leqslant ba⩽x⩽b时,a⩽f(x)⩽ba\leqslant f(x)\leqslant ba⩽f(x)⩽b,并设存在常数kkk,0⩽k<10\leqslant k<10⩽k<1,对于[a,b][a,b][a,b]上的任意两点x1x_1x1与x2x_2x2,都有∣f(x1)−f(x2)∣⩽k∣x1−x2∣|f(x_1)-f(x_2)|\leqslant k|x_1-x_2|∣f(x1)−f(x2)∣⩽k∣x1−x2∣。证明:
(1)存在唯一的ξ∈[a,b]\xi\in[a,b]ξ∈[a,b]使f(ξ)=ξf(\xi)=\xif(ξ)=ξ;
解 由∣f(x1)−f(x2)∣⩽k∣x1−x2∣|f(x_1)-f(x_2)|\leqslant k|x_1-x_2|∣f(x1)−f(x2)∣⩽k∣x1−x2∣,对于任意固定的x0∈[a,b]x_0\in[a,b]x0∈[a,b]作为其中的x2x_2x2,并将x1x_1x1记为xxx。于是有∣f(x)−f(x0)∣⩽k∣x−x0∣|f(x)-f(x_0)|\leqslant k|x-x_0|∣f(x)−f(x0)∣⩽k∣x−x0∣,当x→x0x\to x_0x→x0时,∣f(x)−f(x0)∣→0|f(x)-f(x_0)|\to0∣f(x)−f(x0)∣→0,于是有limx→x0f(x)=f(x0)\lim\limits_{x\to x_0}f(x)=f(x_0)x→x0limf(x)=f(x0),可知f(x)f(x)f(x)在x0∈[a,b]x_0\in[a,b]x0∈[a,b]处连续,由x0x_0x0的任意性,知f(x)f(x)f(x)在[a,b][a,b][a,b]上连续。
令φ(x)=f(x)−x\varphi(x)=f(x)-xφ(x)=f(x)−x,则φ(a)=f(a)−a⩾0,φ(b)=f(b)−b⩽0\varphi(a)=f(a)-a\geqslant0,\varphi(b)=f(b)-b\leqslant0φ(a)=f(a)−a⩾0,φ(b)=f(b)−b⩽0。
上述两不等式若至少有一个等号成立,例如φ(a)=0\varphi(a)=0φ(a)=0,则取ξ=a∈[a,b]\xi=a\in[a,b]ξ=a∈[a,b],有φ(ξ)=f(ξ)−ξ=0\varphi(\xi)=f(\xi)-\xi=0φ(ξ)=f(ξ)−ξ=0。
若上述两不等式中无一个等号成立,即φ(a)=f(a)−a>0,φ(b)=f(b)−b<0\varphi(a)=f(a)-a>0,\varphi(b)=f(b)-b<0φ(a)=f(a)−a>0,φ(b)=f(b)−b<0。于是由连续函数介值定理知,存在ξ∈(a,b)\xi\in(a,b)ξ∈(a,b),使得φ(ξ)=f(ξ)−ξ=0\varphi(\xi)=f(\xi)-\xi=0φ(ξ)=f(ξ)−ξ=0。
再证唯一性,用反证法证明。
设存在η∈[a,b],η≠ξ\eta\in[a,b],\eta\ne\xiη∈[a,b],η=ξ,使得φ(η)=f(η)−η=0\varphi(\eta)=f(\eta)-\eta=0φ(η)=f(η)−η=0。于是f(η)−f(ξ)=η−ξf(\eta)-f(\xi)=\eta-\xif(η)−f(ξ)=η−ξ,则∣η−ξ∣=∣f(η)−f(ξ)∣⩽k∣η−ξ∣|\eta-\xi|=|f(\eta)-f(\xi)|\leqslant k|\eta-\xi|∣η−ξ∣=∣f(η)−f(ξ)∣⩽k∣η−ξ∣,即(1−k)∣η−ξ∣⩽0(1-k)|\eta-\xi|\leqslant0(1−k)∣η−ξ∣⩽0。但因1−k>0,∣η−ξ∣>01-k>0,|\eta-\xi|>01−k>0,∣η−ξ∣>0,导致矛盾,所以η=ξ\eta=\xiη=ξ,证明了唯一性。(这道题主要利用了构造函数求解)
(2)对于任意给定的x1∈[a,b]x_1\in[a,b]x1∈[a,b],定义xn+1=f(xn),n=1,2,⋯x_{n+1}=f(x_n),n=1,2,\cdotsxn+1=f(xn),n=1,2,⋯,则limn→∞xn\lim\limits_{n\to\infty}x_nn→∞limxn存在,且limn→∞xn=ξ\lim\limits_{n\to\infty}x_n=\xin→∞limxn=ξ。
解 为证limn→∞xn=ξ\lim\limits_{n\to\infty}x_n=\xin→∞limxn=ξ,考虑∣xn−ξ∣→0|x_n-\xi|\to0∣xn−ξ∣→0,其中x1x_1x1与ξ\xiξ都是确定的值。
所以当n→∞n\to\inftyn→∞时,∣xn−ξ∣→0|x_n-\xi|\to0∣xn−ξ∣→0,从而证明了存在limn→∞xn\lim\limits_{n\to\infty}x_nn→∞limxn,且limn→∞xn=ξ\lim\limits_{n\to\infty}x_n=\xin→∞limxn=ξ。(这道题主要利用了极限定义求解)
4.设f(x)f(x)f(x)在[0,+∞)[0,+\infty)[0,+∞)上连续,满足0⩽f(x)⩽x,x∈[0,+∞)0\leqslant f(x)\leqslant x,x\in[0,+\infty)0⩽f(x)⩽x,x∈[0,+∞),设a1⩾0,an+1=f(an)(n=1,2,⋯)a_1\geqslant0,a_{n+1}=f(a_n)(n=1,2,\cdots)a1⩾0,an+1=f(an)(n=1,2,⋯),证明:
(1){an}\{a_n\}{an}为收敛数列;
解 由于0⩽f(x)⩽x,x∈[0,+∞)0\leqslant f(x)\leqslant x,x\in[0,+\infty)0⩽f(x)⩽x,x∈[0,+∞),因此有an+1−an=f(an)−an⩽0(n=1,2,⋯)a_{n+1}-a_n=f(a_n)-a_n\leqslant0(n=1,2,\cdots)an+1−an=f(an)−an⩽0(n=1,2,⋯),即{an}\{a_n\}{an}为单调递减数列。又因a1⩾0,f(x)⩾0,an+1=f(an)a_1\geqslant0,f(x)\geqslant0,a_{n+1}=f(a_n)a1⩾0,f(x)⩾0,an+1=f(an),所以an⩾0(n=1,2,⋯)a_n\geqslant0(n=1,2,\cdots)an⩾0(n=1,2,⋯)。
综上可知{an}\{a_n\}{an}单调递减且有下界,故必为收敛数列。
(2)设limn→∞an=t\lim\limits_{n\to\infty}a_n=tn→∞liman=t,则有f(t)=tf(t)=tf(t)=t;
解 因limn→∞an=t\lim\limits_{n\to\infty}a_n=tn→∞liman=t,f(x)f(x)f(x)在[0,+∞)[0,+\infty)[0,+∞)上连续,且t∈[0,+∞)t\in[0,+\infty)t∈[0,+∞),故有t=limn→∞an+1=limn→∞f(an)=f(limn→∞an)=f(t)t=\lim\limits_{n\to\infty}a_{n+1}=\lim\limits_{n\to\infty}f(a_n)=f(\lim\limits_{n\to\infty}a_n)=f(t)t=n→∞liman+1=n→∞limf(an)=f(n→∞liman)=f(t)。
(3)若条件改为0⩽f(x)<x,x∈[0,+∞)0\leqslant f(x)<x,x\in[0,+\infty)0⩽f(x)<x,x∈[0,+∞),则(2)中的t=0t=0t=0。
解 由an⩾0a_n\geqslant0an⩾0及limn→∞an=t\lim\limits_{n\to\infty}a_n=tn→∞liman=t,知t⩾0t\geqslant0t⩾0,若t≠0t\ne0t=0,则t∈(0,+∞)t\in(0,+\infty)t∈(0,+∞),且f(t)<tf(t)<tf(t)<t,但由(2)知f(t)=tf(t)=tf(t)=t,矛盾,所以t=0t=0t=0。(这道题主要利用了反证法求解)
写在最后
如果觉得文章不错就点个赞吧。另外,如果有不同的观点,欢迎留言或私信。
欢迎非商业转载,转载请注明出处。
张宇1000题高等数学 第二章 数列极限相关推荐
- 张宇1000题高等数学 第一章 函数极限与连续
目录 AAA组 15.求极限limx→0sinx+x2sin1x(2+x2)ln(1+x)\lim\limits_{x\to0}\cfrac{\sin x+x^2\sin\cfrac{1}{x ...
- 第二章 数列极限与数值级数
目录 数列极限与数值级数 无穷求和--级数 级数的由来 级数和的定义 收敛级数的 性质 同号级数列收敛的判别方法 正号级数收敛的充要条件 比较判别法 比值判别法与根值判别法 变号级数收敛性判别方法 交 ...
- 张宇1000题高等数学 第十六章 无穷级数
目录 AAA组 7.设0⩽un⩽1n0\leqslant u_n\leqslant\cfrac{1}{n}0⩽un⩽n1,则下列级数一定收敛的是( ). (A)∑n=1∞un;(A)\displ ...
- 张宇1000题高等数学 第十四章 二重积分
目录 BBB组 8.设f(x,y)f(x,y)f(x,y)为连续函数,f(0,0)f(0,0)f(0,0)已知,则I=limt→0+1πt2∬Df(x,y)dσ=I=\lim\limits_{t\t ...
- 张宇1000题高等数学 第十五章 微分方程
目录 AAA组 10.微分方程(1+x2)y′′−2xy′=0(1+x^2)y''-2xy'=0(1+x2)y′′−2xy′=0的通解为______. BBB组 2.微分方程dydx=2xyx2+y\ ...
- 张宇1000题高等数学 第三章 一元函数微分学的概念
目录 BBB组 6.设f(x)f(x)f(x)在(−π2a,π2a)(a>0)\left(-\cfrac{\pi}{2a},\cfrac{\pi}{2a}\right)(a>0)(−2aπ ...
- 张宇1000题高等数学 第五章 一元函数微分学的应用(一)——几何应用
目录 AAA组 4.曲线r=cos2θr=\cos2\thetar=cos2θ在θ=π4\theta=\cfrac{\pi}{4}θ=4π处的切线方程为______. BBB组 6.设f(x)=∣ ...
- 线性代数张宇1000题 第六章 向量组
目录 BBB组 6.齐次线性方程组的系数矩阵A4×5=[β1,β2,β3,β4,β5]\bm{A}_{4\times5}=[\bm{\beta}_1,\bm{\beta}_2,\bm{\beta}_3 ...
- 张宇1000题线性代数 第九章 二次型
目录 AAA组 1.二次型f(x1,x2,x3)=xTf(x_1,x_2,x_3)=\bm{x}^\mathrm{T}f(x1,x2,x3)=xT的秩为( ). (A)0;(A)0;(A)0; ...
最新文章
- 简单又好看的按钮,扁平化按钮。
- Vue中使用moment将时间戳数据格式化显示(el-table中)
- SPOJ - DISUBSTR Distinct Substrings(后缀数组)
- shell 创建表 连接db2_大数据技术之SparkSQL(七)连接Hive数据库
- 15款Cocos2d-x游戏源码
- 我与51CTO的战争之值得尊敬的对手
- 给小白的 Nginx 30分钟入门指南
- excel打开csv乱码解决------------为什么pycharm里面csv不乱码,excel里面却乱码了
- nginx部署前端代码 负载均衡
- linux系统小米球(ngrok)实现内网穿透
- java数据采集_基于Java的数据采集(终结篇)
- 使用bus hound发送包的方法
- 利用callKit实现电话防骚扰
- 高等数学上:微分中值定理,洛必达法则
- MVC中利用ViewBag传递Json数据时的前端处理方法
- 你好,法语!A2课文汇总
- House MD S4:Memorable quips
- 华为/思科已知一个ip查对应mac和交换机接口
- 二维码制作、识别、读取其存储内容
- ASPJpeg和ASPUpload组件的常用属性和方法
热门文章
- rd640服务器套件修复,联想 rd640_rd450_联想服务器rd640开机
- C# 创建Excel,读取mdb数据库,写入Excel数据,获取mdb中所有表格名字,选择多个文件
- thymeleaf取值爆红 Validates unresolved references and invalid expressions.
- k8s admission webhook初探
- 微营销:内容好才是真的好
- 因子研究系列之二 -- 成长因子
- AcWing数学知识
- JAVA计算机毕业设计道路桥梁工程知识文库系统Mybatis+系统+数据库+调试部署
- AS400 API 从零到一的整个历程
- 构造函数详解_const的部分分析,部分转载于http://ticktick.blog.51cto.com/823160/194307