构造函数证明含有指数和对数的不等式
构造函数证明不等式
构造函数证明不等式构造函数证明不等式构造函数证明:[2的平方/(2的平方-1)*3的平方/(3的平方-1)*...*n的平方/(n的平方-1)]>e的(4n-4)/6n+3)次方不等式两边取自然对数(严格递增)有:ln(2^2/2^2-1)+ln(3^2/3^2-1)+...+ln(n^2/n^2-1)>(4n-4)/(6n +3)不等式左边=2ln2-ln1-ln3+2ln3-ln2-ln4+...+2lnn-ln(n-1)-ln(n+1)=ln2-ln1+lnn-ln(n+1)=ln[n^2/(n+1)]构造函数f(x)=ln[x^2/(x+1)]-(4x-4)/(6x+3)对f(x)求导,有:f'(x)=[(x+2)/x(x+1)]+[1/(x+1/2)]^2当x>2时,有f'(x)>0有f(x)在x>2时严格递增从而有f(n)>=f(2)=ln(4/3)-4/15=0.02>0即有ln[n^2/(n+1)]>(4n-4)/(6n+3)原不等式等证【解】:∏{n^2/(n^2-1)}[n≥2] > e^((4n-4)/(6n+3))∵n^2/(n^2-1)=n^2/(n+1)(n-1)∴∏{n^2/(n^2-1)}[n≥2] = 2n/(n+1)原式可化简为:2n/(n+1) > e^((4n-4)/6n+3))构建函数:F(n)=2n/(n+1)-e^((4n-4)/(6n+3))其一阶导数F’(n)={2-4e^((4n-4)/(6n+3))}/(n+1)^2∵e^((4n-4)/(6n+3))∴F’(n)>0 [n≥2]而F[2]=4/(2+1)-e^((8-4)/(12+3))=4/3-e^(4/15)>0所以F(n)>0 [n≥2]即:2n/(n+1) > e^((4n-4)/6n+3))故得证。
巧用“构造函数法”证明不等式
解 析 : 题 的通 常想 法 是 用 数 学 归 纳 法 , 必 须 本 但
先证 明加强 后 的不 等式 , 很难 构 造或 不 可能 构 造。
若 从n 联 ,是 数(= 在 问1] 能 l去 想它 函 _) 区 [ 2 厂 ÷ , 2 上 定 分即 } d l表 函 , ) 1 的 积 ,』 n 示 数 ( = ÷ =2 , 与 轴 成 图 的 积左 + + + 围 的 形 面 , l … 边- ) = 。看 n 矩 的 ・ 毒 成个 形 面 1 n
㈩ : 丝
: 边
>
0 ∈[, ) 恒成立 , 在 0+ 上
・
. .
( ÷( 了…1 ) 1 ) 1 ( + 1 ) +
.
函数
) x 0+ ) 在 E[ , 上单调递增 。
1 2 。
.
.
- ) 厂 ≥八0 = 。 ( ) 0
=
、
・Hale Waihona Puke . ∈(, 0 +∞) ,
:
.
・
.
n 时 ,( >0 ∈N , ) 恒成立 。
2, )则
故存 在最小 的正整 数 N=1使 得 当 n≥N 成 ,
立。
= ’
, n 一、 () /
・
2 1 n = 厂l ’ + 一 -
>
例 4 已知 0 b c , , ∈R 且 l <1 { <1 l , b 0 l ,
l , l <1求证 :6+6 +∞ >一1 c o c 。
解 析 : 据 o b c三 个 变 量 是 对 称 的 , 以 看 根 ,, 可
.
.
函数 n 单调递增 , ) 即 n ≥- 2 = ) 厂 ) (
灵活运用构造函数法,提升证明不等式的效率
设 0 < x1 < x 2 ,
æx
ö
2 ç 1 - 1÷
x1 2 ( x1 - x 2 )
è x2
ø
=
③ 可变形为 ln <
④,
x2
x1
x1 + x 2
+1
x2
令 t=
x1
( 0 < t < 1 ),
x2
可得 h( t ) = ln t -
2
2 ( t - 1)
,
t+1
( t - 1)
即需证
数学篇
42
首先将要证明的不等式进行移项、作差,使所有
则函数 h( x) 单调递减且 h(1) = 0 ,
1 ·h( x) > 0
所以当 x ∈ ( 0,1) 时,h( x) > 0 ,
;
1 - x2
1 ·h( x) > 0
当 x ∈ (1, +∞) 时,h( x) < 0 ,
;
1 - x2
综上所述,当 x > 0 且 x ≠ 1 时,
所以当 x > 0 时, h′(x) < 0 , h(x) 单调递减,
1
1
1
1 ö,
因为 >
,所以 hæ ö < hæ
n n+1
è n ø è n + 1ø
1 ö > n ln æ1 + 1 ö
故 (n + 1)ln æ1 +
.
nø
n + 1ø
è
è
运用函数最值法证明数列不等式时,同学们需依
构造函数证明不等式的八种方法
构造函数证明不等式的八种方法一、移项法构造函数1例:1、已知函数 f (x) ln( x 1) x ,求证:当x 1时,但有x x1 ln( 1)1 x2、已知函数f1x 2(x) ae x2(1)若 f (x) 在R 上为增函数,求 a 的取值范围。
(2)若a=1,求证:x 0时,f (x) 1 x二、作差法构造函数证明12例:1、已知函数 f x x ln x( )223g( x) x 的图象下方。
3,求证:在区间(1,) 上,函数 f (x) 的图象在函数思想:抓住常规基本函数,利用函数草图分析问题- 1 -2、已 知 函 数 f (x) n ln x 的 图 象 在 点 P( m , f ( x)) 处 的 切 线 方 程 为 y=x , 设ng( x) mx2ln x ,(1)求证:当 x 1时, g(x) 0恒成立;(2)试讨论关于 x的方x n32 2程g xxex txmx( )根的个数。
x3、换元法构造函数证明例:1、证明:对任意的正整数n ,不等式ln( 1 n1) 1 2n1 3n,都成立。
2、证明:对任意的正整 n ,不等式 ln( 1 n1)1 2n1 3n都成立。
3 23、已知函数 f (x) ln( ax 1) x x ax ,(1)若2 3为 yf ( x) 的极值点,求实数a的值;(2)若 y f (x) 在[1, ) 上增函数,求实数 a 的取值范围。
(3)若 a=-1 时,方程fb3(1 x) (1 x)有实根,求实数 b 的取值范围。
x- 2 -4、从条件特征入手构造函数证明例 1 若函数y f (x) 在R 上可导且满足不等式xf '(x) f ( x) 恒成立,且常数a,b 满足a b,求证:af (a) bf (b)5、主元法构造函数例 1.已知函数 f (x) ln(1 x) x ,g(x) xln x ,(1)求函数 f (x) 的最大值;(2)设a b0 a b,证明:0 g(a) g( b) 2g( ) (b a) ln 226、构造二阶导数函数证明导数的单调性例1:已知函数 f1x 2( x) ae x2,(1)若 f ( x) 在R 上为增函数,求 a 的取值范围;(2)若a=1,求证:x 0时,f (x) 1 x7、对数法构造函数(选用于幂指数函数不等式)1 x1 1例1:证明当x 0 时,x e 2(1 x)- 3 -8、构造形似函数例1:证明当b a e,证明 b b aa2、已知m、n 都是正整数,且 1 m n ,证明:(1 n n mm) (1 ) 思维挑战21、设a 0 ,f ( x) x 1 ln x 2a ln x ,求证:当x 1时,恒有x ln 2 ln1 2 x a x2 x a x122、已知定义在正实数数集上的函数 f ( x) x 2ax2 2 ,其中a 0,,g (x) 3a ln x b5 2 2且b a 3a ln a2,求证: f (x) g(x)3、已知函数 fx(x) ln(1 x) ,求证:对任意的正数a、b恒有1 xln a ln b 1ba4、f (x) 是定义在(0, ) 上的非负可导数,且满足xf ( ) ( ) 0,对任意正数a、b ,' x f x若a b,则必有()A. af (x) bf (a)B. bf (a) af (b)C. af (a) f (b)D. bf (b) f (a)- 4 -。
构造函数证明不等式或比较大小
构造函数证明不等式或比较大小在数学中,我们经常需要证明不等式或者比较大小。
构造函数是一个有用的工具,可以用来证明这类问题。
构造函数是一个函数,它的定义域是目标函数的定义域的一个子集,值域是实数集。
我们可以通过构造一个合适的函数,使得这个函数的值与目标函数的值相比较,从而证明不等式或者比较大小。
下面我们将通过几个例子来展示如何使用构造函数来证明不等式或者比较大小。
例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来证明这个不等式。
首先我们需要验证这个函数的定义域是非负实数集。
构造法证明对数不等式.doc
构造法证明对数不等式函数,是贯穿整个中学数学的一根主线,因而它一直都是高考重点考察的对象与内容。
对数函数与导数又作为中等数学与高等数学的衔接点,因此,在高考中,在对数函数中用导数作为工具来处理的题型也就成了表现函数问题的热点题型。
不等式是数学的一个重要内容,它始终贯穿在整个高中数学当中,从一开始的集合,函数的定义域、值域、单调性的确定,到立体几何、解析几何中最值问题,无一不是与不等式有着紧密的联系,许多的问题最终都可以归结为不等式的求解与证明。
特别是在近年来,不等式中去掉了“无理不等式、指数不等式、对数不等式的解法”等内容后,这些与对数相关的不等式问题与函数的导数、绝对值、参数等内容又将成为新的亮点。
以下是对数与不等式相结合的问题的题例。
例1、已知函数)0(ln )(>=x x x f ⑴求证:)0(1)(>-≤x x x f ;⑵求证:)N (665333ln 44ln 33ln 22ln +∈+-≤++++n n n n n 。
分析:问题⑴属于常规题型,利用函数的导数与最值关系即可得证;要证明问题⑵,首先要构造出不等式的左边中的一系列的n n33ln ,,44ln ,33ln ,22ln ,联想到问题⑴中已有的结论1)(-≤x x f ,此结论可变形为1ln -≤x x ,即x x x 11ln -≤,因此,要构造n n 33ln ,,44ln ,33ln ,22ln ,只需要在x x x 11ln -≤中的x 依次取2、3、4、……、n3,即可得 21122ln -≤、31133ln -≤、……、n n n 31133ln -≤,依次累加,得n n33ln 44ln 33ln 22ln ++++ n n 31312113-----≤ =)3131211(3n n +++-比较两式,只需证6653131211+≥++++n n 即可,以下可用数学归纳法完成。
证明:⑴设1ln 1)()(+-=+-=x x x x f x g ,则xx x g -=-=111)`()1()(g x g ≤∴ 即0111ln 1ln =+-≤+-x x因此,有1ln -≤x x ,也就是)0(1)(>-≤x x x f ⑵由⑴知,xx x 11ln -≤,依次取n x 3,,3,2 =,得 21122ln -≤,31133ln -≤,…,n n n 31133ln -≤依次累加,得n n 33ln 44ln 33ln 22ln ++++ n n 31312113-----≤ =)3131211(3n n +++-比较两式,只需证6653131211+≥++++n n 即可,以下用数学归纳法给出证明。
高中数学解题方法-----构造函数法证明导数不等式的八种方法
高中数学解题方法构造函数法证明不等式的八种方法1、利用导数研究函数的单调性极值和最值,再由单调性来证明不等式是函数、导数、不等式综合中的一个难点,也是近几年高考的热点。
2、解题技巧是构造辅助函数,把不等式的证明转化为利用导数研究函数的单调性或求最值,从而证得不等式,而如何根据不等式的结构特征构造一个可导函数是用导数证明不等式的关键。
以下介绍构造函数法证明不等式的八种方法:1.移项法构造函数 2、作差法构造函数证明3、换元法构造函数证明4、从条件特征入手构造函数证明5、主元法构造函数6、构造二阶导数函数证明导数的单调性7.对数法构造函数(选用于幂指数函数不等式)8.构造形似函数1.移项法构造函数【例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(+∞是增函数即可。
四种构造函数法证明不等式
四种构造函数法证明不等式利用导数证明不等式,关键是要找出与待证不等式紧密联系的函数,然后以导数为工具来研究该函数的单调性、极值、最值(值域),从而达到证明不等式的目的,这时常常需要构造辅助函数来解决.题目本身特点不同,所构造的函数可有多种形式,解题的繁简程度也因此而不同,如何恰当构造函数,往往成为解题的关键.考点一“比较法”构造函数证明不等式当试题中给出简单的基本初等函数,例如f(x)=x3,g(x)=ln x,进而证明在某个取值范围内不等式f(x)≥g(x)成立时,可以类比作差法,构造函数h(x)=f(x)-g(x)或φ(x)=g(x)-f(x),进而证明h(x)min≥0或φ(x)max≤0即可,在求最值的过程中,可以利用导数为工具.此外,在能够说明g(x)>0(f(x)>0)的前提下,也可以类比作商法,构造函数h(x)=f(x)g(x)⎝⎛⎭⎪⎫φ(x)=g(x)f(x),进而证明h(x)min≥1(φ(x)max≤1).【例题】已知函数f(x)=e x-ax(e为自然对数的底数,a为常数)的图象在点(0,1)处的切线斜率为-1.(1)求a的值及函数f(x)的极值;(2)求证:当x>0时,x2<e x.【解析】(1)由f(x)=e x-ax,得f′(x)=e x-a.因为f′(0)=1-a=-1,所以a=2,所以f(x)=e x-2x,f′(x)=e x-2,令f′(x)=0,得x=ln 2,当x<ln 2时,f′(x)<0,f(x)单调递减;当x>ln 2时,f′(x)>0,f(x)单调递增.所以当x=ln 2时,f(x)取得极小值,且极小值为f(ln 2)=e ln 2-2ln 2=2-2ln 2,f(x)无极大值.(2)证明:令g(x)=e x-x2,则g′(x)=e x-2x.由(1)得g′(x)=f(x)≥f(ln 2)>0,故g(x)在R上单调递增.所以当x >0时,g (x )>g (0)=1>0,即x 2<e x .【小结】在本题第(2)问中,发现“x 2,e x ”具有基本初等函数的基因,故可选择对要证明的“x 2<e x ”构造函数,得到“g (x )=e x -x 2”,并利用(1)的结论求解.考点二 “拆分法”构造函数证明不等式当所要证明的不等式由几个基本初等函数通过相乘以及相加的形式组成时,如果对其直接求导,得到的导函数往往给人一种“扑朔迷离”“不知所措”的感觉.这时可以将原不等式合理拆分为f (x )≤g (x )的形式,进而证明f (x )max ≤g (x )min 即可,此时注意配合使用导数工具.在拆分的过程中,一定要注意合理性的把握,一般以能利用导数进行最值分析为拆分标准.【例题】 已知函数f (x )=eln x -ax (a ∈R).(1)讨论f (x )的单调性;(2)当a =e 时,证明:xf (x )-e x +2e x ≤0.【解析】 (1)f ′(x )=e x -a (x >0),①若a ≤0,则f ′(x )>0,f (x )在(0,+∞)上单调递增;②若a >0,则当0<x <e a 时,f ′(x )>0,当x >e a 时,f ′(x )<0,故f (x )在⎝ ⎛⎭⎪⎫0,e a 上单调递增,在⎝ ⎛⎭⎪⎫e a ,+∞上单调递减. (2)证明:法一:因为x >0,所以只需证f (x )≤e x x -2e ,当a =e 时,由(1)知,f (x )在(0,1)上单调递增,在(1,+∞)上单调递减,所以f (x )max =f (1)=-e.记g (x )=e x x -2e(x >0),则g ′(x )=(x -1)e xx 2,所以当0<x <1时,g ′(x )<0,g (x )单调递减;当x >1时,g ′(x )>0,g (x )单调递增,所以g(x)min=g(1)=-e.综上,当x>0时,f(x)≤g(x),即f(x)≤e xx-2e,即xf(x)-e x+2e x≤0.法二:要证xf(x)-e x+2e x≤0,即证e x ln x-e x2-e x+2e x≤0,从而等价于ln x-x+2≤e x e x.设函数g(x)=ln x-x+2,则g′(x)=1x-1.所以当x∈(0,1)时,g′(x)>0;当x∈(1,+∞)时,g′(x)<0,故g(x)在(0,1)上单调递增,在(1,+∞)上单调递减,从而g(x)在(0,+∞)上的最大值为g(1)=1.设函数h(x)=e xe x,则h′(x)=e x(x-1)e x2.所以当x∈(0,1)时,h′(x)<0,当x∈(1,+∞)时,h′(x)>0,故h(x)在(0,1)上单调递减,在(1,+∞)上单调递增,从而h(x)在(0,+∞)上的最小值为h(1)=1.综上,当x>0时,g(x)≤h(x),即xf(x)-e x+2e x≤0.【小结】对于第(2)问xf(x)-e x+2e x≤0的证明直接构造函数h(x)=x eln x-ax2-e x+2e x,求导后不易分析,故可将不等式合理拆分为f(x)≤e xx-2e或ln x-x+2≤e xe x,再分别对不等式两边构造函数证明不等式.考点三“换元法”构造函数证明不等式若两个变元x1,x2之间联系“亲密”,我们可以通过计算、化简,将所证明的不等式整体转化为关于m(x1,x2)的表达式(其中m(x1,x2)为x1,x2组合成的表达式),进而使用换元令m(x1,x2)=t,使所要证明的不等式转化为关于t的表达式,进而用导数法进行证明,因此,换元的本质是消元.【例题】已知函数f(x)=ln xx-k有两个不同的零点x1,x2,求证:x1x2>e2.【解析】f(x)=ln xx-k,设x1>x2>0,由f(x1)=f(x2)=0,可得ln x1-kx1=0,ln x2-kx2=0,两式相加减,得ln x1+ln x2=k(x1+x2),ln x1-ln x2=k(x1-x2).要证x1x2>e2,即证ln x1x2>2,只需证ln x1+ln x2>2,也就是证k(x1+x2)>2,即证k>2x1+x2.因为k=ln x1-ln x2x1-x2,所以只需证ln x1-ln x2x1-x2>2x1+x2,即证lnx1x2>2(x1-x2)x1+x2.令x1x2=t(t>1),则只需证ln t>2(t-1)t+1(t>1).令h(t)=ln t-2(t-1)t+1(t>1),则h′(t)=1t-4(t+1)2=(t-1)2t(t+1)2>0,故函数h(t)在(1,+∞)上单调递增,所以h(t)>h(1)=0,即ln t>2(t-1) t+1.所以x1x2>e2.【小结】不妨设x1>x2>0,由f(x1)=f(x2)=0,可得ln x1-kx1=0,ln x2-kx2=0,两式相加减,利用分析法将要证明的不等式转化为ln x1-ln x2x1-x2>2x1+x2,再利用换元法,通过求导证明上述不等式成立.考点四“转化法”构造函数在关于x 1,x 2的双变元问题中,若无法将所给不等式整体转化为关于m (x 1,x 2)的表达式,则考虑将不等式转化为函数的单调性问题进行处理,进而实现消元的目的.【例题】 设函数f (x )=ln x +m x ,m ∈R ,若对任意b >a >0,f (b )-f (a )b -a<1恒成立,求m 的取值范围.【解析】 对任意的b >a >0,f (b )-f (a )b -a<1等价于f (b )-b <f (a )-a 恒成立.(*)设h (x )=f (x )-x =ln x +m x -x (x >0),故(*)等价于h (x )在(0,+∞)上单调递减.由h ′(x )=1x -m x 2-1≤0在(0,+∞)上恒成立,得m ≥-x 2+x =-⎝ ⎛⎭⎪⎫x -122+14(x >0)恒成立,故m ≥14,当且仅当x =12时等号成立,所以m 的取值范围为⎣⎢⎡⎭⎪⎫14,+∞.。
构造函数证明不等式的八种方法
构造函数证明不等式的八种方法下面将介绍构造函数证明不等式的八种常见方法: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. 设:a 、b 、c ∈R ,证明:0)(322≥+++++c b a b c ac a 成立,并指出等号何时成立。
解析:令bc b c a c b a a f 33)3()(222+++++=⊿=2222)(3)33(4)3(c b bc b c c b +-=++-+∵b 、c ∈R ,∴⊿≤0即:0)(≥a f ,∴0)(322≥+++++c b a b c ac a 恒成立。
当⊿=0时,0=+c b ,此时,0)(3)(222=-=+++=c a ab c ac a a f ,∴c b a =-=时,不等式取等号。
例2. 已知:R c b a ∈,,且2,2222=++=++c b a c b a ,求证: ⎥⎦⎤⎢⎣⎡∈34,0,,c b a 。
解析:⎩⎨⎧=++=++22222c b a c b a 消去c 得:012)2(22=+-+-+b b a b a ,此方程恒成立, ∴⊿=043)12(4)2(222≥+-=+---b b b b b ,即:340≤≤b 。
同理可求得∈c a ,⎥⎦⎤⎢⎣⎡34,0 ② 构造函数逆用判别式证明不等式对某些不等式证明,若能根据其条件和结论,结合判别式的结构特征,通过构造二项平方和函数:2222211)()()()(n n b x a b x a b x a x f -++-+-=由0)(≥x f ,得⊿≤0,就可以使一些用一般方法处理较繁琐的问题,获得简捷明快的证明。
例3. 设+∈R d c b a ,,,且1=+++d c b a , 求证:14141414+++++++d c b a ﹤6。
构造函数法证明不等式的八种方法冷世平整理
构造函数法证明不等式的八种方法冷世平整理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.已知x>-1,求证:1-1x+1≤ln(x+1)≤x.分析:所证明不等式中既含有分式又含有指数函数,很难建立起它们之间的关系,不妨把不等式拆分为两个不等式,分别构造新的函数f(x)=ln(x+1)-x,g(x)=ln(x+1)-1x+1-1,将问题转化为证明f(x)max≤0,g(x)min≥0.继而对f(x),g(x)求导,求出其零点、判断函数单调性,结合定义域求出极值,从而证明f(x)max≤0,g(x)min≥0,便可证明1-1x+1≤ln(x+1)≤x成立.证明:令f(x)=ln(x+1)-x,则f′(x)=1x+1-1=-x x+1,令f′(x)=0,解得x=0,当-1<x<0时,f′(x)>0,f(x)单调递增,当x>0时,f′(x)<0,f(x)单调递减,因此当x>-1时,f(x)max=f(0)=ln1-0=0,即f(x)=ln(x+1)-x≤0,可证明ln(x+1)≤x.再令g(x)=ln(x+1)+1x+1-1,则g′(x)=x()x+12,令g′(x)=0,解得x=0,当-1<x<0时,g′(x)<0,g(x)单调递减,当x>0时,g′(x)<0,g(x)单调递增,因此当x>-1时,g(x)min=g(0)=0,即当-1<x<0时,g(x)=ln(x+1)+1x+1-1≥0,所以1-1x+1≤ln(x+1).综合可得证:1-1x+1≤ln(x+1)≤x.例2.已知f(x)=ln(x+1)+x+1-1,证明:当0<x<2时,f(x)<9x x+6.证明:令g(x)=f(x)-9x x+6=ln(x+1)+x+1-1-9xx+6,∴g′(x)x+1)54(x+6)2,∵x+1+x+1,∴x+1≤x2+1,∴g′(x)=-54(x+6)2<x+64(x+1)-54(x+6)2=(x+6)3-216(x+1)4(x+1)(x+6)2,∴g″(x)=3(x+6)2-216,在0<x<2时,g″(x)=3(x+6)2-216<0,∴g′(x)=(x+6)3-216(x+1)4(x+1)(x+6)2在定义域内单调递减,又g′(0)=0,∴g′(x)<0,∴在0<x<2上,函数g(x)单调递减,即g(x)max=g(0)=0,∴g(x)=f(x)-9x x+6<0,∴f(x)<9x x+6.本题直接运用了构造函数法进行求解,首先将不等式变形,构造函数g(x)=f(x)-9x x+6,从而问题转化为证明g(x)max<0.由于在对g(x)求导后,无法直接探究其导函数的零点和在区间上的正负符号,所以需要对其导函数再次求导,求其零点和在区间上的正负符号,进而确定函数g(x)的单调性、最值,证明不等式成立.通过上述分析,我们可以发现,运用构造函数法解答不等式证明问题的关键是求新函数的最值.上述两个例题在求函数的最值时都用到了导数法,其基本思路是:第一步,将不等式变形,构造合适的函数;第二步,对函数求导;第三步,求导函数的零点,研究导函数在区间上的正负符号,判断函数的单调性;第四步,求函数的极值、最值,证明不等式成立.在运用上述思路解题时,同学们要灵活运用函数求导的基本技巧,从而顺利解题.(作者单位:山东省北镇中学)王妍37。
高中数学教学论文 构造函数证明不等式-推荐下载
1.
∴ f x在1,1上是增函数.∵ 1 b 1 ∴ f 1 f b f 1 ,即 1 a b 1, 即
1 ab a b 1. 1 ab
(教材 P14 练习 5)已知 a, b, c, d
ac
分析:联想定比分点坐标公式,
bd
∵当 x 0, 时,
∴ f a 0.即结论成立.
2. 判别式构造法.
例 3.(教材 P27. 例 1)已知 a, b, c, d 都是实数,且 a2 b2 1, c2 d 2 1.求证: ac bd 1.
分析:所证结论即是 2ac bd 2 4 a2 b2 c2 d 2 0. 故可构造函数 f x a2 b2 x2 2ac bd x c2 d 2.
0.∴
. 故原不等式成立.
b 0, 求证: a ca
练习 6. (教材 P17. 习题 9)已知 ABC 的三边长分别是 a, b, c .且 m 为正数.求证:
练习 7.
f
ab c. am bm cm
点拨:构造函数 f x x , x 0, . 易证 f x为增函数.由于 a b c, 故
例 2.( 教材 P31. 复习参考题 6)设 a, b, c 为 ABC 的三条边,求证: a2 b2 c2 < 2 ab bc ca. 分析:构造函数 f x x2 2b cx b c2 . ∵ f x图象开口向上,对称轴 x b c .∴
b
m m
2
.
. 故可构造函数
a. b
f
ac bd
f
x
x
f
构造函数法证明不等式的八种方法.doc
构造函数法证明不等式的八种方法.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$。
构造函数法证明不等式
构造函数法证明不等式要证明一个不等式,一种常见的方法是使用构造函数法。
构造函数法是通过构造一个满足不等式的函数来证明不等式的正确性。
下面我们来具体说明如何使用构造函数证明一个不等式。
首先,我们需要明确待证明的不等式是什么。
假设我们需要证明的不等式是: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。
构造函数证明含有指数和对数的不等式
教学方法课程教育研究学法教法研究 177在选修的课本中介绍了指数函数与对数函数及幂函数的增长速度的问题,这里便为我们研究构造函数的问题提供了一种思路,在利用函数证明不等式的时候,构造由幂函数与指数函数及对数函数构成新的函数,将题目中给出的不等式,经过合理的变换,使之变成()()g x h x >的形式,然后再利用导数得到在定义域上,从而得出不等式成立,在思路上比较简洁,但是难点在于如何构造函数,使得能得出及,而在构造函数当中,最难处理的是遇到指数函数和对数函数的问题时.本文从几个常见的函数类型出发,研究函数,在上单调递例1 已即证,所以恒成立,所以在上单调递减时恒成立,故成立,故当时,.评注 若采用一般的方法构造函数,即构造函数时,对求导,单调递增,递.当时,递减,单调递增,例2 已知函数.,证明:当时,不等式恒成立.对求导,再令,则在上单调递增且存在零点,故存在零点,但零点无法计算得出,将零点整体代换有难度,导致无法进行下一步.,令单,故单调所以故.参考文献:[1]颜立平.运用构造法进行教学,培养学生创新能力[J].教师,2011,31:37-38[2]沈文选,杨清桃.高中数学竞赛解题策略[M].浙江大学出版社,2012.[3]方秦金.构造函数法证数列不等式的几种思考途径[J].中学数学杂志(高中版),2010(1).构造函数证明含有指数和对数的不等式龚世杰(武汉市常青第一中学 湖北 武汉 430024)【摘 要】证明函数不等式的的方法有很多,通常可以构造函数,构造函数中,当含有指数函数或是对数函数时,由于求导数之后导函数的零点不好确定,导致分析原函数的单调性会变得困难,本文主要研究了如何把函数不等式拆成两个函数,从而将问题转化为两个函数最值之间的比较,这样表解决了部分函数求导之后导函数很复杂的问题。
【关键词】 证明不等式 构造函数 指数与对数 最值【中图分类号】G633.6 【文献标识码】A 【文章编号】2095-3089(2018)36-0177-01Copyright©博看网 . All Rights Reserved.。
构造函数及对数平均不等式
令gt ln t 1 t 1,t 1,则
2 t
gt 1
t
1 1 2
1 t2
2t 1 t 2 2t 2
t 12
2t 2
பைடு நூலகம்
0,
所以gt在1, 上单调递减,所以gt g1 0,
即ln t 1 t 1,t 1 2 t
即 ab a b 得证。 ln a ln b
x2
6若形如f x f x,则可构造y ex f x.
7若形如f x f x,则可构造y ex f x.
8若形如f x
f x,则可构造y
f x
ex
.
9若f x f x,则可构造f x cc 0.
对数平均值的不等式链
设a b 0,则 ab a b a b , ln a ln b 2
常见构造函数
1若形如xf x f x,则可构造y x f x.
2若形如 sin sin ,则可构造y x sin x.
3若形如f xgx f xgx,则可构造y f xgx. 4若形如xf x f x,则可构造y f x.
x
5若形如x2 f x 2xf x,则可构造y f x.
x 1
x 1
x 1
则f
x
1 x
2x 1 2x 1 x 12
x 12 xx 12
0.
所以f x在1, 上单调递增。所以f x f 1 0
即a b
2 a 1 b a 1
0, 所以 ln
ab a ln b
ab 2
b
再证明 x x 1. ln x
令t x 1,则不等式等价于ln t 1 t 1, 2 t
即几何平均数 对数平均数 算数平均数 简记为G L A
构造函数法证明不等式的八种方法
导数之构造函数法证明不等式 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)分类讨论法:一般命题情境为没有固定区间,求满足函数零点个数的参数范围,通常解法为结合单调性,先确定参数分类的标准,在每个小范围内研究零点的个数是否符合题意,将满足题意的参数的各小范围并在一起,即为所求参数范围.。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
构造函数证明含有指数和对数的不等式
作者:龚世杰
来源:《课程教育研究·学法教法研究》2018年第36期
【摘要】证明函数不等式的的方法有很多,通常可以构造函数,构造函数中,当含有指
数函数或是对数函数时,由于求导数之后导函数的零点不好确定,导致分析原函数的单调性会变得困难,本文主要研究了如何把函数不等式拆成两个函数,从而将问题转化为两个函数最值之间的比较,这样表解决了部分函数求导之后导函数很复杂的问题。
【关键词】证明不等式构造函数指数与对数最值
【中图分类号】G633.6 【文献标识码】A 【文章编号】2095-3089(2018)36-0177-01
在选修的课本中介绍了指数函数与对数函数及幂函数的增长速度的问题,这里便为我们研究构造函数的问题提供了一种思路,在利用函数证明不等式的时候,构造由幂函数与指数函数及对数函数构成新的函数,将题目中给出的不等式,经过合理的变换,使之变成的形式,然后再利用导数得到在定义域上,从而得出不等式成立,在思路上比较简洁,但是难点在于如何构造函数,使得能得出及,而在构造函数当中,最难处理的是遇到指数函数和对数函数的问题时.本文从几个常见的函数类型出发,研究函数的构造方法。
1 构造成类型函数
若函数则对任意,在上单调递增,在上单调递减,.
例1 已知,求证:当时,
解析要证,
即证,令,,.因为,所以恒成立,所以在上单调递减.故.
又因为,当时恒成立,故.所以恒成立,故当时,.
评注若采用一般的方法构造函数,即构造函数,再证时,对求导,,导数的零点不好
求,导致单调性无法判断,无法进行下一步的运算。
2 构造成类型函数
若,则当在上单调递增,在上单调递减,.当时,在上单调递减,在上单调递增,,
特别的,当时,若,在上单调递减,在上单调递增,,若,在上单调递增,在上单调递减,
例2 已知函数.,证明:当时,不等式恒成立.
解析要证,即证成立,
令,
下证.,得,故在上单调递减,在上单调递增,所以.,,得,故在上单调递增,在上单调递减,所以,故,即当时,不等式恒成立.
评注若构造函数,再证时,对求导,,再令,则在上单调递增且存在零点,故存在零点,但零点无法计算得出,将零点整体代换有难度,导致无法进行下一步的运算。
例3 已知函数,证明:当时,不等式恒成立.
解析要证,即证,令,,,所以在上单调递减,在上单调递增,故,,故在上单调递增,在上单调递减,所以,故,故当时,不等式恒成立.
3 指数类型函数的构造
若将函数及函数中替换为,则可得及具有类似的单调性及最值.
证明:对一切,都有成立.
解析要证,即证,令,,,所以在上单调递减,在上单调递增,故,,故在上单调递增,在上单调递减,所以,故,则有成立.
参考文献:
[1]颜立平.运用构造法进行教学,培养学生创新能力[J].教师,2011,31:37-38
[2]沈文选,杨清桃.高中数学竞赛解题策略[M].浙江大学出版社,2012.
[3]方秦金.构造函数法证数列不等式的几种思考途径[J].中学数学杂志(高中版),2010(1).。