构造函数证明数列不等式

导数与构造函数证明不等式的技巧导数与构造函数是数学中非常重要的两个概念，它们可以帮助我们证明不等式，优化函数等问题。

接下来将分别介绍导数与构造函数在证明不等式时的技巧。

一、导数在证明不等式中的应用导数是函数的重要特征之一，它可以表示函数在某个点的变化率。

在证明不等式时，我们可以使用导数的性质来帮助我们证明某个不等式是否成立。

1. 利用导数判断函数在某个区间的单调性假设函数f(x)在区间[a,b]上具有一阶导数，则f(x)在区间[a,b]上为单调递增的条件是：f'(x)>0，而在区间[a,b]上为单调递减的条件则是：f'(x)<0。

如果我们需要证明某个不等式在某个区间上成立，可以通过证明函数的导数在该区间上的符号，从而得出原函数在该区间上的单调性，从而得出结论。

例如：证明当x>0时，e^x>x+1证明：考虑函数f(x)=e^x-x-1如果x>0，则f'(x)>0，因此函数f(x)在(0,∞)上单调递增。

又f(0)=e^0-0-1=0，因此当x>0时，f(x)>f(0)=0即e^x-x-1>0，即e^x>x+1。

2. 利用导数求函数的极值导数可以帮助我们求出函数的极值，例如函数的最大值和最小值。

如果我们需要证明某个不等式的最大值或最小值，可以通过推导函数的导数，找出函数的极值，从而得出结论。

f'(x)=2x-2/x^3，因此f(x)在x=1处取得极小值。

又因为当x>0时，x^2+1/x^2≥2 |x=1，因此当x>0时，x^2+1/x^2≥2。

3. 利用导数证明柯西-施瓦茨不等式柯西-施瓦茨不等式是数学中的重要不等式之一，它可以用来计算向量的点积的上界。

柯西-施瓦茨不等式的表述为：对于任意两个n维实向量a和b，有|a·b|≤|a|·|b|其中a·b为向量a和b的点积，|a|和|b|为向量a和b的模。

288sin 8R RA R S r===∑,故(3)式获证.推论3'''338a b c xyz abc ≥≥.(4)当且仅当△ABC 为正三角形时取等号.证明由'4cos 2A a R =,4sin 2Ax R =等,及4abc Rrs =,sin 24A rRπ=,cos 24A s Rπ=,33s r ≥,332R s ≥,得32'''64cos 162Aa b c R R s π==,3264sin 162Axyz R R r π==,∴'''33a b c s xyz r =≥,即'''33a b c xyz ≥,又∵3333182xyz R abcs=≥,即338xyz abc ≥,故(4)式获证.推论4设△EIF 、△FID 、△DIE 的面积分别为A 、B 、C ,则3()4a b c a b c A B C ++++≥(5)当且仅当ABC 为正三角形时取等号.证明∵1sin 2A yz EIF=∠14sin4sinsin()22222B C AR R π=+28cos sin sin 222A B CR =由cos sin sin 2224A B C s a R =,cot 2A s a r =,立得2cot 2A A Rr =,同理2cot 2B B Rr =,2cot 2CC Rr =.注意到2sin 122A rR=∑,并应用Euler不等式:2R r ≥,得4sincos222cot2A AR a A Rr =∑∑222121sin 22A r r R r r==≥∑,即333()224a s abc A r ++≥==∑故(5)式获证(以上用∑表示循环和,π表示循环积).参考文献[1]闵飞.三角形的外角平分线三角形的两个性质.中学数学,2004,8[2]邹守文.三角形外角平分线构成的三角形的又几个性质.中学数学,2005,1[3]邹守文.关于外角平分线三角形的一个恒等式.中学数学.2005,5[4]田平.关于旁心三角形的一个基本不等式.中学教研(数学),1994,4例说构造函数证明不等式福建龙岩二中张南福不等式的证明经常会出现在不等式与函数、数列、三角等综合题型中,它是学生逻辑推理能力和变形化简能力训练的有效途径.平时教学时,必须抓住不等式常见的证明方法,注重欲证式子的结构分析,同时也要重视其它证明方法的灵活运用.构造函数证明不等式就是不等式证明的一种重要方法,它是在不等式中渗透函数思想的重要手段,本文就如何从式结构分析来构造函数证明不等式进行探索.例1已知1a ≥,求证:11a a aa +<.证明构造函数()1f x x x =+,62则1()1f xx x=++.显然,当0x≥时,()f x为减函数又1a≥,∴10a a>≥.∴()(1)f a f a<,而()1f a a a=+,(1)1f a a a=,∴11a a a a+<.函数、方程、不等式是密切联系的,因此不等式证明如能与函数性质尤其是函数的单调性联系在一起,证明将是非常简捷方便而准确.例2已知a b c<<,求证:222222a b b c c a ab bc ca++<++.证明将b看作自变量,用x替换,原题即证当a x c<<时,函数22222()()(f x a x x c c a ax xc=+++2)0ca+<.事实上,22()()(f x c a x a=+2)c x+22()c a ca,易知()()0f a f c==,又c a>,∴0c a>.函数()f x的图象为开口向上的抛物线,它与x轴有两个交点(,0)a和(,c 0),因此当(,)x a c∈时,有()0f x<,从而获证.一定的数学内容可以有多种不同的存在形式,同一数学形式也可以从多种内容上去理解,因此,我们的解题思路、思考方向应“广开门路”.本题解题过程的启示、分析,领悟那无限的数学机智,函数的数形结合思想为人们分析问题和解决问题提供了重要的思想方法和有效的手段.例3已知0a b c++>,ab bc ca++>,0abc>求证:0,0,0a b c>>>.证明设()()()()f x x a x b x c=+++,则32()()()f x x a b c x ab bc ca x abc=+++++++,∵0a b c++>,0ab bc ca++>,abc>.∴方程()0f x=在区间[)0,+∞上无解,因此方程()0f x=的三个根,,a b c均在区间(),0∞上,故0,0,0a b c>>>.本题如果直接从正面证明,确实相当困难,容易陷入多元素的重围之中而难以自拔.所提供的解法,构思新颖,独具匠心,通过命题的等价转化把三个数大于零的证明转化为某方程三根小于零的证明.这种函数方程思想、创新思维确实难能可贵,值得借鉴.例4求证:2112a a≤++≤.证明令'1x a=,'1y a=+,则22''2('0,'0)x y x y+=≥≥.设''y x y=+,问题转化为目标函数y=''x y+在可行域22''2('x y x+=≥0,'0)y≥即圆心在原点,半径为2的圆在第一象限的部分(含两个端点)的最值问题.如图所示,利用线性规划相关知识,不难求出22y≤≤.∴2112a a≤++≤.本题有多种方法,所提供证法的思路更注意内容上的转化,表现为思维比较抽象、比较跳跃的推理,观察点更高、能力更强、格调更新,把内容与形式结合起来思考,必然思路更加广阔,风格更加高雅.例5设01,01,01x y z<<<<<<,求证:(1)(1)(1)1x y y z z x++<.证明设函数()(1)(1)(1)f x x y y z z x=++(1)()x y z y z yz=++(01)x<<.(1)当10y z=即1y z+=时,()11f x y z yz y z=+=<;(2)当10y z>时,()f x在(0,1)上是增函数,即()()f x f yz<=<;yxO222211127(3)当10y z <时,()f x 在(0,1)上是减函数,即()(0)f x f y zyz<=+1(1)(1)1y z =<.综上所述,原不等式成立.此题目证明应用了函数的如下性质:函数()f x ax b =+在[,]x αβ∈上的图象是一条线段,显然对一切[,]x αβ∈都有()max{(),()}f x f f αβ≤.例6,a b 均为正数,求证:不等式1a b +>.①成立的充要条件是:对于任意实数1x >,有/(1)ax x x b +>.②分析只需证不等式②对(1,)x ∈+∞恒成立的充要条件是不等式①成立.可考虑最值法.证明设()/(1)(1)f x ax x x x =+>,那么不等式②对(1,)x ∈+∞恒成立的充要条件是函数()(1)f x x >的最小值大于b.∵()11/(1)f x ax x =++(1)(1)1/(1)a a x x =+++(1)2a a ≥++2(1)a =+,当且仅当(1)1/(1)a x x =即11/x a =+时,上式等号成立,故()f x 的最小值是2(1)a +.因此,不等式②对1x >恒成立的充要条件是:2(1)a b +>即1a b +>.证明运用了函数最值思想,几乎在产生这个念头的同时,题目也就证明了.问题是怎样才能想到？这需要我们平时有意识训练构造性思维,需要我们对题目的条件进行深入的观察,并对结论作广泛的联想.数学家希尔伯特在巴黎世界数学家代表大会曾说过:“数学科是一个不可分割的有机整体,它的生命力在于各部分之间的联系.”的确,数学最为迷人之处是不同分支之间有许多相互影响,预想不到的联系有时会奇迹般地展观在你的眼前.以上通过函数思想构造函数证明不等式就是一个很好的例子.戴上“函数眼镜”看数列福建宁化一中邱云数列是高中数学中的重要一章.它以其内容的丰富性和探索性,以其解法的灵活性和多样性,能从多角度检测学生思维的广度和深度,多年来倍受高考亲睐.2005年全国各地16份高考卷中,有6个省市以数列为压轴题.函数思想方法与数列的结合是一种常见又富有挑战性的综合题,高考命题中频频出现.所以,学习数列除了熟练掌握有关公式性质的运用,还需戴上“函数眼镜”,善于运用函数观点审视分析问题.这样有助于我们快捷省力地解题,有助于培养对数学知识的综合灵活运用能力,有助于良好思维习惯和品质的形成.1运用函数观点,看待n a 和nS 数列中的两大派系是等差数列和等比数列,考察的两大主题是通项n a 和前n 和n S ,其实数列是一种特殊的函数,且看()n a f n =与()n S f n =.在等差数列{}n a 中,通项公式n a =1a +1(1)()n d dn a d =+*()n N ∈,得n a =()f n kn b =+,其中1,k d b a d ==,它是关于n 的一次函数形式,当0d >时,n a 递增;0d <时,n a 递减.前n 项和1n S na =21(1)()222n n d dd n a n +=+,所以n S =2()f n An Bn =+,其中/2,A d =1/2B a d =,它是关于n 的不含常数项的二次函数,借助二次函数的性质特征,在研究n S 的有关性质和判断等差数列上可达事半功倍之效.例1已知数列{}n a 中首项10a >的常数,前n 项和22112353333n S a n a n =+,(1){}n a 是否为等差数列？()S 取得最大值,则=2n n .28。

