一类反证法的应用.docVIP

精品论文 参考文献 一类反证法的应用 李青松 张 林 安康学院 【摘 要】反证法是数学证明题中一种常用的方法，主要针对用直接方法较难证明的问题，并由它派生出了多种思想方法。本文通过一道典型的运用反证法证明的例题，得出一种反证思想，进而运用这种思想方法解决不同类型的数学证明。 【关键词】反证法 证明 思想方法 【中图分类号】G642 【文献标识码】A 【文章编号】1674－4810（2010）11－0125－01 引例三角形任意两角的角平分线相等，一定等腰。 此题为著名的“steiner—Lehmes 定理”，由于其证明的难度，引起人们极大的热情。现在采用反证法证明。 证明：如图1 所示，在△ABC 中，BD、CE 分别为ang;ABC 与ang;ACB 的角平分线，并且BD 与CE 交于O 点。由题知BD＝CE，即证AB＝AC。 假设 ABne;AC，即AB＞AC 或AB＜AC，在此只证AB＞AC。 ∵AB＞AC，则ang;4＞ang;2。 there4;BE＞CD。 过点 E 作EF∥BD，过D 作DF∥BE，则四边形EBDF 为平行四边形。 there4;EB＝FD，则DF＞CD，即ang;7＞ang;6。 又 EF＝EC，则ang;5＋ang;6＝ang;3＋ang;7，则ang;5＞ang;3。 又ang;5＝ang;1，则ang;1＞ang;3。 又 BD、CE 分别为ang;ABC 与ang;ACB 的角平分线，则ang;1＋ang;2＞ang;3＋ang;4。 即ang;ABC＞ang;ACB，则AC＞AB。 同理可证 AB＜AC 的情形。而且还可以从角度出发用同样的方式得到结论。 现在通过引例分析做题思路： 即就是假设结论不成立后，运用假设条件，在证明过程中再结合已知条件，最终得出一个与假设条件相矛盾的结论，即自身与自身矛盾，进而推出假设不成立，从而证得结果。 一 初等数学中的应用 例1，已知在△ABC 中，AB＝AC，P 是△ABC 内部任一点， 假定ang;APB＞ang;APC。求证：PB＜PC。 证明：如图 2 所示，假设结论不成立，即PBge;PC。 若 PB＝PC，由AB＝AC，则ang;APB＝ang;APC。与题设矛盾。 若 PB＞PC，则ang;1＞ang;3。 又∵AB＝AC，则ang;ABC＝ang;ACB。 即ang;4＞ang;2，又ang;5＞ang;6，则ang;4＋ang;5＞ang;2＋ang;6。 则ang;7＜ang;8。 又由于 AB＝AC，AP 为公共边，则PB＜PC，则与假设矛盾，故假设不成立，原命题成立，即PB＜PC。 例 2，证明如果a，b，c 是正数，且abc＝1，那么a＋b＋cge;3。 证明：假设 a＋b＋c＜3。 由于 a，b，c 均为正数，则：abc＋b2c＋bc2＜3bc，即bc2＋（b2c－3b）c＋1＜0。 若令 f（x）＝bx2＋（b2－3b）x＋1，由b＞0，f（c）＜0，则有f（x）与x 坐标轴必有两个交点，则：△＝（b2－3b）2－4b＞0，即（b－1）2（b－4）＞0。则 b＞4，又a＞0，c＞0，则与a＋b＋c＜3 矛盾，故a＋b＋cge;3 成立。 二 高等数学中的应用 例3，设向量组﹛alpha;1，alpha;2，?， alpha;r﹜（rge;2）线性无关，任取k1，k2，?，kr－1isin;F，证明向量组：beta;1＝alpha;1＋k1 alpha;r，beta;2＝alpha;2＋k2 alpha;r，?， beta;r－1＝ alpha;r－1＋kr－1 alpha;r， alpha;r 线性无关。 证明：假设{beta;1，beta;2，?，beta;r－1，alpha;r}线性相关，则存在一组不全为0 的数l1，l2，?，lrisin;F，使得l1beta;1＋l2beta;2＋?＋lr－1beta;r－1＋lr alpha;r＝0。 即 l1alpha;1＋l2alpha;2＋?＋lr－1 alpha;r－1＋（l1 k1＋l2 k2＋?＋lr－1 k r