두 미분 가능한 함수 g(x), h(x)의 곱인 함수 f(x)=g(x)h(x)를 미분한 공식은 다음과 같습니다.
f′(x)=g′(x)h(x)+g(x)h′(x)
평균 변화율 g(x)h(x)−g(c)h(c)x−c의 분자에 0=−g(x)h(c)+g(x)h(c)를 더하면 g(x)h(x)−g(c)h(c)x−c=g(x)h(x)−g(x)h(c)+g(x)h(c)−g(c)h(c)x−c 이다.
식을 정리해주면 g(x)h(x)−g(x)h(c)+g(x)h(c)−g(c)h(c)x−c=g(x)(h(x)−h(c)x−c)+h(c)(g(x)−g(c)x−c) 이다.
도함수 의 정의에 따라 두 함수가 x=c에서 미분가능하면 f′(c)=g(c)h′(c)+g′(c)h(c)이다.