构造函数证明不等式或比较大小在数学中，我们经常需要证明不等式或者比较大小。

构造函数是一个有用的工具，可以用来证明这类问题。

构造函数是一个函数，它的定义域是目标函数的定义域的一个子集，值域是实数集。

我们可以通过构造一个合适的函数，使得这个函数的值与目标函数的值相比较，从而证明不等式或者比较大小。

下面我们将通过几个例子来展示如何使用构造函数来证明不等式或者比较大小。

例1：证明对于任意的正实数x，有x+1>x。

证明：我们可以用构造函数f(x)=x+1来证明这个不等式。

首先我们需要验证这个函数的定义域是正实数集。

显然，对于任意的正实数x，x+1的定义域包含x。

接下来，我们需要验证这个函数的值域是实数集。

由于x是正实数，所以x+1也是实数。

因此，构造函数f(x)=x+1是一个合法的函数。

然后我们来比较f(x)和x的值。

显然，当x取任意正实数时，f(x)都大于x。

因此，我们可以得出结论x+1>x，对于任意的正实数x成立。

例2：证明对于任意的正整数n，有(n+1)²>n²。

证明：我们可以用构造函数f(n)=(n+1)²来证明这个不等式。

首先我们需要验证这个函数的定义域是正整数集。

显然，对于任意的正整数n，(n+1)²的定义域包含n。

接下来，我们需要验证这个函数的值域是实数集。

由于n是正整数，所以(n+1)²也是实数。

因此，构造函数f(n)=(n+1)²是一个合法的函数。

然后我们来比较f(n)和n²的值。

显然，当n取任意正整数时，f(n)都大于n²。

因此，我们可以得出结论(n+1)²>n²，对于任意的正整数n成立。

例3：证明对于任意的非负实数x，有3x³-2x²+x≥0。

证明：我们可以用构造函数f(x)=3x³-2x²+x来证明这个不等式。

首先我们需要验证这个函数的定义域是非负实数集。

不等式常见的三种证明方法渠县中学 刘业毅一用基本不等式证明设c b a ,,都是正数。

