Question

链式法则的证明(微积分)

如何证明?

希望高手给个准确的过程.
那个..我是初中生,....希望直接把证明过程给出,不要乱粘贴复制.
还有..我没有什么课本.麻烦大家打出来,谢谢了.
还有,2楼给的链接需要交钱什么的.

回7楼的,书我是有,而且也不错,但是没讲链式的证明- -.是比较浅的书

Answer 1

证法一：先证明个引理
f(x)在点x0可导的充要条件是在x0的某领域U(x0)内，存在一个在点x0连续的函数H(x),使f(x)-f(x0)=H(x)(x-x0)从而f'(x0)=H(x0)
证明：设f(x)在x0可导，令 H(x)=[f(x)-f(x0)]/(x-x0),x∈U'(x0)(x0去心领域)；H(x)=f'(x0),x=x0
因lim(x->x0)H(x)=lim(x->x0)[f(x)-f(x0)]/(x-x0)=f'(x0)=H(x0)
所以H(x)在点x0连续，且f(x)-f(x0)=H(x)(x-x0),x∈U(x0)
反之，设存在H(x),x∈U(x0),它在点x0连续，且f(x)-f(x0)=H(x)(x-x0),x∈U(x0)
因存在极限lim(x->x0)H(x)=lim(x->x0)[f(x)-f(x0)]/(x-x0)=lim(x->x0)f(x)=H(x0)
所以f(x)在点x0可导，且f'(x0)=H(x0)
引理证毕。

设u=φ(x)在点u0可导，y=f(u)在点u0=φ(x0)可导，则复合函数F(x)=f(φ(x))在x0可导，且F'(x0)=f'(u0)φ'(x0)=f'(φ(x0))φ'(x0)
证明：由f(u)在u0可导，由引理必要性，存在一个在点u0连续的函数H(u),使f'(u0)=H(u0),且f(u)-f(u0)=H(u)(u-u0)
又由u=φ(x)在x0可导，同理存在一个在点x0连续函数G(x),使φ'(x0)=G(x0),且φ(x)-φ(x0)=G(x)(x-x0)
于是就有，f(φ(x))-f(φ(x0))=H(φ(x))(φ(x)-φ(x0))=H(φ(x))G(x)(x-x0)
因为φ，G在x0连续，H在u0=φ(x0)连续，因此H(φ(x))G(x)在x0连续，再由引理的充分性可知F(x)在x0可导，且
F'(x0)=f'(u0)φ'(x0)=f'(φ(x0))φ'(x0)

