数学分析(五)-导数和微分2-求导法则3-复合函数的导数1：引理【f在x₀可导的充要条件：在x₀的某邻域U(x₀)上，存在一个在x₀连续的函数H(x)，使得f(x)-f(x₀)=H(x)(x-x₀)】

为了证明复合函数的求导公式,我们先证明一个引理.

引理

$f(x)$ 在点 $x_0$ 可导的充要条件是: 在 $x_0$ 的某邻域$U\left(x_0\right)$ 上, 存在一个在点 $x_0$连续的函数 $H(x)$, 使得

$$f(x)-f\left(x_0\right)=H(x)\left(x-x_0\right),$$

从而 $f^{\prime }\left(x_0\right)=H\left(x_0\right)$.

证
设 $f(x)$ 在点 $x_0$ 可导, 令

H ( x ) = { f ( x ) − f