一元微分学问题总结
一元微分学
判断题/常识
-
导函数至多只有第二类间断点.
-
[华四5.5定义1] 设函数 定义在 的某领域 上, 当给 一个增量 , 相应得到函数的增量为 . 若存在常数 使得 , 则称 在点 可微, 并称 为 在点 的微分.
注:从定义可以看出一元函数可微与可导等价. 可微 可导直接验证就行, 可导 可微只需利用有限增量公式 . -
[华四5.5例1] 叙述一阶微分的形式不变性. 说明高阶微分不再具有形式不变性.
注:函数 的一阶微分是 ; 若 是复合函数 的中间变量, 注意到 , 则这说明无论 作为自变量还是关于另一个可微函数的因变量, 它都满足 , 这就是一阶微分形式不变性.
下面说明二阶微分形式就不具备形式不变性了. 首先 的二阶微分为 ; 其次若 是复合函数 的中间变量, 则 , 于是从而 作为自变量和作为另一个可微函数的因变量时, 二阶微分形式不同, 即二阶微分不具有形式不变性.
-
[华四第五章总练习题3] 构造一个连续函数, 它仅在已知点 不可导; 构造一个函数, 它仅在已知点 可导.
注:. -
[华四第五章总练习题5(5)] 设 , 若 在点 可导, 在点 不可导, 则 在点 一定不可导.
注:分 和 两种情况讨论. -
*[华四6.4.2] 构造函数 , 它存在极值点但不满足极值第一、二充分条件.
注: 极小值点 . -
[华四总练习题11] 若函数 在某点处可导, 则它在这个点的某个领域内单调.
注:函数 在 处可导, 但在其任意领域内都不单调. -
*[华四总练习题17] 为 上的下凸函数 对任何 , 函数 为 上的下凸函数.
注:用定义验证, 比较绕. -
[李例3-1-1-5] 试作一个函数 在 上二阶可导, 且 在 不连续, 其余点处处连续.
注:构造函数 下面只需确定 的值以满足题设条件. 经典模型. -
*[李例3-1-1-10] 在点 连续且 在点 可导, 则 在点 可导.
注:讨论 的情况, 注意到如果 , 则有连续函数的保号性在 的领域内都有 , 这样我们容易证得结论是正确的. -
[李例3-1-4-1] 偶函数的奇数阶导数在 处的值为 ; 奇函数的偶数阶导数在 处的值为 .
注:简单的. -
[李例3-2-6-5] 若 在 上连续且 是 在 上唯一的极值点, 则 必为最值点.
注:显然是用反证法可证得结论. -
是区间 上的下凸函数当且仅当对任意三点 有 .
注:用下凸函数得定义. -
[李例3-2-7-1思考] 下凸函数的和仍是下凸函数; 下凸函数的差不一定是下凸函数; 下凸函数的数乘不一定是下凸函数; 下凸函数的积、商不一定是下凸函数; 两个下凸函数的 是下凸函数; 两个下凸函数的 不一定是下凸函数.
注:画画图直观点. -
[李例3-2-7-7] 为 内可导的下凸函数, 则 是 的极小值点当且仅当 .
注:必要性用 Fermat 定理; 充分性利用可导的下凸函数的充要条件 . -
*[李例3-2-7-8] 开区间 内的非常值下凸函数不能取到最大值.
注:反证, 假设能取到最大值点 , 于是一定存在 使得 , 不妨 , 再取 , 令 , 利用下凸函数的定义导出矛盾. -
*[李例3-2-7-9] 若 是区间 上的严格下凸函数的极值点, 则 一定是唯一的极小值点.
注:先证明它是极小值点再证唯一性, 都用反证法即可, 方法同上题. -
拐点的定义是什么.
注:和极值点的定义很像. -
[李例3-2-8-1] 若 在 上具有连续导函数, 且 , 能否推出 .
注:反例: .
计算题
- [华四5.3例2] 证明: 对数螺线 上所有点的切线与向径的夹角 为常量.
注:向径与切线的夹角正切为 .
类似可计算心性线 的切线与切点向径之间的夹角. - [华四5.4.5(4)] 求 的 阶导数.
注:Leibniz 公式的运用. - [李例3-1-5] 设 , 求 .
注:令 , 再利用 Leibniz 法则即可.
证明题
导数与微分
-
*[华四定理5.3] 证明 Fermat 定理: 设函数 在 的某领域上有定义, 且在 处可导. 若 是 的极值点, 则
注:反证法. 利用导数的定义和极限的保号性. -
[华四5.1.10] 若 在点 存在左右导数, 则 在点 连续.
注:利用左右导数的定义和极限的四则运算. -
[华四5.1.14] 证明: 若函数 在 上连续, 且 , 则在 上至少有一点 , 使得 .
注:利用极限的保号性和连续函数的介值定理. -
[华四5.1.17] 设 的最大零点为 , 证明: .
注:注意到 . -
[华四定理5.5推论] 设 均可导, 证明
注:利用数学归纳法. -
*[华四定理5.7] 证明反函数求导法则: 设 为 的反函数, 若 在点 的领域上连续, 严格单调且 , 则 在点 可导, 且 .
注:. -
*[华四定理5.8引理] 在点 可导 在 的某领域 上, 存在一个在点 连续的函数 , 使得 , 从而 .
注:利用此引理可证明复合函数求导法则. -
*[华四5.4.10] 设 . 证明:
(1) 它满足方程: ;
(2) 求 .
注:. -
*[华四5.4.11] 证明函数 在 处 阶可导且 , 其中 为任意正整数.
注:利用数学归纳法. 注意到 . -
[李例3-1-1-2] 设 连续, 存在, 且 , 有 . 求证 在 上可微, 且若 , 求 的表达式.
注:一元函数可微与可导等价, 因此只需用定义证明导数存在. -
[李例3-1-1-8] 已知 且 . 证明: 若存在 使得
则 在 处可导.
注:事实上通过变量换元可知 . -
*[李例3-1-2-2] 设函数 的反函数 以及 都存在, 且 . 证明 .
注:令 , 转为对 的导数.
微分中值定理
-
[华四6.1定理6.1] 证明 Rolle 中值定理.
注:利用 Fermat 定理, 也就是要找到极值点. Rolle 中值定理的推广为: 设 在 (有穷或无穷区间) 中任意点有有限导数, 且 , 则存在 使得 . 此定理的证明需分情况讨论, 当 是有限区间时可以延拓 , 构造出闭区间上的连续函数再利用 Rolle 中值定理即得; 当 为无限区间时, 可以换元 , 于是 就是有限区间上的函数, 再利用先前的结论即得. -
[华四6.1定理6.2] 证明 Lagrange 中值定理.
注: 值法, 令 , 构造 , 则 , 再利用 Rolle 中值定理即得结论. 或者考虑由 三点组成的三角形的面积 , 事实上, 有则 , 在利用 Rolle 中值定理即得结论.
-
[华四6.1推论3] 证明导函数的极限定理: 设 在点 的某领域 上连续, 在 内可导, 且极限 存在, 则 在点 可导, 且 .
注:考虑左右导数, 利用 Lagrange 中值定理, 类似于证明导函数至多只有第二类间断点的方法. -
*[华四6.1定理6.5] 证明 Darboux 定理: 若函数 在 上可导, 且 为介于 之间的任一实数, 则至少存在一点 , 使得 .
注:构造 , 利用 Fermat 定理. 此定理也成为导函数的介值定理.
换个说法就是:若函数 在 上可导, 则 可取得介于 与 之间的任何值. -
[华四6.1.10] 设 在 上可导, 且 单调. 证明: 在 上连续.
注:事实上, 单调函数至多只有跳跃间断点, 导函数至多只有第二类间断点, 因此单调的导函数无间断点. -
*[华四6.2定理6.6] 证明 Cauchy 中值定理.
注:类似于 Lagrange 中值定理的证明方法. 也可以构造 , 则 , 由 Rolle 中值定理可导出 Cauchy 中值定理. -
*[华四6.2.6] 设函数 在点 的某个领域上具有二阶导数. 证明: 对充分小的 , 存在 , 使得
注:利用 Cauchy 中值定理, .
-
*[华四第六章总练习题4] 设 在 上三阶可导, 证明存在 , 使得
注:构造 , 接着应用 Cauchy 中值定理.
或用 值法, 令 . -
*[华四6.2定理6.7] 证明 型不定式极限的L'Hospital 法则.
注:事实上,这是 Cauchy 中值定理的直接应用. -
*[华四6.2定理6.8] 证明强化的 L'Hospital 法则: 若函数 和 满足:
(i) 在 的某个右领域 上两者可导, 且 ;
(ii) ;
(iii) ( 可以是实数, 也可为 ),
则 .
注:此定理常用. -
*[华四6.3定理6.10] 证明 Taylor 定理: 若函数 在 上存在直至 阶的连续导函数, 在 上存在 阶导函数, 则对任意给定的 , 至少存在一点 , 使得
注:构造 , , 注意到 , 利用 Cauchy 中值定理即得结论.
-
[华四第六章总练习题8] 设 , 函数 在 上具有 阶连续导数, 且 , 在 上的 Taylor 公式为
证明 .
注:根据条件利用 Taylor 定理展开至 阶导. 接着比较两式写出 的表达式即得结论. -
[华四第六章总练习题12] 设函数 在 上二阶可导, . 证明存在一点 , 使得
注:分别以 两点为起始点 Taylor 展开.
-
[华四第六章总练习题13] 设函数 在 上具有二阶导数, 且 , 在 上取得最大值. 证明 .
注:有条件可知 在 上存在极大值, 依次为突破口不难证明结论. -
*[华四第六章总练习题15] 设 满足 , 其中 为任一函数. 证明: 若 , 则 在 上恒等于零.
注:用反证法, 推出存在极值点, 在利用极值与导数的关系推出矛盾. -
*[李例3-2-8-1] 在 上有连续导函数, 若 , 则满足下列两个条件之一就有 .
(1) 在 上有界; (2) 存在.
注:对 (1), 只需验证 , 构造 , 则 充分大时 趋于零, 因此可在 充分大处进行 Taylor 展开 (展开至二阶导), 此时 是一个无穷小, 而 有界, 因此只需控制 Taylor 展开的步长.
对 (2), 有四种处理方法: I. 与上面目标一致, 利用 Cauchy 收敛准则可知 充分大时 在两点的距离都是无穷小, 这样再利用 Lagrange 中值定理容易得到结论; II. 用反证法; III. 考虑 , 再利用 Heine 定理即得结论; IV. 用 L'Hospital 法则. -
*[李例3-2-8-2] 在 具有连续导函数,若 , 则
(1) 存在 使得$\lim\limits_{n\to + \infty}x_n= + \infty, \lim\limits_{n\to + \infty}f^{\prime}( x_n) = 0$;
(2) 再若 在 ( 具有二阶连续导函数, 且 , 则存在 使得
注:对于 (1) 只需考虑 ; 对于 (2) 用反证法即可. -
**[华四第六章总练习题18] 设 在 上 阶可导. 若 和 都存在, 则 .
注:利用数学归纳法. -
*[华四第六章总练习题19] 设 为 上的二阶可导函数. 若 在 上有界, 则存在 .
注:只需证存在 , 接着利用 Darboux 定理即得. 需要注意到 , 这是因为 有界. -
[李例3-1-3-1] 设 是 上无穷次可微函数, 使得 , 且 . 求 .
注:利用 Taylor 展开式的唯一性. -
**[李例3-1-3-2] 设 在 上无穷次可微且满足
(1) , 对 , 有 ;
(2) .
证明: .
注:利用 Taylor 公式. -
[李例3-2-1-5] 设 , 且 . 证明: , 使得 .
注:构造 . -
*[李例3-2-1-12] 设 , 其中 , 求证: 方程 在 上有唯一实根.
注:讨论 的奇偶性. -
**[李例3-2-2-5] 设 在 上可微, 为 个正数. 证明: 在 上存在一组互不相同的点 使得 .
注:即证 , 其中 , . 根据连续函数的介值定理, 对每个 都能找到一个 , 使得 . 接着对每个 上应用 Lagrange 中值定理. -
[李例3-2-2-8] 设 在 上具有二阶导数, 且 , 又存在 , 使得 . 证明: 方程 在 上仅有两个实根.
注:有条件值当 充分大时一定有 , 当 充分小时也一定有 , 因此在 和 上各有一个零点, 利用反证法不难证明只有两个实根. -
[李例3-2-2-10] 设 在 上可微且 , 并假设有实数 使得 . 证明: .
注:类似可证- 设 在 上连续, 在 上可导,且 , 若有实数 使得 .证明: .
- 若 在 [0,1] 上连续,且 有 .证明:
-
**[李例3-2-2-14] 设 在 上有连续的二阶导数, 且 . 证明:.
注: 在 上有最大值. 利用这个最大值点分成两段看问题. -
**[李例3-2-2-21] 证明: 当 时, .
注:令 , 则 , 分别在 上应用 Lagrange 中值定理. 类似可证 . 利用上述结论可求极限 . -
*[李例3-2-3-2] 设 在 上连续,在 内可微, . 证明: 存在 使得 .
注:利用 Lagrange 中值定理和 Cauchy 中值定理. -
[李例3-2-3练习(5)] 设 在 内连续可导, 且 . 求 .
注:取对数后 . -
[李例3-2-4-3] 设 在 上连续,在 上有二阶导数. 证明: 存在 使得
注:I. 在 处 Taylor 展开; II. 构造 , 利用两次 Lagrange 中值定理即可; III. K 值法; IV. 令 , 应用 Cauchy 中值定理.
-
[李例3-2-4-6] 设 在 [0,2] 上二次可微,且 . 证明: .
注:利用 Taylor 公式, 没什么难的. -
[李例3-2-4-7] 设 在 内二次可导, 分别为 的上确界证明:
注:利用 Taylor 公式, 没什么难的. -
[李例3-2-4-9] 设 在[0,1] 上两次可导,. 证明: .
注:利用 Taylor 公式, 没什么难的. -
*[李例3-2-4-12] 设 在 [0,1] 上二次连续可导, . 证明:
注:由题设, 存在极小值点 , 由 Fermat 定理得 , 再利用 Taylor 公式.
类似的习题:[李例3-2-4-13] 设 在 上连续,在 上二阶可导,且 为常数),又 . 证明 . -
*[李例3-2-4-14] 设 在 R 上有二阶导函数, 且 均大于零,假设存在正常数 使得 对一切 成立.
(1) 求证
(2) 求证: 存在常数 c 使得
注:(1) 单调增有下界, 因此极限存在; (2) 设 , 用待机系数法求出 . -
[李例3-2-4练习(7)] 证明 时无理数.
注:反证法, 利用 的麦克劳林公式. -
[李例3-2-5-11] 已知在 上定义的可微函数 满足条件
(1) 求
(2) 证明:当 时,
注:主要就是解一个微分方程. -
[李例3-2-5-12] 设 在 上连续,在 ( 内可微, 不是线性函数,且 . 证明:
存在 使得 .
注:反证法. 构造 , 利用 不是线性函数导出矛盾. -
[李例3-2-5-13] 设 在 上单调下降且可微,若当 时, 成立,则当时,有.
注:可以看出 单调递减. -
[李例3-2-5-19]设 在 上一阶可微,且 在 上单调递减. 证明:
在 上单调递减.
注:注意到 .
凹凸性
-
**[华四6.5例5] 证明 Jensen 不等式: 若 为 上的下凸函数, 则对任意 , 有 .
注:利用数学归纳法. 若 在 内二次可导, 还可以利用 Taylor 公式证明, 此时将 视为 Taylor 的初始点写出 Taylor 展开式, 将每个 点代入后相加即可. -
**[华四6.5.9] 证明 Young 不等式: 设 , 则 .
注:令 , 这是一个下凸函数, 利用 Jensen 不等式即得. -
**[华四6.5.9] 证明 Hlder 不等式: 设 , 有 . 其中 .
注:令 , 即证 . 再利用 Young 不等式即得. -
*[华四6.5例6] 证明不等式 , 其中 均为正数.
注:利用 Jensen 不等式. -
*[华四6.5例7] 设 为开区间 内的下凸(上凸)函数, 证明 在 内的任一点 都存在左、右导数.
注:构造 , 这是一个增函数且在 上有界, 从而有单调有界原理即得结论. -
*[华四6.5.4] 设 为区间 上的严格下凸函数. 证明: 若 为 的极小值点, 则 为 在 上唯一的极小值点.
注:反证法, 利用严格下凸的定义推出矛盾. -
[李例3-2-7-6] 设 在 上连续,且对 恒有 证明
注:事实上, .
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 无需6万激活码!GitHub神秘组织3小时极速复刻Manus,手把手教你使用OpenManus搭建本
· Manus爆火,是硬核还是营销?
· 终于写完轮子一部分:tcp代理 了,记录一下
· 别再用vector<bool>了!Google高级工程师:这可能是STL最大的设计失误
· 单元测试从入门到精通