常用导数公式1
y=c(c 为常数) y=02
y=x^n y=nx^(n-1)3
y=a^x y=a^xlnay=e^x y=e^x4
y=logax y=logae/xy=lnx y=1/x5
y=sinx y=cosx6
y=cosx y=-sinx7
y=tanx y=1/cos^2x8
y=cotx y=-1/sin^2x9
y=arcsinx y=1/1-x^210
y=arccosx y=-1/1-x^211
y=arctanx y=1/1+x^212
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=uv-uv/v^23
y=f(x)的反函数是 x=g(y〕,则有 y=1/x证:1
显而易见,y=c 是一条平行于 x 轴的直线,所以到处的切线都是平行于 x的,故斜率为 0
用导数的定义做也是一样的:y=c,⊿y=c-c=0,lim⊿x0⊿y/⊿x=0
这个的推导暂且不证,因为假如依据导数的定义来推导的话就不能推广到 n为任意实数的一般状况
在得到 y=e^x y=e^x 和 y=lnx y=1/x 这两个结果后能用复合函数的求导给予证明
y=a^x,⊿y=a^(x+⊿x)-a^x=a^x(a^⊿x-1)⊿y/⊿x=a^x(a^⊿x-1)/⊿x假如直接令⊿x0,是不能导出导函数的,必需设一个帮助的函数=a^⊿x-1 通过换元进行计算
由设的帮助函数可以知道:⊿x=loga(1+)
所以(a^⊿x-1)/⊿x=/loga(1+)=1/loga(1+)^1/明显,当⊿x0 时,也是趋向于 0 的
而 lim0(1+)^1/=e,所以 lim01/loga(1+)^1/=1/logae