如何推出sinx的导数为cosx?

如何推出sinx的导数为cosx?，请详细的写出展开式

解:

(sinx)'=lim(Δx→0)[sin(x+Δx)-sinx]/Δx

=lim(Δx→0)[2sin(Δx/2)cosx/Δx](和差化积)

=(cosx)lim(Δx→0)[sin(Δx/2)/(Δx/2)]

=(cosx)lim(t→0)(sint/t)(令t=Δx/2)

=cosx

微积分在不等式中的应用［摘要］本文应用微积分讨论了一些不等式的解法和证明，进一步揭示了微积分作为一种实用性很强的数学方法和工具，在求解不等式中的作用。［关键词］微积分高等数学不等式不等式是数学研究的一个基本问题,是属于初等数学的重要内容。不等式的证明方法多种多样，初等数学中常用的方法有恒等变形，使用重要不等式，用数学归纳法等，这些方法往往需要极高的技巧和超强的变形能力。微积分是高等数学的核心，微积分思想方法是高等数学乃至整个数学的典型方法，微积分思想方法的引入为解决不等式证明的难题找到了突破口，用这来解不等式可使解题思路变得简单。下面就通过实例分析微积分在证明不等式中的应用。1、用导数的定义证明不等式例1．设f(x)=a1sinx+a2sin2x+…+ansinnx，已知f(x)≤sinx，求证：a1+2a2+…+nan≤1。证明：方法1：因为f(0)=0，由已知f(x)-f(0)x-0≤sinxx(x≠0)∴limx→0f(x)-f(0)x-0≤1圯f'(0)≤1即a1+2a2+…+nan≤1。导数的定义是微积分的基础，此题还可运用两个重要极限及变形进行证明。方法2：由f(x)≤sinx，得f(x)x≤sinxx(x≠0)，即a1sinxx+a2sin2xx+…+ansinnxx≤sinxx两端同时取x→0时的极限得limx→0a1sinxx+a2sin2xx+…+ansinnxx≤limx→0sinxx由重要极限及其变形知：limx→0sinkxx=k∴a1+2a2+…+nan≤1,证毕。2、利用函数的单调增减性定理1：设函数y=f(x)在[a,b]上连续，在（a,b）内可导（1）若在（a,b）内，f'(x)>0,那么函数y=f(x)在[a,b]上单调增加；（2）若在（a,b）内，f'(x)<0,那么函数y=f(x)在[a,b]上单调减少。由定理1我们总结出运用单调性证明不等式的一般方法与步骤：（1）移项，使不等式一端为“0”，另一端即为所作的辅助函数f(x)；（2）求出f'(x)，并判断f(x)在指定区间的增减性；（3）求出区间端点的函数值，作出比较即得所证。例2．设b>a>0，证明：lnba>2(b-a)a+b。分析：当b>a>0时，lnba>2(b-a)a+b圳(lnb-lna)(a+b)>2(b-a)证明：令f(x)=(lnx-lna)(a+x)-2(x-a)(x≥a)∵f'(x)=1x(a+x)+(lnx-lna)-2f''(x)=-ax2+1x=x-ax2≥0(x≥a)所以f'(x)单调增加，又f'(a)=0，于是f'(x)≥0(x≥a)因而f(x)单调增加，又f(a)=0，故当b>a>0时，有f(b)>f(a)=0即(lnb-lna)(a+b)-2(b-a)>0，亦即lnba>2(b-a)a+b。3、用微分中值定理证明不等式定理2（罗尔定理）：设函数f(x)满足条件：（1）在闭区间[a,b]上连续；（2）在开区间（a,b）内可导；（3）f(a)=f(b)；则在（a,b）内至少存在一个点ξ，使得f'(ξ)=0。定理3（拉格朗日中值定理）：设函数f(x)满足条件：（1）在闭区间[a,b]上连续；（2）在开区间（a,b）内可导；则在（a,b）内至少存在一个点ξ，使得f'(ξ)=f(b)-f(a)b-a。

sinx的导数是cosx   曲线上有两点(X1,f(X1)),(X1+△x,f(x1+△x)).当△x趋向0 时,△y=(f(x1+△x)-△x)/△x 极限存在，称y=f(X)在x1处可导，并把这个极限称f(x)在X1处的导数,这是可导的定义． 增量△y=f(x+△x)-f(x) 不除△x．   根据定义，有(sinx)'=lim[sin(x+△x)-sinx]/(△x),其中△x→0,将sin(x+△x)-sinx展开，就是sinxcos△x+cosxsin△x-sinx,由于△x→0,故cos△x→1,从而sinxcos△x+cosxsin△x-sinx→cosxsin△x,于是(sinx)’=lim(cosxsin△x)/△x,这里必须用到一个重要的极限，当△x→0时候，lim(sin△x)/△x=1,于是(sinx)’=cosx.

这个是做了一个图像，具体可以看下高数的教材，都有的