除法定则

来自testwiki
跳转到导航 跳转到搜索

Template:微積分学 除法定则商定則Template:Lang-en)是数学中关于两个函数导数的一个计算定则。

若已知两个可導函数g,h及其导数g',h',且h(x)≠0,则它们的商

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

的导数为:

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

例子

4x2x2+1的导数为:
ddx(4x2x2+1) =(x2+1)(4)(4x2)(2x)(x2+1)2
=(4x2+4)(8x24x)(x2+1)2
=4x2+4x+4(x2+1)2
f(x)=2x2x3的导数为:
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Δxg(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Δxh(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)=g(x)f(x)h(x)h(x)=g(x)g(x)h(x)h(x)h(x)
f(x)=g(x)h(x)g(x)h(x)(h(x))2

从复合函数求导法则推出

考虑恒等式,v≠0

uv=14[(u+1v)2(u1v)2]

那么:

d(uv)dx=14ddx[(u+1v)2(u1v)2]

于是:

d(uv)dx=14[2(u+1v)(dudxdvv2dx)2(u1v)(dudx+dvv2dx)]

展开,得:

d(uv)dx=14[4vdudx4uv2dvdx]

最后,把分子和分母同除以4,便得:

d(uv)dx=[vdudxudvdx]v2

参见