도함수의 정의

일반적으로 함수 y=f(x) 가 정의역 X 에서 미분가능하면

정의역에 속하는 모든 x 에 대하여

미분계수 f'(x) 를 대응시키는 새로운 함수

f':x → f'(x)

즉,

가 존재합니다.

이 때,

함수 f'(x) 를 f(x) 의 도함수라 하고,

이것을 기호로

라고 나타냅니다.

함수 y=f(x) 에서 그 도함수 f'(x) 를 구하는 것을

함수 y=f(x) 를 x 에 대하여 미분한다라고 하고

그 계산법을 미분법이라고 합니다.