用高等数学证明不等式的若干种方法_叶殷
关于不等式的若干证明方法
关于不等式的若干证明方法一、初等数学中不等式的证明方法（一）、比较法比较法是证明不等式中最常用的方法，包括求差比较法和求商比较法。
求差比较法就是把要比较的两个式子相减，判断差的符号；求商比较法一般就是对两个大于零的式子相除后，判断商是大于1，还是小于1。
例1 已知 0,,,>∈b a R y x 且1=+b a 求证 ()222by ax by ax +≥+证明 ()222ax by ax by +-+2222222ax by a x abxy b y =+---)()(222222abxy y b by abxy x a ax --+--= ])1[(])1[(ax y b by by x a ax --+--= 因为,1=+b a 所以a b b a =-=-1,1则()222ax by ax by +-+()()ax bx by by ay ax =-+- )()(y x aby y x abx ---= ))((y x y x ab --= 2)(y x ab -= 因为 ,0,>b a 所以0>ab又因为 ,0)(2≥-y x 所以0)(2≥-y x ab ，故原不等式成立。
例2 已知 +∈R b a , 求证 a b b a b a b a ≥证明 因为b a a b b a b aba b a -=)( ，+∈R b a ,所以当b a >时，1)(,0,1>>->-b a ba b a b a 当b a ≤时，1)(,0,1≥≤-≤-b a ba b a ba于是,1≥a b ba ba b a 即a b b a b a b a ≥（二）、分析法分析法是从证不等式出发，不断用充分条件替换前面不等式，直到找到成立的不等式，也就是“执因索果”。
利用分析法证明例1证明 为了证明 ()222by ax by ax +≥+ 只需证明 abxy y b by x a ax 2222222≥-+- 也即证明 abxy y b b x a a 2)1()1(22≥-+- 因为 1=+b a ，所以a b b a =-=-1,1 也即证明 abxy aby abx 222≥+ 因为 0,>b a ，所以0ab > 即需要证明 xy y x 222≥+因为 ,x y R ∈，所以 222x y xy +≥恒成立，故原不等式成立。
高中数学不等式的证明方法有哪些？
高中数学不等式的证明方法有哪些？高中数学不等式的证明方法有哪些?导语：不定式常见考法：在阶段考中，一般以解答题的形式考查比较法、分析法、综合法、数学归纳法这四种基本方法证明不等式，属于难题。
下面是小编为大家整理的，数学知识，更多相关信息请关注CNFLA相关栏目!1不等式考试要求在解决问题时，要依据题设与结论的结构特点、内在联系、选择适当的解决方案，最终归结为不等式的求解或证明。
不等式的应用范围十分广泛，它始终贯串在整个中学数学之中。
诸如集合问题，方程(组)的解的讨论，函数单调性的研究，函数定义域的确定，三角、数列、复数、立体几何、解析几何中的最大值、最小值问题，无一不与不等式有着密切的联系，许多问题，最终都可归结为不等式的求解或证明。
(1)理解不等式的性质及其证明。
(2)掌握两个(不扩展到三个)正数的算术平均数不小于它们的几何平均数的定理，并会简单的应用。
(3)掌握分析法、综合法、比较法证明简单的`不等式。
(4)掌握简单不等式的解法。
(5)理解不等式│a│-│b│≤│a+b│≤│a│+│b│。
2不等式证明方法1、比较法包括比差和比商两种方法。
2、综合法证明不等式时，从命题的已知条件出发，利用公理、定理、法则等，逐步推导出要证明的命题的方法称为综合法，它是由因导果的方法。
3、分析法证明不等式时，从待证命题出发，分析使其成立的充分条件，利用已知的一些基本原理，逐步探索，最后将命题成立的条件归结为一个已经证明过的定理、简单事实或题设的条件，这种证明的方法称为分析法，它是执果索因的方法。
4、放缩法证明不等式时，有时根据需要把需证明的不等式的值适当放大或缩小，使其化繁为简，化难为易，达到证明的目的，这种方法称为放缩法。
5、数学归纳法用数学归纳法证明不等式，要注意两步一结论。
在证明第二步时，一般多用到比较法、放缩法和分析法。
6、反证法证明不等式时，首先假设要证明的命题的反面成立，把它作为条件和其他条件结合在一起，利用已知定义、定理、公理等基本原理逐步推证出一个与命题的条件或已证明的定理或公认的简单事实相矛盾的结论，以此说明原假设的结论不成立，从而肯定原命题的结论成立的方法称为反证法。
构造函数证明不等式的八种方法
构造函数证明不等式的八种方法一、移项法构造函数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 -。
[全]高等数学之微积分中不等式的证明方法总结[下载全]
![[全]高等数学之微积分中不等式的证明方法总结[下载全]](https://img.taocdn.com/s3/m/f96b3aa6f18583d048645911.png)
高等数学之微积分中不等式的证明方法总结
不等式的证明题作为微分的应用经常出现在考研题中。
利用函数的单调性证明不等式是不等式证明的基本方法。
有时需要两次甚至三次连续使用该方法，其他方法可作为该方法的补充，辅助函数的构造仍是解决问题的关键。
证明方法总结：
（1）利用函数单调性证明不等式
若在（a,b）上总有f（x）的导数大于零，则函数f（x）在区间(a,b)上单调增加；若在（a,b）上总有f（x）的导数小于零，则函数f（x）在区间(a,b)上单调减少。
（2）利用拉格朗日中值定理证明不等式
对于不等式中含有f（b）-f（a）的因子，可考虑用拉格朗日中值定理先处理一下。
（3）利用函数的最值证明不等式
若函数f（x）在闭区间[a,b]上连续，则f(x)在区间[a,b]上存在最大值M和最小值m.
（4）利用泰勒公式证明不等式
如果要证明的不等式中，含有函数的二阶或二阶以上的导数，一般通过泰勒公式证明不等式。
不等式证明的难点也是辅助函数的构造，一般可以通过要证明的不等式分析得出要构造的辅助函数。
题型一：利用函数的单调性证明不等式
分析：对要证明的不等式进行如下化简：
解：
备注：构造适当的辅助函数是解决问题的基础，有时需要两次利用函数的单调性证明不等式，有时需要对区间（a,b）进行分割，分别在小区间上讨论。
题型二：利用拉格朗日中值定理证明不等式
例2：
分析：
解：
备注：对于不等式中含有f（b）-f（a）的因子，可以考虑使用拉格朗日公式先处理一下。
怎样解答不等式证明问题
本题若从正面入手，需讨论三种情况：（1）a2+a<2
成立，b2+b<2 不成立；（2）a2+a<2 不成立，b2+b<2 成立；
（3）a2+a<2 不成立，b2+b<2 不成立，解题的过程较为复
杂.而采用反证法求解，只需从问题的反面着手，重点
讨论一种情况：a2+a<2 与 b2+b<2 同时成立，再利用基
本不等式便可证明结论.
三、判别式法
判别式法常用于解答一元二次方程问题.对于一
元二次不等式问题，我们可根据题意构造一元二次方
程，根据方程有解得出判别式△≥0，这样便建立新的
不等式，从而证明结论.
例 3. 已 知 a + b + c = 1，a2 + b2 + c2 = 1，且 a > b > c，
证明：-
实数根.
因为 a > b > c，因此这个方程的不等实根均大于 c，
令 f (x) = x2 -(1 - c)x + c2 - c，
ìΔ > 0，
那么
íïï1
ïï î
f
2
c
>
c，解得
(c) > 0，
-
1 3
<
c
<
0.
我们根据已知条件构造出关于 x 的一元二次方
程，将 a、b 看作方程的两根，再根据根的取值范围，讨
角函数式，借助三角函数的有界性证明结论.在换元的
过程中，要注意确保定义域的等价性，并用 θ 的范围
来限制不等式的取值.
例 1.若 a2 + b2 ≤4，证明：|3a2 - 8ab - 3b2| ≤20.
构造函数法证明不等式的八种方法
构造函数法证明不等式的八种方法一、构造函数法是一种常用的数学证明方法，通过巧妙地构造函数，并对其性质进行分析，可以证明各种数学不等式。
下面就列举八种常用的构造函数法证明不等式的方法。
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、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
" ! # "…" ! ! )- ! 。
证明： 设（ 〔’ ， ， 则存在正常数 $ (） .! ( ， (% !〕 又由定积分的定义有： 2)!有： ! ( ,(.- ， ’
!
六、 利用积分不等式证明不等式
若函数（ ， （ ， （( ） 在区间 〔"， 上可积且满 $ (） ) (） * +〕 足（ （( ） ， 则有 $ (） !（ ) (） !* （( ） （( ） $ (） ,(! ") ,(! "* ,( "（
・ ・ !36
西昌师范高等专科学校学报
第 !5 卷
" #" #…#"! ! ! ! !"!"#…"! ! ! # ! ! … ! ! " " " "! "# "$
证明： 令（ 在（ 在 （’ ， 内二阶可导且 $ %） %&$%， $ %） (） （%） 从而（ 为凸函数， 取*+%,+ 得： $& )’， $ %）
（/$! ） （/ ）
点，
2 ! #*2% （ ） （!)* ） / ! ’3 #（ 3 !） ’! 2)! " "
五、 利用函数的凸性证明不等式。
凸函数是一类特殊函数， 其定义为： 定义在区间 〔*， 上 的 函 数（ 下为下凸 （上 +〕 ( "） 凸） 的是指： 对于任意的"!， 〔*， ""! + 〕 及任何满足 "
$
$
设（ （#-$ ） （$( $ ） ， 则（ （$ ） # $） *%& ( # "） +"， #% *
$
$
# #-$
收稿日期： $""/*##*#0 作者简介： 叶殷 （#10#* ） ， 男， 副教授。
第5期
叶
殷，何志树： 用高等数学证明不等式的若干种方法
・ ・ !06
" " （!!" ） （"%& ） （ 即： ! # " %& ’当"%&时， ( "） %&， "! " )#$ !$" "
证明： 当 "! 〔( ， 时， 有不等式 !〕
! "
1 )!
#* %
1
（!)" ） #! 其中1 $! 为实数 证明： 设（ （!)" ）， 则 (, （" ） 〔" ) （!) ( "） #" $ #1
1 1 1!!
! " （*)(） 即： （!%" ） #$ ’ !%! !%!
* （!%" ） +" 即： #$ +"。 !%!
(
七、 利用定积分的定义证明不等式
若 函 数（ 在 〔"， 上可积， 则有： （ $ (） +〕 $ (） ,( %
"
"
+
&$
"!""#"…""! ! "&$ !"!"#…"! ! ! 代替" 得左端不等式。 ’ "’
$ !） #( #（
’%! ’
’
从而不等式右端成立， 将
例1
证明， 存在正常数 2)! ， 对 $!-’ ， 有： !!
!"#$ %&’( )" *)$()+,’ -.$/0&)+". 1+)2 3$)2"4( +. 5+62$7 3#&)2$#&)+8(
!" !#$， %" &’#()’*
（./01!23 45667378 ./01!23 9:;’<<8 =/01>!2）
9:()7&8); 8&9:;<=>?& >@ ?&9 ?. =A9 =??%@ >& B<=A9B<=>C@ DA>CA >@ >&E>@F9&@<G%9H I;CA ?. =A9 >&9:;<=>?& F%<J <& >BF?K=<&= K?%9@ >& =A9 K9@9<KCA ?& B<=A9B<=>C@H LA>%9 >= >@ < %>==%9 E>..>C;%= =? ;@9 9%9B9&=<KJ B<=A9B<=>C@ =? =9@=>.J @?B9 >&9:;<=>?&H MA9 9@@<JN D>=A =A9 A9%F ?. FK>&C>F%9@ <&E B9=A?E@ >& A>OA9K B<=A9B<=>C@ N@A?D @?B9 D<J@ =? =9@=>.J >&9:;<=>?&H <$’ 1"74; >&9:;<=>?&；=A9 D<J@ ?. =9@=>.J
/
对 〔*， 内任意$ 个点"!， …， +〕 ""， "$及满足!"4’! 的实
2’!
#$ （! %"） ’#$! %
（!%"） /#$ +"
数"!， …， ""， "/有下面不等式：
/ / / /
（ ( !"!"! ） #!"!（ ( "! ）
2’! 2’! " 0 ! ! )! ! ! "% "% "， " 0 !%( ".（!%(） 0.（!%!）
$
$ 证明： 先证： （#’$ ） %& )$)
# （,(" ） ， （$ ） (" -. #’$ 单调增加， 又 +# （" ） （ 即： （#’ +"， - 当 $ (" 时， # $） ("， %&
设（ （#’$ ） ， 则 #% （$ ） # $） *$ *%& +#*
$） Байду номын сангаас$,
再证： （#’$ ） $* $ !%&
( （!） /$! 其中 !! （( ， ， 下面用马克劳林公式再 " ， "） （/$0 ） ！
证明例 ! 证明： 设（ （!%" ） ， 由一阶马克劳林公式 ( "） ’#$ 有：
" ! ! )! （! ! （( ， ） " % " "） " !%( ". （!%!）
（*!） ） %""（ ( ""） 由定义及数学归纳法可得下面结论： 若（ 为区间 〔*， 上的下 凸 （上 凸 ） 函 数 ， 则 ( "） +〕
# ’ ’ ’ ( ( (
即： ! ! " ! # "…" ! ! /- ! 。
!"#$%&’(
〔! 〕 吉米多维奇《数学分析习题集》 4 刘玉琏等《数学分析讲义》 〔# 〕 4 〔3 〕 刘玉琏等《数学分析讲义学习指导书》 4
， 令 (, （" ） "） 〕 ’( 得 "’
2)!
三、 利用泰勒公式证明不等式：
若函数（ 在 〔*， 上存在 连 续 $%! 阶 导 数 ， 则 ( "） +〕 〔*， 有泰勒公式： ""! +〕
" (（ , *） (（ - *） ( （*） （ （*） （"!*） （"!*）% … % （"! ( "） #( % % !！ "！ /！ / $%! ( （!） （"!*） 其中： （/$!） ！
DOI:10.16104/j.issn.1673-1883.2004.04.042 第 #0 卷第 / 期
$""/ 年 #$ 月
西昌师范高等专科学校学报
Q>CA<&O M9<CA9K@ R?%%9O9
S?%H#0NT?H/ U9CHN $""/
P?;K&<% ?.
用高等数学证明不等式的若干种方法
叶 殷， 何志树
0#2"$$）
（西昌学院 数理系，四川 西昌
! "
有许多不等式在数学研究中有着重要的作 #$ 不等式是数学中不可缺少的工具之一，
用， 但用初等数学知识证明一些不等式比较困难。本文利用高等数学的原理和方法， 就不等式的证 明给出几种证法 。
% &’() 不等式；证明方法 中图分类号$3#4 % 文献标识码$5 % 文章编号$#""6*04"7 （$""/ ） "/*"#40*"4 %
四、 利用函数的极值证明不等式：
利用函数的极值证明不等式，是先由不等式构 造辅助函数， 找出函数的极值点， 然后由极值得不等 式。 例"