주어진 함수가 도함수(derivative)가 될 필요/충분 조건
실함수 $f : I \subseteq \R \to \R$이 주어졌다고 하자. 만약 어떤 실함수 $F : I \to \R$가 존재하여, 모든 $x \in I$에 대하여 $f(x) = F'(x)$를 만족할 때, $f$를 $F$의 도함수(derivative)라 한다. 이 때, 주어진 함수 $f$가 도함수가 될 (상대적으로 간단한) 필요/충분조건을 찾는 것은 수학에서 오래된 문제 중의 하나이다. $ $ 실함수 $f$가 도함수가 될 충분조건 - 연속성 우선 $f$가 도함수가 될 충분조건이 $f$가 연속(continuous)이라는 사실은 미적분학의 기본정리(fundamental theorem of calculus)를 통해서 알 수 있다.$ $ 정리. 미적분학의 기본정리 1(fundamental theorem of ..