함수 f(x)가 x=a에서 미분가능한 경우
h→0limhf(a+h)−f(a)=f′(a)이 성립한다.
즉, h→0limhf(a+h)−f(a)이 존재하고 그 값이 f′(a)이다.
따라서 f′(a)가 존재하는 경우
h→0limh2f(a+h2)−f(a)=t→0+limtf(a+t)−f(a)=f′(a)
h→0lim2hf(a+h)−f(a−h)=h→0lim21{hf(a+h)−f(h)+−hf(a−h)−f(h)}
=21{f′(a)+f′(a)}
=f′(a)
h→0limh3f(a+h3)−f(a)=t→0limtf(a+t)−f(a)=f′(a)
로 ㄱ, ㄴ, ㄷ 모두 성립한다.
하지만
f(x)=∣x−a∣인 경우 x=a에서 미분불가능하지만
h→0limh2f(a+h2)−f(a)=h→0limh2∣h2∣=1
h→0lim2hf(a+h)−f(a−h)=h→0limh∣h∣−∣−h∣=0
이다.
따라서 ㄱ, ㄷ은 함수 f(x)가 x=a에서 미분가능하기 위한 필요조건이다.
또한, h3=t라 하면
h→0+일 때, h3→0+이므로 t→0+이고
h→0−일 때, h3→0−이므로 t→0−이다.
따라서 h→0limh3f(a+h3)−f(a)=t→0limtf(a+t)−f(a)이므로
h→0limh3f(a+h3)−f(a)의 값이 존재하면
t→0limtf(a+t)−f(a) 즉, h→0limhf(a+h)−f(a)의 값이 존재한다.
따라서 ㄴ은 f(x)가 x=a에서 미분가능하기 위한 필요충분조건이다.