用“积佬”的眼睛看世界:高考中的分析学

news/2024/12/27 14:53:14/文章来源:https://www.cnblogs.com/abcc/p/18523742/analysis

本文是一个系列,计划长期更新(在笔者健在的前提下)。

本文收录较难的高考习题,并引入一些略微超纲的思维方法,以求更为自然地解决问题,而不去回避其数学本质。

未来会将其整理为三个板块:数列极限、级数、积分。


【例 1】已知数列 \(\{a_n\}\) 满足递推关系 \(a_1=1,\ a_{n+1}=\dfrac{a_n}{a_n^2+1}\)。求证:

\(\{a_n\}\) 为单调减数列。

\(a_n\ge\dfrac1n\)

\(\{a_n\}\) 收敛于 \(0\)

④ 设 \(T_n\) 为数列 \(\{\sqrt{a_n}\}\) 的前 \(n\) 项和,则 \(T_n>2\sqrt{n+1}-2\)

【证明】

首先观察递推关系,注意到分母 \(a_n^2+1>0\),结合首项 \(a_1>0\),知 \(a_n>0\)。将递推式两边取倒数得 \(\dfrac1{a_{n+1}}=\dfrac1{a_n}+a_n\),因此 \(\dfrac1{a_{n+1}}-\dfrac1{a_n}=a_n>0\)。由函数 \(y=\dfrac1x\)\((0,+\infty)\) 上单调减少,知 \(a_{n+1}<a_n\)。①得证。

另一方面,对这个差分形式两边求和,得到 \(\dfrac1{a_{n+1}}-\dfrac1{a_1}=\displaystyle\sum_{k=1}^na_k\le\sum_{k=1}^n1=n\)(放缩是由于 \(a_1=1\) 和数列单减),从而 \(a_{n+1}\ge\dfrac1{n+1}\)。结合 \(a_1=1\),有 \(a_n\ge\dfrac1n\)。②得证。

下面证明③。由 \(\{a_n\}\) 是正项数列,\(0\) 是它的一个下界。又有 \(\{a_n\}\) 是单调减数列,根据单调有界定理(单调有界数列必有极限),可设其极限为 \(A\ge0\)。有 \(\dfrac1{a_{n+1}}-\dfrac1{a_1}=\displaystyle\sum_{k=1}^na_k>\sum_{k=1}^nA=nA\),从而 \(a_{n+1}<\dfrac1{nA+1}\)。但 \(a_{n+1}>A\),因此 \(A<\dfrac1{nA+1}\),当 \(n\) 增大时只能 \(A=0\),否则右边趋向于 \(0\) 而左边为正常数,矛盾。

借助于②还可以给出③的另证:\(\dfrac1{a_{n+1}}-\dfrac1{a_1}=\displaystyle\sum_{k=1}^na_k\ge\sum_{k=1}^n\dfrac1k=:H_n\),推出 \(a_{n+1}\le\dfrac1{H_n+1}\)。根据调和级数 \(H_n\) 发散,右边趋向于 \(0\),从而左边也有极限 \(0\)

观察①②③的证明,其关键在于对递推式的简单变形,化作差分形式,将 \(a_n\) 与部分和 \(\displaystyle\sum_{k=1}^na_k\) 建立联系。具体地,①和③给出数列单调地收敛于 \(0\),而②进一步说明其收敛速度不快于调和数列。

