费马定理
\begin{align*} {设函数}f(x) {在点} x_0 {的某邻域} U(x_0) {内有定义,且在} x_0 {处可导。若对任意} x \in U(x_0) \end{align*}有:
\begin{align*} f(x) \leq f(x_0) \quad \text{(或} \ f(x) \geq f(x_0)\text{)} \end{align*}则:
\begin{align*} f'(x_0) = 0 \end{align*}证明:
对于
有
\begin{align*} f(x_0 + \Delta x) \leq f(x_0) \\ \end{align*}当 $$\Delta x > 0$$ 时:
\begin{align*} \frac{f(x_0 + \Delta x) - f(x_0)}{\Delta x} \leq 0 \quad \text{(右导数非正)} \end{align*}当 $$\Delta x < 0$$ 时:
\begin{align*} \frac{f(x_0 + \Delta x) - f(x_0)}{\Delta x} \geq 0 \quad \text{(左导数非负)} \end{align*}由可导性知左右导数相等,故 $$f’(x_0) = 0$$。
罗尔定理
若函数 满足:
- 在闭区间 上连续;
- 在开区间 内可导;
- 在区间端点处的函数值相等,即 ,
则在 内至少存在一点 \xi{(a < ξ < b)} 使得 。
拉格朗日中值定理
如果函数f(x)满足
(1)在闭区间[a,b]上连续;
(2)在开区间(a,b)内可导;
那么在(a,b)内至少有一点ξ(a<ξ<b) 使等式
\begin{align*} f(b)-f(a)=f'(\xi)(b-a) \end{align*}成立
证:
- 构造辅助函数ψ(x),等于f(x)曲线跟直线AB之间的垂直距离:
有
设直线AB的方程为y=L(x),则
\begin{align*} L(x) = f(a)+\frac{f(b)-f(a)}{b-a}(x-a) \end{align*}由于M,N的纵坐标为f(x)及L(x),有:
\begin{align*} \psi(x)=f(x)-L(x)=f(x)-\left[f(a)+\frac{f(b)-f(a)}{b-a}(x-a)\right] \quad (1) \end{align*}- 验证罗尔定理条件:
- ψ(x)在[a,b]上连续
- ψ(x)在(a,b)内可导
- ψ(a)=ψ(b)=0
对(1)式求导:
\begin{align*} \psi'(x)=f'(x)-\frac{f(b)-f(a)}{b-a} \end{align*}- 应用罗尔定理:
在(a,b)内至少存在一点ξ(a<ξ<b)使得ψ’(ξ)=0,即:
从而得到:
\begin{align*} f(b)-f(a)=f'(\xi)(b-a) \quad (2) \end{align*}- 推论:
如果函数f(x)在区间I上的导数恒为0,那么f(x)在区间I上是一个常数。
证明:
由(2)式,当$ f’(ξ)=0 $时,有f(b)-f(a)=0,即f(b)=f(a)。由于a,b是I上任意两点,故f(x)在I上为常数。
注:
- 式(2)表明存在点ξ处的切线斜率等于弦AB的斜率
- 辅助函数ψ(x)的构造是关键,它表示曲线与弦的垂直距离
- 当f(a)=f(b)时,即为罗尔定理的特殊情形
柯西中值定理
若函数 和 满足:
- 在闭区间 上连续;
- 在开区间 内可导;
- ,
则在 内至少存在一点 使得:
\begin{align*} \frac{f(b)-f(a)}{F(b)-F(a)} = \frac{f'(\xi)}{F'(\xi)} \quad \text{(两函数变化率之比相等)} \end{align*}证:
f(x),F(x)应用(2)式,上下一除即可
洛必达法则
定理1( 型):
若:
则:
\begin{align*} \lim_{x \to a} \frac{f(x)}{F(x)} = \lim_{x \to a} \frac{f'(x)}{F'(x)} \end{align*}定理2( 型):
将定理1中的 改为 ,条件类似。
重要极限例子
- 对数函数与幂函数:
- 幂函数与指数函数:
泰勒公式
泰勒中值定理:
\begin{align*} 若 f(x) 在含 x_0 的开区间 (a,b) 内有直到 (n+1) 阶导数,则对任意 x \in (a,b) 有: \end{align*} \begin{align*} f(x) &= f(x_0) + f'(x_0)(x-x_0) + \frac{f''(x_0)}{2!}(x-x_0)^2 + \cdots \\ &\quad + \frac{f^{(n)}(x_0)}{n!}(x-x_0)^n + R_n(x) \end{align*}其中余项:
\begin{align*} R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1} \quad \text{($\xi$ 在 $x_0$ 与 $x$ 之间)} \end{align*}