5.导数与微分

定义

导数

  设函数$y=f(x)$在点$x_0$的某邻域内有定义,若极限
$$\underset{x\to x_0}{\lim }\frac{f(x)-f(x_0)}{x-x_0}$$
存在,则称函数$f$在点$x_0$处可导,并称该极限为函数$f$在点$x_0$处的导数,记作$f^{\prime }(x_0)$

定理

定理5.1

  若函数$f$在点$x_0$可导,则$f$在点$x_0$连续
  注 可导仅是函数在该点连续的充分条件,而不是必要条件.如函数$f(x)=|x|$在点$x=0$处连续,但不可导.

定理5.2

  若函数$y=f(x)$在点$x_0$的某邻域内有定义,则$f^{\prime }(x_0)$存在的充要条件是$f_{+}^{\prime }(x_0)$与$f_{-}^{\prime }(x_0)$都存在,且
$$f_{+}^{\prime }(x_0)=f_{-}^{\prime }(x_0)$$

定理5.3 费马定理

  设函数$f$在点$x_0$的某邻域内有定义,且在点$x_0$可导.若点$x_0$为$f$的极值点,则必有
$$f^{\prime }(x_0)=0$$
我们称满足方程$f^{\prime }=0$的点o为稳定点

定理5.4 达布Darboux

  若函数$f$在$[a,b]$上可导,且$f_{+}^{\prime }(a)̸=f_{-}^{\prime }(b)$,$k$为介于$f_{+}^{\prime }(a)$,$f_{-}^{\prime }(b)$之间任一实数,则至少存在一点$\xi \in (a,b)$,使得
$$f^{\prime }(\xi )=k$$

定理5.10

  函数$f$在点$x_0$可微的充要条件是函数$f$在点$x_0$可导,而且常量A等于$f^{\prime }(x_0)$