咱们来一步步拆解这个分段函数可微性的问题哈～

首先明确核心：要判断$f$在0处是否可微，关键看两点——$f$在0处是否连续，以及左右导数是否存在且相等。题目给的条件里，只保证了$f$在0处左连续（$\lim_{x \to 0^-}g(x)=h(0)$），但没直接说右连续，这是个关键缺口。

先看：如果补充h在0处右连续的条件，f在0处一定可微 #

咱们来严格证明一下：

• 右导数的推导：
  既然h在0处右连续（也就是$\lim_{x \to 0^+}h(x)=h(0)$），加上它在$(0,a)$可微，且$\lim_{x \to 0^+}h'(x)=L$，这正好符合导数极限定理的条件：函数在点处连续，去心邻域可导，导数极限存在，则函数在该点可导，导数等于极限。
  所以h在0处的右导数存在且等于L，也就是：
  $$\lim_{x \to 0^+}\frac{f(x)-f(0)}{x} = \lim_{x \to 0^+}\frac{h(x)-h(0)}{x} = L$$

• 左导数的推导：
  对于左半部分，$\lim_{x \to 0^-}g(x)=h(0)$说明$f$在0处左连续，$g$在$(-a,0)$可微且$\lim_{x \to 0^-}g'(x)=L$。这里用洛必达法则很直接：分子$\lim_{x \to 0^-}[g(x)-h(0)]=0$，分母$\lim_{x \to 0^-}x=0$，属于$\frac{0}{0}$型，且$g$在$(-a,0)$可导，分母导数不为0，所以：
  $$\lim_{x \to 0^-}\frac{f(x)-f(0)}{x} = \lim_{x \to 0^-}\frac{g(x)-h(0)}{x} = \lim_{x \to 0^-}g'(x) = L$$

左右导数都等于L，所以$f$在0处可微，导数就是L。

再看：存在反例，满足题目所有条件但f在0处不可微 #

问题就出在题目没要求h在0处右连续，咱们构造一个简单的反例：

• 取$a=1$，令$g(x)=0$（$x \in (-1,0)$）：它显然可微，导数恒为0，$\lim_{x \to 0^-}g(x)=0$，$\lim_{x \to 0^-}g'(x)=0=L$。
• 令$h(x)=\begin{cases}0 & x=0 \1 & x \in (0,1)\end{cases}$：它在$(0,1)$可微（导数恒为0），$\lim_{x \to 0^+}h'(x)=0=L$，且$\lim_{x \to 0^-}g(x)=0=h(0)$，完全符合题目给的所有条件。

这时候分段函数$f(x)$就是：
$$ f(x) = \begin{cases} 0 \quad x < 0 \ 0 \quad x = 0 \ 1 \quad x > 0 \end{cases} $$
很明显，$f$在0处的右极限是1，不等于$f(0)=0$，也就是$f$在0处不连续。而可微的必要条件是连续，所以$f$在0处肯定不可微。

总结 #

题目给出的条件不足以保证$f$在0处可微——只有当补充“h在0处右连续”这个条件时，$f$才一定在0处可微；否则就存在不可微的反例。

内容的提问来源于stack exchange，提问作者Sean Haight