




如果您无法下载资料,请参考说明:
1、部分资料下载需要金币,请确保您的账户上有足够的金币
2、已购买过的文档,再次下载不重复扣费
3、资料包下载后请先用软件解压,在使用对应软件打开
高等数学证明题 第一篇:高等数学证明题正文:不等式是中学数学中的重要内容之一,也是解题的一种十分重要的思想方法。在中学证明不等式一般有比较法,综合法,分析法,反证法,判别法,放缩法,数学归纳法,利用二项式定理和变量代换法等等,其中包含了很多的技巧,从而证明的难度也比较大,下面就利用高等数学知识进行不等式的证明,从中也可看出不等式的证明具有很大的灵活性。利用函数的单调性证明不等式,首先引入下面的定理:定理1:设有两个函数f(x)与g(x),满足:(1)在闭区间[a,b]上连续;(2)在开区间(a,b)内可导有f'(x)>g'(x)(或f'(x)g(x)成立。例1:求证:ex-1>x(当x>0时)从例题可以看出,在不等式的中有ex形式的指数形式,如用初等代数来证明则有一定的难度,如用高等数学中上面的定理则非常直观。分析1:要证ex-1>x,可以设f(x)=ex-1,g(x)=x这样就转化成定理1的形式。证明:设f(x)=ex-1,g(x)=x并且知:f(x),g(x)在[0,∞)连续,并在(0,∞)可导有:f'(x)=ex>g'(x)=1(当x>0)并有:f'(0)=e0=1g'(0)=1即:f'(0)=g'(0)所以根据定理1有:f(x)>g(x)即:ex-1>x这样通过高等数学中的导数和函数的基本性质就可以证明。另外,也可以将不等式转化成:ex-x-1>0,证明方法同上(略)。如果不等式中的次数较高,形式也比较复杂,这可能需要多次转化,才能达到目标,通过下面的例子不难看出这一点。例2:设a>ln2-1为任一常数,求证:当x>0时,有x2-2ax+10不妨设:F(x)=ex-x2+2ax-1有:F(0)=0则:F'(x)=ex-2x+2a现在只需证明:F'(x)>0即可证明F(x)>0下面分析证明:F'(x)>0设g(x)=F'(x)=ex-2x+2a有:g(0)=e0+2a>1+2(ln2-1)=ln4-1=ln>0(a>ln2-1)又因:g'(x)=ex-2所以现在只需证:g'(x)≥0就可以证明g(x)>0.即需要证:ex≥2Ⅰ.当x≥ln2时成立.Ⅱ.下面考察:当00g(x)=F'(x)=ex-2x+2a又知:g'(x)=ex-2g(0)>0e4所以:g(x)在x=ln2时为极值点,且为极小值。这样只要说明:g(ln2)>0即可。又因:2-2ln2+2a>0(当a>ln2-1时)所以:在00.综上所述,可知F'(x)>0.所在在证明不等式过程中连续两次用到求导。有时在证明不等式时,如用初等数学知识则比较困难,如果我们能巧妙地构造函数,这样可使问题得以简化,其中判断函数的单调性,我们利用了高等数学中的导数知识很容易地就解决了。下面利用高等数学中的拉格朗中值定理进行不等式的证明,下面引入拉格朗日中值定理:定理2:若函数f(x)满足下列条件:(1)f(x)在[a,b]并闭区间上连续;(2)f(x)在(a,b)开区间内可导;则至少存在一点ξ∈(a,b),使得f'(ξ)=f(b)f(a)成立。ba例3:证明:|sinb-sina|≤|b-a|分析:我们知道|sinx|≤1,|cosx|≤1,而a,b我们可以假设其中一个为较大者,则a,b可组成一个区间。再分析sinx函数在该区间内的性质可知符合拉格朗日中值定理的条件,从而可以得以证明。证明:若a=b,则等号成立。若a≠b,不妨设a<b.设f(x)=sinx则f'(x)=cosx则拉格朗日中值定理知,存在一点ξ∈(a,b)使得:f'(ξ)=cosξ=又因为:|cosξ|≤1所以|sinb-sina|≤|b-a|从上面的定理和证明中,我们不难发现在遇到形如拉格朗日中值定理形式的不等式证明时,可用此定理,使得证明得以简化,其中我们应灵活地利用拉格朗日中值定理的各种变形进行不等式的证明。利用定积分的有关知识进行不等式的证明在不等式的证明中,我们经常会发现,有些不等式是求和的形式,这里我们可以利用定积分的定义或是利用积分的关的性质使问题得以解决,下面的分析不难发现这一点。例4:对任意正整数n>13n1123nba求证:但从中可看出它是一些有相同特性的分式的和。设f(x)=xn(其中x=,,……,)可看出:x∈(0,1)则不等式的和为0xndx,从下图可看出:根据函数的凸凹性和定积分的定义可证此题。11n2n3nnn证明:设f(x)=xn,x∈(0,1)因为n≥2,可知f(x)为单调递增的凹函数,(如上图所示)则有:1n1n1)]nnnnn1123n1所以:()n+()n+()n+……+()n2nnnnnn=[()n+()n+()n+……+(1n2n3nn0xndxn1nn1nn)+()n-()n>nn2nn1n1123n所以:+n12nnnn3n1123n即:[1]

明钰****甜甜
实名认证
内容提供者


最近下载