谈反证法解数学题.docVIP

谈反证法 北京市一五七中 惠仰淑 反证法是教学中一种重要的证明方法．它所以重要，正是由于某些数学命题用直接证法很困难甚至是不可能时，而用反证法却可以比较容易完成．本文“淡反证法”希望对同学们有点帮助． 一、什么是反证法 1．反证法是从否定要证命题的结论出发，进行合理的推导，得出矛盾，从而肯定命题结论以完成命题论证的方法． 2．反证法的证题步骤： （1）反没：将命题结论的反面作为假设： （2）归谬：将“反设”作条件，进行正确的推理，导出和题设或公理、定义、定理等相矛盾的结果； （3）结论：说明“反设”不成立，从而肯定命题结论成立． 3．反证法的原理 （1）为什么导出矛盾就能说明“反设”不成立呢？这里主要的逻辑根据是矛盾律，所谓矛盾律就是我们思考某一对象的过程中，在同一时间和同一条件下，同一对象不应该具有两种互相矛盾的属性．在命题题设的条件下，依据“反设”推出了与题设、公理、定义、定理相矛盾的结果，因为后者已知是成立的，所以“反设”就是不成立的． （2）为什么“反设”不成立就能肯定命题的结论成立呢？这里的逻辑根据是排中律，所谓排中律就是在同一论证过程中，若出现两种互相矛盾的结果：“A成立”和“A不成立”，则它们不可能全是假的，一定有一个是真的，命题结论与反设互相矛盾，既然反设不成立，那么命题的结论必然成立． 二、反证法证题举例 例1．已知：n是整数，n2是2的倍数，求证：n是2的倍数． 证明 假设n不是2的倍数，即n不能被2整除，n被2除余1，即n＝2m+1（m为整数）， 则 n2=（2m＋1）2＝4m2+4n+1 =2（2m2+2m）＋1， 所以n2不是2的倍数，这与题设矛盾，故n不是2的倍数的假设不成立，从而n是2的倍数． 说明：这个命题的证明过程，第一步是反设，即将命题结论的反面（n不是2的倍数）作为假设；第二步是进行合理的推导，得出n2不是2的倍数的结果，这个结果与题设矛盾；第三步作出结论，即肯定n是2的倍数．实际上我们是证明了原命题“若n是整数，n2是2的倍数，则n是2的倍数”的逆否命题“若整数n不是2的倍数，则n2不是2的倍数”．原命题和逆否命题是等价的，所以原命题是正确的． 例2．已知：n是整数，n2是5的倍数，求证：n是5的倍数． 证明：假设n不是5的倍数，即n不能被5整除，那么n被5除可能的余数为1，2，3，4，即或者n=5m+1，或者n=5m+2，或者n=5m+3，或者n=5m+4（m为整数）． （1）当n＝5m+1时，n2=（5m+1）2=5（5m2+2m）＋1，由于5（5m2＋2m）是5的倍数，而1不是5的倍教，所以n2不是5的倍数；同理可知： （2）当n=5m+2时，n2=（5m+2）2=5（5m2+4m）+4； （3）当n=5m+3时，n2=（5m+3）2=5（5m2+6m）+9； （4）当n=5m+4时，n2=（5m+4）2=5（5m2+8m）+16都不是5的倍数； 这些结果都与题设矛盾，故n是5的倍数． 说明 例2与例1不同的是例2中的反设包含4种情况，要考虑周到，逐一地推出矛盾，最后才能作出结论． 例3 一条直线如果和两条平行线中的一条相交，那么它必定和另一条也相交． 已知：AB∥CD，直线l与AB交于P点，求证：直线l与CD相交（图1）． 证明 假设直线l与CD不相交，则l∥CD（平行线定义），又已知AB∥CD，于是过P点有两条直线都平行于直线CD，这与平行公理矛盾，故直线l与CD相交． 例4．求证：任意三角形△ABC至少有一个内角大于或等于60°． 首先要考虑清楚结论的反面是什么，由于结论是至少有一个内角大于或等于60°，即可能“一个”或“二个”或“三个”内角大于或等于60°，因而它的反面是没有内角大于或等于60°． 证明 假设△ABC中没有内角大于或等于60°，即 ∠A＜60°，∠B＜60°，∠C＜60°， 则∠A+∠B+∠C＜60°+60°+60°=180°， 这与三角形内角和等于180°的定理矛盾，故三角形中至少有一个内角大于或等于60°． 例5 试证：两条角平分线相等的三角形是等腰三角形． 已知：△ABC中，BE，CF分别是∠B，∠C的平分线且BE＝CF，求证：AB＝AC（图2）． 证明 假设AB≠AC，则AB＞AC或AB＜AC， （1）当AB＞AC时，则有∠ACB＞∠ABC，由于BE，CF为角平分线， ∴∠BCF＞∠CBE， 在△BCF和△CBE中，BC=CB， CF＝BE，∠BCF＞∠CBE， ∴BF＞CE， 过F作FGBE，连结CG，EG，得四边形BFGE， ∴BF＝EG，∴EG＞CE， 因而在△CEG中，∠ECG＞∠EGC， 又CF＝BE＝FG，有∠FCG=∠FGC， ∴∠FCG-∠ECG＜∠FGC-∠EGC， ∴∠FCE＜