Quartz 4

柯西中值定理处理与施瓦茨积分不等式

一、 题型特征与识别信号（什么时候用？）

当你在证明题中看到以下结构特征时，立刻召唤柯西中值定理：

  1. 结论呈“分式/比例”形态：结论中出现 或 的结构。

  2. 伴随端点常数：式子中带有由区间端点代入计算出的常数（如 、 等）。

  3. 结合积分放缩：已知条件给出了 的某种范围（如 ），需要从变限积分放缩到常数。

二、 核心解题 SOP（四步绝杀法）

Step 1：确定两个辅助函数 与

  • 将目标式变形为 分子导数 / 分母导数 的形式：。

  • 若分子出现原函数 ，则构造变限积分：

  • 若分母出现 ，则构造原函数：

Step 2：套用柯西中值定理（Cauchy’s MVT）

在闭区间 上对 和 使用柯西中值定理，必存在 使得：

Step 3：化简两端（代入展开）

  • 左边分子：

  • 左边分母：（直接算出数值）

  • 右边：

Step 4：利用已知不等式进行积分放缩

利用第一问或已知条件（如 ），对定积分进行放缩：

代回等式左边，即可一击必杀推出目标不等式！

三、 实战模型解析（结合张宇1000题例题）

【题目背景】

已知当 时，。证明存在 ，使 。

【变形破局】

目标变形：。

【标准书写】

  1. 设 ，。

  2. 在 上应用柯西中值定理，存在 ，使得：

  3. 代入计算：

  4. 因为当 时 ，故 。

  5. 代入得：

💡 考场高能避坑与记忆卡片

  • 拉格朗日 vs 柯西中值：

    • 只出现 一个函数 或单函数差值 用 拉格朗日中值定理。

    • 出现 两个函数求导后的商 （特别是带指数、对数的比例） 果断用柯西中值定理！

  • 变限积分是制造 的神器：

    • 只要目标式子里出现的是 而不是 ，且你想用中值定理，把 放在变限积分 里求导，就能把 升格为“导数”参与运算！

柯西-施瓦茨积分不等式证明函数与导数平方关系

是什么

柯西-施瓦茨（Cauchy-Schwarz）积分不等式是积分领域最核心的放缩工具，常用于建立函数自身、导数、多项式权重之间平方项的积分不等式关系。

公式 & 适用条件

  • 柯西-施瓦茨积分不等式

    适用条件： 在 上可积。若两函数连续，当且仅当 与 线性相关（即 ）时取等号。

  • 微积分基本定理转化公式

    适用条件： 在 上可积。当给定端点值 时，可直接将函数值转化为导数的积分：。

怎么用（解题步骤）

  1. 转化函数表达式：观察题设条件，若有 且结论含导数平方项 ，利用微积分基本定理将 转化为导数积分形式 。

  2. 两边平方并施加不等式：将 形式平方后，应用柯西-施瓦茨不等式拆分成常数函数 的积分与 的积分之积。

  3. 区间放大与积分累积：利用非负性 ，将变上限积分 放大到全区间定积分 （使其变为常数），随后两边对 在 上积分并整理。

例题

  • 题目：设 在 上可导，且 连续，。证明：

  • 解题过程：

    由微积分基本定理及 ，对任意 ：这里用的是牛顿莱布尼茨公式，所以省略了

应用柯西-施瓦茨积分不等式：

==因为对任意 恒有 ，由定积分的区间可加性与非负性，当 时：故：（放大区间）==

从而：

两边关于 在 上积分：

注意：这个是常数所以提出来了

  • 结论：

⚠️ 易错点

Warning

  • 积分变量冲突：用微积分基本定理表达 时，内层被积变量必须更换为 （即 ），切忌写成 。

  • 随意放大积分区间：将变上限积分 放大到定积分 的前提是被积函数非负恒成立（本题中 ），若符号未定则不能直接放大。

速记

见平方想柯西，拆出“导数”，放成常数再积分。

Graph View