【证明题】（一）微分中值定理

微分中值定理

可导 $\to$ 费马 $\to$ 罗尔 $\{\begin{array}{llc}拉氏& & 构造原函数\\ 柯西& & 交叉原函数\end{array}$

费马引理：设 $f(x)$ 在 $x_0$ 某邻域 $U(x_0)$ 内有定义，且在 $x_0$ 处可导，若 $f(x)$ 在 $x_0$ 取到极值，则 $f^{{}^{\prime }}(x_0)=0$

证明：
设 $f(x)$ 在 $x_0$ 处取极大值，则 $\forall x\in U(x_0)$，均有 $f(x)\le f(x_0)$
又 $f(x)$ 在 $x_0$ 处可导，则 $f_{-}^{{}^{\prime }}(x_0)$ 与 $f_{+}^{{}^{\prime }}(x_0)$ 都存在且相等
$$f_{-}^{{}^{\prime }}(x_0)=\underset{x\to x_0^{-}}{\lim }\frac{f(x)-f(x_0)}{x-x_0}\ge 0，f_{+}^{{}^{\prime }}(x_0$$