构造法巧证不等式
构造法巧证不等式
解题过程实质上包含着多次思维的转化过程，如果从分析问题所提供的信息知道其本质与相关知识的内在联系，那么该题就可以考虑转化为运用“构造”的方法来解（证），可以达到优化解题模式的奇妙效果.
“构造”是一种重要而灵活的思维方式，它没有固定的模式.要想用好它，需要有敏锐的观察、丰富的联想、灵活的构思、创造性的思维等能力.构造思想解题的最大特点是调整思维视角，在更广阔的背景下考察问题中所涉及的代数、几何元素及其相互关系.应用构造思想解题的关键有：(1)要有明确的方向，即为何构造；(2)要弄清条件的本质特点，以便进行逻辑组合.
1．构造函数证明不等式
例1求证：
b
a b a +++1≤
b
b a
a ++
+11
分析：由不等号两边可归纳为)0(1)(>+=
x x
x
x f 的形式，因此可考虑函数x
x
x f +=
1)(在0>x 时的单调性. 证明：设210x x <<，∵0)
1)(1(11212
12211<++-=+-+x x x x x x x x ∴x
x
x f +=
1)(在0>x 时是增函数， 且b a +≤b a +.令b a x +=1，b a x +=2，则有
b
a b a +++1≤
b
a b b
a a b
a b a +++
++=
+++111≤
b
b a
a ++
+11
评注：此例在于引导学生关于发现不等式的特点，根据其特点确定证题的方向. 2．构造向量证明不等式
通过构造向量，利用向量的数量积的概念和余弦函数的取值范围，变等为不等，从而解决有关不等式的证明问题.
例2证明 2
2211)(b a b a +≤))((2
22
22
12
1b a b a ++，其中i a 、∈i b R ，2,1=i .
证明：设a ),(11b a =，b ),(22b a =，a 与b 的夹角为],0[,πθθ∈，因为，
2
2
222
1
2
12211cos b a b a b a b a +++=
θ，θcos ≤1，所以
2
2
222
1
2
12211b a b a b a b a +++≤1.即
22211)(b a b a +≤))((2
2222
12
1b a b a ++.
例3求证：2222d c b a +++≥2
2
)()(d b c a -+-（a 与c 、b 与d 不同时相
等）
解设p ),(b a =、q ),(d c =，则
q p +≥q p -（当且仅当p 与q 反向时取等号）
即2222d c b a +++≥22)()(d b c a -+- 3．构造几何模型，数形结合证明不等式
例4已知实数x 、y 满足1=+y x ，求证：2
2
)2()2(+++y x ≥
2
25 分析：这道题目代数证明方法很多，就不一一列举了.这里介绍如何利用图象去解决问
题.我们注意到2
2)2()2(+++y x 可以用来表示点
),(y x 到点（-2，-2）的距离d 的平方.所以这道题目
我们可以有如下的解法.
解：如图在直角坐标系中，1=+y x 为一条直线，
22)2()2(+++y x 表示直线1=+y x 的任一点
),(y x 到点（-2，-2）的距离d 的平方，而距离d 的最小值为点（-2，-2）到直线1
=+y x 的距离.所以2
5111222
2min =
+---=
d 所以2
d ≥
225，即2
2)2()2(+++y x ≥2
25. 评注：我们可以看出运用数形结合思想解(证)不等式，确实能简化我们的解题过程，但
在运用数形结合思想的过程中还需要注意以下两点：一、不等式问题并不是都能用数形结合思想来解决的，我们不能只抓住数形结合思想不放，还应考虑其他方法；二、作函数图象的时候一定要把图象画正确，要注意函数的定义域、图象的交点等等.
4．构造三角形证明不等式
例5 正数a 、b 、c ，A 、B 、C 满足条件： k C c B b A a =+=+=+，
求证：2
k cA bC aB <++.
证明 如图1所示，作边长为k 的正三角形PQR ，分别在各边上取L 、M 、N ，使
,,,,,,c NQ C PN b MP B RM a LR A QL ======，有
PQR NQL MPN LRM S S S S ∆∆∆∆<++，
即
︒<︒+︒+︒60sin 2
1
60sin 2160sin 2160sin 212k cA bC aB ， 所以 2
k cA bC aB <++. 5．构造数列证明不等式
P
L M
N
A B C a b
c
x
y
O
p
q q p -
例
6
设)21()1(3221 ，，=+++⋅+⋅=n n n a n ，证明不等式
2
)1(2)1(2+<<+n a n n n 对所有正整数n 都成立. 证明： 构造数列{}n A ：令2
)
1(+-
=n n a A n n ，则 ∈>+-++=++-++-=-++n n n n n n n n a a A A n n n n ,0)1()2)(1(2
)
2)(1(2)1(11N ，
∴n n A A >+1，{}n A 为单调递增数列，第1项121-=A 为最小项.
∴0121>-=
>A A n ，即2
)
1(+>
n n a n . 又令2
)1(2
+-=n a B n n ，则
23
2)2)(1(2)2(2)1(2211+-++=+-++-=-++n n n n n a a B B n n n n
∈<+-+-
=n n n ,02
)12(2
N ＊ ∴n n B B <+1，{}n B 为单调递减数列，第1项221-=
B 为最大项，
0221<-=<B B n ，即2
)1(2
+<
n a n . 综上所述，故2
)1(2)1(2
+<<+n a n n n 对所有正整数n 都成立.。
构造数列证明不等式的几种思路
。n 是大于 1 的 证明对于一切正整数 n，有
。3. 已知 。0，则 1 的递增数列。4.
且
且 ，求证：
证明对于一切正整数 n，有
i、m、n 是正整数，且
。5. 当 ，求证：
时，求证：
。6. 已知
。7. 证明对于一切正整数 n，有
。n 项的和为
。n 项和，故原不等式成立。8. 证明
对于一切大于 1 的正整数 n，有
当 时，
。
又
。则数列 的每一项大于数列
的相应项，故 大于数列
的前 五、商分法 对于“
明
”型不等式，令 ，则欲证明的不等式得证。
例 证明：原不等式即
。
记数列 的前 当 时，
，若能证
，
欲证
，只需证
成立的。可见数列 的每一项均小于数列 的前
例证明：原不等式即 记数列 的前
，即证
，而这是明显
的相应项，所以 小于数列
证明：构造数列
。
因为 所以数列
为递增数列。因为
所以 二、作差法
欲证
，当且仅
例证明：令
。
则
所以数列 是递增数列。所以
，故原不等式成立。
例证明：令
，又
且
所以 在 上单调递减。所以 三、作商法
， ，故原不等式成立。
若
，则欲证
，可转证数列
是首项大于
例证明：设 即数列 是递增数列。所以
8）4 可仿本题完成。14.
设
为互不相等的正整数，求证：
。 一、直接法 视不等式的左边为一个整体，直接考查不等式左边对应的数列的单调性，达到证明的 目的。
，只要证
因为 构造数列
巧用“构造函数法”证明不等式
解 析 ： 题 的通 常想 法 是 用 数 学 归 纳 法 ， 必 须 本 但
先证 明加强 后 的不 等式 ， 很难 构 造或 不 可能 构 造。
若 从ｎ 联 ，是 数（＝ 在 问１］ 能 ｌ去 想它 函 ＿） 区 ［ ２ 厂 ÷ ， ２ 上 定 分即 ｝ ｄ ｌ表 函 ， ） １ 的 积 ，』 ｎ 示 数 （ ＝ ÷ ＝２ ， 与 轴 成 图 的 积左 ＋ ＋ ＋ 围 的 形 面 ， ｌ … 边－ ） ＝ 。看 ｎ 矩 的 ・ 毒 成个 形 面 １ ｎ
㈩ ： 丝
： 边
＞
０ ∈［， ） 恒成立 ， 在 ０＋ 上
・
． ．
（ ÷（ 了…１ ） １ ） １ （ ＋ １ ） ＋
．
函数
） ｘ ０＋ ） 在 Ｅ［ ， 上单调递增 。
１ ２ 。
．
．
－ ） 厂 ≥八０ ＝ 。 （ ） ０
＝
、
・Hale Waihona Puke ． ∈（， ０ ＋∞） ，
：
．
・
．
ｎ 时 ，（ ＞０ ∈Ｎ ， ） 恒成立 。
２， ）则
故存 在最小 的正整 数 Ｎ＝１使 得 当 ｎ≥Ｎ 成 ，
立。
＝ ’
， ｎ 一、 （） ／
・
２ １ ｎ ＝ 厂ｌ ’ ＋ 一 －
＞
例 ４ 已知 ０ ｂ ｃ ， ， ∈Ｒ 且 ｌ ＜１ ｛ ＜１ ｌ ， ｂ ０ ｌ ，
ｌ ， ｌ ＜１求证 ：６＋６ ＋∞ ＞一１ ｃ ｏ ｃ 。
解 析 ： 据 ｏ ｂ ｃ三 个 变 量 是 对 称 的 ， 以 看 根 ，， 可
．
．
函数 ｎ 单调递增 ， ） 即 ｎ ≥－ ２ ＝ ） 厂 ） （
灵活运用构造函数法，提升证明不等式的效率
设 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、利用导数研究函数的单调性极值和最值，再由单调性来证明不等式是函数、导数、不等式综合中的一个难点，也是近几年高考的热点。
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(+∞是增函数即可。
构造函数法证明泰勒展开不等式的八种方法
构造函数法证明泰勒展开不等式的八种方
法
泰勒展开定理是微积分中一个非常重要的定理，它可以将一个函数在某一点附近展开为无穷的多项式和。
在实际应用中，我们经常需要保留部分项，将函数近似表示，而泰勒展开就可以很好地满足我们的需求。
本文将介绍泰勒展开不等式的八种证明方法，其中均使用了构造函数的方法。
1. 利用 $(1+x)^n$ 的二项式展开式证明。
2. 利用 $e^x$ 的泰勒展开式证明。
3. 利用 $\ln (1+x)$ 的泰勒展开式证明。
4. 利用 $\int_0^x \cos t^2 dt$ 的收敛性证明。
5. 利用 $\int_0^x e^{-t^2} dt$ 的平方证明。
6. 利用 $\tan^{-1} x$ 和 $\tanh^{-1} x$ 的泰勒展开式证明。
7. 利用 $\sin x$ 和 $\cos x$ 的泰勒展开式证明。
8. 利用 $\int_0^1 x^p (1-x)^q dx$ 的收敛性证明。
这八种证明方法各有不同的特点和难度，涉及到的数学知识也
各有侧重。
但它们都使用了构造函数的方法，通过寻找适当的函数，将展开式转化为极限形式或积分形式，然后进一步证明不等式的成立。
总之，泰勒展开定理和泰勒展开不等式是数学中非常重要的工具，它们不仅有着重要的理论价值，在工程和自然科学中也有着广
泛的应用。
导数与构造函数证明不等式的技巧
导数与构造函数证明不等式的技巧导数是微积分中的一个重要概念。
它可以描述函数在各个点上的变化率，也可以用来求函数的最大值、最小值以及拐点等重要信息。
而构造函数则是数学中一种非常常见的证明不等式的方法。
本文将介绍一些常用的导数和构造函数证明不等式的技巧。
一、使用导数证明不等式1. 求导数确定函数的单调性对于一个函数$f(x)$，如果它在某个区间上的导数$f'(x)$大于0，说明它在该区间上单调递增；如果导数$f'(x)$小于0，则说明它在该区间上单调递减。
因此，如果要证明一个不等式在某个区间上成立，可以先求出函数在该区间上的导数，确定其单调性，然后再比较函数在两个端点处的取值即可。
例如，对于函数$f(x)=x^2-4x+3$，我们可以求出它的导数为$f'(x)=2x-4$。
由于$f'(x)>0$时$f(x)$单调递增，因此当$x<2$时，$f(x)<f(2)$，当$x>2$时，$f(x)>f(2)$，即$f(x)$在$x<2$和$x>2$的区间上都小于$f(2)$，因此我们可以得到不等式$f(x)<f(2)$，即$x^2-4x+3<1$。
2. 求导数判断函数的最值对于一个函数$f(x)$，如果它在某个点$x_0$处的导数$f'(x_0)=0$，且$f^{''}(x_0)>0$（即$f(x)$的二阶导数大于0）则$f(x)$在$x_0$处取得一个局部最小值；如果$f^{''}(x_0)<0$，则$f(x)$在$x_0$处取得一个局部最大值。
因此，如果要证明一个不等式最值的存在性，可以先求出函数的导数，再找出导数为0的点即可。
3. 构造特殊的函数如果一个不等式的两边都是多项式，可以考虑构造一个较为特殊的函数，来证明不等式的成立性。
例如，对于不等式$\dfrac{1}{a+b}+\dfrac{1}{b+c}+\dfrac{1}{c+a}\leq\dfrac{3}{2\sqrt[3]{abc}}$，我们可以考虑构造一个函数$f(x)=\dfrac{1}{a+b+x}+\dfrac{1}{b+c+x}+\dfrac{1}{c+a+x}-\dfrac{3}{2\sqrt[3]{(a+x)(b+x)(c+x)}}$，并证明$f(x)\leq 0$。
构造函数证明不等式的八种方法
构造函数证明不等式的八种方法下面将介绍构造函数证明不等式的八种常见方法：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)()(．。