1. 개요
[math( displaystyle frac {f(x)}{g(x)} ; )](단, [math( displaystyle g(x) neq 0 )])
|
2. 증명
2.1. 미분계수를 이용한 증명
함수
[math( displaystyle F(x)=dfrac {f(x)}{g(x)} ; )](단, [math( displaystyle g(x) neq 0 )])
|
에 대하여 그 미분 계수는
[math(begin{aligned} displaystyle F'(x)&=lim_{h to 0}frac{F(x+h)-F(x)}{h} \&=lim_{h to 0}frac{1}{h} left[ dfrac{f(x+h)}{g(x+h)}-dfrac{f(x)}{g(x)} right] \&=lim_{h to 0}frac{1}{h} frac{f(x+h)g(x)-f(x)g(x+h)}{g(x)g(x+h)} end{aligned})]
|
위 결과의 분자에 [math(f(x)g(x))]를 빼고 더하면,
[math(begin{aligned} displaystyle F'(x)&=lim_{h to 0}frac{1}{h} frac{f(x+h)g(x)-f(x)g(x)-f(x)g(x+h)+f(x)g(x)}{g(x)g(x+h)} \&=lim_{h to 0}frac{1}{h} frac{g(x)[f(x+h)-f(x) ]-f(x)[g(x+h)-g(x) ] }{g(x)g(x+h)} \&=lim_{h to 0}frac{ g(x) dfrac{f(x+h)-f(x)}{h}-f(x) dfrac{g(x+h)-g(x)}{h} }{g(x) g(x+h)} \&=frac{displaystyle g(x) lim_{h to 0} dfrac{f(x+h)-f(x)}{h}-f(x )lim_{h to 0} dfrac{g(x+h)-g(x)}{h} }{displaystyle g(x) lim_{h to 0} g(x+h)} \ &=frac{f'(x)g(x)-f(x)g'(x)}{[g(x) ]^{2}} end{aligned})]
|
[math(thereforedisplaystyle left[ frac{f(x)}{g(x)} right]'=frac{f'(x)g(x)-f(x)g'(x)}{[g(x) ]^{2}} ; )](단, [math( displaystyle g(x) neq 0 )])
|
한편, [math(f(x)=1)]이면 다음이 성립한다.
[math(displaystyle left[ frac{1}{g(x)} right]'=-frac{g'(x)}{[g(x) ]^{2}} ; )](단, [math( displaystyle g(x) neq 0 )])
|
2.2. 곱미분을 이용한 증명
함수
[math( displaystyle F(x)=frac {f(x)}{g(x)} ; )](단, [math( displaystyle g(x) neq 0 )])
|
에 대하여 양변에 [math(g(x))]를 곱하면,
[math( displaystyle f(x)=F(x)g(x) )]
|
이때, 곱미분을 이용하여 [math(f(x))]의 도함수를 구하면,
[math( displaystyle f'(x)=F(x)g'(x)+F'(x)g(x) )]
|
[math(F'(x))]에 대하여 정리하면,
[math( displaystyle begin{aligned} F'(x)&=frac{f'(x)-F(x)g'(x)}{g(x)} \&=frac{displaystyle f'(x)-frac{f(x)}{g(x)}g'(x)}{g(x)} \&=frac{f'(x)g(x)-f(x)g'(x)}{[g(x) ]^2} end{aligned} )]
|
3. 활용
- 분수함수의 도함수를 구할 때도 쓰이지만 탄젠트 함수의 도함수를 증명할 때 용이하게 쓰인다. 자세한 것은 삼각함수의 도함수 참조.
4. 기타
- 곱미분을 이용한 증명은 고교 교육 과정에선 다루지 않으나, 고교 이상의 교육과정에서는 간간이 쓰이기 때문에 한번 증명해 보는 것이 좋다.[6]
4.1. 고등학교 교육과정
5. 관련 문서
[1] 현행 고교 교육과정에는 이 명칭으로 배움.[2] 일부 재치 있는 교육자는 수학에서 역원을 활용하는 테크닉에 대해서 "If the problem gets complicated, do nothing mathematically.(문제가 복잡해지면, 수학적으로 아무것도 하지 마라.)"라고 가르치기도 한다.[3] 학원에서는 이런 방법으로 증명하기도 한다.[4] 간단한 몫 적분인 [math(displaystyle int frac1x , mathrm{d}x)[5] 일부 재치 있는 교육자는 수학에서 역원을 활용하는 테크닉에 대해서 "If the problem gets complicated, do nothing mathematically.(문제가 복잡해지면, 수학적으로 아무것도 하지 마라.)"라고 가르치기도 한다.[6] 학원에서는 이런 방법으로 증명하기도 한다.[7] 간단한 몫 적분인 [math(displaystyle int frac1x , mathrm{d}x)