常用求导式的证明那几 个 不必说主要是 :log的那几个和幂的 那几个
来源:学生作业帮助网 编辑:作业帮 时间:2024/11/09 05:08:52
常用求导式的证明那几 个 不必说主要是 :log的那几个和幂的 那几个
常用求导式的证明
那几 个 不必说
主要是 :log的那几个和幂的 那几个
常用求导式的证明那几 个 不必说主要是 :log的那几个和幂的 那几个
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).