導數表
1.y=c(c為常數)y'=0
2.y=x^ny'=nx^(n-1
3.y=a^xy'=a^xlna
y=e^xy'=e^x
4.y=logaxy'=logae/x
y=lnxy'=1/x
5.y=sinxy'=cosx
6.y=cosxy'=-sinx
7.y=tanxy'=1/cos^2x
8.y=cotxy'=-1/sin^2x
9.y=arcsinxy'=1/√1-x^2
10.y=arccosxy'=-1/√1-x^2
11.y=arctanxy'=1/1+x^2
12.y=arccotxy'=-1/1+x^2
推導依據
在推導的過程中有這幾個常見的公式需要用到：
- 鍊式法則： ，則 （f'[g(x)]中g(x) 看作整個變量，而g'(x) 中把x看作變量）。，則 （一般的萊布尼茨公式）。 ，則 。反函數求導法則：y=f(x) 的反函數是x=g(y) ，則有 （可由導數及微分的定義直接推得）。
推導過程
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.，則
8.，則
9.，則
10.，則
11.，則，，
12.，則，，
14.，則，，
15.，則，，
16.，則
17.聯立：①（ln(u^v))'=(v * lnu)'②（ln(u^v))'=ln'(u^v) * (u^v)'=(u^v)' / (u^v)
另外在對雙曲函數shx,chx,thx等以及反雙曲函數arshx,archx,arthx等和其他較複雜的複合函數求導時通過查閱導數表和運用開頭的公式與y=u土v,y'=u'土v'，y=uv,y=u'v+uv'均能較快捷地求得結果。
