아무래도 대가가 쓴 책 내용이 깔끔하겠죠...
토시하나 안틀리고 그래로 배꼈음을 먼저 알려드립니다.
꼬릿말에 달아두었던 그 책을요.
Theorem) If F is continuous at x=a and if F is differentiable on some deleted neighborhood of x=a and if lim F'(x)(x->a) exists then F'(a) exists and F'(a)=lim F'(x)(x->a); that is, F' is continuous at x=a
pf) Let f(x)=F(x)-F(a) and g(x)=x-a. Then lim f(x)=0 (x->a) and lim g(x)=0 (x->a). Also, lim[f'(x)/g'(x)]=lim F'(x)(x->a 둘다) exists. By L'Hospital's rule, lim[f(x)/g(x)] (x->a) exists and equals
lim f'(x)/g'(x) = lim F'(x) (x->a)
Therefore
lim (F(x)-F(a))/(x-a)=lim F'(x) (x->a)
and so F'(a)=lim F'(x) (x->a)
This tells us that F(x) is differentiable at x=a and moreover that F' is continuous at x=a