导数相关内容证明

导数的话，六年级就学了，那些初等函数的导数大部分证明也是那个时候就自己证出来了，但对数函数和指数函数一直是证不出来，到了初一，高数学到$P82$的时候才了解到（并且发现对三角函数的证明有点假）。这些东西从初一到现在高二，总有人问我怎么证，我干脆直接这里完完整整全都写下来好了。

1.两函数乘积的导数

$(f(x)\cdot g(x){)}^{\prime }=f^{\prime }(x)g(x)+f(x)g^{\prime }(x)$

$(f(x)\cdot g(x){)}^{\prime }-f^{\prime }(x)g(x)$
$={\lim }_{\Delta x\to 0}\frac{f(x+\Delta x)\cdot (g(x+\Delta x)-g(x))}{\Delta x}$
$={\lim }_{\Delta x\to 0}f(x+\Delta x)\cdot g^{\prime }(x)$
$=f(x)g^{\prime }(x)$

2.复合函数求导

$(f(g(x)){)}^{\prime }=f^{\prime }(g(x))\cdot g^{\prime }(x)$

本来直接$\frac{dy}{dx}=\frac{dy}{du}\cdot \frac{du}{dx}$就好了，但我还是完整写下吧
$(f(g(x)){)}^{\prime }={\lim }_{\Delta x\to 0}\frac{f(g(x+\Delta x))-f(g(x))}{\Delta x}$
$={\lim }_{\Delta x\to 0}\frac{f(g(x)+g^{\prime }(x)\cdot \Delta x)-f(g(x))}{\Delta x}$
$=f^{\prime }(g(x))\cdot g^{\prime }(x)$

3.sinx/x在x趋于0时的极限

${\lim }_{x\to 0}\frac{sinx}{x}=1$

通过单位圆易得$cosx<\frac{sinx}{x}<1(-\frac{\pi }{2}<x<\frac{\pi }{2})$
因为${\lim }_{x\to 0}cosx=1$，又由夹逼定理，可得结论

4.正弦函数求导

$(sinx{)}^{\prime }=cosx$
要用到结论3
$(sinx{)}^{\prime }={\lim }_{\Delta x\to 0}\frac{sin(x+\Delta x)-sinx}{\Delta x}$
$={\lim }_{\Delta x\to 0}\frac{cos(x+\Delta x/2)sin(\Delta x/2)}{\Delta x/2}$
$=cosx$

5.对数函数求导

$(lo{g}_{a}x{)}^{\prime }=\frac{1}{xlna}$
$(lo{g}_{a}x{)}^{\prime }={\lim }_{\Delta x\to 0}lo{g}_a(1+\frac{\Delta x}{x}{)}^{\frac{1}{\Delta x}}$
令$t=\frac{x}{\Delta x}$
原式$={\lim }_{\Delta x\to 0}lo{g}_a(1+\frac{1}{t}{)}^{\frac{t}{x}}$
$\because t\to +\infty$，
$\therefore$原式$=\frac{1}{x}lo{g}_{a}e=\frac{1}{xlna}$

6.指数函数求导

$(a^x{)}^{\prime }=a^{x}lna$

隐函数求导下就好了，要用到结论2,5
$y=a^x$
两边取对数：$lny=xlna$
两边求导：$\frac{1}{y}{y}^{\prime }=lna$
$y^{\prime }=ylna=a^{x}lna$

7.牛顿-莱布尼茨公式

$${\int }_a^b{f}^{\prime }(x)dx=f(b)-f(a)$$
令$\Phi (x)={\int }_a^x{f}^{\prime }(t)dt$
${\Phi }^{\prime }(x)=\frac{{\int }_x^{x+\Delta x}{f}^{\prime }(t)dt}{\Delta x}$
根据积分中值定理
${\Phi }^{\prime }(x)=f^{\prime }(\xi )(x\le \xi \le x+\Delta x)$
因为$\Delta x\to 0$，所以${\Phi }^{\prime }(x)=f^{\prime }(x)$
$\Phi (x)=f(x)+C$
那么$\Phi (b)-\Phi (a)=f(b)-f(a)$

8.Taylor公式

$$f(x)=\sum _{n=0}^{+\infty }\frac{f^{(n)}(x_0)(x-x_0{)}^n}{n!}$$
我们考虑用$P(x)={\sum }_{n=0}^{+\infty }{a}_n(x-x_0{)}^n$近似地表示$f(x)$
因为$f(x_0)=P(x_0)$，$f^{\prime }(x_0)=P^{\prime }(x_0)$，$f^{\prime \prime }(x_0)=P^{\prime \prime }(x_0)...$
可得$a_n=\frac{f^{(n)}(x_0)}{n!}$，这个$n!$是$(x-x_0{)}^n$求导求出来的系数，自己手算下就知道了