我们都知道,ln\lnln函数的导数为1x\dfrac 1xx1,但怎么证明呢?
设y=lnxy=\ln xy=lnx
则y′=limΔx→0ln(x+Δx)−lnxΔxy'=\lim\limits_{\Delta x\rightarrow 0}\dfrac{\ln(x+\Delta x)-\ln x}{\Delta x}y′=Δx→0limΔxln(x+Δx)−lnx
=limΔx→01Δxln(1+Δxx)\qquad =\lim\limits_{\Delta x\rightarrow 0} \dfrac{1}{\Delta x}\ln(1+\dfrac{\Delta x}{x})=Δx→0limΔx1ln(1+xΔx)
=limΔx→0ln(1+Δxx)1Δx\qquad =\lim\limits_{\Delta x\rightarrow 0}\ln(1+\dfrac{\Delta x}{x})^{\frac{1}{\Delta x}}=Δx→0limln(1+xΔx)Δx1
=limΔx→0ln((1+Δxx)xΔx)1x\qquad =\lim\limits_{\Delta x\rightarrow 0}\ln((1+\dfrac{\Delta x}{x})^{\frac{x}{\Delta x}})^{\frac1x}=Δx→0limln((1+xΔx)Δxx)x1
∵e=limx→0(1+x)1x\because e=\lim\limits_{x\rightarrow 0} (1+x)^{\frac 1x}∵e=x→0lim(1+x)x1
∴limΔx→0(1+Δxx)xΔx=e\therefore \lim\limits_{\Delta x\rightarrow 0}(1+\dfrac{\Delta x}{x})^{\frac{x}{\Delta x}}=e∴Δx→0lim(1+xΔx)Δxx=e
所以y′=limΔx→0lne1x=1xy'=\lim\limits_{\Delta x\rightarrow 0}\ln e^{\frac 1x}=\dfrac 1xy′=Δx→0limlnex1=x1
补充
(logax)′=(lnxlna)′=1lna⋅(lnx)′=1xlna(\log_a x)'=(\dfrac{\ln x}{\ln a})'=\dfrac{1}{\ln a}\cdot(\ln x)'=\dfrac{1}{x\ln a}(logax)′=(lnalnx)′=lna1⋅(lnx)′=xlna1
所以logax\log_a xlogax的导数为1xlna\dfrac{1}{x\ln a}xlna1