导数公式的证明最全版

导数的定义：f'(x)=limAy/Ax△xT0(下面就不再标明Ax-0了)用定义求导数公式f(x)=xAn证法一：(n为自然数)f'(x)=lim[(x+Ax)An-xAn]/Ax=lim(x+Ax-x)[(x+Ax)A(n-1)+x*(x+Ax)A(n-2)+…+xA(n-2)*(x+Ax)+xA(n-1)]/Ax=lim[(x+Ax)A(n-1)+x*(x+Ax)A(n-2)+...+xA(n-2)*(x+Ax)+xA(n-1)]=xA(n-1)+x*xA(n-2)+xA2*xA(n-3)+…xA(n-2)*x+xA(n-1)=nxA(n-1)证法二：(n为任意实数)f(x)=xAnlnf(x)=nlnx(lnf(x))'=(nlnx)'f'(x)/f(x)=n/xf'(x)=n/x*f(x)f'(x)=n/x*xAnf'(x)=nxA(n-1)f(x)=sinxf'(x)=lim(sin(x+Ax)-sinx)/Ax=lim(sinxcosAx+cosxsinAx-sinx)/Ax=lim(sinx+cosxsinAx-sinx)/Ax=limcosxsinAx/Ax=cosxf(x)=cosxf'(x)=lim(cos(x+Ax)-cosx)/Ax=lim(cosxcosAx-sinxsinAx-cosx)/Ax-cos)/Ax=lim(cosx-sinxsinAx=lim-sinxsinAx/Ax=-sinxf(x)=aAx)(4证法一：f'(x)-a八x)/Ax=lim(aA(x+Ax)1)/Ax=limaAx*(aAAx-92/(设aAAx-1=m，则Ax=logaA(m+1))=limaAx*m/logaA(m+1)=lima八x*m/[ln(m+1)/lna]=lima八x*lna*m/ln(m+1)=lima八x*lna/[(1/m)*ln(m+1)]=lima八x*lna/ln[(m+1)八(1/m)]=lima八x*lna/lne=aAx*lna证法二：f(x)=aAxlnf(x)=xlna[lnf(x)]'=[xlna]'f'(x)/f(x)=lnaf'(x)=f(x)lnaf'(x)=aAxlna若a=e,原函数f(x)=eAx则f'(x)=eAx*lne=eAx(5)f(x)=logaAxf'(x)3/9=lim(logaA(x+Ax)-logaAx)/Ax=limloga八[(x+Ax)/x]/Ax=limloga八(1+Ax/x)/Ax=limln(1+Ax/x)/(lna*Ax)=limx*ln(1+Ax/x)/(x*lna*Ax)=lim(x/Ax)*ln(1+Ax/x)/(x*lna)=limln[(1+Ax/x)八(x/Ax)]/(x*lna)=limlne/(x*lna)=1/(x*lna)若a=e,原函数f(x)=loge八x=lnx则f'(x)=1/(x*lne)=1/xf(x)=tanxf'(x)=lim(tan(x+Ax)-tanx)/Ax=lim(sin(x+Ax)/cos(x+Ax)-sinx/cosx)/Ax=lim(sin(x+Ax)cosx-sinxcos(x+Ax)/(Axcosxcos(x+Ax))=lim(sinxcosAxcosx+sinAxcosxcosx-sinxcosxcosAx+sinxsinxsinAx)/(Axcosxcos(x+Ax))=limsinAx/(Axcosxcos(x+Ax))=1/(cosx)八2=secx/cosx=(secx)八2=1+(tanx)八2f(x)=cotxf'(x)=lim(cot(x+Ax)-cotx)/Ax=lim(cos(x+Ax)/sin(x+Ax)-cosx/sinx)/Ax=lim(cos(x+Ax)sinx-cosxsin(x+Ax))/(Axsinxsin(x+Ax))=lim(cosxcosAxsinx-sinxsinxsinAx-cosxsinxcosAx-cosxsinAxcosx)/(Axsinxsin(x+Ax))=lim-sinAx/(Axsinxsin(x+Ax))=-1/(sinx)八2=-cscx/sinx=-(secx)八2=-1-(cotx)八2f(x)=secxf'(x)=lim(sec(x+Ax)-secx)/Ax=lim(1/cos(x+Ax)-1/cosx)/Ax=lim(cosx-cos(x+Ax)/(AxcosxcosAx)=lim(cosx-cosxcosAx+sinxsinAx)/(Axcosxcos(x+Ax))=limsinxsinAx/(Axcosxcos(x+Ax))=sinx/(cosx)八2=tanx*secxf(x)=cscxf'(x)=lim(csc(x+Ax)-cscx)/Ax5/9=lim(1/sin(x+Ax)-1/sinx)/Ax=lim(sinx-sin(x+Ax))/(Axsinxsin(x+Ax))=lim(sinx-sinxcosAx-sinAxcosx)/(Axsinxsin(x+Ax))=lim-sinAxcosx/(Axsinxsin(x+Ax))=-cosx/(sinx)八2=-cotx*cscxf(x)=xAxlnf(x)=xlnx(lnf(x))'=(xlnx)'f'(x)/f(x)=lnx+1f'(x)=(lnx+1)*f(x)f'(x)=(lnx+1)*xAxh(x)=f(x)g(x)h'(x)=lim(f(x+Ax)g(x+Ax)-f(x)g(x))/Ax=lim[(f(x+Ax)-f(x)+f(x))*g(x+Ax)+(g(x+Ax)-g(x)-g(x+Ax))*f(x)]/Ax=lim[(f(x+Ax)-f(x))*g(x+Ax)+(g(x+Ax)-g(x))*f(x)+f(x)*g(x+Ax)-f(x)*g(x+Ax)]/Ax=lim(f(x+Ax)-f(x))*g(x+Ax)/Ax+(g(x+Ax)-g(x))*f(x)/Ax=f'(x)g(x)+f(x)g'(x)h(x)=f(x)/g(x)6/9h'(x)=lim(f(x+Ax)/g(x+Ax)-f(x)g(x))/Ax=lim(f(x+Ax)g(x)-f(x)g(x+Ax))/(Axg(x)g(x+Ax))=lim[(f(x+Ax)-f(x)+f(x))*g(x)-(g(x+Ax)-g(x)+g(x))*f(x)]/(Axg(x)g(x+Ax))=lim[(f(x+Ax)-f(x))*g(x)-(g(x+Ax)-g(x))*f(x)+f(x)g(x)-f(x)g(x)]/(Axg(x)g(x+Ax))=lim(f(x+Ax)-f(x))*g(x)/(Axg(x)g(x+Ax))-(g(x+Ax)-g(x))*f(x)/(Axg(x)g(x+Ax))=f'(x)g(x)/(g(x)*g(x))-f(x)g'(x)/(g(x)*g(x))=[f'(x)g(x)-f(x)g'(x)]/(g(x)*g(x))xh(x)=f(g(x))h'(x)=lim[f(g(x+Ax))-f(g(x))]/Ax=lim[f(g(x+Ax)-g(x)+g(x))-f(g(x))]/Ax(另g(x)=u,g(x+Ax)-g(x)=Au)=lim(f(u+Au)-f(u))/Ax=lim(f(u+Au)-f(u))*Au/(Ax*Au)=limf'(u)*Au/Ax=limf'(u)*(g(x+Ax)-g(x))/Ax=f'(u)*g'(x)=f'(g(x))g'(x)(反三角函数的导数与三角函数的导数的乘积为1,因为函数与反函数关于y=x对称，所以导数也关于y=x对称，所以导数的乘积为1)y=f(x)=arcsinx7/9siny=x贝U(siny)'=cosy所以(2心加)'=1/62丫)'=1儿05丫-(siny)八2=1/V1(siny=x)-x八2=1/V1-x八2f'(x)=1/V1即(16)y=f(x)=arctanxtany=x贝U(tany)'=1+(tany)八2=1+x八2所以(arctanx)'=1/1+x八2f'(x)=1/1+x八2即总结一下'=nx八(n-1)x八n)('=cosxsinx)('=-sinx)(cosx'=aAxlna)(aAx'=eAxe八x)('=1/(xlna))(logaAx8/9(lnx)'=1/x(tanx)'=(secx)八2=1+(tanx)八2(cotx)'=-(cscx)八2