左导数等于导函数左极限的条件是函数在该点左连续
显然由拉格朗日中值定理,得
lim(x→x0-){[f(x)-f(x0)]/(x-x0)}=lim((x→x0-)f'(ξ)(ξ在x与x0之间)
=lim((ξ→x0-)f'(ξ)
=lim((x→x0-)f'(x)