证法二：y=f(u)在点u可导，u=g(x)在点x可导，则复合函数y=f(g(x))在点x0可导，且dy/dx=(dy/du)*(du/dx)
证明：因为y=f(u)在u可导，则lim(Δu->0)Δy/Δu=f'(u)或Δy/Δu=f'(u)+α(lim(Δu->0)α=0)
当Δu≠0，用Δu乘等式两边得，Δy=f'(u)Δu+αΔu
但当Δu=0时，Δy=f(u+Δu)-f(u)=0,故上等式还是成立。
又因为Δx≠0,用Δx除以等式两边，且求Δx->0的极限，得
dy/dx=lim(Δx->0)Δy/Δx=lim(Δx->0)[f'(u)Δu+αΔu]/Δx=f'(u)lim(Δx->0)Δy/Δx+lim(Δx->0)αΔu/Δx
又g(x)在x处连续(因为它可导),故当Δx->0时，有Δu=g(x+Δx)-g(x)->0
则lim(Δx->0)α=0
最终有dy/dx=(dy/du)*(du/dx)

Answer 2

导数公式及证明
这里将列举几个基本的函数的导数以及它们的推导过程:
1.y=c(c为常数) y'=0
2.y=x^n y'=nx^(n-1)
3.y=a^x y'=a^xlna
y=e^x y'=e^x
4.y=logax y'=logae/x
y=lnx y'=1/x
5.y=sinx y'=cosx
6.y=cosx y'=-sinx
7.y=tanx y'=1/cos^2x
8.y=cotx y'=-1/sin^2x
9.y=arcsinx y'=1/√1-x^2
10.y=arccosx y'=-1/√1-x^2
11.y=arctanx y'=1/1+x^2
12.y=arccotx y'=-1/1+x^2
在推导的过程中有这几个常见的公式需要用到：
1.y=f[g(x)],y'=f'[g(x)]•g'(x)『f'[g(x)]中g(x）看作整个变量，而g'(x)中把x看作变量』
2.y=u/v,y'=u'v-uv'/v^2
3.y=f(x)的反函数是x=g(y），则有y'=1/x'
证：1.显而易见，y=c是一条平行于x轴的直线，所以处处的切线都是平行于x的，故斜率为0。用导数的定义做也是一样的：y=c,⊿y=c-c=0,lim⊿x→0⊿y/⊿x=0。
2.这个的推导暂且不证，因为如果根据导数的定义来推导的话就不能推广到n为任意实数的一般情况。在得到 y=e^x y'=e^x和y=lnx y'=1/x这两个结果后能用复合函数的求导给予证明。
3.y=a^x,
⊿y=a^(x+⊿x)-a^x=a^x(a^⊿x-1)
⊿y/⊿x=a^x(a^⊿x-1)/⊿x
如果直接令⊿x→0，是不能导出导函数的，必须设一个辅助的函数β＝a^⊿x-1通过换元进行计算。由设的辅助函数可以知道：⊿x=loga(1+β)。
所以(a^⊿x-1)/⊿x＝β/loga(1+β)=1/loga(1+β)^1/β
显然，当⊿x→0时，β也是趋向于0的。而limβ→0(1+β)^1/β=e,所以limβ→01/loga(1+β)^1/β=1/logae=lna。
把这个结果代入lim⊿x→0⊿y/⊿x=lim⊿x→0a^x(a^⊿x-1)/⊿x后得到lim⊿x→0⊿y/⊿x=a^xlna。
可以知道，当a=e时有y=e^x y'=e^x。
4.y=logax
⊿y=loga(x+⊿x)-logax=loga(x+⊿x)/x=loga[(1+⊿x/x)^x]/x
⊿y/⊿x=loga[(1+⊿x/x)^(x/⊿x)]/x
因为当⊿x→0时，⊿x/x趋向于0而x/⊿x趋向于∞，所以lim⊿x→0loga(1+⊿x/x)^(x/⊿x)＝logae,所以有
lim⊿x→0⊿y/⊿x＝logae/x。
可以知道，当a=e时有y=lnx y'=1/x。
这时可以进行y=x^n y'=nx^(n-1)的推导了。因为y=x^n,所以y=e^ln(x^n)=e^nlnx,
所以y'=e^nlnx•(nlnx)'=x^n•n/x=nx^(n-1)。
5.y=sinx
⊿y=sin(x+⊿x)-sinx=2cos(x+⊿x/2)sin(⊿x/2)
⊿y/⊿x=2cos(x+⊿x/2)sin(⊿x/2)/⊿x=cos(x+⊿x/2)sin(⊿x/2)/(⊿x/2)
所以lim⊿x→0⊿y/⊿x=lim⊿x→0cos(x+⊿x/2)•lim⊿x→0sin(⊿x/2)/(⊿x/2)=cosx
6.类似地，可以导出y=cosx y'=-sinx。
7.y=tanx=sinx/cosx
y'=[(sinx)'cosx-sinx(cos)']/cos^2x=(cos^2x+sin^2x)/cos^2x=1/cos^2x
8.y=cotx=cosx/sinx
y'=[(cosx)'sinx-cosx(sinx)']/sin^2x=-1/sin^2x
9.y=arcsinx
x=siny
x'=cosy
y'=1/x'=1/cosy=1/√1-sin^2y=1/√1-x^2
10.y=arccosx
x=cosy
x'=-siny
y'=1/x'=-1/siny=-1/√1-cos^2y=-1/√1-x^2
11.y=arctanx
x=tany
x'=1/cos^2y
y'=1/x'=cos^2y=1/sec^2y=1/1+tan^2x=1/1+x^2
12.y=arccotx
x=coty
x'=-1/sin^2y
y'=1/x'=-sin^2y=-1/csc^2y=-1/1+cot^2y=-1/1+x^2
另外在对双曲函数shx,chx,thx等以及反双曲函数arshx,archx,arthx等和其他较复杂的复合函数求导时通过查阅导数表和运用开头的公式与
4.y=u土v,y'=u'土v'
5.y=uv,y=u'v+uv'
均能较快捷地求得结果。
参考资料：http://baike.baidu.com/view/30958.htm

Answer 3

1.y=c(c为常数) y'=0
2.y=x^n y'=nx^(n-1)
3.y=a^x y'=a^xlna
y=e^x y'=e^x
4.y=logax y'=logae/x
y=lnx y'=1/x
5.y=sinx y'=cosx
6.y=cosx y'=-sinx
7.y=tanx y'=1/cos^2x
8.y=cotx y'=-1/sin^2x
9.y=arcsinx y'=1/√1-x^2
10.y=arccosx y'=-1/√1-x^2
11.y=arctanx y'=1/1+x^2
12.y=arccotx y'=-1/1+x^2
在推导的过程中有这几个常见的公式需要用到：
1.y=f[g(x)],y'=f'[g(x)]•g'(x)『f'[g(x)]中g(x）看作整个变量，而g'(x)中把x看作变量』
2.y=u/v,y'=u'v-uv'/v^2
3.y=f(x)的反函数是x=g(y），则有y'=1/x'
证：1.显而易见，y=c是一条平行于x轴的直线，所以处处的切线都是平行于x的，故斜率为0。用导数的定义做也是一样的：y=c,⊿y=c-c=0,lim⊿x→0⊿y/⊿x=0。
2.这个的推导暂且不证，因为如果根据导数的定义来推导的话就不能推广到n为任意实数的一般情况。在得到 y=e^x y'=e^x和y=lnx y'=1/x这两个结果后能用复合函数的求导给予证明。
3.y=a^x,
⊿y=a^(x+⊿x)-a^x=a^x(a^⊿x-1)
⊿y/⊿x=a^x(a^⊿x-1)/⊿x
如果直接令⊿x→0，是不能导出导函数的，必须设一个辅助的函数β＝a^⊿x-1通过换元进行计算。由设的辅助函数可以知道：⊿x=loga(1+β)。
所以(a^⊿x-1)/⊿x＝β/loga(1+β)=1/loga(1+β)^1/β
显然，当⊿x→0时，β也是趋向于0的。而limβ→0(1+β)^1/β=e,所以limβ→01/loga(1+β)^1/β=1/logae=lna。
把这个结果代入lim⊿x→0⊿y/⊿x=lim⊿x→0a^x(a^⊿x-1)/⊿x后得到lim⊿x→0⊿y/⊿x=a^xlna。
可以知道，当a=e时有y=e^x y'=e^x。
4.y=logax
⊿y=loga(x+⊿x)-logax=loga(x+⊿x)/x=loga[(1+⊿x/x)^x]/x
⊿y/⊿x=loga[(1+⊿x/x)^(x/⊿x)]/x
因为当⊿x→0时，⊿x/x趋向于0而x/⊿x趋向于∞，所以lim⊿x→0loga(1+⊿x/x)^(x/⊿x)＝logae,所以有
lim⊿x→0⊿y/⊿x＝logae/x。
可以知道，当a=e时有y=lnx y'=1/x。
这时可以进行y=x^n y'=nx^(n-1)的推导了。因为y=x^n,所以y=e^ln(x^n)=e^nlnx,
所以y'=e^nlnx•(nlnx)'=x^n•n/x=nx^(n-1)。
5.y=sinx
⊿y=sin(x+⊿x)-sinx=2cos(x+⊿x/2)sin(⊿x/2)
⊿y/⊿x=2cos(x+⊿x/2)sin(⊿x/2)/⊿x=cos(x+⊿x/2)sin(⊿x/2)/(⊿x/2)
所以lim⊿x→0⊿y/⊿x=lim⊿x→0cos(x+⊿x/2)•lim⊿x→0sin(⊿x/2)/(⊿x/2)=cosx
6.类似地，可以导出y=cosx y'=-sinx。
7.y=tanx=sinx/cosx
y'=[(sinx)'cosx-sinx(cosx)']/cos^2x=(cos^2x+sin^2x)/cos^2x=1/cos^2x
8.y=cotx=cosx/sinx
y'=[(cosx)'sinx-cosx(sinx)']/sin^2x=-1/sin^2x
9.y=arcsinx
x=siny
x'=cosy
y'=1/x'=1/cosy=1/√1-sin^2y=1/√1-x^2
10.y=arccosx
x=cosy
x'=-siny
y'=1/x'=-1/siny=-1/√1-cos^2y=-1/√1-x^2
11.y=arctanx
x=tany
x'=1/cos^2y
y'=1/x'=cos^2y=1/sec^2y=1/1+tan^2x=1/1+x^2
12.y=arccotx
x=coty
x'=-1/sin^2y
y'=1/x'=-sin^2y=-1/csc^2y=-1/1+cot^2y=-1/1+x^2
另外在对双曲函数shx,chx,thx等以及反双曲函数arshx,archx,arthx等和其他较复杂的复合函数求导时通过查阅导数表和运用开头的公式与
4.y=u土v,y'=u'土v'
5.y=uv,y=u'v+uv'
均能较快捷地求得结果。

Answer 4

简单地说，设y(x)=g(f(x))，那么，我们有
[y(x)-y(x0)]/[x-x0]
=[y(x)-y(x0)]/[f(x)-f(x0)]*[f(x)-f(x0)]/[x-x0]
令x->x0，即得y'(x0)=g'(f(x0))*f'(x0)。
如果在x->x0的途中有某点x1使得f(x1)=f(x0)，那么只需要注意到这时y(x1)-y(x0)=0=g'(f(x0))[f(x1)-f(x0)]即可，剩下的完全一样。

Answer 5

ls不厚道;

是这样的,都可以通过定义证明;
同济大学出版的高等数学书上就有详细的求解过程;
建议lz自己练习一下;

或者通过中间变量进行证明,这里限于篇幅不便详细解说;
如果真的想探究的话,可以找高数老师;

个人建议.