求证：.c b a cab b ac a bc ++≥++ 证明：.22c bac a bc b ac a bc =•≥+ .22b cab a bc c ab a bc =•≥+ .22a cab b ac c ab b ac =•≥+ ).(2)(2c b a cab b ac a bc ++≥++ .c b a cab b ac a bc ++≥++ 点评：可用综合法分析乘积形式运用不等式可以转化为所求。

思维训练：设c b a ,,都是正数。

求证：.222c b a c b a a c b ++≥++ 二 放缩法证明不等式已知，对于任意的n 为正整数，求证： 1+221+321+ +n 21<47 分析：通过变形将数列{n 21}放缩为可求数列。

解： n 21=n n •1<)1(1-n n =11-n —n1（n ≥2） ∴1+221+321+ +n 21<1+221+231⨯+341⨯+ +)1(1-n n =1+41+(21—31+31—41+ +11-n —n1) =45+21—n1 =47—n 1 点评：放缩为可求和数列或公式是高考重要思想方法。

思维训练：设c b a ,,都是正数，a+b>c,求证：a a +1+b b +1>cc +1三 构造函数法证明 证明不等式3ln 3121112ln <+++++<nn n （n 为正整数） 分析：显然要构造一个含n 的不等式，然后用叠加法证明。

我们构造一个函数,1)(',ln 1)(2xx x f x x x x f -=+-=可得这个函数在x=1时取得最小值0.及对x>0有不等式x x 11ln -≥，如果令x=k k 1+，则有111ln +>+k k k ，如果令x=1+k k ，则kk k ->+11ln ，即kk k k 1ln )1ln(11<-+<+，然后叠加不等式即可。

构造函数证明不等式的八种方法下面将介绍构造函数证明不等式的八种常见方法：1.特殊赋值法：这种方法通过为变量赋特殊的值来构造函数，使得不等式成立。

例如，对于不等式a^2>b^2，可以构造函数f(x)=x^2，当a=2，b=1时，即f(2)>f(1)，从而得到a^2>b^22.梯度法：这种方法通过构造一个变化率为正（或负）的函数来推导出不等式。

例如对于不等式a^2>b^2，可以构造函数f(x)=(x-a)^2-(x-b)^2，当x>(a+b)/2时，即f'(x)>0，从而得到a^2>b^23.极值法：这种方法通过构造一个函数的极大值（或极小值）来证明不等式。

例如对于不等式a^2>b^2，可以构造函数f(x)=x^2-b^2，当x=a时，f(x)>0，从而得到a^2>b^24.差的平方法：这种方法通过构造一个差的平方形式的函数来证明不等式。

例如对于不等式a^2>b^2，可以构造函数f(x)=(x+a)^2-(x+b)^2，当x>(a+b)/2时，即f(x)>0，从而得到a^2>b^25.相似形式法：这种方法通过构造一个与要证明的不等式形式相似的函数来证明不等式。

例如对于不等式(a+b)^4 > 8(ab)^2，可以构造函数f(x) = (x+1)^4- 8(x-1)^2，令x = ab，当x > 1时，即f(x) > 0，从而得到(a+b)^4 > 8(ab)^26.中值定理法：这种方法通过应用中值定理来证明不等式。

例如对于不等式f(a)>f(b)，可以构造函数g(x)=f(x)-f(b)，当a>b时，存在c∈(b,a)，使得g'(c)>0，从而得到f(a)>f(b)。

7.逼近法：这种方法通过构造一个逼近函数序列来证明不等式。

例如对于不等式a > b，可以构造一个逼近函数序列f_n(x) = (a+x)^n - (b+x)^n，当n 趋近于正无穷时，即lim(n→∞)(a+x)^n - (b+x)^n = ∞，从而得到a > b。

构造函数法证明不等式的八种方法一、构造函数法是一种常用的数学证明方法，通过巧妙地构造函数，并对其性质进行分析，可以证明各种数学不等式。

下面就列举八种常用的构造函数法证明不等式的方法。

1.构造平方函数法：对于形如x^2≥0的不等式，可以构造f(x)=x^2，然后通过分析f(x)的性质，来证明不等式的成立。

2.构造递增函数法：对于形如a≥b的不等式，可以构造f(x)=x，然后通过分析f(x)的性质，来证明不等式的成立。

3.构造递减函数法：对于形如a≤b的不等式，可以构造f(x)=-x，然后通过分析f(x)的性质，来证明不等式的成立。

4.构造两个函数之差法：对于形如a-b≥0的不等式，可以构造f(x)=x^2和g(x)=(x-a)(x-b)，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

5. 构造函数的和法：对于形如(a+b)^2≥0的不等式，可以构造f(x)=x^2和g(x)=a^2+b^2+2ab，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

6.构造函数的积法：对于形如(a·b)^2≥0的不等式，可以构造f(x)=x^2和g(x)=a^2·b^2，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

7.构造函数的倒数法：对于形如1/(a·b)≥0的不等式，可以构造f(x)=1/x和g(x)=a·b，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

8.构造指数函数法：对于形如e^x≥1的不等式，可以构造f(x)=e^x 和g(x)=1，然后通过分析f(x)和g(x)的性质，来证明不等式的成立。

以上就是八种常用的构造函数法证明不等式的方法。

在实际证明过程中，需要注意选择合适的函数，并结合函数的性质进行分析，以确定不等式的成立情况。

此外，还需要注意构造的函数在给定范围内是否满足所要求的性质，以确保证明的正确性。

不等式的几种证明方法及其应用不等式的证明方法多种多样，常用的证法有初等数学中的综合法、分析法、比较法和数学归纳法等，高等数学中常用的方法是利用函数的单调性、凹凸性等方法．本文将对其中一些典型证法给出系统的归纳与总结，并以例题的形式展示这些方法的应用．1 利用构造法证明不等式“所谓构造思想方法就是指在解决数学问题的过程中，为完成从条件向结论的转化，利用数学问题的特殊性设计一个新的关系结构系统，找到解决原问题的具体方法．利用构造思想方法不是直接解决原问题，而是构造与原问题相关或等价的新问题．”)52](1[P 在证明不等式的问题中，构造思想方法常有以下几种形式：1.1 构造函数证明不等式构造函数指根据所给不等式的特征，巧妙地构造适当的函数，然后利用一元二次函数的判别式或函数的有界性、单调性、奇偶性等来证明不等式．1.1.1 利用判别式在含有两个或两个以上字母的不等式中，若根据题中所给的条件，能与一元二次函数有关或能通过等价形式转化为一元二次函数的，都可考虑使用判别式法．例1 设R z y x ∈,,，证明0)(322≥+++++z y x z y xy x 成立． 解 令22233)3()(z yz y x z y x x f +++++=为x 的二次函数． 由2222)(3)33(4)3(z y z yz y z y +-=++-+=∆知0≤∆，所以0)(≥x f ． 故0)(322≥+++++z y x z y xy x 恒成立．对于某些不等式，若能根据题设条件和结论，结合判别式的结构特征，通过构造二项平方和函数)(x f =(11b x a -)2＋(x a 2－22)b ＋…＋2)(n n b x a -，由0)(≥x f 得出0≤∆，从而即可得出所需证的不等式．例2 设+∈R d c b a ,,,，且1=+++d c b a ，求证614141414<+++++++d c b a )18](2[P ．证明 令)(x f =(x a 14+－1)2＋(114-+x b )2＋)114(-+x c 2＋)114(-+x d 2=4)14141414(282++++++++-x d c b a x (因为1=+++d c b a )．由0)(≥x f 得0≤∆ 即0128)14141414(42≤-+++++++d c b a ．所以62414141414<≤+++++++d c b a ．1.1.2 利用函数有界性若题设中给出了所证不等式中各个变量的变化范围，可考虑利用函数的有界性来证明，具体做法是将所证不等式视为某个变量的函数．例3 设,1,1,1<<<c b a 求证1->++ca bc ab )18](2[P ． 证明 令1)()(+++=ac x c a x f 为x 的一次函数． 因为,1,1<<c a 所以0)1)(1(1)1(>++=+++=c a ac c a f ，0)1)(1(1)()1(>--=+++-=-c a ac c a f ．即∀)1,1(-∈x ，恒有0)(>x f ．又因为)1,1(-∈b ，所以0)(>b f ， 即01>+++ca bc ab ． 1.1.3 利用函数单调性在某些问题中，若各种式子出现统一的结构，这时可根据这种结构构造函数，把各种式子看作同一函数在不同点的函数值，再由函数的单调性使问题得到解决．例４ 求证121212121111n n n na a a a aa a a a a a a +++≤++++++++++)53](1[P ．分析 通过观察可发现式中各项的结构均相似于式子M M +1，于是构造函数xxx f +=1)()0(≥x ．证明 构造函数xxx f +=1)( )0(≥x ． 因为0)1(1)(2'>+=x x f ， 所以)(x f 在),0[+∞上严格递增．令n a a a x +++= 211，n a a a x +++= 212． 因为21x x ≤，所以)()(21x f x f ≤． 所以≤+++++++nn a a a a a a 21211nn a a a a a a +++++++ 21211=+++++na a a a 2111++++++ n a a a a 2121nna a a a ++++ 211nna a a a a a ++++++≤1112211 ．1.1.4 利用函数奇偶性 例５ 求证221xx x <-)0(≠x ．证明 设)(x f 221x x x --=，对)(x f 进行整理得)(x f )21(2)21(xx x -+=， )(x f -＝)21(2)21(xx x ---+-＝)12(2)12(-+-x x x ＝)21(2)21(x x x -+＝)(x f ， 所以)(x f 是偶函数．当0>x 时，12>x ，所以021<-x，所以0)(<x f ． 由偶函数的图象关于y 轴对称知，当0<x 时，0)(<x f ． 即 当0≠x 时，恒有0)(<x f ，即221xx x <- )0(≠x ． 注意 由以上几种情况可以看出，如何构造适当的函数并利用函数的性质来证明不等式是解题的关键．1.2 构造几何图形证明不等式构造几何图形，就是把题中的元素用一些点或线来取代，使题中的各种数量关系得以在图中表现出来，然后借助几何图形的直观性或几何知识来寻求问题的解答．一般是在问题的条件中数量关系有明显的几何意义，或可以通过某种方式与几何形（体）建立联系时宜采用此方法.)52](1[P 这种方法十分巧妙且有效，它体现了数形结合的优越性．下面将具体介绍用几何法证明不等式的几种途径：1.2.1 构造三角形)1](3[P例６ 已知z y x ,,为正数，求证22y xy x ++＋22z xz x ++＞22z yz y ++．分析 注意到︒-+=++120cos 22222xy y x y xy x ，于是22y xy x ++可看作是以y x ,为两边，夹角为︒120的三角形的第三边，由此，易得出下面的证明:证 如图1 ，在BC A ∆内取一点O ，分别连接OC OB OA ,,，使图1B︒=∠=∠=∠120COA BOC AOB ，z OC y OB x OA ===,,则22y xy x AB ++=，22z xz x AC ++=，22z yz y BC ++=．由BC AC AB >+， 即得所要证明的不等式．注 该题可做如下推广:已知z y x ,,为正数，πα<<0，πβ<<0，πγ<<0，且πγβα2=++，求证++-22cos 2y xy x α>+-22cos 2z xz x β22cos 2z yz y +-γ，令γβα,,为满足条件的特殊角可设计出一系列的不等式．例7 已知正数k n m c b a ,,,,,满足p k c n b m a =+=+=+,求证2p cm bk an <++． 证明 如图2，构造边长为p 的正三角形ABC ，在边BC AB ,,上依次截取 n FA b CF k EC c BE m DB a AD ======,,,,,．因为ABC FEC DBE ADF S S S S ∆∆∆∆<++所以243434343p bk cm an <++， 即2p cm bk an <++． 1.2.2 构造正方形)1](3[P例8 已知+∈R x ,d c b a ,,,均是小于x 的正数，求证+-+22)(b x a +-+22)(c x b +-+22)(d x c x a x d 4)(22<-+．分析 观察不等式的左边各式，易联想到用勾股定理，每个式子代表一直角三角形的一斜边，且)()()()(d x d c x c b x b a x a -+=-+=-+=-+，所以可构造边长为x 的正方形．证明 如图3，构造边长为x 的正方形ABCD ，在边DA CD BC AB ,,,上 依次截取,a AE =,a x EB -=,d BF =c CG d x FC =-=,，b DHc x GD =-=,，b x HA -=．则四边形EFGH 的周长为+-+22)(b x a +-+22)(c x b +-+22)(d x c 22)(a x d -+．由三角形两边之和大于第三边知，四边形EFGH 的周长小于正方形ABCD 的周长， 从而命题得证．1.2.3 构造矩形图2x-c 图3例9 已知z y x ,,为正数，证明))((z y y x yz xy ++≤+．分析 两个数的乘积，可看作以这两个数为边长的矩形的面积，也可以看成以这两个数为直角边长的三角形面积的两倍．证明 如图4 ，造矩形ABCD ，使,y CD AB ==,x BE =,z EC =设α=∠AED ．由AED ECD ABE ABCD S S S S ∆∆∆++=矩形知 =+)(z x y ++yz xy 2121αsin ))((21z y y x ++． 化简得αsin ))((z y y x yz xy ++=+．因为1sin 0≤<α，所以))((z y y x yz xy ++≤+(当且仅当︒=90α时，等号成立)．1.2.4 构造三棱锥例10 设,0,0,0>>>z y x 求证22y xy x +->+-+22z yz y 22x zx z +-)129](4[P ．分析 注意到22y xy x +-︒-+=60cos 222xy y x ，可以表示以y x ,为边， 夹角为︒60的三角形的第三边，同理22z yz y +-，22x zx z +-也有类似意义．证明 如图5，构造顶点为O 的四面体ABC O -，使︒=∠=∠=∠60AOC BOC AOB ，z OC y OB x OA ===,,，则有22y xy x AB +-=，22z yz y BC +-=，22x xz z AC +-=．在ABC ∆中AC BC AB >+，即得原不等式成立．注 该题还可做如下推广:已知z y x ,,为正数，,0πα<<,0πβ<<πγ<<0时πγβα20<++<且,βαγβα+<<-求证22cos 2y xy x +-α+22cos 2z xz x +-β>22cos 2z yz y +-γ.例10便是当︒===60γβα时的特殊情况．1.3 构造对偶式证明不等式对偶思想是根据矛盾双方既对立又统一的二重性，巧妙地构造对偶数列，从而将问题解决的一种思想．⌒ADCBE y x +图4图5OAC例11 求证1212124321+<-⨯⨯⨯n nn ．分析 令=P nn 2124321-⨯⨯⨯ ，由于P 中分子为奇数、分母为偶数，则由奇数的对偶数为偶数可构造出关于P 的一个对偶式Q ，1225432+⨯⨯⨯=n nQ ．证明 设=P n n 2124321-⨯⨯⨯ ，构造P 的对偶式Q ，1225432+⨯⨯⨯=n nQ ．因为Q P <<0，所以=<PQ P 2)2124321(n n -⨯⨯⨯ 121)1225432(+=+⨯⨯⨯n n n ．所以121+<n P ，即原不等式成立．注 构造对偶式的途径很多，本题是利用奇偶性来构造对偶式，此外，还可利用倒数关系、相反关系、对称性关系等来构造对偶式．1.4 构造数列证明不等式这种方法一般用于与自然数有关的不等式证明，当问题无法从正面入手时，可考虑将它转化为数列，然后利用数列的单调性来证明．例12 求证:不等式!21n n ≤-，对任何正整数n 都成立)55](1[P ．分析 不等式可变形为,1!21≤-n n n 是正整数，所以可构造数列{},n a 其中1,!211==-a n a n n ，则只需证1a a n ≤即可．对于任意正整数n ，=-+=--+!2)!1(211n n a a n n n n 0)!1(2)1()!1()1(2211≤+-=++---n n n n n n n ， 所以{}n a 是递减数列．所以1a a n ≤，即原命题成立．1.5 构造向量证明不等式向量由于其自身的形与数兼备的特性，使得它成了数形结合的桥梁，也是解决一些问题的有利工具．对于某些不等式的证明，若能借助向量模的意义、数量积的性质等，可使不等式得到较易的证明．1.5.1 利用向量模的性质 例13 已知,,,,R d c b a ∈求证++++2222c b b a 2222a d d c +++)(2d c b a +++≥．证明 在原点为O 的直角坐标系内取四个点：()(),,,,c b b a B b a A ++(),,d c b c b a C ++++(),,a d c b d c b a D ++++++则原问题可转化为+，该不等式显然成立．1.5.2 利用向量的几何特征例14 设{}n a 是由正数组成的等比数列，n S 是前n 项和，求证)31](5[12.022.02.0log 2log log P n n n S S S ++>+． 分析 可将上述不等式转化为,212++<⋅n n n S S S 构造向量，用平行四边形的几何特征来证明．证明 设该等比数列的公比为q ，如图6，构造向量(),,11a a OA =(),,1n n qS qS OB +=()()12111,,+++=++=n n n n S S qS a qS a OC ，则OB OA OC +=，故B C A O ,,,构成平行四边形．由于OB OA ,在对角线OC 的两侧，所以斜率OB OA k k ,中必有一个大于OC k ，另一个小于OC k ．因为{}n a 是由正数组成的等比数列，所以OA n n OC k S S k =<=++121， 所以OC OB k k <， 即<+1n n S S 21++n n S S ． 所以212++<⋅n n n S S S ． 此外，还可以利用向量的数量积证明不等式，一般是根据向量的数量积公式θb a =⋅找出不等关系，如b a ≤⋅≤等，然后利用不等关系证明不等式，在此对这种方法不再举例说明．综上所述，利用构造思想证明不等式时，需对题目进行全面分析，抓住可构造的因素，并借助于与之相关的知识，构造出所求问题的具体形式或是与之等价的新问题，通过解决所构造的问题使原问题获得解决．就构造的对象来说它的表现形式是多样的，这就需要我们牢固的掌握基础知识和解题技巧，综合运用所学知识将问题解决．2 利用换元法证明不等式换元法是数学解题中的一种重要方法，换元的目的是通过换元达到减元，或通过换元得到熟悉的问题形式．换元法主要有以下几种形式：图6O xyABC2.1 三角换元法例15 已知,122≤+y x 求证2222≤-+y xy x ．证明 设θθsin ,cos r y r x ==()10≤≤r ，则=-+222y xy x θθθθ22222sin sin cos 2cos r r r -+θθθ222sin 2sin cos -+=r224sin 22sin 2cos 222≤≤⎪⎭⎫ ⎝⎛+=+=r r r πθθθ．注 这种方法一般是已知条件在结构上与三角公式相似时宜采用．若题设为,12=+y x 可设;sin 2,cos θθ==y x 题设为,122=-y x 可设θθtan ,sec ==y x 等．2.2 均值换元法例16 设,1,,,=++∈z y x R z y x 求证31222≥++z y x )12](2[P ．证明 设,31α+=x ,31β+=y ,31γ+=z 其中0=++γβα 则 =++222z y x ++2)31(α++2)31(β=+2)31(γ31)(231222≥++++++γβαγβα(当且仅当γβα==时取等号)．2.3 增量换元法这种方法一般用于对称式(任意互换两个字母顺序，代数式不变)和给定字母顺序的不等式的证明．例17 已知,0>>y x 求证 yx y x -<-)55](6[P ．证明 由,0>>y x 可令t y x += )0(>t ． 因为2)(2t y yt t y t y +=++<+， 所以t y t y +<+， 即y x y x -<-．总之，证明不等式时适当的引进换元，可以比较容易的找到解题思路，但具体使用何种代换，则因题而异，总的目的是化繁为简．3 利用概率方法证明不等式)51](7[P利用概率方法证明不等式，主要是根据实际问题，构造适当的概率模型，然后利用有关结论解决实际问题．3.1利用概率的性质：对任意事件A ，1)(0≤≤A P ，证明不等式例18 证明若,10,10≤≤≤≤b a 则1+≤+≤ab b a ab ．分析 由,10,10≤≤≤≤b a 可把a 看做事件A 发生的概率，b 看做事件B 发生的概率． 证明 设事件A 与B 相互独立，且,)(,)(b B P a A P ==则ab b a B A P B P A P B A P -+=-+=)()()()( ．因为,1)(0≤≤B A P 所以10≤-+≤ab b a ，所以1+≤+≤ab b a ab ．3.2 利用Cauchy-Schwarz 不等式：2))((ξηE ≤22ηξE E 例19 设0>i a ，0>i b ，,2,1=i …n ,， 则 21)(∑=ni i i b a ≤))((1212∑∑==ni in i i ba ．证明 设随机变量ξηηξ,,满足下列要求ξ概率分布:P (ξ=i a )=n 1(n i ,,2,1 =)，η概率分布:P (η=i b )=n1(n i ,,2,1 =)，ξη概率分布:⎪⎩⎪⎨⎧≠=== )(0)(1)(j i j i nb a P j i ξη， 则 2ξE ＝∑=n i i a n 121，2ηE ＝∑=n i i b n 121，)(ξηE ＝∑=n i i i b a n 11．由2))((ξηE ≤22ηξE E 得 212)(1∑=n i i i b a n ≤)1)(1(1212∑∑==n i i n i i b n a n ．即 21)(∑=ni i i b a ≤))((1212∑∑==ni in i i ba ．用概率证明不等式比较新颖，开辟了证明不等式的又一途径．但该法用起来不太容易，因为读者必须对概率这部分知识熟悉掌握，才能选择适当的结论加以利用，因此对这种方法只做简单了解即可．4 用微分方法证明不等式在高等数学中我们接触了微分, 用微分方法讨论不等式,为不等式证明方法开辟了新的视野． 4.1利用微分中值定理微分中值定理包括罗尔定理、拉格朗日定理、柯西定理、泰勒定理，下面仅给出拉格朗日中值定理、泰勒定理的应用：拉格朗日中值定理)120](8[P 若函数)(x f 在[]b a ,上连续，()b a ,内可导，则在()b a ,内至少存在一点ξ，使得)('ξf ＝ab a f b f --)()(．例20 已知0>b ,求证b b bb<<+arctan 12． 证明 函数x arctan 在[]b ,0上满足拉格朗日中值定理的条件，所以有b arctan －0arctan ＝)0()(arctan '-=b x x ξ＝21ξ+b，),0(b ∈ξ． 而b bx b <+<+2211ξ， 故原不等式成立．泰勒定理)138](8[P 若函数)(x f 在[]b a , 上有直至n 阶的连续导数，在()b a ,内存在()1+n 阶导函数，则对任意给定的0,x x ()b a ,∈，使得10)1(00)(200''00'0)()!1()()(!)()(!2)())(()()(++-++-++-+-+=n n nn x x n f x x n x f x x x f x x x f x f x f ξ 该式又称为带有拉格朗日余项的泰勒公式．例21 设函数)(x f 在[]b a ,上二阶可导，且M x f ≤)(''，,1,0)2(=-=+a b ba f 试证 4)()(M b f a f ≤+)69](9[P ．证明 将函数)(x f 在点20ba x +=展成二阶泰勒公式 ++-+++=)2)(2()2()('b a x b a f b a f x f 2'')2)((21b a x f +-ξ＝)2)(2('ba xb a f +-+＋2'')2)((21b a x f +-ξ． 将b a x ,=代入上式得)21)(2()('b a f a f +-=＋)(811''ξf ，)(81)21)(2(')(2''ξf b a f b f ++=． 相加得))()((81)()(2''1''ξξf f b f a f +=+． 取绝对值得))()((81)()(2''1''ξξf f b f a f +≤+≤4M ．4.2 利用极值例22 设12ln ->a 为任一常数，求证xeax x <+-122()0>x )188](10[P ．证明 原问题可转化为求证012)(2>-+-=ax x e x f x)0(>x ．因为0)0(=f ,所以只需证022)('>+-=a x e x f x．由02)(''=-=xe xf 得)('x f 的稳定点2ln =x ．当2ln <x 时，0)(''<x f ． 当2ln >x 时，0)(''>x f ． 所以 02)2ln 1(222ln 22)2(ln )(min ''>+-=+-==>a a f x f x ．所以原不等式成立．4.3 利用函数的凹凸性定义)193](10[P )(x f 在区间I 上有定义，)(x f 称为I 上的凸（凹）函数，当且仅当：21,x x ∀∈I ，有)2(21x x f +≤2)()(21x f x f + （)2(21x x f +≥2)()(21x f x f +）． 推论)201](10[P 若)(x f 在区间I 上有二阶导数，则)(x f 在I 上为凸（凹）函数的充要条件是：0)(''≥x f （0)(''≤x f ）．例23 证明na a a n +++ 21≥n n a a a 21 ),,2,1,0(n i a i =>)125](11[P ．证明 令,ln )(x x f =则01)(,1)(2'''<-==xx f x x f ，所以 x x f ln )(=在()+∞,0上是凹函数，对),0(,,,21+∞∈n a a a 有)ln ln (ln 1ln 2121n n a a a nn a a a +++≥⎪⎭⎫ ⎝⎛+++ ，所以na a a n +++ 21≥nn a a a 21．例24 对任意实数,,b a 有)(212b ab a e e e+≤+)80](12[P ．证明 设xe xf =)(，则),(,0)(''+∞-∞∈>=x e x f x，所以)(x f 为),(+∞-∞上凸函数．从而对b x a x ==21,有2)()()2(b f a f b a f +≤+． 即)(212b ab a e e e+≤+． 5 利用几个著名的不等式来证明不等式5.1 均值不等式)133](4[P定理 1 设n a a a ,,,21 是n 个正数，则)()()()(n Q n A n G n H ≤≤≤称为均值不等式，其中,111)(21na a a nn H +++=,)(21n n a a a n G =,)(21na a a n A n+++=na a a n Q n22221)(+++=分别称为n a a a ,,,21 的调和平均值，几何平均值，算术平均值，均方根平均值．例25 已知,10<<a ,02=+y x 求证812log )(log +≤+a yx a a a ． 证明 由,10<<a ,0,0>>yxa a 有y x y x y x a a a a a +=⋅≥+22，从而得22log )2(log )(log yx a a a a y x a y x a ++=≤++， 故现在只需证812≤+y x 或 41≤+y x 即可． 而4141)21(22≤+--=-=+x x x y x (当21=x 时取等号)，所以812log )(log +≤+a yx a a a ．5.2 Cauchy 不等式 定理2)135](4[P 设),,2,1(,n i R b a i i =∈，则∑∑∑===≥⋅n i ni i i ni ii b a ba 121122,)(当且仅当nn a b a b a b === 2211时等号成立. 例26 证明三角不等式 2112)(⎥⎦⎤⎢⎣⎡+∑=ni i i b a ≤2112⎪⎭⎫ ⎝⎛∑=ni i a ＋2112⎪⎭⎫ ⎝⎛∑=ni i b )33](12[P ．证明 因为∑=+ni i ib a12)(＝∑=+ni i i i a b a 1)(＋∑=+ni i i i b b a 1)(根据Cauchy 不等式，可得∑=+ni i i ia b a1)(≤211212)(⎥⎦⎤⎢⎣⎡+∑∑==ni i n i i i a b a ． （1）∑=+ni i i i b b a 1)(≤211212)(⎥⎦⎤⎢⎣⎡+∑∑==ni i ni i ib b a ． （2） 把（1）（2）两个式子相加，再除以2112)(⎥⎦⎤⎢⎣⎡+∑=ni i i b a ，即得原式成立．5.3 Schwarz 不等式Cauchy 不等式的积分形式称为Schwarz 不等式． 定理3)271](10[P )(),(x g x f 在[]b a ,上可积，则⎰⎰⎰≤b ababadx x g dx x f dx x g x f .)()())()((222若)(),(x g x f 在[]b a ,上连续，其中等号当且仅当存在常数βα,，使得)()(x g x f βα≡时成立(βα,不同时为零)．例27 已知)(x f 在[]b a ,上连续，,1)(=⎰badx x f k 为任意实数，求证2)cos )((⎰bakxdx x f 1)sin )((2≤+⎰b akxdx x f )272](10[P ．证明 上式左端应用Schwarz 不等式得2)cos )((⎰bakxdx x f 2)cos )(()(⎥⎦⎤⎢⎣⎡=⎰badx kx x f x f⎰⎰⋅≤babakxdx x f dx x f 2cos )()(⎰=bakxdx x f 2cos )(． (1)同理2)sin )((⎰bakxdx x f ⎰≤bakxdx x f 2sin )(． (2)由(1)+(2)即得原不等式成立． 5.4 利用W.H.Young 不等式 定理4)288](10[P 设)(x f 单调递增，在),0[+∞上连续，,0)0(=f )(,0,1x fb a ->表示)(x f 的反函数，则⎰⎰-+≤bady y f dx x f ab 010,)()(其中等号当且仅当b a f =)(时成立．例28 设,0,>b a ,1>p ,111=+qp 试证q b p a ab q p +≤)290](10[P ．证明 因为,1>p 所以1)(-=p xx f 单调递增且连续 (当0≥x 时)，1111)(---==q p y yy f )111(-=-q p ． 应用W.H.Young 不等式有 qb p a dy y f dx x f ab qp ba+=+≤⎰⎰-01)()(．。

高二构造函数法证明不等式的七种方法利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年考试的热点。

解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。

以下介绍构造函数法证明不等式的七种方法。

一.移项法、作差法构造函数 例1.已知函数.ln 21)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方.二.换元法构造函数证明例2.证明：对任意的正整数n ，不等式3211)11ln(nn n ->+ 都成立.三.从条件特征入手构造函数证明例3.若函数y =)(x f 在R 上可导且满足不等式x )(x f '>－)(x f 恒成立，且常数a ，b 满足a >b ，求证：．a )(a f >b )(b f四.主元法构造函数例4．已知函数x x x g x x x f ln )(,)1ln()(=-+= 设b a <<0,证明 ：2ln )()2(2)()(0a b ba gb g a g -<+-+<. 五.构造二阶导数函数证明导数的单调性例5．已知函数21()2xf x ae x =-(1)若f(x)在R 上为增函数,求a 的取值范围; (2)若a=1,求证:x ＞0时,f(x)>1+x六.对数法构造函数（选用于幂指数函数不等式） 例6.证明：当2111)1(,0x xex x ++<+>时七.构造形似函数例7：证明当a b b a e a b >>>证明,例8：已知m 、n 都是正整数，且,1n m <<证明：m n n m )1()1(+>+经典题选1. 已知函数xxx x f +-+=1)1ln()(，求证：对任意的正数a 、b ， 恒有.1ln ln a b b a -≥-2.已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有x x x ≤+≤+-)1ln(1113.已知函数22()ln (1)1x f x x x=+-+．（1）求函数()f x 的单调区间；（2）若不等式1(1)n ae n++≤对任意的N*n ∈都成立（其中e 是自然对数的底数）．求a 的最大值．4. 已知函数21()(1)ln 2f x x ax a x =-+-，1a >． 证明：若5a <，则对任意12,(0,)x x ∈+∞，12x x ≠，有1212()()1f x f x x x ->--．5. 已知函数x a ax x x x f )12(ln )(2-+-=R a ∈.（1）当21=a 时，求)(x f 的单调区间； （2）若函数)(x f 在),1[+∞单调递减，求实数a 的取值范围.6. 已知函数ln ()1a xb f x x x=++，曲线()y f x =在点(1,(1))f 处的切线方程为230x y +-=．（I ）求a ，b 的值；（II ）证明：当x>0，且1x ≠时，ln ()1x f x x >-．7. 已知函数ln ()(e xx kf x k +=为常数,e=2.71828是自然对数的底数),曲线()y f x =在点(1,(1))f 处的切线与x 轴平行. (Ⅰ)求k 的值;(Ⅱ)求()f x 的单调区间；(Ⅲ)设()()g x xf x '=,其中()f x '为()f x 的导函数.证明:对任意20,()1e x g x -><+8. 设函数()(1)(0)nf x ax x b x =-+>,n 为正整数,,a b 为常数,曲线()y f x =在(1,(1))f 处的切线方程为1x y +=. (1)求,a b 的值;(2)求函数()f x 的最大值; (3)证明:1()f x ne<. 答案：3.（1）增（-1,0）减（0，+ ）（2）a；5.（1）减（0，+ ）（2）a； 6.a=b=1；7.（1）k=1（2）增（0,1）减（1，+ ）；8.（1）a=1，b=0；（2）（ ）。

构造函数法证明不等式的八种方法冷世平整理1.构造多项式函数法：通过构造一个多项式函数来证明不等式。

例如，要证明当$x>0$时，$x^3+x^2+x+1>0$，我们可以构造多项式$f(x)=x^3+x^2+x+1$，然后证明$f(x)$的系数全为正数，从而得到结论。

2. 构造变形函数法：通过构造一个特定的变形函数来证明不等式。

例如，要证明当$x>0$时，$x+\frac{1}{x}>2$，我们可以构造变形函数$f(x)=x+\frac{1}{x}-2$，然后证明$f(x)$的取值范围为正数，从而得到结论。

3. 构造反函数法：通过构造一个特定的反函数来证明不等式。

例如，要证明当$x>0$时，$\frac{1}{x}+\frac{1}{1-x}>2$，我们可以构造反函数$f(x)=\frac{1}{x}+\frac{1}{1-x}-2$，然后证明$f(x)$的取值范围为正数，从而得到结论。

4. 构造积分函数法：通过构造一个特定的积分函数来证明不等式。

例如，要证明当$x>0$时，$\int_{0}^{x}\sqrt{t}dt<x$，我们可以构造积分函数$f(x)=\int_{0}^{x}\sqrt{t}dt-x$，然后证明$f(x)$的取值范围为负数，从而得到结论。

5. 构造递推函数法：通过构造一个特定的递推函数来证明不等式。

例如，要证明$n$个正实数的算术平均数大于等于它们的几何平均数，我们可以构造递推函数$f(n)=\frac{a_1+a_2+\dots+a_n}{n}-\sqrt[n]{a_1a_2\dots a_n}$，然后证明$f(n)$关于$n$的递推关系为非负数，从而得到结论。

6. 构造交换函数法：通过构造一个特定的交换函数来证明不等式。

例如，要证明当$x,y,z>0$时，$(x+y)(y+z)(z+x)\geq 8xyz$，我们可以构造交换函数$f(x,y,z)=(x+y)(y+z)(z+x)-8xyz$，然后证明$f(x,y,z)$在$x,y,z$的任意交换下都保持不变或增加，从而得到结论。

数列型不等式的放缩技巧九法证明数列型不等式，因其思维跨度大、构造性强，需要有较高的放缩技巧而充满思考性和挑战性，能全面而综合地考查学生的潜能与后继学习能力，因而成为高考压轴题及各级各类竞赛试题命题的极好素材。

这类问题的求解策略往往是：通过多角度观察所给数列通项的结构，深入剖析其特征，抓住其规律进行恰当地放缩；其放缩技巧主要有以下九种：一 利用重要不等式放缩1． 均值不等式法例1 设.)1(3221+++⋅+⋅=n n S n 求证.2)1(2)1(2+<<+n S n n n解析 此数列的通项为.,,2,1,)1(n k k k a k =+=2121)1(+=++<+<k k k k k k ，)21(11∑∑==+<<∴nk n nk k S k ， 即.2)1(22)1(2)1(2+<++<<+n n n n S n n n注：①应注意把握放缩的“度”：上述不等式右边放缩用的是均值不等式2b a ab +≤，若放成1)1(+<+k k k 则得2)1(2)3)(1()1(21+>++=+<∑=n n n k S n k n ，就放过“度”了！②根据所证不等式的结构特征来选取所需要的重要不等式，这里na a n a a a a a a nn nnn n22111111++≤++≤≤++其中，3,2=n 等的各式及其变式公式均可供选用。

例2 已知函数bxa x f 211)(⋅+=，若54)1(=f ，且)(x f 在[0，1]上的最小值为21，求证：.2121)()2()1(1-+>++++n n n f f f （02年全国联赛山东预赛题）简析 )2211()()1()0(22114111414)(⨯->++⇒≠∙->+-=+=n f f x x f xx x x .2121)21211(41)2211()2211(112-+=+++-=⨯-++⨯-++-n n n n n 例3 求证),1(221321N n n n C C C C n n nn n n ∈>⋅>++++- .简析 不等式左边=++++nn n n n C C C C 32112222112-++++=-n nn n n 122221-⋅⋅⋅⋅⋅> =212-⋅n n ，故原结论成立.2．利用有用结论例4 求证.12)1211()511)(311)(11(+>-++++n n 简析 本题可以利用的有用结论主要有：法1 利用假分数的一个性质)0,0(>>>++>m a b ma mb ab 可得>-⋅⋅122563412n n =+⋅⋅n n 212674523 )12(212654321+⋅-⋅⋅n nn ⇒12)122563412(2+>-⋅⋅n n n 即.12)1211()511)(311)(11(+>-++++n n法2 利用贝努利不等式)0,1,2,(1)1(≠->≥∈+>+*x x n N n nx x n 的一个特例12121)1211(2-⋅+>-+k k (此处121,2-==k x n )得=-+∏⇒-+>-+=)1211(121212111k k k k n k .1212121+=-+∏=n k k n k 注：例4是1985年上海高考试题，以此题为主干添“枝”加“叶”而编拟成1998年全国高考文科试题；进行升维处理并加参数而成理科姊妹题。

构造函数法证明不等式的八种方法1、利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。

2、解题技巧是构造辅助函数，把不等式的证明转化为利用导数研究函数的单调性或求最值，从而证得不等式，而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。

以下介绍构造函数法证明不等式的八种方法：一、移项法构造函数【例1】 已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有x x x ≤+≤+-)1ln(111 分析：本题是双边不等式，其右边直接从已知函数证明，左边构造函数111)1ln()(-+++=x x x g ，从其导数入手即可证明。

【解】1111)(+-=-+='x x x x f ∴当01<<-x 时，0)(>'x f ，即)(x f 在)0,1(-∈x 上为增函数当0>x 时，0)(<'x f ，即)(x f 在),0(+∞∈x 上为减函数故函数()f x 的单调递增区间为)0,1(-，单调递减区间),0(+∞于是函数()f x 在),1(+∞-上的最大值为0)0()(max ==f x f ，因此，当1->x 时，0)0()(=≤f x f ，即0)1ln(≤-+x x ∴x x ≤+)1ln( （右面得证）， 现证左面，令111)1ln()(-+++=x x x g ， 22)1()1(111)(+=+-+='x x x x x g 则 当0)(,),0(;0)(,)0,1(>'+∞∈<'-∈x g x x g x 时当时 ，即)(x g 在)0,1(-∈x 上为减函数，在),0(+∞∈x 上为增函数，故函数)(x g 在),1(+∞-上的最小值为0)0()(min ==g x g ，∴当1->x 时，0)0()(=≥g x g ，即0111)1ln(≥-+++x x ∴111)1ln(+-≥+x x ，综上可知，当x x x x ≤+≤-+->)1ln(111,1有时 【警示启迪】如果()f a 是函数()f x 在区间上的最大（小）值，则有()f x ≤()f a （或()f x ≥()f a ），那么要证不等式，只要求函数的最大值不超过0就可得证． 2、作差法构造函数证明【例2】已知函数.ln 21)(2x x x f += 求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方；分析：函数)(x f 的图象在函数)(x g 的图象的下方)()(x g x f <⇔不等式问题， 即3232ln 21x x x <+，只需证明在区间),1(∞+上，恒有3232ln 21x x x <+成立，设)()()(x f x g x F -=，),1(+∞∈x ，考虑到061)1(>=F 要证不等式转化变为：当1>x 时，)1()(F x F >，这只要证明： )(x g 在区间),1(+∞是增函数即可。

构造函数法证明不等式的八种方法.doc构造函数法是一种证明不等式的有效方法。

构造函数法是通过构造函数来证明不等式的真实性。

构造函数是函数的一种特殊形式，它是根据不等式中的条件和限制而构造出来的函数。

构造函数法的基本思路是，通过构造函数将原不等式转化为更容易证明的形式，进而通过对构造函数的研究来证明原不等式的真实性。

本文将介绍构造函数法证明不等式的八种方法。

一、线性函数法线性函数法是基于线性函数的构造函数法，它是构造函数法中最简单的方法之一。

线性函数法的思路是，构造一个线性函数，使得该函数在不等式限制下达到最大值或最小值。

例如，证明如下不等式：$$\frac{a}{b+1}+\frac{b}{c+1}+\frac{c}{a+1}\geq\frac{3}{2}$$将不等式两边都乘以$2(b+1)(c+1)(a+1)$得：$$2a(c+1)(b+1)+2b(a+1)(c+1)+2c(b+1)(a+1)\geq 3(a+1)(b+1)(c+1)$$此时，可以构造如下的线性函数$f(x,y,z)$:容易发现，$f(x,y,z)$在限制条件$x,y,z\geq 0$，$xy+yz+zx=3$下，达到最大值$\frac{3}{2}$。

因此，原不等式成立。

二、对数函数法对数函数法是基于对数函数的构造函数法，它常用于证明形如$a^x+b^y+c^z\geq k$的不等式，其中$a,b,c,x,y,z,k$均为正实数。

对数函数法的思路是，构造一个对数函数，使得该函数满足$g(x,y,z)\leq\ln(a^x+b^y+c^z)$，进而证明$g(x,y,z)\leq\ln k$，从而得到原不等式的证明。

例如，证明如下不等式：考虑构造如下的对数函数：$$g(x)=\ln\left(\frac{4a^3x+6}{5a^2x+2ax+5}\right)-\frac{3}{4}\ln x$$不难证明，$g(x)$在$x\geq 1$时单调递减且$g(1)=0$，因此$g(x)\leq 0$。

解题宝典数列不等式证明具有较强的综合性，且难度较大.此类问题往往综合考查了等差、等比数列的通项公式、前n 项和公式、性质、不等式的可加性、可乘性、传递性等，对同学们的逻辑推理和分析能力有较高的要求.本文主要介绍三种证明数列不等式的方法.一、裂项放缩法若数列的通项公式为分式，且可裂为或通过放缩后化为两项之差的形式，则可采用裂项放缩法求解.首先将数列的各项拆分，在求和时绝对值相等、符号相反的项便会相互抵消，再将所得的结果进行适当的放缩，便可证明数列不等式.例1.若数列{}a n ，{}b n 的通项公式分别为a n =n (n +1)，b n =()n +12，试证明1a 1+b 1+1a 2+b 2+⋯+1a n +b n<512.证明：当n =1时，1a 1+b 1=16<512，当n ≥2时，a n +b n =()n +1()2n +1>2()n +1n ，1a n +b n =1()n +1()2n +1<12n ()n +1=12æèöø1n -1n +1,∴1a 1+b 1+1a 2+b 2+⋯+1a n +b n ùûú<16+12éëêæèöø12-13+⋯+æèöø1n -1n +1，∵12éëêùûúæèöø12-13+⋯+æèöø1n -1n +1=12æèöø12-1n +1<14，∴1a 1+b 1+1a 2+b 2+⋯+1a n +b n <16+14=512∴1a 1+b 1+1a 2+b 2+⋯+1a n +b n <512成立.{}1a n +b n的通项公式为分式，且可通过放缩、裂项将其转化为两项之差：12æèöø1n -1n +1，于是采用裂项放缩法求证.运用裂项放缩法证明不等式时，需根据数列通项公式的特点或和的特点进行适当的放缩，同时要把握放缩的“度”，不可“放”得过大，也不可“缩”得过小.二、构造函数法数列是一种特殊的函数.在解答数列不等式证明题时，可根据目标不等式的特点构造出函数模型，此时需将n ∈N *看作函数的自变量，将目标式看作关于n 的函数式，利用函数的单调性、有界性来求得函数式的最值，从而证明不等式成立.例2.已知数列{}a n 的通项公式为a n =3n -1，且该数列的每一项均大于零.若数列{}b n 的前n 项和为T n ，且a n ()2b n-1=1，证明：3T n -1>log 2()a n +3.证明：∵a n()2b n-1=1，a n=3n -1，∴b n =log 2æèçöø÷1+1a n =log 23n 3n -1，∴T n =b 1+b 2+⋯+b n =log 2æèöø32∙65∙⋯∙3n 3n -1，∴3T n -1-log 2()a n +3=log 2æèöø32⋅65⋅⋯⋅3n 3n -13∙23n +2，设f ()n =æèöø32∙65∙⋯∙3n 3n -13∙23n +2，∴f ()n +1f ()n =3n +23n +5∙æèöø3n +33n +23=()3n +32()3n +5()3n +22，∵()3n +33-()3n +5()3n +22=9n +7>0，∴f ()n +1>f ()n ，∴f ()n 单调递增，∴f ()n ≥f ()1=2720>1，∴3T n -1-log 2()a n +3=log 2f ()n >0，∴3T n -1>log 2()a n +3成立.解答本题，需先求得b n 、T n ，并将目标式化简，然后根据目标不等式的特点构造函数f ()n ，通过比较f ()n +1、f ()n 的大小，判断出函数的单调性，进而根据函数的单调性证明不等式成立.一般地，在判断数列或函数的单调性时，可采用作差或作商法来比较数列的前后两项a n +1、a n 的大小，若a n +1>a n ，则函数或数列单调递增；若a n +1<a n ，则函数或数列单调递减.三、数学归纳法数学归纳法主要用于证明与自然数N 有关的命题.运用数学归纳法证明数列不等式，需先根据题意证明当n =1时不等式成立；然后假设当n =k 时不等式成立，再根据题意，通过运算、推理证明当n =k +1时不等式也成立，这样便可证明对任意n ∈N *不等式恒成立.42下下下下下下下下下下下下下下下下下方法集锦例3.已知数列{a n }的通项公式为a n =2éëêùûú()2-1n+1,若数列{b n }中b 1=2，b n +1=3b n +42b n +3，试证明：2<b n ≤a 4n -3.证明：当n =1时，2<2，b 1=a 1=2，∴2<b 1≤a 1，不等式成立，假设当n =k 时，不等式成立，∴2<b k ≤a 4k -3，即0<b k -2≤a 4k -3-2，当n =k +1时，b k +1-2=3b k +42b k +3-2=()3-22b k+()4-322b k +3=()3-22()b k -22b k +3>0，∵2<b k ，∴12b k +3<2+33-22，b k +1-2=()3-22()b k-22b k +3<()3-222()b k-2≤()2-14()a 4k -3-2=a 4k +1-2.∴当n =k +1时，不等式成立，即2<b n ≤a 4n -3成立.解答本题主要采用了数学归纳法，分两步完成，首先证明当n =1时不等式成立，然后假设当n =k 时不等式成立，并将其作为已知条件，证明2<b k ，进而证明当n =k +1时，不等式也成立.相比较而言，构造函数法的适用范围较广，裂项放缩法和数学归纳法的适用范围较窄，且裂项放缩法较为灵活，运用数学归纳法证明不等式过程中的运算量较大.因此在证明数列不等式时，可首先采用构造函数法，然后再根据不等式的特点和解题需求运用裂项放缩法或数学归纳法求证.（作者单位：湖北省恩施土家族苗族自治州高级中学）圆锥曲线的离心率是反映圆锥曲线几何特征的一个基本量.圆锥曲线的离心率主要是指椭圆与双曲线的离心率，可用e =ca来表示.求圆锥曲线的离心率问题是一类常考的题目.下面谈一谈求圆锥曲线离心率的三种途径.一、根据圆锥曲线的定义圆锥曲线的定义是解答圆锥曲线问题的重要依据.我们知道，椭圆的焦半径长为c 、长半轴长为a ；双曲线的焦半径长为c 、实半轴长为a ，而圆锥曲线的离心率为e =ca.因此，只要根据圆锥曲线的定义确定a 、c的值，即可求得圆锥曲线的离心率.例1.已知F 1，F 2分别是双曲线x 2a 2-y 2b2=1(a >0,b >0)的左，右焦点，如果双曲线上存在点P ，使∠F 1PF 2=90°，并且||PF 1=3||PF 2，求双曲线的离心率．解：因为||PF 1=3||PF 2，①由双曲线的定义得||PF 1-||PF 2=2a ，②由①②得||PF 1=3a ，||PF 2=a .且||F 1F 2=2c ，∠F1PF 2=90°，则|F 1F 2||2=PF 1||2+PF 2|2，即(2c )2a )2+a 2，解得5a =2c ，所以e =ca ．题目中指出了两个焦半径||PF 1、||PF 2之间的关系，可将其与双曲线的定义：平面内与两个定点F 1、F 2的距离的差的绝对值等于常数(小于|F 1F 2|)的点的轨迹关联起来，根据双曲线的定义建立关于两个焦半径的方程，通过解方程求得双曲线的离心率.二、利用几何图形的性质圆锥曲线的几何性质较多，如双曲线、椭圆的对称轴为坐标轴，对称中心为原点，双曲线的范围为x ≥a或x ≤-a .在求圆锥曲线的离心率时，要仔细研究几何图形，明确焦半径、实半轴长、虚半轴长与几何图形的位置关系，据此建立关于a 、b 、c 关系式，再通过解方43。

构造函数法证明不等式要证明一个不等式，一种常见的方法是使用构造函数法。

构造函数法是通过构造一个满足不等式的函数来证明不等式的正确性。

下面我们来具体说明如何使用构造函数证明一个不等式。

首先，我们需要明确待证明的不等式是什么。

假设我们需要证明的不等式是:f(x) \leq g(x)\]其中，f(x)和g(x)是关于x的函数。

接下来，我们需要构造一个满足不等式的函数h(x)。

我们的目标是证明h(x)满足:f(x) \leq h(x) \leq g(x)\]通过这个中间函数h(x)，我们可以将不等式分解成两个更简单的不等式。

为了构造适当的函数h(x)，我们可以考虑函数的性质，例如导数、零点、拐点等。

以下是几种常见的构造函数的方法:1. 加减常数法: 可以通过给f(x)或g(x)加减一个适当的常数来构造函数h(x)，使得f(x) \leq h(x) \leq g(x)。

例如，如果我们想证明 x^2 \leq x^3，我们可以通过构造一个函数h(x) = x^2 + 1来证明。

显然，对于任意的x，x^2 + 1 \geq x^2，并且x^2 + 1 \leq x^3（因为x^2 \leq x^3对于所有的x成立）。

2. 乘除法: 可以通过乘以或者除以一个适当的函数来构造函数h(x)。

例如，如果我们想证明 x^2\leq x^4，我们可以通过构造一个函数h(x)= \frac{1}{x^2}来证明。

当 x>0时，显然x^2 \leq \frac{1}{x^2}，而当 0\leq x \leq 1时， x^4 \geq x^2、因此，对于所有的x，\frac{1}{x^2} \geq x^2\leq x^43.对函数取导数:如果我们可以找到f(x)和g(x)的导数，并证明导数的关系成立，则可以通过证明导数的关系来证明原始函数的关系。

例如，如果我们想证明 x \leq e^x，我们可以比较两个函数的斜率。

我们知道导数表达式 d/dx(x) = 1 小于 d/dx(e^x) = e^x。

导数之构造函数法证明不等式 1、移项法构造函数 【例1】已知函数x x x f -+=)1ln()(，求证：当1->x 时，恒有【解】1111)(+-=-+='x xx x f ∴当01<<-x 时，0)(>'x f ，即)(x f 在)0,1(-∈x 上为增函数 当0>x 时，0)(<'x f ，即)(x f 在),0(+∞∈x 上为减函数 故函数()f x 的单调递增区间为)0,1(-，单调递减区间),0(+∞于是函数()f x 在),1(+∞-上的最大值为0)0()(max ==f x f ，因此，当1->x 时，0)0()(=≤f x f ，即0)1ln(≤-+x x ∴x x ≤+)1ln( （右面得证）， 现证左面，令111)1ln()(-+++=x x x g ， 22)1()1(111)(+=+-+='x x x x x g 则 当0)(,),0(;0)(,)0,1(>'+∞∈<'-∈x g x x g x 时当时 ， 即)(x g 在)0,1(-∈x 上为减函数，在),0(+∞∈x 上为增函数， 故函数)(x g 在),1(+∞-上的最小值为0)0()(min ==g x g ，∴当1->x 时，0)0()(=≥g x g ，即0111)1ln(≥-+++x x ∴111)1ln(+-≥+x x ，综上可知，当x x x x ≤+≤-+->)1ln(111,1有时2、作差法构造函数证明 【例2】已知函数.ln 21)(2x x x f +=求证：在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方； 【解】设)()()(x f x g x F -=，即x x x x F ln 2132)(23--=， 则xx x x F 12)(2--='=x x x x )12)(1(2++-当1>x 时，)(x F '=xx x x )12)(1(2++-从而)(x F 在),1(∞+上为增函数，∴061)1()(>=>F x F∴当1>x 时 0)()(>-x f x g ，即)()(x g x f <， 故在区间),1(∞+上，函数)(x f 的图象在函数332)(x x g =的图象的下方。

突破疑难点1构造函数证明不等式构造法证明不等式是指在证明与函数有关的不等式时，根据所要证明的不等式，构造与之相关的函数，利用函数单调性、极值、最值加以证明．常见的构造方法有：(1)直接构造法：证明不等式f(x)＞g(x)(f(x)＜g(x))转化为证明f(x)－g(x)＞0(f(x)－g(x)＜0)，进而构造辅助函数h(x)＝f(x)－g(x)；(2)适当放缩构造法：一是根据已知条件适当放缩，二是利用常见的放缩结论，如ln x≤x－1，e x≥x＋1，ln x＜x＜e x(x＞0)，xx＋1≤ln(x＋1)≤x(x＞－1)；(3)构造“形似”函数：稍作变形再构造，对原不等式同解变形，如移项、通分、取对数，把不等式转化为左、右两边是相同结构的式子的形式，根据“相同结构”构造辅助函数；(4)构造双函数：若直接构造函数求导难以判断符号，导函数零点也不易求得，因此函数单调性与极值点都不易获得，则可构造函数f(x)和g(x)，利用其最值求解．突破疑难点2利用分类讨论法确定参数取值范围一般地，若a＞f(x)对x∈D恒成立，则只需a＞f(x)max；若a＜f(x)对x∈D恒成立，则只需a＜f(x)min.若存在x0∈D，使a＞f(x0)成立，则只需a＞f(x)min；若存在x0∈D，使a＜f(x0)成立，则只需a＜f(x0)max.由此构造不等式，求解参数的取值范围．常见有两种情况，一种先利用综合法，结合导函数零点之间大小关系的决定条件，确定分类讨论的标准，分类后，判断不同区间函数的单调性，得到最值，构造不等式求解；另外一种，直接通过导函数的式子，看出导函数值正负的分类标准，通常导函数为二次函数或者一次函数．突破疑难点3两法破解函数零点个数问题两类零点问题的不同处理方法：利用零点存在性定理的条件为函数图象在区间[a，b]上是连续不断的曲线，且f(a)·f(b)＜0.①直接法：判断一个零点时，若函数为单调函数，则只需取值证明f(a)·f(b)＜0；②分类讨论法：判断几个零点时，需要先结合单调性，确定分类讨论的标准，再利用零点存在性定理，在每个单调区间内取值证明f(a)·f(b)＜0.突破疑难点4两法破解由零点个数确定参数问题已知函数有零点求参数范围常用的方法：(1)分离参数法：一般命题情境为给出区间，求满足函数零点个数的参数范围，通常解法为从f(x)中分离出参数，然后利用求导的方法求出由参数构造的新函数的最值，根据题设条件构建关于参数的不等式，再通过解不等式确定参数范围；(2)分类讨论法：一般命题情境为没有固定区间，求满足函数零点个数的参数范围，通常解法为结合单调性，先确定参数分类的标准，在每个小范围内研究零点的个数是否符合题意，将满足题意的参数的各小范围并在一起，即为所求参数范围．。