몫 규칙

testwiki
imported>TedBot님의 2022년 7월 28일 (목) 00:07 판 (봇: 문자열 변경 (]]에서, ''' → ]]에서 '''))
(차이) ← 이전 판 | 최신판 (차이) | 다음 판 → (차이)
둘러보기로 이동 검색으로 이동

틀:위키데이터 속성 추적 틀:미적분학

미적분학에서 몫 규칙(-規則, 틀:Llang) 또는 몫의 미분법은 두 함수의 몫을 미분할 때 쓰이는 공식이다.

정의

두 함수 f,g:Ix0I에서 미분 가능하다고 하자. 또한, g(x0)0이라고 하자. 그렇다면, f/g 역시 x0에서 미분 가능하며, 그 미분은 다음과 같다.

(fg)(x0)=f(x0)g(x0)f(x0)g(x0)g(x0)2

함수의 선형 근사 d()를 사용하여 표기하면 다음과 같다.

d(fg)|x=x0=gdffdgg2|x=x0

  • (4x2)(x2+1)의 미분은:

ddx4x2x2+1=(x2+1)(4)(4x2)(2x)(x2+1)2=(4x2+4)(8x24x)(x2+1)2=4x2+4x+4(x2+1)2

위의 예제에서는

g(x)=4x2
h(x)=x2+1

로 지정했다.

  • sin(x)/x2의 미분 (x ≠ 0 일 때):
cos(x)x2sin(x)2xx4

또다른 예로 : f(x)=2x2x3를 미분할 경우에: g(x)=2x2 and h(x)=x3, and g(x)=4x and h(x)=3x2 라는 것을 볼 수 있고, 따라서

f(x)=(4xx3)(2x23x2)(x3)2=4x46x4x6=2x4x6=2x2

이다.

증명

만약 f(x)=g(x)h(x)이며
h(x)0이 성립하고 gh는 미분 가능한 함수라면:
f(x)=limΔx0f(x+Δx)f(x)Δx=limΔx0g(x+Δx)h(x+Δx)g(x)h(x)Δx=limΔx01Δx(g(x+Δx)h(x)g(x)h(x+Δx)h(x)h(x+Δx))=limΔx01Δx((g(x+Δx)h(x)g(x)h(x))(g(x)h(x+Δx)g(x)h(x))h(x)h(x+Δx))=limΔx01Δx(h(x)(g(x+Δx)g(x))g(x)(h(x+Δx)h(x))h(x)h(x+Δx))=limΔx0g(x+Δx)g(x)Δxh(x)g(x)h(x+Δx)h(x)Δxh(x)h(x+Δx)=limΔx0(g(x+Δx)g(x)Δx)h(x)g(x)limΔx0(h(x+Δx)h(x)Δx)h(x)h(limΔx0(x+Δx))=g(x)h(x)g(x)h(x)[h(x)]2

곱 규칙의 응용

만약 f(x)=g(x)h(x) 라면

g(x)=f(x)h(x)
g(x)=f(x)h(x)+f(x)h(x)

나머지는 간단한 방정식을 풀때와 비슷한 방법으로 f(x)를 식 왼쪽의 유일한 항으로 만들어주면 되고, f(x)는 식 오른쪽에서 없애야 한다.

f(x)=g(x)f(x)h(x)h(x)=g(x)g(x)h(x)h(x)h(x)=g(x)h(x)g(x)h(x)(h(x))2


이어서

f(x)=g(x)h(x)에서
g(x)=1일때
(f(x))'=(1h(x))'
=(h(x))'(h(x))2
=h(x)h2(x)

같이 보기