§1.6 极限存在准则两个重要极限§1.7无穷小的比较

§1.6极限存在准则与两个重要极限§1.7无穷小的比较高等数学·第一章函数与极限Contents课程目录函数极限理论的核心框架与典型方法01极限存在准则：夹逼准则与单调有界准则02两个重要极限的推导与应用03无穷小的比较与等价无穷小替换04综合例题与课程小结CHAPTER01极限存在准则夹逼准则与单调有界准则——判断极限是否存在的两大工具极限存在判定夹逼准则（迫敛定理）夹逼准则是判定极限存在的基本工具之一，其核心思想是：当一个函数（或数列）被两个已知极限的函数从两侧"夹住"，且两侧极限相等时，中间函数的极限必然存在且等于该公共值。准则Ⅰ数列形式条件一从某项起（∃n₀∈N⁺，当n>n₀时），三个数列满足yn≤xn≤zn的不等式关系条件二当n→∞时，两侧数列极限相同，即limyn=a且limzn=a结论被夹在中间的数列{xn}极限必然存在，且limxn=a准则Ⅰ'函数形式条件一在x₀的某去心邻域内（或|x|>M时），满足g(x)≤f(x)≤h(x)条件二当x→x₀（或x→∞）时，两侧函数极限相同，即limg(x)=A且limh(x)=A结论f(x)的极限存在且等于A，该准则适用于x→x₀、x→∞等多种趋近过程ε-δProof夹逼准则的严格证明（ε-δ语言）夹逼准则虽直觉上显而易见，但通过ε-δ语言可将其严格化：利用两侧函数极限的定义分别获得δ₁，再与不等式条件中的δ₀取最小值，即可推导出中间函数满足极限定义。01由条件(2)，∀ε>0，∃δ₁>0，当0<|x−a|<δ₁时，|f(x)−A|<ε和|h(x)−A|<ε同时成立02展开绝对值不等式得−ε<f(x)−A且h(x)−A<ε，为夹逼提供了上下界03由条件(1)的不等式关系结合上步结果，取δ=min{δ₀,δ₁}，确保所有条件同时满足04当0<|x−a|<δ时，−ε<f(x)−A≤g(x)−A≤h(x)−A<ε，故|g(x)−A|<ε，证毕CONVERGENCECRITERIONⅡ单调有界准则（准则Ⅱ）单调有界定理指出：单调递增且有上界（或单调递减且有下界）的数列必然收敛。该准则仅保证极限的存在性而不直接给出极限值，是分析递推数列收敛性的核心工具。数轴上递增点列趋近极限的几何示意01定理内容若数列{aₙ}单调递增且有上界M，则{aₙ}必有极限，即limaₙ存在且≤M02几何直观数轴上的点aₙ随n增大不断右移但永不越过M，必然趋近于某一点a（a≤M）03对称形式若数列{aₙ}单调递减且有下界m，则{aₙ}也必有极限，且极限≥m04函数推广对于x→x₀⁻、x→x₀⁺、x→±∞等变化过程，若函数单调且有界，同样可判定极限存在CauchyConvergenceCriterion柯西极限存在准则（柯西审敛原理）柯西准则给出了数列收敛的充要条件：数列{xn}收敛当且仅当其尾部项之间的差可以任意小。该准则不依赖已知极限值，仅通过数列自身的'内部性质'即可判定收敛性，是实数完备性的深刻体现。01充要条件：数列{xn}收敛⟺∀ε>0，∃正整数N，当m>N且n>N时，|xₙ−xₘ|<ε该条件表明，只要数列足够靠后的任意两项距离可以任意小，数列就必然收敛∀ε>002核心意义：无需预知极限值，仅通过数列项与项之间的距离是否可任意小来判断收敛性这一特性使柯西准则成为判断抽象数列收敛性的强大工具，尤其适用于极限值难以直接求出的情形内部性质03与夹逼准则对比：夹逼准则需要构造两个已知极限的辅助数列，柯西准则仅需分析目标数列本身这种"自包含"特性简化了证明过程，避免了寻找合适放缩不等式的困难自包含04理论地位：柯西准则是实数完备性（连续性）的等价表述之一，与确界原理、单调有界定理互为等价它深刻揭示了实数系的基本特征，是构建实数理论的重要基石完备性ApplicationExample夹逼准则应用：经典例题夹逼准则的核心应用策略是：当直接求极限困难时，通过放缩构造上下界函数，使两侧极限相等，从而间接确定目标极限。例题求极限limn→∞[1/(n²+1)+1/(n²+2)+…+1/(n²+n)]，共n项的和式极限下界构造每项分母最大为n²+n，故和式≥n·1/(n²+n)=n/(n²+n)=1/(n+1)→0上界构造每项分母最小为n²+1，故和式≤n·1/(n²+1)=n/(n²+1)→0夹逼结论两侧极限均为0，故原式极限=0，无需精确求和即可完成证明CHAPTER02两个重要极限lim(sinx/x)=1与lim(1+1/x)x=e——微积分的两大基石Calculus·LimitTheory第一个重要极限的几何推导通过在单位圆中构造三角形与扇形的面积不等式，利用夹逼准则可严格证明lim(x→0)sinx/x=1。01构造单位圆（半径=1），设圆心角∠AOB=x（0<x<π/2），过A作切线AC，过B作BD⊥OA02面积不等式：S△OBD<S扇形OAB<S△OAC，即½sinx·cosx<½x<½tanx03化简得cosx<sinx/x<1，当x→0时cosx→1，由夹逼准则得lim(x→0)sinx/x=104推广：该极限对x→0⁺和x→0⁻均成立（利用sinx/x是偶函数），故双侧极限为1单位圆中三角函数几何关系示意Calculus·LimitTheory第一个重要极限的推广与变形第一个重要极限的本质是：当□→0时，sin□/□→1。掌握这一模式的推广形式，可以灵活处理各种含有三角函数的0/0型极限问题，关键在于通过代数变形将目标表达式凑成标准形式。01核心模式：只要□→0，就有limsin□/□=1，其中□可以是任何趋向0的表达式sin□/□→102直接套用：limsin3x/(3x)=1，limsin(x²)/(x²)=1，limsin(√x)/(√x)=1=103变形技巧：limsin3x/x=lim[sin3x/(3x)]·3=3，通过凑配系数还原标准形式×304结合其他法则：limtanx/x=lim(sinx/x)·(1/cosx)=1·1=1tan重要极限·应用第一个重要极限：典型例题精讲第一个重要极限的应用需要灵活结合三角恒等变换、变量替换和极限运算法则，常见技巧包括：利用tanx=sinx/cosx拆分、利用半角公式处理1-cosx、利用换元法处理反三角函数。01lim(x→0)tanx/x=lim(x→0)(sinx/x)·(1/cosx)=1×1=1，将tanx拆为sinx与1/cosx的乘积=102lim(x→0)(1-cosx)/x²=lim2sin²(x/2)/x²=½·[sin(x/2)/(x/2)]²→½·1²=½=½03lim(x→0)arcsinx/x，令t=arcsinx则x=sint，原式=lim(t→0)t/sint=1/1=1=104解题策略：先识别0/0型，再通过三角变换或换元凑出sin□/□的标准形式sin□/□→1CALCULUS·LIMITS第二个重要极限：定义与直观理解第二个重要极限lim(x→∞)(1+1/x)^x=e定义了自然对数的底e≈2.71828。这是典型的1^∞型不定式——底数趋向1而指数趋向无穷，两者的竞争最终收敛于e，体现了"复利增长"的数学本质。标准形式极限表达式lim(x→∞)(1+1/x)^x=e是微积分中最核心的极限之一，其中常数e≈2.71828...是自然对数的底，属于无理数，在指数函数与对数函数中具有基础性地位。FundamentalLimit等价形式通过变量替换t=1/x，当x→∞时t→0⁺，可得到等价形式lim(t→0)(1+t)^(1/t)=e。这两种形式在不同场景下各有优势，可根据具体问题灵活选用。VariableSubstitution不定式类型该极限属于1^∞型不定式——底数(1+1/x)趋向于1，而指数x趋向于无穷大。这种"1的无穷次方"形式不能简单代入求值，必须通过取对数或重要极限公式求解。IndeterminateForm直观理解可类比银行连续复利模型——本金1元，年利率100%，若将一年分为x次计息，则x→∞时本息和趋向e元。这揭示了e作为"连续增长极限"的自然本质。ContinuousCompoundingMATHEMATICALANALYSIS·LIMITTHEORY第二个重要极限的存在性证明利用单调有界准则可证明数列(1+1/n)n收敛：通过二项式展开证明其单调递增，再通过放缩证明其有上界3，从而保证极限存在，并将该极限定义为e。01单调性证明用二项式定理展开(1+1/n)n，逐项比较可知xn<xn+1，数列单调递增。xn<xn+102有界性证明展开后第k项为C(n,k)·(1/n)k≤1/k!，故xn<Σ(1/k!)<1+1+1/2+1/4+…=3。上界=303单调有界准则{xn}单调递增且有上界3，由单调有界准则可知极限存在，定义该极限为e。lim→存在04e的精确值e=1+1/1!+1/2!+1/3!+…=2.718281828…，是数学中最重要的常数之一。2.71828…AdvancedCalculus第二个重要极限的推广与变形第二个重要极限的推广模式为lim(1+□)1/□=e（□→0时）。核心技巧是通过换元或指数变形，将目标表达式凑成标准形式，再利用极限运算法则和指数连续性求出结果。01核心模式：当□→0时，lim(1+□)1/□=e；当□→∞时，lim(1+1/□)□=e。两种形式互为等价，是所有推广变形的起点。02指数变形：limx→∞(1+1/(2x))x=lim[(1+1/(2x))2x]1/2=e1/2=√e。将指数拆分为"凑标准形×剩余幂次"两步。03系数凑配：limx→0(1+3x)1/x=lim[(1+3x)1/(3x)]3=e3。令t=3x换元即可将系数纳入标准形式。04一般公式：limx→∞(1+a/x)bx=eab。掌握此通用结论可快速求解同类极限问题，无需逐题换元。典型例题第二个重要极限：典型例题精讲第二个重要极限的解题核心是识别1∞型不定式，然后通过换元或指数变形将其凑成(1+□)1/□的标准形式。通用公式lim(1+a/x)bx=eab可大幅提升解题效率。01lim(x→∞)(1−1/x)x=lim[(1+(−1/x))x/(−1)]−1=e−1=1/e02lim(x→∞)(1+2/x)3x=lim[(1+2/x)x/2]6=e6，令t=2/x换元03lim(x→0)(1+sinx)1/x=lim[(1+sinx)1/sinx]sinx/x=e1=e⚡快速公式对1∞型limf(x)g(x)，若f(x)→1且g(x)→∞则极限=elim(f(x)−1)·g(x)CALCULUS·LIMITS两个重要极限对比总结两个重要极限分别处理不同类型的不定式：第一个处理0/0型三角函数极限，第二个处理1^∞型幂指函数极限。掌握两者的区别与联系，是灵活运用它们解决复杂极限问题的基础。比较维度第一个重要极限第二个重要极限标准形式lim(x→0)sinx/x=1lim(x→∞)(1+1/x)^x=e等价形式lim(□→0)sin□/□=1lim(□→0)(1+□)^(1/□)=e不定式类型0/0型1^∞型核心变形技巧凑配系数使分子分母匹配指数凑倒数+换元所用判定准则夹逼准则（准则Ⅰ）单调有界准则（准则Ⅱ）典型应用三角函数极限、导数推导复利模型、指数函数导数两个重要极限分别对应0/0型和1^∞型不定式，是微积分中最基础、最高频的极限公式CHAPTER03无穷小的比较高阶、同阶、等价无穷小——精确描述无穷小量趋近零的速度差异Calculus·Limits为什么需要比较无穷小？不同无穷小量趋向零的速度存在显著差异：x²比x趋向零更快，sinx与x趋向零速度相近。通过比较两个无穷小比值的极限，可以精确量化这种速度差异，从而建立无穷小的"阶"的概念。01问题引入：x→0时，x、x²、sinx、1−cosx都是无穷小，但它们趋向0的"快慢"各不相同x,x²,sinx,1−cosx02速度差异示例：x²/x=x→0，说明x²比x更快趋向0；sinx/x→1，说明sinx与x速度相近→0vs→103比较方法：设α、β为同一过程的两个无穷小，通过考察lim(β/α)的值来比较两者的阶lim(β/α)04实用价值：无穷小的阶的比较是简化极限计算的核心工具，等价无穷小替换可大幅降低计算复杂度等价替换无穷小分析无穷小比较的定义体系无穷小的比较通过两个无穷小比值的极限值来分类：比值为0为高阶无穷小，为非零常数为同阶无穷小，为1为等价无穷小。这套分类体系为极限计算中的近似替换提供了严格的理论基础。基本分类01高阶无穷小：若lim(β/α)=0，则β是α的高阶无穷小，记作β=o(α)，表示β→0比α更快02同阶无穷小：若lim(β/α)=c≠0（c为常数），则β与α是同阶无穷小，趋向0的速度相当03等价无穷小：若lim(β/α)=1，则β与α等价，记作β~α，是同阶无穷小的特殊情况进阶分类04低阶无穷小：若lim(β/α)=∞，则β是α的低阶无穷小，表示β→0比α更慢05k阶无穷小：若lim(β/αk)=c≠0（k>0），则β是关于α的k阶无穷小，描述精确的阶数关系CALCULUS·LIMITS常用等价无穷小公式表（x→0时）当x→0时，一批常见初等函数与x（或x的简单表达式）等价，这些等价关系构成了极限计算的"工具箱"。x→0时的常用等价无穷小函数f(x)等价无穷小证明线索sinxx第一个重要极限lim(sinx/x)=1tanxxtanx/x=(sinx/x)·(1/cosx)→1arcsinxx令t=arcsinx换元后化为第一个重要极限arctanxx类似arcsinx，换元后利用第一个重要极限ln(1+x)xln(1+x)/x=ln(1+x)^(1/x)→lne=1eˣ−1x令t=eˣ−1换元，化为ln(1+t)/t→11−cosxx²/2半角公式：1−cosx=2sin²(x/2)(1+x)ᵃ−1ax利用e^(aln(1+x))−1~alnx~axaˣ−1x·lnaaˣ=e^(xlna)，令t=xlna化为eᵗ−1~t九组最常用的等价无穷小，x→0时可直接替换使用，是极限计算的核心工具CALCULUS·LIMITTHEOREM等价无穷小替换定理等价无穷小替换定理允许在求比值极限时用简单的等价无穷小替代复杂的无穷小，从而大幅简化计算。但替换仅在乘除因子中安全使用，在加减运算中替换可能导致错误结论，需格外谨慎。01定理内容设α∼α′、β∼β′（同一变化过程），则lim(β/α)=lim(β′/α′)，极限值不变02证明过程lim(β/α)=lim[(β/β′)·(β′/α′)·(α′/α)]=1·lim(β′/α′)·1=lim(β′/α′)03适用条件替换通常仅在乘除因子中安全，例如lim(sinx·tanx)/x²=lim(x·x)/x²=1乘除安全04禁用警告加减法中不可随意替换，如lim(x→0)(tanx−sinx)/x³不能直接替换为(x−x)/x³=0加减禁用极限理论·LIMITTHEORY等价无穷小替换的陷阱与正确用法等价无穷小替换在加减运算中可能导致错误，因为被替换掉的"等价差异"（高阶项）可能恰好是表达式的主要贡献。正确做法是先因式分解或化简，将加减转化为乘除后再进行替换。错误示范PROBLEM求lim(x→0)(tanx−sinx)/x³，若将tanx~x、sinx~x直接替换，得(x−x)/x³=0，结论错误ROOTCAUSEtanx=x+x³/3+…与sinx=x−x³/6+…的差异恰在x³阶，替换后丢失关键信息正确做法STEP1因式分解：tanx−sinx=sinx(1/cosx−1)=sinx·(1−cosx)/cosxSTEP2逐项替换（乘除形式）：sinx~x、1−cosx~x²/2、cosx→1，得x·(x²/2)/x³=1/2典型例题等价无穷小替换：典型例题等价无穷小替换是简化0/0型极限计算的最高效工具，在乘除因子位置直接替换可将复杂的三角函数、指数函数、对数函数极限转化为简单的多项式比值计算。015/3sin5x/tan3x→5x/3x分子分母均为乘除因子，可直接替换022/3(e2x−1)/ln(1+3x)→2x/3x利用eu−1~u和ln(1+u)~u替换032(1−cos2x)/sin²x→2x²/x²利用1−cos□~□²/2（□=2x）替换042ln(1+x²)/(1−cosx)→x²/(x²/2)注意1−cosx~x²/2而非x²CHAPTER04综合例题与课程小结多方法协同求解复杂极限问题，系统梳理本章核心知识体系CALCULUS·LIMITS综合例题1：多方法协同求解复杂极限问题往往需要多种工具协同使用：先用等价无穷小替换简化表达式结构，再用重要极限或运算法则完成最终计算。关键在于识别各部分分别适用哪种工具，并保持替换过程的严格性。PROBLEM求lim(x→0)[esinx−1]/tanx——分子含复合指数函数，分母为三角函数01等价替换·分子令u=sinx→0，由eu−1~u，得esinx−1~sinxeᵘ−1~u02等价替换·分母tanx~x（乘除因子可直接替换），原式化为lim(sinx)/xtanx~x03重要极限由第一个重要极限，当x→0时lim(sinx)/x=1FIRSTLIMIT04最终结果三步替换完成，综合得出极限值=1RESULTCALCULUS·LIMIT综合例题2：1∞型与三角变换1∞型极限的通用解法是将底数凑成(1+□)的形式，指数凑成1/□的倒数关系，利用第二个重要极限得到e的幂次。PROBLEM求 limx→0 (1+sinx)1/tanxSTEP01识别类型当x→0时，底数1+sinx→1，指数1/tanx→∞，属于1∞型不定式。1∞STEP02拆分指数将指数拆为(1/sinx)·(sinx/tanx)，构造重要极限的标准形式。(1+sinx)1/sinx×sinx/tanxSTEP03底数求极限令□=sinx→0，则(1+□)1/□→e，第二个重要极限的直接应用。eSTEP04指数求值sinx/tanx=cosx→1，故最终结果为e1。=eSQUEEZETHEOREM·综合例题综合例题3：夹逼准则求数列极限对于由多个项组成的和式数列极限，当直接求和困难时，夹逼准则是首选工具。关键策略是：用最大项乘以项数作为上界，用最小项乘以项数作为下界，当两侧极限相等时即得结论。01题目分析求lim(n→∞)Σ[k=0到n]1/(n+k)²，和式共有n+1项，需对整体进行放缩估计02构造上界每项≤1/n²，故和式≤(n+1)/n²=1/n+1/n²→0（当n→∞）03构造下界每项≥1/(2n)²=1/(4n²)，故和式≥(n+1)/(4n²)→0（当n→∞）04得出结论由夹逼准则：上界与下界极限均为0，故原式极限=0CALCULUS·INFINITESIMALS综合例题4：无穷小阶的判断判断无穷小关于x的阶数，需找到k>0使得lim(f(x)/x^k)=c≠0。常用方法包括：多项式看最低次项、复合函数用等价无穷小展开、乘积型分析各因子的阶数之和。01x³+2x²—低次项2x²主导，lim(x³+2x²)/x²=lim(x+2)=2≠0，为x的2阶无穷小k=202√(1+x)−1—利用(1+x)^(1/2)−1~x/2，lim[√(1+x)−1]/x=1/2≠0，为x的1阶（同阶）无穷小k=103x·sinx—lim(x·sinx)/x²=lim(sinx/x)=1≠0，两个1阶无穷小之积为2阶无穷小k=204e^(x²)−1—利用e^u−1~u（u=x²），lim(e^(x²)−1)/x²=1≠0，为x的2阶无穷小k=2Summary·知识框架课程知识体系总结本章围绕"极限的存在性与计算"展开，从判定准则到重要极限再到无穷小比较，构建了完整的极限分析工具链。三大准则回答"极限是否存在"，两个重要极限和等价无穷小回答"极限值是多少"。极限存在准则夹逼准则：两侧函数极限相等，则中间函数极限存在且相等单调有界准则：单调且有界的数列，极限必然存在柯西审敛原理：项间差可任意小⟺数列收敛（充要条件）收敛判定两个重要极限第一极限：lim(x→0)sinx/x=1，处理0/0型三角函数极限第二极限：lim(x→∞)(1+1/x)^x=e，处理1^∞型幂指函数极限应用技巧：换元法、配凑法、对数恒等式变形求极限自然常数：e≈2.71828，连续复利与增长模型的核心常数e≈2.718无穷小的比较分类体系：