基本函数推导过程这里将列举几个基本的函数的导数以及它们的推导过程：y=c(c为常数） y=0y=xn y=nx(n-1）3.y=ax y=axlnay=ex y=exy=logax(a为底数，x为真数） y=1/x*lnay=lnx y=1/xy=sinx y=cosxy=cosx y=-sinxy=tanx y=1/cos2xy=cotx y=-1/sin2xy=arcsinx y=1/（1-x2）y=arccosx y=-1/（1-x2）y=arctanx y=1/（1+x2）y=arccotx y=-1/（1+x2）y=uv = y=v * uv * lnu + u * u(v-1） * v引用的常用公式：在推导的过程中有这几个常见的公式需要用到：y=fg(x),y=fg(x)g(x）fg(x)中g(x）看作整个变量，而g(x）中把x看作变量y=u/v,y=（uv-uv）/v2y=f(x）的反函数是x=g(y），则有y=1/x2推导过程：证：1.显而易见，y=c是一条平行于x轴的直线，所以处处的切线都是平行于x的，故斜率为0。用导数的定义做也是一样的：y=c，y=c-c=0,limx0y/x=0。这个的推导暂且不证，因为如果根据导数的定义来推导的话就不能推广到n为任意实数的一般情况。在得到 y=ex y=ex和y=lnx y=1/x这两个结果后能用复合函数的求导给予证明。y=ax,y=a(x+x)-ax=ax(ax-1）y/x=ax(ax-1）/x如果直接令x0，是不能导出导函数的，必须设一个辅助的函数=ax-1通过换元进行计算。由设的辅助函数可以知道：x=loga（1+）。所以（ax-1）/x=/loga（1+）=1/loga（1+）1/显然，当x0时，也是趋向于0的。而lim0（1+）1/=e，所以lim01/loga（1+）1/=1/logae=lna。把这个结果代入limx0y/x=limx0ax(ax-1）/x后得到limx0y/x=axlna。可以知道，当a=e时有y=ex y=ex。y=logaxy=loga(x+x)-logax=loga(x+x)/x=loga（1+x/x)x/xy/x=loga（1+x/x)(x/x)/x因为当x0时，x/x趋向于0而x/x趋向于，所以limx0loga（1+x/x)(x/x)=logae，所以有limx0y/x=logae/x。可以知道，当a=e时有y=lnx y=1/x。这时可以进行y=xn y=nx(n-1）的推导了。因为y=xn，所以y=eln(xn)=enlnx,所以y=enlnx（nlnx)=xnn/x=nx(n-1）。y=sinxy=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）所以limx0y/x=limx0cos(x+x/2）limx0sin（x/2）/（x/2）=cosx类似地，可以导出y=cosx y=-sinx。y=tanx=sinx/cosxy=(sinx)cosx-sinx(cos)/cos2x=(cos2x+sin2x)/cos2x=1/cos2xy=cotx=cosx/sinxy=(cosx)sinx-cosx(sinx)/sin2x=-1/sin2xy=arcsinxx=sinyx=cosyy=1/x=1/cosy=1/1-sin2y=1/1-x2y=arccosxx=cosyx=-sinyy=1/x=-1/siny=-1/1-cos2y=-1/1-x2y=arctanxx=tanyx=1/cos2yy=1/x=cos2y=1/sec2y=1/1+tan2x=1/1+x2y=arccotxx=cotyx=-1/sin2yy=1/x=-sin2y=-1/csc2y=-1/1+cot2y=-1/1+x2联立：（ln(uv)=(v * lnu)（ln(uv)=ln(uv) * (uv)=(uv) / (uv)另外在对双曲函数shx,chx,thx等以及反双曲函数arshx,archx,arthx等和其他较复杂的复合函数求导时通过查阅导数表和运用开头的公式与y=u土v,y=u土vy=uv,y=uv+uv均能较快捷地求得结果。2