导数公式是什么？
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 =坦克斯y'=1/cos^2x
8.y=cotx y'=-1/sin^2x
9 . y = arcsinx y'=1/√1-x^2
10 . y = arc cosx 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/。
可以知道当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→0 loga(1+⊿x/x)= logae。
lim⊿x→0⊿y/⊿x=logae/x。
可以知道，当a=e时，有y = lnxy' = 1/x。
此时可以推导出y = x n y' = NX (n-1)。因为y = x n，y = e ln (x n) = e nlnx，
所以你是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 ' =舒适
y'=1/x'=1/cosy=1/√1-sin^2y=1/√1-x^2
10.y=arccosx
x =舒适
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、ARCX、ARTHUX等复杂复合函数的求导中，通过查阅求导表并利用初始公式和
4.y=u土壤v，y'=u土壤v '
5.y=uv，y=u'v+uv '
能很快得到结果。