跳至内容
Topos Uranos

导数的应用:导言

摘要

本课开启课程的最后一个单元,这一单元从导数在一点处所说的,过渡到它在一个区间上所说的。本课介绍本单元的进程:魏尔斯特拉斯定理保证在有界闭区间上连续的函数取得最大值与最小值;费马引理把它们定位在导数为零的地方;罗尔、拉格朗日与柯西的定理把导数的符号转化为关于整个区间的信息,由它们得出洛必达法则、单调性、极值判别法、凹凸性、曲率、最优化与牛顿-拉弗森方法。本课重构这些结果的历史,从费马求极大值的方法到达布定理,其顺序几乎与本单元的顺序相反;提出贯穿本单元的问题,即从局部到整体的过渡,并用有理数中的一个例子说明这一过渡依赖于实数的完备性。最后指出这些应用在本网站其他课程以及科学与技术中的用处。

学习目标

  1. 描述本单元的进程,说明每一课证明了什么、利用了前面哪些结果。
  2. 解释为什么关于函数的整体结论,如最大值的存在、单调性或某一方法的收敛性,除了导数之外还需要实数的完备性。
  3. 把本单元的结果置于其历史背景中,从费马求极大值的方法到达布定理,并区分它们被发现的顺序与被证明的顺序。
  4. 指出导数的应用在其他课程以及科学和技术应用中的作用。

入门测评

在学习本单元之前,最好先测一测起点。这份自测不计分:它的作用是让你知道该在哪里多停留。前九题依次对应本单元讲授内容的九课,每课一题,考查对其核心结果的理解(它保证什么、在什么条件下、不保证什么),而不是对某个表述的记忆;同样的技能会在最后的总结课中用别的数据再次考查。后五题检查本单元从前两个单元中默认已知的内容:波尔查诺定理、一点处导数的符号、二阶导数、隐函数求导与等价无穷小。

入门测评

开始本单元之前,先测一测你的起点。这是一次简短的自我测评:不计分,结果只保存在你的浏览器中。

  1. 第 1 题在下列哪种情形中,魏尔斯特拉斯定理保证函数在所给集合上取得最大值?

  2. 第 2 题函数 ff 在 R\mathbb{R} 上可导,f(0)=1f(0) = 1,且 ∣f′(x)∣≤2\abs{f'(x)} \leq 2 对任意 xx 成立。关于 f(3)f(3) 能断定什么?

  3. 第 3 题计算 lim⁡x→0x2sin⁡1xsin⁡x\lim_{x \to 0} \frac{x^2 \sin\frac{1}{x}}{\sin x}。

  4. 第 4 题在 R\mathbb{R} 上,函数 f(x)=x+cos⁡xf(x) = x + \cos x 是否严格递增?

  5. 第 5 题函数 ff 在 [0,4]\icc{0}{4} 上连续,在 (0,4)\ioo{0}{4} 的每一点处可导,只有 11 除外,并且它的导数只在 33 处为零。若 f(0)=2f(0) = 2、f(1)=−1f(1) = -1、f(2)=3f(2) = 3、f(3)=5f(3) = 5、f(4)=4f(4) = 4,则它在 [0,4]\icc{0}{4} 上的最大值与最小值是多少?

  6. 第 6 题f(x)=x5−5x4f(x) = x^5 - 5x^4 的拐点是哪些?

  7. 第 7 题f(x)=1xf(x) = \frac{1}{x} 的图像在点 (1,1)(1, 1) 处的密切圆是哪一个?

  8. 第 8 题抛物线 y=x2y = x^2 上离点 (0,2)(0, 2) 最近的点是哪些?

  9. 第 9 题函数 f(x)=ex−3f(x) = e^x - 3 在 R\mathbb{R} 上递增且下凸,它的根是 ln⁡3\ln 3,接近 1.09861.0986。从 x0=0x_0 = 0 出发,牛顿-拉弗森迭代值如何变化?

  10. 第 10 题来自前面的单元函数 ff 在 [0,1]\icc{0}{1} 上连续,f(0)=1f(0) = 1,f(1)=−1f(1) = -1。能断定什么?

  11. 第 11 题来自前面的单元函数 ff 在包含 aa 的某个开区间上有定义,并且 f′(a)>0f'(a) > 0。能断定什么?

  12. 第 12 题来自前面的单元计算 f′′(1)f''(1),其中 f(x)=x2ln⁡xf(x) = x^2 \ln x。

  13. 第 13 题来自前面的单元方程 x2+xy+y2=3x^2 + xy + y^2 = 3 在点 (1,1)(1, 1) 附近确定一个可导函数 y(x)y(x),且 y(1)=1y(1) = 1。y′(1)y'(1) 等于多少?

  14. 第 14 题来自前面的单元计算 lim⁡x→0ln⁡(1+x2)1−cos⁡x\lim_{x \to 0} \frac{\ln\left(1 + x^2\right)}{1 - \cos x}。