④要求估计 \(T_n\) 的下界。大胆用②先放缩一步,即 \(T_n\ge\displaystyle\sum_{k=1}^n\dfrac1{\sqrt{k}}\),只需证明右边符合下界即可。求和对象是幂函数 \(y=x^{-1/2}\),对幂函数求积分远比求和容易,因此考虑定积分近似方法。注意到 \(y'=-\dfrac12x^{-3/2}<0\),故原函数是减函数。有

\[\begin{align*} \displaystyle\sum_{k=1}^n k^{-1/2}&=\displaystyle\sum_{k=1}^n\int_k^{k+1} k^{-1/2}\mathrm{d}x \\&>\displaystyle\sum_{k=1}^n\int_k^{k+1} x^{-1/2}\mathrm{d}x&(k<x\Rightarrow k^{-1/2}>x^{-1/2}) \\&=\int_1^{n+1}x^{-1/2}\mathrm{d}x \\&=\left.\dfrac{x^{1/2}}{1/2}\right|_1^{n+1}=2\sqrt{n+1}-2. \end{align*} \]

定积分近似的本质是用连续和代替离散和,这是一种常见的离散问题连续化的思想,几何上即用连续曲线下的面积代替阶梯函数下的面积(如图)。一般地,对减函数 \(f(x)\),恒有 \(f(x)\le f(\lfloor x\rfloor)\)(其中 \(\lfloor x\rfloor\) 表示下取整),从而

\[\sum_{k=1}^nf(k)=\int_1^{n+1}f(\lfloor x\rfloor)\mathrm{d}x\ge\int_1^{n+1}f(x)\mathrm{d}x. \]

类似地还可以估计求和的上界:

\[\sum_{k=1}^nf(k)=\int_0^{n}f(\lceil x\rceil)\mathrm{d}x\le\int_0^{n}f(x)\mathrm{d}x. \]

对增函数同理。

figure1

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/826260.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

202.10.25(JDBC)

通过java代码操作数据库 JDBC的简介

测试开发通关秘籍四: 彻底搞懂实例方法,类方法和静态方法

热爱技术的小牛 测试开发通关秘籍四: 彻底搞懂实例方法,类方法和静态方法 在 Python 中,实例测试开发通关秘籍四: 彻底搞懂实例方法,类方法和静态方法 在 Python 中,实例方法、静态方法和类方法是定义在类中的三种方法类型。它们之间的主要区别在于它们如何访问类的属性和…

20222403 2024-2025-1 《网络与系统攻防技术》实验四实验报告

1. 实验内容 一、恶意代码文件类型标识、脱壳与字符串提取 对提供的rada恶意代码样本,进行文件类型识别,脱壳与字符串提取,以获得rada恶意代码的编写作者,具体操作如下: (1)使用文件格式和类型识别工具,给出rada恶意代码样本的文件格式、运行平台和加壳工具; (2)使用…

高级语言程序设计第五次个人作业(102400106 刘鑫语)

2024高级语言程序设计:https://edu.cnblogs.com/campus/fzu/2024C 高级语言程序设计课程第五次个人作业:https://edu.cnblogs.com/campus/fzu/2024C/homework/13298 学号:102400106 姓名:刘鑫语 第八章 尝试了很多次都不能以EOF终止,换成了& 8.1 8.2知道了\040\为八进制转…

c#-设计模式之观察者模式

c#-设计模式之观察者模式 概念 指多个对象之间存在一种一对多依赖关系,当一个对象的状态发生改变时,所有依赖于它的对象都得到通知并被自动更新。该模式又称为包括发布-订阅(Publish/Subscribe)模式,该模式是行为型模式。 结构图角色Subject(观察目标):观察目标是指被观…

运动的时钟

#include <graphics.h> #include <conio.h> #include <math.h> #define Width 640 #define Height 480 #define PI 3.14159 int main() {// 初始化绘图窗口initgraph(640, 480, SHOWCONSOLE);//秒针起始坐标int center_x = Width / 2, center_y = Height / 2…

Python装饰器在接口测试中常用场景

日志记录 异常捕获与记录 解决Case间依赖 记录Case执行时间以记录Case执行时间为例:

20222401 2024-2025-1 《网络与系统攻防技术》实验四实验报告

1.实验内容 1.1基本概念 1.1.1什么是恶意代码 首先,恶意代码是一串实现特定功能的代码,而特定功能在这里特指具有恶意目的的功能实现,可以理解为按照攻击者的意愿进行运行的代码。 按照特征以及行为的不同,大概分为以下几类:计算机病毒 蠕虫(病毒) 后门 木马 僵尸网络 R…

目录提取,删除,添加

目录提取目录删除目录制作目录效果图 目前有两个问题,一般的目录文本格式有问题,需要用正则化方式,生成比较好的目录文件,比如csv格式,txt格式 另外,生成的目录,层级只有一级 提取目录import fitz # PyMuPDF import pandas as pd# 打开PDF文件 pdf_path = 力学概论.pdf…

2023 国际大学生程序设计竞赛亚洲区域赛(济南站)(SMU Autumn 2024 Team Round 2)

2023 国际大学生程序设计竞赛亚洲区域赛(济南站)(SMU Autumn 2024 Team Round 2) I. Strange Sorting 思路代码查看代码 #include #define ll __int128 #define int long long #define double long double #define PII pair using namespace std; const int N = 2E5 + 3; …

MyBatis-Plus快速入门:从安装到第一个Demo

本文将带你从零开始,快速入门 MyBatis-Plus。我们将首先介绍如何安装和配置 MyBatis-Plus,然后通过一个简单的示例演示如何使用它进行数据操作。无论你是 MyBatis 的新手还是希望提升开发效率的老手,本文都将为你提供清晰的指导和实用的技巧。一、前言 在现代 Java 应用程序…

docker bulid tag push到自己的docker hub 仓库

-t(或 --tag)参数:用于给构建的镜像指定标签(tag)。标签的格式通常是 [仓库名/][用户名/]镜像名:版本号 -f(或 --file)参数: 指定构建镜像所使用的 Dockerfile 的路径。默认情况下,docker build 会在当前目录下查找名为 Dockerfile 的文件,但通过这个参数可以指定其他…