几个简单的证明方法
一、比较法:
ab等价于ab0;而ab0等价于a
b1.即a与b的比较转化为与0
或1的
比较.使用比较发时,关键是要作适当的变形,如因式分解、拆项、加减项、通分等,这是第一章中许多代数不等式的证明及其他各章初等不等式的证明所常用的证明技巧.二、综合法与分析法:
综合法是由因导果,即是由已知条件和已知的不等式出发,推导出所要证明的不等式;分析法是执果索因,即是要逐步找出使结论成立的充分条件或者充要条件,最后归结为已知的不等式或已知条件.对于条件简单而结论复杂的不等式,往往要通过分析法或分析法与综合法交替使用来寻找证明的途径.还要注意:第一,要熟悉掌握第一章的基本不等式和后面各章中著名的各种不等式;第二,要善于利用题中的隐含条件;第三,不等式的各种变性技巧.三、反证法:
正难则反.设所要证的不等式不成立,从原不等式的结论的反面出发,通过合理的逻辑推理导出矛盾,从而断定所要证的不等式成立.要注意对所有可能的反面结果都要逐一进行讨论.四、放缩法:
要证ab,又已知(或易证)ac,则只要证cb,这是利用不等式的传递性,将原不等式里的某些项适当的放大或缩小,或舍去若干项等以达证题目的.放缩法的方法有: ①添加或舍去一些项,如:a21a;n(n1)n;
②将分子或分母放大(或缩小);
③利用基本不等式,如:
log3lg5(
n(n1)lg3lg522)2lglglg4; n(n1);
④利用常用结论:
k1k
1k1
1k
11k1k
12k
1k
;
1k(k1)
1k1
1k
1k1
1k
1k(k1)1k
;
(程度大)
1k
1
(k1)(k1)
2k1
(
) ; (程度小)
五、换元法:
换元的目的就是减少不等式中变量,以使问题化难为易,化繁为简,常用的换元有三角换元和代数换元.如:
已知x2y2a2,可设xacos,yasin;
已知x2y21,可设xrcos,yrsin(0r1); 已知
xaxa
2
2
ybyb
22
1,可设xacos,ybsin;
22
22
已知
1,可设xasec,ybtan;
六、数学归纳法法:
与自然数n有关的许多不等式,可考虑用数学归纳法证明,数学归纳法法证明不等式在数学归纳法中有专门的研究.但运用数学归纳法时要注意:
第一,数学归纳法有多种形式.李大元就证明了下述七种等价的形式:设P(n)是与n有关的命题,则
(1)、设P(n0)成立,且对于任意的kn0,从P(k)成立可推出P(k1)成立,则P(n)对所有大于n0的n都成立.(2)、设m是任给的自然数,若P(1)成立,且从P(k)(1km)成立可推出
P(k1)成立,则P(n)对所有不超过m
的n都成立.(3)、(反向归纳法)设有无穷多个自然数n(例如n2m),使得P(n)成立,且从P(k1)成立可推出P(k)成立,则P(n)对所有n成立.
(4)、若P(且P(n)对所有满足1nk的n成立可推出P(k1)成立,1)成立,则P(n)对所有n成立.(5)、(最小数原理)自然数集的非空子集中必有一个最小数.
(6)、若P)且若P(k),P(k1)成立可推出P(k2)成立,则P(n)1(,P(2)成立,对所有n成立.(7)、(无穷递降法)若P(n)对某个n成立可推出存在n1n,使得P(n1)成立,则P(n)对所有n成立.
此外,还有螺旋归纳法(又叫翘翘板归纳法):设有两个命题P(n),Q(n),若
P(1)
成立,又从P(k)成立可推出Q(k)成立,并且从Q(k)成立可推出P(k1)成
立,其中k为任给自然数,则P(n),Q(n)对所有n都成立,它可以推广到两个以上的命题.这些形式虽然等价,但在不同情形中使用各有方便之处.在使用它们时,若能注意运用变形和放缩等技巧,往往可收到化难为易的奇效.
对于有些不等式与两个独立的自然数m,n有关,可考虑用二重数学归纳法,即若要证命题P(m,n)对所有m,n成立,可分两步:①先证P(1,n),P(m,1)对所有m,n成立;②设P(m1,n),P(m,n1)成立,证明P(m1,n1)也成立.第二,数学归纳法与其它方法的综合运用,例如,证明
n
k
11k
sinkx0,(0x)
就要综合运用数学归纳法,反证法与极值法;有时可将n换成连续量x,用微分法或积分法.
第三,并不是所有含n的不等式都能用数学归纳法证明的.
七、构造法:
通过构造函数、方程、数列、向量或不等式来证明不等式;证明不等式的方法灵活多样,但比较法、综合法、分析法和数学归纳法仍是证明不等式的最基本方法.要依据题设、题断的结构特点、内在联系,选择适当的证明方法,要熟悉各种证法中的推理思维,并掌握相应的步骤,技巧和语言特点.笔者将在第三章中详细地介绍构造法.八、利用基本不等式:
善于利用已知不等式,特别是基本不等式去发现和证明新的不等式,是广泛应用的基本技巧.这种方法往往要与其它方法结合一起运用.
22
例1 已知a,bR,且ab1.求证:a2b2
252
.
证法一:(比较法)a,bR,ab1
b1a
a2b2
22
252
ab4(ab)
22
92
122(a
12)0
a(1a)4
92
2a2a
12
即a22b22
证法二:(分析法)
252
(当且仅当ab时,取等号).
a22B2
252
ab4(ab)8
22
252
b1a
225122
(a)0a(1a)4822
显然成立,所以原不等式成立.
点评:分析法是基本的数学方法,使用时,要保证“后一步”是“前一步”的充分条件.
证法三:(综合法)由上分析法逆推获证(略).
证法四:(反证法)
假设(a2)2(b2)2
252
,则 a2b24(ab)8
252
252
.
由ab1,得b1a,于是有a2(1a)212
1
所以(a)0,这与a0矛盾.
22
.
所以a2b2
252
.
证法五:(放缩法)
∵ab1
∴左边=a2b2
a2b221252ab4
222
=右
边.
点评:根据不等式左边是平方和及ab1这个特点,选用基本不等式
ab
ab2.
2
证法六:(均值换元法)
∵ab1,
所以可设a
12t
,b
12
t, 1
∴左边=a2b2(t2)2(t2)2
5525252
=右边.tt2t
2222
22
当且仅当t0时,等号成立.
点评:形如ab1结构式的条件,一般可以采用均值换元.
证法七:(利用一元二次方程根的判别式法)
设ya2b2,由ab1,有y(a2)2(3a)22a22a13, 所以2a22a13y0,
因为aR,所以442(13y)0,即y故a2b2
22
252
.
252
.
下面,笔者将运用数学归纳法证明第一章中的AG不等式.在证明之前,笔者先来证明一个引理.
引理:设A0,B0,则(A+B)nAn+nA(n-1)B,其中nN.证明:由二项式定理可知
n
(A+B)=AniBiAn+nA(n-1)B
n
i0
(A+B)A+nA
nn(n-1)
B