7.3 对于教学的建议
-
定理看似简单, 但却是求函数的极值和最值问题的理论基础.
-
中值定理将函数在两个 (可以相距很远) 点上的函数值之差, 也就是函数的增量, 与函数在某点的导数值联系起来. 从上一章我们已经知道函数的导数是一个局部性的概念, 但通过中值定理, 就可以用导数研究函数在大范围上的性质. 用与不用中值定理是完全不一样的. 读者只要对比例题 的两个证明, 就可以明白这一点. 其中第二个证明的复杂恰好衬托出中值定理的有力.
-
公式是一元微分学的顶峰。公式表面上似乎复杂,但它所面对的问题却是重要的实际问题。这就是如何用多项式来逼近函数。这里只需要加、减、乘三种运算。实际上从中学开始就清楚,除了多项式以及开平方等运算之外,一般初等函数的计算都不可能直接手算,而是一定要用某些工具,如数学用表、计算器或计算机,才能实现。所有函数计算,在计算机中总是归结为多项式计算,而 公式就是这些计算的基础。
-
两个带有不同余项形式的 公式 (即命题 和 ),分别是上一章的无穷小增量公式和本章的 中值定理 (即有限增量公式) 的推广。注意它们分别代表了在微分学中两种基本的思想方法。前者注重于当 时余项作为无穷小量的阶的估计,后者则要将余项用高阶导数表示出来 (尽管其中仍有不确定的中值)。
-
仅仅从所得到的结果就不难看出, 在多次应用中值定理的基础上所得到的 公式大大扩展了我们对可微函数的把握和使用. 这两个公式当然有极其广泛的应用. 本章的训练只是为理解公式本身而安排的.
-
在教材 [8] 的第一册第 页中作者有一段关于 定理的评价, 写得很出色. 我们原封不动地引在下面:
“我们不想把话说得太绝对, 但至少可以说: 凡是用一元微分学中的定理、技巧能解决的问题, 其中的大部分都可以用 定理来解决. 掌握了 定理之后, 回过头去看前面的那些理论, 似乎一切都在你的掌握之中, 使你有一种‘会当凌绝顶, 一览众山小’的意境. 从这个意义上说‘ 定理是一元微分学的顶峰’, 并不过分.”
- 对习题课的建议 中值定理的基础是 定理与 定理, 包括它们的证明思想. 这在 §7.1 中已作了比较多的说明. 如何根据具体情况使用这些有力的工具, 例如什么时候用 余项, 什么时候用 余项等, 这应该作为习题课训练的一个重点.
应用中值定理的另一个难点是作适当的辅助函数, 这也能体现一个学生的数学综合能力. 第一组参考题 是个很有启发性的题, 讲解此题后可进一步介绍下一个题.
设 在 上存在 阶导数, 且满足
其中 , . 证明: 存在 , 使得 .
证明
(1) 当 时, 令 , 则
由于 ,故由 定理,存在 ,使得 由于 从而
(2) 当 时, 令 , 则 , 且
由 (1), 存在 , 使得 . 即 .
展开式可以解决很多数学问题, 技巧性较强. 选择什么余项, 在哪一点展开, 是展开一点的值, 还是展开多点的值进行复合都很有讲究. 但在初学阶段的习题课还是要贯彻“少而精”的原则. 对一般的学生而言, 能用合适的余项展开 公式就已达到基本要求. 这部分内容也是考研的复习重点. 我们在两组参考题中为此提供了必要的素材.
- 设有 个实数 满足
证明:方程 在区间 中至少有一个根.
-
设 , 证明: 方程 至少有两个根不是实根,
-
设 , 证明: 方程 只有一个实根 .
-
设 在 上连续, 在 上可微, 且满足条件
证明: 对每个实数 , 在 内存在点 , 使成立 .
-
设 ,其中 为互异实数, 不同时为 。证明: 的零点个数小于 。
-
(1) 设 在 上可微, , , , 证明: 存在 , 使成立
(2) 设 在 上可微, , , , 证明: 对每个 , 存在 , 使成立
- 设 在 上连续, 在 上可微, 但不是线性函数, 证明: 存在 , 使成立
-
设 在 上二阶可微, , 且在某点 处有 , 证明: 存在 , 使 .
-
利用例题 的方法 (或其他方法) 解决以下问题:
(1) 设 在 三阶可微, 且有 , 证明: 对每个 , 存在 , 使成立
(2) 设 在 上五阶可微, 且有 , 证明: 对每个 , 存在 , 使成立
(3) 设 在 上三阶可微, 证明: 存在 , 使成立
(4) 设 在 上二阶可微, 证明: 对每个 , 有 , 使成立
- 设 , 在 上可微, 证明: 存在 , 使成立
- 设 在区间 上连续, 在 上 次可微, 设 , 证明: 存在 ,使成立
-
设 在 上可微, 且 , 证明: 在 上非一致连续.
-
设 在 上可微, 又存在有限极限 , 证明: 在 上一致连续.
-
设 在 上可微,且 ,证明: .
-
对分别满足以下两个条件的 , 设已知 , 求 :
(1)
(2)
-
设 在 上二阶可微, 且 , , 证明: .
-
证明: 若在例题 中的区间从 改为 , 则可以得到更好的估计 .
-
设当 时有 。又已知 在 中取到最大值。证明: .
- 设 在 上可微, 在 上二阶可微, 证明: 存在 , 使成立
(注意: 这里没有假定 .)
-
设 在 上无限次可微, , 计算 .
-
证明:方程 无实根.
-
设 在 上二阶可微, 且有界, 证明: 存在 , 使成立 .
-
设 在 上可微, , 证明: 存在 , 使成立
- 设 在 上连续, 在 上可微, 又有 使成立 , 证明: 存在 , 满足
- 设 在 上连续, 在 上可微, , , , 证明: 对每个 , 存在 , 使成立
-
设 在 上二阶连续可微, , 且有 , 证明: 存在 , 使成立 .
-
设 在 上二阶连续可微, 且对所有 成立
证明:
- ( 定理) 定义广义二阶导数
若 , 同时 在 上处处等于 , 证明: 为线性函数.
- ( (贝尔曼-格郎沃尔) 不等式的微分形式) 设 在 上可微, , 且有常数 , 使成立
证明:
-
设 在 上有各阶导数, 且对每个 有 , 证明: .
-
设 在 上有任意阶导数, 且存在常数 , 使对所有 和 成立不等式 , 又有 成立, 证明: .
-
设 在点 有 阶导数, 证明:
- 设 在 上 阶可微,
证明:若 为有限数,则 都是有限数.
- 设 在 上 阶可微, 且存在有限极限
证明:对每个 成立
- (1) 设 在 上二阶可微, 有界, 且存在有限极限 , 证明: .
(2) 设 在 可微, 且存在有限极限 ,
() 举例说明 不一定成立;
(ii) 证明: 若 在 上一致连续, 则一定成立 .
- 设 在 上任意阶可微, 且对每个正整数 有 和 , 证明: 对每个 , 成立关于导数的估计式
- ( (伯恩斯坦) 定理) 设 在 上任意阶可微, 且对每个 成立 , 证明: 对每个 存在 , 使得当 时, 成立
有了微分学中值定理和 定理后, 我们在函数研究方面就有了强有力的工具. 本章将分专题介绍这些工具是如何应用的. 虽然其中多数问题可能在过去已经遇到过, 但只有在学了微分学的知识之后, 我们才有条件来讨论解决这些问题的一般性方法.
书籍模块索引
数学分析 · 章节内联关系图谱
核心知识枢纽章节
被全书其他章节引用频次最高的基石章节:
图谱交互提示
- 视角放大/缩小:使用左下角工具栏 +/- 或鼠标滚轮;
- 大书防混淆:顶部选择“按篇章/大章聚合”或“聚焦当前章”;
- 视图平移与拖拽:拖动画布或节点;双击节点直达原文。