充分性。
若f(0)=0, 则F'(0)=lim(h->0)[(1+|sinh|)f(h)]/h=lim(h->0)f(h)/h=f'(0)
即充分性成立。
必要性。
若F'(0)存在,有F'(0)=lim(h->0)[(1+|sinh|)f(h)-f(0)]/h=lim(h->0)[(f(h)-f(0))/h+|sinh|f(h)/h]
=f'(0)+lim(h->0)|sinh|/h* f(h)
若f(0)≠0,则
在x=0的左
邻域,lim|sinh|/h=-1, 因此有F'(0-)=f'(0)-f(0)
在x=0的右邻域,lim|sinh|/h=1,因此有F'(0+)=f'(0)+f(0)
这样F'(0-)≠F'(0+), 因此F'(0)不存在,矛盾。
因此必要性成立。
追问谢谢!看懂了!